Let o(h) = 2*h**2 + 2*h - 2. Let a be o(-2). Solve 0 = y + a for y.

-2

Suppose -3*s - 4 = -5*q, 7*s + 2*q = 3*s + 12. Suppose -s*n = n. Solve 2*k + 9 - 3 = n for k.

-3

Suppose 5 + 4 = 3*v. Solve -v*i = -2*i for i.

0

Suppose 69 = -4*x - 107. Let f be (-2)/(-11) - 80/x. Solve 7 = 3*w - f for w.

3

Let z = -29 - -31. Suppose 20 = 3*n - 7. Suppose -2*k + 0*k + n = s, -4*k + 23 = -3*s. Solve k = 3*c + z*c for c.

1

Suppose 4*z + 3*u - 15 = 0, 0 = 4*z - 3*u - 3 + 18. Solve -2*y = -z*y + 2 for y.

-1

Suppose 4*o - 23 = 3*s - o, 7 = s + 2*o. Let i(f) = -4*f. Let y be i(s). Solve y = 3*w - 11 for w.

5

Let g = -35 + 37. Solve 2 = -g*d - 0 for d.

-1

Suppose -4*y - 5 = -5*y. Solve -y*a = -17 + 2 for a.

3

Suppose 0 = k + 4*y - 10, -3*k + 3*y = -2*k + 4. Let z be 22 - (0 + 0) - k. Solve -6*s + s = -z for s.

4