Let x be (-2)/4 + 154/28. Suppose 0 = -3*u + u + 4. Solve x*m - u = 3 for m.

Let w(o) = -o3 + o. Let a(v) = -5*v3 + v**2 + 7*v. Let t(n) = a(n) - 6*w(n). Let p be t(0). Let c(i) = 3*i. Let b be c(1). Solve -b*u - 3 = -p for u.

-1

Suppose 0 = -2*v + 12. Solve -v = 3*k - 3 for k.

-1

Let j be (11 - 4) + -7 + 2. Solve 0 = -j*c - 2*c for c.

0

Let a(l) = 5*l**2 + 8*l - 1. Let h be a(-3). Suppose 0 = n - 6*n - 4*y + 27, 0 = 5*n - y - 37. Solve h = -2*o + n*o for o.

4

Suppose -1 = -n + 8. Let i be (-11)/(-3) - (-3)/n. Solve o = -o + i for o.

2

Let s(k) = -3*k - 6. Let n be s(-7). Suppose a = -2*a + n. Solve a*w + 2 = -8 for w.

-2

Let m = 7 - 5. Let b be (0 + 12/(-2))/(-1). Solve -o = m*o - b for o.

2

Let v = 3 + 0. Suppose 0 = 2*t + v - 11. Solve -6*k - t = -4*k for k.

-2

Let h = 68 + -64. Solve 0 = -3*q + 4*q + h for q.

-4

Suppose 0 = 6*y - 28 - 32. Solve 0*u + y = 2*u for u.

5