> a 1
> b a
= b / 4
p b
> c 1.25
> d 10
= d * c
p d