The starting price of a taxi in a certain city is 5 yuan (distance within 3 kilometers, including 3 kilometers), and 1.5 yuan per kilometer for a distance exceeding 3 kilometers. Teacher Zhang paid 18.5 yuan by taxi from home to the library. How far is the distance from Teacher Zhang's home to the library?
某市出租车的起步价为5元(路程在3千米以内，包括3千米)，超过3千米的路程，每千米1.5元．张老师从家乘出租车到图书馆付了18.5元车费，张老师家到图书馆的路程有多远？
<gadget id="calculator">18.5 - 5</gadget>
<output>13.5</output>

<gadget id="calculator">13.5 / 1.5</gadget>
<output>9</output>

<gadget id="calculator">9 + 3</gadget>
<output>12</output>

<result>12</result>