已知定义域为R的函数f(x)在区间(-∞,5)上单调递减,对任意实数t,都有f(5+t)=f(5-t),那么下列式子一定成立的是()
A.f(-1)<f(9)<f(13)
B.f(13)<f(9)<f(-1)
C.f(9)<f(-1)<f(13)
D.f(13)<f(-1)<f(9)