Let v(o) = 2*o3 - 2*o2 - 4*o + 8. Let q be v(2). Let r be 12 - 12. Solve r = 3*b + b + q for b.

-2

Let n(t) = -t**2 - 3*t + 4. Let d be n(-3). Suppose -d*o + 2*o + 30 = 0. Solve 5*v = 2*v - o for v.

-5

Let t be 129*(0 + 15). Let a = 10 - -10. Let y be 52/a + 615. Solve y*v + v = -t for v.

-5

Let t = 3 + -2. Suppose -y - 5*l - 6 = -t, -5*y - 4*l = -17. Solve 20 = y*c - c for c.

5

Let t = 188 + -188. Solve -2*p - 6 = -t*p for p.

-3

Suppose -5*x + 3*w = -w - 8, -4*w + 32 = 5*x. Let n(f) = -4*f - 8*f3 + 6 + 5*f + 6*f2 + 7*f**3. Let m be n(6). Solve -x*p = -0*p - m for p.

3

Let y(q) = -q3 - 5*q2 - 7*q - 6. Let p be y(-4). Let c = 10 - p. Suppose 3 - c = -5*l - x, -x = 2*l - 1. Solve -6*h + h = l for h.

0

Suppose 0 = -5*c + 3*c. Solve q - 3*q = c for q.

0

Suppose 13*n = 6*n. Solve 2*i + i = n for i.

0

Let b(w) = 2*w3 - 3*w2 - w + 1. Let n be b(-2). Let z be (-19)/(-5) + (-5)/n. Suppose 2*q - 8 = -2*m, 0 = z*q - q + m - 4. Solve -k + 0 + 4 = q for k.

4