
False
Suppose -3*l + 389 + 388 = 0. Let f be 42*7/98 + 2134/(-8). Let j = l + f. Is j >= -6?
True
Suppose 446 = 3*g - u, -2*u = -3*g + 6*g - 431. Let y = g - 160. Which is smaller: -20 or y?
-20
Let i(h) = -h**2 + 102*h + 1370. Let g be i(114). Let n = 18 + -26. Which is smaller: g or n?
n
Let y be (-1 + (-5)/3)/(38/(-57)). Suppose 2*z + 5*o + 2 = 0, -3*o = -2*o - 2. Let t be (-16)/z + (y - 8). Is t at least -1?
False
Let a = 844/65 + -13. Suppose -4*f - 2*w - 1426 = 0, 4*w - 400 = f - 21. Let k = 358 + f. Which is smaller: k or a?
k
Suppose -3*b + 21*b = -2646. Let w = b + 341. Is 194 at most w?
True
Let g = 45 - 47. Let h be g + (-9)/((-1767)/510 + -1). Let d = -137/7337 - h. Is 1 bigger than d?
True
Let b be ((-1562)/(-66) - 24) + 2/(-3). Is b at least -3/199?
False
Let i be (-9)/((-108)/88)*(-6)/(-16). Suppose -4*d - 2 = 3*z - 0*d, 4*z - 6 = -d. Suppose z*j = -4*s + 14, j = s + 5*j. Which is smaller: i or s?
i
Suppose -4*s + 5405 = 4*u + 377, 5*u + 20 = 0. Is 1259 at least as big as s?
False
Let g = -109 + 109. Let y = -236/2805 + 2/33. Is g bigger than y?
True
Let v be ((-133)/(-38))/((-1)/(-58)). Let l = 208 - v. Do l and 2 have different values?
True
Let h be -263 - -4*77/(-44). Which is smaller: h or -269?
h
Let z = 17604.6 - 17599. Let n be 0 - ((-8)/7)/(-4). Is z != n?
True
Let u = 6812 + -6811. Is -33/244 at most u?
True
Let x = 145.96 - 146. Is x at most -396/7?
False
Let s be ((-8)/10)/((-3)/15). Suppose -s*i - 151 = -27. Which is smaller: i or -35?
-35
Let n = 23 - 20. Suppose -7*o = -5*o - p + 55, -5*o + p = 145. Which is smaller: n or o?
o
Let x(w) = -w**2 - 29*w - 78. Let f be x(-26). Let a be (f - -6)*((-4)/(-12) + 1). Let u = 3116/429 - -10/143. Which is smaller: a or u?
u
Let h(j) = -9*j**2 + 54*j + 39. Let n be h(8). Let r be (-5 - 384/n) + (-8)/10. Which is smaller: r or 0.1?
r
Let p be 4 + ((-10086)/24 - (-1)/4). Let l = p + 391. Are -23 and l nonequal?
True
Let v be (531/118)/((-3012)/(-1072) + -3). Is -24 bigger than v?
False
Suppose -5*a = -4*s + 327, 3*a = 2*s - 2*a - 151. Suppose -4*n + 166 = 2*c, -5*c = 4*n - s - 75. Suppose 2*p + 0*p = n. Is 21 bigger than p?
False
Let x be (-13 + -2)*76/(-988). Is x at most 0?
False
Let k(r) = -r**2 - 15*r - 54. Let h be k(-6). Suppose -4 = -4*q, -20*c + 15*c + 3*q - 113 = h. Which is smaller: c or -23?
-23
Let i be -17 + (21432/726 - 15). Which is greater: -2 or i?
-2
Suppose 127*u + 40*u = -668. Which is greater: u or -664?
u
Let o = -49.26 - -50.1. Let r = 1.24 - o. Is 0.58 > r?
True
Let x = -7262 + 8554. Which is greater: 1291 or x?
x
Let o be 409/(-2) - 1/(-2). Let a = -42718 + 42720. Which is greater: a or o?
a
Suppose -34*n = 790 - 824. Which is smaller: n or 7/883?
7/883
Let a = 5105 + -4346. Which is bigger: 5322/7 or a?
5322/7
Let d(k) = k**2 + 4*k - 3. Let v be d(-5). Let j be -1 + -13 + v/(-6 - -7). Is -11 != j?
True
Let o(q) = -q**2 + 23*q - 11. Let g = -49 - -72. Let m be o(g). Let j be -2 + 20/(-16)*-2. Is m greater than j?
False
Let x = -576877/8 + 71996. Let f = x + 140911/1240. Is f at least as big as 0?
True
Let s = 6710 + -3295. Is 3414 greater than or equal to s?
False
Let u = 314 - 141. Let f = u + -137. Let n = -35.9 + f. Which is bigger: n or -4.8?
n
Suppose v = 5*y - 10, 78*y - 77*y - v - 6 = 0. Which is greater: y or 6/529?
y
Let u be (-406)/4*(-295)/(-6195). Is u equal to -3?
False
Let n = -13 - -9. Let z be (54/30)/((n/(-15))/4). Suppose -2*j + 5*m = -z - 0, 0 = -5*j + 5*m + 30. Which is smaller: -2/41 or j?
-2/41
Let u be 9 - ((-2)/18 - 1732516/1017). Which is bigger: 1714 or u?
1714
Let h = 239 + -240. Let b be 6/(-2) - h - (-894)/(-48). Which is bigger: -20 or b?
-20
Let j = 70.53 + -69.53. Is 282.7 >= j?
True
Let l = 57 + -17. Suppose 4*y - l = -p, 3*y + 8 = -7. Let u be (18/p)/(-1 + 5/2). Are 2 and u non-equal?
True
Let j(v) = v**3 - 8*v**2 + 9*v - 2. Let n be j(6). Let r = n - -30. Suppose -r = -2*l + l. Which is bigger: l or 9?
l
Let r = 55236 - 1822558/33. Which is greater: r or 8?
8
Let u(c) = c**3 - 11*c**2 - 45*c + 49. Let h be u(14). Which is greater: h or 447?
447
Let t(l) = -71*l - 44. Let o be t(11). Let z be 2/(-8)*o - 63/(-84). Suppose 19*v - z = 22*v. Is -68 >= v?
True
Let w be (1 + 2)/((-2)/(-6)). Suppose f + 2*f = w. Let j be 1287/(-231)*(-2)/3. Which is greater: f or j?
j
Suppose 0 = -5*x + 4*l + 7, 3*l + 8 + 0 = x. Let m be (-6)/(-26) - ((-3417303)/(-42107) + -81). Is m at most as big as x?
False
Suppose 14*z = 8*z + 12. Suppose -z*u - 10 = -4*w, 3*w - 2*u = 2*w + 1. Let n be (28/12)/((-5)/w). Which is bigger: -2 or n?
n
Suppose -4*l + 2*l + 10 = 0. Suppose w - 3*v = v + 13, -l*v = 2*w. Suppose -15*i = -w*i - 90. Is i bigger than 9?
False
Suppose -4*v = 992 + 24. Let m = -255 - v. Let u be (2/(-98))/((-1)/3). Which is smaller: m or u?
m
Suppose -41*c + 126 = -489. Let y = c - 18. Let x = -0.3 - -0.2. Which is smaller: y or x?
y
Let b be 823/5 + 98/245. Which is bigger: 154 or b?
b
Suppose -3*r - 24 = -15*r. Suppose -5*v + r*v + 39 = 0. Which is greater: v or 14?
14
Let b be 18 - ((-294602)/(-21054) + 4). Do -1 and b have different values?
True
Suppose 46*z - 3*h - 21468 = 41*z, 0 = -3*z + 3*h + 12882. Is 0.1 smaller than z?
True
Let b = 1200 - 1197. Is 26.1 greater than or equal to b?
True
Let u = 164 - -251. Suppose -u*w + 416*w - 2 = 0. Does 2 = w?
True
Let o(j) = -379*j - 3481. Let f be o(8). Is -6512 at least as big as f?
True
Let f(b) = -b**2 - 511*b - 1019. Let l be f(-2). Is l smaller than -1/1008?
True
Let k be 6/(120/(-17644))*(-5)/(-2). Which is smaller: k or -2207?
-2207
Let p(j) = 12*j**2 - 26*j + 48. Let w be p(6). Suppose -210*v - w = -204*v. Are -55 and v non-equal?
True
Let z = -227.4 - -1443.4. Let c = 1214 - z. Let x = -733/1236 - -1/103. Which is smaller: x or c?
c
Suppose 26*v - 45 = -60 + 41. Which is greater: v or 10/531?
v
Let p = -7 + 2. Let g be (0 - 6)/(83/166). Is p <= g?
False
Suppose 300 = 4*l - 3*s, -135*l = -134*l - 5*s - 75. Is 69 at most l?
True
Let q(r) = 119*r + 899. Let m be q(27). Are 4112 and m nonequal?
False
Suppose 2*x - m - 5 = 0, x = -2*m + 16 - 26. Let s = 331602806/814301817 - -2/1337113. Let h = 10/21 - s. Which is greater: h or x?
h
Let b be (-48)/8 + 13 + 2/(-1). Suppose -5*k - 5*m - 49 - 6 = 0, 4*k = -b*m - 40. Which is smaller: k or 0.03?
k
Suppose 24 = -4*m - 4*c, 2 = -m + 4*c + 16. Suppose -44 = -5*x + 66. Which is smaller: m or x?
m
Let o = 9/5460986 + 209303209747/409573950. Let l = 1103 - 592. Let c = l - o. Does c = -1?
False
Let i = -13 - -17. Suppose -2 = -2*z - 2*o + 2, -3*z = -i*o + 8. Suppose 5*g = -2*d + 29, 0 = -4*d - 12 - z. Is g greater than or equal to 8?
False
Suppose -2*f = 2*d - 624, -1616 = 1997*f - 2002*f + 2*d. Which is smaller: 313 or f?
313
Let s = 1 + -1.1. Let u be ((-100)/5300)/((-2)/4). Which is smaller: s or u?
s
Let f be ((-8)/10*5/(-6))/((-328)/492). Is 2/33159 greater than or equal to f?
True
Let n be (481 - -2)*(144/(-588))/((-2)/(-7)). Is n equal to -1653/4?
False
Let h(j) = 2*j**3 - 6*j**2 + 6*j. Let w be h(2). Which is bigger: 351 or w?
351
Let c(u) = 9*u**2 - 338*u + 287. Let h be c(36). Which is bigger: h or -182?
-182
Suppose 51916 + 206805 + 2490925 = -149*s. Is s < -18453?
True
Let s(b) be the third derivative of -b**4/12 + 15*b**3/2 - 254*b**2. Let k = 17 - -8. Let y be s(k). Which is smaller: -32/9 or y?
y
Suppose 4*x = k - 29, -2*x = 2*k + 2*k + 28. Let y be (49 - 3)*((-28)/x - 2). Let a = y - 126. Are a and -55 non-equal?
True
Let n(w) = 245*w + 3186. Let o be n(-13). Which is greater: o or -1/32086?
o
Let q(s) be the second derivative of -1/20*s**5 + 0 - 16*s - 5/12*s**4 - 1/2*s**2 - 1/3*s**3. Let i be q(-3). Do i and -13 have the same value?
True
Let m be 6/57 + 5544/(-5016). Is 2/52925 <= m?
False
Suppose -6*b - 427 = 263. Let i be 8/1230*3*b/414. Is i less than or equal to 1?
True
Let h be (-865)/(-2)*(-372)/15. Let u be (-3)/(18/h)*(-27)/9. Let f = u - -1710795/319. Is -1 > f?
False
Let t = 24.5 - 24.4. Is t at most as big as -74/45?
False
Suppose -13*m + 3 = -12*m. Let l be m*(-2)/(-6)*(-6 - -3). Let x be 3 + 6/l + 11. Is x smaller than 14?
True
Let g = 6682 - -1993. Which is smaller: g or 8676?
g
Let v be -9 - 0 - -7 - -14. Let z be (0*2/v)/(-5). Is -11/9 at most z?
True
Let b(s) = 7*s**3 - 3*s**2 - s. Let f be b(-2). Let w(