). Is f at least -1?
True
Suppose 3*i + 4*w + 40 - 16 = 0, -2*w = 6. Let r be 1/i + 403/(-52). Let y be (4 + 36/r)*0*-1. Which is bigger: -7/8 or y?
y
Let u be 17/7*(-3959)/185. Let o = u + 262/5. Which is bigger: -2/5 or o?
o
Let a = 12530 + -12528. Which is greater: a or 1452?
1452
Let n(l) = 4*l**3 + l**2 + 16*l - 9. Let y be n(-5). Let h = y + 561. Is -5 bigger than h?
False
Suppose -2*d = -4*j + 732, 37*d + 708 = 4*j + 41*d. Which is greater: 2355/13 or j?
2355/13
Let j = 8895 - 5302. Is 3594 not equal to j?
True
Let j = 5539 - 7150. Which is smaller: j or -1608?
j
Let v = 4174.1 + -4174. Is -0.0262 < v?
True
Suppose -4*t + 540 = 4*s, -s = 4*s + 15. Suppose 9*u + 51 = -t. Do u and -21 have the same value?
True
Let f = 2521 + -2557.6. Which is bigger: f or 2?
2
Let z be (-36)/(-48) - (23815/(-1500))/(-11). Is z at least as big as -2?
True
Let m(t) = 9*t**2 + 2*t - 23. Let z be m(-5). Let i = z - 184. Which is greater: 102/13 or i?
i
Let x = 473213944274/31195545 - 283732/221245. Let h = 15168 - x. Is -1 != h?
True
Let m(l) = -l**3 + l - 1. Let p be m(0). Let w(s) = s**2 - 14*s + 6. Let d be w(14). Let c be d/(-10) - 192/(-220). Which is smaller: p or c?
p
Suppose -5*z + 13 = 13. Suppose z = -26*l + 20*l + 144. Are 24 and l equal?
True
Let n(s) = -7*s + 25. Let g be n(10). Let j = -50 - g. Let w be j/5*(0 - -1). Which is smaller: -2/65 or w?
w
Let y be (0 + 10812/(-18))*3. Let o = y + 63074/35. Let v(h) = h - 2. Let a be v(3). Which is smaller: a or o?
o
Suppose 5*g = 4*h + h + 25, 5*h = -5*g - 45. Let t(v) = -9*v**3 - 6*v**2 - 9. Let u be t(4). Let z = u - -2024/3. Which is greater: z or h?
z
Suppose 22 = -33*l + 121. Which is smaller: 49/18 or l?
49/18
Let b = 10.7325 - -0.1255. Let m = b + 0.142. Are m and 6 equal?
False
Let j be (-4)/(-10) - 385/275. Which is bigger: -2/703 or j?
-2/703
Let y be (2/50)/((6/(-615))/1). Which is smaller: -1 or y?
y
Let w = 144/731 + 893437/2924. Which is smaller: w or 306?
w
Suppose 2*g - h - 515 = 0, 5*g = -2*h + 736 + 574. Which is bigger: g or 265?
265
Let u = -13036 - -13035. Let o = 15354 + -307663/20. Let z = o - -107/4. Which is bigger: z or u?
u
Suppose -1584 = -50*z + 4216. Let f be (-1)/(-4) + 924/(-8). Let n = z + f. Which is bigger: 16 or n?
16
Suppose 1 = -m - 3*z - 11, -4*m - z + 7 = 0. Suppose -m*w - 4*j - 250 = 0, 2*w - 5*j + 182 = -0*w. Which is smaller: w or -89?
-89
Let b = 2037.72 + -2086. Let o = -398.8 - -398.52. Let m = o - b. Is m smaller than 2/5?
False
Suppose -15*r - g + 124 = -10*r, -2*r + 68 = 5*g. Suppose -r*y + 5*y + 19 = 0. Which is greater: y or 3/2?
3/2
Let p = -5463 - -5398. Is -75 at most p?
True
Let v = -52 + 63. Suppose -13*q = -v*q - 18. Suppose -q*h - 8 = -13*h. Which is smaller: h or -2?
-2
Let k = -3555 - -3114. Are k and -1322/3 equal?
False
Let l = 1873.6 - 1874.6657. Let h = -0.0657 - l. Do 0.13 and h have different values?
True
Let a be (-119080)/(-687) - (-11)/3. Do 180 and a have different values?
True
Let o = -641 + 397. Let q = o + 265. Suppose -27 = -2*j - 3*r, j + 104 = 5*j - 4*r. Is q at most as big as j?
True
Suppose 3*a - 55 - 170 = 0. Let b = -3 - 83. Let p = 161 + b. Is a smaller than p?
False
Let j = 4426/21 + -6594803/31290. Which is bigger: j or 1?
1
Let h = 38.025 + -38.125. Which is greater: h or 1.6535?
1.6535
Suppose -5*r = -0*r + 3*n + 11, n + 9 = -3*r. Let b be (2/2 + -1)/(r + 2). Which is bigger: -3/56 or b?
b
Let k(w) = 15 - w**2 + 2*w**2 + 0*w**2 - 11*w. Let q be k(11). Suppose 4*x - 80 + 14 = z, 4*z - 42 = -2*x. Is x > q?
True
Suppose 9*l - 104 - 6 = 160. Suppose 2*k + 3*m = m + 194, 5*m + 5 = 0. Suppose 5*q = -3*f + 144, -4*q + q + 4*f = -k. Is q at most as big as l?
True
Let k(s) = s - 42. Let g be k(-10). Let j be (-6)/(-3)*5/10*g. Which is bigger: j or -49?
-49
Let d = -428/7 - -61. Let t be -3*5/15 + (2 - 10). Let m(i) = -2*i**2 - 19*i - 9. Let n be m(t). Are n and d non-equal?
True
Let b = 418 - 426. Let v be ((312/32)/(-13))/(45/b). Which is greater: v or -1?
v
Suppose 6 = 3*f - 3*y + 3, -5*f + 33 = 2*y. Suppose 11*u = -12 + 1. Let x be 0 - -3 - (3*u)/3. Is f smaller than x?
False
Let m be (-6696)/(-432) + (-26)/2. Which is smaller: m or -2?
-2
Let x be -34*(-3)/36 + (-3)/9. Let n = -1568 - -1570. Which is bigger: n or x?
x
Suppose 0 = t + 4*t + 85. Suppose -5*h + 16*y = 13*y + 123, 124 = -5*h + 4*y. Let l(s) = -5*s**2 - 117*s + 55. Let i be l(h). Are t and i non-equal?
False
Let v = 8008 - 8008. Is v not equal to 2/25721?
True
Let i = 211 - 211. Suppose 7*x + 20 - 62 = i. Let a = 21 + -12. Is a < x?
False
Let v be ((-33)/(-6))/((-2)/(-8)*2). Let q = v - 9. Suppose -4*p + 29 = -6*p + 5*w, -2*p + 6 = q*w. Which is bigger: p or -8/3?
p
Let g(n) be the third derivative of -n**6/120 - n**5/15 + n**4/8 - n**3/3 + 2*n**2. Let s = 221 + -226. Let a be g(s). Is 6 at least as big as a?
False
Let r be (-86408)/(-2408) - 3*78/18. Is 23 smaller than r?
False
Let n = 3/73 + -471/803. Let a be (3 + 0 - -1)/2. Let q = a - 2. Which is bigger: n or q?
q
Let d = -269003/128232 + 151/72. Is -1 at least d?
False
Let o(h) = h**3 - 4*h**2 - 4*h + 1. Let s be o(5). Suppose -q - 90 = -s*q. Let t be ((-16)/(-2))/(3/(q/(-4))). Is -14 != t?
True
Let p(z) = z**3 - 3*z**2 + 3*z + 8. Let y be p(4). Suppose x = 10*x - y. Let t be (0 + -5)*(-16)/22. Is t greater than x?
False
Let r = -104/1249 - -634594/31225. Let t = r + -20. Is -0.2 > t?
False
Let t be ((-1)/2)/((-1)/30). Let a be (17745/(-45)*(-1 + 4))/1. Let s = a + 1185. Which is bigger: t or s?
t
Let v be (13 - (11 - 0)) + -2. Is v <= 11/1292?
True
Suppose 209*n - 208*n + o = 1, -3*n + 4 = 2*o. Is n at most as big as 90/29?
True
Let v = -29 + 39. Let i be (-4279)/(-561) - v/(-6). Let p = i + -1660/153. Are -1 and p nonequal?
True
Let k(r) be the first derivative of r**3/3 - 3*r**2 - 11*r - 9. Let j be k(8). Let t = -3 + j. Is -0.04 != t?
True
Let p(y) = y**2 + 10*y + 14. Let h be p(-8). Let v be -21*(-3)/(9/h). Let x = -27 - v. Is x at most -11?
True
Let w be (20/15)/(7 - (-43940)/(-6276)). Do w and -1046 have different values?
False
Let m = 2431 - 2375. Which is smaller: m or 57?
m
Let d = -157 + 84. Let u = 1170.9 - 1098. Let x = d + u. Which is smaller: -0.006 or x?
x
Suppose 4*i = -59*u + 64*u - 30, -2*i - 18 = -3*u. Is i smaller than 67/72?
True
Let d = -60.6 + 60.676. Let i = d + -0.106. Is -0.1 at least i?
False
Let p = 113.53 - 113.93. Are p and 198 non-equal?
True
Suppose -4*u - 50 = -5*u. Suppose 0 = 5*x, 2*o + 3*x - 132 = 4*x. Let b = u - o. Is b greater than -12?
False
Suppose -379*s + 378*s + 42 = -2*a, -3*a - 50 = 5*s. Suppose -10 = -5*q - 3*g, q + q = -4*g + 4. Let w be (q - 3) + (-105)/a. Which is bigger: 5 or w?
5
Let b be (2 + 2)*(10 - 11664/1206). Is 1 bigger than b?
False
Let j(f) be the second derivative of -f**4/12 + 2*f**3/3 - f**2 - 15*f. Let r be j(3). Let p = -35447/56 - -633. Which is smaller: r or p?
p
Let m = 189 + -94. Let l = m + -87. Let b(y) = -y**3 + 9*y**2 - 11*y + 11. Let r be b(l). Which is greater: -12 or r?
-12
Let x = 21172 + -34306. Which is smaller: -13135 or x?
-13135
Let w = 18139 + -17827. Which is smaller: 288 or w?
288
Let z be (-2)/(6 + 2 + -3). Let g = 2019 + -1960. Is g at most z?
False
Let x(v) = -24*v**2 + 30*v - 152. Let m be x(13). Is -3819 at most m?
True
Let f = 5309 + -5580. Does 5 = f?
False
Let r be (-15)/9 + 564/333. Let o = 39/74 - r. Is o <= -212?
False
Let v = -381933778/9283113 + -2/1326159. Let t = -92 + 52. Which is smaller: t or v?
v
Suppose -3*t = 5*u + 6 + 165, -15*u + 228 = -4*t. Is t bigger than -54?
False
Suppose -9 = 4*j - 17. Suppose n = 4 + j. Suppose p = 3*d - 15, -d + n = 2*p + 1. Is -1/16 >= p?
False
Let g(h) = -29*h - 48. Let o be g(-3). Let v = -872 + 3645/4. Do v and o have different values?
True
Suppose 1369*f - 1104792 = 1330*f. Which is smaller: f or 28329?
f
Let y be 23/(-299) + (-903)/91. Which is bigger: 14 or y?
14
Let z(c) = 169*c + 1014. Let n be z(-6). Which is greater: n or -2098/7?
n
Let q(s) = 4*s**2 + 2*s - 83. Let l be q(8). Let a = 163 - l. Which is smaller: a or -1?
a
Let f be (-1 - 0 - -7) + (11 - 13). Suppose 0 = -f*q - 20, -3*c - 2*c + 20 = -2*q. Let s be 38/4 + 1/c. Are 12 and s nonequal?
True
Let r(y) = -2*y**2 + 6*y - 10. Suppose 25 = 5*p - 39*u + 34*u, 4*u + 16 = 2*p. Let x be r(p). Do -40/7 and x