Let v(u) = -u3 + 8*u2 - 5*u - 9. Let h be v(7). Solve 2*r - h + 3 = 0 for r.
1
Let s(p) = -p + 8. Let n be s(5). Suppose -3 = -2*u + n*u. Let v = -3 - u. Solve -2*t + 0 + 6 = v for t.
3
Suppose -2t - 10 + 4 = 0. Let n be 3((-52)/(-12) + t). Solve 0 = -n*k - 20 for k.
-5
Let c(v) = -v3 - 11*v2 - 2*v - 16. Let o be c(-11). Solve -f - o = -1 for f.
-5
Let o(w) = -w**2 + 6*w. Let f be o(7). Let s = f - -19. Solve -s = 4*h + 8 for h.
-5
Let m = 58 - 44. Solve -1 - m = 5*h for h.
-3
Suppose -4*o = -0*o. Suppose 0 = -c - 0*c + 5. Suppose 5*n - 5 = o, -c*j + n = 39 - 158. Solve j = -4*x + 4 for x.
-5
Let g = -145 - -150. Solve -6*v + g*v = 0 for v.
0
Let d be 12/(-10)*(-5)/3. Solve d*g = 7 + 1 for g.
4
Let x = -36 + 53. Let n = x + -8. Suppose 3*i = k + 3, 10 = -2*k + 6*k - i. Solve 0 = k*h + n for h.
-3