Let i = -3 - -7. Solve 5*m - i - 6 = 0 for m.
2
Let h = -27 + 31. Solve 0*b - h*b = 4 for b.
-1
Let m(d) = d**2 + 10*d + 12. Suppose 0 = -3*o + 4*o + 9. Let y be m(o). Solve 0 = y*u - 0*u for u.
0
Suppose -6 = 2*w - 4*w. Solve -w*m + 10 = -8*m for m.
-2
Suppose -5*z - 1 - 7 = 3*l, 3*l - 5z = -28. Let y be (0 - (-3)/l)-30. Solve 5*c - y = 5 for c.
4
Suppose 0 = 7*k - 3*k. Solve k = 6*r - 4*r + 2 for r.
-1
Suppose 0 = -44*i + 39*i. Suppose -5*m + 5 = 0, -3*o - 5*m - 14 - 2 = 0. Let f(w) = -w - 5. Let l be f(o). Solve -l = q - i for q.
-2
Let b(n) = -4*n - 1. Let f be b(-5). Let c = -16 + f. Solve -2 = 5*l + c for l.
-1
Let f = 3 - 0. Suppose 4*x + 12 = 5*x + f*l, -2*x + 16 = 4*l. Solve x*i = -i for i.
0
Let g be 27*1*3⁄9. Let p® = 3*r - 12. Let t be p(g). Solve -2*q - t = q for q.
-5