Let l = -4 - -4. Suppose -3*x - 5*c - 7 = -l, 5*c = -10. Let i = 20 + -9. Solve -5*z + x - i = 0 for z.
-2
Let v = -30 - -20. Let c = 10 + v. Let w = -3 + 5. Solve c*d = -w*d + 8 for d.
4
Let y = -45 - -47. Solve -y = -2*a + a for a.
2
Let c(f) = -2*f**2 - 29*f - 13. Let h be c(-14). Let l = 11 + -8. Solve a + l = h for a.
-2
Let a = -38 - -42. Solve 2*w + 4 = a*w for w.
2
Suppose 0 = -0*m - 2*m - 3*k + 31, 5*m + 2*k = 94. Solve 3*d - 8*d = m for d.
-4
Suppose -3*x + 11 = -4. Solve 0 = x*n - 31 + 11 for n.
4
Suppose 2*n = 2*y - 6, -n = -3*y + 3 - 0. Suppose -2*k - 4*c - 12 = -c, y = 2*k - 2*c - 8. Solve 4 + k = -r for r.
-4
Let s be ((-3)/2)/((-1)/6). Suppose s = 5*b - 1. Solve b*t + 0 = 10 for t.
5
Suppose 64 = 5*b - s - 17, -2*s + 30 = 2*b. Suppose 5*i = -4*v - b, -i - 5 = -1. Solve 6 - v = y for y.
5