Let t(u) = -4*u + 17. Let m(o) = -o + 4. Let n(z) = -9*m(z) + 2*t(z). Let l be n(5). Solve s = -l*s for s.
0
Suppose 0 = -14*f + 18*f - 12. Solve -7 = f*c - 1 for c.
-2
Let d = -207 + 210. Solve -d = -3*o - 6 for o.
-1
Let d(w) = -w3 + 7*w2 - 5*w - 6. Let y be d(6). Solve y = r + 4 - 0 for r.
-4
Suppose -6 = -5*r - 1. Solve 7 + r = -4*t for t.
-2
Let u(l) = l3 - 9*l2 + 8*l + 3. Let c be u(8). Suppose 0 = -c*d + 3. Solve -5 - d = 3*s for s.
-2
Let l = 10 - -5. Solve 5*f = -0*f + l for f.
3
Let t(f) = f3 + 8*f2 - 9*f + 6. Let z be t(-9). Suppose 0 = 2*c - z. Solve 0 = -0*v - c*v + 15 for v.
5
Let m(y) = -y**2 - 5*y + 7. Let a be m(-6). Solve 2*f + 11 = a for f.
-5
Let m(o) = -o**2 + 21*o - 35. Let q be m(19). Solve q = v + 1 for v.
2