Let s(k) = 2*k + 7. Let b be s(-7). Let p(i) = i**3 + 9*i**2 + 10*i + 5. Let x be p(b). Suppose 5*y + 2*l = -0*l, -5*l - x = -4*y. Solve -w = -y*w for w.

Let r(a) = 2*a + 1. Let q be r(1). Let w = -6 + 4. Let m be (-2)/w*1*3. Solve -q = m*j - 12 for j.

3

Let g be 21*(-5)/(-15) - 4. Solve 7*i = g*i for i.

0

Let n = 28 - 21. Let v be (1 - 0)*⁴⁄₁. Suppose -8 = 2*c - v*c. Solve c*d - 5 = n for d.

3

Suppose -d - 8 = -3*d. Suppose -3*f + 4*n + 23 = 0, -3*n + d*n - 3 = -f. Solve 0 = f*w - 0*w + 20 for w.

-4

Let x be ⁶⁄₁₀ + (-14)/(-10). Suppose x*f - 2 = j, -5*j - 3*f - f = -32. Suppose 11 = j*l + 3. Solve -11 = l*t - 1 for t.

-5

Suppose 0 = 3*g + 2*w, -4*g - w = -g. Suppose g = 3*f - 7*f - 3*b + 25, 0 = 3*f + 5*b - 27. Solve 4*k + 0*k - f = 0 for k.

1

Let r be (80/(-6))/(-5)*39. Let w be r/18 + ⁴⁄₁₈. Suppose -1 = -3*b + 2*z, 4*b - 5*z - 1 = -9. Solve b*i = w + 3 for i.

3

Let h = 11 + -7. Suppose 0 = 2*b - 7*b, 0 = 3*u + 2*b - 24. Suppose u*c - h*c = 40. Solve 0 = -4*p - p + c for p.

2

Let b = -11 + 14. Let w be -2 - (-10 - (1 + b)). Solve 4*i - i - w = 0 for i.

4

Let v(y) = -y + 30. Let p be v(26). Solve 0 + 4 = -p*c for c.

-1