Let s(z) = -2*z. Let x be s(-1). Solve 0 = 3*y + 4 + x for y.

Let v(u) = -2*u + 24. Let t be v(9). Solve -t = -8*j + 10*j for j.

-3

Let c(w) = -w**2 + 5*w - 2. Let y be c(2). Suppose -y = -4*q + 2*q. Let s(u) = -2*u + 35. Let a be s(14). Solve 0 = -3*j - a - q for j.

-3

Let w(q) = -2*q - 36. Let c be w(-20). Solve 0*v + c = v for v.

4

Let q be 0 + (11 - 0) + 1. Let d = -145 - -150. Solve -i - q = -d*i for i.

3

Suppose 5*c = 3*o - 13, -4*o = -9*o - c + 59. Solve -14 + o = -d for d.

3

Let t(j) = 2*j + 12. Let o be t(-5). Solve -5*l = -17 + o for l.

3

Suppose -a + 17 = -3*z, 2*z - 2 = 2*a + 5*z. Suppose -c + 0*c = -2. Suppose 0 = 2*t + 2*v - 6, 2*t - 10 - c = -4*v. Solve t*b - b - a = 0 for b.

-5

Let w = 42 + -37. Solve -16 = -w*c + c for c.

4

Let f© = 3*c - 9. Let v be f(3). Solve v = 2*w - 3 + 11 for w.

-4

Suppose -3*w - 16 = -0*v + 4*v, 5*v = 2*w + 26. Let u = -4 - w. Suppose -2 + 14 = u*c. Solve -c*d + d = -2 for d.

1