Let x(q) = -1 + 0*q3 - q3 - 5 + 4*q2 + 14*q + 8*q2. Let a be x(13). Solve -2*c + 1 - a = 0 for c.
-3
Let t be (13⁄3 + -4)*18. Solve 2*j - t = -j for j.
2
Let o(m) = -2*m**2 - 14*m + 18. Let l be o(-8). Solve -l + 0 = 2*w for w.
-1
Suppose 0 = -4*j + j - 2*j. Solve -4*s + 14 + 2 = j for s.
4
Suppose 0 = 5*t + 2 - 12. Suppose t*l + l - 5*d - 16 = 0, 14 = 3*l - 4*d. Suppose 16 = 6*z - l*z. Solve -h + z = -1 for h.
5
Let a be (2 + 15⁄6)*2. Let t = a - 9. Solve t = 5*r + 21 - 1 for r.
-4
Let a(s) = -s**2 + 4*s + 1. Let t be a(4). Solve 2*b + 7 = t for b.
-3
Let l = -6 - -11. Suppose 3*c = 5*c + 10, -3*c + 15 = 5*s. Solve -s*m + m = l for m.
-1
Let p© = c**2 + 9*c. Let h be p(-9). Suppose -9 = -3*f - h. Solve f - 18 = -5*d for d.
3
Suppose 0 = -4*v + u + 5, -4*v + 3*u = -u + 4. Let i = -5 + 13. Suppose 0 = v*w - 6*w + i. Solve -7 = -w*r + 1 for r.
4