我们研究了确定由方程组指定的流的等式的复杂性。文献中有几个流模型的概念,每一个都产生了流相等的不同语义。我们在算术或分析层次结构中精确指出了这些概念的复杂性。它们的复杂度范围从算术层次的低水平,如∏02对于最宽松的河流模型,达到分析层次的水平,如∏11并将整个分析层次纳入到更具限制性但更自然的河流模型中。由于所有这些类都适当地包括了半可判定类和共半可判定的类,因此,无论使用何种流语义,都没有完整的证明系统或算法来确定流的相等或不相等。我们还讨论了几个相关的问题,例如方程组流解的存在性和唯一性,以及这些解的相等性。