Let c(h) = -h3 - 8*h2 + h + 10. Let d be c(-8). Solve t + d*t + 9 = 0 for t.
-3
Let r = -17 - -30. Let n = -9 + r. Solve -2*w = -3*w - n for w.
-4
Suppose -6 = -s - s. Suppose -s*n = -0*n - 21. Let g = n + -4. Solve 1 = -g*r + 13 for r.
4
Let g = 3 + -4. Suppose -7*i + 3*i - 4 = 0. Let c = g - i. Solve c = s + 4*s + 5 for s.
-1
Let w(m) = -m**2 + 6*m - 8. Let r be w(7). Suppose 0 = -3*a - 2*s - 26, 0 = -4*a + s - 16 - 4. Let l be ((-12)/(-10))/(a/r). Solve t = -0*t - l for t.
-3
Suppose 3*x = -2*x. Suppose 0 = g - x*g - 3. Solve -2*o + g*o - 1 = 0 for o.
1
Let x = -4 - -6. Let z(p) = -p**2 + 4*p + 7. Let s be z(5). Suppose -4*b - 3*t = 2*t - 16, s*t - 8 = -x*b. Solve 0*c = -b*c - 20 for c.
-5
Let p = 20 - 5. Solve p = a + 2*a for a.
5
Suppose -v + 2*p = 2, 0 = 3*v - 0*v + 3*p - 30. Let i(l) = -l**2 + 8*l - 9. Let o be i(v). Solve 0 = 5*h + o + 7 for h.
-2
Suppose -5*y = -p - 13, 3*p - 56 = -0*y - 4*y. Let b = p + -7. Let o(z) = 2*z. Let c be o(3). Solve b = -n + c*n for n.
1