Fdot Automated Quantity Theory