Let q(u) be the first derivative of u**2/2 - 4*u - 2. Let f be q(8). Let o(r) = -r**2 + 5*r + 6. Let n be o(6). Solve f*s + 3 + 17 = n for s.

Let w(j) = 2*j**2 + 2. Let y be w(-5). Let i = y - 37. Solve -i = -0*q + 3*q for q.

-5

Let n = 11 - 7. Let m = -4 + n. Suppose 0 = -m*i - 2*i. Solve i*g = 5*g for g.

0

Suppose 15*u + 15 = 16*u. Solve 0 = 4*x - x - u for x.

5

Let n be (1*2 - ¹⁴⁄₇)/1. Solve n = -2*s + 3 + 3 for s.

3

Let t be 0*-3*³⁄₁₈*1. Solve t = -0*h + h for h.

0

Let v(u) = 12*u - 2. Let j be v(1). Suppose 0 = -s + j + 2. Solve s = 2*a - 5*a for a.

-4

Let d = -9 - -12. Let p(v) = -v + 12. Let u be p(6). Suppose u = d*g - 12. Solve -k = k - g for k.

3

Let g = 80 - 80. Let j be (-13)/(-5) - 2/(-5). Suppose 0 = -5*f - 25, 4*c - 4*f - 13 = -j*f. Solve g*q + 8 = c*q for q.

4

Let l = 0 - 0. Suppose -2*n + 4*n - 6 = l. Solve 0 = -f + n*f for f.

0

Let f = 14 + -10. Suppose -7 = -f*n + 1. Solve -s + n = 1 for s.

1