Many email services include a basic virus scanner. I know Gmail does, but that is not an endorsement. One thing you could try is to forward the email to another email service that uses attachment scanning.

If something is found, then you know. But if nothing found, then you cannot be certain.

Another option is to use a webclient for your email (like Gmail) and save the attachment directly to an online file store (like Google Drive). Then you can use VirusTotal's URL scanner to access the file (after you made it public). The file never touches your computer and never gets executed and gets sent to an online service to be scanned.

But the PDF is most certainly infected. What you describe is a very, very common attack. You need to scan the attachment to see how it might have affected your device.