Let k = 5 - 3. Let t = k + -2. Suppose -3*x = m - 8, 4*m + 5*x + t*x - 18 = 0. Solve m*n = -1 + 3 for n.
1
Let p(z) = 8*z - 2. Let b be p(1). Solve -b = -3*d + 6 for d.
4
Let m = -3 + 7. Solve 0 = -2*p - 6 - m for p.
-5
Let b be 9/(3/(-3)) - 0. Let n(u) = -u3 - 10*u2 - 9*u + 6. Let d be n(b). Solve i + i - d = 0 for i.
3
Suppose 0*n - 3 = -3n. Let i be (2 - n)(31 - 0). Let c = i - 22. Solve 2*o = -o + c for o.
3
Suppose -s + 10 = 5. Suppose z + 2*y = s*y + 9, 4*z + 5*y = -15. Suppose 2*h = z, 5 = -2*c - 2*h + 55. Solve 6*v = v + c for v.
5
Let o(l) = 5 - 3 + 6*l - 5*l. Let r be o(0). Solve 0 = r*k - 6*k for k.
0
Let l = -3 - -5. Let i(o) = o3 + 7*o2 - 9*o - 8. Let b(x) = x**2 + 6*x - 3. Let s be b(-5). Let y be i(s). Solve y*a + l*a = -10 for a.
-5
Suppose -b + 0 = -3. Suppose q - 20 = -5*h, h + 0*h = -5*q - 20. Suppose 3*t = 4*d - 32, 7*t = -h*d + 2*t + 75. Solve d = b*m - 1 for m.
4
Suppose 0*y - 20 = -5*y. Let h(u) = u + 4. Let p be h(-4). Suppose 9*i - y*i - 100 = p. Solve 0 = -2*d - 2*d - i for d.
-5