Provided are methods for sequestering carbon dioxide from a synthesis gas to provide a gaseous and an aqueous product. A recovery method and system for combusting the gaseous product and utilizing the aqueous product is provided. Methods and systems are described for utilizing the aqueous product in an electrochemical or a precipitation reaction. Compositions of sequestered carbon dioxide are provided.