-16
Let q = 2216 - 77554/35. Let h = q - -3/7. Which is greater: h or -2/9?
h
Let i = -1353338/7963551 - 86/11763. Does 1 = i?
False
Let y = -686/9 - -76. Suppose -2*f - 10 = -p, -4*f = 4*p - 8*f - 44. Suppose -3 = -z, -3*w - p = -4*z + z. Are w and y non-equal?
True
Let p = -14134 - -8944. Let t be 5*(-3)/p*4. Let a(j) = j**2 - j - 2. Let q be a(2). Which is greater: t or q?
t
Let l(c) = -2*c + 135 - 2*c - 67 + c - 14*c. Let y be l(4). Which is greater: y or 4/663?
4/663
Let z = -522/1267 + -3/181. Let t be 2/(-6)*-40*72/10. Let q = t + -96. Is q < z?
False
Let c(u) = 2*u**2 + 14*u + 2. Let v be c(-7). Let y be -5 + 3 - (-3 + v/3). Do y and 94 have the same value?
False
Suppose 8 + 0 = 2*v. Let r be (27 - v) + (2 - 5). Does r = 1?
False
Let u = 1446 - 7231/5. Let i(n) = -n**3 - 7*n**2 + 7*n - 6. Let x be i(-8). Suppose 0 = 2*b + 2*z - 5*z + 2, b + x*z = -1. Which is smaller: b or u?
b
Suppose -d - 20*d - 20869 = 2756. Which is greater: d or 0?
0
Suppose 2*b - 42 = -3*c - c, 5*b + 5*c - 115 = 0. Suppose -b = -5*j, 5*w = j - 14 - 91. Let g be (-172)/(-5) - (-8)/w. Is g less than or equal to 35?
True
Let f(k) = k**3 - 3*k**2 - 16*k + 7. Let y be f(6). Suppose 2*x - y*x = 0. Is -5/144 >= x?
False
Let b be (-4)/22 - (-11)/(605/(-7965)). Let i = 226 + b. Is i less than 79?
False
Let j(i) = 10 + 58*i**2 - 57*i**2 + 144 - 26*i + 4*i - 21*i. Let c be j(4). Is -17/10 at least c?
True
Let t = -15 - -8. Let g(u) = u - 9. Let k be g(t). Let s be (18/21)/(-10 - (-73)/7). Which is greater: s or k?
s
Suppose -27 = -15*r + 18. Suppose p + i = -0*p - 37, -i = -r*p - 111. Let f = 42 + p. Is f at most as big as 5?
True
Let g(c) = 113*c**2 + 5*c - 2. Let l be g(3). Let j = 18545/18 - l. Let i(u) = 4*u**2 + 38*u - 21. Let t be i(-10). Which is smaller: j or t?
t
Let m = 54.5 + -325.5. Let r = m - -268.9. Is r equal to 0.1?
False
Let i(t) = -t**3 + 17*t**2 + 2*t - 290. Let m be i(19). Which is smaller: -976 or m?
-976
Let d = 88 + -88. Suppose d = -19*p + p + 558. Let f be (-2 + 1)*1*-31. Is f less than p?
False
Let g = 177 - 179. Let m be (-2 - 2)/g*(-12)/16. Which is smaller: -3 or m?
-3
Let k = 22 - -196. Suppose a + 0*a = k. Is a greater than 217?
True
Let h be (-5)/20 + (-4036)/(-16). Let a be (-576)/h - -1*(-2)/(-7). Let i = 7 + a. Which is greater: i or 6?
6
Suppose 0 = 91*d + 3293 + 280354. Are d and -3118 non-equal?
True
Let v = -7434 - -7436. Which is smaller: -104/49 or v?
-104/49
Let o = -2090 + 2111.017. Let y = -0.037 + 0.02. Let d = y + o. Are d and 1/3 equal?
False
Suppose 0 = 4*s - 5*a - 1554, -9*a - 392 = -s - 6*a. Let g = 387 - s. Is g > -1/30?
True
Let a = -10 - -5. Suppose -5*j - 470 = 5*p, -4*j + 4*p + 106 = -5*j. Let v = j - -84. Which is smaller: v or a?
v
Let k(o) = -o**3 + 13*o**2 + 3*o - 52. Let h be k(13). Let v be (-18)/6*h/(-936). Suppose 4*i = -0*i + 4. Which is bigger: v or i?
i
Let y(z) = -z**2 + 21*z + 8. Let i be y(9). Suppose 2*f = -m + 92, -5*m = 2*f - 757 + 297. Let p = m - i. Is p > -23?
False
Let d be ((-2)/(-7) + (111/(-21) - -4))*1. Is -2/2017 at most as big as d?
False
Suppose 0 = -3*r - 2*c - 444, 39*r - 9*c + 327 = 37*r. Is -142 smaller than r?
False
Let i = 15.06 + -15. Let c = 171.7 + -181. Let v = c + 9.3. Which is smaller: i or v?
v
Suppose g = 672 + 76. Let m = g - 1511. Let j = 9161/12 + m. Is -1 at most as big as j?
True
Suppose 0 = 8*d - 0*d + 824. Let s = d + 103. Suppose 0 = 4*a + 2*u - 14, a + 4*a - u - 7 = s. Which is smaller: a or 11/6?
11/6
Let m = -13 + 10. Let p be ((2/(-8))/((-11)/6))/(6/(-8)). Which is smaller: m or p?
m
Suppose 8 = -4*i, -c + 4*i = c - 8. Suppose -330*p + 321*p + 9 = c. Is -3/11 greater than or equal to p?
False
Let c = 0.02748 - -0.47252. Let r = -4.5 + 13.5. Which is bigger: r or c?
r
Let k be 96/42 - 12 - -10. Do 295 and k have the same value?
False
Let h(k) = -k**3 + 4*k**2 + k - 8. Let w be h(2). Suppose 0 = w*c - 7*m + 3*m - 20, 5*c - 14 = m. Which is smaller: c or 25/14?
25/14
Let k = 34.5104 + -6.8714. Let a = k - -0.061. Let u = -28 + a. Is 2/17 >= u?
True
Suppose -33*k + 2*v = -38*k + 17860, 7*k = v + 25004. Is k less than or equal to 0?
False
Suppose 55*k - 57*k - 23 = r, 0 = 3*r + 4*k + 69. Let m = r + 23. Is -1/292 >= m?
False
Let w = -35405 - -35404.8. Is w greater than 3058?
False
Suppose -17*g + 275 = -2955. Suppose g = -4*w - 118. Suppose 0 = 9*s - 7*s + 152. Is w greater than or equal to s?
False
Let o = -15 + 13.8. Let z = -1.18 - o. Let m = 0.006 - 8.006. Which is bigger: m or z?
z
Let b be ((-6630)/(-1656) + -4)*3738/(-9). Let c = b + 1/207. Are c and -0.26 non-equal?
True
Let s(i) = 11*i - 129. Let n(v) = v**3 - 8*v**2 + 7*v + 15. Let y be n(7). Let a be s(y). Suppose 2*m - 5*b = 87, 5*m - 2*b - 3*b - 195 = 0. Is a at most m?
True
Let j(h) = -h**2 - 50*h - 48. Let t be j(-49). Let m = 6 - 1. Let q be -7 + m - 5/t. Is q not equal to -7?
False
Suppose -2 = -2*g + 2*h, -4*g - 3*h = -37 - 2. Suppose -3*i - 2 = j, 3*i - 3*j = -0*i - g. Let a = 29129 - 1019517/35. Which is bigger: i or a?
a
Let b = 64 - 61. Suppose -b*y + 256 = 280. Which is greater: y or -10?
y
Suppose -7*o = -7 - 7. Let m be (9 + 4260/(-468))/(o/3). Is m at least as big as 2/3?
False
Let j be 1344/427 + -12 + 9. Which is bigger: j or -1?
j
Let t(q) = q**3 - 5*q**2 + 3*q + 2. Let n be t(2). Let l be (8/5)/(5/(-75)). Which is greater: l or n?
n
Let o be 3/(6/8) + -39*1. Let j(b) be the second derivative of -5*b**4/12 - b**3/3 + 3*b**2/2 - 2*b. Let d be j(-3). Is o > d?
True
Suppose 4*o + 1 = -7. Let x be 54*602/(-1064) + 30. Is x less than o?
False
Let l be 704/(-264)*15/(-940). Is l bigger than -158/3?
True
Let a(x) = -2 - 11 - 3*x**2 - 34*x + 29*x. Let c be a(-3). Suppose 0*q = 2*q + 50. Is c at most q?
True
Suppose -3*x + 2*l + 346 = 0, 333 = 2*x + 4*l + 113. Are 2142/19 and x nonequal?
True
Suppose -94 = 49*w - 2*w. Which is greater: w or -108/35?
w
Suppose -118*b + 20736 = -150*b. Do b and -3243/5 have different values?
True
Let w = -79326943976815817/485616 - -163353233783. Let g = 2/10117 - w. Is g smaller than 0?
False
Let m = -4.042 + 0.042. Let a = 7 + m. Is a less than or equal to -3/28?
False
Suppose 6505 = -19*u - 7498. Which is smaller: u or -736?
u
Let s(c) = -114*c + 228. Let q be s(2). Which is bigger: -7/975 or q?
q
Let j(v) = -v**3 + 7*v**2 + 17*v + 19. Let p be j(9). Let r be 3*p/(-15) - 19. Suppose -5*a - 2*f - 104 = 0, 8*f - 103 = 4*a + 3*f. Which is greater: a or r?
r
Suppose -d - 4*q - 241 - 331 = 0, 2*q - 566 = d. Let v be d/(-417) - 192/144. Is 0 at least v?
False
Suppose -275*z - 120351 = 20999. Is z less than or equal to -3?
True
Let l = 103.95 - -0.05. Let a = 60 - l. Let g = -44 - a. Which is bigger: g or 7/4?
7/4
Let h be (-1 - -3) + 2 + 83. Let c = -47431 + 47516. Which is greater: h or c?
h
Let x = 390 - 892. Let g = x + 464. Is -0.3 >= g?
True
Let c = 7.5 + -10.15. Let p = -2.3 - c. Let z = p + -0.4. Which is smaller: z or -0.4?
-0.4
Let y = 17644 + -17633. Let u be (-2312)/(-180) - 6/15. Which is smaller: u or y?
y
Suppose 0 = -2*o - 2*s + 4*s + 1040, 4*o = 2*s + 2074. Let v be 18490/36 + 4/18. Let j = o - v. Is j smaller than 3?
False
Let r = 231.7 - 232.9. Which is smaller: r or -3/14?
r
Let k be (-4)/6 - 20/15. Let a be ((-18)/k)/((-2)/(-8)). Let m be -5 - ((14 - 16) + -38). Which is smaller: m or a?
m
Suppose 22*k = 1906 + 790 - 430. Which is smaller: k or 93?
93
Let w = -15 + 53. Let t = w - 1. Let x = -1384 + 1420. Which is smaller: x or t?
x
Suppose 6*z - 90 + 234 = 0. Let i = 27 - 49. Which is bigger: i or z?
i
Let d = 15.4 - 11.9. Let o = 53.5 - d. Let p = o - 46.3. Is p at most as big as -2?
False
Let c = 20763 - 20761. Is c greater than 135/43?
False
Let w = 3/172 + 403/1548. Let k = -5/12 + w. Let s(b) = b**3 + b**2 - b + 3. Let o be s(-2). Is o equal to k?
False
Let m = 293/2 + -5569/38. Which is greater: m or 82?
82
Let q(p) = -p**2 + 5*p. Let g be q(5). Let y = 188/1823 + -33441/200530. Is y <= g?
True
Suppose 3*k - 15 = -6. Let w be -3 - k/39*1987. Let i = -156 - w. Which is bigger: i or -8?
i
Let k be 5 - 8 - 1/(-1). Let m be (0 + k - -2)/1. Let s = 37/3 + -12. Is m >= s?
False
Let d = 1780 - 1795. Is -18 equal to d?
False
Let d be (6/(-2))/(((-45)/2)/5). Let k be 1/((-5)/(-10)) - -5. Is d < k?
True
Suppose 0 = -3*c + 2*t + 1, 3*t = -5*c - 0*c + 8