-(x^2 + y^2 -16)((x-2)^2 + y^2 -1)((x+2)^2 + y^2 -1) > 0