Let u = -12 - -16. Suppose o - 20 = 4*o + 5*h, h = -4*o - u. Solve o*f + 2*f - 4 = 0 for f.

Suppose -4*z = z. Solve 0 = -4*h - z*h + 12 for h.

3

Suppose -16*a = -20*a + 12. Solve -a*b + 3 = -0*b for b.

1

Suppose 2*u = -2*u. Suppose -10 = 5*x + 5*y, u = 2*x - 7*x - 4*y - 5. Suppose 0 = -b - x*b + 16. Solve -3*v + v = -b for v.

2

Suppose 3 = 2*z - z. Suppose d = -z*t + 3*d + 217, t + 3*d = 54. Suppose 2*x - t = 5*h, 4*h + 130 = 5*x - 0*h. Solve 3 = 5*n - x for n.

5

Suppose c - 5*h = 18 - 4, 0 = 2*c + h - 6. Solve -p = c*p + 15 for p.

-3

Let p = 19 + -10. Let t = 3 + -1. Suppose -5 = -5*r + w, -r - t = w - p. Solve -6*k + r*k = 0 for k.

0

Let n = 5 + -1. Let p be n/(-3)*(-135)/18. Suppose -3*j - w + 18 = 7, 0 = -4*j + w + p. Solve 0*y = -y + j for y.

3

Suppose 3*l - 2 = -2. Suppose 20 = 3*t + 2*t. Let b = t + l. Solve u + b = 5 for u.

1

Let b(p) = p**2 - p. Let s be b(2). Let w = -572 - -578. Solve -w + 14 = s*g for g.

4

Let j be ³⁄₁₅ - (-9)/5. Solve -j*o = o - 15 for o.

5