Suppose 0 = 7*c - 3*c + 16. Let z = c + 6. Solve z*b = -10 + 4 for b.
-3
Let p = 170 + -167. Solve 17 = -p*m + 5 for m.
-4
Let x(v) = -v**2 + v + 1. Let d = -1 - -1. Let a be x(d). Suppose 7 - a = -2*u - 2*y, u + 4*y + 18 = 0. Solve s + 3 = u for s.
-1
Let a = 8 - 5. Let o(s) = -s + 12. Let p be o(6). Suppose -a*j - p*x + 3*x + 15 = 0, -x = 2*j - 5. Solve d = -j - 2 for d.
-2
Let j = 8 + -4. Suppose 0 = 40*z - 30*z - 90. Solve 7*t + z = j*t for t.
-3
Let r be 2/(-3) - (-2)/3. Let m = -37 - -39. Solve r = -m*g - 0*g for g.
0
Suppose 0 = 4*w - 2*d + 8, -w - d = -2w - 3. Let j be w(-2 - -2) + 4. Suppose -j*g = -9*g. Solve -o + g = 2 for o.
-2
Suppose -3*n - n - 4 = 0. Let u(m) = 5*m3 - 5*m. Let l(v) = -v3 + v**2. Let g(z) = n*u(z) - 6*l(z). Let b be g(5). Solve b = 4*a - 11 - 1 for a.
3
Let c = -8 - -12. Suppose -2*n + 17 = 3*i, 0*i = -3*i + c*n + 11. Solve -2 - 3 = i*v for v.
-1
Let t = 9 + -9. Solve t*s + s = -1 for s.
-1