Let r = 8 + -5. Suppose -r*k - o = -7*k + 26, 3*o - 6 = 0. Solve 0 = 2*f + k - 3 for f.
-2
Let x = 2 + 2. Solve -8*d + x = -12*d for d.
-1
Suppose q - 18 = 4*q - 3*v, -4*v + 14 = q. Let x = q - -4. Suppose 0 = -2*s + 4*g + 12 - 4, -g = x. Solve s = -4*f - 9 + 25 for f.
4
Let k(g) = 8*g + 4. Let a be k(-2). Let c = a - -16. Solve q - c*q = 6 for q.
-2
Suppose 3*z = z. Suppose m + 2*b = 5*m - 16, m - 5*b = 13. Suppose 4 = 3*t + 1, -4*t = -c - 1. Solve z*f + m*f = -c for f.
-1
Let z = -30 - -32. Solve -2*k = -4*k - z for k.
-1
Let a(g) = g + 2. Let c be a(-2). Let j = c + 5. Suppose 8*r = j*r + 3. Solve k + r + 3 = 0 for k.
-4
Let i(m) = -m3 + 7*m2 - 4*m - 6. Let z be ((-36)/15)/(-2)*5. Let t be i(z). Solve 2*b - t*b = 20 for b.
-5
Let c be ((-3)/9)/(3/(-171)). Suppose -2*s + s = -3*o - c, 0 = -2*o - 10. Solve -s*r + r + 9 = 0 for r.
3
Let f(d) = d3 - d2 + 3*d - 1. Let w be f(2). Solve 3*b + 0*b = w for b.
3