Ручка коштує удвічі більше за олівець, тобто ми маємо:

Ціна ручки = 2 * Ціна олівця

Ціна олівця = 12,5 грн

Тоді, ціна ручки = 2 * 12,5 грн = 25 грн

Отже, ручка коштує 25 гривень.