Let v(z) = z3 - 6*z2 - 8*z + 10. Let a be v(7). Suppose 5 = 2*h - a. Solve 0 = 2*r - h*r for r.
0
Let t(n) = 5*n + 1. Let h be t(1). Solve -3*y = -h - 0 for y.
2
Let o = 0 + 1. Let x(q) = 2 - q + o + 2. Let u be x(5). Solve u = -3*r - 0*r - 9 for r.
-3
Suppose b - 2 = -0*b. Suppose -4 + 6 = r. Let l(u) = -u + 2. Let f be l®. Solve 0*k + b*k = f for k.
0
Let w(g) = -g3 - 3*g2 + g + 3. Let t be w(-3). Suppose t*s = q + s + 2, 0 = 5*q + s - 10. Solve 2*k = q*k - 5 for k.
5
Let n = -41 + 41. Solve n = -3*z + 2*z + 5 for z.
5
Suppose -k + u + 10 = 0, -2*k - 2*u - 5 = u. Solve 1 - k = -4*o for o.
1
Suppose 5*l + 9 = 2*r, 5*r - 2*l - 15 = 3*l. Suppose -2*n + 2*f + 24 = 0, r = n + 3*f - 2. Suppose 3*w = -w - 5*s + 15, 2*w - n = -2*s. Solve w = -c - c for c.
-5
Let d be ((-8)/3)/(14/(-21)). Solve -4 = -d*w + 12 for w.
4
Let g = 15 + -11. Solve -g*p - 5 = p for p.
-1