Suppose b - 3*q = 17, 22 + 6 = 4*b - 4*q. Let u = b - 0. Let s be 0u/4-1. Solve s = -i + 1 - 2 for i.

-1

Let s = 7 + 40. Suppose 0 = 2*k + 5*u + s, -2*k = -4*k - 2*u - 62. Let r be (k/30)/((-3)/10). Solve -29 = -r*y - 9 for y.

5

Suppose 0 = 2*y - 4*n, -7*y + 2*y + 2*n = -32. Solve -6*j + y = -2*j for j.

2

Let m(d) = -d3 + 8*d - 4*d2 + 11 + 5*d2 + d2 + 6*d**2. Let k be m(9). Solve k*q = 8 - 0 for q.

4

Let a = -8 + 11. Solve -1 = a*s + 5 for s.

-2

Suppose 5*q = 11 + 14. Let z(s) = -s + 8. Let t be z(q). Suppose -5*m = 5*y - 15, -6 - 2 = -5*m + 2*y. Solve j - m - t = 0 for j.

5

Let t(a) = -3*a - 4. Let n be t(-2). Suppose -5*f + 2*f = -12. Suppose 12 = -n*m + f, 5*x - 45 = 5*m. Solve 0 = -x*o + 11 + 9 for o.

4

Suppose -2*z = -5*v - 17, -3*z - 3*v = -0*z + 27. Let a(d) = -3 + 6 + d**2 + 4*d + 3. Let r be a(z). Solve 0 = r*f - f + 15 for f.

-3

Suppose -5*l = 2*d - 0*d - 98, 0 = -3*d - 3. Let f = 56 - l. Suppose 111 = 3*x + f. Solve x + 0 = 5*i for i.

5

Let s = 2 + 2. Suppose 8 = s*t - 8. Let f = 4 - t. Solve r - 2 = -f for r.

2