Time Saving Tools in SAT Math: Boost Speed & Efficiency