Suppose 4*b + 4*i - 8 = 0, 3*b - 3*i = -0*b - 6. Let u(s) = b*s3 - 3 + 2*s + 7*s2 + s**3 - 3*s. Let n be u(-7). Solve n*z - 12 = -0*z for z.
3
Let i(s) = -s2 - 5*s - 1. Let h be i(-4). Let w(d) = -d3 + 2*d**2 + 5*d - 3. Let r be w(h). Suppose 0 = l - r*l. Solve -3*b + l = 3 for b.
-1
Suppose -5 = -4*v - 1, r - 4*v + 2 = 0. Solve 0*k + r*k - 8 = 0 for k.
4
Suppose 2*u = -u - 5*g - 32, 5*u - 5g = -40. Let h be 6/u-6 + -1. Solve -4 = 2*c - h*c for c.
4
Let g be ((-42)/(-35))/((-6)/(-15)). Solve -g*c = 2*c for c.
0
Suppose 0 = -6*a + 3a. Let s be -1(3 + 1)/(-2). Suppose y = s*c - 20, -2*c = -3*c + 5*y - 8. Solve 0 = -a*v - 4*v - c for v.
-3
Let d be ((-2)/(-6)*0)/2. Solve 4*v = -d*v - 20 for v.
-5
Suppose -3*s + 11 = -4*k, 4*s + 2*k + 2 = -k. Let v = s - -7. Let p be 24⁄14 + v/28. Solve 0 = -p*x - 0*x for x.
0
Suppose 0 = 4*m + m - 45. Let f be (-2)/2 + (m - 4). Suppose -3*x = 4*k - 11, 0 = f*x - 4*k + 2*k. Solve 0 = 2*n + x + 3 for n.
-2
Suppose 28 - 100 = -12*n. Solve n = -2*t - t for t.
-2