Question: how to check if domain controller is ntp server?
Answer: Use the w32tm /query /configuration command to review the current configuration. A member server should show "Type: NT5DS", which indicates it's syncing from the domain hierarchy. The PDCe should show "Type: NTP" to indicate that it's configured to use an NTP server.