Let k(d) = d3 - 9*d2 + 8*d + 2. Let r be k(8). Suppose -3*v + s + 30 = 0, v - 3*s = r*s + 10. Let m be (0 - -5)*4⁄5. Solve m*j + v = -j for j.
-2
Suppose r + 5*l = -12, -r - l - 2 = -6. Suppose 5*k - r + 3 = 0, -2*u = 3*k + 1. Let i be 1 + u/(-4)*2. Solve i*w + 8 = -2 for w.
-5
Let i = 16 + -16. Solve -m = -i*m - 3 for m.
3
Suppose -3*v + 11 = -t, 8*v - 5*t - 11 = 4*v. Solve -3*j = -v*j - 1 for j.
-1
Let b be 3*(-3 - 88/(-12)). Suppose 5*o = 17 + b. Solve d = o*d + 10 for d.
-2
Suppose 3*g - 26 = 4*g. Let u = g - -44. Suppose 3*x = -0*x + u. Solve h - 4*h - x = 0 for h.
-2
Let s(k) = -k3 + 2*k2 - k. Let y be s(1). Suppose y = 2*u + 2*u - 12. Suppose 2*p = -u*p. Solve 2 = -l - p for l.
-2
Let g be 0 + -1*(-20)/5. Solve -q + g*q = -12 for q.
-4
Suppose -o - o + 4 = 0. Suppose 2*v - 5*i + 13 = v, 17 = 4*v + 3*i. Solve -v*c + 10 = o for c.
4
Let s = 1 + -2. Let f be (9 - -5)*s/(-2). Suppose -x - 2 = -f. Solve -l = -6*l + x for l.
1