greater than or equal to y?
True
Let u be (-2)/(-4) - 40/(-16). Suppose 0 = 2*z - 6, -5*i - 54 = -u*z - 10. Which is smaller: i or -1?
i
Let k = 98 + -132. Let c be (132/(-48))/(-2 + k/(-16)). Is c greater than or equal to -70/3?
True
Let n be (-24131)/236 + 1/4. Which is bigger: -100 or n?
-100
Let b = 38155 - 1449781/38. Let u = b + -5/2. Which is bigger: u or 1?
1
Let n be -1 - 13/(91/(-42)). Suppose y + y - 18 = 0. Suppose -13 = z - 6*z + 4*o, 3*o = y. Is z greater than n?
False
Let a be (132/(-165))/(172/10). Let t be 2 - (-3 + 9) - -3. Is a < t?
False
Suppose 2*l = 6*l + 20. Let j(f) = 5*f + 0*f**2 - 5 - f**2 + 0*f - f. Let u be j(4). Is u at least as big as l?
True
Let l = -38.38 + 38.4. Is l at most as big as 7/6?
True
Let z be (-2)/14 - (-550)/175. Suppose 5*u - 145 = z*h - 372, -2*h + 180 = -4*u. Is -43 greater than u?
False
Let g(w) = w**3 + 28*w**2 + 59*w + 184. Let n be g(-26). Which is smaller: n or 242?
n
Let s = 20.34 + -20.34. Which is greater: 364 or s?
364
Let x be ((-2)/84)/((-2)/(-8)). Let l = -20 - -28. Suppose 8 = l*f - 0. Do x and f have the same value?
False
Let b(z) = 8*z - 36. Let r be b(5). Suppose 2*n = -24 + r. Which is smaller: 0 or n?
n
Suppose -10 = l - 3*l. Suppose 0 = 4*w - l*w - 1. Let q be w/(15/50)*3. Is -10 at most as big as q?
True
Let t = 1.44 + 0.96. Let l = -4.8 + t. Is l less than or equal to -1?
True
Suppose -5*q + 124 = -3*q. Suppose 5*c - 4*w + 64 = -q, -c = -5*w + 42. Is c equal to -23?
False
Let n = 7.047 + 0.053. Let w = n + -7.24. Do w and -1 have the same value?
False
Let z = -80 - -79.938. Let k = z - -0.762. Let m = -2 - -1. Is m at most as big as k?
True
Suppose 2*o = 4*o + r - 5, 8 = 2*o - 2*r. Is o bigger than 3?
False
Suppose -3*d - 96 = 81. Let a = 3.032 + -3.132. Is a <= d?
False
Let d(u) = 49*u + 2. Let l be d(-1). Let f = l + 44. Is -4 not equal to f?
True
Let q be (-77088)/25680 - (-3 - 0). Let t = -64283809 + 997363295536/15515. Let a = t - q. Is a equal to -1?
False
Let v = 2 - 2. Let w = 0.0148 + -0.2548. Is w < v?
True
Let m(f) = -8*f**2 + 66*f - 6. Let k be m(8). Is -5 >= k?
False
Let y = 78 - 73.9. Let w = y + -0.7. Let m = 3.6 - w. Is m less than -3?
False
Let q = -17.45 - 0.55. Let i = q - -21. Is 0.5 less than i?
True
Let v be (3/6)/((-2)/(-28)). Suppose 2*n - 42 = -5*u + 6, -2*u - n + 20 = 0. Which is greater: v or u?
u
Let w = -22 + 22. Is -4/21 > w?
False
Let u = 20 - 83. Let y be (-2)/(-7) - u/(-49). Let f be y/((-3)/48*2). Which is smaller: f or 7?
7
Let a = -1 + 4. Let g be 5/a*198/90. Is g >= 3?
True
Let j be 4/(-12)*0/(-3). Suppose -2*t + 6 = j, 5*v - 4*v - 1 = -t. Is v greater than or equal to -4/7?
False
Let h(x) be the third derivative of -x**6/120 - x**5/30 + x**4/24 - x**3 - x**2. Let i be h(0). Which is bigger: i or -20/3?
i
Let t = 29 + -28.905. Let o = 0.105 + t. Is -3 greater than o?
False
Let p = 208.6 + -208.6. Which is smaller: 15/152 or p?
p
Let k = -13.98 - 0.02. Let n = -0.06 - -15.06. Let s = n + k. Is -2/3 at least s?
False
Let v = -16 + 15.8. Let j = 19.4 + -7.4. Do v and j have the same value?
False
Let o = 1 - 1. Suppose -5*d + o*d = 5. Let j = 98 - 98. Which is smaller: d or j?
d
Let y = -337.6 - -336. Is y smaller than 8?
True
Suppose -17 = 3*q + 5*d, 4*q - 6*d + d = -81. Let b be 48/(-756) - 4/q. Is 1 > b?
True
Let p = 1635 + -1634. Is p less than or equal to 7/69?
False
Let s(x) = 342*x**2 + 6. Let d be s(-2). Is 1373 at most d?
True
Let y = 1 + 3. Suppose 0 = -y*i - 16 + 8. Is 0 <= i?
False
Suppose 4*a + 0 = 16. Suppose 0*t + a*t + 4 = 0. Which is bigger: t or 2/13?
2/13
Suppose -4*w + 497 = -p - 115, -p + 4 = 0. Which is smaller: w or 153?
153
Let k be 2/4*(10 - 2 - 10). Is -2/5091 equal to k?
False
Let r be -92*(-2)/(-16)*4. Let h = 45 + r. Is h less than or equal to -4/33?
True
Let m = 0.4 + -0.42. Let l = -17 + 17.23. Let s = 0.13 - l. Is m not equal to s?
True
Let w = -1168 - -5842/5. Let c be (-1 - -1)/(-1) + 11. Let z = c + 12. Is z greater than w?
True
Suppose 2*o - p + 4*p = 168, -p - 274 = -3*o. Suppose -5*z - 123 - 27 = 2*g, o = -3*z - g. Let n be (6/z)/((-2)/35). Is n less than or equal to 5?
True
Let h = -295 + 296. Is h smaller than 2/65?
False
Let u be ((-14)/2 - -8)*-89. Is u less than -89?
False
Let f = -55.885 - -56. Let c = f - 0.515. Is 4 bigger than c?
True
Suppose 78 = j + j - l, 3*j - 114 = 3*l. Let h be (j/30)/((-4)/(-3)). Let m be 1 - 2*1/22. Which is greater: h or m?
h
Let w(u) = -u**2 - 27*u + 34. Let b be w(-29). Is -24 >= b?
True
Let d(s) = -s**2 - 6*s - 3. Let t be d(-5). Let i = t - 0. Let f be (-5)/8*(26 - 20) - -4. Which is greater: i or f?
i
Let h = -256607/432 + 594. Which is bigger: -1 or h?
h
Let i = 562 + -564.2. Which is smaller: i or 3/5?
i
Let i(r) = 829*r**3 + r**2. Let t be i(-1). Let q be 2*2/t*-3. Is q > 0?
True
Suppose 6*o + 25 = 11*o. Suppose -o*t - 61 = -11. Let a = 16 + t. Is a equal to 6?
True
Let v be 4/(-14) - (-5)/(-56). Let z = -38 - -42. Suppose 0 = 4*b + x + 9, -z*b - 25 = 5*x + 4. Which is smaller: v or b?
b
Let h = 8 + -54/7. Let a = -3 - -2. Let f = 5/4 + a. Is h less than or equal to f?
False
Suppose 2*o = 5*k - 17 - 15, -4*k = -2*o - 28. Let h(b) = b**2 + 3*b - 15. Let u be h(-5). Let l = u + o. Which is greater: l or -9?
-9
Let v = 92.5348 - -0.1652. Let a = -93 + v. Is a at most as big as -1/3?
False
Suppose 5*n = -101 + 11. Let f be 4/n*(1 + 2). Let k = -230 + 229. Is f >= k?
True
Let i(k) = k + 2. Let a be i(-6). Let v be 38/a + 1/(-2). Let p be -5*(1 + 16/v). Is 3/2 >= p?
False
Suppose 3*q + 2*q - 3*c = -34, -q + 5*c = 20. Let j be ((-3)/q + -1)*(-5)/3. Is -9/4 >= j?
False
Let a = -111.1 + 111. Which is smaller: -65 or a?
-65
Let n be 30/(-165) + 2429/473 - 5. Which is smaller: 2/11 or n?
n
Let j(y) = 16 - 2*y + 15 + 2*y**3 - 30 + 1 - 3*y**3 - 3*y**2. Let x = 0 - 2. Let v be j(x). Is 0 at least v?
False
Let t be -1 + 4/(-8) - 86/(-4). Which is greater: t or -1?
t
Let a = -2861 + 374793/131. Let n be 2*(0 - (-2)/(-4)). Which is bigger: n or a?
a
Let a(d) = d**2 - 47*d + 16. Let g be a(7). Which is smaller: g or -266?
-266
Let f be (-2)/(-4) - (-3)/(-4). Let h = 97 - 139. Let t = 49 + h. Is f bigger than t?
False
Let m(y) = y**3 + 51*y**2 - 110*y - 214. Let a be m(-53). Let v = -179/51 - 354/17. Let q = 24 + v. Which is smaller: q or a?
a
Let s = 0.05 - 0.11. Let n = 0.3256 - 0.0256. Is n bigger than s?
True
Let q(d) = 2*d**2 - 13*d + 15. Let k be q(6). Suppose 0 = 2*a + 5 + k. Is a at most -7?
True
Let i be -3 - (6 + -2)/(2 - 0). Let f be (i + 8)/(2/6). Suppose 3*d = -2*j + 4*d + 19, -2*j - 4*d + 14 = 0. Does j = f?
True
Let c = -0.8 + 0. Let v = -106.2 - -104. Let t = c + v. Which is greater: t or 1/3?
1/3
Suppose -12 = -14*t + 2*t. Do t and -4/149 have the same value?
False
Let s be 9/(-3*2/4). Let u be 8/2 + 20/(-2). Is s greater than or equal to u?
True
Let u be (1 - -1 - 1)*1. Let p = 745 + -11173/15. Which is bigger: p or u?
u
Let g(y) = y**2 - 5*y - 13. Let o be g(7). Suppose 0 = 3*m + 3*x + 4 - o, -5*m = -4*x - 13. Is 9 equal to m?
False
Let c = -2905 + 90003/31. Is c smaller than -2?
False
Suppose 15*x + 4*o = 20*x - 683, -4*x + 5*o = -541. Which is smaller: 142 or x?
x
Let w = -41/58 - -645/1856. Is 0 >= w?
True
Let p = -4 + 7. Suppose a = -p*a + 20. Suppose a*b - 1 = 2*k, -4*b - b = -k - 3. Is k less than or equal to 5/6?
False
Let b = 4 + -4.3. Let l be ((-9)/(-210))/((196/2450)/((-2)/(-30))). Which is smaller: b or l?
b
Let p = -23 - -5. Let r = 18 + p. Let q = 424/115 + -18/5. Which is bigger: q or r?
q
Let o = 36 - 36.4. Let v = -12.4 - o. Is 0 equal to v?
False
Let j be 1 + (-2 - (-5 + 1)). Let l be (j/(-10))/((-1)/2). Let w be 5 - (1 - (-8)/2). Which is smaller: w or l?
w
Let y = 4 + -22. Let v = 20 + y. Which is greater: v or 5?
5
Let n be (46/115)/((-2)/470). Which is greater: -95 or n?
n
Let h = 253 + -363. Let r = h - -111. Is r smaller than 1/35?
False
Suppose 4*g - 230 = -g. Let b be ((-44)/2)/(10/(-21)). Let n = b - g. Is -0.1 > n?
False
Let a = 89.9 - 122. Let b = a + 2.1. Which is greater: b or 0?
0
Let t be 9/(-6)*4/(-7401). Let f = -3984274690/2544742571 - -20086/147359. Let a = t + f. Do -1 and a have different values?
True
Let j(x) be the first derivative of x**3/3 + x**2 - 8*x + 11. Let b be j(-5). Is 7 > b?
False
Let i = -9 - -10. Let n be 