Let m(l) be the first derivative of l**4/4 + 7*l**3/3 - l**2/2 - 10*l + 2. Let i be m(-7). Let p = 4 + i. Solve t + 3 - p = 0 for t.

Suppose 0 = -2*w + 3*w. Suppose w = 4*t - 6*t. Solve t = i + 2*i - 15 for i.

5

Suppose 3 = -3*l + 3*g - 0*g, -3*l - g = -9. Let m = -5 + 11. Let a(w) = -w**2 + 7*w - 6. Let r be a(m). Solve -l*f = -r*f for f.

0

Let b(z) = -3*z - 43. Let m be b(-16). Suppose 0 = 3*c - 3 - 3. Suppose 0 = t - c*t. Solve -m*r + 7*r = t for r.

0

Suppose 5*l - 5 = -0*w + w, 23 = -l + 5*w. Let y be (-2)/l*1 + 1. Solve y = r - 0*r for r.

0

Let r be 18/(-27)(-1 - (-1)/(-2)). Let a be (-3 - -2)(-6)/2. Solve 0 = -a*w + 10 - r for w.

3

Let c = 1 + 2. Suppose 3 - 9 = -c*x. Solve x = b + 1 for b.

1

Let j© = -c3 - 7*c2 - 8*c - 5. Let u be j(-6). Let o = -7 + u. Solve -2*z = -o - 8 for z.

4

Suppose -r - 3*r = -36. Let p be r/6*²⁰⁄₆. Suppose p = 2*y - 3. Solve w - y = 2*w for w.

-4

Suppose -n + 5*f + 31 = 0, 4*f + 14 = 4*n - 5*n. Let q(u) = -u3 + 7*u2 - 7*u + 10. Let a be q(n). Solve -4*w - 8 = a for w.

-3

Let g be ⁸⁄₂₀*³⁰⁄₃. Solve 9*t = g*t + 10 for t.

2