Let v(x) = 3*x**3 + 5*x + 11. Let n(z) = -2*z**3 - 4*z - 10. Let q(p) = -4*n(p) - 3*v(p). Let b be q(0). Suppose 1 = 2*c - b. Solve -c*f + f = 0 for f.

Let w be -3*(-2 + (-34)/(-6)). Let a = -7 - w. Let v(y) = y - 3. Let m be v(a). Solve z - 3 = m for z.

4

Let i(v) = v**2 - 8*v - 2. Let h be i(6). Suppose 0 = -n - 3*n + 80. Let j = h + n. Solve 4*u - u = j for u.

2

Suppose 0 = -4*v - 2 + 26. Suppose 5*t + 0*t = 10. Solve -z - t*z + v = 0 for z.

2

Let i = -2 - -4. Let x be (-1)/(-3)i-6. Let k be ¹⁹⁄₇ - x/14. Solve 2 = k*u - u for u.

1

Let m(j) = j3 - 9*j2 + 9*j + 7. Let q = -14 - -22. Let l be m(q). Solve -3*c + l = 2*c for c.

3

Let i be ⁶⁴⁄₄₀ - (-4)/10. Solve 0 = 3*o + i*o + 10 for o.

-2

Suppose 0 = -8*h + 5*h + 12. Solve 2*q = h*q + 2 for q.

-1

Suppose 2*m = 6*m - 4. Solve m = 5*d + 11 for d.

-2

Suppose 2*r + 4 = u, -3*r = -4*u - 0*r + 11. Let k be 3 + (-1 - -2)*0. Suppose 2*j + u*d = 6*j - 18, 3*j - 36 = -k*d. Solve -3 - j = 5*t for t.

-2

Suppose -4*x + 8*x = 8. Solve 0 = -a - x + 4 for a.

2