Let m(t) = -t3 - 2*t2 + 2*t + 1. Let i be m(-3). Suppose -l = 5*p - 19, -i*l + 7 = 2*p - 15. Solve 0*z - p = -z for z.
3
Let i = -89 + 92. Solve 0 = -i*x - 2*x - 5 for x.
-1
Let b = -4 - -24. Solve 0*v + 5*v - b = 0 for v.
4
Suppose -4*b + 0 + 12 = 0. Suppose -b*y + 8y - 35 = 0. Let h be y((-18)/(-21))/3. Solve -h*f - 6 = f for f.
-2
Let q(p) = p - 5. Suppose -k + 1 = -2*k. Let h = k + 8. Let u be q(h). Solve -n - 2 = u for n.
-4
Let w be 3/(-1) + 10 - 0. Let c(d) = 2*d - 4. Let v be c(6). Solve -v = -3*m + w for m.
5
Suppose -2*d = 3*d - 25. Solve d = -4*r + 1 for r.
-1
Suppose -2*m + 16 = 2*m. Let q = 3 - 1. Suppose -q*i + 3 = -i. Solve m*v - 5 = i for v.
2
Let u be 40⁄300 - (-86)/30. Solve u*i + i = -12 for i.
-3
Let v(q) = q3 - 9*q2. Let a be v(9). Suppose a = -2*z - 3*z. Suppose c = -z + 8. Solve -3*o + c*o + 20 = 0 for o.
-4