Let o = 24 - 21. Solve -o*i + 12 = i for i.
3
Let a = -5 - -11. Suppose -3*y - a*v = -5*v - 6, -10 = -5*y + v. Let c(k) = k**2 - k + 2. Let h be c(2). Solve 0 = y*x - 0*x - h for x.
2
Suppose 0 = -2*x - 0*x - 14. Let p = 17 + x. Suppose 7*t - 15 = 2*t. Solve t*w - p = w for w.
5
Let w be -112(-1 + (-2)/(-4)). Solve 2*k + w = -k for k.
-2
Let z(k) = k + 4. Let w be z(0). Let t(i) = -i**2 + 3*i + 4. Let o be t(w). Suppose o + 3 = a. Solve 0*v = -a*v for v.
0
Let j be (-4 + 0)/(2⁄4). Let o be (j/(-5))/(2⁄15). Solve 4*f = -0*f - o for f.
-3
Let s(m) = 2*m + 12. Let w be s(-6). Suppose w = -a + 6*a - 10. Solve -a*j + 4 = -2 for j.
3
Let g = -3 - -5. Suppose o = -g*o. Let b = -5 - -9. Solve o = -5*d - 1 - b for d.
-1
Let t = 11 - 6. Suppose -t*v + 4*v = -3. Solve -v*a = 10 - 1 for a.
-3
Let u be (4⁄3)/((-4)/(-6)). Let q® = -r**2 - 3*r + 1. Let f be q(-2). Suppose 0 = f*i - u*i - 4. Solve 0 = i*v - 21 + 5 for v.
4