Let a(y) = 2*y**3 - 6*y**2 - 7*y + 1. Suppose -2*f + 1 = -9. Let c be a(f). Let n = c - 32. Solve -5*d - n = -14 for d.

Suppose h + 20 = 2*h. Solve -h = -n - 3*n for n.

5

Let p(l) = -l3 + 17*l2 - 13*l - 23. Let k be p(16). Solve -k = -u - 4*u for u.

5

Let w(y) = -y3 + 4*y2 - 2*y + 1. Let m be w(3). Suppose 0*k = -4*t + 4*k + 16, -2*t + m*k + 10 = 0. Suppose 8*v = t*v + 25. Solve 4*d + v = -7 for d.

-3

Let z = 26 - 26. Solve -2*s + 3 - 5 = z for s.

-1

Let c = 7 - 7. Let o = 6 + -4. Let x be 9*(o/2 - 0). Solve c = 2*p + p - x for p.

3

Suppose 4*k = -0*k + 8. Let b = -7 - -10. Suppose -5*r - 5 = 5*d, 2*r = -b*r + 3*d + 3. Solve r = -3*p + k*p - 4 for p.

-4

Suppose -5*u = -4*l - 3 - 2, 10 = 2*u. Solve 0 = -l*w - 0*w - 15 for w.

-3

Let i = 0 - -7. Solve i = -3*t - 2 for t.

-3

Let q be ⁵⁄₃*²¹⁄₇. Let x be 0*¹⁄₁*1. Solve x = -q*g + 15 + 5 for g.

4

Let g be (²⁄₄)/((-4)/(-32)). Suppose g*w - 64 = -8. Let i = w + -10. Solve i = m - 0*m for m.

4