The HOM problem is decidable