Let d(x) = -x3 - 4*x2 + 5*x - 7. Let g be d(-6). Suppose 4*z = -5*b + g, -z - 25 = -5*b - 3*z. Solve 12 + b = 5*y for y.
3
Let u(s) = 4*s + 5*s2 - 3*s - 2*s + s3. Let i be u(-5). Suppose 15 = -2*l + i, 5*l + 27 = w. Solve -6 = w*t - 4*t for t.
3
Let j be (-1)/(-2) + (-7)/(-2). Suppose -j*w = -15 + 3. Let l(k) = -2*k - 4. Let q be l(-3). Solve q*n = -w*n - 25 for n.
-5
Suppose 2*v - 7*v = -10. Let a = 35 + -32. Solve -v*y - a = y for y.
-1
Let r = 56 + -5. Suppose 4*w + 3*l - 29 = 3*w, 3*w - r = 3*l. Solve 6*p - w = p for p.
4
Suppose 0 = 27*r - 31*r + 4. Solve 2*c + r = -1 for c.
-1
Let c = -13 - -26. Let s be c/(-1) - (-1 + 0). Let j be s/(-9) - 6/(-9). Solve -4*l - j = 2 for l.
-1
Let l(u) = 6*u3 - u2 + u - 1. Let c be l(1). Suppose c*y = -0 + 10. Solve -10 = 2*i - y for i.
-4
Let h = -4 + 6. Suppose 2 = h*r - 2. Solve 0 = 4*l + 6 + r for l.
-2
Suppose 3*h - h - 14 = 0. Let y = -7 + h. Solve y = v + 4 - 1 for v.
-3