Math tricks for SAT