Let x be ((-15)/20)/(1/(-4)). Suppose 2*z = -x*f + 9, -5*f + 1 - 5 = -3*z. Suppose 0 = -z*r - r + 12. Solve 2*v = -v + r for v.

1

Suppose 0 = s + 8 - 4, 2*n + 2*s + 4 = 0. Solve 0 + n = w for w.

2

Suppose k = 4*k - 9. Suppose -21 = -3*s - 5*n, 4*s = 2*s - k*n + 13. Suppose 4*u - s = 5*x, -2*u + x = -0*u - 4. Solve -4 = -j - u*j for j.

1

Suppose 15 = 4*d - 13. Let n(u) = u + 13. Let c be n(-8). Let t = d - c. Solve -t*y = 9 + 1 for y.

-5

Suppose -4*i - 3*v = -13, 1 = -0*i + i + 3*v. Suppose -5*t - 13 - 2 = 0, -3*t = -i*o + 17. Let a be (0 + 0 - -1) + -1. Solve a*k + o = 2*k for k.

1

Let i(q) = q3 + 5*q2 - 7*q - 5. Let r be i(-6). Let k = 4 - -5. Suppose k*p = 4*p - 2*u + 19, -5*p = -u - 28. Solve -3*f - p = r for f.

-2

Let f(h) = h. Suppose -3*u + 0*u = -6. Let z be f(u). Solve 0 = -2*i - z*i for i.

0

Suppose -5*u = -n - n + 94, u - 3*n + 24 = 0. Let t = -9 - u. Let p = 28 + -28. Solve m - 4*m + t = p for m.

3

Suppose -2*b = -5*v + 15, -4*v = -3*v - 4*b + 15. Solve w - 8 = v*w for w.

-2

Suppose -x + 4*n + 20 = -2*x, -4*x = -2*n - 10. Solve 5*v - 29 + 9 = x for v.

4