Let c(b) = b*3 - b - 6. Let a be c(0). Let s be ((-6)/(-2))/a-42. Solve -5*d - s = 4 for d.

-5

Let n = -1 + 12. Suppose 0 = 5*d - 71 + n. Solve 2*c + 2*c + d = 0 for c.

-3

Let x = -130 - -135. Solve -2*o - x = -7 for o.

1

Suppose -47*f + 16 = -43*f. Solve 0 = -s + f - 2 for s.

2

Let v = -5 - -8. Let q = -2 + v. Let i be 25*(-4 + 9). Solve -q = i*y - 9 for y.

4

Suppose 0 = 4*w - w + 54. Let p be (-6)/w - 11/(-3). Solve -6 - p = 2*y for y.

-5

Let r(u) = 2*u - 7. Let z be r(5). Suppose 0 = -3*n - g + 44 + 1, -n = z*g - 23. Suppose 2*x - n = -0*x. Solve 0 = 3*d + x + 2 for d.

-3

Suppose -3*x + 5 = -2*x. Let a = -1 + 1. Suppose -x*g + 4*h + 9 = 0, -3*g + 2 + a = h. Solve d + g = -0 for d.

-1

Let b = 90 + -86. Solve 15 = -b*x + x for x.

-5

Let y(m) = -4*m. Let p be y(-1). Let j(k) = -k3 - 9*k - 5 + 2 - 7*k2 - 3. Let t be j(-6). Solve 0*u - p*u = t for u.

-3