One fifth of x is 3 less than 7?