Let i = -8 + 24. Let k(d) = -d3 + 6*d2 - 4*d - 2. Let w be k(5). Solve -w*a - a = i for a.
-4
Let t = -33 - -37. Solve 2*s + t = 2 for s.
-1
Let k(p) = -2*p - 40. Let x be k(-25). Solve -x = 4*u + 2 for u.
-3
Let u = 13 - 8. Solve 0 = 2*f - 3*f - u for f.
-5
Let s = 22 + -19. Solve -s*j - 11 = 1 for j.
-4
Suppose 2*p - 3*t = -4 - 7, -25 = -5*t. Suppose 0 = 2*q - 8 + 2. Solve -p*d = -d + q for d.
-3
Suppose -3*x + 0*x + 2*o + 15 = 0, 4*x - 2*o = 18. Let j(a) = 3*a**2 - 5*a + 3. Let f be j(x). Suppose 0*m = -3*m. Solve 3*r - f = -m*r for r.
5
Let p(j) = j2 + 4*j - 5. Let q(l) = l3 + 4*l**2 - 4*l - 1. Let h be q(-5). Let u be p(h). Let c = -31 + 32. Solve u = 4*y - c for y.
2
Let w = 29 + -26. Solve h - w = -2 for h.
1
Let h(j) = -j + 2. Let w be h(-2). Suppose -p + 2*p = w. Suppose -2*k = -7*z + p*z + 28, -34 = -4*z + k. Solve z = i + i for i.
4