ater than or equal to 80?
False
Let t = 1.37299 - 0.14299. Which is bigger: t or -20?
t
Let t be 1*-6 - (-312144)/(-448)*(-40)/6. Is 23192/5 greater than or equal to t?
False
Let i be 5002/(-183)*117/6. Which is smaller: -535 or i?
-535
Let b(y) = 3*y**3 + 47*y**2 - 121*y + 68. Let s be b(-18). Let f be 1*-25*(-3 + 4). Which is bigger: s or f?
s
Let h be (4943/(-8685))/((-1)/(-13)). Let o be (-1*1 - 0) + (-144005)/(-144171). Let p = o + h. Which is greater: p or -6?
-6
Let f be (-3)/9*(-2124)/672718. Is 1 equal to f?
False
Let z = -485/207 - -2/207. Let g = -7151.46 - -7152. Which is smaller: g or z?
z
Let u be (20/15*13)/(2/(-6)). Let h be 0 - 1/2*u. Suppose -2*b = -j - 1, j + h = -0*j - 3*b. Is j at least as big as -11?
True
Let b = -5742 - -51680/9. Suppose h - 37 = 3*m + 166, -4*m - 260 = 4*h. Let i = m - -203/3. Which is smaller: i or b?
b
Suppose -5*n + 15*n = -600. Let c be (-4)/(n/63)*10. Let x = c - 44. Which is greater: -14/13 or x?
-14/13
Let y(d) = 226*d + 36. Let l be y(21). Let p be -1*(2/(1596/l) - 6). Which is greater: p or -1?
p
Let m(o) = 2*o - 21. Let q be m(5). Let x = q - 229. Let k be ((-142)/156)/1 + 40/x. Is -1 less than or equal to k?
False
Suppose 5*w - 181 = -2*u + 4, -4*w = 20. Let s = u - 104. Which is smaller: s or -1/5?
-1/5
Let c be ((-2)/2)/(-34)*56/(-77). Suppose 49*n - 18*n + 31 = 0. Which is smaller: c or n?
n
Let z = 34 + -32. Let m(c) = c**3 - c**2 + 3*c - 2. Let h be m(z). Let r be h/(-20)*5/(-8). Which is greater: r or 0.9?
0.9
Let o be 0*((-3)/9)/(-5 - (-117)/27). Are -2/6683 and o non-equal?
True
Let x be 0*((-378)/48 + 8)*-2*2. Let j = -95 - -147. Which is smaller: j or x?
x
Let k be 460/(-6)*(624/5)/13. Let z = -543 - k. Is z > 191?
True
Suppose 44*c - 30*c + 21924 = 0. Is c <= -1567?
False
Let t = 19144/7 + -2735. Let f be 3/(-5) - (-183)/30. Is f at least as big as t?
True
Suppose -2*j + 11 = -4*c + 101, -2*j - c - 65 = 0. Suppose -989 = -86*f + 215. Let o be 4/6*(j/f - -1). Which is bigger: 1/33 or o?
1/33
Let a(k) = -300*k**2 + 514*k - 4. Let b be a(5). Which is smaller: -4933 or b?
b
Let n = -16906/143479 + 24/199. Let l = -773/18746 + n. Is l <= 1?
True
Let r = 350 - 346. Suppose -4*y + 1 = v, r*y = 5*v - 8 - 21. Is y less than or equal to 1/271?
True
Let w = -2.7 - -7.9. Let y = -2052.7 + 2058. Let h = w - y. Which is greater: h or -0.03?
-0.03
Let d = -962862/5 + 191960. Is d less than or equal to -611?
True
Let p(y) = -16 - 1 - 5*y - y - 4. Let t(k) = -5*k - 19. Let d(s) = -6*p(s) + 7*t(s). Let g be d(7). Is g <= 4?
True
Let z(r) = r**3 - 26*r**2 + 33*r - 65. Let h be z(25). Which is smaller: 134 or h?
134
Let f(s) = -366 - 356 + 706 - 5*s - s**2. Let r be f(-6). Is -21 less than r?
False
Let a be (-3 - -1) + (1 - -24). Let v = 11 - 3. Let n = 32 - v. Is a < n?
True
Let w(p) = -3*p - 15. Let r(u) = 2*u + 10. Let d be r(-8). Let o be w(d). Suppose -k = -3*h - 4, -o*k + 4 = -4*h - h. Which is greater: -5/3 or h?
-5/3
Let u = 0.0031 - 0.0531. Which is smaller: 4 or u?
u
Suppose 110902 - 44248 = 31*l + 130*l. Is l at most 13?
False
Let j = 10715 + -17442. Is j >= -6726?
False
Suppose 4*p - 4*l = -p + 3, -9 = p - 4*l. Suppose 0 = 4*h - 8, 0*h + 5*h = -p*a + 553. Is a not equal to 181?
False
Let m be (-1)/(325/(-2090) - (-2)/11). Let o = 38 + m. Suppose -66 = -o*d + 6*d. Do d and -12 have the same value?
False
Let i be 7 + (-510)/70 + 1485/(-21). Let j(b) = -3*b**2 - 13*b - 40. Let t be j(-6). Is t at least i?
True
Let f be (-4)/(-2) - (1 + 76). Let t be (-1358)/(-245) - (-6)/f*5. Which is greater: t or 0?
t
Suppose 0 = -4*h - 2*s - 362, -108*h + 268 = -111*h - 5*s. Which is bigger: h or -639/7?
h
Let m = -2147 - -2104. Do -58 and m have different values?
True
Let g be 1/(-2)*-4*(-6)/(-4). Suppose c - 3*c + 283 = 5*h, c = -g*h + 169. Suppose -11*b + 4*b + 399 = 0. Is b < h?
False
Let m be ((-5 + -1)/(-12))/(-10). Which is greater: 791/5 or m?
791/5
Let z = 0.37 + 0.03. Suppose 4*t - 5*i = 63, 5*t = -26*i + 23*i + 51. Let h be t/(-33) + 8/(-352)*-8. Which is greater: z or h?
z
Let b = 1.13428 - -6.86572. Let f = 0.2 + -1.2. Which is bigger: f or b?
b
Suppose 2*y = -15*y + 119. Let v = -88 - -100. Is y at least as big as v?
False
Let s be 8 + (-8106)/(-1666) - 13. Which is smaller: 1 or s?
s
Let t be 3/(12/(-10))*2. Let f be 3/30 - (-2 + (-717)/30). Suppose -45 = f*r + 85. Is r at most as big as t?
True
Suppose -229*r = -158*r + 6425 - 2094. Suppose 3*j + 3 = 0, y + 4*j = -y - 116. Is r greater than or equal to y?
False
Let a = -3161 + 3250. Is a > 11?
True
Let a = -0.7267 + 0.6267. Which is greater: -3178 or a?
a
Let v = 0.05167 - 231.95167. Let m = 232 + v. Which is smaller: m or -5/13?
-5/13
Let w = -1984 + 1987. Is w at least -55?
True
Let b be -61*(-21)/(-14)*(-8)/(-6). Let v = 160 + b. Is v bigger than 1/3?
True
Let j be -1 - (2 + 196/(-58)). Let p = j + -411/1160. Suppose 4*a + 18 = -2*w, 3*a + 22 = 2*w - a. Which is greater: w or p?
w
Let c = -2130 - -1227. Let l = c + 875. Which is bigger: 3 or l?
3
Let l = -10 + -24. Let u = -88 - -55. Let p = u + -2. Is l > p?
True
Let y be -2*(-1*(-671)/(-44) - (-3)/4). Is y at most as big as 36?
True
Let b(o) = -o**2 - 6*o + 73. Let t be b(-12). Let m be t*26 - (24/6 + -8). Are m and 30 unequal?
False
Let n = 4/2665 - -2128/2665. Let c = -2 + 3. Which is smaller: c or n?
n
Let v = 931.7 - 7443.7. Which is smaller: 1 or v?
v
Let z be (1/4)/(1/(-12)). Let n be -5*z/150*4. Which is smaller: -28 or n?
-28
Let w(k) = -3*k - 39. Let s be w(-14). Suppose 2*f + 14 = s*m, -4*f - 18 = -m - 0*m. Are f and -34/7 unequal?
True
Let i(k) = -k**3 + 17*k**2 - 13*k + 6. Let v be i(16). Let x be 2*-2*(v/4)/3. Let d(c) = 14*c - 2. Let w be d(-1). Is x < w?
True
Let l = 14 + 0. Let v be ((-3)/(-21)*-2)/((-150)/l). Suppose 2*u = -2*r - 3*r - 6, -2*r - u = 3. Is v not equal to r?
True
Suppose 40*y = -5377 - 1183. Is y greater than -1792/11?
False
Let h be (479/(-2))/((-8)/4)*(-75 + 99). Is 2874 less than or equal to h?
True
Let t = 270/1337 + 16/191. Is t less than or equal to 3644?
True
Let h = 47 - 70. Let z = -20.26 + 1.26. Let s = z - h. Which is bigger: s or -6?
s
Let w = -120.9 + 118. Let c = w - -59.9. Let m = 44 - c. Which is smaller: m or -2?
m
Let g be 84/12 + ((-54)/3 - -5). Let u = 0.05 - 0.01. Let h = -1.04 + u. Is h greater than or equal to g?
True
Let d be (-28 - -31)*(1 + 16/(-6)). Suppose -3*w = h - 23, -w = -2*h - 0*h - 10. Let l be (d + 1)/((-4)/w). Is 6 at most l?
True
Let r be 912/(-13) + -2 - (-18)/117. Let m = -50 - r. Suppose 5*w + 4*j = -15, 4*w - 5*j - m = 7. Are 4/49 and w non-equal?
True
Let a be 34/(-740) - (-2)/4. Let z = -37150/37 - -1004. Let g = z + a. Is -8/5 != g?
True
Let p = -191 - -186. Which is bigger: -203 or p?
p
Let u(v) = 2*v**3 + 13*v**2 + 25*v - 6. Let d be u(-6). Let p = -120 - d. Suppose p = 6*w - 5*w - 6. Which is greater: 1 or w?
w
Let t = 4275 - 6692. Which is smaller: t or -2416?
t
Let b = 12209739/21665338 + -3/119698. Which is smaller: b or 1?
b
Let s be 1405/5 + -2*1. Suppose -27 = -3*x - s. Let o = -88 - x. Is o equal to -33/8?
False
Suppose l - 31 = 2. Suppose 4*u + 54 = 2*t, -3*u + 4*t = -0*t + l. Let c be (0/2)/(u/(-15)). Do -2/61 and c have the same value?
False
Let a(x) = -2*x**3 - 2*x**2 + x. Let y be a(1). Suppose 8*o = 13*o - 45. Let d be (-6)/o*((-1)/(-3) + 3). Is d at least y?
True
Suppose -4 + 14 = 2*s. Let b(j) = -6*j - 7. Let h be b(s). Let m = h + 20. Is -18 at most as big as m?
True
Let b = 1/31801 + 3529879/1017632. Which is smaller: 4 or b?
b
Let n = -38 - -260/7. Let h = 2449 + -2450. Is n at most as big as h?
False
Let m = -14479/37 - -4536515/11581. Which is bigger: 0 or m?
m
Let b be (-55)/77*7 - 273. Is b >= -19?
False
Let j = 20727 + -19994. Are j and 729 nonequal?
True
Suppose -32580 = 22*v + 8758. Are v and -1878 equal?
False
Let b = -11.31 + 1.31. Let c = -9.3 - b. Which is smaller: c or -0.1?
-0.1
Let f = -82618 + 148212. Let r = f - 458254/7. Let l = 130 - r. Is l <= 0?
False
Suppose -5*i = -3*m + 47, -30*m - 1 = 3*i - 25*m. Let v be ((-32)/(-2840))/(14/i). Which is bigger: 1 or v?
1
Let b be 1/(-2 + (-21)/(-9)) - -514. Let q = b - 517. Is -3/152 <= q?
True
Let s(z) = 7*z - 4*z + 1 - z. Let k be s(2). Let u(d) = -15*d - 2023. Let o be u(-135). Is k >= o?
True
Let m = -91.47 + 90. Let i = m