Let q(n) be the first derivative of n**2⁄2 + 1. Suppose -3*l = -5*l - l. Let t be q(l). Solve -2*j = 2 - t for j.

-1

Suppose -2*h + l + 3 = 0, -2*l - 18 = 3*h + l. Let y = 4 - h. Suppose 31 = 3*p + y*t, 0*t + 4*t - 22 = -p. Solve 0 = p*r - 3 - 5 for r.

4

Let w(g) = g3 + 3*g2. Suppose -2*y + 5*m - 11 = 0, 3*m + 0*m = -y. Let h be w(y). Suppose 4*j = -h*j + 20. Solve 0*k = -j*k + 10 for k.

2

Let h(g) = 2*g2 + 17*g + 10. Let m(d) = -3*d2 - 26*d - 15. Let b(q) = 8*h(q) + 5*m(q). Let v be b(-5). Suppose 5*w - 5 - 5 = 0. Solve v*r - w*r = -8 for r.

4

Let w = -71 - -51. Let z = -12 - w. Let d = 28 - 8. Solve z*t - d = 3*t for t.

4

Let o(z) = -z**2 - 18*z - 32. Let l be o(-15). Solve 4*i = l - 1 for i.

3

Let n = 60 - 57. Solve -n*w = -2*w - 2 for w.

2

Suppose -2*h - 13 = -2*k + k, 3*h + 17 = k. Let l(q) = -4*q + 4. Let s be l(h). Solve 0 = -5*w + w + s for w.

5

Let o = -3 - -7. Let d be (-38)/(-8) - (-1)/o. Solve -d*t - 21 = -1 for t.

-4

Let o = 46 + -14. Suppose o = -3*t - 34. Let l be t/(-6) + 4/(-6). Solve -3*j = -2*j - l for j.

3