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