Let q = 17 + -12. Let x(v) be the third derivative of v**4/24 - v**3/2 - v**2. Let i be x(4). Solve -i = 4*k - q for k.

Let d be 2 - ³⁄₆*-4. Let k be ((-1)/(-3))/(³⁄₄₅). Let p = k - d. Solve -t + 4 + p = 0 for t.

5

Let w(z) = z**2 + 3*z - 6 - z - 6*z. Let s be w(6). Suppose -k = -s*k. Solve -c + k = 3 for c.

-3

Suppose 3 = 5*s - 7. Solve 3 = -s*q + 5 for q.

1

Suppose 0*h = h - 1. Let j be h/(-1) + (1 - -4). Let x be j/20 + 2/(-10). Solve -5*l = -x - 15 for l.

3

Let k = 47 + -46. Let i = 0 + 16. Solve -k = 3*r - i for r.

5

Let y(b) = -b3 + 9*b2 + 37*b - 8. Let o be y(12). Solve 3*g - 1 = o*g for g.

-1

Let a be (-1 - (-13)/3)*3. Let s be 4/a - 116/(-10). Let x be ⁶⁄₂ + 12 + -7. Solve 0 = -5*y - s - x for y.

-4

Let n = 41 + -33. Solve 3*f + 4 + n = 0 for f.

-4

Let i = -5 - -12. Let p = i + -4. Solve 0 = p*x - 1 + 4 for x.

-1

Suppose 0 = n + 11 - 15. Solve -n = m - 1 for m.

-3