Let s = 5 - 0. Solve 6 = -s*d + 1 for d.
-1
Suppose -2*o = o - 15. Suppose -2*z + k - 1 + 13 = 0, -o*k = -5*z + 30. Solve -2*c + 0*c = z for c.
-3
Let v = 13 - -17. Suppose 3*q = q + v. Solve 5*d = -q + 5 for d.
-2
Let c be (0 + -6)*18/(-27). Solve 0 = c*i - 9*i - 15 for i.
-3
Let r(v) = -v**2 - 16*v - 20. Let j be r(-14). Solve 0 = -0*i - 2*i + j for i.
4
Let i(t) = -t + 7. Let n be i(6). Solve -3*y = -2*y + n for y.
-1
Let u(v) = v + 13. Let z be u(-8). Solve -z*j = -10*j + 10 for j.
2
Let k = -14 + 14. Solve 6 = 3*x - k for x.
2
Let w be (132⁄9)/(-4)*-3. Let x = 15 - w. Suppose 17 = x*o + 3*s, 2*o - 4 = -4*s + 2. Solve 8 = p - o*p for p.
-2
Let j = 43 + -26. Solve 8 + j = -5*m for m.
-5