 y = 57 + -56. Is y smaller than -181?
False
Let s = -27/355 + 2669/39760. Which is bigger: -1 or s?
s
Let b be (-11)/(-2)*(-1 - (1 + -4)). Let a be 2 + (-1 + 5 - b) + 5. Is a greater than or equal to 8/9?
False
Let h = -193 + 193.272. Let b = h - 1.272. Which is bigger: 0.9 or b?
0.9
Let d be (2 + -5)/(12/20) - -7. Let n be (1072/(-120) - -7) + d. Suppose -c - 4*c - 5 = 0. Which is smaller: c or n?
c
Let x = 815 + -499. Suppose -5*y + 3443*g - 3446*g + 1559 = 0, -5*g - 1299 = -4*y. Are y and x equal?
True
Suppose o - y - 12933 = 0, -4*y + 32866 = 3*o - 5898. Is o < 12929?
True
Let s = 18 + -43. Let a = 6.111 + -4.111. Which is smaller: s or a?
s
Suppose 0 = 3*p - 2*p - 4*j + 3, 2*j = 4*p - 30. Suppose -p*z = -3*z + 12. Suppose -b - 4*b = 0, -2*b + 40 = 4*l. Is z equal to l?
False
Suppose 4*s = 5*g + 267 + 37, 0 = -4*g + 4*s - 240. Let p be ((-212)/(-16))/((-2)/8). Let n = g - p. Is n at least -3?
False
Let d = -27/1066 - 11493/19721. Let m = d + 18643/30414. Is -1 >= m?
False
Let v be (-34)/(-425) - (-2546)/50. Suppose -3*q - u - v = -3*u, -5*q + 2*u = 85. Which is bigger: q or -24?
q
Let q(d) = -12*d**2 - 61*d - 3. Let b be q(-5). Let t be -2*b + (1 - -2). Which is smaller: 2/5 or t?
t
Let o = -566.6734 + -0.1866. Let q = o + 567. Do 6 and q have the same value?
False
Suppose 2*r - 3*h = 9, -24 = 2*r + 5*h - 25. Suppose 10*n = r*n + 7. Let s = -428/5 + 8142/95. Which is greater: n or s?
n
Let o(r) = 22*r**2 - 16*r + 18. Let i(c) = -2*c**3 + 29*c**2 + 12*c + 46. Let n be i(15). Let y be o(n). Which is smaller: y or 165/7?
165/7
Let h(y) = 11*y + 63. Let r be h(-6). Let j be (r + 75/33)*(-1)/(-4). Which is smaller: 0.042 or j?
j
Let u = -39/337 - -12600/117613. Which is smaller: 0 or u?
u
Let d be (101/(-20) + 4)*5*116. Is -609 != d?
False
Let a(i) = -i - 6. Let c be a(-6). Let y = -5855233/5931 + 8885/9. Which is greater: y or c?
c
Let p be (((-1428)/18)/(-17))/((-7)/21). Let c be (-4)/10 + (-146)/10. Which is greater: p or c?
p
Let q = 93 - 20. Suppose -201 = 32*y - 2473. Is y >= q?
False
Let a = 44 + -5. Let s = -47 + a. Which is smaller: -13 or s?
-13
Let p = 21655/9392 + 4/587. Which is smaller: 2/13 or p?
2/13
Let p = 311 - 305. Let x be 12 - (4 + -7 + p). Suppose 0 = 4*c + 4*j - 32 - 12, 4*c + 3*j = 40. Is c at least as big as x?
False
Suppose -114*z - 19 = -95*z. Let h be z*(-1)/(-4 - -5). Do h and -6/161 have the same value?
False
Let j = 2403 - 2303. Which is smaller: 101 or j?
j
Suppose 0 = 2*o + v - 177, -357 = -5*o + o - v. Let g be 1/((-6)/(-45)) + 1/(-2). Suppose 455 = -2*k + g*k. Is o at most k?
True
Let m be (-21)/20*(9 + -13). Suppose 49 = 5*d - 5*q + q, -q - 19 = -2*d. Suppose -5*i + 25 = -2*y, 11 + d = 4*i - y. Which is smaller: m or i?
m
Suppose 0 = -17*n + 3*n + 238. Suppose -10*f - n = -7. Is f not equal to -1.05?
True
Let j(s) = s**3 - 4*s**2 - 5*s + 2. Let w be j(7). Let c(q) = 35*q - 87. Let v be c(6). Suppose x - v = -t - 11, 5*t + 3*x - 562 = 0. Which is bigger: t or w?
w
Let m = -14 + -36. Suppose 0 = g - 239 + 203. Let a be g/(-42) - (-76)/56. Is m at least as big as a?
False
Let s be (-44)/(-308) + 271412/(-14). Let t = s - -19419. Is 34 less than or equal to t?
False
Suppose 4*w - f + 105 = 0, -2*f + 99 = -5*w - 36. Let k(d) = -d**3 - 24*d**2 + 23*d - 47. Let a be k(w). Are a and 30 nonequal?
True
Suppose -m = -5*m + 36. Let v(x) = x - 11. Let k be v(m). Let l be 6/(-21) + 33/(-105). Is l at most k?
False
Let r = 27435 + -27435.2. Is -0.507 <= r?
True
Let d = -6861/5 - -27709/5. Let c = 4240 - d. Is 71 at least c?
True
Suppose 2*t + 15840 = 12*t. Let q = 837 - t. Let x = q - -2973/4. Is -1/2 at most as big as x?
False
Let s(o) = 5*o + 106. Let p(a) = -45*a - 955. Let t(h) = -6*p(h) - 55*s(h). Let g be t(-25). Is 23 bigger than g?
False
Suppose -3*o + 6*o - 12 = -3*h, -4*h + 4*o - 24 = 0. Let b be 4 - (103 - (-10)/(h + -4)). Is b smaller than -97?
False
Let p = -12.26 - -1.36. Let f = 11 + p. Let u(i) = 2*i**2 - 28*i + 83. Let z be u(11). Which is smaller: z or f?
f
Let w = -7541 - -6479. Which is smaller: -5307/5 or w?
w
Suppose -2655*i = -2660*i + 80395. Which is smaller: i or 16080?
i
Let j = 28 + -19. Let m = -78623/77 + 10542/11. Let h = m + 63. Which is bigger: j or h?
j
Let y = -2582/63 - -10764610/262647. Which is bigger: 1 or y?
1
Let r = 471.88 - 482. Let a = r - -10. Are a and 4/9 nonequal?
True
Suppose 64 = 5*j - 19*w + 18*w, j = 4*w + 28. Which is greater: j or 16?
16
Let g(n) = n**2 + 14*n + 5. Let p be g(-9). Suppose f + 3*y = -0*f + 54, 5*y - 25 = 0. Let b = p + f. Which is greater: b or 1/24?
1/24
Let m be (4 - -2) + 3/(12/(-4)). Suppose m*g - 3*u + 11 = -0*u, -2*u + 7 = -3*g. Let p be (-1 + 0)/1 - (-30)/15. Which is bigger: g or p?
p
Suppose -131*i + 9576 = -19375. Which is smaller: 879/4 or i?
879/4
Let t(r) = r**3 + 20*r**2 + 28*r + 8. Let y be t(-8). Let q = -544 + y. Which is smaller: 29/4 or q?
29/4
Let n be 6/880*5*-8. Are n and -1 equal?
False
Suppose 0 = -4*y + 44 - 112. Suppose -4*s + 14 = v - 1, 0 = 5*s + 2*v - 15. Suppose -2*o + 4*b - 37 + 1 = 0, 5*o + s*b = -90. Is o at least y?
False
Let m = 1709277/211 + -8101. Which is bigger: m or -1?
m
Let l = -6 - -10. Let b be (16/(-154) - l/22)*-14. Let x be b/3*231/91 - 2. Which is greater: 2 or x?
2
Suppose -344 = -4*d - 5*r, 5*d - 4*r - 216 - 173 = 0. Let s = 81 - d. Which is smaller: s or -17/13?
-17/13
Let d = -7703 - -7827. Is d greater than 17?
True
Let o = 20.1 + -3.1. Let c = o - -31. Let a = 48.1 - c. Do -1/4 and a have different values?
True
Let w be (-9 - -31)/(56/28). Let r(c) = c**2 + c - 1. Let v be r(-3). Suppose n - 5*b - 25 = 0, -26 = -2*n + v*b - b. Are w and n equal?
False
Let c = 3616009/10 + -361899. Let m = c - -298. Which is smaller: -3 or m?
-3
Let r = 2850632/123 - 23176. Is r not equal to 1?
True
Let q be -15 - ((-123 - 14) + 7). Is q at most 118?
True
Let d(l) = -15 + l**2 + 4 + 2*l + 0 + 4*l. Let n be d(-5). Let v = -35 - -23. Which is smaller: n or v?
n
Let t = -0.88 - 3.42. Let o = 9.7903 + 1.9097. Let z = t - o. Which is smaller: z or -0.1?
z
Let u(l) = 2*l**3 - 38*l**2 + 39*l + 70. Let n be u(18). Is n > -6?
True
Suppose -3*g = -4*d - 34 + 23, 3*d + 6 = 0. Which is smaller: -13/367 or g?
-13/367
Let x = 14 + -11. Let a(t) = -t + 4. Let s be a(x). Suppose 3*v - 5*j = -7, -4*v - 5*j + 13 = -v. Does v = s?
True
Let v be 14 + -17 + (-88)/2. Let p = 5588 - 5631. Is p at least v?
True
Let m be 1904/(-6)*((-27)/15 + 378/(-90)). Is 1905 greater than or equal to m?
True
Let v be (0 - -1)/(4/(-60)). Let g(l) = -6*l**2 - 24*l**3 - 22*l + 35 + 10*l**3 + 15*l**3. Let w be g(8). Which is greater: v or w?
w
Suppose -76 = 2*k - 16. Let o be -5*-4*(-3)/k. Suppose q = o*f - 5, q + 4*f + 3 = 16. Which is smaller: q or -9/7?
-9/7
Let x be (-1 - 0)*(7 - 5). Let r be (x - -3)*3*5. Suppose 5*b + 300 = 375. Are b and r non-equal?
False
Let k be ((-6)/(-4))/(3/6). Suppose -4*n - k = -7. Let l be (-12)/(-12)*(18 + n). Which is smaller: 20 or l?
l
Suppose 8 - 4 = h. Let s be h - (0 + 2 - 2). Suppose 4*f - 24 = -s*n, -3*n + 5*f - 16 = -n. Is 1 not equal to n?
True
Let p(i) = -2*i**3 - 9*i**2 - 11*i - 3. Let m be p(-3). Let f be 3/(-15) + (m - (-856)/(-270)). Is -1 less than f?
True
Let a = -6044/5 + 18483/10. Which is greater: 641 or a?
641
Let o = 80 - 69. Let c = o - 2. Let v be ((-4)/(-3))/(c/((-81)/(-6))). Is v less than 3?
True
Suppose -2 = 2*c + 4. Let k be (-24)/(-2)*(22/(-12) - -2). Let h be (k/(-14))/(c/(-36) - 0). Is -1 equal to h?
False
Let n = -30/229 + -4184/13511. Which is bigger: n or -14?
n
Let d be 24/3*26/(-208). Is 1/25530 < d?
False
Let u = 469/1389 - 2/463. Which is bigger: -762 or u?
u
Suppose 19*n = -28*n - 12032. Is n >= -2?
False
Let b be ((-6)/1144)/((-9976)/(-768) + -13). Which is bigger: 0 or b?
b
Let x be 4/2*(0 - -2). Let n be 1 + (x + 5)*10/(-94). Are -1 and n nonequal?
True
Let t = 3221 - 3221. Which is greater: 1/10841 or t?
1/10841
Suppose 6*g + 360 = 16*g. Suppose g*v - 468 = 30*v. Is 81 greater than or equal to v?
True
Let f = -1313/6 + 45601/210. Let p be (-2117)/(-1015) - (-1 - 27/(-15)). Let r = p + f. Is 0.2 less than or equal to r?
False
Let o = -352 + 352.22. Let k = -4.73 + 0.51. Let z = o + k. Which is smaller: z or -1?
z
Let m = -9134/5 - -237509/130. Let o(k) = k + 5. Let z be o(-4). Is 