Q. If and then

 2613  265 Linear Inequalities Report Error

Solution:

Given and

which is true iff
which is true iff

which is also
which is also