Let r(d) = 4*d - 28. Let x be r(7). Solve -4*n - 4 = -x*n for n.

-1

Let t(z) = 2*z3 - 2*z2 - z + 3. Let a be t(3). Suppose 4*s = s + a. Solve -s = -4*n - 0*n for n.

3

Let y = -113 + 113. Solve y*c = 4*c for c.

0

Let u© = c3 - 7*c2 - 6*c - 3. Let w be u(8). Let f = -7 + w. Solve -4*v = -2 - f for v.

2

Let n® = r**2 + 5*r + 7. Let v be n(-4). Solve -v - 1 = u for u.

-4

Let a(f) = 3*f. Let p be a(1). Suppose 0 = -3*k - 0*k + 15. Suppose -k*u = -u - 4*n - 28, u - 8 = 2*n. Solve -s - u = -p*s for s.

3

Let b(u) = -u - 8. Suppose -3*w + 15 + 14 = m, -2*w - 4*m = -16. Let d be 2/(-4) + (-75)/w. Let i be b(d). Solve i = -4*h - 0*h for h.

0

Suppose 4*q - 13 = -0*q + 3*u, 0 = 4*q - 4*u - 16. Solve 0 = 3*x + q + 2 for x.

-1

Let i(a) = a3 - a2 - a + 1. Suppose 2*k - 5*h = -12, 3*k - 23 = -2*h - 3. Let z be i(k). Suppose -6*g + z = -g. Solve g = 4*s - 11 for s.

5

Let c = -3 - -3. Suppose -p - 2 + c = 4*g, 4*g = 2*p - 8. Solve -9 = -p*f + 1 for f.

5