Let r(o) = 17*o + 11. Let m(s) = -9*s - 5. Let k(g) = -11*m(g) - 6*r(g). Let z be k(-5). Solve -z*n - 25 = -5 for n.

Let z = -30 - -43. Suppose -r - 4 = 3*u - z, 4*u - r - 12 = 0. Suppose 3*b - 7 = 5*p, 3*b + 2*p = -2*p + 16. Solve u*g + 1 = b for g.

1

Let c(y) = -2*y3 + 3*y2 - y. Let r be c(2). Let z be ((-6)/4)/(3/r). Solve -w - 6 = -z for w.

-3

Suppose 4 = -3*x + 22. Solve i = -i + x for i.

3

Suppose 0 = c + 3*c - 12. Suppose v + c*v - 12 = 0. Suppose -5*a - 3*i - 6 = 0, -2*a + 0*i + 4 = -2*i. Solve 0 = -a*h - v*h for h.

0

Suppose -3*x = 2*x - 10. Suppose 5*v - 22 = -h + 3*h, 0 = -5*v + 20. Let f = h + x. Solve -4 = -a - f for a.

3

Let r be (9/(-6))/(6/(-16)). Suppose 1 = r*k - 7. Solve -k = p - 5 for p.

3

Let t(q) be the second derivative of -q⁵⁄₂₀ - 5*q⁴⁄₁₂ + 5*q³⁄₆ - q²⁄₂ - 5*q. Let o = -20 - -14. Let u be t(o). Solve -12 = u*z + 8 for z.

-4

Suppose w = -3, -2*w = -v - 2*v + 15. Solve j = -v + 7 for j.

4

Let k(v) = -2*v + 1. Let n(g) = -g3 - 5*g2 - 4*g + 1. Let t be n(-3). Let q be k(t). Suppose 1 = -5*z + q. Solve -z*w = w for w.

0

Let u(k) = -3*k**3 + 2*k + 1. Let a be u(-1). Suppose -l + a*l = 16. Suppose w - 6*w - 4*v - l = 0, 4*v = -16. Solve -o = -w*o + 1 for o.

-1