Let j(a) = a - 3. Let b be j(7). Let c(q) = 2*q**3 + 2*q - 1. Let v be c(1). Solve v = -b*m - 1 for m.

Let x(j) = -j. Let d be x(-6). Suppose -3*b + 7*b = -q - 3, -d = b + 2*q. Solve 2*r + 0*r - 6 = b for r.

3

Let x(v) = -5*v - 1. Let s be x(-1). Suppose 3*b = -q + 2, 3*q - s*b - 8 = -q. Solve 0 = -3*d + 13 + q for d.

5

Let k = 12 - 9. Solve 0 = 5*a - 18 + k for a.

3

Let x(a) = -a**2 + 10*a - 16. Let f be x(8). Suppose 3*j - 19 - 11 = f. Solve -j = -0*c - 2*c for c.

5

Let s = 6 + -11. Let n = 10 + s. Solve 3*z + 4 = -n for z.

-3

Let d = -11 - -19. Solve -d = 3*z + z for z.

-2

Let h(w) = -w3 + 4*w2 + 6*w - 3. Let q be h(5). Solve -5*o = -q*o + 12 for o.

-4

Suppose -4*x = -13 + 1. Let o = 11 + 4. Solve 6*v + o = x*v for v.

-5

Let s = 11 + -8. Solve s*l - 15 = -3 for l.

4

Let l(w) = w2 + 7*w + 9. Let h be l(-6). Let u(x) = x2 - x. Let v be u(5). Suppose -2*b + 0 = -v. Solve 0 = -8*z + h*z + b for z.

2