Suppose 3*q - 2 - 7 = 0. Let n = 20 + -22. Let y be 70/(-15)*3/n. Solve -o = q - y for o.
4
Let m(u) = u3 + u2 + u + 4. Let a be m(0). Suppose -x = -0*x - 5. Suppose -w + 4*w = 4*k + 10, 0 = 4*w + x*k - 3. Solve -10 = w*p - a for p.
-3
Let k = 3 - -1. Suppose 0 = 5*x - 5*q - 25, -3*x = -2*x + k*q - 30. Suppose 3 + 3 = -3*s, -3*g - 6 = 3*s. Solve 5*t + x = -g*t for t.
-2
Let d = -4 - -13. Let l = d - 16. Let t be (-2 - l) + -1 + 0. Solve 4*b = -0*b - t for b.
-1
Let g be -1 - (-1)/(-2)*-2. Suppose g*l - 1 = -l. Let u = 4 + -2. Solve u*m = m - l for m.
-1
Let q(w) = -w - 6. Let p(h) = 2*h + 13. Let c(u) = 4*p(u) + 9*q(u). Let i be c(-4). Solve -i*y = y - 6 for y.
2
Suppose 2 = i - 9. Suppose 0 = -2*l - i + 51. Solve -3*v + l = 8 for v.
4
Let c = -7 + 10. Solve 3*p = -9 + c for p.
-2
Let k = 11 - 7. Solve -1 + k = -3*m for m.
-1
Suppose -48 = 4*h - 120. Solve -4*f - 2 = h for f.
-5