Let b(l) = 3*l**2 + 1. Let s be b(1). Suppose 2*f + 8 = s*f. Let r = 6 + -3. Solve u + f = -r*u for u.
-1
Let z = 14 + -7. Suppose 2*j = z*j. Solve c - 6*c - 10 = j for c.
-2
Suppose -2*l = -0*i - 4*i + 18, -15 = 5*l. Suppose -2*t = i*t. Solve 3*r - 5 + 17 = t for r.
-4
Suppose 1 = -3*p - 4*f, 11*p + 5*f + 10 = 9*p. Solve -4*l + p = -3 for l.
2
Suppose 4*i + 4*g = -i + 16, -i + 4 = g. Suppose -4*m + m + 48 = 0. Let b = m - 9. Solve i = -4*p - 1 - b for p.
-2
Suppose r = 4*r + 114. Let v = -26 - r. Solve l = -3*l - v for l.
-3
Let s(k) = k. Let o be s(0). Suppose 11*c = 6*c. Suppose c = b - 0*b - 25. Solve o*f = 5*f - b for f.
5
Let u = 15 - 8. Suppose -k + 5*s = 9, -u = -k - s - 4. Let t be ((-28)/(-7))/(2*k). Solve -h = -t*h + 5 for h.
5
Let u(y) = -y**2 + 9*y + 14. Let r be u(10). Let p = r - 2. Solve -k - p + 0 = 0 for k.
-2
Suppose 7*x - 3*x - 12 = 0. Suppose -2*l + x = -3*k + 12, -k + 5*l = -16. Solve 5 = -3*h - k for h.
-2