Suppose -4*n + 30 = 5*z, 0 = -2*z - z - 2*n + 16. Suppose -p = z*p - 12. Let l = p + -2. Solve u = -u - l for u.
-1
Let y = 24 + -24. Suppose y = 7*v - 3*v. Solve 4 + v = -4*t for t.
-1
Suppose -26 + 6 = -3*v + 4*n, 2*n + 52 = 5*v. Let x be (0 - (-21)/v)*4. Let s = 2 + -2. Solve s = -x*y + 3*y for y.
0
Suppose 0 = 4*d - 3*j + 3, 6*d - 3*d + 4 = 4j. Let t be -1(-1)/3*d. Suppose -2*q + t*x - 4*x = -4, 4*x = 4*q - 20. Solve 3*g - q*g = 2 for g.
-2
Suppose -4*z - 4 = -h, h + 8 = -z + 17. Solve -4*b + h*b = 8 for b.
2
Suppose 0 = 5*k + 4*t - 78, k = -3*k + 4*t + 84. Let s be (-2)/(-10) - k/(-10). Solve -p + s + 1 = 0 for p.
3
Let d(z) = -z**2 - 8*z - 5. Let i be d(-7). Suppose 2*a = -i*a. Suppose -4*b - 2*r = a, 0 = -b + 3*b + 4*r. Solve -s = -b*s for s.
0
Suppose y + 0*y + 3*s = 0, -3*y - 7 = 2*s. Let n be (-1)/y - (-1)/(-3). Solve -4*g + 2 - 22 = n for g.
-5
Let y(x) = -x**2 + 7*x - 3. Let n be y(5). Let w(q) = q + 0*q + n - 1. Let o be w(-6). Solve o = 5*h - 4 - 16 for h.
4
Suppose f - 5 - 1 = 0. Let u(k) = -k3 - 3*k2 - 2*k - 2. Let a be u(-3). Suppose 0 = -o + 2*o - 0*o. Solve -a*w + w + f = o for w.
2