Let k(t) = 2*t3 + t2 - 2*t + 1. Let f be k(1). Suppose 9 = f*b + b. Suppose -5*l = -0*l. Solve l*c - b*c + 12 = 0 for c.

4

Let u(s) = -s**2 - 2*s. Let z be u(-2). Suppose 0 = 3*f - 8*f + 1105. Suppose z = 5*t - f + 61. Solve 0 = 4*m + t - 12 for m.

-5

Suppose 0*h - 24 = -8*h. Solve -5*w + 2*w = h for w.

-1

Let m = 4 + -4. Suppose -v + 4 = v. Suppose v*c = -2*c + 4. Solve s - c + 3 = m for s.

-2

Suppose 2*l = -i - 4*i + 18, -2*l - 3*i + 14 = 0. Solve 0*x - l*x = 4 for x.

-1

Let d(m) = -m3 - 8*m2 + 9*m + 2. Let j be d(-9). Let w(v) = v3 - 6*v2 - 5*v - 7. Suppose 2*y = -y + 21. Let o be w(y). Solve 5*p = -j + o for p.

1

Suppose -2*a + 11 = -21. Suppose 5*t - 6 = -1. Let x = 1 - t. Solve x*y + 4*y = a for y.

4

Let y = -22 + 24. Suppose -2*s = 3*s - 55. Suppose -y*i = -s + 1. Solve 9 = 2*q - i*q for q.

-3

Let s = 2 - -1. Solve s = -y - 0 for y.

-3

Let s = 8 - 6. Suppose -s*n + 39 = n. Solve 3 = 4*m - n for m.

4