Let m be (8⁄3)/((-4)/(-30)). Solve -2*l + 7*l - m = 0 for l.

4

Suppose j + 3*k + 0*k - 20 = 0, 2*j = k + 12. Let n(f) = -3*f + 7. Let x(q) = -q + 2. Let p(t) = -3*n(t) + 8*x(t). Let y be p(j). Solve y*m - 20 = -m for m.

5

Suppose 1 = n - 0*n + 2*u, u = 0. Solve -2*l - 3 = n for l.

-2

Suppose -16*g = -0*g - 80. Solve g*k - 5 = -0 for k.

1

Suppose 2*p - 6 + 2 = 0. Let k(m) = 2 + p + 2 - m. Let r be k(0). Solve 0 = b + 2*b - r for b.

2

Let w(i) = -2*i - 9. Let a be w(-6). Suppose a*k = -k. Let r be (-16)/(-10) - (-4)/10. Solve k*n = r*n + 4 for n.

-2

Suppose -16*n = -17*n + 2. Solve l + n*l = 0 for l.

0

Suppose -4*s + 10 = -3*s - 2*o, -2*s = o + 5. Suppose 0 = -4*x + 6*x - 5*i - 35, -10 = x + 3*i. Solve s*n = -n - x for n.

-5

Let u = 34 + -30. Solve -4*o + 0 + u = 0 for o.

1

Let t(j) = -2*j + 9. Let c(i) = 2*i - 9. Let z(o) = -5*c(o) - 6*t(o). Let m = -10 + 16. Let x be z(m). Solve -x*f + 4 - 1 = 0 for f.

1