Let c = 13 + -8. Let a(h) = -h**3 + 5*h**2 - h + 4. Let o be a(c). Let u = 4 + o. Solve 0 = -z - u*z for z.

Suppose 0 = -2*a - 5*k - 15, 2*a + k + 3 = a. Solve a = -5*x + 2*x for x.

0

Let f(p) = p3 + 7*p2 - p - 7. Let l be f(-7). Suppose -2*n + 7 = -4*d - 17, l = -5*n - d + 16. Suppose -n*w + w = 0. Solve 0 = -3*y - w - 9 for y.

-3

Let h = -6 - -9. Solve -7 = -h*n - 4 for n.

1

Let x = 9 + -5. Let w = -3 - -2. Let o be 0 + w + -1 + 2. Solve o = -n - x*n + 20 for n.

4

Let v = 13 - 8. Let d(h) = -5*h - 1. Let t(j) = -6*j. Let p(y) = v*d(y) - 4*t(y). Let s be p(-7). Solve 2 + s = 4*r for r.

1

Suppose 4*s - 8 = -0*s. Suppose -28 = 4*d - g, 3*g = 3*d + s*d + 42. Let f be 2 - 2*3/d. Solve t - f = -0*t for t.

3

Suppose 3*d + 2*v = 2, 3*d - 8*d = 5*v. Suppose d*k - 5*k + 18 = 0. Solve 0 = -r + k - 3 for r.

3

Let u be 0/7*³⁄₆. Solve 2*v + u - 2 = 0 for v.

1

Let f be 1/(-5) + ⁶⁰⁸⁄₄₀. Let t(g) = -g**2 - 4*g + 7. Let o be t(-5). Solve -5*x + f = -o*x for x.

5

Suppose -5*l + 0*l = -20. Solve 0*m = -l*m for m.

0