Suppose 0 = 4*y + 12, y - 42 = -3*n + 6*y. Suppose 0 = n*h - 7*h. Solve h = b + 3*b for b.
0
Let y = 4 + -4. Solve 0 = -5*b - y - 5 for b.
-1
Suppose -6*n + 4 = -8. Solve 1 = n*l - 5 for l.
3
Let c(k) = k - 4. Suppose 5*l - 24 = 2*l. Let f be c(l). Solve f*p = 4 - 16 for p.
-3
Suppose -2*m - 7 = -17. Suppose -f - 21 = -m*w, -2*w + 3*w = -3*f + 17. Solve f = -0*h - 4*h for h.
-1
Let t(z) = z**2 - 3*z - 6. Suppose -2*m = -4*m + 10. Let a be t(m). Suppose 0 = -3*r - a + 19. Solve 2 = -r*d + 27 for d.
5
Let z(b) = 4*b - 4. Let w be ((-10)/(-6))/((-3)/(-9)). Let p be z(w). Let g(x) = 2*x - 2. Let d be g(4). Solve d*t = 2*t + p for t.
4
Let g be -10*(-2 + (-6)/4). Let r = -20 + g. Solve 2*x = -x - r for x.
-5
Let h = -17 - -23. Suppose -2*a - h = -4*a. Solve 4*m = -a - 5 for m.
-2
Let o(u) = u3 + 5*u2 - u - 1. Let w be o(-5). Let g be 3 - ((-2 - -1) + 1). Suppose -2*r = -5*b - 4 + 14, 4*b - 8 = -g*r. Solve -b*d + 0 = -w for d.
2