Let i(b) = -62*b**2 + 2*b + 3. Let n be i(-2). Let l be n/(-21) - 1/(-7). Solve -o = -4*o - l for o.

-4

Let d = 10 + -1. Suppose 0 = 5*g, 0 = -y + 2*y + 5*g - d. Solve 0 = 2*h - 3 + y for h.

-3

Suppose 0 = -d - d. Let v = d - -2. Solve -v*o - 9 = -1 for o.

-4

Let w(v) = -v3 + 8*v2 - 8*v + 10. Suppose 4*k + 4 = 32. Let g be w(k). Solve 6*q = 5*q + g for q.

3

Let l(i) = i. Suppose -5*b - 10 = -3*y, 0 = -4*y + 3*y - b - 2. Suppose 5*s - 2 - 23 = y. Let r be l(s). Solve 0 = u - r*u for u.

0

Suppose 3*b = -5*b. Solve b*p = -2*p for p.

0

Suppose -2*x - 1 = -3*x. Let n(k) = k**2. Let q be n(-1). Suppose x = y - q. Solve 0 = -y*o + 3*o - 4 for o.

4

Let a = -6 - -10. Suppose 0 = -2*l + a*l. Suppose -4 = -2*v - l. Solve -3*d = v*d - 15 for d.

3

Let l = 0 - 0. Let u(i) = -i**2 - 5*i + 4. Let f be u(-5). Let v = 7 - f. Solve l = 6*t - v*t + 6 for t.

-2

Let r = 13 + -6. Let l(d) = 2*d + 24. Let v be l(-11). Solve g - r = -v for g.

5