Let j(z) = -z3 - 12*z2 - 11*z + 1. Let q = 5 - 16. Let l be j(q). Solve 0 = -p - 4 + l for p.

-3

Suppose 0 = -2*d - 15 - 5. Let n = -5 - d. Let k = 4 + n. Solve 0 = -0*a - 3*a - k for a.

-3

Suppose 5 + 9 = 7*r. Solve 5*g - r*g = -9 for g.

-3

Let d be 3 + (7 + -3)/(-4). Solve -d*j = -0*j - 2 for j.

1

Let c(y) = 9*y3 + y2 - 3*y + 1. Let d be c(1). Solve 6*a - 2*a + d = 0 for a.

-2

Suppose 3*b - 4 = 2*i + 1, -b - 24 = 3*i. Let r(q) = -q3 + 6*q2 - 5*q. Let w be r(4). Let z = i + w. Solve z*o + 5 + 0 = 0 for o.

-1

Let k be 0*((-9)/(-6) + -1). Solve k*c = c for c.

0

Let r(i) = -2*i - 8. Let l be r(-4). Suppose j + l = 5. Solve j*v - 16 = -6 for v.

2

Suppose 0 = -2*h + 16 - 6. Suppose -3*f + 4 = -h. Solve -f = 2*v + v for v.

-1

Let k be (1215)/(15). Suppose -k*w + 2*w + 18 = 0. Solve 5*l = -6 - w for l.

-3