Let a(g) = -7*g3 - 5*g2 + 7*g + 5. Let k(q) = -8*q3 - 6*q2 + 8*q + 5. Let y(f) = 7*a(f) - 6*k(f). Let h be y(0). Solve h*s + 4 = -1 for s.
-1
Suppose -4*n - g = -11, -2*n + 4*n = g + 7. Let t(s) = -5*s - 2 - n + 4. Let w be t(-1). Solve w = 3*f + 1 for f.
1
Suppose 3*l - 2*z - 8 = 0, 3*l = -l - 2*z + 20. Suppose 8 = -2*u + 6*u. Solve u*g = l*g for g.
0
Let m = -42 - -43. Solve 0*c = c - m for c.
1
Let j = 4 - 3. Let w = j + -1. Let v be w*(-3)/(-1 - -7). Solve v = -q - 1 + 3 for q.
2
Suppose 0 = -5*n + 4*x + 14, 4*n - 3*n - 4*x - 6 = 0. Suppose n*d - d = 0. Solve d = 6*s - 3*s - 9 for s.
3
Let i be 3/(12⁄88*-1). Let o = i - -30. Solve 4*j - o = 8 for j.
4
Let i be (-6)/24 - 45/(-4). Let t = i + -7. Let u be (-4)/((-8)/30) - 0. Solve 5 = t*a - u for a.
5
Let u = 29 + 51. Suppose 0 = 4*x + 4 - 16. Suppose -x*z = z - u. Solve 8*h - 3*h - z = 0 for h.
4
Let y be (-3)/(-2)(-4)/6. Let j be y(3 - (12 + 2)). Let h = j + -9. Solve 0 = h*v + 2*v - 16 for v.
4