Let k(o) = -o3 + 5*o - 3. Let c(z) = -z3 - z**2 + 6*z - 4. Let s(f) = 2*c(f) - 3*k(f). Let m be s(3). Solve -v + 0 = -m for v.

1

Suppose -2*m + 22 = 4*n, -4*n = 3*m - 34 + 9. Solve n = 5*w - 6 for w.

2

Suppose -2*c - 5 = -b - 4*c, -4 = -4*c. Solve 5*i - b*i + 2 = 0 for i.

-1

Let n© = -c3 + 5*c2 + c. Let f be n(5). Let w(a) = 2*a - 5. Let s be w(f). Suppose k = -v - 2*k + 15, k - 25 = -2*v. Solve -y + v = -s*y for y.

-3

Let y be 2 - 1 - 12⁄1. Let k = y + 16. Let n = -5 - -9. Solve 0 = -l - n*l - k for l.

-1

Suppose 0 = -5*k + 86 - 26. Solve k = -b - 3*b for b.

-3

Let k(s) = -6 - s3 - s2 + 6 + 2*s**3. Let w be k(0). Solve w - 1 = -x for x.

1

Suppose 3*n = -3*h - 8 - 4, -2*n - h = 3. Suppose c - 3 - n = 0. Solve c*s - 12 = -0*s for s.

3

Suppose -i + 2*s = 7*s - 5, 3*i - 4*s = -4. Solve 3*w + i*w = 6 for w.

2

Let h = -1 + -3. Let a = -4 - h. Let o = 2 + a. Solve x = 3*x - o for x.

1