Suppose 7*f = t + 2*f - 7, 5*t = -3*f + 7. Let b be (-52)/(-20) - t/(-5). Solve -b*n - 6 = -18 for n.
4
Let f(h) be the first derivative of h4⁄4 + 8*h3⁄3 + h**2⁄2 + 4*h + 1. Let c be f(-8). Let q be (-6)/8 + (-3)/c. Solve q = -5*d + 16 - 1 for d.
3
Let d(i) = -5*i - 7. Let a be d(-2). Suppose 0 = -a*z - 2*z. Solve z*o = 4*o + 16 for o.
-4
Suppose i + i - 3*l = 46, -2*l = 4. Solve i = -0*a - 4*a for a.
-5
Suppose v = -0*v. Solve -2*n = -v + 4 for n.
-2
Suppose 2*k = 5*k - 12. Let c = -1 + k. Solve c*s + 4 = -s for s.
-1
Suppose 0 = -3*u + 44 + 19. Solve -5*c + 1 - u = 0 for c.
-4
Let r be 0/(-2) + -8 + 8. Let k be 4/(-16) + (-2)/(-8). Suppose k = l - 0*l - 2. Solve r*s - l*s - 8 = 0 for s.
-4
Suppose 4*d - 4*y - 52 = 0, 2*y = -2*d - 2*y + 56. Let i = 2 + -12. Let j be 5/i - d/(-4). Solve -s = j*s for s.
0
Suppose 3*s = -r - 3 - 6, s - 8 = -4*r. Suppose 4*j - 15 - 11 = -r*w, -2*j = -w - 8. Suppose k - 5 = w. Solve 0 = -5*q + 32 - k for q.
5