Let o = -17 - -17. Suppose -4*t + 4 = -3*t. Solve -t = -2*b - o for b.
2
Suppose -6 = -2*l - 0*l. Suppose -5*d = 2*f - 14, -3*f - f = -l*d - 2. Solve -2*x + x = -d for x.
2
Let k = -6 - -10. Suppose -4*o - 4*j + 2 = -3*j, k = 2*o + 2*j. Let t(q) = -2*q + 1. Let d be t(-2). Solve o = -d*h - 5 for h.
-1
Suppose 2*i - 5*w + 6 = 0, w + 9 = -5i - 6. Let y be (-12)/i(-3)/(-2). Solve -3*o = -0*o + y for o.
-2
Suppose -8 = 3*o - o + 3*t, 4*t = -5*o - 6. Suppose 0 = -l - 5 + 8. Solve -l*k - 1 - o = 0 for k.
-1
Suppose -5*i = 3*t - 7, 3*t - 15 = -5*i + 8*t. Suppose i*z - 5*z = -6. Suppose 13 + 23 = 4*o. Solve -k - z*k = -o for k.
3
Suppose -3 = -2*h + 3. Let k(n) = n3 - n2 - 5*n + 2. Let v be k(h). Suppose 2*a = 4*j + 10, 6*j - 2*j - 4*a + 20 = 0. Solve j = v*o - o for o.
0
Suppose -3*t + 5*t = 50. Solve -7*p + 2*p + t = 0 for p.
5
Let l = -2 - -7. Solve -25 = -l*m - 5 for m.
4
Let n(i) = -i3 + 5*i2 + 3*i - 13. Let h be n(5). Solve -q + 0 = h for q.
-2