Let m(s) = s3 + 10*s2 - 11*s + 12. Let u be m(-11). Solve u = 6*j - 2*j for j.
3
Let r = 69 - 28. Suppose 7 + r = -4*l. Let w be l/2*6/(-9). Solve 7*a - 3*a + w = 0 for a.
-1
Let c = 11 - 3. Solve -3*v + c = -1 for v.
3
Let w = 30 - 29. Solve -d + 0*d - w = 0 for d.
-1
Suppose -2*x + 12 = -0. Suppose -3*m - 50 = -2*f, -f + x*f - 5*m = 125. Solve -f = -3*w - 2*w for w.
5
Let n© = c2 + 3*c + 3. Let l be n(-3). Let o(y) = -y3 + 7*y**2 + 2*y - 8. Let a be o(7). Let g = a - 5. Solve 0 = -i + g + l for i.
4
Let b = 22 + -20. Solve -3*w - b*w + 15 = 0 for w.
3
Suppose -43 = -5*n + 2. Suppose -z + n = 3*q, -4*q - 9 = -21. Suppose z = g + 3*g - 16. Solve -h + 0 - g = 0 for h.
-4
Suppose q - 4 = -1. Let n = 7 - -2. Solve q*r - n = -0*r for r.
3
Let a = -5 + 9. Solve 5*x - a - 16 = 0 for x.
4