Let r = 34 + -28. Let c(t) = t3 + t2. Let p be c(0). Let i = p + r. Solve -w + i = w for w.
3
Suppose 0 = 4*i - 3 - 13. Suppose i*b - 5 = 3. Let p = 2 - b. Solve -5*c + 2*c + 9 = p for c.
3
Let v = 15 + -7. Let l(y) = -y + 10. Let g be l(v). Solve -3*u = g*u for u.
0
Suppose -3*l = -4*d - 6, 2*l - 4 = 4*d - 0*l. Solve d = 2*i - 3*i for i.
0
Let i = 20 - 16. Solve i*h - 8 - 4 = 0 for h.
3
Let o(m) = -2*m3 - 17*m2 - 10*m - 13. Let y be o(-8). Solve -w - y*w = 4 for w.
-1
Let g = -12 + 17. Solve 2*r - r - g = 0 for r.
5
Let y(u) = -2*u3 + 25*u2 + 15*u - 26. Let s be y(13). Solve s = -j - j + 6 for j.
3
Let t be (2 + 1 - 2)*-5. Let p = t + 7. Suppose 12 = -j - 3*i, 4*i + 7 = -9. Solve -2 = -p*u - j for u.
1
Let p = -10 - -5. Let v = p + 8. Solve -2*q = v*q + 5 for q.
-1