Solved using angr!

Original writeup (https://anee.me/csaw-ctf-2016-finals-cookie-math-writeup-bb8cd88ac4c9#.9nm3ygfm9).