reater than f?
False
Let h be ((-3)/2)/((-9)/(-126)). Let w be h/(-35) + (-7)/20. Which is bigger: w or -0.01?
w
Let t = 262 - 3919/15. Suppose 9 - 7 = 2*x. Do x and t have the same value?
False
Let a be ((-1)/3)/(0 - 2/(-18)). Let m be ((-25)/100)/(a/12). Are m and -2/991 non-equal?
True
Let q be -667 - (-3 + -33 + 12). Which is bigger: q or -637?
-637
Let g = -78 + 87. Let f be -28*249/(-27) - 2/g. Which is bigger: f or 256?
f
Let j = 1418.8 - 1174.8. Which is greater: 8 or j?
j
Let c = -1847 - -1847. Let y = -0.076 + -0.254. Is y at least c?
False
Let j = -9188 + 9188. Do j and -8/17 have the same value?
False
Let p = 12787 - 12662. Is p less than 123?
False
Let m be (-6 - 1) + 3 - (-2976)/832. Let f = 31 - 30. Which is smaller: f or m?
m
Let r be (4/24)/(8/(-48)). Let g = -84 + 35. Let f be (-14)/g - (-32)/182. Do f and r have the same value?
False
Let b be ((-4)/26 - 34/(-52))/(105/42). Which is smaller: b or 34/15?
b
Let i be 74/4 + (-1)/(-2). Suppose -63*s - 58*s + 2904 = 0. Suppose -16*c + s = -i*c. Is c greater than or equal to -10?
True
Suppose -4*x + 12 = -4*l, -x = x + 5*l + 29. Let y be 139/(-17) + (23 - 320/20). Which is smaller: x or y?
x
Let y(r) = r**3 + 18*r**2 + 58*r + 19. Let p be y(-14). Let d be (-4)/366*p/(-2). Which is smaller: d or -0.02?
d
Let p(l) = -l**2 + 8*l + 61. Let f be p(13). Let r be ((-2)/f)/((-7)/(-966)). Suppose -24 = -2*x + 114. Are x and r non-equal?
False
Let i(q) = q**3 + q**2 + 3. Let d be i(3). Let r(u) = -6*u - 1. Let n be r(5). Let t = d + n. Is 7 at least t?
False
Let i(g) be the third derivative of -2*g**4/3 - 55*g**3/2 + 199*g**2. Let c be i(-10). Which is bigger: c or -66?
c
Let a be 16 - -33*72/(-132). Suppose -k - 2*m + 314 = 3*k, -237 = -3*k - 2*m. Which is smaller: a or k?
a
Let p = -94.18 - 221.82. Which is greater: p or -1/5?
-1/5
Let n be (-6)/(-4 - 572/(-142)). Let c = n + 318. Let i be -2*(-12)/(-40) - (-78)/c. Are i and -2/7 non-equal?
True
Let u(p) = -11*p - 116. Let r be u(-21). Let c = r + -190. Is c < -74?
True
Let i be (-38)/12 - (-2)/2. Let f(z) be the third derivative of -z**5/60 - z**3/6 + 75*z**2 + 1. Let b be f(-1). Is b >= i?
True
Let o(i) = 9*i + 243. Let t be o(-27). Let y = -350177/55 + 34172/5. Let x = -468 + y. Does x = t?
False
Let y be (104/(-312))/(2/24). Let v = -5 - -2. Which is greater: y or v?
v
Let j(g) = -g**2 + 8*g + 22. Let q be j(10). Suppose q*p - 3*p + 1 = 0. Suppose 7 = 6*c + p. Is 4/33 greater than or equal to c?
False
Let j = -265 + 881. Let p = 545.1 - j. Let v = -71 - p. Which is smaller: 0.033 or v?
v
Let m = -0.04 - -19.04. Let d = m + -69. Let b = 49 + d. Is b at most 0.1?
True
Let d = -0.942 - -0.855. Let f = d - -0.187. Which is bigger: f or 570?
570
Let w = 8 - -27. Let l = -154 + 179. Suppose 0*r = -5*a + 3*r - l, -5*a + 5*r - w = 0. Which is greater: a or 2?
2
Let b(f) = f**3 + 10*f**2 - 9*f + 16. Let d be b(-11). Let l(q) = -17*q - 104. Let j be l(d). Which is bigger: j or -19?
j
Let x be (-27)/15*340/(-204). Is x bigger than -234?
True
Suppose 42 = -2*c - 20. Let p = c + 46. Suppose 11*s - p*s = -244. Is 62 > s?
True
Let g = -4223 + 4228.3. Which is smaller: g or 1/11?
1/11
Let y = -0.26163 - 12.73837. Which is bigger: y or 388?
388
Let j be -1 + 78/(-20) + 4 - -1. Let q(f) = f**3 - 9*f**2 + 6*f - 4. Let h be q(7). Let s be ((-1)/(-5))/((-12)/h). Is j at least as big as s?
False
Let f be 27/(-36)*8/15. Let t = -29293 - -1259601/43. Is t at most f?
False
Suppose -6*q + 2*q = -20. Let r(v) = 10*v - 3. Let o(c) = c + 2. Let k(z) = -20*o(z) + 5*r(z). Let h be k(q). Which is smaller: 0 or h?
0
Let m(q) = 4*q**2 - q - 1. Let c be m(-1). Suppose -3*r - 4*n = 24 - c, 2*n - 56 = 4*r. Let z be (-4)/(-6)*r/(-8). Are z and -2/19 unequal?
True
Let j be ((-1)/154)/((-136)/544). Let r be 6771/2772 - (-9)/(-12). Let l = r - j. Are l and 2 nonequal?
True
Let q(k) = -5*k**3 + 4*k**2 + 10*k + 2. Let j be q(-4). Let b = -371 + j. Are -26 and b non-equal?
True
Let h = 32709/370 - 442/5. Suppose -1384 = 3150*a - 4534. Which is bigger: h or a?
a
Let s(c) be the third derivative of -c**4/4 + 7*c**3/3 + 2*c**2 + 50. Let l be s(-9). Do l and 67 have different values?
True
Let h = -6171.07 - -6171. Which is smaller: 100 or h?
h
Suppose 6*n - 3*n + 3*f - 18 = 0, -3*n = -2*f + 2. Let d be 1 + n/(-3) + 772/6. Let a = -125 + d. Is a bigger than 42/13?
True
Let w be (-4)/18*(58 - 1). Suppose -v + 448 = -0*f - 3*f, -432 = -v - f. Let x = 424 - v. Which is greater: x or w?
x
Let x be (2/(-18))/(-9 + 17 + -7). Let g(b) = 2*b + 9. Let a be g(-5). Which is greater: x or a?
x
Let j(r) = 128*r + 4865. Let o be j(-31). Is 11652/13 greater than o?
False
Let k be (-9)/1 - (-9 - (-2 - 187338/(-93660))). Is k at least as big as -1?
True
Let g be 34/119 - 24/(-14). Suppose -12*m = -g*m + 90. Let p(l) = 2*l**3 + 2*l**2 + l - 1. Let u be p(-2). Is m greater than u?
True
Let o(k) = -4*k + 22. Let p be o(5). Let w be (0 - p/(-21))*92/69. Is 0 equal to w?
False
Suppose -783 = 5*m + 2*u, 4*u + 172 - 490 = 2*m. Let k = 127 + m. Does -30 = k?
True
Suppose -658 - 1414 = 4*j + 4*j. Is j <= -268?
False
Let s be (-49)/21 - (4186/(-21) - 3). Which is smaller: s or 1394/7?
1394/7
Let v = -707 - -712.37. Let p = 5.27 - v. Are -3 and p nonequal?
True
Suppose -2390 = 15*f - 12*f - 2*m, -2*f - m - 1584 = 0. Is f bigger than -795?
True
Let v be ((-3)/18)/((-1)/12). Let q be 24*33/(-402) + v. Suppose -4*s - 5*z = 0, 3*s = 5*s + 5*z. Which is smaller: q or s?
s
Let z be (-1)/(108/(-615) + 2/10). Suppose -4*q = -n - 42, -q - 33 = n + 9. Which is greater: n or z?
z
Suppose 8*s = 7*s - 5*t + 342, -2*s + 698 = -4*t. Suppose -11*y + 347 = -12*y + 5*g, 4*g = y + s. Which is bigger: -346 or y?
-346
Let q(c) = -c + 11. Let x be q(2). Let d be (57/x - 1)/(2 + -112). Is 1 at least d?
True
Let j = 951 + -951. Let m = -4819/5457 - -84/107. Is j equal to m?
False
Let t = -125504235/3287 + 38182. Do 0 and t have different values?
True
Suppose -5*u + 2*p - 2854 = 0, -2*p = -382*u + 384*u + 1136. Is -570 at most u?
True
Suppose -5*n = 4*u - 84 - 14, 2*n - 4*u - 28 = 0. Suppose -q - 14 = -4*z, -3*q - 291*z + 102 = -287*z. Which is smaller: n or q?
n
Let g = -60988/51 - -341/102. Are -1193 and g equal?
False
Suppose -3*z = -o + 4 - 0, -4*z - 4*o - 16 = 0. Let a = 50 + -36. Let v be -1*(a + -1 + z). Is -0.1 at most as big as v?
False
Let y be (3679701/(-3042))/(-17) + 1/1. Let f = y + -433/6. Is 1 > f?
True
Let p = 76724 + -841634/11. Which is greater: p or 213?
213
Let g(x) = -x**2 + 3*x + 6. Let w be g(6). Let q(d) = -d - 105. Let p(t) = -3*t - 104. Let f(i) = -3*p(i) + 4*q(i). Let r be f(19). Which is greater: w or r?
w
Suppose 49*c = -9*c - 34*c + 16284. Which is bigger: c or -11?
c
Let c = -23915 - -23914. Is c less than or equal to -944?
False
Let u be (47/2)/(8/32). Let i = 98 - u. Let j(x) = x**3 - 6*x**2 + 4*x + 7. Let a be j(5). Which is smaller: a or i?
a
Suppose 11*t = -1869 - 232. Is t > -190?
False
Suppose -5*y = 4 - 14. Let l be (-4)/(-18) + (y - 8096/3708). Which is smaller: 1 or l?
l
Suppose -100*g - 28*g = 14720. Are g and -51 nonequal?
True
Let i(c) = -c + 7. Let a = 78 - 72. Let u be i(a). Are -2/255 and u non-equal?
True
Let n = 3619 + -2784. Which is bigger: n or 841?
841
Let l = 3/2630 + 31329/202510. Suppose 4 - 3 = p. Is l smaller than p?
True
Let r be (4/6)/((-10)/6). Let y = -0.02689 + -24.57311. Which is smaller: y or r?
y
Let x be 12/(-2)*(-7)/21. Suppose x*z + 204 = -264. Let g be 52/z - 2/18. Which is smaller: g or 0.35?
g
Let o = 16 - 17. Let n = -22845/182 - -251/2. Is o less than n?
True
Let b = 23167 - 25600. Is b at most -31626/13?
True
Suppose -w + a = -3*a - 43, -5*a - 290 = -5*w. Suppose -5*i = -t - 152, i + 4*t + 20 = w. Suppose 3*o - 34 + i = 0. Is o less than 12?
True
Let x be ((-3)/24)/(3/(-6)). Let d(g) = g**2 + 12*g + 9. Let r be d(-17). Let s = r + -95. Is s bigger than x?
False
Let j = 31 - 30.598. Let i = -0.362 + j. Let v be (2/8)/(9/(-12)). Does i = v?
False
Let g(x) = 8*x**2 - 2*x - 1. Let d be g(-4). Let z = 156 - d. Are 108/5 and z unequal?
True
Let w be (-1000)/(-600) - (-61459)/(-36879). Which is greater: 1 or w?
1
Let o be (7323/42)/((-328)/(-1552)). Let n = o - 825. Is n != 0?
True
Let t = 9.3 + 21.5. Let o = t + -31.2. Does o = 1.4?
False
Let r = -0.31 - 2.29. L