Let f(x) = x2 - x + 5. Let t(z) = z3 + 2*z**2 + z + 2. Let j be t(-2). Let b be f(j). Suppose b*l = 3 + 12. Solve y = l - 1 for y.

2

Suppose 3*u = 4*w + 26, 4*w + 26 = 2*u + 2. Solve -u*q - q = 15 for q.

-5

Suppose 0 = 3*r - 5*l - 7 - 9, -16 = -5*r + 3*l. Solve 0 = 2*u - r for u.

1

Suppose 0 = -2*s + 5*s - 9. Suppose -s*y = y. Solve y*j = -4*j - 8 for j.

-2

Suppose 36 - 14 = 2*d. Let p(l) = -l + 12. Let m be p(d). Let r = 7 - 4. Solve m + 2 = -r*g for g.

-1

Suppose -5*x - 3*a = -1, 0*x - 7 = x + 3*a. Solve -x = 9*u - 7*u for u.

-1

Let w = 2 - -22. Suppose -w = -4*m - 0*m. Solve h - 3*h = -m for h.

3

Let u = -19 + 20. Let w be u + 4 + -4*1. Solve r - w = -2 for r.

-1

Suppose -3*v + 1 = -2. Let t be v + 3/(0 - 3). Suppose t = -w - 4*w + 30. Solve w - 2 = r for r.

4

Suppose -2*x - 2*b = -38, 9*x - 4*x + 3*b - 85 = 0. Suppose z = -z - 5*l - x, -4*l = -3*z + 25. Solve -1 = -4*j + z for j.

1