Let a(k) = k**3 - 9*k**2 - 10*k + 5. Let s be (80/(-28))/((-4)/14). Let i be a(s). Solve i*l - l = -4 for l.

Let n be ⁵⁸⁄₇ + (-6)/21. Let c be (-2)/n*(0 + -12). Solve c*x = 5*x for x.

0

Suppose -6 - 2 = -4*l - 2*x, 4*x = 2*l - 14. Suppose -w - 6 = -l*w. Suppose 7 = -y + w*n, -2*y + 30 = 4*n + n. Solve -2*d = -y*d for d.

0

Let x be 1 + (-2)/4*-2. Solve 0 = x*o + 4 - 2 for o.

-1

Let b = -7 - -12. Suppose 0 = -2*f - 2*a + 20, -b*f + 10 = -4*a - a. Suppose 0 = -0*j - 3*j + 45. Solve q + j = f*q for q.

3

Suppose 0*f - 2*f + 4 = 0, 3*f = o - 9. Suppose 12*a - 18 = 6. Solve -o = -a*t - t for t.

5

Suppose -19 = -3*i - 2*s, 4*i + s - 27 = -0*s. Solve -2*h = 1 + i for h.

-4

Let i be 308/(-16) - (-1)/4. Let p = 6 - i. Solve -6*f + f - p = 0 for f.

-5

Suppose -3*w - 21 = -0*w - 3*h, 0 = 4*w + 4*h + 20. Let n(l) = -8 + 2*l + l3 - 5*l + 6*l2 + l. Let d be n(w). Solve 10 + 2 = d*a for a.

3

Suppose 4*d = 5*d - 2. Suppose -3 - 1 = -d*a. Suppose 4*n = a*n + 10. Solve 2 = -s + n for s.

3

Let o(f) = f**2 - f + 5. Let g be o(0). Suppose -2*m - 5*k + 27 = 8, k = m + 8. Let h = m + g. Solve h*t - 4*t = 6 for t.

-3