Let l(b) = b + 3. Let f be l(4). Let t be (-2)/6 - (-160)/30. Suppose t*c - 17 = -4*o, -5*o + 5*c - 3 + 13 = 0. Solve i + f - o = 0 for i.

-4

Let x(l) = -l3 - l2 + 2*l + 3. Let m be x(-2). Suppose 5*k = m*k. Solve k*o = -4*o + 12 for o.

3

Let i(b) = 4*b**3 + b - 1. Let v be i(1). Let h be v/6 - (-21)/9. Suppose h*d = -d + 8. Solve q - d + 1 = 0 for q.

1

Let o = 3 + 3. Solve -4*j - o = 10 for j.

-4

Let u = -1 - -2. Let r be -3 + (u - 0) + -2. Let s be 5/r*16/(-1). Solve 0 = -3*c - 2*c - s for c.

-4

Suppose 12 = 6*f - 3*f. Suppose w - f*w = 0. Solve -5*s + 31 - 6 = w for s.

5

Suppose 3*d - 9 = 2*d - 4*s, 0 = -5*d + 4*s + 45. Let q = -21 - -17. Let y = q + d. Solve -n + y*n = 12 for n.

3

Let u(s) = 5*s**2 - 2*s + 2. Let o be u(1). Solve q + o = -0 for q.

-5

Let z = 0 - -4. Suppose 0 = z*w - 5*k - 11 - 10, -2*k = 4*w - 14. Solve v - w = -3*v for v.

1

Suppose -3*o + 4*n = -n - 26, o + 3*n - 4 = 0. Suppose 0 = 4*u - 61 + 13. Solve -o*d = -3*d - u for d.

3