Let i(u) = -u**2 + 5*u + 2. Let v be i(5). Solve 7*f - v*f = 20 for f.
4
Suppose 8*s + 6*s - 56 = 0. Solve s + 0 = -2*v for v.
-2
Suppose -w = 5*b + 4*w - 25, 2*w = 6. Let s = 2 - b. Let c be (-1)/6 + (-19)/(-6). Solve s = -t + c for t.
3
Let v(n) = -n**2 - 7*n - 6. Let g be v(-5). Solve -g*u = -7 + 27 for u.
-5
Let x be (-4)/6 - (-6)/9. Suppose 7*q - 3*q - 9 = l, 0 = 3*q + l - 12. Suppose 5*z = 3*n + 10, q*n - 2*z + 2 = -z. Solve n = 2*v - x*v for v.
0
Let j = 16 + -24. Let b = j - -10. Solve 0 = b*q + 11 - 1 for q.
-5
Let q(d) = 72*d**2 - d - 1. Let x be q(-1). Let v be (4/(-6))/((-16)/x). Solve v = 4*m - 1 for m.
1
Suppose -26 = -3*g + 4*d, -g + 5*g = -d + 3. Solve 5*k = 7 - g for k.
1
Suppose -3*t - 2*t = 4*w - 20, 5*w = 25. Suppose 8 = 5*u - 3*u. Solve t*j - 2*j = u for j.
-2
Suppose 0 = -2*r + 25 + 9. Solve 0 = -4*g + r - 1 for g.
4