Let d = 8 - 8. Suppose 5*i - 5 = -d*i. Solve z + 0*z = -i for z.
-1
Let n be 6/(4⁄8 - -1). Solve -2*o + n + 4 = 0 for o.
4
Suppose -6*s + 16 = 4. Solve 0*k + k - s = 0 for k.
2
Let o = -19 + -1. Let q be o/(-3)*6⁄5. Suppose 5*c - q - 2 = 0. Solve -c = 2*u + 6 for u.
-4
Suppose 6 + 0 = 3*f. Suppose -i - f*c + c = 4, -5*i = -5*c - 30. Solve -2*t - i = -5 for t.
2
Suppose -12 + 36 = -3*h. Let k = -5 - h. Suppose -6*o + 2*p + 12 = -3*o, 2*o + k*p = -5. Solve 0 = -m - 0 - o for m.
-2
Suppose g + 6*g = 21. Solve 0 = -g*m + 4 + 2 for m.
2
Suppose v = -4*n - 3, 5*v - 1 = -2*n - 16. Let o = 0 - v. Suppose 3*j = 9 + o. Solve -j*b + b + 6 = 0 for b.
2
Suppose 2*y = -3*y + 15. Suppose -4*d = 4*k - 7 + 3, k = -4. Let c(v) = 8*v3 - v2 + v. Let s be c(1). Solve y*u = d*u - s for u.
4
Let g = 2 - 0. Let y(a) = a. Let w(s) = -4*s + 4. Let u(j) = -w(j) - 3*y(j). Let v be u(7). Solve -g*c + v = -7 for c.
5