I am working on finitely presented groups with more than 5 generators and relators and I'm so curious: is it possible to determine residually finitness of finitely presented groups with MAGMA or GAP?