this almost looks like you are getting into sentential and predicate logic, although not quite, but it could be considered a basic proof to go from (5/3 + 7/13)/(5/2 - 3/7) to 1204/1131 (is that the right answer?). just a thought...