1-CDF[NormalDistribution[-100, 15 Sqrt@5], 0]