Let x(v) = v3 - 7*v2. Let c be x(7). Suppose -i + 5*i = c. Solve i*r - 2*r = 0 for r.

Suppose 0 = 5*k - 4*l - 6, -3*k + 6 = 3*l - 3. Solve k*h = 6*h for h.

0

Let c(b) be the second derivative of 4*b + 0 + 112*b4 - 23*b3 - 2*b**2. Let g be c(5). Solve -g = f - 6 for f.

5

Let m(h) = 3*h3 - h2 + 3*h - 2. Let t(y) = y3 - y2 + y. Suppose -4*j + 2 = 6. Let w(i) = j*m(i) + 2*t(i). Let b be w(0). Solve 7*n + 15 = b*n for n.

-3

Let y = 93 - 84. Solve 0 = -4*o + o + y for o.

3

Let s(m) be the third derivative of -m424 + 3*m32 - 3*m**2. Suppose 5*i = 2 - 12, -4*j - 4*i = -12. Let o be s(j). Solve o*g + 16 = 8*g for g.

4

Let b(f) be the third derivative of -f6240 - f540 - f48 - f2. Let q(p) be the second derivative of b(p). Let l be q(-2). Solve 2*c = l*c for c.

0

Let x© = 2*c**2 - 14*c + 15. Let t be x(6). Solve -t - 3 = -2*v for v.

3

Suppose v + 0*v - 14 = 0. Suppose 2*a + 0*a - v = 0. Let i(k) = -k + 9. Let o be i(a). Solve 5 = -7*b + o*b for b.

-1

Let k(l) = -28*l**2 - l - 1. Let i be k(-1). Let m be i/(-6) - 812. Let f be (-3)/15 + 15. Solve w - m*w = f for w.

0