Let b(z) = 8*z3 + 32*z2 - 4*z - 29. Let x(f) = 3*f3 + 11*f2 - f - 10. Let t(h) = 4*b(h) - 11*x(h). Let a be t(6). Solve 0 = -a*w + 2*w for w.
0
Let v be ((-21)/14)/(2/(-4)). Suppose 2*h + 4*i - 23 = -h, v*h - 2*i = -7. Solve 0 = 2*t - h - 1 for t.
1
Let i(a) = -2*a - 22. Let c be i(-11). Solve c = v - 3*v for v.
0
Let g(i) = 3*i. Let x be g(2). Suppose 5*o + 8 = -m, 0*m - 2*o = -m + x. Solve -m = l + 3 for l.
-5
Let n(m) = -m**2 - 6*m. Let f be n(-4). Solve -3*h + 5*h = f for h.
4
Suppose 3*b - 12 + 3 = 0. Solve -b*k + 2*k = -4 for k.
4
Let b(f) = f - 8. Let t be b(9). Let o = 15 + -13. Solve -7 + t = -o*m for m.
3
Suppose 3*c = 7*c + c. Solve c = -2*h + 3*h + 3 for h.
-3
Let h = 0 + 0. Suppose -3*n = -h*n. Suppose -5 = -3*k + g + 3, n = 2*k + 3*g + 2. Solve -3 - 1 = -k*q for q.
2
Suppose -5*s = 4 + 61. Let d = -9 - s. Suppose -d*y + 7 + 1 = 0. Solve 0 = -y*n - n - 9 for n.
-3