Let b be (-1 - 1)/(-4 - -3). Solve b*o + 3 + 3 = 0 for o.
-3
Let v(q) = -4*q3 + q3 - 7*q**3 - q - 1. Let l be v(-1). Suppose z = 3*z - l. Solve -4*h + z = 1 for h.
1
Suppose 18 = -3*z + 18. Solve z = d - 3 + 2 for d.
1
Suppose -3*h - 2*v = 2 - 14, -3*h = -5*v - 33. Let t be (1 + h/(-9))*6. Solve -c - 6 = t*c for c.
-2
Let b = 15 - 3. Let s = b + -9. Solve -6 = -s*c + 3 for c.
3
Let y = 4 + -5. Let u be y*(0 - 1) - 0. Suppose -x + 9 = u. Solve 4*t + x = -0*t for t.
-2
Let l = -6 - -8. Solve -l*x + 20 = 3*x for x.
4
Let c = 9 + -5. Suppose 2*a = -3*x + 6*a + 25, 7 = -3*x - 4*a. Suppose -t - 2*y = y + 3, -30 = -2*t + x*y. Solve -c*s = t + 7 for s.
-4
Let f(s) = s - 2. Let g be f(-5). Let z = 11 + g. Let w(d) = -3*d3 + d2 + d. Let h be w(-1). Solve h + 1 = z*o for o.
1
Suppose -8*t + 15 + 49 = 0. Solve 0*z + t = 4*z for z.
2