lista1: {(-x) + 3 > y}
lista2: {y > (-x) + 3}