Let r(s) be the third derivative of -s**6/120 + s**5/20 + 5*s**4/24 + s**3/6 - 3*s**2. Let x be r(4). Solve 2*z - 3 = x*z for z.

Suppose -n = -4 - 0. Solve j - 5 + n = 0 for j.

1

Let k = -30 - -36. Suppose -2*x - 3*x + 25 = 0. Solve -x*a - k = 9 for a.

-3

Suppose 7*i - 11*i = -8. Suppose -a = 3*x + 2, -x - i*a - 8 = 2*a. Solve -t - t + 8 = x for t.

4

Suppose -t - 4 = 5*d, 0*t = 3*t + 12. Suppose -m + 2 = 15. Let b = m + 23. Solve -2*n + b = -d*n for n.

5

Let i be ((-2)/(-4))/(⁴⁄₂₄). Let q = -7 + 20. Solve q - 1 = -i*x for x.

-4

Let s = -15 - -27. Suppose 0*p = -4*p + s. Solve -j + p + 1 = 0 for j.

4

Let d be (-1)/(¹⁷⁄₆ - (-6)/(-2)). Suppose 2*p + 18 = 4*p + 2*y, -3*y = 4*p - 41. Solve d - p = 2*m for m.

-4

Suppose -2*i + 6 = -2. Suppose -i*m + 3 = -3*m. Solve 2*j + m = -5 for j.

-4

Let m = -51 - -71. Let r be 1*m/8*4. Solve s = -s + r for s.

5

Let k = 113 + -97. Solve -4*h - k = -0 for h.

-4