Suppose 0 = t - 2. Let n = 4 - t. Let c be 8/12 + n/6. Solve -2*l - 7 = c for l.

Let v(s) = s3 + 4*s2 - s - 4. Let y be v(-4). Let l(k) = k**3 - k + 2. Let u be l(y). Solve 6*p - u*p = 20 for p.

5

Let q = 94 + -92. Solve q*o = -1 - 7 for o.

-4

Let q(v) = -v3 + 3*v2 + 5*v. Let c be q(4). Let g = 13 + -9. Suppose 2*u = -0*u + g. Solve c + 0 = -u*h for h.

-2

Suppose 0 = 4*x - 16, 0 = 5*z + 3*x - 5*x - 12. Suppose -13 = -z*r + 27. Let w be ((-4)/r)/((-2)/80). Solve 0 = 4*k + w for k.

-4

Let i(x) = x + 2. Let a be i(3). Suppose a*l + 7 = -4*v, 0 = v + 4*l + l + 13. Solve v*p = p + 2 for p.

2

Let g = 37 - 29. Solve 3*q - g*q = 20 for q.

-4

Suppose 2*l = 6*l. Solve -3*i + l = -3 for i.

1

Let q = -16 + 14. Let s(z) = 5*z**2 + 6*z - 2. Let r be s(q). Solve -p = -4*p - r for p.

-2

Suppose -2*q - 3*n = 3, 6*q + 2 = 4*q - 2*n. Let j = -23 + 27. Solve q = -j*s + 3*s for s.

0

Suppose 7*j = 4*j + 45. Solve -2*b + 5*b + j = 0 for b.

-5