Let m(b) = 6*b3 + 3*b2 - 4*b - 8. Let t(v) = 5*v3 + 2*v2 - 4*v - 7. Let r(q) = -6*m(q) + 7*t(q). Let f be r(-3). Solve -3*o - 5 + f = 0 for o.
-1
Let v(y) = y3 - 7*y2 + 8*y + 3. Let f be v(6). Suppose 0 = 4*s - 20. Suppose -s*k - 10 = 0, 0 = q + 4*k - 1 + 5. Solve q*t + t = -f for t.
-3
Suppose 0 = -2*l + 6. Let v = l - -1. Solve v*z - 12 = -0 for z.
3
Let j(a) = -a3 - 5*a2 - 6*a. Let s be j(-4). Solve s = -0*h - 2*h for h.
-4
Let k be (-2)/12 - (-7)/42. Suppose k = m - 3 - 7. Solve -m = -2*i - 2 for i.
4
Suppose -5*i + 12 - 2 = 0. Solve -l - i = -3 for l.
1
Suppose -7*i + 32 = -3*i. Let g = i + -3. Suppose -2*x + g*x - 3 = 0. Solve v = -x + 6 for v.
5
Let c = -1 - -21. Let s = 4 - 0. Suppose 4*v + d = 2*d + 11, 11 = 5*v - s*d. Solve 2*h + c = -v*h for h.
-4
Let r be 0/(0/2 + -2). Solve 0*c - 2*c = r for c.
0
Let i = 180 + -102. Suppose r - 66 = 2*r + 3*y, i = -r + y. Let q be (2⁄3)/((-10)/r). Solve q*a = 22 - 7 for a.
3