Suppose -23 - 31 = -2*q. Let r = q + -15. Solve o + 3*o - r = 0 for o.
3
Let d(j) = -j3 - 2*j2 + 5*j. Let q be d(-4). Suppose -o = -b - q - 3, 5*o - 55 = b. Solve 0*t - o = -5*t for t.
2
Suppose 0 = -6*v + 2*v + 60. Suppose l + 4*l - v = 0. Solve d - l = -0*d for d.
3
Suppose -2*o + 5*c = -25, -3*c + 4 - 33 = -4*o. Solve 0 = 3*n - o - 7 for n.
4
Suppose 8*t = 10*t - 30. Suppose -3 = -2*v + 7. Solve -v*l = t - 5 for l.
-2
Let x(s) = -3*s - 9. Let c be x(-6). Suppose -3*b = -4*j + c, 2*j - 5*b = -0*j + 1. Solve j*g = -6 - 6 for g.
-4
Suppose 30 = 2*q + q. Let j = q + -7. Solve -2*x = -5*x + j for x.
1
Suppose 2*g - g = 0. Solve -3*x + g*x = 6 for x.
-2
Suppose -5*q = -11 - 4. Suppose 2*t + 2*t + 72 = 4*v, 4*v - 5*t - 75 = 0. Solve -q*s = 2*s + v for s.
-3
Let x be (-50)/(-2 + (-1 - (-2 - -1))). Solve -2*t = 3*t - x for t.
5