Let w(s) = -s3 - 5*s2 + s + 8. Let p be w(-5). Solve -3*y = -p + 12 for y.
-3
Let h be (5 - (-3 + 0)) + -2. Solve 0*u = 3*u - h for u.
2
Suppose 0 = -4*m + 5*k + 5, -4*k + 27 = m + 10. Suppose -5*j - 16 - 149 = -5*y, -59 = -2*y - m*j. Let p = y + -12. Solve 2*s = -3*s - p for s.
-4
Let s be 1/(2*2⁄40). Suppose -k = -6*k + s. Let j(w) = 7*w + 2. Let f be j(k). Solve f = v + 3*v for v.
4
Suppose 8 = 7*i - 3*i. Suppose 5*c - 3 = 2*b - 21, 3*c = ib - 10. Let r be 20⁄2(-2)/c. Solve -r*y + 2 + 3 = 0 for y.
1
Let c be ((-32)/(-3))/2*9⁄6. Solve 0 = -0*z + 2*z - c for z.
4
Suppose 0 = -0*r - 5*r + 30. Solve 2*p - r = 4 for p.
5
Suppose 15*y - 10*y = 0. Solve -4*c + 13 + 3 = y for c.
4
Let y be (1 - 28⁄8)*-2. Solve 0 = y*d - 0*d - 5 for d.
1
Let a(w) = w3 + w2 + w + 1. Let x(g) = -3*g3 - 4*g2 - 5*g - 4. Let d© = 4*a© + x©. Let m be d(0). Solve 0 = -m*o + o - 2 for o.
2