Is this true?
R a PID implies R[X] is a PID
No — it is false.
From Rings and Fields › Euclidean, PID, UFD hierarchy