Let a(b) = -b**2 + b. Let u be a(1). Suppose 0 = 2*n - u*n - 14. Solve 0 = -j - 3 + n for j.

Suppose 15 + 0 = 5*n. Suppose -2*p = -8, -j - 2*p = n*j - 8. Solve j*q = -3*q - 9 for q.

-3

Let r = -68 - -88. Solve 0 = -4*m - m + r for m.

4

Let k(t) = t3 - 7*t2 + 8*t - 6. Let r be k(6). Let m be (-8 + 0)*⁵⁄₁₀. Let n = m + r. Solve 15 = n*q + q for q.

5

Let m = 12 + -8. Solve -k = m*k - 25 for k.

5

Let f = 25 + -22. Solve h + 12 = -f*h for h.

-3

Suppose -3*u + 4*u = -4*a, 0 = a - 2*u. Solve a = -2*d + 5*d for d.

0

Let o = -69 - -138. Suppose -63 = -4*l + o. Solve -5*x - l = -8 for x.

-5

Suppose 0 = 3*q - 0*q - 6. Suppose -p + 9 = q*p. Let v(z) = -4*z + 3. Let y be v(-3). Solve 0*a = -p*a - y for a.

-5

Let d = -129 + 132. Solve -9 = -3*v + d for v.

4

Suppose -6 = -9*r + 48. Suppose w = 2*w + 1. Let s = w + r. Solve -x - 4*x + s = 0 for x.

1