hich is greater: x or 156/227?
156/227
Let w be 4/6 - 5/(150/5315). Which is smaller: w or -177?
-177
Suppose -4*o + 5*q - 12 = 0, 0*q - 3*q + 12 = 0. Suppose -65 = o*f + 7. Let l be 4/18 + (-4)/f. Is -1 bigger than l?
False
Suppose -11*x = -10571 - 7909. Is 1680 greater than or equal to x?
True
Let q = 517055 - 516836.9996. Let p = q - 0.0004. Is 2/5 greater than p?
False
Let c be (-1)/2*(9 + -5)*11. Let z(b) = 10*b + 103. Let l be z(c). Which is greater: -116 or l?
-116
Let y(w) = 4*w - 22. Let a be y(6). Let b be (a - (-11)/(-5))*-10. Let x be b - (0/(-5) - 2). Are x and 4 non-equal?
False
Suppose 29000 = 5*f - 0*f + 4*r, -3*r = 3*f - 17400. Which is smaller: 5801 or f?
f
Let g = 61 + -39. Suppose -4*i = -5*h - 20, 15 = 9*i - 6*i + 3*h. Suppose -22 + g = -i*z. Which is bigger: -5/8 or z?
z
Let z be (71/9*-6)/((-3)/27). Which is greater: z or 427?
427
Let u be ((-9701958)/750)/7 - -1. Let q = u - -1847. Do 0 and q have the same value?
False
Suppose w - 30 = -3*k + 306, k + w = 114. Let n = k - 47. Let p = n + -35. Which is greater: p or 30?
30
Let j(y) = y + 0*y**2 + y**3 + 9 + 19*y**2 - 3*y**2. Let o be j(-16). Let c(q) = q**2 + 8*q + 2. Let d be c(o). Is d greater than or equal to 3?
False
Let a = 6251/31205 + -2/6241. Let d(c) = -c**3 + 4*c**2 + 7*c. Let p be d(5). Let l = 9 - p. Is l != a?
True
Let a = -27 + 40. Let s = -230 - -216. Let w = a + s. Which is greater: w or -1/15?
-1/15
Let y = 35818 - 2399638/67. Is 2 < y?
True
Suppose -12 = -4*p + 2*x, -3*p + 2*p + 4*x - 11 = 0. Suppose 0 = 2*i - p - 5. Let v = -396 - -2004/5. Which is bigger: i or v?
i
Let y = 8103.12 - 8103. Is -7/17 less than y?
True
Suppose -6 = -2*m + 5*m. Let x be (1 + -2)/1 - m. Let h be (30 - (1 + x))/(1 + 0). Is h not equal to 28?
False
Suppose 0*r = 6*r - 654. Let p be 3900/35 + (-18)/42. Is r greater than or equal to p?
False
Let o be (-2)/(-4) + (-36)/8*3. Let d(p) = 1 + 2*p + 1 - 8*p**3 + 21*p**3. Let i be d(-1). Is i at least as big as o?
True
Suppose 11 - 2 = 3*t - 3*g, 4*t + 5*g = -24. Let y = 1561 + -1560.8. Is y not equal to t?
True
Let v = 252 + -257.3. Let j = -128.7 + v. Is j greater than -1/5?
False
Suppose 5*v - 699 = -3*o, -4*o = -3*v + 5*v - 932. Which is smaller: 234 or o?
o
Let t = 459 - 458. Is t > 610?
False
Let y be (6/15)/((-3)/195). Let r = y + 6. Let l be r/(-15)*3/(-6). Is l > 1/37?
False
Let r be (3/(-6))/((-1)/2). Suppose 4*s + 481 = -71. Let a be -1 - -4 - s/(-51). Which is greater: a or r?
r
Let w = -23628 + 27566. Which is smaller: 3935 or w?
3935
Let k = 323 + -100. Is k bigger than 1552/7?
True
Let a = -14 + 16. Let b be ((-145)/25)/(-3 + 11006/3650). Let o = b - -378. Is a smaller than o?
False
Let v be (0 + 0)/(509 - 507). Let u = -1603/6708 + 10/43. Let y = u - 1/13. Which is greater: v or y?
v
Suppose -t - 113 = -5*n, 0*n - 4*n - 332 = 4*t. Suppose 5*z = -5*y + 435, 4*y - z = 2*y + 183. Let v = t + y. Is v != 1?
True
Suppose 2*v - 2*t - 863 = 5*v, 1445 = -5*v - 5*t. Let k = v + 1443/5. Let a = k + -4. Which is smaller: 5/6 or a?
a
Let l be 3 + (-13713)/(-231) - 11. Is l > 51?
True
Let z = 1222 + -3665/3. Let v be (-3)/(-9) + (-14)/24. Which is smaller: z or v?
v
Let z be ((-3)/4)/(21/(-112)). Suppose 5*x + 3*b = 13, -b + 5 = 3*x - 2*b. Suppose -28 = -x*s + 4*c, 2*s + 8 = c - 6*c. Is z not equal to s?
True
Suppose -5*v - 158 - 187 = 0. Let t = 42 + v. Let n be ((-12)/t)/((-2)/1). Is n equal to 0?
False
Let v = 182 - 99. Let q be ((-2337)/399 - -6)*(-14)/(-6). Is v at least as big as q?
True
Suppose v = 5 - 1. Suppose 6*k = 4*k - 12. Let m be 2/k*(-24)/4. Is m not equal to v?
True
Let z be (-2968)/8904*(-15)/29. Suppose 2*q = -q + 3. Which is smaller: q or z?
z
Let v be 1 + -3 + 6/1. Suppose v*u + 4*p - 286 = u, -2*p = 2*u - 194. Is 2 greater than u?
False
Let z be 8/402*(3*-3 + (-2790)/(-124)). Let k = 0.15 - 0.05. Is z less than k?
False
Let b = -73.7 + 6.7. Let m = b - -66.9. Which is smaller: m or -19/11?
-19/11
Suppose 9*x - 130 - 167 = 0. Let n be x/(-2981)*4/(-12). Are n and 0 unequal?
True
Let d be 2/(-4)*12/(-6). Let h(m) = 14*m**3 - m**2 - m + 2. Let r be h(-1). Which is smaller: r or d?
r
Let i = 11892 + -10147. Is i not equal to 1744?
True
Let a = -2071 + 2084.6115. Let r = a + -0.0015. Let p = 0.61 - r. Is 1/7 bigger than p?
True
Let r = -4841 + 4711. Which is bigger: 5 or r?
5
Let v = 104 - 64. Let g = 7.29 - 5.2. Let k = g - 0.09. Is v bigger than k?
True
Let f = 0.024 + 8.876. Which is bigger: 0.1 or f?
f
Let j(n) = -264*n + 25. Let h be j(-1). Let c = h - 303. Which is smaller: 0 or c?
c
Let o = -98 - 83. Let m = 274 + o. Is 94 less than m?
False
Let c(r) = -60*r**3 - 141*r**2 - 561*r + 3. Let j be c(-4). Which is bigger: 3833 or j?
3833
Let k be (400/6)/(28/(-6) - -5). Let o = -199 + k. Let d be 392/(-1030) - (-6)/15. Are d and o unequal?
True
Let v(w) be the second derivative of 7*w**3/3 + 115*w**2 + 89*w. Let h be v(-30). Are h and -190 non-equal?
False
Let g(u) = u**2 + 6*u + 7. Let k be g(-2). Let v = -493 - -253. Which is smaller: k or v?
v
Let t(w) = -7*w**3 - w**2 - 2*w - 1. Let q be t(-1). Let p be -40 - 8 - (-470)/10. Is p less than or equal to q?
True
Let c = 1.2273 + 3.0227. Is 0.06 at most as big as c?
True
Suppose -28 = 4*q, -44*t = -40*t - 4*q - 28. Is -1190/11 at most as big as t?
True
Suppose -3*j = o + o + 51, -3*j = 3*o + 84. Let k be (-1 - (2 + -3)) + 2. Suppose -3*f + 12*q = 13*q + 97, -k*f - 5*q - 56 = 0. Are o and f unequal?
False
Let o(m) = -12*m. Let f(z) = z. Let b(a) = -20*f(a) - 2*o(a). Let h be b(2). Suppose 5*s - g = 9, 2*s + 3*g = -5 + 12. Is s greater than or equal to h?
False
Let i = 6399 + -4053. Let b be i/595 + (-8)/2. Is -1 equal to b?
False
Let k = -4693 + 5678. Which is greater: 990 or k?
990
Let z be 1 - ((-2)/3)/(15/(-45)). Let u be 1 + 1*4/(-249) + z. Is u at most 0?
True
Let f = 234 - 229. Suppose 0 = -b - f*j + 9, -4 = 3*b + 2*j - 5. Do b and -3/10 have different values?
True
Let j be -1*-5*(-14751)/55. Which is smaller: -1342 or j?
-1342
Suppose 0 = 2*r - 3*c - 2601, r + 3*c - 48 - 1275 = 0. Let d be (-2)/7 - r/28. Suppose -3*h - 230 = 2*h. Are d and h nonequal?
True
Suppose -4*g + u + 165 + 377 = 0, g = -2*u + 131. Let b = -287 + g. Are b and -151 unequal?
True
Let i = 4 - -6. Suppose 7 = n + 1. Suppose -10 = -u - 4*y, -4*y - 50 = -5*u - n*y. Is i <= u?
True
Suppose 2*a - 1685 = l, -6*a + 10*a + 12 = 0. Which is bigger: l or -1690?
-1690
Suppose -p + 9 = -141. Let o be (2 - (-26)/(-10)) + 165/p. Suppose -2*r - 26 = -3*r. Which is smaller: r or o?
o
Let n = 20.435 - -95.565. Which is smaller: n or 40?
40
Let w = -2971 - -20765/7. Let m(v) = -v**2 - 6*v - 2. Let o be m(-5). Let h = o - 8. Is w less than or equal to h?
False
Let g = 196916.9 + -196917. Let b be ((-5)/29 - 0) + 0. Is b at least g?
False
Let d be 46/5 + 5/(-25). Let p(y) = -3*y - 15. Let a(o) = 4*o + 15. Let h(q) = 3*a(q) + 2*p(q). Let b be h(-3). Which is bigger: d or b?
d
Let h = 0.223 - 0.023. Let v = 5.1 + 2.9. Is h < v?
True
Let a = -92.4 - -12.4. Let m = -142749 - -570997/4. Is a < m?
True
Suppose -267 = -8*p - 251. Suppose 0 = -4*a - 8 - 12, 0 = -p*y - 4*a - 64. Which is smaller: y or -23?
-23
Let g = 5323 + -5325. Is 1541 at most as big as g?
False
Suppose -36*i - 549864 = -50*i. Let f be -2 - (-21)/12 - i/(-432). Are f and 91 equal?
False
Let q = 23398 - 23365. Let g = -0.3 + 0. Are q and g non-equal?
True
Let s(z) be the second derivative of -z**5/20 - 4*z**4/3 + 17*z**3/6 + z**2/2 - 15*z + 1. Let c be s(-17). Is 3/43 greater than or equal to c?
False
Let t = 275 + -373. Let b = t + 90. Is b at most as big as -11?
False
Let r = 172.11 + -169. Let z = 3.31 - r. Let p be 5/(-2)*20/(-25). Is z greater than or equal to p?
False
Suppose 3*n + 4*m + 22 = 0, -3*n - 16 = -20*m + 18*m. Let b(y) = 2*y + 6. Let k be b(-6). Is n > k?
False
Suppose -191*d = -194*d + 747. Which is bigger: d or 250?
250
Suppose -1 = -j, -3*x - 50298 = -46*j + 43*j. Which is smaller: x or 1/2?
x
Suppose 469 = -37*v + 3725. Which is greater: v or -10?
v
Suppose 27 = -5*n + 17. Let k be n*4/(-50)*(-575)/20. Is k greater than -4?
False
Let y = 1406 + -4076. Is y <= -2670?
True
Let b be (-3)/(((-72)/(-9))/(-8)). Suppose b*u = q + 6*u - 4, 28 = -4*q - u. Let f(d) = 4*d + 1. Let l be f(-3). Which is bigger: q or l?
q
Let y(b) = b*