at least as big as 3?
False
Let i = 72 - 20. Let a = -53 + i. Suppose -3*g = -0*g + 6. Is a equal to g?
False
Suppose -105*u + 300*u = 92*u - 272*u. Are u and 13192 nonequal?
True
Let z(j) = 6*j**2 + 3*j - 20. Let l be z(3). Let q = -318 + 366. Is l > q?
False
Let v = -122987367/4572604 + 3/157676. Do -28 and v have different values?
True
Let s = 2820 + -2819. Let d be (-2)/(-236)*(2 + -4). Which is smaller: d or s?
d
Let b = 0.1393 - -96.9607. Let w = 76 - b. Which is smaller: w or -1?
w
Let w = 1/116098 - -17762885/12654682. Which is smaller: 1 or w?
1
Suppose 0 = -b + 14*b + 13. Let p = 1996 + -2816. Let h = 5731/7 + p. Is b at most as big as h?
False
Let b = 143 + -139. Suppose -k - 37 = 2*u, b*k + k + 32 = -u. Which is smaller: u or -14?
u
Suppose 26*a = 4*o + 22*a + 7420, 0 = 4*a + 20. Let k be (-2)/12 - o/(-72). Which is smaller: k or -15?
k
Let z(r) = r**2 + 8*r - 27. Let g be z(-11). Let m be g/((-1)/(-1)*2). Suppose -k - 3 = m*f + 4, -f = 3. Is k greater than 2?
False
Let j = -20 + 80. Let r = 58 - j. Let l be (r*6)/(-2*(-15)/(-20)). Which is bigger: l or 2?
l
Suppose 3*q - 75 - 54 = 0. Let l = q + -38. Let x be (-12)/(-1)*l/15. Is 0.02 greater than or equal to x?
False
Let k be -3 + 7055/(-785) + 117 + -105. Which is smaller: k or 6?
k
Let d = 195 - 258. Let f = -166 + 110. Let m = f - d. Is m greater than or equal to 1/3?
True
Let x be 53 + 10/(5 + -3). Let c be x/(-4) + (-9)/(-6) + -2. Is -18 > c?
False
Let q be (-7)/42 - 39/(-18). Let v be (-6152)/(-92)*7/q. Let a = 234 - v. Which is smaller: 0 or a?
a
Let x = -3.916 - -3.914. Let f = -0.3 + 0.298. Let z = x - f. Which is bigger: 0.06 or z?
0.06
Let a = 8266 + -454634/55. Which is smaller: 0.4 or a?
a
Let s be 36/234 + 11524/299 - (8 - 2). Is s smaller than 2/7?
False
Let s(w) = w**3 - 17*w**2 - 7. Let z(h) = -2*h**3 + 18*h**2 + 9. Let g(p) = -4*s(p) - 3*z(p). Let u be g(-7). Let j = -0.4 + -0.2. Which is smaller: j or u?
j
Let f be 86/1032*(-16)/(-1394). Which is bigger: 1 or f?
1
Let y(i) = -7*i - 4. Let l(c) = 15*c + 9. Let r(d) = -3*l(d) - 7*y(d). Suppose 0 = 2*k - k - 2. Let z be r(k). Which is smaller: 12 or z?
z
Let b = -24 + 14. Let l be (1 - 1)*5/b. Let w be -1 - 740/(-245) - (l + 2). Are w and 0 equal?
False
Let a = 48418/9 + -5380. Which is greater: -201/19 or a?
a
Let h be ((-12)/14)/(2/((-504)/3)). Let t = h + -28. Is 43 less than or equal to t?
True
Let q = 20124 - 16038826/797. Let m be (4 - 3)/(0 + 1). Which is greater: q or m?
m
Let c be -2 + 2/9 - -1. Let z = -32/9 + c. Let a = -0.108 - -0.008. Is a at most z?
False
Let v be 7 + 1 + (-16302)/2037. Let z = 803/42098 + v. Are z and -1 non-equal?
True
Let a = 638 + -640. Let l be (17/(-68) - 3/(-4))*a. Suppose 0 = g - 2*o + 12 - 4, g = -o + 1. Which is greater: l or g?
l
Let p(q) = q**2 - 9*q + 7594. Let m be p(0). Is 7595 less than m?
False
Let t = -2661.366 + 6538.287. Let g = -3879 + t. Let f = -0.079 - g. Does 2/9 = f?
False
Let f = 131 - -54. Let p = f + -134.5. Let k = -51 + p. Is 0.07 at least k?
True
Let x = -798.4 + 414.5. Which is smaller: 1/3 or x?
x
Let v = -8028 + 8028. Are -66/7 and v unequal?
True
Let n(o) = -44*o + 537. Let v be n(9). Which is bigger: v or 15?
v
Suppose 3*b + 2*z - 3 = 0, 5*b = -954*z + 955*z - 8. Is 6/443 at most as big as b?
False
Let z = 0.33 - 20.33. Let v = -1929.39 - -1929.49. Is z not equal to v?
True
Let o = -51/239 + 10985/10038. Let r = -7/6 + o. Let v(k) = k. Let x be v(-1). Which is smaller: x or r?
x
Let v(y) = -y**2 + 2*y + 26. Let z be v(6). Suppose -37*u + z*j = -35*u + 10, -15 = -3*u - 3*j. Which is greater: -2/253 or u?
u
Let i(f) = f**3 - 7*f**2 - 11*f - 74. Let d be i(10). Suppose 44 = -16*m - d. Which is smaller: -59/6 or m?
m
Let x(l) = -42*l + 340. Let s be x(12). Let q(d) = -40*d**2 + 4*d + 5. Let t be q(-2). Is s greater than t?
False
Let b(j) = 51*j - 1273. Let k be b(23). Is k bigger than -506/5?
True
Let i = 9941 + -9772. Which is greater: 339/2 or i?
339/2
Let l = 424014 + -424013.75. Let w = -0.7 - 0.3. Let p = w + 1. Are l and p equal?
False
Let s = -1 - 1. Let j be (594/(-81))/(4/(-126)). Let b be ((-2)/(-7) + 11/j)*-6. Is b <= s?
True
Let k(w) = -4*w**3 - 2*w**2 + 11*w + 20. Let n be k(-2). Suppose 0 = -3*u + 5*a - 25, -4*u - 23*a = -n*a - 5. Is u != -2/255?
True
Suppose -4*t + 22*k + 920 = 20*k, k + 1153 = 5*t. Which is bigger: t or 241?
241
Let g = 50 - 64. Let n be 7/g*8/37. Let l = -5 + 4. Which is smaller: n or l?
l
Let d = 21019 + -21019. Do d and -2/17231 have the same value?
False
Let b = -8896/3 + 418106/141. Are -4/17 and b equal?
False
Let w = 2760/71 + -54027142/1389825. Is w >= -1?
True
Let h = 355/63 - -65/9. Let d = h + -505/42. Let k = -66 + 61. Is k smaller than d?
True
Suppose -5*z + y - 1071 = -0*z, -4*y = -2*z - 414. Let k = z - -213. Let s be ((-18)/15)/(2/(-45)). Is s at least k?
True
Let n = -0.04256 + 388.74256. Is 1 < n?
True
Suppose 5*i + 4*d + 34 = 0, 0 = -6*i + 8*i - 5*d + 7. Let s = 7 + i. Which is smaller: s or -12/91?
-12/91
Suppose -20*p = -17*p + 2*v - 13, 2*p = 2*v + 2. Is p smaller than 124?
True
Suppose 2*m - 112 = 9*m. Let n be (m/(-30))/(217/(-84)). Let k = -6/31 + n. Do 0 and k have different values?
True
Suppose 0 = 23*r - 17*r - 37*r - 55738. Which is bigger: r or 0?
0
Let c be (10 - (-54)/(-9))*3474/(-72). Which is smaller: c or -144?
c
Let j(s) = 2*s**3 + 17*s**2 + 11*s + 23. Let z be j(-8). Is -2/2167 greater than z?
True
Let y be (-7890)/(-1850) - 3/(-5). Let f = y + -2612/111. Is -20 greater than f?
False
Let j = -9660 - -7766641/804. Which is smaller: 0 or j?
0
Let m be ((-14)/(-4))/(2/12). Suppose -2*n = -n + m. Suppose 2*a - 26*g + 24*g = -28, 4*a + 3*g = -98. Which is bigger: n or a?
a
Suppose -3*k + 24 = -3*z - 75, -13*k + 78 = 0. Is z greater than 93?
False
Let a be 0/(((-1632)/17)/8 + 10). Let w be (-232)/786 + 3/9. Which is smaller: a or w?
a
Let w be (-2)/(-15) - (-5375)/1875 - 30/8. Which is greater: -0.0193 or w?
-0.0193
Let f be (((-200)/(-12))/10)/(-10*(-4)/16). Let r(x) = x**3 - x**2 + x - 1. Let z be r(1). Is f equal to z?
False
Suppose 3*z - a + 27 = 0, -2*z - 4*a = 23 - 5. Let d be (-21)/z + 9/(-27). Is d bigger than 60/19?
False
Let v = -3507 + 2078. Which is smaller: v or -1427?
v
Let c be (-5)/2*(-16)/10. Suppose 3*k = -2*q + 2, c*q - 1 = 4*k + 3. Let r be 0*(4 - 5) + k. Is -2/85 > r?
False
Let d = 12725/2 - 6362. Is -3263 greater than d?
False
Let l be ((-4)/3)/((-968)/(-196746)). Which is smaller: l or 5?
l
Let g(o) = 82*o**3 - 3*o**2 + 4*o + 19. Let l be g(3). Is 0 at least as big as l?
False
Suppose 5*f - 3*u - 163 = 0, -5*f - 5*u + 191 = 36. Let h be f/2*((-184)/160 + 1). Suppose -12 = 4*d - 0. Is h != d?
True
Suppose 3*q + 2*a - 34 = -2*q, -5*q - a = -37. Suppose -6*h = -q*h - 4. Let w be 1/h - (11/10)/11. Is w less than or equal to 0?
True
Suppose -38 = -116*k + 78*k. Which is bigger: k or 9/61?
k
Let n(u) = -3*u**2 + 23*u - 9. Let j = 20 - 13. Let y be n(j). Suppose y*w - 50 = 15. Are 12 and w nonequal?
True
Let g be (-2)/(-18) + (-1)/(-3). Suppose 4*v + 3*k - 22 = 0, 79 = 2*v - 5*k + 107. Is g smaller than v?
True
Let s = -24.56 - -127.46. Let a = s - 99. Is a less than -0.1?
False
Let l = -137624 + 137687. Let m = 4 - 7. Which is bigger: l or m?
l
Let t(p) = 254*p**2 + 4*p + 5. Let f be t(-1). Let m = 168 - f. Which is bigger: m or -90?
m
Suppose -5*c + 4*d + 5290 = 1021, 0 = 4*c + 5*d - 3407. Which is greater: c or 854?
854
Let f be (-1)/(-2)*(3 - 1). Let b be -2 + 6 + (-160762)/40187. Let u = 10732/2152875 - b. Are f and u unequal?
True
Let c = 0.53308 + -0.03308. Are c and 2/401 unequal?
True
Let r be 3758/5 - (-11 - 1044/(-90)). Which is smaller: 749 or r?
749
Let o = -0.98 - -1.059. Let y = -34.079 + o. Let k = 55 + y. Are -2/9 and k equal?
False
Let b = -386 - -430. Let y be 13/b - (42/(-8) + 5). Is y at most -1/4?
False
Suppose 2*g = 5*g. Suppose g*p = 2*p + 34. Let t = 1325 - 1338. Which is greater: t or p?
t
Let j be 21 + -20 + ((-36)/8)/((-1)/(-2)). Is j smaller than -7?
True
Suppose -4*f = j + 877, -3*j + 1310 = -5*f + 201. Suppose -3*m - 655 = 4*h, -m - 153 = 3*h + 62. Which is smaller: m or f?
m
Let k(t) = 12*t - 68. Let h be k(7). Let g be (35/(-14))/(216/h). Is 0 > g?
True
Let l(h) = 5*h**3 + h**2 - 3*h + 2. Let u be l(2). Suppose -4*y - 3*y = -1288. Suppo