Let v(w) = w3 - 5*w2 - 1. Let y be v(5). Let j = y + 17. Solve -3*m + 4 - j = 0 for m.
-4
Suppose -6*m - 165 = -m. Let g be (-2)/(-7) - m/7. Solve -d = g - 0 for d.
-5
Let w = 3 + 12. Suppose -8*g + w = -5*g. Solve g*s = -6 - 9 for s.
-3
Suppose 1 = -3*j + 2*l + 14, 2*j = -l + 4. Solve -5*v = -j*v + 4 for v.
-2
Let m(u) = -u3 + 10*u2 - 10*u + 12. Let r be m(9). Suppose 4 = r*z - 2. Solve 0 = -3*c + 13 + z for c.
5
Let n = -4 + 6. Let o = 4 - -8. Solve -n*u = -5*u + o for u.
4
Let g(m) = 8*m2 + 21*m + 1. Let x(y) = 3*y2 + 7*y. Let f(q) = -4*g(q) + 11*x(q). Let u be f(7). Let o be (-3 - u)*0/2. Solve o = -2*v + 1 + 1 for v.
1
Let f® = r + 8. Let y be f(-7). Solve 2 = -z - y for z.
-3
Let q(f) = -3*f - 4. Let m(j) = 1. Let p(a) = -5*m(a) - q(a). Let g be p(1). Let l(d) = -d3 - d2 + d + 5. Let o be l(0). Solve -g*b - o = -3*b for b.
5
Let r(d) = -4*d + 5. Let p(q) = -5*q + 4. Let c(f) = -3*p(f) + 2*r(f). Let v be c(1). Solve -g = -v*g + 8 for g.
2