Let q(g) = -g3 - 6*g2 + 8*g + 7. Let p be 153/(-21) - (-6)/21. Let u be q(p). Suppose u*y + 3*y = 12. Solve y*c = c - 6 for c.
-2
Suppose 10 = f + f. Solve -2*s + 6 = -f*s for s.
-2
Let s = 35 + -33. Solve 0 = -s*i + 3*i for i.
0
Suppose x + 3*a = 17, 5*a + 17 = 4*x - 0. Solve -3*c = x + 1 for c.
-3
Let a be (-31)/4 + (-5)/20. Let j be 1 - -1 - a/4. Solve -i = j*i - 10 for i.
2
Let d(g) = -3*g2 - g + 7. Let u(f) = -8*f2 - 4*f + 20. Let a(x) = 11*d(x) - 4*u(x). Suppose 8*b = 3*b + 15. Let k be a(b). Solve -11 = -k*z - 2 for z.
3
Let n(z) = -5*z - 11. Let s be n(-3). Solve -s*u = 5 - 13 for u.
2
Let i = -10 - -10. Suppose 4*w = -i*w + 20. Solve 0*g + w = 5*g for g.
1
Let u(p) = p3 + 4*p2 - 5*p + 2. Let v be u(-5). Let w be (-2)/8 - (-82)/8. Solve 0*y - v*y = -w for y.
5
Suppose -2*l - 6 = 0, 2*m - 3*l - 14 = 1. Suppose 2*g + 20 = 7*g. Suppose 2 - g = -n. Solve -10 = m*u + n*u for u.
-2