Determining if a sum is irrational