Let s(z) = 8*z + 1 + z**2 + 2 + 7. Suppose 3*t + 31 = 10. Let h be s(t). Solve 0 = -0*g + 3*g - h for g.

1

Let p(a) = a**2 - 3*a - 7. Let n be p(5). Let d be 151 - (0 + (-2)/1). Solve 8 = -n*h + d for h.

3

Let s(y) = -y - 13. Let k be s(-15). Suppose -8*r - k = -10. Suppose 5*q - 6*z - 67 = -2*z, -3*z = -2*q + 31. Solve -5*j - r + q = 0 for j.

2

Suppose 0 = -7*d + 39 + 73. Solve q = 5*q - d for q.

4

Let u(t) = t**2 + 7*t - 6. Suppose 4*i + 5 = l, l + 3*l - 41 = -5*i. Let q be ((-6)/5)/(l/60). Let w be u(q). Solve 5*j = -w + 7 for j.

1

Let l(y) = -y3 + 10*y2 - 9*y + 3. Let q = 26 + -17. Let j be l(q). Solve 0 = s - j*s - 10 for s.

-5

Let c = 1 + -4. Let k be (1 - (4 + c))/1. Suppose k = -0*p + 5*p. Solve p + 3 = 3*z for z.

1

Suppose 3*g = -5 + 17. Suppose q - 5 = -g*q, -5*y - 5*q = -80. Solve y = -0*r + 3*r for r.

5

Suppose 2*r + 3*u + 3 = 1, 0 = 5*r + u - 8. Solve 20 = -r*s - 3*s for s.

-4

Suppose 2*g + 12 = -6. Let y = -8 - g. Solve z = 2*z - y for z.

1