Let p(j) = -3*j**3 + 3*j. Let a(o) = 10*o**3 - 10*o - 1. Let r(l) = -2*a(l) - 7*p(l). Let s be r(2). Solve -c = c - s for c.

Suppose 0 = -u - 3*u + 16. Suppose -5*v = -u*c + 10, 5*c - 34 = -v - 7. Suppose 2*s = 8, -s = t - 2*s + 3. Solve v + t = -3*q for q.

-1

Let o be -2*(-4)/12*3. Solve t - 1 = -o for t.

-1

Let a = 12 + -6. Solve 2 - a = -c for c.

4

Let y(a) = -a - 2. Let r be y(-8). Suppose 0 = 2*n - r*n + 16. Let j(z) = -z**2 - 6*z + 4. Let h be j(-6). Solve h + 16 = n*c for c.

5

Let u(v) = 5*v2 + 9 + 8*v - v2 - 5*v**2. Let t be u(9). Suppose -2*c + 6 + 2 = t. Solve 2*f - c*f = -2 for f.

1

Let h = 1 + 19. Suppose l + h = 23. Solve 0*b - l = -3*b for b.

1

Let l(j) = -j3 - 7*j2 - 6*j + 4. Let y be l(-6). Solve 5 = h + y*h for h.

1

Let d = 2 - 4. Let r = -2 - d. Solve v = -r + 1 for v.

1

Suppose -2*v - 6 = -20. Let w = 10 - v. Suppose -w*r = x - 14, 2*r + 0*r + x - 11 = 0. Solve -r*b = 2*b - 25 for b.

5

Suppose 2 = l + 1. Suppose -d + l + 2 = 0. Solve -v = d*v - 12 for v.

3