I use two mice on my Gentoo box due to few good reasons. Trying to get them to work all the time took some time though I am not sure if that's because I am too stupid to make them work together.
Anyways, here's what worked for me:
~ # less /proc/bus/input/devices
Find the line that says "Handlers" below your Synaptics and the other mouse.
Recent comments
4 days 3 hours ago
1 week 3 days ago
1 week 3 days ago
1 week 6 days ago
2 weeks 2 days ago
2 weeks 5 days ago
2 weeks 5 days ago
3 weeks 3 days ago
4 weeks 1 day ago
4 weeks 1 day ago