Suppose 7*r - 2*r = 10. Solve 0 = u - r for u.
2
Suppose 3*m = -8 + 14. Solve -m*s = s for s.
0
Suppose 5*m - 9 = 21. Suppose -2 = g + 2. Let l = m + g. Solve 2*n + 0*n = l for n.
1
Suppose 6*l = 4*d + l - 5, 0 = d + 4*l + 4. Solve 4*s - 3 - 13 = d for s.
4
Let k = 1 - -2. Suppose 4 = 5*q - 1. Suppose q = v + 2*n - 3, -85 = -5*v + k*n. Solve 5*d - 11 = v for d.
5
Let m = 61 + -20. Suppose m = 4*q + q + 2*a, a = -5*q + 38. Suppose 0 = -q*b + 4*b + 15. Solve 4*k = -k + b for k.
1
Let i = -93 + 94. Solve -b - 2 = -i for b.
-1
Let w© = 2*c - c - 3*c + 2 + c. Let u be w(-2). Solve i = u - 0 for i.
4
Let i = -59 - -64. Solve -i*l + 3*l + 2 = 0 for l.
1
Suppose -5*n + 25 = 3*m, -4*m + 2 = n - 3. Let q = 3 - m. Suppose -q*x - x = -8. Solve 0 = l + x*l - 3 for l.
1