Filter diophantine solutions using assumptions issue #7444