How do you solve #x-7>23#?