DEVAL: A Framework for Evaluating and Improving the Derivation Capability of Large Language Models