Let h(w) = 2*w3 + w2 - 2*w + 1. Let z be h(1). Suppose i + z = 5. Solve m = -2*m - i for m.
-1
Let a(v) = -v3 + 6*v2 + 5. Let t be a(6). Suppose z + u - 4 = -0*z, 2*u = -z + t. Solve z*r + 5 = -2*r for r.
-1
Let w(f) = f - 9. Let n be w(10). Let x be (n - 2) + -1 + 5. Solve -x*h + 12 = -7*h for h.
-3
Suppose 3*p - 14 = p. Let m = p - 5. Solve -m*s + 0*s = -6 for s.
3
Let j = 2 + 0. Suppose -i = j*i. Suppose i*z + 5*p = -3*z + 5, 0 = 4*z + 5*p - 15. Solve 0 - z = 2*h for h.
-5
Suppose -3*s = 2*t - 21, 14 = 3*t - 5*s - 65. Suppose t = 2*x - 12. Solve -q - x = 4*q for q.
-3
Suppose 14*v - 14 = 7*v. Solve -4*z + v + 14 = 0 for z.
4
Let i be (2⁄4)/((-1)/(-10)). Let n = 149 + -144. Solve i = n*o - 4*o for o.
5
Let h be 3/((-6)/4 + 2). Suppose -y + 3*y = h. Solve y*s = s for s.
0
Suppose 12 = -0*l + 2l. Let w be l - 4 - 1-1. Solve 12 = -7*a + w*a for a.
-3