18*h.  Let i(w) = -2*w.  Let l be i(-4).  Is l at least h? 
True
Suppose -40*o - 11566 - 1874 = 0.  Is -336 greater than or equal to o? 
True
Let d = 279880/29 - 9650.  Which is smaller: d or 1? 
1
Let m(u) = 23*u - 196.  Let n be m(15).  Is n at least as big as 149? 
True
Suppose -2*h - 2*z - 218 = 0, 0*z + 3*z = -4*h - 433.  Let k(p) = -3*p**2 - 23*p + 271.  Let m be k(8).  Is m >= h? 
True
Suppose -119*z + 1728 = -146*z.  Is -64 ! = z? 
False
Let d be (-1*0/4)/2.  Suppose d = 4*z - l - 14, 0 = -4*z - 5*l + 2*l + 6.  Let y(n) = -n**3 + 2*n**2 - 1.  Let v be y(z).  Is -10 greater than v? 
False
Let m be (-584)/(-8)*(-1 - 0).  Let o = 55 + m. Which is bigger: o or -19? 
o
Let j = 3 - 3.1.  Let c = -3.53 + -41.47.  Is c less than or equal to j? 
True
Suppose -39 = 4*p - 7.  Let b be ((-4)/(-12))/(2/(-18)).  Let o be 20/b - 4/(-6).  Which is bigger: o or p? 
o
Let q(u) = -10*u - 12 - 3*u**2 + 10*u**2 - 8*u**2.  Let x be q(-8).  Suppose -2*j + 0*n = 5*n, -4*j = x*n + 12.  Is j greater than or equal to -3? 
False
Let s be (-7)/(-10) + 3/(-15).  Let c(w) be the third derivative of w**4/24 - 5*w**3/6 + 3*w**2.  Let u be c(5).  Which is greater: u or s? 
s
Let y(b) = -b**2 + 9*b - 12.  Let z be y(3).  Suppose 0 = -5*r + 4 + 6.  Do z and r have the same value? 
False
Let d = 43 + -42.83.  Let j = d - 0.07.  Let k = -3.02 + 0.02.  Is j greater than or equal to k? 
True
Suppose 3*r + 2*b - 5 = -4, -2*r = -2*b + 6.  Let n be ((-1)/(-506))/(2/(-8)).  Is n at most as big as r? 
False
Let a be (-6)/(-2) - (-8 - (-417)/37).  Which is bigger: -3 or a? 
a
Let v = 74 - -4.  Let h = 77 - v. Which is smaller: 31/4 or h? 
h
Suppose 0 = 5*v + f - 0*f + 217, 0 = 3*v - 4*f + 121.  Is 1/2 at least as big as v? 
True
Let z be (-112)/25 + 65/13.  Which is greater: z or 1? 
1
Suppose -2*b - b + 36 = 0.  Suppose 0 = -4*u, 4*s + 0*s + 4*u = b. Suppose -4*y = -s*o - y - 9, 0 = 3*o + 2*y + 4.  Which is bigger: -7/4 or o? 
-7/4
Let p = 0 - -3.  Let h be ((-10)/p)/(20/390).  Is h at most as big as -66? 
False
Suppose g - 63 = -2*z, 7 = -5*z - 8.  Is 66 at least as big as g? 
False
Let h(w) = -4*w - 63.  Let v be h(15).  Let x = 121 + v. Is x < -7/4? 
True
Let o(k) = -4*k - 25.  Let b be 0/3 - (-3 + 1).  Suppose -b*h + 1 = 25.  Let q be o(h).  Which is smaller: q or 24? 
q
Let a be (36/48)/((-2)/(-72)) - 3.  Let b be (-6)/a - (-9)/(-12).  Which is greater: 0 or b? 
0
Suppose 4*p - 3*u = 89, 47 = 3*p + 5*u + 2.  Suppose 17*v - 42 = p*v.  Let j be 45/(-35) - 4/v. Which is smaller: -6/13 or j? 
j
Let h = -45 + 5.  Let l = -159/4 - h. Let c = -74.9 + 75.  Which is bigger: l or c? 
l
Let o be -10*((-324)/(-10))/3.  Let a = o - -39.  Let n = -203/3 - a. Which is smaller: 2 or n? 
n
Let o = -3 - -19.  Let f = o + -17.  Is -3 <= f? 
True
Let u = 0.71 - 0.51.  Are -13/4 and u equal? 
False
Let x be 8/20 + (-2)/(-20).  Which is greater: -19 or x? 
x
Let w be (0 - 2/2) + 3.  Suppose 2 = 2*y + t, y + 3*t - 19 = -w*t.  Is 1/40 ! = y? 
True
Let r be 14/2 - (1 + 0).  Suppose -10 + r = -4*h.  Suppose 0 = 3*c + 9, -4*c + 39 = 4*i - h. Is i smaller than 12? 
False
Suppose 2*o - h + 17 = 0, 9*o - 6*o - 5*h = -43.  Is -104/17 at most o? 
True
Let b(s) = -s**3 + 17*s**2 + 24*s + 2.  Let q be b(18).  Let y = q - 129.  Which is smaller: -24 or y? 
-24
Let d be -4 + 4 + 84/(-32).  Which is smaller: d or -2? 
d
Let f = -9 - -14.  Suppose -6 = -d - f*r - 27, -d = -2*r.  Let v be (-9)/((-36)/(-8))*14/4.  Which is bigger: v or d? 
d
Let s be 11/(-4) + (-3)/(-3).  Let h be ((-1)/(-2))/(2/8).  Suppose -5*o + 2*k = 18, -5*o - 14 = -3*k + h*k.  Do s and o have different values? 
True
Let f = -23.87 + 23.67.  Which is smaller: f or 143? 
f
Let y be (-24)/15*4945/92.  Let l(a) = 85*a**3 - 1.  Let s be l(-1).  Is y less than or equal to s? 
True
Let p = -0.15 + -0.11.  Let j = p + 0.06.  Let y(z) = -z**2 - 3*z + 3.  Let i be y(-4).  Is j at most as big as i? 
False
Suppose 5*m = -3*z - 80, -2*m - 36*z + 34*z = 32.  Suppose -76 = 7*y - 3*y.  Which is smaller: y or m? 
y
Suppose -2*k - 80 = -o, 5*o - k - 655 = -246.  Is 82 at most o? 
True
Let f = 49.08 - -0.42.  Let d = -49 + f. Is -1/2 smaller than d? 
True
Let i be 2*(1/(-1) + 0).  Let u = 102 + -56.  Let x = 46 - u. Which is bigger: i or x? 
x
Let r be 3/(12 + -3)*0.  Suppose 2*g - g = r. Suppose -3*m + 3 = -3*o, -6*o + o - 3*m + 19 = g. Are 4 and o equal? 
False
Let h be (((-1)/(-4))/(-1))/(3/16).  Let c = 41 + -33.  Which is greater: c or h? 
c
Suppose -2*v + 781 = b, b + 1159 = 5*v - 2*v.  Suppose -5*h + 4*f = 149 + v, 0 = -2*h - f - 220.  Which is bigger: h or -108? 
-108
Suppose 0 = -3*v - 5*r + 28, 2*v = r + 15 + 21.  Which is smaller: 14 or v? 
14
Let g = 107.7 - 120.  Let a = g - -13.  Which is bigger: a or -0.2? 
a
Let i = -3/53 + 3413/371.  Which is bigger: 8 or i? 
i
Let h(v) = 3*v**2 + 2*v.  Let m be h(2).  Suppose q + 5 = 0, m = 3*g - 0*q + 4*q.  Which is bigger: g or 11? 
g
Let d = 0.041 - 13.931.  Let y = -14 - d. Let k = y - -0.01.  Is k not equal to -0.7? 
True
Let v = -75 - -132.  Let p = -53 + v. Is p < -1? 
False
Let r(m) = m**3 + 110*m**2 + 422*m - 222.  Let p be r(-106).  Suppose 4*k - 2*o + 35 = -5*o, 2*k - 4*o + 12 = 0.  Do p and k have the same value? 
False
Suppose 435 = -4*t - t. Let m = 19 + t. Let l be m/(-36) - (5 + -3).  Which is smaller: -1/2 or l? 
-1/2
Let p = 32 + -29.  Let m be 6*(134/44 - p).  Do 0 and m have different values? 
True
Let n be 682/55 + 3/5.  Suppose n*u - 9*u = 0.  Suppose u = -5*z + 41 + 34.  Which is smaller: z or 14? 
14
Let m be (-2)/7 + 144/553.  Let g be (2/4)/(6/48).  Suppose -12 = -g*u - 8.  Which is smaller: u or m? 
m
Suppose -3*y + 0*y - 38 = -l, -4*y = -2*l + 76.  Is l at most as big as 38? 
True
Let p(k) = -k**3 - 9*k**2 + 10*k + 12.  Let u be p(-10).  Suppose -u = -5*b + 4*i, b - 5*i - 15 = -0*b.  Let c = 155/36 + -32/9.  Which is bigger: b or c? 
c
Let f be (-23 + 7)*(-19)/2.  Let b be f/(-52) - (-8)/4.  Which is smaller: b or -2? 
-2
Let t be (-51)/(-21) - (-4 + (-124)/(-28)).  Suppose 0 = 2*j + t*j.  Let y be (0/(-4 + 1))/2.  Do y and j have the same value? 
True
Suppose 5*v = y - 16, -21 + 2 = 5*v - 4*y.  Let k be 9/(-15) + v + 128/30.  Which is smaller: -41 or k? 
-41
Let x be (16 + -3)*26/169.  Is x >= -124? 
True
Let v be ((-2)/(-3) + 64/12)/(-2).  Let n(t) = -t**2 + 5*t + 4.  Let j be n(6).  Let d be 2*j/(-12) - 2.  Which is greater: v or d? 
d
Let c be (-33)/(-55) + 6/15.  Let q = -43 - -389/9.  Is q less than c? 
True
Let u = -413 - -413.  Which is bigger: -4.4 or u? 
u
Let n = 4.2 - 0.2.  Let w = -5771 + 46167/8.  Which is greater: w or n? 
n
Let c(g) = -5*g.  Let d be c(-1).  Suppose d = -4*s - 11.  Let m(v) = 2*v**3 + 78*v**2 - 2*v - 81.  Let x be m(-39).  Which is smaller: s or x? 
s
Let p = -140 + 139.  Is -9 < p? 
True
Let c(t) = 3*t - 67.  Let z be c(19).  Does z = -10? 
True
Suppose 6*d = 9*d - 45.  Let m be 25/d*(-2)/5.  Are m and -2/5 equal? 
False
Let k be 2/(-6) - (728/(-24) - -8).  Let s be (55/(-15) - -4) + k/(-3).  Is -49/6 equal to s? 
False
Let k = -223 + 238.14.  Let z = 15 - k. Let m = 0.86 - z. Which is greater: 5/4 or m? 
5/4
Let f = 29 - 28.55.  Let c = f - -0.15.  Is -3 at most c? 
True
Suppose -100*x = -55*x - 720.  Let r(c) = 2*c**2 - 7*c.  Let p be r(5).  Suppose -15 = -2*n + p. Which is bigger: x or n? 
x
Let u = 169 - 226.  Is u less than or equal to 0.2? 
True
Suppose -2*t - 15 = 3*t.  Let w = 15 + -11.  Is w less than or equal to t? 
False
Suppose 33 = -j - 7*g + 2*g, 0 = g - 1.  Let u = j + 39.  Let c = 661/3 - 218.  Is c greater than u? 
True
Let a = -20.1 - -16.1.  Let s = -1 - -3.  Does a = s? 
False
Let s be -2 - (-4 - -2)/(-2).  Let u be 3/(s*3/(-9)).  Suppose y - 2*d - 24 = -y, 36 = u*y - d. Are y and 13 equal? 
False
Let k = -9 - -10.  Suppose k = -9*t - 17.  Is t not equal to -2? 
False
Let r = 1.7 + 0.3.  Let i = r + -1.  Is -0.8 less than or equal to i? 
True
Let m be (-15)/(-40)*4*(-2 - 0).  Let t be (6 - 4) + 0 - (-22)/m.  Let c(d) = -d**3 - 3*d**2 - 1.  Let y be c(-2).  Which is smaller: y or t? 
t
Let j(h) = h + 14.  Let p be j(-10).  Let a be (4 + -1)/((-6)/p) - -2.  Is a less than 1/18? 
True
Suppose -4*q = 0, 0*w = -w - 5*q + 24.  Let t be 81/w - 24/8.  Is 2/3 < t? 
False
Let z = 11.24 - 11.  Let s = -9.76 - z. Let w = s - -9.  Is w greater than 3/7? 
False
Let a = -6449/5 - -1169.  Is a at least -122? 
True
Suppose 8 = -3*m - 10.  Let v be 2/m - 48/(-9).  Let k = 5 - v. Does k = 5/8? 
False
Let h(c) = -c**3 + 6*c**2 + 7*c + 4.  Let s be h(7).  Suppose 9 = 3*t - 2*n - 17, 28 = s*t - n. Let z = -217 - -222.  W