Suppose 12 = 4*x - x. Let o(t) = t - 2. Let r be o(x). Solve 3*u = u + r for u.
1
Suppose 0 = 4*d - 7 + 27. Let j = d + 9. Let n = 6 - j. Solve 0 = -b + 3 - n for b.
1
Suppose 4*r + r = 10. Solve -4*c = -2*c - r for c.
1
Let i be ((-64)/(-6))/(2⁄6). Suppose 2*u = 6*u - i. Solve -3*z + u*z = 15 for z.
3
Let u = 29 - 17. Solve -2*t = 2*t + u for t.
-3
Suppose -1 = -5*c - 31. Let y = 10 + c. Suppose y*l - 14 = -2. Solve 25 = l*z + 2*z for z.
5
Suppose 2*g - 4*g = -4. Let t = g + -2. Suppose n = 2*y + 4, 2*n + 3*y - 8 = -y. Solve t = n*v + 4 for v.
-1
Let q = -23 - -25. Solve 3*i = -q*i + 10 for i.
2
Suppose -g + 3*g - 28 = 0. Let d = 17 - g. Solve -2 - 1 = d*u for u.
-1
Let q be (-2)/4 - (-2)/4. Solve q = 3*v - v + 8 for v.
-4