Let w = 40 - 40. Solve w = -2*d - d + 15 for d.
5
Let m = 47 - 41. Solve -s = -m + 2 for s.
4
Suppose 0 = q - 2*q + 7. Let o = q - 5. Let i(y) = y**3 - y + 2. Let t be i(0). Solve o = t*k - 2 for k.
2
Let z(i) = i3 - 3*i2 - 3*i + 2. Suppose -5*b + 9 = -2*b. Suppose -x - x + 12 = 5*y, -y - b*x = 8. Let q be z(y). Solve k + 1 = q for k.
5
Let u(f) = -f3 - 4*f2 + 5*f + 4. Let i be (-14)/(-7) - (0 - -7). Let b be u(i). Solve 0*t - 8 = -b*t for t.
2
Let g = -65 - -73. Solve 0 = -0*m + 2*m - g for m.
4
Let w(z) = -z3 - z2 + 2*z + 2. Let i be w(-2). Suppose 2*t = -i*t. Suppose 2*n + t = 12. Solve -d = d - n for d.
3
Suppose -20 + 8 = c - 3*y, -3*c - 26 = -4*y. Let i be (c/(-6))/((-1)/(-3)). Solve 6*u + 9 = i*u for u.
-3
Let i be 10⁄6*(-9 - -12). Solve 8 = -i*b - 2 for b.
-2
Suppose 0 = -5*m - 35 - 15. Let o = 5 - m. Solve -l + o = -4*l for l.
-5