Let t(i) = -i - 2. Let y be t(-6). Solve -19 - 1 = y*x for x.

-5

Let n be (-1 - -3)/(3857). Let k(l) = -3*l3 - 5*l2 + 3. Let o(v) = v**3 - v. Let d(f) = -k(f) - 2*o(f). Let r be d(-4). Solve -2*z = n*z + r for z.

-1

Let t© = -c3 + c2 + 7. Let j be t(0). Suppose 3d - j - 2 = 0. Let f be 3(d - 1)/2. Solve 4 = -f*u + 1 for u.

-1

Suppose -s + 11 = 6. Let v(q) = q**2 + 1. Let u(j) = -3*j - 7. Let x(y) = u(y) + v(y). Let i be x(7). Solve s*t - i = 3 for t.

5

Suppose a - 11 = -3*v, -5*v - 5*a + 3 = -2. Suppose t - v*t = -12. Suppose 2*i - 1 = t. Solve 0 = i*u - 1 + 5 for u.

-2

Let w = 37 - 37. Solve w = -4*m + 8 for m.

2

Let j be -10 + 183 - -4. Solve j = 3*t - 4 - 11 for t.

5

Let t = -2 - -7. Suppose -1 - 8 = -3*j. Suppose -j*i + 14 = t*s, 0 = -0*s + 3*s - 5*i - 22. Solve -1 + 13 = -s*a for a.

-3

Suppose -j + 5*i + 22 = -2*j, -2*i - 22 = -4*j. Solve -j*p + 2*p + 3 = 0 for p.

3

Let q = 85 + -77. Solve 16 = -2*y + q for y.

-4