Suppose 0 = 2*f + 5 - 3. Let s be f/(-3) - 14/(-3). Suppose -5*d + d = 4*x + 16, 2*x = s*d + 20. Solve x = 4*u - 0*u + 16 for u.

-4

Let u = 2 + -4. Let q be u/2 - (-5 - 2). Let o be (-4)/(-12)*q*1. Solve -o = t + 1 for t.

-3

Let b = -16 + 16. Solve 3*d = -b*d for d.

0

Let b(y) = y. Let m be b(0). Suppose -i + 2 = -0*i. Suppose -4*n - 2*t + 40 = m, t - i = -0. Solve 3*s + n = -0*s for s.

-3

Suppose -23 = -4*o - 7. Solve 3*c = 4*c + o for c.

-4

Suppose -8*a = -3*a - 10. Suppose 2*v - a = v. Suppose 3*i - j = 15, 5*i - 2*j + 5 - 29 = 0. Solve k - i = -v*k for k.

2

Suppose -c = c. Let o(t) = t**3 - t + 4. Let i be o©. Suppose 3*f + f + 5*u = 22, -i*u = -8. Solve 0*v - 3*v + f = 0 for v.

1

Suppose 13 = 3*v - 2*u + 1, 5*v - 4*u - 18 = 0. Solve -n = -4*n - v for n.

-2

Let c(l) = -2*l + 23. Let u be c(10). Solve 3*o = -u + 15 for o.

4

Suppose 2*j + 3*r = -9, 0*j + 2*r + 6 = -5*j. Suppose j*q + 4 = 2*q + 4*u, 0 = 3*q + 4*u - 12. Let f = 11 - q. Solve -w - f + 5 = 0 for w.

2