Solve 5 - 3(4x + 3) = 12x - 25 for x.
Solve 7(x + 4) - 3x = 8x + 8 for x.
Imported from external platform