Input: solve(3x-2=2mod(2))
Write: `solve(3x-2=2mod(2))`
Output: $$ solve(3\ x-2=2\ mod(2)) == x=2\ n $$ Result:$$x=2\ n$$