Symbol: DIVIDE_BY_6