Let u(f) = f - 6. Let y be u(8). Let j = y + -2. Solve 2*c - 2 = -j for c.
1
Let m = -15 + 8. Let c be m + 10 + (-2)/1. Solve 11 + c = -3*x for x.
-4
Let c(f) = -f3 - 9*f2 - f - 9. Let i be c(-9). Let x be -1 + 7 + 1*-3. Solve -6*o + x*o + 6 = i for o.
2
Suppose 0 = c - 6*l + 3*l - 8, -2*l = 10. Let n(b) = -b**2 - 8*b - 2. Let h be n©. Solve 0*k + h = k for k.
5
Suppose 0*x = 4*x - 40. Solve 0 = -4*u - 2 + x for u.
2
Let m = -2 + 10. Let z = -9 - -21. Suppose 4*r = m + z. Solve -r*l - 15 = -40 for l.
5
Let z be 2⁄7 - 100⁄7. Let l be (-2)/7 - 340/z. Suppose x - 4*x = -l. Solve y + y = x for y.
4
Suppose 0 = g + c - 6, -15 = 2*c + c. Suppose -2*r - g = -3*r. Suppose r = 5*a + 1. Solve -12 = a*l + l for l.
-4
Suppose p - s - 4 = 0, 0*p + 4*s + 20 = 5*p. Let i(n) = 13*n**2 + n. Let y = 1 - 2. Let b be i(y). Solve b = -4*x - p for x.
-4
Suppose -r - 3*h = -19, 2*h + 0*h = 10. Suppose -r*o + 22 + 2 = 0. Solve -o*l + 2*l - 4 = 0 for l.
-1