Suppose -15 = -3*f - 0. Suppose 5*p = -f*j, -j - 15 = -2*p + 2*j. Suppose -2*t + 13 = -3. Solve 5*o = p*o - t for o.

Let r be -2*(²¹⁄₂)/(-3). Let q(a) = 2*a3 + 2*a2 - a. Let h be q(-2). Let k = h + r. Solve 0 = 2*f - 3 - k for f.

2

Suppose 3*g = -0*g. Suppose g = -2*l - l + 12. Suppose 0*b = l*b. Solve -x = -b*x - 5 for x.

5

Let p(k) = 3*k3 + k2 - 4. Let c(q) = -1. Let n(z) = -4*c(z) + p(z). Let v = 3 + -2. Let g be n(v). Solve 1 = -g*f + 5 for f.

1

Let t be ((-6)/(-15))/(²⁄₂₀). Solve -10 = -t*f - f for f.

2

Let j = -31 - -34. Solve -j = -2*s - 5 for s.

-1

Let q = -9 - -13. Suppose 0 = -o - q*c - 5, o + 2*o = -3*c + 3. Solve 0*d - o = d for d.

-3

Let s be ²⁄₃ - (-276)/(-9). Let x be (54/(-15))/(9/s). Suppose -2 = 5*g - x. Solve 0 = j + g*j - 15 for j.

5

Let w = -2 - -5. Let j(i) = i - 1. Let o be j(w). Suppose 10 = q + o. Solve 0 = 3*f + q - 23 for f.

5

Let o = -54 - -57. Solve -2*a + o = 9 for a.

-3

Let u = -10 + 1. Let k = -7 - u. Solve k*w - w = 0 for w.

0