Let z(x) be the second derivative of 2*x33 + x22 + 2*x. Let t(d) = -d - 2. Let p be t(-3). Let j be z(p). Solve -j*l - 2 = 3 for l.

-1

Suppose 0 = 7*z - 8*z - 13. Let d = -8 - z. Solve -7*g + d = -2*g for g.

1

Suppose -4*d + 0*d = -5*d. Let m = 14 + -10. Solve d = v + v - m for v.

2

Let q(f) = 10*f + 24. Let p be q(-2). Solve -p*c - 12 = -0*c for c.

-3

Let g = -4 - -4. Suppose -24 = -g*m - 3*m. Let j be (1 - 12)*m. Solve j*h - 3*h = 5 for h.

5

Suppose -4*q = -3*i + i - 24, -i + 44 = 5*q. Solve -4 = 4*g - q for g.

1

Suppose -2 = -3*x + q - 3, 0 = 3*x + 3*q - 3. Solve -3*c = 3 - x for c.

-1

Let w(s) = -s**2 - 11*s - 4. Let b be w(-8). Suppose 3*p + 3*i - 20 = -p, 5*i - b = -4*p. Solve p*l = -0*l + 15 for l.

3

Suppose -6*s + s = -10. Suppose 3*n - 5*k + 16 = 0, -3 = 4*n - 2*k + 9. Let c be (-11 - 4)*n/6. Solve s = f + c for f.

-3

Let t be 1/(-4) + (-1)/(-4). Suppose 4*u = -9*p + 4*p + 23, 3*p - 5*u + 1 = 0. Suppose -3*d - 21 = -p*f, -d + 6*d + 25 = 0. Solve -f*l + l - 3 = t for l.

-3