Let b = 27 + -27. Solve 7*k - 3*k + 20 = b for k.
-5
Suppose -3*r - 3*a - 6 = 3, 2*r = 5*a + 29. Suppose -48 = -r*u - 2*u. Let s = -3 + u. Solve -2*t + s = 1 for t.
4
Let w = 32 + -30. Solve -5 - 5 = -w*g for g.
5
Suppose 2*y = -0*y + 4. Suppose 5*z + 7 = 37. Suppose -3*d = -z*d. Solve d = y*r - 2 - 6 for r.
4
Let u = -169 - -169. Suppose -5*n + 2*a - 6*a = -65, -2*n + 28 = 2*a. Solve u*z + n = 3*z for z.
3
Let p = -2 + 5. Suppose 0 = -p*g + 4 + 5. Solve 0 = 2*h - g*h for h.
0
Suppose -13 = 3*n + 8. Let p = n + 10. Let x(z) = 2*z**2 - 3. Let l be x(p). Solve 0*b + l = 5*b for b.
3
Let g(q) = -q - 7. Let h be g(-10). Solve -4*z = 9 + h for z.
-3
Suppose -5*u - 5 = 15. Let w = 5 + u. Solve -c - w + 3 = 0 for c.
2
Let y = 10 + -7. Suppose y*l + 2*z = 5 + 14, 3 = -4*l + 3*z. Solve 4*x + l + 5 = 0 for x.
-2