Let q(f) = -f**2 + 11*f + 6. Let t be q(11). Let u = t + -8. Let d be u/5 - (-27)/5. Solve -d = 2*h + 3*h for h.
-1
Suppose 14 = 2*d + 2*m, 2 + 33 = 2*d - 5*m. Let r = 0 + 0. Solve 0*u + 5*u - d = r for u.
2
Let c(m) = m + 5. Suppose -4*i + 2*k - 6*k = 8, 6 = i - 3*k. Let q be c(i). Suppose 3*j - q = 22. Solve 3*p + 3 = j for p.
2
Let k = 24 + -7. Solve 3*j + 2 = k for j.
5
Suppose -5 = -2*n + 7. Suppose 2*r + 2*f + 22 = n*r, -5*r - 5*f = -5. Solve -3*k - 5 - r = 0 for k.
-3
Let q(k) = 1 - 14*k + 15*k - 8. Let j be q(8). Solve j = b + 3 for b.
-2
Let y = -11 - -16. Solve -y = 2*i - i for i.
-5
Let b be 9/(-15) + (-2)/5. Let g be 2 + b + -1 + 0. Suppose z + 8 = 3*v, 0 = -g*v - 4*v + 3*z + 4. Solve -v = -f - 1 for f.
3
Let c(j) = j + 10. Let a be c(-3). Suppose -d = -a + 3. Solve d*u + 7 = 3 for u.
-1
Suppose -3*c - 3 = -r + 4*r, 0 = 3*c + r - 5. Solve -6*a + c*a + 15 = 0 for a.
5