. Let o = 0.36 - w. Is -0.05 smaller than o?
False
Let u = -2002 + 2003. Let c = -7 - -9. Suppose -c*n = -4*f + 8, 0*n + f = -3*n + 16. Which is smaller: u or n?
u
Let k(c) = -5*c + 46. Let t(m) = -2*m. Let b(z) = -k(z) + 4*t(z). Let r be b(-18). Let l = r + -27. Do l and -18 have the same value?
False
Let y be -10 + (5 - 636) + 5/1. Is -636 equal to y?
True
Suppose -q - 34 = 4*x + 13, 2*q + 10 = -x. Let d = 6.1 - 4.77. Let m = d - 0.33. Is m bigger than x?
True
Suppose -18 = -3*m + 297. Let k be (318/(-4)*-1)/(12/16). Which is bigger: k or m?
k
Let j = -40 - -60. Suppose n - j*n = -152. Which is greater: 33 or n?
33
Let p(v) = v**3 - 6*v**2 + 28*v - 115. Let y be p(5). Is -3/1619 less than or equal to y?
True
Let b = -1566/4895 + 22/89. Suppose -155 = -a + 46. Let l = a - 202. Is l at most b?
True
Suppose 8*k - 14*k - 2574 = 0. Let p = -1286/3 - k. Let v = -85 - -56. Is p <= v?
False
Let y = -1834 - -1566239/854. Do y and 1 have the same value?
False
Let j = 10562/3 - 7135/2. Which is smaller: j or -48?
-48
Let o = 230 + -230.2. Let h = o - -16.2. Let y = -1 - 0. Are h and y equal?
False
Let p be 173862/(-104) - 7/6*30/140. Is p at least as big as -1?
False
Let k = -397 + 399. Suppose 5*a = -4*v + v - 11, -a - k*v - 5 = 0. Are a and -10/37 non-equal?
True
Let n = -1.5 + 54.5. Let s = 55 - n. Which is smaller: s or 65?
s
Let s = -0.166 + 0.066. Let f = 136 + -171.4. Let u = -39 - f. Are s and u unequal?
True
Let g(m) = -45*m + 176. Let h be g(-3). Which is smaller: h or 310?
310
Let h = -724138/703955 + 2/20113. Is 0 equal to h?
False
Suppose 124*a - 24009 = -15*a - 12*a. Let c(b) = -23*b - 3. Let w be c(-7). Is w at most as big as a?
True
Let n(m) = -m**3 + 2*m**2 + m - 1. Suppose u + 17 = 19. Suppose -u = z - 3. Let d be n(z). Which is smaller: -3/16 or d?
-3/16
Let w = -506 + 755. Suppose -3*a = -4*c - 249, -3*a = -0*a - c - w. Which is smaller: 251/3 or a?
a
Suppose -2*h + 17*h + 593 + 202 = 0. Let c be (-15)/10 + (-105)/2. Is h at most as big as c?
False
Suppose -3*x + 135 = -4*k, x - 4*k - 21 = 24. Suppose -x*q = -53*q - 152. Which is bigger: -10 or q?
-10
Let g = -2.1 - 50.9. Let h = -38 - g. Let b = -27 + h. Which is smaller: b or 1?
b
Let x = -64 + 85. Suppose x*m = 66 + 186. Which is smaller: m or 0?
0
Let i(j) = -7*j. Let k be 1/(35/10 + -4). Let r be i(k). Let m be (24/42)/(4/r). Are 6/7 and m unequal?
True
Let w(f) = -f**3 - 6*f**2 - 5*f - 1. Let u = -55 + 50. Let d be w(u). Which is smaller: d or 2/91?
d
Let j be 1*15/3 - (4328/10)/4. Which is greater: j or -104?
j
Let a(h) = h**3 - 16*h**2 - 52*h - 95. Let l be a(19). Is 18/449 != l?
True
Let w = 0.9985 + -1.7985. Is -10/133 equal to w?
False
Let s be (-10)/14 - 2/7. Let v be 4 + -3 + 2*(-5)/620*64. Which is greater: v or s?
v
Let r = -81916/11 + 7452. Suppose 2*i = 4, 49 = 4*f - 5*i + 35. Which is greater: r or f?
f
Let y be (-5)/(-10) - (-1934)/(-12). Let i = -158 - y. Suppose -17 = -10*o + 6*o - 3*c, -4*c + 8 = -2*o. Is o less than or equal to i?
True
Let d be (-1084)/(-6) - 20/(-15). Let t be (-1328)/d + 42/273. Let o = t + 52/7. Does -0.6 = o?
False
Let i = -28408 - -28408. Which is smaller: i or 3/20375?
i
Let b = -18330 + 18331. Which is smaller: b or 5241?
b
Suppose -o = -5*m - 5*o + 23, -4*m + 3*o + 6 = 0. Suppose -m*n - 4*r = -0*r - 53, n = -3*r + 26. Which is bigger: n or 13?
13
Let d = -10819916/12859 + 5890/7. Let r = -122939/128590 - d. Let p = -23/14 + r. Is -4 != p?
True
Let l = 814 + -833.48. Let t = 19.6 + l. Is -0.2 bigger than t?
False
Let r be ((-63)/12 + 0)*(-952)/51. Is r smaller than 1270/13?
False
Let s(y) = 5*y**2 - 101*y + 488. Let c be s(7). Which is smaller: -138 or c?
-138
Let t be (-1876)/1005 - ((-80)/(-6))/(-8). Is t >= -0.07149?
False
Let h(p) = p**3 + 5*p**2 + 4*p + 2. Suppose 15 = -5*k + u, -10 = k + 4*k - 2*u. Let q be h(k). Let f be (26 - q)/(3/(-2)). Is f less than or equal to -13?
True
Suppose 0 = -71*y + 44*y + 108. Let j be (-7)/(28/(-8)) - -1. Is j > y?
False
Let n(v) be the second derivative of -v**3/6 - 11*v**2 + 34*v. Let a be n(-20). Which is greater: a or 25?
25
Let q be 25 + 4 - -2*(-2 + 1). Suppose -25 = -2*h + q. Let x be 4 - (194/h - 3). Do 1/5 and x have the same value?
False
Let l(k) = -7*k - 3. Let o be l(6). Suppose -7*c + 1553 = -16927. Suppose 35*i = 95*i + c. Is o != i?
True
Let n = 34 + -29. Let q = -4.04 + n. Let r = 1 - q. Which is smaller: r or 4?
r
Let v be (18 - 8)*((-23925)/66 - 2/(-4)). Which is smaller: -3621 or v?
-3621
Let b be (4/(-5))/((-798)/(-285)). Let i = -0.39 + 0.49. Which is smaller: b or i?
b
Let k = -0.22 - -0.2. Let v = 127.96 + -127.9. Let l = v - k. Is l greater than 1?
False
Suppose 0 = 5*p - h + 11 + 9, -4*h = 4*p - 8. Let m be 188/240*p*4 + 5. Let f = 10 - 14. Which is smaller: f or m?
m
Let j(g) = -2*g**2 + 102*g - 331. Let q be j(46). Is q at most 133?
True
Let z = 5758 - 4635. Which is bigger: z or 1126?
1126
Let l(w) = -74*w**2 - 80*w**2 - 78*w**2 + 233*w**2 - 73 - 10*w. Let v(x) = -x**2 + 10*x + 6. Let k be v(9). Let g be l(k). Which is smaller: -50 or g?
-50
Suppose -4*o = -q - q + 70, -75 = 3*o + 3*q. Let z be 56/o*14/49. Let b = -0.2 - -1.2. Which is greater: b or z?
b
Let c be 6/10 + (-13)/(65/(-12)). Let a(r) = 7*r - 14. Let k be a(2). Suppose 0*h - c*h - 183 = k. Is -62 > h?
False
Let p = -29 - -31.7. Which is greater: 3/16 or p?
p
Let k be ((17 - 7) + -6)*(4 - -13). Is 68 >= k?
True
Let f = 7182 + -3605. Is 1 smaller than f?
True
Let q = -10927 + 655453/60. Let d = q + 27/10. Suppose -8 = -8*h - 0. Is h at least d?
True
Let g be 6/14 - (6 - (-60460)/35). Are g and -1733 unequal?
False
Let l = -8692/3 + 2898. Which is smaller: -34/23 or l?
-34/23
Let a = 177 - 183. Let i be 214/(-26) + a/6. Is -8 at least as big as i?
True
Suppose 0 = 3*p + 1 + 5. Let h be (6 + p)/(1 + -2). Let x be h/(-136) - 2/4. Is x <= 0.1?
True
Let f = 688.6 - 693. Is f at least -32?
True
Let h be ((-12)/9)/((-2577)/(-5778) - 96/216). Is 1 bigger than h?
True
Let r(n) = n**2 + 8*n - 4. Let g be r(-8). Let z(k) = -3*k**2 + 4*k + 5. Let d be z(-3). Let s be 34 + d + 21/(-8). Which is bigger: s or g?
s
Let u be 1 + -55 + (-4)/4. Suppose 17 + 9 = -p - 29. Is u > p?
False
Suppose -2*c + 5*g - 3070 = 0, -2*g = 2 - 2. Which is bigger: c or -1534?
-1534
Let f be (-1)/2 - (-2)/4. Let n = -22975/56 - -3113/8. Let z = -22 - n. Is z greater than f?
False
Let c = -47387/195 + 243. Let t = -107/130 + c. Is t at most as big as -2?
False
Let t be (-1124)/672 + (-5)/(-3). Let v(i) = i**2 + 12*i - 84. Let m be v(-17). Which is greater: m or t?
m
Let h be (0 + 2)/(-94)*2. Let r(a) = a**2 - 2*a - 59. Let j be r(-7). Let f be j/(-48)*4*-3. Is h greater than f?
False
Let m = 194.4 + -187. Let a = -42.1 + 42. Which is smaller: a or m?
a
Suppose 21*q - 1372 = 266. Let x be -148*1*3/6. Let c = x + q. Is c at most 10/3?
False
Let y = -0.2863 - -10374.2863. Is -2/9 at least as big as y?
False
Suppose h - 2*w - 114 = 0, 3*h = -2*w + 84 + 282. Let d be (h/1760)/(-1 - 514/(-508)). Let y = d - 36/11. Which is greater: 2 or y?
y
Let z be 4/(-24 - 0) + (-7)/(-6). Let m(i) = -128*i**2 - 14*i + 30. Let b be m(2). Let r = b - -6127/12. Is r at least as big as z?
False
Let k be 1/(-3) + (-8)/(-6) + -1. Suppose k*h = -5*h - 0*h. Let d = 1437168/245 - 5866. Which is smaller: d or h?
d
Let o = 61.96 - 61. Let w = o + -0.86. Let m = 17 - 25. Is m greater than or equal to w?
False
Let a be (1/(-76))/((-106)/(-1060) + (-1813)/80). Is 1 != a?
True
Suppose 4*d + 60 = -2*d. Suppose -s - 20 = -3*s. Suppose -22 = s*o - 8*o. Which is smaller: o or d?
o
Let n be (-62)/(-8) + 3 + (-315)/84. Are n and 217/33 non-equal?
True
Let a(b) = -3*b**2 + 2*b + 118. Let u be a(-7). Which is smaller: u or -36?
u
Let p = -1051/3 + 3781/12. Suppose 3*r - 121 = 3*k - r, -k + 2*r = 43. Which is greater: p or k?
k
Let d = -1784/2175 - -46/75. Let t = 7 + -11. Let s be (8/(-16))/((-2)/t). Which is smaller: s or d?
s
Let x = -4313 - -4347. Is x < 0.38?
False
Let f = -5.785 - -0.085. Let l = f - -4.5. Let b = -3.2 - l. Which is greater: -16 or b?
b
Let s(f) = f**2 + 45*f + 345. Let n be s(-37). Let d be -1*(-14)/n - (-10)/308. Is d at most 0?
False
Let n = -73 - -37. Let b = -563 + 526.3. Let h = b - n. Which is bigger: h or 0.1?
0.1
Let f = -59 - -64. Suppose 2*r = 3*c + 22, 