Suppose 0 = 4*b + 2*b - 12. Solve -3 = -n - b*n for n.
1
Suppose 9*u = 4*u - 70. Let i = 16 + u. Solve g = 3*g - i for g.
1
Suppose 10 = j + 3*v - 2, 0 = -3*j + v + 6. Suppose 2*z + z = 4*z. Solve z = -j*u + 2*u + 3 for u.
3
Let f = -20 - -20. Solve 0 = -4*v - f*v + 4 for v.
1
Let v(y) = -y2 - 3. Let g be v(0). Let b(i) = i2 + 4*i + 4. Let t be b(g). Suppose -p - 5*z = -22, 2*p - 2*z - 2*z = -12. Solve -c = -p*c + t for c.
1
Suppose -6*n = -2*u - 3*n - 20, -5*u = 2*n + 31. Let x be (-12)/u - (-4)/14. Solve x*d + 4 = -2*d for d.
-1
Suppose 3*c - 17 = -2*p, 0 = -2*c + 2*p + 3*p - 14. Solve c*b + 2 = -1 for b.
-1
Suppose 2*g - 5*g - 21 = 3*u, -g - 3*u = 13. Let f = g - -4. Solve 0 = -r - f*r + 4 for r.
4
Let x = 25 + -15. Solve -x = -h - 4*h for h.
2
Suppose 0*s = -3*s + 18. Solve 0 = -2*c + 5*c - s for c.
2