TPTP Problem File: ARI333=1.rm
View Solutions
- Solve Problem
%------------------------------------------------------------------------------
% File : ARI333=1 : TPTP v8.2.0. Bugfixed v5.3.0.
% Domain : Arithmetic
% Problem : Rational: Evaleq 5/2 * (63/100 + 1937/100) is (52/5 * 5/1) - 2/1
% Version : Biased.
% English :
% Refs :
% Source : [TPTP]
% Names :
% Status : Theorem
% Rating : 0.57 v5.2.0, 0.60 v5.1.0, 0.75 v5.0.0
% Syntax :
% SPC : TFF_THM_NEQ_ARI
% Comments :
% Bugfixes : v5.1.1 - Removed because it contained $evaleq.
%------------------------------------------------------------------------------