Let z(s) = s**2 - 2*s + 2. Let j be z(2). Let m(k) = -k**3 - 6*k**2 + 8*k + 10. Let d be m(-7). Let n be (d + (-10)/4)*4. Solve n*o = j + 2 for o.

Suppose -2*k = 4*s - 2*s, -s + 4*k + 20 = 0. Suppose -c = -v - 0 + 7, s*v - 3 = -c. Solve 0 = -v*y - 3 + 7 for y.

2

Let n(d) = 7*d - 42. Let k be n(6). Solve k*j - j = -4 for j.

4

Suppose 4*y + 48 - 128 = 0. Let s be (y/(-25))/((-1)/5). Suppose 1 = -7*q + 15. Solve s + q = 2*r for r.

3

Let r(d) = d**2 + 12*d + 24. Let t be r(-10). Solve 22 = -t*z + 6 for z.

-4

Suppose 2*q = 3 + 7, -22 = -p - 4*q. Suppose -5*u + 16 = -2*c, p*u - 2 + 0 = 3c. Let o be 0((-1)/c)/(-1). Solve 2*z + z = o for z.

0

Suppose -6*x = 5*x - 11. Solve -3*v = -2*v - x for v.

1

Let n = 5 - 0. Let y = 4 - 2. Solve 4*j + y = n*j for j.

2

Suppose -m - 5*i + 4*i = 0, 3*i + 24 = 5*m. Solve -b + m = -0 for b.

3

Let x = -16 - -16. Suppose x = -3*g + g - a, 0 = 3*g + 5*a. Solve -i - 2*i = g for i.

0

Let r(b) be the second derivative of b³⁄₆ + 3*b²⁄₂ + b. Let k be r(0). Solve -17 + 2 = k*n for n.

-5