TeX source:

x=\dfrac{80}{15}=5\dfrac{1}{3}