Let w(q) = -5*q3 - 2*q2 - 8*q. Let y(i) = i3 + i2 + i. Let v(n) = -w(n) - 6*y(n). Let c be v(-5). Let m = -11 - -17. Solve -o = -m*o + c for o.
3
Suppose -4*u = 5*v - 16, -10 = 2*v + 5*u - 30. Solve v = -i + 5 - 2 for i.
3
Suppose 32*u + 6 = 35*u. Let r = -12 - -12. Solve n = u - r for n.
2
Let s = 15 + -7. Let i(g) = g**2 - 8*g + 4. Let v be i(s). Solve a - v = -2 for a.
2
Let p = -6 - -7. Let q = 6 - p. Solve -q*n - 15 = 5 for n.
-4
Suppose -t + 1 = -0. Suppose -a + 2 = -t. Let s be a + -4 - (0 + -9). Solve 0 = -3*l + s + 7 for l.
5
Suppose 3*o + 3*g - 6 = 0, o + 2*o + 2*g = 4. Suppose -4*i + 0*i + 8 = 0. Solve -i*q - 2*q + 8 = o for q.
2
Let m = -14 - -15. Suppose n - 4 - m = 0. Solve 5*h + 30 = n for h.
-5
Suppose -2*u - 6 = -2*w, -5*u = -0*u - 3*w + 13. Suppose 1 = -l + 3. Let a = u + l. Solve a = -0*r - r - 2 for r.
-2
Suppose -5 = 5*o + 5*p, -2*p + 6 = 5*o + 2. Solve o = -w - 0*w for w.
-2