x>4是不等式x+2>5的解集吗