If #7+3x=22#, then what is #2x#?