If Trial Division and Miller-Rabin are functionally equivalent (compute the same results), then they simulate each other—correct?
No, not correct.
No, not correct.