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 2⁄5*(-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