(-8)/(-5))/((-4)/(-110)). Suppose -49*m + j*m + 65 = 0. Is w greater than m?
False
Let b be (-8 - -9) + 141/5. Let t = b - 29. Which is bigger: t or 1?
1
Let s be 6*76/(-6)*(-6)/8. Let f = 55 - s. Which is smaller: f or -11/6?
f
Let a = -100 + 69. Let i = a - -6. Is i smaller than -1?
True
Let a(b) = 0*b**2 - b - 13 - b**2 + 11*b. Let w be a(9). Let l = w + 4. Which is bigger: l or 2/45?
2/45
Suppose -7*g + 181 - 20 = 0. Let d(r) = -2*r**3 - 3*r**2 - 4. Let f be d(-3). Is g <= f?
True
Suppose -5*z + 0*m + 2*m = 175, z + m + 35 = 0. Let u = 36 + z. Is 1/22 < u?
True
Suppose -3*i - 4 = i. Let h(w) = -4*w**2 - 8*w - 8. Let n be h(-4). Let z = -83/2 - n. Is z at most i?
True
Let y = -3234 + 3913. Which is greater: 680 or y?
680
Let w(t) = -t**2 - 7*t. Let z be (4 + -2)/((-10)/(-15)). Suppose 3*o = 4*x + 13, o + 55 = -5*x - z*o. Let h be w(x). Which is smaller: h or 1/3?
h
Suppose d - 2*u = -29, -3*d + u - 108 = 2*u. Let x = d - -311/9. Let z(h) = -h**2 + 1. Let c be z(0). Is c at least as big as x?
True
Let i = -0.09 - -0.09. Let q = i - -1. Let a = -12 - -14. Is q > a?
False
Let u(x) = -x**2 - 2*x - 18. Let b be u(-7). Let o = 373/7 + b. Is -3/4 >= o?
False
Let b(k) = 3*k**2 + 2*k - 2*k**2 - 14 + 9*k. Suppose -w - 50 = 6*v - 2*v, 0 = 3*v + 2*w + 40. Let s be b(v). Is -4 greater than s?
False
Let u = 14 - 10.1. Let f = u - 4.4. Is f bigger than -3/7?
False
Suppose -9 = 3*o - 0. Let d = -283 - -1117/4. Which is smaller: o or d?
d
Suppose -3*i - 8 = 1. Is 8 < i?
False
Let j(a) = a**3 + 27*a**2 - a + 1. Let g be j(-27). Is 28 at least as big as g?
True
Let f = 85431/4 - 21188. Let v = 171 - f. Let n be (-1)/(-4) + (-3)/12. Which is smaller: v or n?
n
Let g = -5 + 2.5. Let x = 2.6 + g. Which is bigger: x or -8?
x
Let z = 371 + -377.02. Let b = -6 - z. Is -0.1 greater than b?
False
Let t be (6 - -1*1)/(-1). Let u be ((-12)/10)/((-2)/40). Let m = -31 + u. Is m >= t?
True
Let i = 9.2 + -9.312. Let n = 0.198 - i. Which is greater: n or 0.2?
n
Let s(m) = 18*m - 12. Let t be s(4). Suppose t + 12 = -4*f. Is -2 < f?
False
Suppose 8*i - 3*i - 4*q + 4132 = 0, 3320 = -4*i - 4*q. Let f = 2390/3 + i. Let k = 31 + f. Which is smaller: k or 9?
k
Let i(j) = -j**3 - 6*j**2 + 9*j - 2. Let f be i(-7). Let x be (8/f)/((-2)/4). Suppose -3*v + l = -3*l + 19, 0 = 5*v + l + x. Which is bigger: -10 or v?
v
Suppose k - p = p - 96, -4*p = 4*k + 432. Let n(y) = 9*y**2 - 8*y + 23. Let r be n(9). Let l be (-2)/(-10) - k/r. Which is bigger: l or 0.1?
l
Let p be 0*(21/(-6))/(-7). Suppose -3*f + 3*u - 6 = 0, -11 + 3 = 4*f - u. Do p and f have different values?
True
Suppose 5*k - 19 = 6. Suppose 0 = 5*s + g - 80, -s + 4*g + 18 = 2. Let o = -14 + s. Is k at least o?
True
Let s = -83/15 - 406/15. Let y be (-35755)/(-1050) + -1 - 2/3. Let l = s + y. Is l bigger than 0?
False
Let v be (-16)/48*(0 + 6/1239). Which is greater: 0 or v?
0
Let y = -259.2 - -259. Which is bigger: 317 or y?
317
Let o be 1*(-21)/15 + 3. Let c(f) = f**2 + 7*f + 15. Let g be c(-4). Which is bigger: g or o?
g
Suppose 4*b = 5*a + 195, -b = -3*a + 28 - 152. Which is bigger: -44 or a?
a
Suppose 2*t + 46 = -0*t. Let j be 1541/(-69) - 1/(-3). Is t at least j?
False
Let l = 381 + -370. Are 6 and l unequal?
True
Let d = 173 + -85. Suppose 2*o = -4*t - d, 3*t + 3*o = 4*t + 15. Are t and -20 non-equal?
True
Let l = -0.25 - -16.25. Let z = l + -16.1. Which is smaller: -10/7 or z?
-10/7
Let d(q) = q**2 - 5*q - 6. Let w be d(-2). Suppose 35 = -3*m + w. Which is smaller: m or -8?
m
Let v = 0.039 + 26.961. Let g = 27 - v. Is -1 bigger than g?
False
Suppose 0 = -23*p - 44*p + 3886. Are p and 59 non-equal?
True
Suppose 11 = -2*u - 5*r, -6 + 19 = -3*u - 4*r. Let a be (-18)/(-11) + u/2. Is a at least 0?
True
Let p = 2 + -4. Let q = p - -6. Suppose -k + q*y - y = -6, 5*k = 3*y + 6. Which is greater: k or -1/6?
k
Let k be ((-13)/39)/(2/(-12)). Suppose -k*q = -5*q - 870. Let v be (-4)/(-6) + q/(-15). Is 19 greater than or equal to v?
False
Let a = 76/17 - -10/51. Let c(r) = -r + 12. Let b be c(6). Do b and a have different values?
True
Let i = -131 + 74. Let g = -69 - i. Which is smaller: g or -10?
g
Let m be (-40 + 39)*-1*371. Is 373 bigger than m?
True
Let s = 4.1 + -4.071. Let l = 206.8 + -207. Is s > l?
True
Let h = -692/11 - -2976/55. Let n = -1354/155 - h. Is 0 greater than or equal to n?
False
Let g = -30 - -31. Let c = -16 - -7. Let n = c + 15. Which is greater: g or n?
n
Let a be (-1)/(-3) + 1/(-3). Suppose a = 5*u - 4*u - 4. Is 8/3 at least as big as u?
False
Suppose 2*d = 23*d - 189. Let l be 6/21 - 108/(-14). Which is bigger: d or l?
d
Let z = 30.8 + -31. Let j = -0.46 - -11.38. Let n = -0.08 - j. Is z not equal to n?
True
Suppose -2*v + 4*v = 48. Which is smaller: 76/3 or v?
v
Let c be ((-159)/12)/(10/8). Let y be 552/(-45) - (-10 - -7). Let j = y - c. Is -2 <= j?
True
Let i = -7.89 - -8.42. Which is smaller: i or -0.02?
-0.02
Suppose -3*o + 2*w = -73, 51 = 3*o - 3*w - 18. Let l = -32 - -59. Are l and o equal?
True
Suppose 0 = -2*d + 50 - 14. Let x(q) = -2*q**2 + 58*q - 54. Let r be x(28). Let m be -6 + d + (0 - r). Is m bigger than 8?
True
Let l = -424 - -420. Suppose -3*j + 6 - 21 = 0. Which is bigger: j or l?
l
Let v = -0.26 + 0.21. Let t = v - 11.95. Is t greater than -2/3?
False
Let o = -1904818/599 + 3180. Is o >= -1?
True
Let s be ((-51)/(-12))/(66/264). Which is smaller: s or 71/4?
s
Suppose 5*z + 33 = -72. Let w be (3 - z)*1/2. Let x be 52/(-13) - (-34)/w. Is -1 at most x?
False
Let x(j) = -j - 3. Let b be x(-3). Let c(g) = -g**3 - 7*g**2 - 6*g - 5. Let k be c(-6). Let q = k - b. Is -5 bigger than q?
False
Let u = -865 + 108991/126. Which is greater: 1 or u?
1
Suppose -t = 4*t + 15. Let z be ((-612)/t)/4 + -2. Let y be (-84)/z + 6/(-21). Is y smaller than 1?
True
Let g = 26 - 59. Let x = -33.2 - g. Let v = -14.1 - -13. Which is smaller: v or x?
v
Let g(v) = 25 - 2*v + v - 23. Let j be g(2). Which is bigger: j or 2/5?
2/5
Let d(m) = -4*m + 4. Let z be d(2). Let i be z/(-22) + (-6)/33. Suppose i = 4*l + 5*a + 5, -l - l - a = 1. Is l <= -1?
False
Let a = -131/55 - -24/11. Is a not equal to -1/9?
True
Let j(p) = p**2 - 19*p + 1. Let d be j(0). Which is bigger: -3/190 or d?
d
Let y = 72883/70 + -1041. Let b = y - -3/14. Suppose 4*h + 5 = -q, 4*q + 8 = h - 5*h. Which is bigger: q or b?
b
Let a = -0.67 - -0.6. Let f = a + -19.93. Let n = f - -23. Is 1/3 != n?
True
Suppose -2*m - 2*a = 8, -4*m - 5*a - 19 = -3. Let s be ((-6)/(-12))/(m/(-8)). Let b = -18688/69 + 812/3. Which is smaller: b or s?
b
Suppose y = -4*y. Which is bigger: 1/442 or y?
1/442
Let u = 0.127 + 0.023. Let m = 0.41 - 0.41. Are m and u equal?
False
Let w(k) = k + 1. Let y be w(-3). Let q = -1592/3 - -529. Is q at least y?
True
Let k be (-1)/1 - 6 - -2. Let l be 1160/100*20/(-48). Are l and k non-equal?
True
Let o be 10 + -11 - 12/(-15). Is o < -1/21?
True
Let c be (-18)/18 - (-1926)/1928. Is c >= -1?
True
Let u = 2660 - 2548.3. Is -1/4 > u?
False
Let a(h) = -h**3 - 7*h**2 - 7*h - 4. Let r be a(-5). Let g be (-1)/(-2) - (-840)/(-48). Which is bigger: r or g?
g
Let d = 55 - 60. Let l(a) = a**2 + 5*a - 4. Let u be l(d). Which is bigger: u or 10?
10
Let j = 9 - 3. Let b be (-64)/j*(-1)/((-4)/(-9)). Are b and 24 non-equal?
False
Let k be -3 + 885/396 + (-12)/(-16). Is k smaller than 0?
True
Let v(o) = o**2 - 6*o + 7. Let t be v(5). Suppose 3*h = -t*h + 15. Let m be (0 + 1)/(h/(-9)). Is -11/4 at least m?
True
Suppose -5 = -5*k - 0*a + a, -k + 7 = a. Let s = 286 + -204. Let u = s + -83. Which is smaller: k or u?
u
Let i be 3/114*(-8)/26. Let m = -5915 + 5915. Is m at least as big as i?
True
Let j be 1/((-9)/(-2)) + 258219/(-1053). Is j != -245?
False
Let n = 250/11 + -7272/319. Suppose -g + 5*c + 28 - 2 = 0, -4*g + 5*c + 29 = 0. Is n != g?
True
Let d be (((-35)/15 - 5) + 1)*-9. Are d and 57 equal?
True
Let j(r) = -r**3 + 4*r + 1. Let c be j(-2). Is c less than or equal to -1/1896?
False
Let b be ((-7)/(2184/(-65)))/((-10)/(-4)). Let s be -4 + 1 - (-15)/10. Which is smaller: b or s?
s
Let f(c) = 4*c**2 - 3*c - 18. Suppose 2*i + 10 = -3*o, 2 = -4*o + 4*i - 18. Let w be f(o). Is w greater than or equal to 58?
True
Let k = 17 - -17. Let u = 35 - k. Which is bigger: u or 3?
3
Let l be (48/615)/((-62)/155). Is l bigger than -1?
True
Let u be -20*2*(-6)/(-16). Let 