Simplify x-6<=3