Let s(v) = -v3 + 6*v2 + v. Let j be s(6). Suppose g + 3*d - 14 = j*d, d = g - 4. Let x = 1 - g. Solve -o - 3 = x*o for o.
-1
Let t(a) = -a**2 + 6*a + 11. Let d be t(8). Let l = -4 - d. Solve 9 - l = -4*r for r.
-2
Let o = -18 + 15. Let y be 9*2*1/(-2). Let i = o - y. Solve 3*w - 15 = -i for w.
3
Let z = -37 - -39. Solve f - 2 = z for f.
4
Let x(w) = w3 - 6*w2 + 2. Let d be x(6). Let a = 3 + d. Solve a = -0*t - 5*t for t.
-1
Suppose 3*g = -11 + 32. Let o = g + -4. Let j be ((-1)/(-1))/((-3)/(-15)). Solve x + j - o = 0 for x.
-2
Let k(o) = o. Let f be k(3). Suppose 0 = 3*l + 3, f*l - l = 5*b - 2. Suppose b = 4*r - r. Solve r*i = i for i.
0
Suppose 3*r - 24 + 15 = 0. Solve -1 = j - r for j.
2
Suppose -26 + 0 = -y + 5*x, 0 = 2*y + 4*x + 4. Solve 5*p = 19 + y for p.
5
Suppose 10 = 3*r + 2*r. Suppose -3*p - v = -11, 0 = -0*p - p - r*v + 7. Let w(i) = i - 8. Let y be w(8). Solve y*a - p = -a for a.
3