Let w = 2 + -1. Let n(v) = -v**3 - 5*v**2 + 6*v + 5. Let o be n(-6). Suppose 0 = 2*z - o + 1. Solve -f = -z*f - w for f.

Let c be ²⁰⁄₂*¹²⁄₃₀. Suppose -2*h + 2 + 2 = 0. Suppose b + 1 - h = s, 2*s + 5 = 3*b. Solve c = -s*l - 0 for l.

-2

Suppose 5*w - 8 = 7. Suppose -4*c = -21 - w. Solve 3*n - c*n + 15 = 0 for n.

5

Let p = 5 + -3. Let i(s) = s**2 + 3*s + 3. Let l be i(-3). Suppose -5*j - l + 23 = 0. Solve 4*b - p*b = -j for b.

-2

Let p(s) = s - 4. Let w be p(4). Suppose -t - c = -6, -4*t - 2*c = -12 - 4. Solve q - t*q = w for q.

0

Suppose -4*p + 4 = 4*d - 4, 3*d = 2*p + 6. Suppose d*r + 10 = -b + 2*b, 4*b - 3*r - 15 = 0. Solve -u + b - 2 = 0 for u.

-2

Suppose 2*z = -0*z. Solve z - 1 = -l for l.

1

Suppose 0 = -5*s + 6*s. Solve 0 = -j - 2 - s for j.

-2

Let t = 16 + -16. Solve 0 = -2*q - t*q - 10 for q.

-5

Let i = 6 - 1. Solve 2*a - i - 3 = 0 for a.

4

Let c = 5 + -2. Solve -2*t - 25 = c*t for t.

-5