Suppose 0 = 3*k + 4*i - 11, 0*k + 4*k - 4*i + 4 = 0. Suppose 0*v + v - 13 = 4*z, 12 = -3*z. Let x be (k/(-3))/(v/36). Solve 0 = -x*y + 14 - 6 for y.

2

Let c(i) = -i**2 - 7*i + 2. Let w be c(-7). Suppose p - 4*d = -3*p - 20, 2*p + w*d - 10 = 0. Suppose -3*o = -p*o. Solve o*a = 2*a for a.

0

Let h(l) = l3 + 6*l2 - l - 3. Let q be h(-6). Let a = -14 + 14. Solve a = -q*k - k - 12 for k.

-3

Let b(y) = 4*y**2 + y - 1. Let o be b(1). Suppose 12 = -4*t - o*d, -4*d - 7 = 5*t + 3. Let g be (t + -2)/(-1 + 3). Solve -8 + g = -4*c for c.

2

Let r(b) = b**2 - 8*b - 6. Let f be r(9). Suppose 3*n - 5*n = 0. Solve 0 = -i - f - n for i.

-3

Let x = -8 - -13. Suppose -x*s - 1 = -11. Solve t + s*t - 12 = 0 for t.

4

Let r(h) = -7*h3 - h2. Let w be r(-1). Solve 0 = w*j - j + 5 for j.

-1

Suppose 3*r + 20 = 4*r. Let w(g) = -g3 - 6*g2 - 6*g + 1. Let z be w(-5). Solve 0 = k - z*k + r for k.

4

Suppose 2*v = m + 3*m - 22, 3*m = 4*v + 19. Let i = 5 + v. Let k(h) = -h + 6. Let y be k(4). Solve -i*u = -y*u for u.

0

Suppose 2*u + 3 + 17 = 4*i, -5*u + i = 5. Solve 3*h + 7 + 2 = u for h.

-3