Can you assume that any fraction is in simplest form if either the numerator or denominator is a prime number?

no, not if the prime divides the other part

12/3 is not in lowest terms