Let h = 25 - 22. Solve -4*g = -h*g - 2 for g.
2
Let z = 9 + -5. Solve -2*h + z = 2*h for h.
1
Let z = 13 + -11. Solve -z*v - 4 = -4*v for v.
2
Suppose -a - 4*a = -o + 3, -4*o = -12. Solve 0 = 5*n - a + 15 for n.
-3
Let l® = 9*r - 1. Let b be l(1). Suppose 5*v - 2 - b = 0. Solve -2*m + 4 = v*m for m.
1
Suppose -4m + 10 = -14. Let j be 0 - m(-1)/2. Solve -4*h = -j*h - 4 for h.
4
Let w(b) = b3 + 5*b2 - 2*b - 10. Let i be w(-5). Solve 3*r + r = i for r.
0
Suppose 0 = 3*w - 18 + 3. Solve j = -0*j + w for j.
5
Suppose -6*o = -6*o - o. Solve o = 3*j + j - 20 for j.
5
Suppose 0 = 3*w + 3*m, 2*w - 16 = 3*m - m. Solve w*h + 11 + 9 = 0 for h.
-5