5*o - 2250 = 2*l - 603. Is -808 at most as big as l?
False
Let y = -6328 + 4777. Is -1552 greater than y?
False
Suppose -5*i + 4 = -1. Let j be 1/(-28)*6*i. Let y = 179 + -179. Which is greater: j or y?
y
Let b(i) = 2*i**3 - 9*i**2 - 3*i - 7. Let g be b(5). Suppose 19*d = 22*d + g. Are -4/103 and d non-equal?
True
Let v(y) = -55*y + 825. Let g be v(15). Is -11/131 bigger than g?
False
Let u be 43*4/138 + 142/(-426). Is -1/5 greater than or equal to u?
False
Let t = 85 + -59. Let x = 33 - t. Suppose 3*r = 3*f - 15, 0 = -x*r + 6*r - 3. Which is smaller: 3 or f?
f
Let g(p) = 8*p**2 - p - p**2 - 1 - p**3 + 3*p + 4*p. Let t be g(8). Let k be ((-2)/(-18)*2)/(t/51). Is -1 bigger than k?
False
Let k be (4 + 25895/(-3715) - -3)/(-4 - -5). Which is bigger: k or 0?
k
Let d(q) = 49*q + 13. Let b be d(5). Let s be 7/(-9*(-9)/81) + (249 - -2). Is b at least s?
True
Let o = -26.9 + 27.246. Let h = 0.34 - o. Let v = 0.006 + h. Which is smaller: -0.8 or v?
-0.8
Let n = -17 - -20. Let l be 4 + -4 + n + 2. Let p be (l/(-15))/((-1)/(-3)). Which is smaller: 0 or p?
p
Suppose w = d - 7, -225*d = 2*w - 223*d - 10. Which is bigger: w or -7727?
w
Suppose -3*f = 2*k + 44201, -8676 = 4*f + 3*k + 50258. Is -14735 bigger than f?
False
Let i = 3211 - 3121. Which is smaller: i or 95?
i
Suppose -6*s = -329 - 607. Let c = s + -66. Which is smaller: c or 92?
c
Let k be (-1 - 3) + 9/(1062/61246). Let r = -515 + k. Let s(c) = c**2 - 3*c - 5. Let u be s(4). Which is smaller: r or u?
u
Let m be -18917*(16 + -28 + 13). Which is greater: m or -18918?
m
Let l(f) = f**3 + 8*f**2 + 8*f + 4. Let s be l(-7). Let o = -61 + 66. Suppose 9*x + o = -13. Is s at least x?
False
Let q = -0.75 + -193.25. Let l = -100 - q. Is l > 1?
True
Let u = 100 + 457. Let l = u - 574.1. Is -2 greater than l?
True
Let h(b) = -49*b - 48. Let d be h(-1). Let r = -5/37 - -279/148. Is d equal to r?
False
Let p = -14728 - -11532. Are -3197 and p nonequal?
True
Let j = -2715047/938 + 5789/2. Which is greater: j or -1?
j
Let m = 8501 - 7821. Is 680 at least as big as m?
True
Let h = 95 + -138. Let k = -42.7 - h. Let u = 206.03 - 206. Is k at least u?
True
Let z = -1568.92 + 1570. Is -1 bigger than z?
False
Let t = -28/61 + 1955/4392. Let g = 400 - 801/2. Is g greater than t?
False
Let a = -10427 - -10427.1. Which is greater: 14/93 or a?
14/93
Let u(y) = 301*y - 7. Let c be u(1). Suppose -46*n + c = -40*n. Let b be (n/(-18) - -3) + 1/(-2). Which is smaller: b or -12?
-12
Suppose 2*z + 0 = -2. Let d be (-44)/(-11) + (1314/327)/(-1). Which is greater: z or d?
d
Let r be (-2)/4*(3285070/170 - (-9)/153). Is r > -9662?
False
Let p = 345008/43 - 8036. Is -13 < p?
True
Suppose 2*s + 3*p + 323 = 0, 3*s + 143 = -4*p - 340. Is s at most -157?
True
Let a be (-177)/12 + 3/4. Let x = a - -17. Let r be (3 - x) + (-6)/(-21). Which is greater: 12 or r?
12
Let u be 1296/(-108) - (-1 - 1398). Are u and 1384 equal?
False
Let j = 4937 + -4948. Is 22 <= j?
False
Let i be (-22)/8*(-10 + 18). Let z = i - -20. Let v(n) = 45*n + 11. Let m be v(z). Which is greater: m or -1?
-1
Let s be (-27 - (-11 + 0)) + -1330. Which is smaller: -1347 or s?
-1347
Let x(n) = -n + 10. Suppose 3*y - 5*m + 17 = 0, 3*y + 62 = -2*m - 2*m. Let u be x(y). Let i be u/(-108) + 32/90. Is i at most 0?
False
Let w = -35319 + 36516. Are w and 1194 non-equal?
True
Suppose -346*i + 373*i - 199665 = 0. Is i != 7396?
True
Suppose -2*x + a + 9 = 0, 4*x = 10*a - 5*a + 21. Which is bigger: 113/28 or x?
113/28
Let w = 112 - 113. Is w greater than 3/8852?
False
Let b = -2244/7 + 51598/161. Is 0.0912 >= b?
True
Let f = 64 - 168. Let h = f - -100. Let n be 2/(-7)*58/h + -2. Which is smaller: n or 3?
n
Suppose 202 = 3*w - 287. Suppose 4*d + w = 255. Which is smaller: d or 25?
d
Suppose -4*t + 4*m + 17 + 19 = 0, -5*m = t + 21. Suppose 4*p - 2 = -3*c + t, -16 = 2*c - 4*p. Let g be (3 - 3)*(c - -3). Is g at most as big as -2/25?
False
Suppose 0 = 3*l - 2 - 13. Suppose -5*m - 2*d = 3*d - 45, 5*d - 17 = 2*m. Suppose m*c + 14 = -2, l*i = 5*c + 40. Is i < 3?
False
Suppose -16*h + 24087 - 81159 = 25*h. Which is bigger: -0.1 or h?
-0.1
Suppose o = -5*g + 3*o + 19, 0 = -3*o + 9. Let x(b) = 2*b - 22. Let p be x(11). Suppose p = -0*u + g*u. Is 5/4 < u?
False
Suppose -5*f - t = -f + 138, 3*f + t + 103 = 0. Let o be (12/(-10))/((-14)/f)*-5. Let a be 3 + (-66)/o + (-4)/(-10). Do a and 28 have the same value?
False
Let c = 0.3 - 0.26. Let s = 34.11 + -34.3. Let r = -0.19 - s. Is c > r?
True
Let s be 11 + (-840)/75 - 16/(-55). Let a(h) = 5*h + 3. Let m be a(-2). Let l = m + 6. Does s = l?
False
Suppose -3*p - p + 176 = 0. Let l be (244/(-2989))/(4/(-14))*161. Which is bigger: l or p?
l
Let y = -4002 + 3899. Is -106 greater than y?
False
Let o = 1.5364 - 1.5. Let n = o - 2.0364. Which is smaller: 4/59 or n?
n
Let j(p) = -p**2 + 5*p + 24. Let n be j(8). Suppose n*x - 13 = -x. Let v be -5 + 6 - 2/((-2)/13). Is v != x?
True
Suppose 4*g = -3*t - 966, -3*g + 564 = -2*t - 63. Let x = t - -308. Which is greater: -7/9 or x?
-7/9
Suppose -10 = -5*y + 5. Suppose 5*x - 35 = -3*j, -3*j - y = 12. Suppose 0*i - 20 = -w + 3*i, 3*w - 30 = -i. Are w and x nonequal?
True
Let m(v) = -6*v**3 - 149*v**2 - 14*v + 20. Let j be m(-19). Does -12349 = j?
True
Let i(z) = 13*z**2 - 186*z + 121. Let p be i(14). Which is greater: 92 or p?
92
Suppose z = -2*g + 226, 3*g + 20*z - 334 = 21*z. Are g and 116 equal?
False
Let b(o) = -o**2 + 21 + 2*o - 6 + 10. Let g be b(-4). Let f = -13.3 + 13. Is f greater than or equal to g?
False
Let g be (-10)/6 - (2162536/102 + 11). Which is greater: -21215 or g?
g
Suppose -10*h - 98 = -12*h + 5*u, -5*h + 2*u = -203. Let j be 78*1*12/8. Suppose -g - j = -3*d, -3*d + 117 = 4*g + g. Is d less than or equal to h?
True
Let a = -118.05 - -1.85. Let n = a + 116. Which is smaller: -2/9 or n?
-2/9
Let b = 0.1 + -0.3. Let z(a) = -271*a + 13. Let d be z(1). Let t = d + 3872/15. Is t bigger than b?
True
Let i(s) = 2*s**2 - 33*s + 15. Let v be i(16). Let j = -703/131890 - -6/605. Is j at most v?
False
Suppose -6*k + 6 = -3*k. Suppose -i + 1 = 0, 4*n + n - 3*i = k. Let o be ((-138)/3864)/(2/(-16)). Which is greater: n or o?
n
Let n = 25544 - 5543030/217. Let p = 11969/5642 - n. Let u = p - 20/13. Does -0.8 = u?
False
Let h = 519 - 285. Let j = -233 + h. Let z = 39 - 118/3. Which is smaller: j or z?
z
Let k = 8160.9 - 8156. Is k >= -19/4?
True
Let s = 285.1 - 290.567. Let w = s - -5.22. Which is smaller: -0.2 or w?
w
Let d(v) = -v**2 + 8*v + 17. Let n be d(13). Let h = n - -57. Suppose 2*z - 5*z = -h, 4*y = 4*z - 56. Is 1 >= y?
True
Let r = -25 + 15. Let y be ((-8)/r)/(20/(-50)). Let a(g) = -g**2 - 2*g + 3. Let c be a(y). Is 3 bigger than c?
False
Let w be 0/((30/(-12))/(3/(-6))). Let a = 726538/197 - 3688. Which is greater: a or w?
a
Suppose 2*v + 39240 - 12916 = 0. Which is bigger: -0.1 or v?
-0.1
Let f(s) = -39*s + 750. Let c(r) = -11*r + 214. Let y(z) = 18*c(z) - 5*f(z). Let w be y(33). Which is smaller: w or 18/7?
18/7
Let z = -2694 - -3296. Which is smaller: 1/23 or z?
1/23
Suppose -5*l - 4*c - 88 = 0, 2*c = l + 4*l + 76. Suppose 265*s - 14 = 264*s. Suppose -6*p = -7*p - s. Are l and p non-equal?
True
Let f be 62/(-95)*(-21)/(-12)*250/(-350). Which is greater: -1/16 or f?
f
Let k be 2/(-6) + (-1773)/(-945). Let g = k + 43/5. Which is smaller: 11 or g?
g
Let o = -1920 + 1919.9. Is -1581 smaller than o?
True
Let b be -3 - ((-3247)/(-4) + (-4 - -1)). Let d = b + 191609/236. Let a = 371/885 - d. Is -3 != a?
True
Let c = 42 + -38. Suppose 3*l + 16 = -c*w, -2 = l - w + 1. Is l bigger than -7?
True
Suppose -6*q = 2*f, -3*q + q = -5*f. Is q at most 2/629?
True
Let l(m) = m**2 + 84*m - 838. Let f be l(-93). Is f greater than or equal to -51/103?
False
Suppose 10*w - 11*w - 781 = 4*j, 0 = w - 3. Let b = j + 197. Which is smaller: -1/190 or b?
-1/190
Let x(v) = -2*v**3 + 33*v**2 - v + 75. Let t be x(14). Does 1041 = t?
True
Let j = -32.994 - -33. Let s = 0 - -0.1. Is s not equal to j?
True
Suppose -6 = -2*s - 0*s. Let j be (12/404)/(s + -2 + -2). Is 1 bigger than j?
True
Suppose -4*b + 4*x + 6 = 26, 3*b - 20 = -4*x. Suppose d - 5 = -q, 0*d + 5*d - 5 = b. Let p be ((q/2)/(-2))/(26 - 1). Is p greater than -1?
True
Let m be (-6)/(-9) + (-5 - (-43)/9). Let k be (3 - 306/105) + 2/(-14). Is m smaller than k?
False
Sup