et d be (7/(-84)*45)/(3/1512). Is -1889 less than or equal to d?
False
Let s = 84 - 238/3. Let a be (-72)/8 + (-70)/(-5). Which is smaller: s or a?
s
Let h be (1 + 1)*(4 + -5). Let x be ((-6)/h)/(10/10). Suppose -2*d + l = 3, -4*l - l = x*d - 2. Is 1/14 at most as big as d?
False
Let s be -7*((-2)/(-16) + (-2145)/2184). Let a be (-3 - -1)/1 - 2. Let k be (1 + 3)*(-5)/a. Which is bigger: k or s?
s
Let j = 677 - 677.27. Let u be (1/(-4))/((-6)/(-8)). Is j != u?
True
Let o = -9 + -35. Suppose r + 298 = -5*i + 75, 4*r + 56 = -i. Are o and i equal?
True
Let q be 15/(-45) - (-11)/87. Let r = -16 - -29. Let d = 13 - r. Is q <= d?
True
Suppose 0 = 4*s + 2*g + 20, 3*g + 8 + 10 = -4*s. Let b be ((5 - 1) + -2)/s. Which is greater: 1 or b?
1
Let p be 216/(-252)*7/(-1). Let s be 7/(((-1)/(-9))/(p/27)). Is 66/5 greater than s?
False
Let j = -17.1 + 7.9. Let y = 8.3 - -0.7. Let z = j + y. Which is bigger: -6 or z?
z
Let k = -349/21 + 49/3. Let q = -22.26 + -2.74. Is q >= k?
False
Let m(r) = 3*r - 18. Let u be m(6). Suppose -4*y - y = u. Which is greater: -1/4 or y?
y
Let a = -7 + 6. Let t be a + -1 - (-24)/32. Is t >= -2?
True
Let y be (-15)/(-18)*((-98)/(-10))/(-7). Which is smaller: -1 or y?
y
Suppose -714 = -4*q + 154. Let r be (-2)/(-6) + q/(-21). Let s(o) = -2*o**3 + 3*o**2 - 2*o - 1. Let b be s(2). Which is smaller: r or b?
r
Let k(n) = n**2 + 8*n + 3. Let l be k(-4). Let v = 1 - l. Let w(j) = -2*j - 2. Let g be w(v). Is -30 <= g?
True
Let b = 175.7 - 176. Which is greater: b or -6?
b
Let r = -7 + 10.05. Let p = -3 + 6. Let y = p - r. Which is smaller: y or -3?
-3
Suppose -3 = o - 4*o. Suppose 5*p = -j + 15, 2*p = 5*p - j - 9. Let m be 0 + p/(-9)*5/25. Is o less than m?
False
Let l be 12/15*2/5. Let h = l - -27/25. Do h and 0 have different values?
True
Let f = 396.41 - 397.41. Let w = 3 + -3.048. Let g = w + 22.048. Which is greater: f or g?
g
Let g = 565 - 461. Is 104 > g?
False
Let g = 90 - 32. Let i = 59 - g. Are i and -0.17 unequal?
True
Let x be (11 - 1) + -2 + -2. Suppose 21*g - 5*g - 144 = 0. Is g bigger than x?
True
Suppose 14*f = 2*f + 120. Let d be ((-1)/2)/(5/f). Which is bigger: d or 1/30?
1/30
Suppose -5*p = -7*p + 4*i + 8, -5*p = -4*i + 4. Which is smaller: p or 3?
p
Let q(n) = n**2 - 4*n + 1. Let w be q(4). Suppose 39*l + 86 = 37*l. Let m = l - -44. Is m less than or equal to w?
True
Let o(c) = c**2 - c. Let a be o(1). Let h be a + 0 + -20 + -1. Let n be h/(-7) + 46/(-14). Is 2/13 at most n?
False
Let w = 268 + -267.96. Which is bigger: w or -85?
w
Let f = 3.32 - 7.92. Which is bigger: -13 or f?
f
Let i(q) = -q**2 + 12*q - 37. Let m be i(12). Which is smaller: -39 or m?
-39
Let k = -0.098 + -0.032. Let c = k + 0.04. Are -3 and c non-equal?
True
Let p = -1239 - -1266. Suppose -188 + 72 = -4*l. Let m = l - p. Are 18/7 and m non-equal?
True
Let d = 9 + -7. Suppose 4*j = -12, -n + 4*j + 32 = -d*n. Let g be 4/14 - n/(-119). Which is bigger: g or 0?
g
Let v = -368 + 517. Let a = 299/2 - v. Which is smaller: 2 or a?
a
Suppose 2*q + 36 = 48. Let y(d) = 0 + 2 - 4 + d. Let v be y(6). Which is smaller: q or v?
v
Let n = -4660/327 - 9/109. Let c(k) = k**3 + 3*k**2 - k - 2. Let i be c(-4). Let h = i - n. Is 0.1 greater than h?
False
Suppose 18*b + 21*b = 42*b. Let z be 137/33 + 1/(-3). Let x = 199/55 - z. Is b equal to x?
False
Let t = 2.5 - 8.5. Are -1 and t unequal?
True
Let j(g) = -20*g**2 + 2*g - 4. Let m be j(1). Which is smaller: -21 or m?
m
Let c be (-3)/45*(-29305)/515. Let n = c + 2/309. Do 3 and n have different values?
True
Let b = -413 + 418. Which is bigger: 15/4 or b?
b
Let g = 87 - 99. Which is greater: -2 or g?
-2
Let a be -1 + -9 - (-6 - -2). Suppose 3*c = -c + 24. Suppose -j = 1 + c. Which is bigger: a or j?
a
Suppose -d - 4*d = -85. Suppose -3*q + d + 1 = 0. Let f = 6 + -2. Which is bigger: f or q?
q
Let f = -419 - -379. Is f at least as big as -34?
False
Let q = 0.28 + -0.29. Let x = q + 5.01. Is x greater than -2?
True
Let g = -2 - -4. Let f(k) = k**2 + 6*k - 95. Let d be f(-14). Is g at least d?
False
Suppose 0 = i - 4*a + 1, 5*i + 2*a + 12 = 29. Let q = 10 - i. Suppose -x - x + 3*r + 18 = 0, 5*x - 45 = -4*r. Which is smaller: x or q?
q
Let v be 1 + 5 - 15/(15/8). Is v greater than 2/139?
False
Let h = -34 - -46. Suppose 0 = -4*i - i - 100. Let d = 31 + i. Is h > d?
True
Let z = -7960/7 - -1138. Is z > -16?
True
Let h = -183 + 119. Let c = -257/4 - h. Which is bigger: c or 0.1?
0.1
Let k(d) = -d**3 + 11*d**2 - 22*d + 11. Let s(x) = -x**2 - 10*x - 16. Let w be s(-5). Let l be k(w). Is -25 > l?
False
Let y be (-3 + -3)/(3 - 2). Let c be 3 + (-6)/8*-4. Suppose -c*z = -5*z + 5. Are z and y equal?
False
Suppose 2*d - 3 = n - 2, -4*d = 5*n - 37. Let k(x) be the first derivative of -2*x**2 - 44*x + 16. Let l be k(-12). Which is smaller: l or d?
d
Let p(w) = w**2 + 17*w - 23. Let n be p(-8). Let l be (-1)/(-6) - (n/6 - 0). Is 16 equal to l?
True
Suppose -5*u - 32*g + 157 = -33*g, -2*u - 4*g + 76 = 0. Which is smaller: 33 or u?
u
Let y(b) = -39*b - 1. Let o be y(-1). Let z = 23 - o. Suppose -2*m + 4*m = -5*w - 83, -2*w + 2*m = 22. Is w less than z?
False
Suppose 0 = -4*j - 2*p - 96, 3*j - 2*p = j - 42. Let x = 24 + j. Which is smaller: x or 2/39?
2/39
Let h = 9 - 8. Let c(q) = -q**3 + 6*q**2 + 1. Let w be c(6). Let o be 16/4*w/(-78). Is o != h?
True
Let f = 2 + -2. Let c = f - 0.1. Let y = -2614/5 - -522. Which is greater: c or y?
c
Let m(v) = 3*v**2 - 9*v + 9. Let y(o) = 13*o**2 - 36*o + 36. Let g(i) = -9*m(i) + 2*y(i). Let z be g(4). Is z greater than 11?
False
Let f = 1 - -2. Suppose -3*v - 9 = -3*l, -v + 0*v + f = 5*l. Is 0 equal to l?
False
Suppose 6 = 3*a - a. Let p be (-2 + a)*(-3)/3. Is 1/68 < p?
False
Let n(c) = c**2 + 23*c - 23. Let u be n(-24). Let d = 425/164 - 14/41. Is d >= u?
True
Let m be -45 - (-4 + (-24)/8). Do m and -34 have the same value?
False
Let h = -1 - -0.9. Let k = 0.1 - h. Let w = 15 + -14. Which is greater: k or w?
w
Let h = 24 + -27. Let p be -7 - h - (3 - 9). Let c = 3 + -2. Is c <= p?
True
Let u = -0.03 + 5.33. Let j = -5 + u. Which is bigger: j or 4?
4
Suppose -7 = -8*k + 9. Let l be -1 + 0 + (-5)/(-1). Suppose i - 3 = -l*p, -2*p - 1 - k = 5*i. Are i and -1/4 nonequal?
True
Let q = 833 - 825. Let x(c) = 6*c**3 + c**2. Let b be x(1). Which is greater: b or q?
q
Let z be 1404/(-400) - (-21)/6. Which is smaller: 0 or z?
z
Let b = 132.9 + -133. Does b = -25?
False
Let c = -25579/48 - -533. Which is smaller: c or 2/3?
c
Suppose t + 5 = -1. Suppose 0*w - 5*w - 35 = 0. Let m = w - t. Which is bigger: m or 2/33?
2/33
Let v be (-4302)/66 + 4/22. Let c be (-3)/1 + (-273)/v. Let g = 0 + 0. Is c smaller than g?
False
Let q = -104 - -103.917. Which is smaller: q or 0.2?
q
Let m = 935 - 892. Which is bigger: m or 51?
51
Let u = -776711/30 - -25887. Let a be (2*-1)/((-24)/(-50)). Let d = u - a. Is d <= -0.2?
False
Let y = 31 - 19. Let f be 4/(-3) + -4*78/(-72). Suppose d = f*r - 3*d - 56, -2*d - 22 = -r. Is y > r?
False
Suppose p - 2*a = 6*p + 14, p - 8 = 5*a. Let y be 26/(-21) - (-6)/9. Which is bigger: y or p?
y
Let l = -550443/139 - -3960. Are l and 0 equal?
False
Let n = -78 + 43. Let q be n/(-2) + 3/(-2). Which is greater: q or 14?
q
Suppose -4*t = -4, 3*m + 3*t - 15 = -39. Is 0 equal to m?
False
Suppose 268 = 2*t - 2*o - 40, 2*t + 2*o - 300 = 0. Which is smaller: t or 153?
t
Let h = -474 - -399. Is h greater than -75?
False
Suppose 14*n - 711 = 5*n. Suppose n - 75 = -4*r. Is r at most -1/10?
True
Let b be 7 + 1703/(-247) + 306/(-19). Suppose 0 = -2*o + 6*o + 60. Is b bigger than o?
False
Let l = -103984/40959 + -2/1107. Let s = l - -4526/1665. Let r = 193/180 + s. Is 2 smaller than r?
False
Let h be (2/888)/(10/14980). Let d = 3/74 - h. Which is bigger: d or -1?
-1
Let l = -125 - -124.6. Let b = -6 - -7. Is b equal to l?
False
Let n(r) = -r**2 + 62*r - 921. Let y be n(36). Suppose 3*v - 2*i = -2*v + 133, -13 = -v - 3*i. Let x = -10 + v. Is y greater than x?
False
Suppose 2*i = 5*i + 117. Which is greater: i or -36?
-36
Let x = -285/4 + 69. Let n = x + 47/4. Suppose -28 - 5 = -3*u. Is u at least n?
True
Let m be ((-2)/(16/1448))/1. Is -182 < m?
True
Let f = -33 + 42. Let z = f + -7.5. Let r = z + -0.5. Is r less than or equal to 1/8?
False
Suppose -3*x - 3*s = -63, s = 4*x - 6*x + 46. Is 25 less than x?
False