Let l = -2 + 6. Solve 2*a + 0 = l for a.
2
Let r = -25 - -25. Solve 2*v - 7*v - 10 = r for v.
-2
Let h = 22 + -20. Suppose 32 = -0*w + h*w. Solve -4*p + 4 = -w for p.
5
Let r(g) = -g - 7. Let o(f) = -f - 7. Let j be o(0). Let n be r(j). Solve -3*w - 8 - 1 = n for w.
-3
Let y = 8 + -7. Let d = y + -1. Let w = 2 + -2. Solve v + w*v = d for v.
0
Let l = 24 + -22. Solve l + 1 = -p for p.
-3
Suppose -8 = 2*w - 14. Let h = -7 - -11. Suppose 4*a + 0 - h = 0. Solve 2*i - a = -w for i.
-1
Let z = 3 - -9. Suppose i - 3 = -x - x, 4*x + 4*i - z = 0. Suppose 0 = -x*q - 4*q. Solve -2*p + 2 = -q for p.
1
Let b(y) = -1 - 3 - 2*y + 3*y. Let s be b(7). Solve s*i - 4 - 8 = 0 for i.
4
Let y(a) = a - 4. Let n be y(6). Suppose -n*t = 2*t - 36. Suppose -4*d = 5*l - t, 4*l + 15 - 3 = 0. Solve 5*g + 4 + d = 0 for g.
-2