Let a = 24 + -22. Solve a*c + 0 = 2 for c.
1
Let o(z) = z + 9. Let c be o(-7). Let y be c*3⁄6*2. Suppose 9 = y*s + s. Solve s*x - 6*x = -6 for x.
2
Let w(h) = 6*h - 3. Let t be w(3). Solve 6*x - 3*x - t = 0 for x.
5
Suppose 1 - 37 = 2*y. Let t be 4/y - 68⁄18. Let s(j) = -j - 1. Let v be s(t). Solve 0*k = -v*k for k.
0
Let v = -35 - -35. Let a = -3 - -5. Solve a*y + v*y + 4 = 0 for y.
-2
Let j = -12 - -23. Let n be (1 + j)*3⁄3. Suppose b + n = 5*b. Solve 3*h = -6 + b for h.
-1
Let b be 8⁄44 - (-53)/11. Solve -3*n + b = 2*n for n.
1
Suppose -3*j + 9 = -2*n, 3*j - 6 = 5*n + j. Suppose n = -m - 4*m. Suppose 4*v = -m*v. Solve -4*g + 0*g + 8 = v for g.
2
Suppose 2*n = -2, 5*n = 3*z - 8*z + 10. Let u(w) = 2*w - 20. Let f be u(10). Solve z*r + 2*r = f for r.
0
Suppose 21 + 39 = 4*l. Suppose 0*z + z - l = 0. Solve 5*c + z = -0 for c.
-3