Тут все очень просто:
1.x-y>x+y
x-y-x-y>0
-2y>0
y<0, это простое линейное неравенство
2.y-x<y+y
-x<y
x>-y, значит х положительный. Это подтверждается и при проверке.
