О разрешимости теорий первого порядка групп и моноидов целочисленных матриц