程伯符真的是司马氏的祖先么

是的。

司马姓是一个很古老的复姓，最早出自西周，属于以官职称谓为氏。上古时期，有一个人叫重黎，他是司掌天地的官；周宣王时期，重黎后人出了个叫程伯休父的人，他官至司马，执掌国家军队，佐政辅国，权势重大；后来，程伯休父克平许方，立下大功，被周王室允许他以官职为姓，其后遂成司马氏。