Let g = -20 + 25. Let d(k) = k - 5. Let r be d(g). Let o = -2 + 8. Solve r = -f + 3*f - o for f.

3

Suppose -3*t = -2*t - 2. Suppose -3*o = 3*r - 51, -r - t*r = 2*o - 38. Suppose 4*a - 4 = 4*s, 0 = a + s + 4*s - 13. Solve 4*x = o + a for x.

4

Suppose d - 10 + 7 = 0. Let y(p) = -2*p - 14. Let g be y(-11). Let s be -2*2/(-8)*20. Solve g*m = d*m + s for m.

2

Let s = -6 + 16. Solve 2*z + s = 4*z for z.

5

Let z = -1 + 4. Solve -z*n - 2 - 4 = 0 for n.

-2

Let y be 5 - (2 - (0 + 3)). Suppose 0 = -4*h + 10 + y. Suppose 0 = 4*w - h - 0. Solve -3 = t + w for t.

-4

Suppose -4*z - n - 2 = 0, 4*z - 3*n = 6*z + 6. Solve -l - 4*l + 5 = z for l.

1

Let g be -2(4 - 3/(-6)). Let b be (-3)/g-3*-1. Solve -4*p - b + 17 = 0 for p.

4

Suppose -2*u = -3*u + 3. Suppose 21 - 6 = u*a. Suppose a*f - f - 37 = -5*d, 2*d - 5*f + 5 = 0. Solve -10 = -d*g + 10 for g.

4

Let u = -26 + 28. Solve 3*y + u - 5 = 0 for y.

1