Let g be -4 + 7 - (-1 + 1 + -1). Let y(b) = -6*b + 1. Let t be y(-1). Suppose 0 = -4*x + 39 - t. Solve -x = 3*h + g for h.
-4
Let f(v) = 7*v3 - 3*v2 + 2*v + 4. Let s be f(3). Let d = s + -112. Let g be (-2)/(-6) - d/(-9). Solve g*w = 3*w - 20 for w.
-5
Let l = 85 + -73. Solve -l = 3*y + y for y.
-3
Let x(z) = -z3 + 3*z2 - 2*z + 1. Let t(p) = p3 + 10*p2 + 2. Let n be t(-10). Let o be x(n). Solve c = -o - 2 for c.
-3
Let y(w) = -w3 - 6*w2 + 7*w + 6. Let p be y(-7). Solve g = p*g for g.
0
Let o = -12 - -20. Suppose 0*c = -3*q + c + o, 2*c = 4*q - 8. Let s = 16 + -11. Solve -5*k = -q*k - s for k.
5
Let c(g) = g**2 + 10*g - 7. Let o be c(-11). Solve 18 = -o*a - 2 for a.
-5
Suppose 22*z - 21*z - 3 = 0. Solve 3*s + 0 - z = 0 for s.
1
Suppose 2*k - 10 - 4 = 0. Solve 0 = -2*i + k - 1 for i.
3
Let h(s) be the second derivative of 2*s + 0 - 2*s2 + 1⁄3*s3. Let r be h(6). Solve 3*g = 2 - r for g.
-2