TPTP Problem File: MSC022=1.rm

View Solutions - Solve Problem

%------------------------------------------------------------------------------
% File     : MSC022=1 : TPTP v7.5.0. Bugfixed v5.3.0.
% Domain   : Miscellaneous
% Problem  : Celcius 37 to Fahrenheit conversion
% Version  : Biased.
% English  : 

% Refs     : 
% Source   : [TPTP]
% Names    :

% Status   : Theorem
% Rating   : 0.86 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.
%------------------------------------------------------------------------------