Suppose k + 3*v - 37 = 0, -k = 5*v - v - 40. Let p be 8/k - (-24)/14. Suppose -4*a = 3*o + 12, 11 - 3 = -p*o. Solve 3*d - 4 - 2 = a for d.

2

Let m(x) be the first derivative of x**2⁄2 - 2. Let u be (-23)/(-7) + 2/(-7). Let o be m(u). Solve 0 = -0*d - 3*d + o for d.

1

Suppose 0 = 3*q - 7*q + 36. Suppose 0*w + 3*w - q = 0. Suppose 3*m + 4*u = 6*m - 24, -w*m = 5*u - 51. Solve 0*t - 4*t = -m for t.

3

Let i = 12 - 7. Let b = i - 5. Solve -d + 1 = -b for d.

1

Suppose -12*v = -9*v - 12. Solve -v*f + 3 = -1 for f.

1

Suppose -2*c = -6*c + 24. Suppose -y - c = -4*y. Suppose -y*k = -7*k. Solve 2*v + v - 3 = k for v.

1

Let y = 9 + -6. Solve 2*u + y*u = -5 for u.

-1

Let w = -2 + 2. Suppose w = d - 2. Suppose 0 = 4*u - 4*j + 1 + 3, -d*j = 2*u - 18. Solve -n = -u*n + 6 for n.

2

Let m(y) = -y + 15. Let a be m(12). Solve -n = 2 + a for n.

-5

Suppose -3*a = -0 + 3, 5*n - 3*a - 18 = 0. Solve q - 10 = n*q for q.

-5