Four times the sun of some number plus 3 is equal to 7 times the number minus 12