Solving Linear Algebra by Program Synthesis