Let v(y) = y**3 + y**2 - 3*y - 3. Let r(k) = -2*k + 4. Let b be r(3). Let u be v(b). Let t = 2 - u. Solve -t*g = -0 - 3 for g.

Suppose -m = -0*m. Let r = 95 - 95. Suppose m = s - r*s. Solve s = -2*u - u for u.

0

Suppose 4*d = d + 6. Solve -n + 3 = d*n for n.

1

Suppose -22 - 8 = -5*o. Suppose l = 2*r + 22, -l + o*r - 2*r = -32. Solve -k = 3*k + l for k.

-3

Suppose -5*g - 4*j + 30 = 0, -3*g + 0*j + 20 = 2*j. Solve 3*c - g = 5 for c.

5

Suppose 2*l - y - 20 = -5*y, -4*y + 12 = -2*l. Solve 0 = -2*t - 0*t + l for t.

1

Let s = 28 - 25. Solve 0 = l - s - 1 for l.

4

Suppose 0 = -2*m + 4*b - 2, 4*m = -b - 2 + 16. Solve -4*n + m = -5 for n.

2

Suppose -11 = -l - 4. Let w = -4 + l. Suppose -m - n = n + 3, 4*m + 5*n + w = 0. Solve 5*x - m = 4*x for x.

3

Suppose -3*t + m = -48, 3*m + 0*m + 9 = 0. Let v = -10 + t. Suppose -2*w - s = 1 - 3, -2*w = -v*s - 2. Solve 2*r + w = -3 for r.

-2

Let o(u) = u - 11. Let n be o(11). Solve 0*r - 2*r + 8 = n for r.

4