The Vivitar Series 1 lenses were supposed to be a good 3rd party lens at the time, but still usually cheaper than camera brand lenses.
My sisters first SLR was the Nikkormat, nice solid camera, but she never let me use it.
The Micro-Nikkor 105mm is still a good macro lens and can be used on the Nikkormat or on one of todays digital Nikon camera bodies.
The Sears lens even in its day was fairly cheap, but certainly usable.
The lenses for the Nikkormat will only fit that camera and the lenses for the Pentax will only fit that camera.
I had a similar Pentax, the ME Super, in the '80's. It's probably in a box somewhere.
Not much resale value, I agree that it all is worth somewhere around $200 - with about half of that for the Nikkor lens, so if your not interested then some options include: keep around for some family member that might take up an interest, or give to a local photography program (one that has the students spend some time with a film camera).
I got started in photography by pulling out my grandfathers old cameras, at least in my family it seems photography always skips a generation.