cylindrical decomposition((-3 x + 2 y) - 8> 0, {x, y})