Beginner: Integer InequalitiesSample answers

This is similar to the “Integer Equalities” problem, except that it uses the built-in relation symbols ‘<’ and ‘>’ to state the facts about the four numbers, instead of simply giving equations. Note the use of a logical connective at line 6: the two inequalities are just sentences with truth values, so they can be conjoined to form a compound sentence.

Note also the use of the “percent” sign. Everything on a line after this symbol is ignored by the system, so you can use it to write comments. These can help to make your encoding of the problem more readable, both for yourself and for anyone else who may need to understand it.