['solve', 'for', 'X', '5x', 'minus', '3', 'is', 'less', 'than', '12', 'and', '4x', 'plus', '1', 'is', 'greater', 'than', '25', 'so', "let's", 'just', 'solve', 'for', 'X', 'in', 'each', 'of', 'these', 'constraints', 'and', 'just', 'keep', 'in', 'mind', 'that', 'any', 'X', 'has', 'to', 'satisfy', 'both', 'of', 'them', 'because', "it's", 'an', 'end', 'over', 'here', 'so', 'first', 'we', 'have', 'this', '5x', 'minus', '3', 'is', 'less', 'than', '12', 'so', 'if', 'we', 'want', 'to', 'isolate', 'the', 'X', 'we', 'can', 'get', 'rid', 'of', 'this', 'negative', '3', 'here', 'by', 'adding', '3', 'to', 'both', 'sides', 'so', "let's", 'add', '3', 'to', 'both', 'sides', 'of', 'this', 'inequality', 'the', 'left-hand', 'side', "we're", 'just', 'left']
['CASE_DIFF', 'NO_DIFF', 'CASE_AND_PUNCUATION_DIFF', 'NO_DIFF', 'UNKNOWN_TYPE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'UNKNOWN_TYPE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'CASE_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'CASE_DIFF', 'NO_DIFF', 'PUNCUATION_DIFF', 'NO_DIFF', 'NO_DIFF', 'NO_DIFF']