I think the most straightforward way would be to setup a pdf printer on your box and then just:

ooffice -pt pdfprinter studentwhodoesntfollowdirectionswell.odt

Edit: Just found a post on the Ubuntu forums with someone who arrived at the same solution I suggested (with handy dandy instructions). printing to pdf from command line [SOLVED]

Edit 2: I just came across unoconv which is a python script that uses OOo's UNO bindings. So I just wanted to update this answer

First, I use Linux, not Windows, so I can't test this, but I think something like this is right. (I'm almost tempted to tell you to install Linux inside a virtual machine for this, since stuff like this is sooo much easier with a grown-up operating system, but anyway, here goes my best bet for using Windows.)

First, open a Command/Dos prompt.

To navigate to the folder where your files are, use the CD command followed by the full path to your files in quotation marks. For example, if they are in "C:\Users\Somebody\Documents and Settings\My Documents\PDFs\", then type:

cd "C:\Users\Somebody\Documents and Settings\My Documents\PDFs\"

I think an alternative would be to simply create a batch file inside the same directory as the PDF and run the batch file from there.

OK, now I think you'll have to use the complete path to the Ghostscript executable, which you'll have to find for yourself. I'm going to assume it's "C:\Program Files (x86)\gs\gs9.00\bin\gswin32c.exe" but you'll need to double check that on your own computer. If you're using a different version of ghostscript, or a 32 bit version of Windows 7, it'll be somewhere else. Also make sure you use gswin32c.exe and not gswin32.exe, which is different.

Now find out exactly how many pages are in this PDF. I would know how to do that with a command in Linux, but I have no clue in Windows. I'm going to suppose it's 3002.

Now type in this command at the Command prompt (all one line):

FOR \L %G IN (1,1,3002) DO "C:\Program Files (x86)\gs\gs9.00\bin\gswin32c.exe" -dBATCH -dSAFER -dNOPAUSE -dFirstPage=%G -dLastPage=%G -sDEVICE=pswrite -o hello%G.ps hello.pdf

That's my best guess. But hopefully someone who actually uses Windows can confirm that this works.

For epsfiles instead change -sDEVICE#pswrite to -sDEVICE=epswrite and change hello%G.ps to hello%G.eps.

If you're using a batch file instead, use %%G instead of %G everywhere, change the ='s to #'s.

If "hello.pdf" is changed to something with spaces in it, use quotation marks, "hello world.pdf". Same for "hello%G.ps".

On GNU/Linux (or Mac OS X), the corresponding command would be:

for G in {1..3002} ; do gs -dSAFER -dBATCH -dNOPAUSE -dFirstPage=$G -dLastPage=$G -sDEVICE=pswrite -o "hello$G.ps" "hello.pdf" ; done

to have it autocalculate the number of pages to do, if you have seq and the poppler utilities installed (which come by default on Ubuntu, I believe), you could use:

for G in $(seq 1 $(pdfinfo academicregs.pdf | sed -n 's/Pages:[^0-9]*\([0-9]*\).*/\1/p')) ; do gs -dSAFER -dBATCH -dNOPAUSE -dFirstPage=$G -dLastPage=$G -sDEVICE=pswrite -o "hello$G.ps" "hello.pdf" ; done

Those I've tested and they work.