Let v(j) = -j**2 + 5*j + 5. Let c be v(5). Suppose -3*l + 7 = 1. Suppose -l*b - b + 21 = 0. Solve -c*x + b = -8 for x.
3
Let n = 0 + 0. Let h be -2 + 4⁄1 + 30. Let i be 25/(-10)*h/(-10). Solve -3*c - c + i = n for c.
2
Let u = 33 + -30. Solve 3 = u*l - 12 for l.
5
Let h(v) = -v**2 + 10*v + 4. Let u be h(7). Suppose 0*n - 4*n + 2*i = 10, 0 = -5*n - 5*i + u. Solve 4*k + 4 + 0 = n for k.
-1
Let q = -36 - -41. Solve -3*a = 2*a + q for a.
-1
Let u = 7 - 4. Suppose u*f - 5 = -o, 2*f + 0*f - o = -5. Solve 5 = -f*c + c for c.
5
Suppose 8*b = -6 + 22. Solve 0*p - b = -p for p.
2
Let r = 12 + -11. Suppose 0 = f + 2, -2 = 5*i + 3*f - r. Solve -i = 2*t + 7 for t.
-4
Suppose 2*v = -g + 9, -4*g = g - 3*v + 7. Solve g = -i - 0 for i.
-1
Let w = -2 + 7. Suppose v - 12 = j, 2*v - 4*j = v + 27. Let n = v - 5. Solve n*f = f + w for f.
5