Let x be -3 + 12/2 - -20. Suppose w - 12 = x. Suppose 0 = -4*t - 5*k + w, 2*k = 5*t - 0*k - 19. Solve -t*u + 24 = -1 for u.

Let a = 7 + -7. Let i = 0 + 0. Suppose -2*s + a*s = i. Solve 0 = -2*y - s*y + 8 for y.

4

Let k = 1 - -4. Let g be -5 + 60 - (4 - 1). Let v = g - 35. Solve 0 = -k*x + v + 3 for x.

4

Suppose -m + 4*v - 11 = 0, 0*v = -3*m + 4*v - 1. Solve -4*o + 1 = m for o.

-1

Suppose 25 = 5*r - 4*y, 5*y + 1 - 11 = -2*r. Suppose 2*o - 4 = -x, 2*o - r*o + 6 = -x. Solve 2*h + o*h = 12 for h.

3

Let o(t) = -2*t - 3. Suppose -4*h - 3 = 1. Let i = h - 1. Let n be o(i). Solve w - n = 3 for w.

4

Suppose 0 = -2*b - 2*b + 16. Suppose -3*l = -l - b. Suppose -3*k = -n, -2*k = 4*n + l*k. Solve 0 = -n*y - y for y.

0

Let s = 28 + -27. Solve -d = s - 4 for d.

3

Let m be (-2)/10 - (-57)/(-15). Let v be 6/(-4)*m/3. Solve -4*f = -v + 22 for f.

-5

Suppose -7 + 1 = -3*u - 4*i, -4*u + 8 = -4*i. Let m(a) = -a**2 + 2*a. Let t be m(u). Solve t = -0*g + 3*g for g.

0

Let w(q) = q3 + 10*q2 - q - 10. Let c = -2 - 8. Let y be w©. Suppose y - 3 = -j. Solve 0 = -2*l + 5*l + j for l.

-1