Suppose 0 = -0*n - 2*n + 8. Let t = -3 + n. Is t > g?
True
Let b(l) = -2*l + 6. Let t be 3/18 + 22/12. Let x be b(t). Let z be -16*(21/(-9) + x). Which is greater: z or 0?
z
Let k = 0.1 - 0.3. Let g = 55573 - 55574. Are k and g non-equal?
True
Let j be (-1)/(4/4496*-4) + -8. Is 29 greater than or equal to j?
False
Let s = -7973 - -23915/3. Let r(z) = -z**2 - 6*z + 6. Let u be 14*2/4*-1. Let n be r(u). Is s bigger than n?
False
Let s = -216133/135 - -1601. Which is smaller: 0 or s?
0
Let q = 14/1425 - -3673/61275. Which is bigger: q or -1/4?
q
Let h(w) = w**2 + 11*w - 76. Let t be h(5). Which is greater: 202/41 or t?
202/41
Let w = 2074 + -1296. Suppose 3*j - w = j. Let q = 1583/4 - j. Which is smaller: 8 or q?
q
Let s = -13881 - -13922. Is -100 > s?
False
Let m = 231 + -243. Let g be m/(-84) + (-20)/(-7). Is g >= 90/31?
True
Suppose -27*w - 38032 = -23*w. Let a be -4*4/(-72) + w/99. Let y = a - -96. Which is smaller: 1 or y?
y
Let l = -0.6241 - -0.8241. Is l at most -91.31?
False
Let i = 91.008 - 0.008. Let q = 90.96 - i. Is q >= 1?
False
Let k = 20/3077 + -2175499/9231. Do -237 and k have different values?
True
Let d = -2442 + 1731. Suppose 3*i + 5*q = -2120, 314*i - 311*i + 2126 = -2*q. Which is bigger: d or i?
i
Let c = 1 - 164. Let l = c - -70. Is -92 bigger than l?
True
Suppose -4*k - 4*r + 15676 = 0, r + 8863 = 3*k - 2878. Do 3915 and k have different values?
False
Let n be (((-448)/144)/(-14))/(10/15). Is 10159 at most as big as n?
False
Let w be (1 - 3)*(-6)/2. Suppose 3*b = w*b - 48. Let i be (12 + 2)*8/7. Is b at most i?
True
Let m = 25493 - 26323. Is m at most as big as -4146/5?
True
Let k be (5 + (-77)/14)/(7/126). Is k < 285?
True
Let n = -0.356 - 380.644. Let i = n + 380.9. Is i equal to -2/15?
False
Suppose 3*a - 49 - 5 = 0. Let i = -46 + -10. Let k = i - -75. Is a greater than or equal to k?
False
Let g be ((-6)/15)/((-1)/25). Let y(f) = -12*f + 14. Let n be y(1). Suppose 152 = n*a - g*a. Are -18 and a nonequal?
True
Let y be (-3)/(-81)*-6 - 33076*3/1080. Is -93 greater than y?
False
Suppose 5*y - y = -108. Let i = y - -33. Let t be -4*(-6)/8*4/i. Is 3/2 >= t?
False
Let x = 644 - 25114/39. Let j(k) = k + 17. Let y be j(11). Let l be 3/(-4) + y/16. Is x <= l?
True
Let z = -146063/63 - -1142/63. Let r = z + 2281. Which is bigger: r or -19?
-19
Suppose 7*o + 10 = 24. Suppose 2*a + 306 = -2*s, 547 - 81 = -3*s + 4*a. Let i be s/(-5049) - o/(-17). Which is greater: i or 1?
1
Let m = 28 - 33. Let u = m - 0. Let z = -5 - 2. Is u bigger than z?
True
Let r = 5835 + -5834.1. Is r less than or equal to -0.244?
False
Suppose -b = g + 30, 0 = -0*b + b + 5. Suppose 84*c = 67*c - 514 + 38. Which is smaller: g or c?
c
Let f be -4 + (-12)/(-54) + (-250833)/135. Let i = -1856 - f. Does i = 6?
False
Let p be 148 + (-29 + 5)/(-4). Is 160 equal to p?
False
Let n = 97344/17 + -5726. Which is smaller: n or 10?
n
Suppose 0 = -14*m - 64*m + 468. Suppose 0 = -4*d - 5*l + 30, -24 = -4*d - 2*l - 0*l. Let c = 15 - d. Do m and c have different values?
True
Suppose -4*s + 62 = -106. Suppose -5*k + 150 = 5*c, 0 = 4*k - 4*c - s - 110. Let q be (-43 - 1)*(-3)/4. Which is smaller: q or k?
q
Let a be ((-12)/(-96))/((-13)/(-27352)). Is a at most 257?
False
Suppose 4*m + 0*m - 879 = -67. Does 202 = m?
False
Suppose -7*p - 48 = -1231. Let v = p - 168. Let w be (-147)/(-14)*(-3)/(-28). Which is bigger: w or v?
w
Suppose 3*k + 6 = -82*i + 81*i, 0 = 3*k + 5*i + 30. Is 35/146 greater than or equal to k?
True
Suppose b - 3*r = 27, 5*r + 6 + 4 = 0. Suppose -26*i = -b*i - 60. Let u be i/48 + (6/8)/(-3). Are -2/13 and u nonequal?
True
Let u = -29217 - -29224. Which is bigger: 447 or u?
447
Let b = 0.088 - -154.912. Let v = -154.923 + b. Let u = -0.113 + v. Is 1/2 < u?
False
Let z be 0/1 + 24/2. Let i(u) = u**3 + 13*u**2 + 38*u + 22. Let r be i(-9). Let y be ((-8)/z)/(r/54). Which is greater: y or -8?
-8
Let v = -493.918 + 494. Let c = v + -0.193. Which is smaller: c or 2?
c
Let j = 13 + -17. Let w be -43 - -1*(-1 - j). Suppose -4*h - 39 = -3*m + 4*m, m - h = -39. Is m at most w?
False
Suppose 97*o - 103 = 8 - 14. Is o bigger than 13/144?
True
Let x be (729710/387)/((-10)/(-12))*9/(-6). Is -3393 at least x?
True
Let d(r) = -339*r**2 - 191*r - 925. Let i be d(-5). Which is greater: i or -8446?
i
Let p = 15/126968 - -231257/2341416888. Is p >= 1?
False
Let i = -5.07 - -10.01. Let r = i - 0.94. Is 9 greater than r?
True
Let p be ((-6)/(-18))/((-2)/(-30)) - 1. Suppose 4*q - p*k - 60 = 0, -6*k = -7*k + 1. Is q less than 17?
True
Let s be -1 - -7*1/6. Let c(z) = z**2 - 11*z - 10. Let v be c(10). Let n be (-18)/v - 2/(-20). Are s and n equal?
False
Suppose -1333*u + 11286 = -1360*u. Which is bigger: -421 or u?
u
Let l = 6958 - 6957. Is 3/716 less than l?
True
Let t = 507 - 2547/5. Let j = 35 + -42. Let i be (j/(-14))/((-1)/2). Which is greater: t or i?
i
Suppose -3*m = -6*m + 6. Let s be 8516/(-60004) - m/(-14). Let y = 72872/10715 - s. Is 6 less than y?
True
Let n be (2 - 4)*(-134)/(-4). Let o be 1/((-6)/399) - (-78)/52. Are n and o unequal?
True
Let x(s) = 4*s**2 - 194*s + 1887. Let f be x(35). Suppose -5*d - 1 = 29. Is d greater than or equal to f?
False
Suppose 4*l = 5*n + 252, -2*n - 31*l - 87 = -28*l. Suppose -2*g + c = 48, 5*g + 2*c = 3*c - 117. Let j = g - n. Is j > 25?
False
Let v(a) = a**3 - 6*a**2 + 87*a - 1. Let b be v(15). Which is bigger: 3327 or b?
b
Suppose 2 = 5*p + 82. Suppose 0 = -6*z - 6*z - 204. Let y be (-2)/(-6)*(-30)/(-10)*z. Which is greater: p or y?
p
Let t = -45 - -45.42. Let l = 0.31 + -0.71. Let d = l - 0.6. Is t greater than d?
True
Let u be 1/10585*-11*90/(-396). Which is smaller: 1 or u?
u
Let s(f) = -f**2 - 7*f + 4. Let c be s(-7). Suppose 0 = -3*j + 55*j + 208. Let y be (2/j)/(2/c). Which is smaller: y or -67?
-67
Let u = 150 - 137. Suppose -5*h = -u*m + 18*m - 235, -2*m + 4 = 0. Which is smaller: 47 or h?
h
Suppose -30*k + 33*k = -3*f + 57, -2*k + 30 = 4*f. Which is greater: k or 13/4?
k
Let i = -5598890/323 - -17334. Which is smaller: -1 or i?
-1
Let l = -4 + 4.1. Suppose 83*w = 60*w + 29 - 6. Is w less than l?
False
Let w = 33.05 + -61.39. Let i = 28 + w. Let y = i - -1.34. Which is greater: y or 0.2?
y
Let d be 11/210 - (-29 + 7350/252). Let v = 2 + -1. Which is smaller: v or d?
d
Let f(c) = 3*c**2 - 118*c + 101. Let n be f(39). Which is bigger: n or 84?
84
Let y be 2*(0 + 1 + (-364)/1). Which is smaller: -725 or y?
y
Let p be 7 - (15 + 1595468/(-199430)). Is p > 1?
False
Let f = 59 - 1. Let s(j) = 66*j - 339. Let x be s(6). Which is greater: f or x?
f
Let v = -4140 - -33057/8. Suppose -17*x = -22*x + 40, 5*x = 3*n + 64. Is v smaller than n?
False
Let o = -284.02 - -284. Let r = 0.32 + o. Is 8 greater than r?
True
Let t = 63 - -46. Let d = -69 + t. Which is bigger: d or 41?
41
Let a be ((-3)/(-6)*0)/(-1). Let s = -4332280 + 121290201/28. Let u = s - -487. Is a > u?
True
Let b = -6671 - -6640. Is b less than or equal to -61?
False
Let w = 50.942 - 51. Let g = -3.295 - -3.095. Which is bigger: w or g?
w
Let o = 1450 + -1372. Which is greater: 2/63 or o?
o
Suppose -3*l = -0*l - 405. Suppose -2*i + v = -i + 42, -3*i - l = 6*v. Which is smaller: i or -39?
i
Let j = 27983 - 27983. Is j less than -22795?
False
Let q = -449 - -464. Suppose q = 4*v + 5*b, -3*v - 9 = -b - 6. Is -2/11 bigger than v?
False
Let k = -6.6 - 4.8. Let x = -11.6 - k. Let r = -0.95 - 0.05. Is x less than r?
False
Let p = 531533/39 + -13626. Which is greater: 4 or p?
4
Let w = 937 + -886. Suppose -39*t = -w*t. Is -2/871 equal to t?
False
Let n be 116/6*498/(-5). Let i = -3601 + 5520. Let k = n + i. Is -6 less than or equal to k?
False
Let q be (-1)/(9/2) + 1292/(-18). Let d be (1160/q - -15)*(-66)/4. Which is bigger: 18 or d?
d
Let y = 22.55 + -22. Let u = 1.56 + -2.01. Let q = y - u. Is 6 greater than or equal to q?
True
Suppose -5*v = x - 25, -2*v = -30*x + 29*x - 3. Suppose -2*c = -c - 4*r - 121, 4*c = v*r + 424. Which is bigger: c or 2/7?
c
Suppose 6*v - 24*v + 518 = -55*v. Let h = 0 - 8. Which is greater: h or v?
h
Let k = 0.3 + 2.2. Let t = k - 2.3. Which is smaller: t or 14?
t
Let u be (-22913)/44 + (-24)/48. Which is greater: u or -521?
-521
Let x = 8 + -8. Let n = -974625/2 - -728046499/1494. Let d = n + -10/9. Which is greater: d or x?
x
Let t(i) = -i**2 - 4*i + 17. 