Let k = -4 + 7. Suppose 0 = 4*u + 3*j - 0*j + 4, 2*u = k*j + 16. Suppose -u*v = -4*g - 28, 0 = 2*g - 11 + 3. Solve -v = 3*a - 10 for a.
-4
Let c = -1 - -3. Let j = -27 - -44. Solve j = 5*z + c for z.
3
Suppose 0 = 4*t - 8 - 0. Solve -t*q - 8 = 2*q for q.
-2
Suppose 0*p - p + 25 = 0. Suppose o + 0*o = -2*z + 7, 4 = -5*o + 3*z. Let h(a) = 2*a3 + a2 - 1. Let t be h(o). Solve -3*i - t*i = p for i.
-5
Let w be 148/(-18) - (-4)/18. Let f = w + 13. Let c = -3 + f. Solve c*b + 3*b + 25 = 0 for b.
-5
Suppose 4 = 5*i - 11. Solve 0 = -4*p + i*p for p.
0
Let o = 26 - 26. Solve 3*q + o*q + 12 = 0 for q.
-4
Let c(a) = a3 + 8*a2 + 6*a - 5. Let u be c(-7). Solve -16 = -u*x - 2*x for x.
4
Let b(t) = -t3 + 6*t2 + 7*t. Let i = 13 + -6. Let v be b(i). Suppose 2*h + h = 0. Solve 3*l + v - 3 = h for l.
1
Let v = 0 - -2. Solve -15 = -v*h - 3*h for h.
3