Let a(q) = q3 + 6*q2 - 11*q - 13. Let k be a(-7). Solve k = -v - 4*v for v.

-3

Suppose -3*n = 5*h - 26, -10 = -2*n + h + 3*h. Solve r + n = 11 for r.

4

Let w(f) = -6*f3 + f2 + f. Suppose -3*q = 2*k + 14, -k - 4*q + 6*q + 7 = 0. Let d be w(k). Solve -1 = -5*z - d for z.

-1

Suppose 0*p = -4*p. Suppose -2*y = 6*y - 32. Solve -2*c + 4*c + y = p for c.

-2

Let d(w) = -3*w + 5. Let n be d(0). Solve n*v = 4*v for v.

0

Let p(y) = 6 + 4 - 3*y + 4*y. Let o be p(-7). Suppose o*m = -4*f - 0*m + 23, -4*f - 7 = -3*m. Solve -4*v = -f - 6 for v.

2

Suppose 0 = 2*v + 7*v - 2*v. Solve v*i + 2*i = -6 for i.

-3

Let l be (-4)/18 - (-86)/(-18). Let u = l + 7. Solve 0 = -0*x - u*x for x.

0

Suppose -4*x = 4*d + 20, 13 - 3 = d - 2*x. Solve d = h - 5*h for h.

0

Let u be (-1)/4 - (-1)/4. Solve u*r - 5 = r for r.

-5