Let n = -15 + 17. Solve -n*j = 3*j for j.
0
Let r(l) be the third derivative of l4⁄12 - l3⁄6 + 5*l**2. Let c be 4/(-18) + 40⁄18. Let h be r©. Solve 4*f - 9 - h = 0 for f.
3
Let f(l) be the second derivative of l4⁄12 - 2*l3⁄3 - l**2 - 2*l. Let o be f(4). Let a be (-3)/o + 6⁄4. Solve 5*h = 2*h + a for h.
1
Suppose 0 = -5*h + 37 - 7. Suppose 4*x - 5 = 19. Suppose k + k - x = 0. Solve -k*s - 12 = -h*s for s.
4
Let f be (-1 - 0)*-2*1. Suppose -19 = -a - 7. Let x = -13 + 15. Solve 0 = -f*z - x*z + a for z.
3
Let u = 26 + -14. Solve 2*z - 6*z = -u for z.
3
Let u(w) = w - 8. Let j be u(8). Solve j = -t - 0 + 1 for t.
1
Let s(l) = l3 + 7*l2 - 9*l + 7. Let k be s(-8). Suppose r - 4*r - 2*a + k = 0, -3*r + 5*a = -15. Let v(p) = 2*p - 4. Let h be v®. Solve h = 3*w - 3 for w.
3
Let j(f) = f3 + 7*f2 - 7*f + 7. Let d be j(-8). Let v = d - 0. Let i be v/(-3) - 5/(-3). Solve q - i*q = 0 for q.
0
Let q = 35 - 24. Let s be ((-5)/(-3))/((-2)/(-6)). Let a(o) = 2*o + 2. Let n be a(6). Solve q + n = s*h for h.
5