Does C++ Boost provide function(s) which can be used to compute the exact (i.e. rational, not a floating-point approximation) solution of a system of linear equations with rational coefficients?

I’m talking about systems consisting of, say, 3 to 6 equations and unknowns—i.e. for my purposes it doesn’t have to be something that performs well for huge systems of equations.