Filter diophantine solutions using assumptions issue #7444

- [x] change Integer to integer

Resolves #7444. Should merge this before #7349.