Let g(a) = 2*a**2 - a - 13. Let v be g(-3). Solve -4 = -4*o + v*o for o.

-1

Suppose -3 = -5*g - 4*v + 7, -g = -2*v - 2. Suppose -2*x - 4*d + 5 = -3*d, 4*x + 20 = 4*d. Solve 0 = -g*a - x - 4 for a.

-2

Let x(k) = k**2 + 3. Let z be x(0). Let r = z - 1. Solve r*f = -0*f + 10 for f.

5

Let b(g) = -g + 3. Let l be b(3). Suppose l = 5*o - 20 - 0. Solve i = -o*i - 20 for i.

-4

Suppose -1 = -4*k + 11. Suppose 0 = -k*f - 5*c + 33, 7*f - 12 = 3*f + 4*c. Let p be 4⁄6 + 14/f. Solve 0*n - p = -n for n.

3

Let v(q) = -8*q3 + 5. Let g(y) = -7*y3 + y**2 + 4. Let d(z) = -7*g(z) + 6*v(z). Let j be d(7). Solve -4*l = -2*l + j for l.

-1

Suppose d + d = 0. Suppose 2 + d = z. Solve -1 = 3*b + z for b.

-1

Let p(j) = 3*j + 46. Let h be p(-15). Solve -2 - h = 3*a for a.

-1

Suppose 0 = -3*r + 5 + 1. Suppose w - r = 2. Solve -w*y = -3*y + 3 for y.

-3

Let z = -27 - -28. Solve 0 = -p - z + 6 for p.

5