/11 - 129466. Is 161 >= k?
True
Let u(a) = -797*a**3 - 22*a**2 + 40*a - 18. Let o be u(1). Which is smaller: o or 2/7?
o
Let b(v) = 8*v**3 - 13*v**2 - 38*v - 12. Let j be b(-4). Which is smaller: j or -4068/7?
-4068/7
Suppose -188*s + 33 = -155*s. Which is smaller: -2/1387 or s?
-2/1387
Let g = 0.1868 - 3.2788. Let t = 0.092 + g. Does 1.6 = t?
False
Let r = -14337 - -15641. Is -1/2 at most as big as r?
True
Suppose 7*f - 428 - 167 = 0. Let h be 6 - (420/f - -1). Suppose -r + 4 = -4*v, -2*v = -6*v + 3*r - 4. Which is greater: h or v?
h
Let t = -381209/3 + 128241. Is t at most as big as 1172?
True
Suppose 3*l + 2*j = 1, l - 4*j - 17 = -8*j. Let q be 2/l + (-494)/351. Let d = -1705/783 - q. Does d = -0.1?
False
Let a = -203 - -207. Suppose 2*f - a = 3*x, -f + 17 = 2*f + x. Which is greater: f or 0.9?
f
Let o = 0.14 + -7.14. Let w = o + 10. Is 26 < w?
False
Let s be (3 + (-6)/3)*(-895)/88. Let y = 81/8 + s. Suppose 6*h = -0*h + 6. Which is bigger: y or h?
h
Let j be (0 - 2)/(3 - 15/6). Let z be (-1)/j + (-1)/68. Is -1 at least as big as z?
False
Let c = 168.31 - 168.21. Is -84/37 greater than c?
False
Let h = 8437/298256 - 4/2663. Let p = 233/336 - h. Do 0.053 and p have different values?
True
Let z = -11729 - -11697. Let f = -59 - -26. Which is smaller: f or z?
f
Let k = 321 - 549. Let r = -227 - k. Which is bigger: r or -2/1257?
r
Let b(z) be the third derivative of 0*z + 1/120*z**6 - 13/6*z**3 + 1/12*z**5 - 1/3*z**4 - 8*z**2 + 0. Let s be b(-6). Which is bigger: -37 or s?
s
Let j be 3491/(-5 - (0 - (-104)/(-6))). Let o = -283 + j. Let q be (1/2)/(1/(-2)). Is q greater than o?
False
Let h = -1937 - -9687/5. Is h not equal to -43.9?
True
Let c be (-11 - 11)/(-11)*(-75)/6. Which is smaller: c or 147?
c
Let b = 13 - 11. Suppose -m - w + 0 + 6 = 0, b*m = 3*w - 3. Let d be 1/m*1 - 25/3. Is -10 at most d?
True
Let n = 0 + 0. Let t be (250/30)/5 - 3/9*6. Is t at least n?
False
Let z(w) = w**2 - 3*w + 4. Suppose -5*m + 15 = 2*i - 3*i, -5*i = -5*m + 15. Let x be z(m). Let u be 14/(-63)*-9*8/6. Which is smaller: u or x?
u
Let m = 18739 + -18733. Does -738 = m?
False
Let k = -217.9 - -218.3. Is 979 < k?
False
Let n be (-1)/4*179 + (-261)/(-87). Let o = -42 - n. Is o smaller than 18?
True
Let u = 1 + -2. Let o be 1*u - 11/(-14). Let f(t) = t**3 - 25*t**2 - 80*t - 111. Let x be f(28). Is o equal to x?
False
Let d be (0/12)/(0 - -1). Suppose 4*j - 7*j = -90. Suppose a + a + j = d. Are a and -17 non-equal?
True
Suppose -2352 + 272 = 2*a - 2*u, -1064 = a - 5*u. Which is smaller: a or -1036?
-1036
Let n = 14813487/427 + -34692. Are 1 and n nonequal?
True
Let h = -12.9 + 85.9. Let f = -57 + h. Let g = -12 + f. Is -3 bigger than g?
False
Let j be (-6)/10*(-11)/((-858)/182). Is -2/95 equal to j?
False
Let o be ((-3)/(-6))/((-4)/8). Let a be (0 + 0)/(o*1). Let h be (-4 - 0) + (-3008)/(-504) + -2. Which is smaller: h or a?
h
Suppose 0*x = -3*x + t - 24, 0 = -2*x + 4*t - 6. Let c = -7 - x. Suppose 0 = -c*h - 2. Does -1/18 = h?
False
Let z = -1 - -6. Suppose 0 - 5 = -z*f. Suppose -u + f = 3*l - 0*u, -13 = l - 3*u. Does l = 53?
False
Let b = 93 - 64. Let c = 12161.3 - 12161. Is c != b?
True
Let u be (-84)/(-32) - 3/(-8). Let s = -1447 + 10145/7. Is u bigger than s?
True
Let b = -18387 - -18387.9. Which is greater: b or -3.3?
b
Let v = 35232123251/41189 + -855377. Are v and -2/3 unequal?
True
Let i = 122.764 - -0.236. Let o = i - 123. Is 38 less than or equal to o?
False
Let w = -12.23 + 404.23. Is -1 < w?
True
Let r be 1313/(-202)*(-57)/18. Is 21 greater than r?
True
Let v = -6651513/37 - -179785. Which is bigger: v or 13?
v
Let r = 1290 - 60632/47. Suppose -v - 20 = -4*v - 5*y, 0 = 4*v + 4*y - 16. Which is smaller: v or r?
r
Suppose w - 5*k = -3*k + 97, 2*w = 2*k + 190. Let d be 30/(-70) - w/(-119). Is -1 > d?
False
Suppose 2*j - 7*j = 0. Let l = -1969 - -1070. Let d = l + 8078/9. Which is smaller: j or d?
d
Let w be (-58)/(((-364)/231)/13)*(-4)/(-6). Is 315 greater than or equal to w?
False
Suppose -4*r = 269 + 163. Let x(a) = 36*a**2 - 235*a + 7. Let v be x(6). Which is bigger: v or r?
v
Let t be (304/2)/(((-20)/52)/5). Let r = 666 + t. Let j = r + 93012/71. Which is bigger: -1 or j?
j
Suppose 0 = 4*j + 24, 5*m = 18*j - 22*j + 81. Which is smaller: m or 32?
m
Let u be 105/(-6) - 6/(-12). Let q = 20 + u. Suppose p + p = -q*g, -4*g - p = 0. Which is smaller: 6/13 or g?
g
Suppose 3*o = -2*o. Let j = -670 + 672. Let p be (j - (-11672)/(-7032)) + 1/(-3). Which is greater: o or p?
p
Let j = -379 + 220. Let s = -158.9 - j. Which is bigger: 107 or s?
107
Let x = 119 - 123. Let s be x + (7 - (-90)/(-48)). Let k(o) = o**3 - 5*o**2 + o - 4. Let v be k(5). Which is greater: v or s?
s
Let o = 1/83 + -254/415. Let i = 100.9 - 99.999. Let l = i - -5.099. Which is smaller: l or o?
o
Let i = -1182 + -3514. Do -28175/6 and i have different values?
True
Suppose -14*l - 15 = 13. Let d be 6/(-1 + -5)*l. Is d less than 7?
True
Let g be ((-40)/(-150))/((-14)/385)*(-660)/2. Is -1/2 <= g?
True
Let v = 9078 + -9080. Which is bigger: 16.9 or v?
16.9
Suppose 0 = 3*r - 1 - 17. Suppose -3*y - r*y - 3*y = 0. Which is smaller: -113 or y?
-113
Let i = 3.17 + -0.17. Let m = -1147 - -1147.7. Do m and i have the same value?
False
Suppose -5*v + 17 + 33 = 0. Suppose -v = -2*t, 6*h - 8*h = -t - 1. Suppose -r + 6 - 3 = 0. Are h and r non-equal?
False
Let m = 3741.15 - 3870. Let l = -0.15 + m. Is 0 < l?
False
Let l = -12016.2778 - -12016. Is l < 1?
True
Let d be 2/1 + 416/32. Let n be ((-4)/10)/((-10)/(-125)*d). Is -5/2 less than n?
True
Let q be (1414/(-28))/(2/(-4)). Let u = -105 + q. Are 6/11 and u non-equal?
True
Let u = 18089 + -1790846/99. Is u greater than -1?
True
Let j = 3/10814 + -64905/75698. Are -15/8 and j unequal?
True
Suppose -54*g = -57*g + 36. Let j = -7 - -10. Suppose 4 = j*z + 1. Is g at most as big as z?
False
Let g be 63*((-1 + -70)*-1*-1 + -6). Is g at most as big as -4851?
True
Let z(v) = -42*v - 305. Let o be z(-11). Is o at least 156?
True
Suppose -13*l = 23*l + 40*l. Let y be ((-6)/(-261))/((-2)/3). Is y at most as big as l?
True
Let x be (-45)/10*(76 + (5 - 3)). Let b = 346 + x. Is b >= 44?
False
Let y(s) = 6 - 2*s - 1 - 3. Let m be y(-5). Suppose -3*g + 3 - m = 0. Is g at least as big as -2?
False
Let n = -17 + 16.7. Let s = n + -6.7. Let r be (0 + -2)*5/(-25). Is s >= r?
False
Let q(h) = 83*h - 768. Let m be q(7). Which is smaller: 7 or m?
m
Let n = -163869728 - -50471693579/308. Let j = n + 593. Are 1 and j non-equal?
True
Let z be -1 + -4 - (7 + -11). Let x = -41 - -65. Let r be (10/(-8))/((-78)/x). Is r < z?
False
Suppose 0*x - x = -3*y - 25, 2*x = -2*y + 34. Suppose -3*r = 4*v - 41, 4*r + 2*v + x = 87. Is r <= 19?
True
Let l be 1/(-2)*(12 - 4). Let p = 488/5653 - 9362781/2046386. Let o = p + -2/181. Which is greater: l or o?
l
Let o be 555/(-135) + (-8)/9 - -6. Let w be (2 - 2) + 1/(-362). Is w < o?
True
Let o be 2877/(-4) + 69/276. Is o bigger than -723?
True
Suppose -5*m + 36*w - 32*w = 80, 0 = -4*w + 20. Which is greater: m or -189/17?
-189/17
Suppose -4*h + 3 + 1 = 0. Let q be -1 - (1 - h) - (-2280)/2270. Let f = q - -1586/681. Is 3 at most as big as f?
False
Let y(d) = d**2 + 2. Let h be y(-2). Let u(v) = -v**2 - v + h + 6*v + 10 + v. Let g be u(8). Does g = 4/11?
False
Let m(c) = -4*c**2 - 87*c + 26. Let s be m(-22). Which is bigger: -4.6 or s?
s
Let a be -2 + 0/2 + -1. Suppose -20*t + 44*t + 48 = 0. Let q = t - a. Which is smaller: -1 or q?
-1
Let z(b) = -2*b**3 - 109*b**2 - 75*b - 294. Let g be z(-54). Are 4 and g nonequal?
True
Suppose -186*k - 199 = 3*d - 188*k, 0 = d + 3*k + 70. Is d >= -52?
False
Let m = -1861 + 1864. Suppose -2*i = -0*i - 6. Suppose -i*w = -w. Is m < w?
False
Let o(q) = 36*q. Let r be o(-5). Let u(s) = -48*s**3 - 202*s**2 - 13*s - 74. Let p be u(-4). Which is smaller: p or r?
p
Let z(y) = -y**3 - 11*y**2 + 15*y - 15. Let k be z(-12). Let c be (2/(-4))/((-54)/108). Is c != k?
True
Let k(j) be the third derivative of -j**4/24 - j**3/2 + 38*j**2. Let h be k(-7). Suppose 10 = 6*g - g + 5*t, -8 = -3*g - h*t. Which is smaller: 2/63 or g?
g
Let x = 161392/5 - 32097. Which is smaller: x or 182?
x
Let o = 49 - 48.35. Let g = 7.65 + o. Which is greater: 1 or g?
g
Let c be 38/(-2) + (1 - -1). Let s = c + 38. Suppose k + k + 5*w = 45, 23 = k + 3*w. Is