Let q(h) = 6*h**3 + 2*h**2 - h. Let n be q(1). Let m = -8 - -13. Let v = n - m. Solve -a - v*a = 0 for a.

Suppose 5*b - b - 8 = 0. Solve b*a + 3 + 3 = 0 for a.

-3

Suppose 3*o + 7 = 4*s - 7, 5*s = -4*o + 33. Solve 9 = -s*l + 29 for l.

4

Let q be (5 - 4)/(²⁄₂₄). Let n = q + 3. Solve -s = -6*s - n for s.

-3

Suppose 0 = s - 13 - 1. Suppose -5*r + s = -1. Solve r*g + 2 = -4 for g.

-2

Suppose -2*s = -0*s + 8, -4*b + 156 = 5*s. Suppose b + 31 = 5*v. Solve 3*w - v = -0*w for w.

5

Suppose 0 = -28*u + 32*u - 8. Suppose 0 = -3*r - u*r + 10. Solve -a + 0*a = -r for a.

2

Suppose 0 = -4*g + g + 9, 18 = 5*o + g. Let z(v) be the first derivative of -2*v**2 - v - 1. Let f be z(-4). Solve 0 = 4*m + o - f for m.

3

Let h be (-2 + 1)/((-2)/22). Let b = -1 + h. Solve 5*z + b = 3*z for z.

-5

Suppose 0 = -2*v - 4*v + 6. Solve 2*y + 3 = -v for y.

-2

Suppose -2*g + 4*g + 5*q = -9, -3*g + 12 = -q. Solve -4*c + 13 = -g for c.

4