图书馆有科技书800本，科技书的本数比故事书的2.5倍少200本。学校图书馆有故事书多少本？（用方程解）