Let q be (-2 + 1)/((-3)/9). Let j be q*(1 + 0) + -2. Suppose 0 = -z - j + 6. Solve z*v + 4 - 9 = 0 for v.
1
Let s(g) = g3 - g2 - 4*g + 2. Let l be s(3). Suppose -4*i + 44 = l. Solve 3*q + i = 24 for q.
5
Let m(f) = 2*f3 - 2*f2 - 2. Let r be m(2). Let h = r + -12. Let p = -4 - h. Solve g + p*g + 9 = 0 for g.
-3
Let k(q) = -2*q - 9. Let w be k(-6). Suppose -w*z = -5 - 1. Suppose -2*p + 6 = 2*h, -p - z*p - 2*h + 10 = 0. Solve 0*s = -s - p for s.
-4
Suppose 5*f + 16 = -4*h, 4*h - 4*f + 11 = 31. Let b(g) = g + 10. Let k be b(-7). Solve k*t + 10 = h for t.
-3
Suppose 0 = q - 4*h - 4, 3*h + 3 = -5*q - 0. Suppose -r = -q*r. Solve r = -2*k + 2 + 2 for k.
2
Let k be -1 + 2 + -5 - -4. Solve -s + 5 = -k for s.
5
Suppose -4*a = -24 - 16. Let j = a + -7. Solve 2*n + 4 = j*n for n.
4
Let z be (-24)/(-20)*(-10)/3 - -12. Solve 4*i - 4 = z for i.
3
Suppose -s + 3*s = 0. Solve 4*y + s = -4 for y.
-1