A library has 25,000 volumes of children's books, and 2,000 volumes of other books are three times less than children's books. How many thousand volumes of other books are there?
一个图书馆有儿童读物2.5万册，其他读物是儿童读物的3倍少0.2万册，其他读物有多少万册？
<gadget id="calculator">2.5 * 3</gadget>
<output>7.5</output>

<gadget id="calculator">7.5 - 0.2</gadget>
<output>7.3</output>

<result>7.3</result>