Let x = 18 - 21. Let n = 8 + x. Solve 10 = -3*k - n for k.
-5
Let c = -1 - -3. Suppose -2*b + 3*b - 2 = 0. Let h = b - c. Solve l - 2*l + 4 = h for l.
4
Let d(z) = z3 - 6*z2 + 5. Let f = 19 + -13. Let t be d(f). Solve 0 = 4*m + 7 + t for m.
-3
Let w be -2 + -1 + 7 + -1. Let o be 0 - (w + -2) - -3. Let p = 17 - 8. Solve 1 = o*c + p for c.
-4
Let i(w) = -w3 + 12*w2 + w - 12. Let m be i(12). Suppose 0 = -v - m*v + 3. Solve -4*s - v = -7 for s.
1
Suppose 0 = -2*d + 24. Solve d = 2*c + 2*c for c.
3
Let b = -31 - -37. Solve 2*x + x = -b for x.
-2
Suppose -34 = -4*z + 5*z. Let j = z + 48. Solve j = -3*c + 2 for c.
-4
Suppose 0 = l - 5*l - z + 10, 5*l - 5*z - 25 = 0. Suppose o = u + 2, -l*o - 6 = u - 24. Solve -m + 2 = -u for m.
5
Let r(o) = o3 - 4*o2 - 3*o - 5. Let m be r(5). Solve -7 = m*h - 2 for h.
-1