et o = 9927 - 9927.475. Which is smaller: o or -2/7?
o
Let i = 28960 + -201907/7. Let z = 134 - 249. Let u = z + i. Which is bigger: u or 2/5?
u
Suppose 5*y = -m - 3, -8*y + 12*y = 4*m - 12. Let r = 18 - -35. Suppose 5*g = r + 42. Is g < m?
False
Let o = 15621 + -15621.2. Is o >= 8796?
False
Let z = 13.58 - 12.58. Is z != -66?
True
Let r be 5/2 + (1880/16 - 9). Let c = r - 153. Is c less than -41?
True
Let r = 9975 + -9988. Suppose -7*n = -157 - 32. Is n less than r?
False
Let y(k) = k**3 + 15*k**2 + 2*k + 38. Let g be y(-15). Let x = -1011 - -4047/4. Which is smaller: g or x?
x
Let b be (-5)/((-20)/8) + 63. Suppose 4*u - 4*s = 324, 3*s = 2*u - 101 - b. Is 78 equal to u?
False
Suppose 2486 = -a + 4*c, 11*a + 2*c = 13*a + 4990. Is a equal to -2497?
False
Suppose 0 = -4*c + 5*j + 15, -4*c = c + 2*j + 6. Let a be 8/(-8) + 2 + 20. Let k be 6/a - 18/14. Which is bigger: c or k?
c
Let r = -193.6 + 191.6. Is 1330 <= r?
False
Let k = 5747 + -5745. Is k smaller than 109/35?
True
Suppose 25*q = 23*q + 2*d + 1772, 0 = -3*q - 5*d + 2706. Are 888 and q non-equal?
True
Let y(z) = 2*z**2 - 3*z + 7. Let s be y(3). Suppose -3*a = -2*a + r + 5, 8 = -2*r. Let h be a/1*(-18)/1. Which is smaller: s or h?
s
Let t be 23*(0 - 0 - (-13 + 8)*-1). Suppose 0*j + 570 = -5*j. Which is smaller: t or j?
t
Let x(w) = w**3 + 4*w**2 - w + 5. Let n be x(-4). Suppose 10*g + 8370 = -30780. Let l be ((-2)/15 + (-232)/g)*-3. Is n at least l?
True
Let q(w) = -71*w - 3052. Let b be q(-41). Is b at least -2/3?
False
Let g = -4407 - -4404.981. Let z = -1.981 + 2. Let d = z + g. Are d and -3/10 equal?
False
Let v = -7 - -6.9. Let u = v - 0. Let d = 5254.23 - 5254. Which is smaller: u or d?
u
Suppose 7 = -5*p + 32, -b + 93 = -5*p. Let u = 145 - b. Is 5 less than u?
True
Let l = 1177 - 8216/7. Suppose 3*j - 2*z + 27 = 154, 0 = 2*z - 8. Suppose 0 = -7*o - 8*o + j. Is l less than o?
False
Let r = 2613 - 2611. Does r = 76/31?
False
Let u(w) = -3*w**3 - 2*w**2 - w. Let b be u(-1). Let g be (2 + b + -4)/(-2). Let k = -13706/9 + 1522. Which is smaller: k or g?
k
Let s be 14 + -24 + (-70)/(-7). Is s less than 1/192?
True
Let c(t) = -t**3 + 15*t**2 + 136*t - 30. Let z be c(-5). Suppose -3*p + 2*p = -5*v - 1055, -4*v - 2*p = 830. Is z != v?
False
Let m = 0.14908 - -170.85092. Do -11 and m have different values?
True
Let m be (6 + -7)*9/(9/206). Let h = m + 56. Which is bigger: h or -149?
-149
Suppose -4*b + 4 = 4*h - 4, 4*h = 4. Let t be (4/5)/2 - (-1939223)/(-4859595). Which is bigger: b or t?
b
Let v(s) = 2*s + 289. Let a be v(-145). Let n = 1148 + -267482/233. Is a smaller than n?
True
Let n = 631 - 603. Let a(h) = h**2 - 6*h - 7. Let u be a(7). Suppose u = d + 3, -4*z - 4*d - 9 = -d. Which is greater: n or z?
n
Let s be ((-52)/78)/((-358)/(-6)). Let i be (-1826)/3222 + -5 + 48/9. Let h = i - s. Is h not equal to -1/5?
True
Let f = 180 - 103. Suppose 0 = -2*a + w - f, 2*a + 3*a - 3*w = -194. Let l = a + 16. Which is smaller: l or -20?
l
Suppose 3*t - t - 424 = 0. Suppose -3*i = -4*k - t, 2*i + 2*k - 119 = 41. Let j = i + -76. Is j < -10/23?
False
Let t = -349 - -1086. Let l be (t/4 - -1) + 12/(-48). Let m = l - 550/3. Is m less than or equal to 2/3?
False
Suppose 0 = 2*x - 3*m - 1253 + 2, -3*m + 3 = 0. Is 626 bigger than x?
False
Suppose -664 = -530*z + 522*z. Let c = 1151983/13780 - -5/2756. Let h = c - z. Is 30 at most as big as h?
False
Let j(o) = 46*o - 1. Let a be 1*35/(-5) - -6. Let d be j(a). Are -2 and d unequal?
True
Let n = 59098/45 - 3956/3. Let v = n + 28/5. Which is greater: v or 2/27?
v
Suppose 29506 = -8*w + 59*w - 119720. Which is smaller: 2925 or w?
2925
Let c(f) = f**3 + 19*f**2 - 4*f - 77. Let i be ((-19)/3)/(4/12). Let g be c(i). Which is greater: 1/104 or g?
1/104
Let n be (6/(-15))/(3/(-60)). Let o(r) = r**3 - 3*r**2 + 10*r + 1. Let v be o(5). Let m = 101 - v. Which is smaller: m or n?
m
Suppose 12*k = 5*k + 91. Suppose -2*t = 4*v - 18, -10*v + 3 = 2*t - 11*v. Suppose 0 = -t*q + 4*z - k, 0*q + 24 = -2*q - 5*z. Does -0.4 = q?
False
Suppose 0 = 21*s - 25*s + 640. Let r = -641/4 + s. Is 15 not equal to r?
True
Let p = -520239/80 - -6503. Let r = 4 - 5. Which is greater: r or p?
p
Let l be 14/2*10/(770/1023). Does l = 85?
False
Let k = 33 + 0. Let p = 0.06 - -24.94. Let t = k - p. Which is smaller: 0 or t?
0
Suppose 2*l - 4*d = -2*d + 14, l = -5*d - 5. Suppose 198 = -6*y + l*y. Which is smaller: y or -199?
-199
Let z be 182/4 + (-160)/(-320). Which is bigger: z or 12?
z
Let i(h) = 7*h + 16. Let j be i(-2). Let z be -4 - (((-1131)/219 - 1) + j). Which is greater: -1 or z?
z
Let w = -18338 + 18338. Which is greater: 4/5919 or w?
4/5919
Let o be 6*4/60*(5/2)/((-49)/(-126)). Let q be (1 - 0)*(-2 - -7). Suppose c - q*u - 18 = 2*c, 4*u = -c - 14. Is c at least as big as o?
False
Let l = -8934933/319 + 28009. Let v = l + -55/29. Which is bigger: v or -3?
v
Let g be ((-2)/388)/((-18576)/(-576)). Is 0 > g?
True
Let t be (-6)/12690*-633 - (-1)/(-5). Let r = t - 976/8883. Which is bigger: 0 or r?
0
Let y(m) = 7*m**2 + 7*m - 6. Let z be (-3*(-4)/(-14))/((-15)/70). Let f be y(z). Suppose -4*x + 2*v + f = 0, 4*x - 3*v = -8*v + 155. Are x and 36 unequal?
True
Let r = -160 + 160. Let k be (-5)/(-10) - 177/362. Which is bigger: r or k?
k
Let h = 80 + -113. Let j = -201 - -175. Let r = j - h. Do r and -1 have different values?
True
Let f(m) = -297*m**3 + 2*m**2 - 2*m - 1. Let s be f(-2). Let t = -691 - s. Let a be (-2)/9 + (-603)/t. Which is smaller: a or -1?
-1
Suppose -997836 = 323*u + 497977. Which is smaller: -4630 or u?
u
Let y(j) be the third derivative of j**5/20 + 7*j**4/4 - j**3/6 - 2*j**2 + 9. Let k be y(-14). Is -2/89 greater than k?
True
Let h be 2 - 1 - (20 + -17). Let u be h - (-1 + (-3)/(-15)*0). Which is bigger: -95/4 or u?
u
Let g(c) = -4*c**2 - 3*c**2 - 4*c**2 + 15 + c**2 + 9*c + 4*c**2. Let j be g(-2). Is 1/2 less than or equal to j?
False
Let f = -395 + 272. Let h = f - -178. Let v be h/(-60) - 2/(-3). Which is greater: v or 1/7?
1/7
Let q(f) = -f**3 + 2*f**2 - 2*f. Let u be q(3). Let y be (1 - u/(-9))/1. Let p = 671 + -670.94. Is p at least y?
True
Let g(l) = 9*l**2 - 259*l - 321. Let p be g(18). Is -2071 less than p?
True
Let u be 297844/(-760) - (-14)/10. Do u and -390 have different values?
True
Suppose 0 = 179*c + 464*c + 1266067. Is -1969 < c?
False
Let v = -0.056 - -56.056. Let r = -0.002 + 55.902. Let t = v - r. Which is smaller: t or 19?
t
Suppose -4*i + 68*j = 72*j - 3596, 0 = i - j - 889. Which is smaller: 891 or i?
891
Let a be (0 - 1) + -7 + 36. Suppose -a*s - 204 = -1576. Is s less than or equal to 50?
True
Let c(s) = s**3 - 9*s**2 - 15*s + 51. Let n be c(10). Let i be (-17)/51 - (n - (-1137)/(-9)). Is i less than or equal to 125?
True
Let j = -146741 - -286821/2. Which is smaller: j or -3331?
-3331
Suppose -5*w + 41 = -2*p + 96, 2*p = 0. Let z(o) = o**3 + 11*o**2 + 9. Let k be z(w). Let g = -0.74 - 0.26. Is g not equal to k?
True
Let i = 3586 - 3592. Which is smaller: i or 54?
i
Let o = 13.4 - 11.4. Let y = 38.04 + -39. Let p = y + -0.04. Which is smaller: p or o?
p
Let k be (-5)/(-10) - (-1132)/8. Let t = k + -139. Which is smaller: t or 1?
1
Let g = -77/9 + 25/3. Let o = 5.6 + -5. Let r = 10.6 - o. Do r and g have the same value?
False
Suppose 34*l - 1 - 19 = 14. Is 7/352 greater than l?
False
Let m = -13010 - -13010. Does m = -37/178?
False
Suppose 2*k - 720 = -3*k. Suppose f + k = 9*f. Which is smaller: 35 or f?
f
Let i = 20 - 33. Let p be (-32)/(-576)*-238*1. Let s = i - p. Which is bigger: s or 1/4?
1/4
Let s be ((-64)/(-512))/(2/15712). Do s and 983 have the same value?
False
Let j = -2049 + 2067. Is 1/42 <= j?
True
Let d(l) = -20*l**2 - 44*l - 41. Let c(y) = -13*y**2 - 29*y - 27. Let b(s) = 8*c(s) - 5*d(s). Let p be b(-1). Which is bigger: -5 or p?
p
Suppose 12*g - 45 - 3 = 0. Suppose -3*f - g*o = -397, f = 33*o - 31*o + 149. Is f >= 421/3?
False
Let o(w) = 9*w**3 + 2*w**2 - 2*w + 1. Let y be o(1). Suppose y*u - 63 = 107. Suppose 4*z + 13*z - u = 0. Which is smaller: z or 8/15?
8/15
Let i be 1*9718704/(-2408) - -7. Let d = i - -4029. Which is greater: 1 or d?
1
Let g = -100 + 99. Let m be (-32958)/(-540) - (6/5 + g). Let r = 61 - m. Is r less than 1?
True
Let n be 12322/8 + (-2)/8. Let w = n - 4660/3. Suppose -11*a = -467953 + 468107. Which is bigg