-1))/(34/(-19686)).  Which is smaller: q or 581? 
q
Let s = -1638 + 1899.  Which is smaller: s or 266? 
s
Suppose 2*t + 37 = -183 + 1128.  Which is smaller: 1817/4 or t? 
t
Suppose -394 = 2*i + 5*g, 4*i + 216 + 584 = -4*g.  Are i and -201 unequal? 
True
Let k be (72/15)/3 - (-81679)/(-15965).  Which is greater: -3 or k? 
-3
Let r(b) = 50*b**2 - 2*b.  Let t be r(-2).  Let g(q) = 1356*q + 28679.  Let j be g(-21).  Which is greater: t or j? 
t
Suppose -3*b + 3*w + 21 = 0, -2*b - 2*w + 12 = -3*w.  Let j(a) = -a**2 - 3*a + 159.  Let l be j(11).  Let r = b + l. Do r and 9 have the same value? 
False
Let i be (9/12)/((-36)/96).  Let b = 33 - 27.  Suppose 7*l - 1 = b. Which is smaller: l or i? 
i
Suppose -95 = -5*h + 5*t, -49 + 64 = 5*t.  Is h at most as big as 31? 
True
Let a(k) = 134*k + 20.  Let w be a(-3).  Let g be (-5)/w*40/(-50).  Is g at most -1? 
False
Suppose -3*v + 70*v = -58*v - 6625.  Is v at most -161/3? 
False
Suppose -38*b + 5 = 5*a - 42*b, 5*a + 4*b - 5 = 0.  Which is smaller: 3/1778 or a? 
3/1778
Suppose -5*j + 13*w = 9*w - 22, 5*j - 3*w = 19.  Which is bigger: 17/175 or j? 
j
Let m = 44149261939/54331 - 812598.  Are m and -1 equal? 
False
Let r = 24762/109523 + -1/3533.  Which is bigger: 1 or r? 
1
Let c be 29/((-5800)/11580) - 1/10.  Are -40 and c equal? 
False
Let m = 21/235 + 137/19505.  Is m < -1? 
False
Suppose 2*r = -2*r + 84.  Let z = -5/4459 + 8943/22295.  Which is greater: z or r? 
r
Let f = -69.7 - 15.3.  Let u = f - -86.2.  Is 2 greater than or equal to u? 
True
Let p be -2*-3*(-4)/(-8).  Suppose 5*y + p*h = 183, -4*h = -2*h + 8.  Let o be -5 - (-189)/y - 809/65.  Is o at least -13? 
True
Suppose 4*r + 97 = 4*j - 47, 16 = -4*r.  Suppose j = 41*q - 45*q.  Is -6 not equal to q? 
True
Let d(x) = 108 + 26*x + 3 - 18*x.  Let w be d(-14).  Is 25 at least as big as w? 
True
Let p be (22/(-99))/(6/27) - (-78 - -2).  Let c be 4/10 - 413/(-5).  Let a = p - c. Is -10 smaller than a? 
True
Let i = 1727/3 + -566.  Suppose -501*s = -505*s + 2888.  Let j = s - 712.  Is j greater than i? 
True
Let f = 4227 - 4252.  Is f <= -99/4? 
True
Let k be (-6974)/(-18) + 40/(-36).  Let l = k + -387.  Let s = -0.23 + -41.77.  Which is smaller: l or s? 
s
Let n = 6115/9958 - -1/766.  Is n at most as big as 1? 
True
Let h be (14/4)/((-99)/18 + 6) - 6.  Does -4/469 = h? 
False
Let w be (0/(-15)*(24/(-18))/(-4))/(-1).  Is -2/41241 at least as big as w? 
False
Let t = 708 - 709.  Which is bigger: t or -4/275? 
-4/275
Let g be (-6 + (-531)/(-90))/((-19)/(-23826)).  Is -125 < g? 
False
Let n(c) = 10*c - 61.  Let d be n(6).  Let v = 789 - 755075/957.  Which is smaller: d or v? 
d
Let m = -5496 - -5498.23.  Do 0.6 and m have the same value? 
False
Let o = -2947 + 475.  Let t = o + 514175/208.  Is 0 at least as big as t? 
True
Let n = -1908953651/11315 - -168710.  Is n < 0? 
True
Let g(j) = j**3 + 11*j**2 - 3*j - 38.  Let y be g(-11).  Let s = -69.9 + 71.  Which is greater: y or s? 
s
Let p be (-249)/(-156)*1 + 0.  Let i = -24/13 + p. Suppose m = -45*m - 14*m.  Which is smaller: m or i? 
i
Let i be (3/6)/((15/20)/3).  Which is greater: -574 or i? 
i
Suppose -3*m = -12*m + 162.  Let l be -24 + m - (-1900)/317.  Is l > -1? 
True
Let r be (-4 + 13 + 11)*2*4.  Let c = r - 313.  Which is bigger: c or -154? 
c
Suppose 40*c - 52*c = 1428.  Let p be (-7)/5*(-256)/3.  Let i = p + c. Is 0 less than i? 
True
Let d = -562 - -596.  Let i be ((-58)/4)/(d/1292).  Is i greater than or equal to -552? 
True
Let h(y) = -y**3 - 17*y**2 + 39*y - 11.  Let q be h(-19).  Let d be 466/12 + (-5)/q.  Is d greater than 1? 
True
Let d = 3304615/151 - 21885.  Which is smaller: d or 0? 
d
Let k(x) = 70*x**2 - x - 4.  Let o be k(-3).  Let q = -20359931/2279 + 440151/53.  Let t = o + q. Is 1 equal to t? 
False
Suppose 3*s - u - 3*u - 29 = 0, -2*s + 46 = -8*u.  Let f be ((-126)/(-567))/((-2)/s).  Are -3/19 and f unequal? 
True
Let n be -2 + ((-2091)/(-15) - -1).  Let w = -1046 - -908.  Let j = w + n. Which is greater: j or 8? 
8
Let f(i) = -i**2 - 10*i + 2.  Let t be f(-10).  Let d be (-48)/(-64)*(8/6 - t).  Which is smaller: -1/71 or d? 
d
Let t = 358 - 347.  Which is smaller: -113 or t? 
-113
Let d = -1007 - -1006.393.  Let k = -278.393 + d. Which is smaller: k or 1? 
k
Suppose -6 = -a + 4*t, a - 1 = 3*t + 3.  Let h be a/10*-22 - 44/110.  Suppose -r - h*v + 3 = -5, v + 117 = 4*r.  Which is bigger: r or 85/3? 
85/3
Let q(m) = -281*m - 382.  Let n be q(-2).  Which is bigger: n or 185? 
185
Let y(v) = -9*v**3 - 288*v**2 - 9*v + 45.  Let h be y(-32).  Which is greater: 331 or h? 
h
Suppose -26*h + 2300 = -h.  Let g = -110 - -203.  Which is greater: g or h? 
g
Suppose -8*l = 11*l + 7*l - 13182.  Which is bigger: -2/3 or l? 
l
Let j = -13584 + 33375.  Are 19791 and j unequal? 
False
Suppose 4*g + 3*f = 44, 4*f - 22 = -2*g + 7*f.  Let d = 10 + -14.  Let y(r) = r**2 + r - 5.  Let w be y(d).  Which is greater: g or w? 
g
Suppose 99*s - 132 = -3500 + 2.  Suppose -3*j = 2*j + 165.  Which is greater: j or s? 
j
Let j be (-2615)/(-4) - (-5)/20.  Let x = -1650 - -1645.  Let c be (3/x)/(j/90 - 8).  Which is bigger: c or 0? 
c
Let k(u) = u**3 + 10*u**2 + u - 8.  Let z be k(-9).  Let j = z + -60.  Suppose 3*o + 5 = -y - 2, 3*o + 32 = j*y.  Which is greater: o or 0.1? 
0.1
Let m be 214/(-896) - 4/(-14).  Suppose 5*p - x = 8, -6*p + x + 1 = -8*p.  Is p at least as big as m? 
True
Let c = -1.3503 + 1.2103.  Is c at most as big as -69? 
False
Let m = 114 + -229.  Which is smaller: 0.11 or m? 
m
Let t = 37 - 36.87.  Let d = -0.097 + t. Let h = 48 - 47.  Which is greater: d or h? 
h
Let u = -303.589 - 8.411.  Is 2/5 smaller than u? 
False
Let c(f) = -6*f - 28.  Let a be c(-7).  Suppose 4*v - a*v = 430.  Are v and -45 unequal? 
True
Let u(c) = -2*c**2 - 2.  Let f be u(-2).  Let n be 2/5 - (-4)/f.  Suppose -2*v + v = -y, 5*v + y + 24 = 0.  Which is greater: n or v? 
n
Let o(x) = -x + 155.  Suppose 4*b - 5*s = -69, s = -2*b + 5 - 22.  Let z be o(b).  Is z bigger than 166? 
False
Let p = 18.4 - 18.59.  Is -50 greater than p? 
False
Suppose v + 3*v = 20.  Suppose -v*x = -2*x - 30.  Let t be 8/(-5) + 1 + (-4)/x.  Is t at most -1? 
True
Let g be 24/(3 + 0) - (-11 - -11).  Let r be (-2*6/48)/(58/g).  Which is greater: r or 0? 
0
Let s be (40/(-15) + 1)*-3.  Suppose 0 = -17*w + 26*w - 27.  Which is bigger: s or w? 
s
Let t = -11 - -63.  Let m = 311 + -109.  Suppose t = -5*u + m. Which is greater: u or 1? 
u
Let m = -3838 + 3803.  Do 12 and m have different values? 
True
Let n be (-14)/((-31842)/(-2448) + -13).  Is n ! = -1905? 
True
Let c = -3815 + 4365.  Which is smaller: 1 or c? 
1
Let l = -637 + 735.2.  Let p = -98 + l. Let d = -15 - 16.  Which is greater: d or p? 
p
Suppose 0 = 29*l + 19*l - 41*l + 22288.  Is -3184 bigger than l? 
False
Let m = 319 - 163.  Let v be -1 + ((-4)/3)/(-2)*m.  Let w = -132 + v. Is 2 bigger than w? 
True
Let x(c) = c**3 + c**2 - 131*c - 8.  Let h be x(14).  Are h and 1098 nonequal? 
False
Let x = -8497 + 8504.  Let v(f) = -f**2 - 5*f - 1.  Let c be v(-5).  Do c and x have the same value? 
False
Let m(f) = 5*f**2 - 139*f - 28.  Let z be m(28).  Let p = -172719/146 + 1183.  Which is bigger: z or p? 
z
Let f = -40679 + 40771.  Let m = -7 - -7.1.  Is m at most as big as f? 
True
Let b = 8.99 + -42.99.  Let r = 34.018 + b. Do r and -0.07 have different values? 
True
Let x be 0*((-4)/(-4))/(-1) - 3.  Let w be ((-3429)/36)/(x/8).  Is w > 254? 
False
Let c = 4553 - 4553.05.  Let m be (-502)/1*12/(-51).  Let h = m - 118.  Which is smaller: c or h? 
c
Let t = -162.7 + 186.5.  Suppose -4*h + 2*h - 20 = 5*b, 0 = 3*h - b - 4.  Which is greater: t or h? 
t
Let v be 0*((-363)/(-66) - (0 - -5)).  Do v and 14/99 have the same value? 
False
Let r be (1 + (-7)/((-21)/4))/((-3)/(-9)).  Which is smaller: r or 153/19? 
r
Let q = 6 + -7.  Suppose 6*c = 10*c - 260.  Suppose -8*d + 3*d = -c.  Is d < q? 
False
Let b = -35352 + 98086/3.  Is -2658 less than or equal to b? 
True
Suppose 5*o - 8 = -5*z + 12, -4*z = 0.  Suppose 4*q = -o*u + 20, 0*u - u + 5 = 4*q.  Suppose 0 = 2*k - q*k + 3*k.  Which is greater: k or 2/49? 
2/49
Suppose -8*q = -3*q - 35.  Suppose q*d - 13 - 15 = 0.  Suppose 0 = 3*g - 2*i - 64, d*i = -25 + 5.  Is -0.1 smaller than g? 
True
Let x = 309 - -130.  Which is smaller: x or 442? 
x
Suppose 9*f - 559 = -4*f.  Suppose 4*v + 5*o = 15 - 2, 4*v - 5*o = f. Suppose v*b - b = 180.  Which is smaller: 32 or b? 
b
Let b be 9/54*24 - (-1630)/1.  Is b equal to 1637? 
False
Let h = 2688503/1250 + -10754/5.  Which is greater: h or -1? 
h
Let w(m) be the first derivative of -m**4/4 