 + 366. Let q be (-20)/8*9/(-315). Are q and z non-equal?
True
Let s be (-59250)/(-10)*(-4)/(-12). Is s <= 13834/7?
True
Let q = 2191 + -2214. Let u be 1 - ((-24)/(-10))/2. Which is bigger: u or q?
u
Let y = -172 + 123. Let l = 3.7 + -52.7. Let c = l - y. Which is smaller: 36 or c?
c
Let j(r) = r**2 - 12*r + 25. Let y be j(8). Let h(f) = -23*f + 1. Let m be h(1). Let s = 20 + m. Is s at most y?
False
Let y be 3*(-2 + (-30)/(-126)*8). Suppose 4*p - 108 = -0*p. Let h be 2 + (-84)/p - -1. Which is smaller: y or h?
y
Suppose 223 = -7*c + 153. Let k be ((-42)/18 - -2)*c/(-4). Is -0.8 equal to k?
False
Let w be (24/892 + 0)*4931/(-825). Let c = 2/2453 + w. Which is smaller: c or 1?
c
Let r(l) = -61*l - 90. Let o be r(2). Which is greater: -195 or o?
-195
Suppose -z - 1160 = -6*z - 4*f, -z - 4*f = -248. Suppose 6*y - 1446 = -z. Suppose 0 = -4*l - 2*o - 164, o - y = 5*l + 3*o. Is l != -39?
False
Let g be 5 + -1 + (-12 - -9). Let k be ((-4)/(-1008)*-2)/(-3 - (-143)/33). Which is greater: k or g?
g
Let b = -8740 + 8739.6. Which is smaller: 4/115 or b?
b
Let c = -0.12113 + 0.17113. Does c = -3.9?
False
Let p be ((-559)/(-65) - 8)/((-3)/4695). Which is smaller: p or -940?
-940
Let u be (4/(-6))/((-96)/60048). Let g = -409 + u. Which is smaller: g or -1/3?
-1/3
Let o = 38984 + -38917. Let s be 1 + 65 + 0 + 1. Are o and s equal?
True
Let i(s) = -2*s**2 + 5*s - 17. Suppose 500 = 4*m - 3*x, 4*m - 3*x = -x + 504. Let y = 133 - m. Let j be i(y). Which is greater: j or -41?
-41
Let o be (7/(-63)*6)/(2/(-18)). Suppose -o*x + 5*k = -2*x - 25, -x - 2*k = 10. Which is smaller: -15/22 or x?
-15/22
Let g be (-4)/1810*(-6)/(-12). Suppose -4*o = -8*c, 2*o = -48 - 45 + 89. Which is smaller: c or g?
c
Let l = -109 - 8. Let z = -8071 - -7953. Which is bigger: l or z?
l
Suppose 0 = 11*z + 437 + 927. Let x(f) = f**3 + 7*f**2 - 3*f + 11. Let o be x(-9). Is z smaller than o?
False
Let r = 1.5524 + -1.4524. Suppose 3*z - 7 = -v + 4*z, 7 = 5*v + 2*z. Suppose -5*a + 20 = 0, -d - v*a + 14 = -2*d. Which is bigger: r or d?
r
Let v = -908178.8 - -908179. Let a(h) = -h**2 - h + 5. Let o be a(-4). Is o < v?
True
Let g be (18 - 87204/(-260)) + (0 - 2/5). Is 351 <= g?
True
Let a(r) = -4*r**2 - 18*r + 9. Let k(m) = 3*m**2 + 17*m - 9. Let s(l) = -4*a(l) - 5*k(l). Suppose -g = 4*g - 50. Let f be s(g). Which is smaller: f or -39/2?
f
Suppose -11*p + 7*p = 5*g + 32147, 0 = -3*p + 9*g - 24072. Are p and -8032 equal?
False
Let b be (3 + -3)/(108/(-27)). Suppose 615 = 3*d - 57*f + 54*f, b = -5*d - 4*f + 1007. Which is bigger: 205 or d?
205
Let q = 28 + -80. Suppose -2*r - 2*c - 98 = 0, -2*r - 68 - 15 = 5*c. Is q smaller than r?
False
Suppose -23*q = 41*q + 49*q. Let u = -1797/14 + 513/4. Is q smaller than u?
False
Suppose 56*k - 32*k = 48. Let x be 2/(-3) - (-646)/6. Is k bigger than x?
False
Suppose 0 = -4*a - 20, -5*f + 5*a - 3154 = 4456. Which is greater: f or -1526?
-1526
Suppose o - 5*h = 72, 4*h - 2*h - 148 = -3*o. Suppose -334 = -6*d - o. Let c be d/(-7) + -3*(-6)/(-63). Is c >= -10?
True
Suppose -238*g = -163320 + 447730. Which is bigger: -1193 or g?
-1193
Suppose -2599*x + 2586*x + 260 = 0. Let l(o) = -o**3 - 4*o**2 + 8*o - 3. Let j be l(-6). Is x at most j?
True
Suppose 41*b - 148 = -5*t + 37*b, 0 = -5*t + b + 138. Which is bigger: t or 37?
37
Let m = -4226 + 4224. Let z = 180 - 77. Which is smaller: z or m?
m
Suppose -10*r + 146 = -47*r - 36*r. Let n = 37899/35 - 1083. Which is smaller: r or n?
r
Suppose 8*h + 3*h - 495 = 0. Suppose i + 8*i = -h. Let b be i + -2*(-1 + -1). Which is smaller: -9/10 or b?
b
Let w = -971 + 970.7. Which is smaller: w or -730?
-730
Let t = -13 + 13. Let h be (22/(-4))/(3460/40). Let s = -2217/40309 - h. Which is smaller: s or t?
t
Let h = 0.15 + -0.01. Let w be (61/7 + -9)/(2/(-42)). Suppose -4*k - w*a + a - 21 = 0, -a - 5 = 0. Is k > h?
True
Suppose 98*u - 11148 = 110*u. Which is bigger: u or -930?
u
Suppose -5*k - 12 + 27 = 0. Let u(f) = -3*f**2 - k*f - 4*f + 4*f**2 - 4 + 3*f. Let w be u(5). Is -24 less than or equal to w?
True
Let k = -3303238889/1397816 - 1/199688. Is -2364 > k?
False
Let z = 144.106 + -0.106. Let j = 130 - z. Let f be 9/12*(-1)/(-3). Are j and f equal?
False
Let w = -2289 - -2340. Let v = -3.9 + 4. Do w and v have different values?
True
Let l(y) = 15*y**2 - 53*y + 24. Let h(s) = -7*s**2 + 26*s - 13. Let t(z) = -13*h(z) - 6*l(z). Let g be t(19). Let b be 2/5 - (-56)/10. Are b and g nonequal?
False
Let r be (-458)/44805 + (-12)/30. Let n = 34/87 + r. Which is smaller: n or 1?
n
Let u(q) = -2*q**3 + 5*q**2 - q - 4. Let h be u(2). Let c be -10 - ((-8)/h - 10). Which is greater: 9 or c?
9
Let u = -6.538 - -5.838. Is u less than or equal to -37?
False
Let y = 1.71 - 2.042. Let j = y - -0.76. Do j and -1 have different values?
True
Let d = 4912 + -4398.2. Let y = 514 - d. Let n = -10.8 - -14. Which is smaller: y or n?
y
Suppose -o + 5*c + 645 - 153 = 0, 3*o + c = 1572. Which is bigger: 521 or o?
o
Let o be (98/(-70))/7 + 228/(-10). Suppose i - 12 = 5*g, g + i + 4 = -2*g. Let d = g + -22. Is d at least as big as o?
False
Suppose j = -5*n - 10, -5*j - 9 - 20 = 4*n. Let f be -2 + -4 + 5 - -2. Let u be 4/(-8)*2 - f/j. Is 0 bigger than u?
True
Suppose 472 = -1410*h + 1406*h - m, -16 = -4*m. Are -87 and h non-equal?
True
Let o(k) = -k**3 + 37*k**2 + 261*k - 89. Let g be o(43). Which is smaller: g or 9?
9
Let s = 837 + 168. Which is smaller: s or 1006?
s
Let n = -0.5 - 2.3. Let g = 0.0514 - -2.7886. Let l = 2.64 - g. Does n = l?
False
Let r be 6/9 - (-17 + 505820/1020). Is -479 > r?
False
Let z be ((-8)/(-36) + (-52)/72)*0. Let r be (1/2 - (z - 0))*-48. Let p be (2*4/(-42))/((-1)/r). Is -1 < p?
False
Let p be 795/(-138) - -1*((-5 - 2) + 9). Which is bigger: p or -5?
p
Let h be 9/((-18)/(-920))*8. Let j be ((-24)/(-10))/(138/h). Which is smaller: 63 or j?
63
Let m(g) = -2*g**2 - 23*g - 3. Let s be m(-11). Let o = s + -55. Are o and -183/4 non-equal?
True
Let v = -594 + 836. Let c = v - 264. Which is greater: -7 or c?
-7
Let j = 17639 - 17580. Do j and -1/47 have the same value?
False
Let c = 2123 - 555. Is 1567 less than or equal to c?
True
Let k = -37 + 38. Let t be (-10)/(26800/430) + k/4. Is t > 1?
False
Suppose 13 = -48*o - 83. Which is greater: -140/73 or o?
-140/73
Let l be 14 + 2 + (-1 + -2 - -3). Let n be (3 + 0)/(12/l). Let b be (-4)/((-4)/(-2) - (-3)/(-1)). Is n greater than b?
False
Let k be ((-4)/10)/(7/175). Suppose -21*u + 326 - 820 = 598. Which is greater: k or u?
k
Let t = -34823/6435 + 380/117. Are -2 and t equal?
False
Let d = -5.247 + 4.947. Is 362 <= d?
False
Let y = 165 - 370. Let a = y + 209. Suppose 7*l - 3*u - 24 = 2*l, -2*l + 4 = -4*u. Which is greater: l or a?
l
Let k be (-15)/12*146*2016/560. Which is bigger: 2 or k?
2
Let w = -18215 - -19113.1. Let q = -898 + w. Is -412 at most q?
True
Let t be (-4)/(-3 + 21/6 - 0). Let l be 0/(-3 + (-4 - t)). Let d be l + (5 - (2 - 3)). Is 5 less than d?
True
Let r = -26043824/2805 - -157615/17. Let m = -227/15 - r. Which is greater: -3 or m?
m
Suppose 5*i + 25 = 5*d, -284*d + 4*i - 7 = -289*d. Do -6 and d have different values?
True
Let g = 4224 - 4289.91. Let j = -65 - g. Let n = 1.91 - j. Do n and 45 have different values?
True
Suppose 17*l + 230 = 1403. Let c = 139 - 74. Let w = l - c. Is 6 smaller than w?
False
Let g(o) = -6*o - 4. Let l be g(3). Let q be (l/5)/(4/85). Let x = q + 96. Are x and 4 equal?
False
Let h be (260/2)/((-7)/((-14)/(-2))). Let g = 130 + h. Let q be (g - 4/8)*18/(-3). Is q < 5?
True
Let j be (3/4*(-30)/9)/(5/(-2)). Are j and -2/38859 non-equal?
True
Let y(f) = 3*f**2 + 18*f + 2. Let j be y(-6). Suppose -54 = -25*n - j*n. Which is smaller: n or 56/25?
n
Let c(b) be the first derivative of -b**3/3 + 13*b + 194. Let y be c(-4). Let j be 2/(-4)*(4 + -1). Is j less than y?
False
Suppose 10*r = -0*r + 4680. Suppose 2*f = 4*i - 2*f - r, 5*f + 20 = 0. Let n be (4 - 9)/40 - i/24. Which is greater: n or -4?
-4
Let t be 5*(2/(-5) + 0). Let u(z) = 6*z + 192. Let n be u(-30). Let s be (-24)/(-132) - n/66. Which is greater: t or s?
s
Let w = -9269 + 6337. Is w at most as big as -2931?
True
Let q = 21068/99003 - 56/541. Which is smaller: q or -1?
-1
Let w(o) = -106*o + 214. Let n be w(-4). Let v = -612 + n. Which is bigger: 16 or v?
v
Let i be (-7056)/(-490)*290/1. Is i 