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