Let b be (-1)/2*0/2. Solve b = 3*d + 5 - 2 for d.
-1
Suppose 4*i - 5*i = 2, -4 = -2*m - 2*i. Solve -m*c = -5 - 11 for c.
4
Let y be (-2)/(-4) - (-27)/6. Suppose -22 = -2*l - 2. Solve -y*s + 0*s = l for s.
-2
Suppose -2*h = h. Let l = -13 + 16. Let u = h + l. Solve -3*x + 0 = u for x.
-1
Let j(l) = l3 + 6*l2 - 6*l + 13. Let d be j(-7). Solve -3*w + 18 - d = 0 for w.
4
Let t(w) = -5*w + 3. Let d® = 14*r - 10. Let n(h) = -4*d(h) - 11*t(h). Let l be n(-8). Solve -o + 6*o = l for o.
3
Let p(b) = b - 8. Let v be p(8). Solve v*o = 2*o for o.
0
Suppose -7 = -4*d - 119. Let x be (-16)/d - 8⁄14. Solve 0 = -x*z - z - 2 for z.
-2
Let k(x) = -5*x + 38. Let g be k(7). Suppose 0*a + 10 = 2*a. Suppose a*v + 3 = 2*q, v + 20 = 2*q + 5. Solve 0 = -g*u + q + 3 for u.
4
Let y = 4 - 4. Suppose 5*j + 15 - 3 = 4*m, 5*j + 5*m - 15 = 0. Suppose 3*h + h - 12 = j. Solve y*i + i - h = 0 for i.
3