Simplify 6y+7-2(2x+y+1)