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