Let l = -14 - -17. Solve -c + l = 1 for c.
2
Let i(x) = 2*x3 - 2*x2 - 2*x. Let q be i(2). Solve -19 = -q*m - 3 for m.
4
Let y be (9 + 3 + -5)*(-2)/(-7). Solve 0 = y*g + 3*g - 20 for g.
4
Suppose 0 = 3*o - h - 23, 30 = 4*o - 6*h + 4*h. Let i = o - 5. Solve -4 = i*m + 11 for m.
-5
Let r = 10 - -10. Suppose 2*i + 8 = -h, -i = -h - 6*i - r. Solve h = 5*n + 1 - 11 for n.
2
Let h = -24 - -24. Solve h*b - 6 = -3*b for b.
2
Let d(i) = -i - 11. Let m = -4 - 1. Let r be d(m). Let n = r + 8. Solve n = w - 0 for w.
2
Suppose -g = -5*z + 31, -3*z + 4*g = -21 - 1. Solve -4*r = 2 + z for r.
-2
Let d® = r**2 + 13*r - 11. Let u be d(-14). Solve 2*s - u = -11 for s.
-4
Let s = 17 - 7. Suppose 4*w - 17 = -a, 26 = 4*a + 2*w - 7*w. Suppose 3*h - 4*m = a, 6*h = 2*h + 2*m + 12. Solve 0 = h*b - b - s for b.
5