Let h(n) be the second derivative of -n**3/6 - n**2/2 + n. Let u be h(-1). Let p = 17 + -12. Solve -4*m - 11 - p = u for m.

Let u(o) = o**2 + 5*o + 4. Suppose -5*g = -y - 26, 0*y - 4*y + 2*g - 32 = 0. Let i be u(y). Suppose 2*k - i = k. Solve -5*n = k + 15 for n.

-5

Suppose -2*u + 4 = -6. Suppose -u*s + 14 = -1. Suppose 5*y - 10 = 5*x, -2*x + 2*y - 8 = -2*y. Solve -a + x*a = -s for a.

3

Let j(f) = 4*f + 2*f - 5*f. Let x be j(1). Solve 4*o + x - 17 = 0 for o.

4

Suppose -u = u - 9*u. Solve u = 2*b + 3*b + 15 for b.

-3

Suppose 2 = -5s - 3. Let o be (s - -6)(-12)/(-10). Let n = -3 + 7. Solve y - n*y = o for y.

-2

Let z(x) = -x. Let p(m) = -3*m - 11. Let o(l) = p(l) + z(l). Let t(v) = -v. Let a(k) = -o(k) + 5*t(k). Let u be a(6). Solve u - 3 = 2*s for s.

1

Suppose 16 = -4*s + 32. Solve s*g + 14 = 2 for g.

-3

Suppose y - c + 1 + 1 = 0, -4*y - 3*c + 20 = 0. Solve -y*q - q - 3 = 0 for q.

-1

Let b(n) = -n**2 + n - 7. Let f be b(0). Let o = f + 7. Solve -k - 1 = -o for k.

-1

Let d be (¹²⁄₂₀ - 0)/(²⁄₂₀). Solve 0 = 4*l - d - 6 for l.

3