Let o(d) = 2*d + 25. Let v be o(0). Let m = -32 + 52. Suppose t - 5 - m = -5*w, 0 = -2*t. Solve w*h + 10 - v = 0 for h.
3
Let j = -2 - -2. Let i = 5 + j. Suppose -i*y + 42 + 28 = 0. Solve 4*v - y = -2 for v.
3
Let d(y) = -y3 + 10*y2 - 12*y - 26. Let i be d(8). Solve -10*v = -i*v + 12 for v.
-3
Suppose 0 = -2*y + 7*y - 15. Let n = -3 + y. Suppose n = -r - 4, 72 = 3*q + q + 5*r. Solve 4*m - 3 = -q for m.
-5
Let i be (-6)/4 + (-21)/(-6). Solve -p = i - 3 for p.
1
Suppose 5*q + 2*h - 10 = 0, 2*q - 4*h - 4 = h. Suppose q*x + 2*a = -4, -2*x - 5*a = -0*a + 19. Solve -x*n + 0*n = 6 for n.
-2
Suppose -7*f = -5*f. Solve -x - 5 = -f*x for x.
-5
Suppose 3*x = 4*x + 7. Let i = x - -12. Solve -1 = h - i for h.
4
Suppose 3 = -4*b - 5*d + 28, -5*d + 25 = 3*b. Solve j + b = -4 for j.
-4
Let r = 10 - 6. Let l = r + -1. Solve -1 = -2*d - l for d.
-1