Suppose -2*r + 6 = -0*r. Suppose r*q = a + 10, 2*a + 3 = -5. Solve q - 5 = -s for s.

3

Suppose 42 = y - 4*n, n + 12 = -3*n. Let l = y + -18. Solve x + l = -2*x for x.

-4

Let l(x) = -x3 - x2 + x + 3. Suppose -3*f = -7*f. Let j be l(f). Suppose -y - 4*n = -17, -2 = -j*y + 3*n + 4. Solve y*w - 9 = 16 for w.

5

Let t(n) = -2*n**2 + 17*n - 16. Let s be t(7). Solve -2*i - s = -1 for i.

-2

Let y(u) = 5*u3 + u2 - u. Let z be y(1). Suppose 4*w = -3*g + 31, -z*g = 7*w - 3*w - 41. Solve 0*b = -w*b - 4 for b.

-1

Suppose 22 = 5*p + 7. Suppose 0 = 2*x - p*x. Suppose x = 4*z + 4*q, -2*z + 6 = 2*z + 2*q. Solve 0 = z*k - 3 - 0 for k.

1

Let p be (4 + -3)*4/(0 + 2). Let j(u) = u3 - 9*u2 + u - 4. Let z be j(9). Solve -s + p*s - z = 0 for s.

5

Suppose 4*p = p + 12. Suppose -4*m = -3*l - 35, -2*m - 3*l + 0*l - 5 = 0. Suppose 0 = m*j - 8 + 3. Solve -3 - j = -p*h for h.

1

Let q(z) be the first derivative of z**22 - 11*z - 2. Let v be q(11). Solve v = g + 1 + 3 for g.

-4

Let i(b) = -b - 5. Let s be i(-10). Suppose 0 = -c + v - 1 + s, -3*c + v = -10. Solve -2 = -c*k - 17 for k.

-5