Let d(z) = z3 - z2 + z - 1. Let t(k) = 7*k3 - 2*k2 - 11. Let f(m) = -6*d(m) + t(m). Let l be f(-5). Suppose l = 2*b - 0*b - 6. Solve -x - 4 = -b for x.
-1
Let w(t) = -t**2 + 3*t - 2. Let n be w(2). Suppose a + 3*a = n. Let f = 0 - a. Solve f - 3 = -3*y for y.
1
Suppose -d = -0 - 5. Solve 4*f - d = -f for f.
1
Let m® = -r3 - 6*r2 - 5*r + 6. Let y be m(-5). Let x(z) = -z3 + 6*z2 + z - 2. Let c be x(y). Solve -k = -c*k - 9 for k.
-3
Let x = -78 + 117. Suppose 0 = 3*l - 6 - x. Solve w = 6*w + l for w.
-3
Suppose -3*i = 44 - 56. Solve -i*h + h = 0 for h.
0
Suppose -2*k = -5*n + 10, -5*k = -n - 3*n + 8. Suppose 2*o - 32 = -n*o. Suppose b = -5*y - 14, 0 = 4*b + y + 4 - 5. Solve 3*u = b + o for u.
3
Let s(v) = v**2 - 3*v. Let o be s(4). Suppose 9 - 1 = 4*t. Suppose o*u - n = 5*u + t, 0 = u - 3*n - 14. Solve 15 = -u*h - 3*h for h.
-3
Let q = -2 - -5. Let l be q - ((-2)/2 - 2). Solve 0 = l*s - s for s.
0
Let r be 4 + -4 - -2 - -1. Solve 0 = r*t - t for t.
0