小明在一次检测中，数学和英语的平均分是83分，且语文、数学、英语三科的平均分不低于80分，则语文分数x应满足的关系式为.