Let l be -3*(-1 - 1/(-3)). Suppose -m + q = m - 20, 0 = -3*m + q + 29. Let k(n) = -n3 + 9*n2 - n + 11. Let x be k(m). Solve j + x = l*j for j.
2
Suppose f + 5 = 2*f. Let x(q) = q**2 - 7*q + 7. Let y be x(f). Let i = y - -5. Solve 3*b + 15 = -i*b for b.
-3
Let z = -6 - -10. Suppose -z*o + 6 = -6. Suppose 3 = 5*x - c, -5*x + c - 6 = 3*c. Solve o = -l - x for l.
-3
Let j(t) = 2*t**2 + 5*t + 1. Suppose 0 = 4*q - 5*c + 4 - 3, 2*q = 4*c + 4. Let o be j(q). Solve -2*b + o - 5 = 0 for b.
4
Suppose -7*z = -4*z - 6. Let t be 2/(-6) + (-49)/(-3). Solve 2*m - t = -z*m for m.
4
Let s(i) = -2*i3 + 8*i2 - i + 9. Let z be s(4). Solve -z*j + 8 = -3*j for j.
4
Suppose 9 = -7*u + 9. Solve u = 3*n + 2*n for n.
0
Let d(f) = f**2 + 14*f + 7. Let l be d(-14). Solve -l + 3 = 4*t for t.
-1
Let k = 0 - -5. Let d(x) = -3*x + 15. Let h be d(5). Solve k*g + h = 20 for g.
4
Let w be 1/((-1 - 0)/(-2)). Let n = 8 + -8. Suppose -s = -w - n. Solve 2 = -b - s for b.
-4