Let v(c) = -c**3 + 2*c**2 - 2*c - 10. Let t(r) = r**3 - r**2 + 3*r + 10. Let j(p) = -3*t(p) - 4*v(p). Let n be j(5). Solve 0 = -n*x + x + 8 for x.

Let h be (-5)/20 + (-25)/(-4). Suppose -2*s = -4*l - 20, 4*s - 10 = l + 9. Suppose 3*f = -2*f - s*v + 95, -3*f + 5*v = -20. Solve a - h*a = -f for a.

3

Let n be (5 + -6)/((-1)/2). Solve -n = 3*v - 8 for v.

2

Let n© = -c**2 - 7*c + 8. Suppose 0 = d + 2*v + 12, -2*d + 3*v = 4*v + 18. Let t be n(d). Solve t = -0*o + 5*o for o.

0

Let b be 17/(-3) - ¹⁄₃. Let i be (-5)/(-2) + 3/b. Suppose -4*h + 10 = -i. Solve 0 = 5*u - h*u for u.

0

Let l(a) = -a - 4. Let g be 9/(-2) + ¹⁄₂. Let q be l(g). Suppose q = 4*p - 5*s + 20, -2*p + 2*s - 8 = -4*p. Solve -3*u + 6 + 0 = p for u.

2

Suppose 9*n - 22 = 4*n + 3*o, 5*o = 5*n - 20. Let z = n + -4. Solve -4*f = -z - 3 for f.

1

Let q = -25 + 25. Solve -x + q*x = 0 for x.

0

Let u(i) = -i**2 - 7*i + 4. Let w be u(-7). Suppose f - 9 = -2*g + g, w*g + 3*f = 32. Solve t + 0*t = g for t.

5

Let h = 1 + 1. Suppose h*p + 6 = 0, 2*j - 3*p + 7*p = 28. Solve -j = -c - 3*c for c.

5

Let k be ((-4)/2)/(0 - 1). Suppose -k*t - 3*t = 0. Let j© = -c**2 - 7*c + 1. Let f be j(-7). Solve t = m - 2*m - f for m.

-1