e 8/14 + 48/(-56).  Let k(w) = -2 - 5*w + 2*w - 20*w**2 + w + 1.  Let r be k(-1).  Is a less than r? 
False
Let m(n) = -n**3 + 5*n**2 + 2*n - 7.  Let a be m(5).  Let h be 10/(-2 - a) + 2.  Is -2/5 less than h? 
True
Suppose -5*c - 49 = -d, 5*d - 36 + 16 = 0.  Suppose 0 = -5*f + 7 + 18.  Is c equal to f? 
False
Suppose 5330 = -28*q + 15*q.  Is q bigger than -0.2? 
False
Let u be (-1032)/(-495) + -1 + 8/44.  Is 2 bigger than u? 
True
Let o be -3 - ((-643)/5 + -2).  Let z = o + -127.  Are 0 and z equal? 
False
Suppose 3*h + 18*h = 336.  Which is smaller: h or -2? 
-2
Let v = 0.645 - 6.645.  Which is smaller: v or -4/17? 
v
Suppose 4*j = -5*b - 195, -j + 2*b + 186 = -5*j.  Let m = 53 + j. Which is smaller: m or 0? 
0
Let v = 1512 + -75591/50.  Let q = v + -193/100.  Is -3 < q? 
True
Let u = -5/3 - -23/12.  Suppose -6*g - 4*w - 20 = -2*g, 0 = -4*g - w - 20.  Let t(c) = c**3 + 4*c**2 - 6*c - 6.  Let i be t(g).  Are u and i non-equal? 
True
Suppose 5*b - 5 = -3*f, 2*f - 4*b = -7*b + 3.  Let d = 107603 - 1397944/13.  Let c = -69 + d. Which is smaller: c or f? 
c
Let u = 125 + -128.  Is u greater than or equal to -27/8? 
True
Let z = -1847980/11 - -167804.  Suppose 219 = -5*i - 751.  Let t = z - i. Are 0 and t nonequal? 
True
Let b = -147 + 147.  Which is greater: -9/29 or b? 
b
Let g be (-5 + 4)*(-6)/(-18).  Let m = -5 + -2.  Let z = m - -4.  Is g not equal to z? 
True
Suppose -2*d + 7*d - 30 = 0.  Suppose d = g + 2.  Let p be -1*((7 - g) + -2).  Which is smaller: p or 4/9? 
p
Let o = -73 + 66.  Which is greater: -4/9 or o? 
-4/9
Let k be (-2)/4*-5*-1.  Let i(a) = a**2 + 14*a - 35.  Let o be i(-16).  Is o > k? 
False
Let y = -11.61 + 11.6.  Which is greater: -0.7 or y? 
y
Let c be 3/(-15) - 12018*(-5)/(-38675).  Let q = c + -1/91.  Are q and -3 nonequal? 
True
Suppose -c = 2*t - 10, -2 = -5*c + 4*t - 8.  Suppose 3*a = -15, 3*o + c*a = 6*o - 22.  Suppose -1 = o*d - 13.  Is d <= 5? 
True
Let f = 3.17 + 0.83.  Which is bigger: 18 or f? 
18
Let q = -16 - -73.  Suppose -4*m + q = 1.  Let s = m + -15.  Is -2 at least as big as s? 
False
Let m = -2.122 - -0.222.  Are 1 and m unequal? 
True
Let g(v) = -3*v**3 + 33*v**2 + 35*v + 11.  Let s be g(12).  Which is smaller: -1/4481 or s? 
s
Let o be 14/(-77) - -109*(-2)/11.  Let h be 2/((-16)/o)*(-16)/(-580).  Is h > 1? 
False
Let a = -61.25 - 0.65.  Let w = a - -62.  Is w > 7/5? 
False
Let h = 0.716 + 2.174.  Is h at most -0.2? 
False
Let h be 1*-8 - 2 - 420/(-70).  Does h = 15/16? 
False
Let p = 41 + -38.  Suppose 0 = -18*b + 15*b - p. Which is smaller: 8/25 or b? 
b
Let r = 1780 + -1309.  Which is bigger: r or 470? 
r
Suppose -4*v - 14154 = 38*v.  Are -335 and v equal? 
False
Suppose -2*s = 107 - 87.  Let b = 11 - 9.  Is b at most s? 
False
Suppose 2*q - 2*j = -6*j - 86, 3*q + 89 = 4*j.  Let y = -31 - q. Is y > 2? 
True
Suppose 2*i - 10 = 0, -5*i - 29 = -2*t - 8*i.  Which is bigger: t or 58/7? 
58/7
Suppose -2*c + 3*c - 2 = 0.  Suppose -c*m + o - 1 - 3 = 0, 8 = 5*m + 2*o.  Let v be (-6)/63*(-18)/4.  Which is greater: v or m? 
v
Let n = 2 + 1.  Let s = n + -4.  Let v = 39 - 21.  Is v ! = s? 
True
Let u be (1372/63 - 22) + 214/2178.  Which is bigger: 1 or u? 
1
Let t(m) = 5*m - 4*m - 11 - 2*m + 15.  Let v be t(4).  Which is greater: 2 or v? 
2
Suppose o = 3*o + 6.  Let y = o + -85.  Let f be 1/3 - y/(-12).  Is -6 at least f? 
True
Let o = 11 - 12.  Let b = -4 - -3.91.  Is o greater than b? 
False
Suppose -23*u - 650 = -10*u.  Which is greater: u or -3? 
-3
Suppose -156 = -4*l + 4*h + 20, -l = h - 36.  Which is bigger: 49 or l? 
49
Let a = -5038 - -95747/19.  Which is smaller: a or 1? 
1
Let q = -37.4 - -35.  Let o = q - -2.5.  Suppose -5*l - 21 = 9.  Which is smaller: l or o? 
l
Let d = -17.1 + -3.9.  Let l = d - -21.  Let j = -0.037 - 0.233.  Which is smaller: l or j? 
j
Let k(b) = -b**2 + 4*b - 4.  Let i be k(4).  Let a be ((-2)/i)/((-1)/12).  Let v(m) = m + 11.  Let g be v(a).  Do 6 and g have different values? 
True
Suppose 2*d - 3*d = -5*q + 12, 3*d = -5*q + 24.  Let i(w) be the first derivative of -w**2/2 - w - 6.  Let g be i(d).  Are -2 and g equal? 
False
Let s = 197.4 - 197.  Which is bigger: s or 5/4? 
5/4
Let x be (-890)/45*-3*(-3)/(-2).  Which is bigger: 88 or x? 
x
Let b = 4/357 - 16474/4641.  Which is smaller: b or -4? 
-4
Suppose 3*u + 29 - 14 = 0.  Is -57/10 at most as big as u? 
True
Let n = -30.2 - -27.  Let k = 3.6 + n. Is k greater than or equal to 2/13? 
True
Let i = -8216/3 + 2811.  Is i bigger than 71? 
True
Let l = -41 + 41.  Which is greater: -5/28 or l? 
l
Let g be (-3)/((-12)/(-20))*18/16.  Which is bigger: -5 or g? 
-5
Let x(c) = -c**3 + 64*c**2 + 499*c + 23.  Let l be x(-7).  Let h = 11 + -7.  Which is smaller: l or h? 
h
Let u = -1330 + 1323.  Is 2 at most as big as u? 
False
Let m = 0.531 - 0.831.  Let r = -0.3 + 0.4.  Do m and r have different values? 
True
Let k be ((-1880)/(-282))/((-1)/3).  Do k and 16 have different values? 
True
Suppose q - 16 = -2*p, 0 = -2*q + 2*p + 4 - 2.  Let g = -8 + q. Let i be ((-1)/8)/(g/(-4)).  Is 6 greater than or equal to i? 
True
Suppose -5*h - 6 = j, -2*j - 3*h - 54 = -7*j.  Let n be (j/(-12))/3 - (-5)/20.  Does n = 2/9? 
False
Suppose 761*t = 765*t + 4.  Is t > -4/21? 
False
Let x(l) = -8*l + 11.  Let k = -66 + 69.  Let u be x(k).  Which is greater: -12 or u? 
-12
Let p = 502 - 516.  Which is smaller: p or 4? 
p
Suppose 179*x = -4 - 175.  Let s = 4 + -7.  Let l be (s/2 + -1)/3.  Which is bigger: l or x? 
l
Let v = 27 - 23.  Let p = 14 + v. Which is smaller: 0.1 or p? 
0.1
Let x = -182 - -385.  Is 203 at most as big as x? 
True
Let g be (-16)/(-96) + 1996/(-168).  Is -2 bigger than g? 
True
Let i = 34929/53 + -659.  Let a be (-6)/(-96)*-926 - (-2)/(-16).  Let g = a - -57.  Which is smaller: i or g? 
g
Let x = 21 - -28.  Let s = -52 + x. Is s <= -0.6? 
True
Let s = 24.4 + -22.  Let p = -0.4 + s. Suppose 3*a - 3 = 3*z, 3*a - 252 = -243.  Is p > z? 
False
Let g = 1058 + -1069.  Which is bigger: g or -0.2? 
-0.2
Let s = -18 + 26.  Let u be 45*13*(-14)/(-910).  Is u at most s? 
False
Let y be (-5 + 4)/(1/(-28)).  Let t = y - 19.  Suppose -5*q = -2*o - 49, -t - 6 = -q + 3*o.  Is 11 at least as big as q? 
True
Let q be (-5)/(-25)*-2*(-5)/7.  Let w = 0.2 - 1.9.  Which is smaller: q or w? 
w
Let m = 1.9 - 1.  Let n = m + 0.1.  Suppose 15*w - 5*v - 12 = 17*w, 3*w + 2*v - 4 = 0.  Is n at most w? 
True
Let v = -19534 - -22444564/1149.  Is -1 <= v? 
True
Suppose 3*w = 2*t + 6, 0*w = 3*t + 5*w - 10.  Let l(p) = -2*p + 19.  Let a(y) = -3*y + 20.  Let u(g) = -5*a(g) + 6*l(g).  Let n be u(-5).  Which is greater: t or n? 
t
Suppose -2*q - 1 = n, 14 = 5*q - 0*n - 3*n.  Let w be q - (-3)/((-15)/14).  Suppose -z + 6*z - 15 = 0, 0 = 2*a + 2*z - 2.  Which is bigger: w or a? 
w
Let j(o) = 3*o**2 + 40*o + 133.  Let s be j(-6).  Are s and 1/194 equal? 
False
Let o = -57 + 105/2.  Suppose -3*l - 18 = -4*s + 10, 3*l + 2*s = -4.  Is o greater than l? 
False
Let l(k) = -4*k - 11.  Let s be l(-2).  Let y = 0.1 - -0.1.  Let u = y - 0.  Which is smaller: u or s? 
s
Let j = -0.99 - -1.05.  Let r = -0.06 + j. Which is smaller: 6/7 or r? 
r
Let u = 391 + -675.  Let a be 18/(-117) - u/(-13).  Are a and -23 unequal? 
True
Let o = 0.4 + -0.4.  Let h = 50.08 - 50.  Is h smaller than o? 
False
Suppose -3*j = -7 + 4.  Let l(m) = -m**3 - 1.  Let p be l(j).  Is 9 >= p? 
True
Let r = 5879/60 + -492/5.  Let v = 116 + -115.  Which is greater: v or r? 
v
Suppose 45*f = 56*f - 88.  Is 13 < f? 
False
Let o(d) = -2*d**3 - 10*d**2 + 4*d - 22.  Let z be o(-6).  Is z less than 23? 
False
Suppose 4*n = 2*z - 2, 5*z - 2*z = 15.  Suppose -3*b = -n + 14.  Is b greater than -5? 
True
Let k be (-2 + 4*1)/2.  Let o be (-1 - (-2)/8) + 15/4.  Let h be o/k - (-6 + -17).  Which is greater: 0 or h? 
h
Let a = 689 - 689.  Let u = -2.1 - -2.  Let s = 0 + u. Is s > a? 
False
Let y = 33 - 30.  Suppose 50 = 2*b - 2*o - y*o, 3*o = -12.  Let t be b/(-5) - 7/(-3).  Which is greater: t or -2/7? 
-2/7
Let o be (-194)/(-9) - 26/117.  Let c = o + -22.  Is 9 bigger than c? 
True
Let n = 2891 - 2890.9.  Which is smaller: n or 528? 
n
Let a be 120*20/(-855)*-129.  Let g = -362 + a. Which is smaller: 0 or g? 
0
Let y(k) = 7*k**3 + 9*k**2 + 2*k + 4.  Let l(z) = 8*z**3 + 9*z**2 + 3*z + 3.  Let d(q) = -5*l(q) + 6*y(q).  Let g be d(-5).  Are 4/15 and g nonequal? 
True
Let k = 418 + -7107/17.  Which is bigger: k or 1? 
1
Let x be 1 + 0 - (-10 - -11).  Suppose x = -46*q + 47*q + 19.  Which is bigger: q or -20? 
q
Let u(j) = 4*j**2 - 58*j + 27.  Let l be u(14).  Is l at least -3.7? 
True
Let u(x) = -x**3 - 4*x**2 - 4.  Let 