Let z(y) = 2*y**3 - 2*y**2 - y - 2. Let v be z(2). Let k = 8 - v. Solve k*m + 5 = -m for m.

Let q = 1 + -1. Suppose 17 = 3*d + 11. Solve -d*c + 0*c + 6 = q for c.

3

Suppose t + 3*r + 9 - 1 = 0, -4 = r. Solve t*o - 2*o + 10 = 0 for o.

-5

Let i be (-15 + 8)*(0 - 1). Solve -10 = -i*q + 2*q for q.

2

Let p(f) = 27*f2 + 2*f + 1. Let n be p(-1). Let v(k) = -k. Let g(u) = u2 - 2*u - 4. Let d(m) = g(m) - 4*v(m). Let j be d(-4). Solve -6 + n = -j*x for x.

-5

Let d(u) = -u3 - u2 + 11*u - 2. Let n be d(-4). Solve -3*q = n*q - 10 for q.

2

Let q(p) = -p3 - 16*p2 - 17*p - 30. Let k be q(-15). Solve k + 6 = 2*g for g.

3

Let y(u) = -u + 4. Let o be y(0). Suppose -n = 5*z + 14, -4*z = o*n + z + 11. Solve 4*c + n = 13 for c.

3

Suppose g = 4*w - 0*w - 1, -3*w = -g. Suppose -2 = g*z - 4*z. Solve 3*c = -z*c - 15 for c.

-3

Let z be (-5)/((-20)/12) - -1. Solve -2 = -h - z for h.

-2

Let i(a) = -a2 + 6*a - 2. Let r be i(5). Let c(s) = 5 + 2*s2 + 2 + 6*s - r*s**2. Let z be c(7). Solve 0 = x - z*x - 4 for x.

4