Symbol: DIVIDE_BY_3