ch is smaller: i or -1?
-1
Let q = 3 + -4. Let b = 101975 - 48234173/473. Which is greater: b or q?
b
Let y = -0.02 + 159.02. Let k = -158 + y. Is k at least 34?
False
Let o = 11591/66 - 1045/6. Suppose -2*c = j - 16, j - 6*j + 5*c = 25. Which is smaller: o or j?
o
Let a = 183 - 223. Let o be (-6 - 88)/(-3 - -1). Let g = a + o. Is g bigger than 4?
True
Let m = -666 - -665. Let a = -4 + 3. Let o be a*2*2/226. Is o at least as big as m?
True
Let p be 4 - (0 - (-155238)/882). Let k = p - -172. Do k and -1 have different values?
True
Let x = -246 - -58. Let k = -287 - x. Is k greater than or equal to 0.1?
False
Let k = 0.9295 + 0.0705. Is k greater than -55?
True
Let g be (-1*4)/((-1)/(-4)). Let a = 95146 + -95143. Which is greater: g or a?
a
Suppose -352 = -k - 312. Suppose 4 = 22*c - k. Which is greater: 52 or c?
52
Let x(c) be the third derivative of -c**6/120 - c**5/30 - c**4/24 - c**2. Let s be x(-1). Let f = -410 - -411. Which is greater: s or f?
f
Let i = -88 + 82.4. Let v = 9.4 - i. Let n = -2.11 - -0.11. Which is smaller: n or v?
n
Suppose -23*f - 96544 = 43323 + 158650. Is f bigger than -12980?
True
Let f = -8 + 13. Suppose -b = -f*b - 4. Let m be ((-14)/4 + -1)*(-36)/(-459). Is m at most b?
False
Let u(o) = 12*o**2 + 52*o - 12. Let a be u(-18). Let d be 10/(-4) + a/40. Let y = d + -114. Which is smaller: -45 or y?
-45
Let g be 23/(-391) + (-794)/13090. Let w be (-71)/(-35) + (-3 - -1). Let a = g + w. Is a != 1/3?
True
Let v = -1.015 - -1.0671. Let d = v - 77.0521. Is 0.1 <= d?
False
Let r be (-23 + 375)/(-44) + 127 + -1. Which is smaller: r or 141?
r
Let p = -1425437/5 + 285091. Let v(j) = j**3 - 6*j**2 + 5. Let i be v(6). Is p greater than i?
False
Let q = 3275.63 - 3298. Let r = q + 22.3. Which is greater: r or -0.1?
r
Let m = 74/4874946592907 - -544916718582835096681/1460119628774540105. Let y = m + -3/59903. Let z = 372 - y. Is z smaller than -1?
True
Let b(c) = 4*c**2 - 31*c - 17. Let h(s) = 11*s**2 - 92*s - 50. Let z(t) = -17*b(t) + 6*h(t). Let o be z(-12). Which is bigger: -2/83 or o?
o
Let u(c) be the second derivative of 9*c - 5/6*c**3 + 0 - 9/2*c**2. Let i be u(12). Which is bigger: i or -2/7?
-2/7
Let f = 560 - 347. Let q = 3196/15 - f. Let c = -203 + 204. Is c <= q?
False
Let z = -65 - -67. Suppose 0 = -k + 4*k - 4*j - 19, -8 = -z*k - 2*j. Which is bigger: k or 12?
12
Let p(c) be the second derivative of -c**4/12 + c**3/3 + 7*c**2/2 + 81*c. Let n be p(-6). Is -41 at most as big as n?
True
Let g be -2 + 4 + -5 - 5972. Let f = 53837/9 + g. Let m be 1 + -1 + 4 + 3. Which is greater: f or m?
m
Let a be ((-198)/45)/((-60)/(-26414)). Let d = -1937 - a. Which is smaller: -2/5 or d?
-2/5
Let i = 5184 + -5378. Which is smaller: 0.6 or i?
i
Let g = -515/6 - -3497/42. Let n be 4/22 + (-412)/(-1848). Let x = g + n. Is x < -0.2?
True
Let w = -82547 + 6191141/75. Is w bigger than 2?
False
Let q be ((-61140)/36)/(15/18). Which is bigger: -2036 or q?
-2036
Let p = -76 - -77. Let x be p/5 + (-432)/60. Let u be (-17)/x + (-9 + 1 - -6). Is u smaller than 1?
True
Let q = -0.24 - -0.18. Let o = 0.61 - 7.71. Let b = 7 + o. Are b and q equal?
False
Suppose 3*d - 2*n + 11 = 6*d, -d = -4*n + 1. Let x = 120 - 144. Let f be (-6)/x*d/(-6). Is f at least 1?
False
Let f be 11/374 - 36928/(-2176). Let c = 10 - -8. Suppose 3*r = 4*r - c. Is f smaller than r?
True
Let w = 6067558/331 - 18331. Which is smaller: w or 0?
w
Let v = 391.625 + -434. Let b = v - -0.375. Is -0.2 at most as big as b?
False
Suppose 4*z - 24 = 12*z. Let n be (17 + -8)/(z/(6*-9)). Let r = n + -138. Which is smaller: r or 21?
21
Let k = -92 + 83. Let t be (-2 - (-14)/6)*21. Suppose 3*b + 100 = -t*b. Is b bigger than k?
False
Suppose -806*b = -801*b - 2070. Is 2063/5 != b?
True
Let v be (-2*(2 - 3))/(5*6/(-60)). Is v less than -28/9?
True
Let j be 595/(-4) + (11 - (14 + -5)). Is -147 greater than or equal to j?
False
Suppose 0 = 5*t + 2*f + 2, 6*t - 4 = t + 4*f. Suppose -6*o + 3*o + 9 = t. Let m be 0 - (-1 + 0/o) - 5. Which is greater: m or -6?
m
Let p = -18137 - -17849. Which is greater: p or -282?
-282
Let o(w) = 292*w**2 + w - 1. Let a be o(1). Let k = a + -172. Let u be (16/(-50))/((-144)/k). Is u bigger than 0?
True
Let y = 1.7101 + -1.5841. Is y less than 0.15?
True
Suppose 0*u - 4*u = -2*z + 2, 3*u - 26 = -4*z. Suppose -6*x = -u*x + 8. Let o be ((-2)/(-8))/(x/8). Which is smaller: o or -6/7?
o
Let w = 19.64 - 18.1. Let c = w + -1.84. Which is smaller: c or -0.13?
c
Suppose -47*x = -24*x - 23. Are 2/21327 and x equal?
False
Let c(w) = 2*w**2 - 2*w - 113. Let z be c(8). Is z smaller than 2/3405?
True
Let h(w) = w**2 + 45*w + 349. Let y be h(-11). Is -56 at least as big as y?
False
Let z = -0.040922 + 104.916922. Let y = z + -105. Are y and -0.1 unequal?
True
Let i(r) = r**2 + 24*r + 5. Let z = 253 - 277. Let v be i(z). Is 27 >= v?
True
Let w be 9 - (-361)/(-38) - (-87)/2. Which is greater: 39 or w?
w
Let h be (-142 + 7)/(-9)*-3. Let f = -133/3 - h. Suppose -2 = -3*a + 1. Is a >= f?
True
Suppose 0 = 363*b + 5394 + 12317 + 10603. Is -72 greater than or equal to b?
True
Let u = 53.1375 + 0.0625. Let s = -39.2 + u. Which is greater: s or 0.2?
s
Suppose 72*s + 5*h - 40 = 77*s, -5*s = 5*h + 80. Which is greater: s or -15?
s
Let l = -6021 + 6022. Let w be (-5)/(-587)*6/(-15). Is l > w?
True
Suppose -18*d - 79 = -5*v - 14*d, -v = -4*d - 19. Is v at most as big as -142?
False
Let v = 64/83 - 2018/249. Is -6 > v?
True
Suppose -2326 = -5*n + 1354. Is 738 greater than n?
True
Let u(t) = 4*t + 104. Let l be u(-27). Let r be (-3)/l*(-728)/975. Which is smaller: r or 0?
r
Let f(v) = 38*v**2 - 6*v + 2. Let o be f(1). Let w = o - 31. Is w at most 14?
True
Let o = 188 + -91. Suppose -29*j + 1231 = 274. Let u = 65 + j. Is u greater than o?
True
Let x be (-260)/10528*-81 + (-4)/2. Is x greater than 0?
True
Let o = -94 - -96.46. Let y = o + -83.46. Which is bigger: -1 or y?
-1
Let d be ((-1325)/75 + 19)*-2*1434/(-208). Is d less than 17?
False
Let u = -769 + 246. Let q = 517 + u. Which is bigger: 37 or q?
37
Let q be ((-12)/(-8))/(-3) + 2458/270. Let c = 154/27 - q. Which is greater: c or -2?
-2
Let q = 2 + 4. Let h(k) = k**3 - 7*k**2 + 6*k - 3. Let b be h(q). Let j = b - -4. Which is smaller: 10 or j?
j
Let k be -2 - (-4)/8*56/7. Let x be k*3/(-42)*-2. Let i = -0.07 - -0.07. Which is smaller: i or x?
i
Let p(f) = -669*f + 4011. Let v be p(6). Let c be ((-2)/(-3) - 0)*-6. Is c greater than or equal to v?
False
Suppose 8*z - 38 + 38 = 0. Suppose z = 10*y + 230 + 40. Suppose 5*g + 77 = -53. Does y = g?
False
Let m = 5/2 - 47/19. Let t = -0.12 - -61.12. Let i = t + -59. Is i != m?
True
Suppose 7*x - 783 = -132. Let k = x - 1027/11. Which is smaller: k or -1?
-1
Let t(l) = -3*l**3 - 24*l**2 + 23*l - 60. Let b(r) = r**3 + 8*r**2 - 6*r + 20. Let k(i) = 8*b(i) + 3*t(i). Let d be k(-11). Are 112 and d equal?
True
Let v be 59255/47420 + 65/(-52). Which is greater: 0 or v?
0
Let p be (-87040)/157600 + 4/10. Is 0 < p?
False
Let f be (-415)/(-332) + (-7755)/12. Which is smaller: f or -649?
-649
Suppose 0 = 849*l - 845*l + 2692. Which is greater: l or -671?
-671
Let k = -10901 - -10901. Let x(f) = f**3 + 2*f**2 - f. Let q be x(1). Let o be (-124)/(-520) - q/10. Is k smaller than o?
True
Let r = -3564551/46467521 - -1294/49381. Let v = -2/941 + r. Is -24 greater than or equal to v?
False
Let q = -8730 + 8729. Does q = 13862?
False
Let t = 36 + 11. Let f = 217.8 - 217.8. Do f and t have different values?
True
Let k = 200 + -180. Let y be (-15)/(-24)*k/25. Is -1/32 at most y?
True
Let c be -11*(-248)/88 + 14. Is c at most 1?
False
Let b be 8 + (-6 - -15 - (11 + 5)). Which is bigger: b or -0.0477?
b
Let o = 310 - 301. Let r be o/(-24) + 157/8. Which is bigger: 20 or r?
20
Suppose -141 = 5*x - 186. Let i = -3 + 9. Suppose i*z + x = 3*z. Is -0.19 bigger than z?
True
Let q = 3938.13 + -4221.101. Let d = q + 283. Is 2 < d?
False
Let n be 5 - ((-312)/30)/((-4)/(-30)). Suppose -n = -4*k - 3*i - 41, k - 6 = -3*i. Which is smaller: -0.1 or k?
-0.1
Let o be 4/(-215)*(-5)/(-20). Suppose -14*s - 5*s = -s - 20*s. Which is smaller: s or o?
o
Suppose 0 = -7*p + 10*p + 9. Let f be 2 + p - (-5 - (1 + 0)). Suppose -f - 9 = -2*u. Which is greater: u or 6?
u
Let f be -2*2 + 5/10*-2. Let z be f - (-23 + -3 + 2 + -7). Is 29 at most z?
