Suppose 0 = -8*u + 5*u - 12. Let n = u + 5. Solve 5*v + n + 19 = 0 for v.
-4
Suppose j = -j. Let v(b) = b + 3. Let x be v(j). Solve -6 = 3*w + x for w.
-3
Suppose -3*t - 36 = -5*t. Suppose 0 = -c - 2*d - 0*d - 2, 4*d + t = 5*c. Let q(f) = f3 + 4*f2 - 7*f - 7. Let w be q(-5). Solve -c*r - r = w for r.
-1
Let j = 8 + -5. Suppose -3*n = -3*m - 9, j*m + n = -2 + 13. Solve -4*p + m = -10 for p.
3
Let w(b) = -b**2 - 2*b - 3. Let y be w(-2). Let x = y + 6. Solve -3*v + 0 = x for v.
-1
Suppose -2*o + 4 = -4*y - o, 0 = y - 5*o + 20. Solve -2*x + y = 2 for x.
-1
Let k(b) = -b**2 - 5*b + 8. Let o be k(-6). Solve -o*l + 4*l = -2 for l.
-1
Let o = 13 + -11. Solve -h = -3*h + o for h.
1
Suppose -6*p - 10 = -j - 4*p, 0 = 4*j + 3*p - 73. Let i = j + -8. Solve -15 = i*f - 3*f for f.
-3
Let b(n) = 4*n - n3 - 4 + 6*n2 + 4*n - n. Let d be b(7). Let j = d + 8. Solve 0*i + j*i = 20 for i.
5