Suppose x = -3*x. Suppose 12 = -m - 4*s, 5*m - m - s - 3 = x. Suppose m = -5*b + v + 20, 0 = 3*b + 4*v - 3*v - 4. Solve 6 = b*p - p for p.

Suppose a + 0*a = 0. Let l = 3 - a. Solve 4*v - l = 5 for v.

2

Suppose -4*b + 0*k - 3*k + 15 = 0, -5*k + 25 = 0. Suppose -4*p + u = 15, 2*p + 3*u - 7*u - 10 = b. Let v be ((-6)/p)/(⁴⁄₄₀). Solve -5*o + o = v for o.

-3

Suppose -4*m + 7 = -3*x + 1, m + x = 5. Suppose u + 9 = -3*z, -2*z = -7*u + 2*u + 23. Suppose -7*o - 2*g = -6*o + 6, -g + 2 = u*o. Solve 5 = o*b + m*b for b.

1

Let g = 85 + -83. Solve 0 = g*k - 1 - 1 for k.

1

Let d = 6 + -3. Suppose -g + d = 2. Solve -f + 2 = -g for f.

3

Suppose -2*v - 2*v = -2*b - 2, 4*v + 13 = 5*b. Solve 0 = -m + 3 - b for m.

-2

Let l be ⁸⁄₄₈ - (-70)/12. Solve -20 = -2*r + l*r for r.

-5

Let q(y) = -9*y - 25. Let t be q(-3). Solve -4 = -6*k + t*k for k.

1

Let v = 2 + -2. Suppose -3*x - x = v. Solve -3*g + 6*g - 6 = x for g.

2

Let d = -2 - 1. Let s(n) = -n3 - 3*n2 - 4*n - 1. Let r be s(d). Solve w - r = -6 for w.

5