Let q = -4 + 7. Suppose 0 = l - q*l. Solve l = 3*r - 0*r for r.
0
Let a(u) be the third derivative of -u6⁄120 + u5⁄30 + u4⁄8 + u3⁄6 + 2*u**2. Let j be a(3). Let k = 11 + j. Solve 6*s = 2*s + k for s.
3
Let n(h) = -h3 + 9*h2 - 4*h - 7. Let v® = 2*r - 4. Let t be v(6). Let p be n(t). Let b be 1/(-2) + 2⁄4. Solve b = -s - 4*s + p for s.
5
Let d(l) = -l3 - 9*l2 - 9*l - 8. Let c be d(-8). Solve c*y = 3*y + 9 for y.
-3
Suppose -2 = y, 0 = h - 4*h - 5*y - 10. Suppose q + 2 = 2*d, h*d - 4*d = 2*q - 12. Solve q*s + 2*s = -4 for s.
-1
Suppose 21*z = 8*z + 52. Solve z*n - 11 = 1 for n.
3
Let o(k) be the third derivative of k6⁄120 - k5⁄10 + k4⁄4 - 2*k2. Let i be o(6). Suppose 0 = -3*h - 3 + i. Solve 5*p = 36 - h for p.
5
Let z(u) = -3*u**2 - u + 1. Suppose 4*b + 16 + 1 = v, 0 = -3*v + 5*b + 23. Let a be z(v). Let c be 2 - (-6)/(-9)*a. Solve -i + c = i for i.
2
Let n(h) = h + 7. Let a be n(0). Solve -1 + a = 2*d for d.
3
Let u be 8⁄2 + 3⁄3. Solve u*y - 21 - 4 = 0 for y.
5