Let v(k) be the third derivative of 0 + 120*k5 - 23*k3 + 112*k4 - 4*k2 + 0*k - 1120*k**6. Let f be v(3). Solve -f = -t - 3 for t.

-1

Suppose -3*v + 15 = 2*v. Solve -5*t - 8 = -v*t for t.

-4

Let w = 14 - 11. Suppose 0 = l + c - 5, -w*c + 8*c = 0. Solve -16 - 9 = l*x for x.

-5

Suppose 11*b = 8*b. Let m(f) = f**2 + f + 4. Let a be m(0). Solve a*c + 4 + 8 = b for c.

-3

Suppose 4 = 3*k + 1. Let t = k + -1. Suppose t*g = -4*g. Solve g*o + 3 = -o for o.

-3

Let s(i) = -i**2 - 12*i - 31. Let n be s(-7). Solve n*y - 7*y + 9 = 0 for y.

3

Let o® = r + 5*r - 7r + 4. Let c be o(5). Let f be c/2-2 - 1. Solve f = v - 3*v + 4 for v.

2

Suppose 1 = -5*z - 19. Let f be 215/(-20) - (-1)/z. Let s = -7 - f. Solve 0 = 5*x + 6 + s for x.

-2

Let q = -36 - -41. Solve -6 + 1 = q*d for d.

-1

Let o be (-2)/(-5) - (-39)/15. Let z(x) = 2 + 4 - 11 + 2*x. Let i be z(4). Solve -i*d - 12 = o for d.

-5