Let n(d) be the first derivative of d**2/2 - d - 2. Let g be n(7). Solve -4*y + g*y = 0 for y.

Suppose 0*m + m = 5. Suppose -h = d + 2, -m*d = -4*h - 13 - 13. Solve -u + d = -0*u for u.

2

Let i(h) = h3 + 6*h2. Let r be i(-6). Suppose r = -2*s + s. Solve 3*c - 3 = -s*c for c.

1

Let t = -14 + 18. Suppose 0 = -t*c + 5*c + 1, -f + 3*c + 5 = 0. Solve -f*u + 5*u = -12 for u.

-4

Suppose 5 = -4*q + 13. Solve 3*k - 5 = -q*k for k.

1

Suppose 23 + 7 = 5*v. Let z = v + -6. Solve -4*n + 0 + 4 = z for n.

1

Suppose 4*i - 18 = r + r, -i - 2*r = -2. Solve 2*s + i = s for s.

-4

Let r(q) be the first derivative of 5*q**⁴⁄₄ + q - 2. Let j be ²⁄₄ + ¹⁄₂. Let n be r(j). Solve -3*l - 6 = n for l.

-4

Suppose 0 = -s + 3 - 1. Suppose 0 = -3*v + 9 + 18. Solve -s*o = o + v for o.

-3

Let o be 1*(0 - -1) + -4. Let m = -3 + 6. Let k = o + m. Solve k = -0*q + q for q.

0

Let a = 1341 - 1331. Let m(f) = -6*f - 1. Let l be m(-1). Suppose 0 = l*p - p - 8. Solve -3*b - p*b + a = 0 for b.

2