Seven less than twice x is 15. What is x?​