Let x(w) = -2*w3 - 33*w2 + 17*w + 5. Let k be x(-17). Solve 0 = -2*h - k + 7 for h.
1
Let q = -25 - -29. Solve -3*c - q = -4*c for c.
4
Let h = -6 - -30. Let g be 3⁄2*h/9. Solve 4 = -5*p + g*p for p.
-4
Let c = 5 - 3. Let t = 4 - c. Suppose 2*y + 3 = -l, 4*y = -5*l - 3 - 12. Solve y = w + t*w - 12 for w.
4
Suppose 4*g - 113 = -5*a, -25 = -a - g - g. Suppose 0 = -3*m + a - 0. Let f = -3 + m. Solve -n - f*n = 5 for n.
-1
Let k(p) = 2*p - 7. Let h be k(6). Suppose -h = 2*b - 3*b. Suppose -4*m + 3*m + b = 0. Solve 0 = m*v + 2 - 12 for v.
2
Let q = -5 + 8. Solve -1 - q = o for o.
-4
Suppose -2*p - p = 0. Solve 0 = -p*n - 3*n + 3 for n.
1
Let h(y) = 6 - 4*y2 - 4*y - y2 + 6*y**2 - 5. Let l be h(5). Solve 4*x = -l + 14 for x.
2
Suppose 9*k - 4*k - 17 = -2*s, -2*k - 3*s - 2 = 0. Let n(d) = -d3 - 7*d2 - 7*d - 4. Let b be n(-6). Let l = b + -2. Solve l*o - k*o - 5 = 0 for o.
-1