Let c = -13 - -30. Let k = c + -17. Solve k = -u + 3*u + 6 for u.

Suppose 4*u - 3*c - 8 = -44, 4*u - 4*c + 36 = 0. Suppose -4*h = 4*x, x - 4*h + 0h = 5. Let i be x(-2)/(6/u). Solve -3*j + i = -12 for j.

5

Let a(s) = 2*s - 5. Let b be a(5). Solve 12 + 3 = b*u for u.

3

Let q(y) = -y3 + 5*y2 + y - 3. Let p be q(5). Suppose -4*u = -3*u - p. Suppose -u*r - 7 = -3*r. Solve 3*s = r*s + 16 for s.

-4

Let u(h) = h3 - 2*h2 + h. Let r be u(2). Let b be 0*((-5)/(-2) - 3). Suppose p - 1 - 7 = b. Solve -r*g + p = -0 for g.

4

Suppose -3*p + 2*u = -36, 12 = p - 0*p - 2*u. Solve 0 = -0*y - 4*y + p for y.

3

Let q = -5 - -14. Solve -5*i - q = 6 for i.

-3

Suppose -2*q - 6 = 0, q = 5*n + 3*q - 39. Let g(a) = -a + 9. Let r be g(n). Solve -2 = m - r*m for m.

-2

Let c = 25 + -6. Suppose -4*r + 3*o = -2*o + 16, -3*r - 4o = -c. Let y be -1(-3 + r - 0). Solve -y*j = -j for j.

0

Let q® = r3 - 6*r2 - 7*r + 5. Let l = 19 + -12. Let o be q(l). Suppose 2*g - 29 = -3*u, -5*g = -g - 16. Solve 8 + u = -o*j for j.

-3

Let w = 13 - 8. Let f be (0 - -2)/(¹⁄₂). Let y be (-2)/(-7) + ¹⁰⁄₁₄. Solve -y - f = -w*l for l.

1