Let t(l) = -5*l - 6. Let p be t(-2). Solve -p*c = -c for c.
0
Let u = -4 + 3. Let g be u*(0 + (-3 - -2)). Solve 4*m - g = -9 for m.
-2
Let v = 11 + -11. Solve -g - g - 4 = v for g.
-2
Let o = 1 - -11. Let w = o - 6. Solve u = 4*u + w for u.
-2
Let h(u) = u**3 - u - 6. Let p be h(0). Let v = p - -8. Solve 3 = a + v for a.
1
Suppose -j - 4*q - 7 = 0, -16 = -3*j + q + 2. Let u(o) = 7*o**2 - 31*o - 15. Let x be u(5). Solve x*s + j = -10 for s.
-3
Let c = -16 + 21. Solve -c*u - 4 = 16 for u.
-4
Let z(y) be the third derivative of y6⁄120 - y5⁄10 - 7*y4⁄24 + y3⁄3 + 2*y**2. Let k be z(7). Solve -k*g + g = -5 for g.
5
Suppose 0 = -5*g - 94 - 181. Let j be ((-5)/2)/(g/132). Solve -w - 1 + j = 0 for w.
5
Let d(w) = -w3 - w2 - w + 5. Let z be d(0). Let u(t) = t3 - 5*t2 + 2*t - 7. Let r be u(z). Solve r*m = 2*m + 4 for m.
4