Dextor is thinking of a number x
Three more than double his number is the same value as seven less than four times his number