"text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>

<div id="hiddden">

Arithmetic assertions can be written in first-order logic with the
predicate symbol $&lt;$, the function symbols ${+}$ and ${\times}$, and the
constant symbols 0 and 1. Additional predicates can also be defined with
biconditionals.<br />

1.  Represent the property “$x$ is an even number.”<br />

2.  Represent the property “$x$ is prime.”<br />

3.  Gol