Towards Mathematical Agents -- Combining MathWeb-SB and LBA