s 9 greater than or equal to k?
True
Let x = 889.8 + -890. Is -206 <= x?
True
Let h be (-767)/(-78) - (1 - (-5 - 0)). Which is bigger: -2/27 or h?
h
Let o(b) = b**2 - 3*b - 1. Let s be o(0). Let f be (20/3)/((-3)/9). Let u be 2/(-55) - 8/f. Is s > u?
False
Let p = -0.8 - 0.9. Let k = -1768.9 - -1769. Is k != p?
True
Let l be 2751/330 + 1 + 1. Let y = l - 51/5. Let f(w) = -2*w**3 - 3*w**2 - w - 7. Let n be f(-2). Which is smaller: y or n?
n
Let a be (-2)/13 + (-2319)/(-4)*800/(-1950). Is -238 less than or equal to a?
True
Let i = 31 - 31. Suppose i = -3*h + 8*h - 15. Let q be ((-6)/75)/(3*(-1)/(-15)). Which is smaller: h or q?
q
Let p = -15 + 14. Let o(x) = -5*x. Let j be o(p). Let y = 142/7 - 349/21. Are j and y non-equal?
True
Let p(a) = -6*a + 4. Let k be p(11). Let q be 2*(-1 - k/(-4)). Are -2/5 and q equal?
False
Let o = 12092330/9 + -1345160. Let g = o + 1570. Suppose -5*r = u + 14, -4*r = u + 4 + 7. Which is smaller: g or u?
u
Let x be (28/(-2))/(4/(-10)). Let l = x - 40. Is l at most as big as -8?
False
Let f be 20680/6*(-32)/240. Suppose -2*y + 2298 = -5*g, -2*g - 3*y - 612 = 311. Let z = f - g. Which is smaller: 1 or z?
z
Let a = 963.42 - 468.42. Let c = 83/3 - 28. Which is greater: a or c?
a
Let a(r) = r**2 - 4*r + 3. Let h be a(4). Let l be (-210)/(-80)*2/3. Is l bigger than h?
False
Let o = -46861 + 60263243/1286. Which is smaller: o or 0?
o
Suppose 19740 = 343*l + 221*l. Suppose -2*q + 102 = q. Suppose 3*n + q = 4*n. Is l not equal to n?
True
Let y = -87673 + 135805471/1549. Is y at least as big as 1?
False
Let c = -3013 + 2953. Which is greater: -1128/19 or c?
-1128/19
Let x be (-18)/42 + (-2 - (-18219)/(-21)). Let h be ((-120)/x)/(1 + -4). Which is smaller: h or 0?
h
Let k = 408 + -349. Suppose 5*f + 3*j - 294 = 0, 314 = 4*f + 2*j + 78. Which is smaller: k or f?
k
Let y = -20859/565037 + 13/341. Is y < 4/7?
True
Suppose 1028 = -3*o + g, 2*o + 5*g + 981 - 273 = 0. Is -346 >= o?
False
Let r = -10.7 + 11. Let l(d) = -d**2 + 39. Let g be l(-6). Suppose 4*b + 13 = -x + 4, x - g*b = -9. Is x <= r?
True
Let y(i) = 2*i**2 + 4*i + 4. Let j(w) = 5*w**2 + 9*w + 8. Let s(a) = 3*j(a) - 7*y(a). Let v be s(0). Let r be v/(-6)*(-1 + 3)/(-4). Is r at most -1/2?
False
Let p = 81.168 - 0.168. Let y = 0.00322 - 0.00322. Which is smaller: y or p?
y
Let b(q) = -q + 7. Let g be b(-2). Suppose -6*t = g - 27. Suppose t*k = 3 - 9. Which is bigger: -10/3 or k?
k
Let v(b) = 2*b**3 + 33*b**2 - 16*b + 5. Let y be v(-17). Let p(i) = i**2 - 2*i. Let x be p(1). Let h be (3/y*-4 - 1) + x. Does 1/28 = h?
False
Suppose 2*a + 3*p - 813 = 0, -5*a + 2065 = -12*p + 13*p. Let o = a - 395. Is 29 at least as big as o?
True
Let s = -373 + 376. Let p be 1/(-4) - -4*(-63)/(-112). Which is bigger: s or p?
s
Let b be (-7)/(-7)*(-2)/2. Is b at most as big as -1/4234?
True
Let s = 13946 - 13944. Is s != 202?
True
Let n = 3.7252 - 0.3452. Let j = 29 + -29.38. Let k = n + j. Which is greater: -0.1 or k?
k
Let z be -18 + 210/15 + 8. Is 76/63 not equal to z?
True
Let k = -3155 + 3180. Are k and 1 equal?
False
Let v = 29 + -41. Let r(h) = -h**2 - 15*h + 2. Let l be r(-15). Let y = v + l. Which is bigger: -9 or y?
-9
Let j(f) = -2*f**2 + 15*f - 2. Let q be j(8). Let d be 1004/12 + -3*q/(-45). Are d and 416/5 equal?
False
Let x = 4960 - 4964. Is 25 not equal to x?
True
Suppose 3*c - 55 = p - 178, 4*c + 12 = 0. Let u be 13*10/390*p/(-2). Which is greater: u or 5?
5
Let s(z) = -6*z - 4. Let v(u) = -5*u - 4. Let g(x) = -3*s(x) + 4*v(x). Let y be g(-9). Suppose -180*j = -247*j + 1005. Is y smaller than j?
True
Let v = -123 + 114. Let u be 6/v + 760/(-12). Which is greater: -62 or u?
-62
Let t be 33/1*(-276)/(-18). Suppose -9 + 29 = -5*i, 3*y = -4*i + t. Let c be (y/(-9))/(35/(-15)). Which is smaller: 7 or c?
7
Let n = 663 + -664. Is 197 less than or equal to n?
False
Let c be (-3)/(-5) + 4 + (-391)/85. Is 28/51 != c?
True
Let l(u) = -3*u**2 - 38*u - 25. Let t be l(-12). Let x be (-3)/(-5)*(-1524)/36. Let p = 6487/255 + x. Which is greater: p or t?
p
Let s be -86 - -90 - 33/(-2). Let q = 0.99 + -1.09. Is s less than or equal to q?
False
Suppose -9*q = 5 + 67. Let w be (-6)/q + 2 + (-4 - -1). Is 3/2 >= w?
True
Let c be ((-54)/5)/(5/25). Let b = c + 54. Suppose a + 3*f + b*f + 8 = 0, 2*f = a - 2. Which is smaller: a or -19/8?
-19/8
Let a = -7628 - -7631. Let c be 1/(-1*(-4)/132). Do c and a have different values?
True
Let t be 964/(-6) + 10/15. Suppose -4*c - 960 = 2*c. Are c and t equal?
True
Let p be ((32205/20)/(-19))/((-2)/432). Which is smaller: 18307 or p?
p
Let i = -5429/28 + 50/7. Which is smaller: i or -188?
-188
Suppose -58 = 3*k - 43, 5*k + 453 = -4*l. Is l less than or equal to -87?
True
Let a be 3 - 106/39 - 6/(-18). Let u = 93/130 - a. Is 3 at most u?
False
Let z be (-12)/16 - (1507/(-12980) - 6/10). Is z != 76?
True
Suppose -n - 2*c + 10 = -0*n, 4*c = 2*n + 4. Suppose n*w - 1156 = -2*s, 2*s + 394 = 2*w - 196. Is 292 greater than w?
True
Let m be 44811/3445 + (12 - 25). Is 1 bigger than m?
True
Let q = 1162.3 + -1162.4. Which is bigger: q or -1201?
q
Let c = -55.1 - -0.1. Let m = -1120.1 - -1065. Let n = m - c. Is n >= -3/7?
True
Suppose 5*g = -5*y - 485, 6*y = g + 9*y + 95. Which is bigger: -43 or g?
-43
Let q = 569.6 - 558. Let z = q - -48.4. Is 2 less than z?
True
Let p = 192.7 - 191.4. Is p less than -560?
False
Let r = -0.08493 + -1.01507. Are r and 0.118 nonequal?
True
Suppose 7*d - 2148 = 13*d. Let l = d - -39381/110. Which is smaller: l or -1?
-1
Let k = 34813 + -43253. Which is bigger: -8439 or k?
-8439
Let v be 19/(-76) + 62/(-8). Let b be (-2)/v + 42/56. Let l be (5/(-10))/(10/4). Do b and l have the same value?
False
Let b = -191904 + 87699993/457. Which is smaller: 0 or b?
b
Let h be ((-7)/3 - -2)/1. Let b = -24.1 + 23.48. Let y = b + -0.58. Is y greater than h?
False
Let s = 212/15 + -81/5. Let b = 73/45 + s. Which is greater: b or 13?
13
Suppose 0 = c - 0*c, 3*c = -3*p + 69840. Let k be (p/(-111))/(6/(-21)). Let l = -734 + k. Which is smaller: l or -2?
-2
Let u be (1/(-4 - 1474))/((-1 - 0) + 2). Is -1 less than u?
True
Let x = -67 + 71. Let y = 17 - x. Suppose -4*n - 2*h + 70 = -0*h, 0 = -2*n + 4*h + 10. Which is bigger: y or n?
n
Suppose -55*o + 102 + 118 = 0. Let k(x) = 5*x**3 + 3*x**2 - 20*x - 9. Let w be k(o). Is w smaller than 278?
False
Let s be (-88)/(-8) - 8 - -1*1. Suppose s*h - 40 = n - 17, h = 5. Which is greater: n or -2?
-2
Suppose -a = -5*j - 678, -14*j - 688 = -9*j + 4*a. Let i = 57 + -194. Which is smaller: i or j?
i
Suppose -5*y - 30 = 3*i - 11, -4*i = -5*y - 33. Suppose -3*b = -z - 5*b - 11, -4*z = -i*b + 4. Let a be 25/20*(-9)/75. Which is greater: z or a?
a
Let v = 149.6887 + 0.1113. Let b = v + -150. Do b and 13/9 have the same value?
False
Let i = -152 - -207. Suppose -18*p + i - 487 = 0. Which is smaller: p or -28?
-28
Suppose -x = 3*y - 49 + 57, 0 = 4*y + 12. Is -2/6515 greater than x?
False
Suppose 125 = 11*l - 16*l. Let k be -8 + (-210)/l + (-452)/5. Is k bigger than -91?
True
Suppose -3*r - 3*m - 42 = 0, -5*r + 3*m = 23 + 55. Let q be r/(-9) + (-2)/3. Let y be (q/(-1)*(-4)/18)/(-2). Are 1/3 and y equal?
False
Let k be (-984)/(-10) - (-27)/45. Let z be (k/27)/(2/6) + -2. Suppose z*s + 8 = 8*s. Is s at most -8?
True
Let g be (-2)/(-12) - 218883/(-630). Let f = g + -348. Which is smaller: -15 or f?
-15
Let x = -52 - -51.92. Let y = -181/124 + -9/31. Let s = -85/44 - y. Which is smaller: s or x?
s
Let c(x) = x**3 + 12*x**2 - 29*x + 2. Let y be c(-14). Suppose y = -b + u + 10, 4 = 4*u. Let a be 1 - (1 - -5) - -1. Is a at most b?
False
Let s = -17765 - -17750. Let p = -533/98 - 3/49. Which is bigger: s or p?
p
Suppose -5*i - 20 = 0, -2*i = y + 3*i + 17. Suppose 2*s + 48 = y*s. Let c = s + -46. Which is smaller: 9/13 or c?
9/13
Suppose 6*g - 20 = -t + 2*g, 2*t = g - 14. Which is smaller: t or 61?
t
Let c = -11730 + 12721. Which is bigger: c or -1/5?
c
Let k = -5325521/65 + 81950. Let u be 16119/(-1053) - (1 - -6). Let r = k + u. Which is bigger: -3 or r?
-3
Let m = -12 + 22. Let g be (-2 - (-8)/m)*5. Let o be ((-2)/g)/(17/(-3)). Is -1 not equal to o?
True
Let u = -99 - -10. Let q = u - -89. Is q bigger than 3/13?
False
Let n be (-26032)/44 - ((-112)/(-22))/14. Are -5931/10 and n unequal?
True
Let q be (0 - -3) + 304/(-16) + 10. Which is g