97.  Which is smaller: o or -1/375? 
o
Suppose 169 = 2*k + j, 32 = k + 4*j - 35.  Which is smaller: k or 88? 
k
Let l(o) be the first derivative of -2*o - 12 - 1/3*o**3 - 3/2*o**2.  Let j be l(-2).  Which is bigger: j or -1/3? 
j
Let d = 14.6 + -13.63.  Let l = 1.03 + -1.  Let c = l + d. Is c at least as big as -0.4? 
True
Let b(m) = -5*m**2 + 3*m - 3.  Let o be b(2).  Let j be (12 - 11)*(-2)/o.  Is -1 < j? 
True
Let o = -954 - -44836/47.  Let m(y) = -y - 8.  Let l be m(-8).  Which is greater: l or o? 
l
Suppose 4*d + 12 = -4*i, 5*d - 2 = -2*i - 14.  Is -15/22 at most i? 
False
Let y = 0.45 - -10.85.  Let m = 11.4 - y. Let s be 2/7 - 57/(-21).  Which is smaller: s or m? 
m
Suppose 216 = 44*j - 26*j.  Is 47/4 not equal to j? 
True
Let d(w) = -73*w**2 - 5*w + 4.  Let f be d(1).  Let c = f + 76.  Which is smaller: c or 3/7? 
3/7
Let j(y) = y**3 - 5*y**2 + 2*y + 5.  Let l be j(5).  Suppose -l = -0*w - 5*w.  Suppose 3*d - v - 1 = v, -w*v - 15 = 0.  Is d less than -3? 
False
Let a = 89 - 143.  Let c be 6/4 - -5*15/a. Let p = 3 - 4.  Which is greater: p or c? 
c
Let u = -10 + 29/3.  Let d = 6.6 - 5.67.  Let b = d - -0.07.  Which is smaller: b or u? 
u
Let p be 189/84*(-2 - 10).  Suppose 4*w - 80 = 3*v - 6, 5*v + 133 = -3*w.  Let n = p - v. Does 3 = n? 
False
Let v = 8 - 16.  Let p be ((-4)/10)/(v/(-5)).  Are p and 1 equal? 
False
Let w = 3 + -5.  Let t be (-8)/(-12)*6/(-4).  Which is greater: t or w? 
t
Let j(v) = -3*v**2 - 3*v - 28.  Let b be j(-7).  Is b greater than or equal to -155? 
True
Let d = 47 + -50.  Let j be 1/d*(-3)/2.  Is -7 greater than j? 
False
Suppose 19*z - 10 = 14*z.  Suppose -5*j + 6 = n + 18, z*j + 4 = 0.  Let l be 3 + ((-6)/4 + 0 - 3).  Is n less than l? 
True
Suppose -3*p + 8*p - 130 = 0.  Let f be 1/4*700/(-24 - -31).  Is p smaller than f? 
False
Suppose 6*k = -117 + 15.  Which is smaller: -15 or k? 
k
Let i(h) = -h**3 + 8*h**2 - h - 7.  Let s be i(8).  Let z(d) = d**2 + 15*d - 2.  Let x be z(s).  Does x = -18/11? 
False
Suppose 4*f - 2528 = -8*k, -7*k + 5*f = -2*k - 1610.  Is k less than 317? 
False
Let d be (-2)/(-5) - 62/5.  Let z be d/(-9)*((-34)/(-28) + -1).  Which is smaller: z or 2/11? 
2/11
Let s = 17 + -14.  Suppose -11 = -o - 3*y - 2, o - 5*y = -15.  Suppose -w + 2*w = o. Which is greater: w or s? 
s
Let a = 3 + -17.  Let v = -6 - a. Do 6 and v have different values? 
True
Suppose 0*a + a = -2, a + 40 = 2*v.  Let k = v + 8.  Let b = k - 25.  Which is greater: 5 or b? 
5
Suppose 0 = -116*j + 111*j.  Is j bigger than -8/77? 
True
Let r = -1.99 + -3.11.  Is r > -2/7? 
False
Let m = 265927/80 + -3324.  Which is bigger: -1 or m? 
m
Let d = -3227706/673 + 4796.  Let n = d - -2682/3365.  Let q = 72 - 70.  Which is bigger: q or n? 
q
Let u be 16/(-6) - 4/(-6).  Suppose 11*c = 6*c + 10.  Suppose 7*f = l + c*f - 22, -4*l - 2*f = 22.  Which is smaller: u or l? 
l
Let t = -16 - -44.  Let a = t - 27.  Which is smaller: -1/47 or a? 
-1/47
Let i be (-6)/(-2) + 2*(-276)/190.  Let r = -2/19 - i. Is 2 less than or equal to r? 
False
Suppose -61 - 231 = -4*h - 4*r, -2*h + 2*r + 150 = 0.  Let b be (h/21)/(5/(-15)).  Do -12 and b have the same value? 
False
Let u(x) = x**3 - 5*x**2 + 7.  Let a be u(5).  Suppose 12 = -a*d + 4*d.  Suppose -5*o = -s - 0*s - 28, -5*o + 19 = 2*s.  Do d and s have the same value? 
False
Let y = 15.3 - 16.13.  Let w = 0.17 - y. Let q = -5.3 + -17.7.  Which is bigger: q or w? 
w
Let y be (-164)/18 + (-2)/306*-17.  Which is greater: y or 7? 
7
Let x = -369 - -319.  Suppose 3*z - 2*z = -20.  Let q be (-47)/(-55) - z/x. Which is bigger: q or -1? 
q
Let o = -32 - -14.  Let z be 3/o*3*-4*2.  Which is bigger: 8/3 or z? 
z
Let r = -33 + 46.  Let u = -21 + r. Let t be -5*3*21/35.  Are t and u unequal? 
True
Let j be 2*(-36)/(-32)*16.  Let h be (-8)/(-32) - 1/j*-31.  Which is smaller: 2 or h? 
h
Let o = 61 + -61.  Suppose -2*h + 4*a = -o*h - 14, 3*h - 6 = a. Let f be 1/((-14)/(-4))*1.  Is f ! = h? 
True
Let o be (20/(-22))/(13/(-143)).  Which is bigger: 11 or o? 
11
Let o = -0.7 + -0.3.  Let f = 119 + -122.  Let q = o + f. Which is greater: q or -1? 
-1
Let s = 0.018 + -0.118.  Is s not equal to 84/5? 
True
Suppose 3*c - 69 = -5*o + o, -o - 111 = -4*c.  Suppose -192 = -5*k + 2*r, -k + 2*r + c = -5.  Which is smaller: k or 39? 
39
Suppose 17*a = 21*a - 2532.  Let w be a/(-33) + -1 + (-4)/(-22).  Is -19 smaller than w? 
False
Let u(m) = m**2 - 8*m + 10.  Let q be u(6).  Suppose -4*v + 38 = -v - 4*y, 0 = -5*v + 2*y + 54.  Is v equal to q? 
False
Let m be -1 + 0 - 2 - (-4 + 1).  Is m at most as big as 1/590? 
True
Let b = -0.0565 + -13.6435.  Which is smaller: -1 or b? 
b
Let j be 2 - (-2)/(2 - 4).  Let x be (-6)/(-10)*(-11 - -26) - -1.  Let k be (-6)/x + 186/110.  Does j = k? 
False
Let d = -144 - -173.  Which is smaller: 5 or d? 
5
Let f = -6 + 212/35.  Let z(j) = -3*j**2 - 3*j.  Let v be z(-1).  Is f < v? 
False
Let h = -31 + 35.  Let d be 4 + (-168)/20 + h. Which is smaller: d or 3? 
d
Let k = 541.9 + -253.  Let u = k + -303.  Let c = -14 - u. Is 0.02 greater than c? 
False
Let f(v) be the first derivative of 2*v**3/3 + 12*v**2 + 20*v - 19.  Let b be f(-11).  Let y = -150 - -597/4.  Which is smaller: y or b? 
b
Let m = -6.54 - -7.  Let n = m - 0.76.  Which is smaller: n or 3? 
n
Let v be -5 + 2 + 5 + -4.  Let n = -21 - 38.  Let z = 405/7 + n. Which is bigger: v or z? 
z
Let r(m) = -5*m**3 - m**2.  Suppose 0*p - 5*p = 5.  Let z be r(p).  Suppose 300 + 6 = 133*o - 93.  Do z and o have the same value? 
False
Let l = -0.24 - 0.16.  Let t = -47.12 + 50.  Let d = 0.12 + t. Which is greater: d or l? 
d
Let m = 2/65 + 53/390.  Let z be (-4)/(-2) + (-10 - -8).  Which is smaller: z or m? 
z
Let y = 227/75 + -84/25.  Is 560 equal to y? 
False
Let f be ((-1)/((-4)/8) - -3)/1.  Suppose -2*y + 5*y - f*q + 12 = 0, 0 = -4*y - 4*q + 16.  Are 3/2 and y equal? 
False
Let r(h) be the second derivative of -h**4/2 + 2*h**3/3 - 2*h**2 - 6*h.  Let x be r(2).  Suppose -12 + 92 = -4*y.  Is y > x? 
False
Let a be (-2)/(16/(-6)) - (-149)/4.  Let t be (-5 - -4) + a/(-8).  Which is bigger: -5 or t? 
-5
Suppose 8*x + 4*x = 2*x.  Let p = -100 + 152.  Let v be ((-6)/p)/(12/16).  Which is smaller: x or v? 
v
Let u be (-507)/26 - (-1)/(-2).  Let j = -15 - u. Suppose -4*d + 0*o = -2*o + 4, -2*d = -j*o + 10.  Which is smaller: d or 1? 
d
Suppose -m - 16 + 9 = -2*y, 8 = 4*m + y. Which is bigger: m or 1/282? 
m
Let w(c) = c - 67 + 146 - 67.  Let v = 8 - 14.  Let j be w(v).  Do j and 6 have the same value? 
True
Suppose 240 + 192 = 54*i.  Which is bigger: i or 105? 
105
Let n be 8/(-1)*((-6)/8)/3.  Which is smaller: -2 or n? 
-2
Let z be 3 - (8 - (-135)/(-25)).  Is -11 at least z? 
False
Let n(y) = 4*y + 4.  Let r be n(7).  Let l = r + -12.  Suppose 0 = 5*i - 0*i - l. Which is smaller: i or 3? 
3
Let y(v) = v**2 + 4*v - 65.  Let a be y(-12).  Are a and 35 equal? 
False
Let n = -0.022 + -0.388.  Let b = n - -0.61.  Are b and -21 equal? 
False
Suppose 3*w - 320 = -311.  Suppose w*f - 27 = -5*k, 0 = f - k - k - 20.  Which is smaller: 73/5 or f? 
f
Suppose 0 = -3*z - 3, z = 2*f + 6*z - 3.  Suppose f*g - 39 - 41 = 0.  Let k be (-3 + g/8)*2.  Which is greater: 1/16 or k? 
1/16
Let m = 2.31 + -2.11.  Which is bigger: 3/16 or m? 
m
Suppose 0 = 2*g + 4*l + 8, 0 = 2*g - 3*l + 2*l + 33.  Let u = g + 20.  Let c be 34/20 + u/(-4).  Which is smaller: c or 0? 
0
Suppose 0 = -6*i + i. Let d be 4/(-10) - i/9.  Let h be ((-30)/14 + 2)/(-1).  Which is smaller: d or h? 
d
Suppose -52*t + 67*t - 30 = 0.  Suppose 0 - 4 = 2*n.  Let w = n - -3.  Are w and t unequal? 
True
Suppose -4*b + 12 - 20 = 0.  Let k be (-596)/196 + (-6)/b.  Is k smaller than 1? 
True
Let q(a) = a**2 - 21*a - 48.  Let t(h) = -5*h - 2.  Let z be t(-5).  Let d be q(z).  Which is smaller: d or -3? 
-3
Suppose 0*y + 4*b + 7 = -y, 2*b = 5*y + 13.  Let h = y - -6.  Let p = -140 + 140.03.  Which is greater: h or p? 
h
Let j = 2.04 + -2.  Let x = 1.96 + j. Let f = -47 - -185/4.  Is x greater than or equal to f? 
True
Let v be -1*5 - ((-4)/2 - 3).  Let x = -667/8 - -83.  Which is bigger: x or v? 
v
Let o be (-1 - -1) + 1/4.  Let a = 1165 - 1165.48.  Do a and o have different values? 
True
Suppose -2*q - 3*q + 5 = 0.  Which is smaller: -194 or q? 
-194
Let h be 4*((-4)/(-6))/((-248)/93).  Is h at least as big as -129? 
True
Let n = -0.3034 + 0.3034.  Is n equal to 5/8? 
False
Let d = -9.9 - -1.9.  Let j = d - -8.2.  Let o = 0 - j. Is 1 at least o? 
True
Let z = 18 + -13.  Suppose -z*t - 16 = -3*t.  Let k(y) = -2*y - 5.  Let w be k(t).  Do 12 and w have different values? 
True
Suppose -159*u + 