GitHub repository: spenserblack/you-should-be-able-to-solve-this
Primary language: Ruby
Description: Proofs that x - 7 = 19 + x can be easily solved