Let g be 17/(8⁄2 + -3). Let w = -12 + g. Solve 0 = -5*l + w - 0 for l.

1

Let r(d) = -d3 + 10*d2 + 3*d - 10. Let n be r(10). Suppose 5*c - n = 3*g, 4*g = -4*c + 2*c - 18. Solve -2*l + 3*l = c for l.

1

Suppose -45 = -13*h + 7. Solve -1 = h*t + 3 for t.

-1

Suppose 0 = 6*v - 5 - 7. Solve 2*r = 8 + v for r.

5

Suppose -4*f = -11 - 21. Suppose 0*x = -2*x + f. Solve x = -5*i - 6 for i.

-2

Let c = 29 + -18. Let n = c - 11. Solve w - 5 = -n*w for w.

5

Let i(b) = -b**3 + 2*b - 1. Let q be i(-2). Let o = -15 - -19. Solve -q*j = -11 - o for j.

5

Let i(t) = t3 + 3*t2 + 3*t + 2. Suppose 0*k - k - 17 = -3*b, -5*b + 17 = 4*k. Suppose 4 = -b*y - 6. Let h be i(y). Solve h = -q + 2 + 3 for q.

5

Let c = 49 + -33. Suppose 3*u - c = -u. Suppose 5*a - u = 16. Solve -a*v + 9 = -v for v.

3

Let l(q) = -2*q - 6. Let o be l(-5). Let d be (6 - (-2)/(-2)) + (84 - 87). Solve 0 = o*z - d*z + 6 for z.

-3