= -38607/7 + 5525. Is i at least l?
False
Let z = 98869/38 + -2602. Suppose -5*j - 9 - 11 = 0, -j = -3*v + 1. Is v at least as big as z?
False
Suppose 0 = -9*i - 0*i + 36, -c + 5*i - 465 = 0. Is -2231/5 > c?
False
Suppose 26*a + 53*a - 9555 - 155318 = 0. Is 2087 bigger than a?
False
Let a = -3792/5 - -755. Suppose 24*t = -4 + 100. Suppose 5*j + 21 = t*n - 5, -5*n + 12 = 4*j. Is a not equal to j?
True
Let o = -1 + 2. Let s be (1639/363 + -4)*(-855)/55 + 8. Is s smaller than o?
True
Let t = 922 + -921.9738. Let n = 23.0262 - t. Are n and 6 non-equal?
True
Let o = 0.021 + -45.021. Let z = o - -46. Is -4/27 greater than z?
False
Let y = 25 + -25. Suppose y = 7*j - 2*j + 5. Let m be (-3)/6 + (-27)/(-52). Does j = m?
False
Suppose 137*b - 1300 = 117*b. Suppose 8*u - 4*u - 257 = -f, -4*f = u - 53. Is b less than or equal to u?
True
Suppose -3*p + 3*u - 11 = 61, -4*p - 2*u = 84. Let h = -7 - 16. Let g = -45 - h. Is g less than p?
False
Let m(h) = -h**3 - 29*h**2 - 99*h - 1941. Let r be m(-28). Is 36 smaller than r?
True
Let i be (7/((-35)/(-10)))/(2/(-6)). Let n(q) = 9*q + 68. Let h be n(i). Which is bigger: 0.2 or h?
h
Let u = 3748 - 3660. Is u less than 88?
False
Let i be ((-4)/2056)/((-1)/(-2)). Let j be (2 - 0) + (-7953)/3598. Let f = i + j. Is 0 at least as big as f?
True
Suppose 0 = -53*k + 49*k + 8. Let i be (-2 + k + 0)*(2 + -3). Which is greater: -2/77 or i?
i
Let h = 37.2 - 37. Let l = 54 + -57. Let w = -20 + l. Is w at least as big as h?
False
Let a = -224 - -220. Let l be 57/162 - (a - (-18)/4). Is 1 less than or equal to l?
False
Let d = -2 + 1. Let q be -36 + 100791*(-18)/(-50382). Which is smaller: q or d?
d
Let u = 0.2 + 28.8. Let c be 3 - (6/(-6) - 3). Let a be ((-7 + 7)/c)/3. Is u bigger than a?
True
Let q = -7025 + 7011. Suppose -s + 2*r - r - 1 = 0, -5*s = 3*r - 35. Suppose -2*g + s = 32. Is g at least as big as q?
True
Let h(j) be the third derivative of j**4/24 - j**3/3 + 36*j**2. Let k be h(1). Let c = 28 + -28.051. Which is smaller: k or c?
k
Let a = -9.85 - 153.75. Let z = a + 164. Let y = -1.1 + 1.2. Which is smaller: z or y?
y
Let k = -69 + 74. Suppose 2*f + 8 = 0, -k*d + 6720 = -7*d - 3*f. Let w be 2/(-6) + 0 + (-946)/d. Is 0 at least w?
True
Let g = 15 - 11. Suppose -9 + 49 = g*o. Suppose -6*l + o*l = 0. Which is smaller: l or 3?
l
Let u(y) = -4*y. Let f be u(3). Let q(t) = 4*t - 4. Let s be q(2). Suppose -3*g + s*v - 28 = 0, -3*g + v = 2*g + 58. Is g > f?
False
Suppose 3*d + 38 = l + 40, -4*l = 2*d - 6. Does d = 2/3703?
False
Let y(h) = -2*h**3 - 142*h**2 + 293*h - 9. Let n be y(-73). Let r(g) = g**2 - 20*g. Let j be r(14). Is n greater than or equal to j?
True
Let j be ((-15)/1)/(44 - 45). Let k(b) = b**2 - 13*b - 31. Let d be k(j). Is d less than or equal to -9/116?
True
Let m = -3137 - -2905. Which is smaller: m or 2?
m
Let c = 8 + -5. Let h be 2/((1 - c) + 0). Let u(r) = 2*r**3 - r**2 + 1. Let y be u(h). Which is greater: 4 or y?
4
Let n = -8143 + 8142. Let f = -54.091 - -0.091. Is n > f?
True
Suppose 3*y - 348 = -n - 2*n, 5 = 5*y. Let q = n - 41. Let a = q + -42. Does a = -0.1?
False
Let j = 18.6 - 0.6. Let t = -17.69 + j. Let n = -0.34 + t. Are n and -2 nonequal?
True
Let m be (8/(-3) + 2)*66/(-44). Which is greater: 1.189 or m?
1.189
Let m = -44273/285 - -466/3. Let q be 13/33 - (31 - (-8256)/(-264)). Is m less than q?
True
Suppose 0 = 124*k + 142816 - 1028424. Is 7140 less than k?
True
Let z = -1434 + 1420. Let r be ((-234)/(-24) + -5)*2*-2. Does z = r?
False
Let w(k) = 4*k + 5. Let t be w(-2). Let f be (-2)/6*t - 2. Let m = -467 + 21951/47. Is m bigger than f?
True
Let v = 8547.2 - 8559.2. Let o = -0.1 + 0.7. Which is bigger: v or o?
o
Suppose d + 5*h = -2*d - 16, -4*h = 8. Let n(f) = 21*f - 11. Let c be n(d). Let q = 71 + c. Which is greater: 20 or q?
20
Let p = 25.016 - 0.016. Let k = p - 25.1. Let j = 24 + -24.17. Is k equal to j?
False
Let f = -245.5 - 1080.7. Which is smaller: -2 or f?
f
Let v(f) = 10*f - 27. Let s be v(3). Suppose -5 = 5*w - s*d, 11*w = 6*w - 2*d + 20. Suppose -29 = -h + w. Is h greater than -0.1?
True
Let x(b) = -16*b - 6. Let a be x(-2). Let i be (8/((-168)/35))/(a/(-3174)). Let c = i - 203. Which is bigger: c or -1?
c
Suppose -3*a = -8*a + 20, 5*o + 10 = 5*a. Suppose -5*m - 3*v = 318, -m + 0*v - o*v - 65 = 0. Let f = m + 63. Is 1/36 >= f?
True
Let r = 76 - 381/5. Let h = 3331284983/106321746335 - -6/5773649. Let y = h - -2/635. Which is smaller: r or y?
r
Let v(n) = -n**2 + 7*n - 7. Let p be v(6). Let m be (24/(-9))/((-20)/(-426)). Let y = m - -57. Are p and y non-equal?
True
Suppose -2*u + 182 = b - 38, -2*u + 240 = -4*b. Suppose 6*x - 678 = -0*x. Which is bigger: x or u?
x
Let o = -229 + 231. Suppose -o*d - 2*q = 8, 2*d + 4*q = -q - 20. Do 2/41 and d have the same value?
False
Let k be ((-6)/4)/(6*(-4)/64). Suppose -4*m - 15 = 26*t - 25*t, -m = k*t. Which is smaller: t or 2/17?
2/17
Let o = 4220 + -4220. Which is smaller: o or 1997?
o
Let f = -73 + 78. Suppose -a = -f*c + 10, 0 = 7*c - 4*c - 2*a - 13. Which is smaller: c or -2/33?
-2/33
Suppose 3*y - 34 + 1 = 3*t, -4*t + 1 = 5*y. Let w = t - -10. Suppose -2*f + 4*f + 5*q + 28 = 0, 0 = 4*f - w*q + 56. Is -12 > f?
True
Let b be 2/((-2)/3 - 0). Let z be ((-1842)/5)/((-12)/90). Suppose -z*d + 2774*d = -11. Which is bigger: b or d?
d
Let d be -4 + (-10)/7*7. Which is bigger: -214/17 or d?
-214/17
Let n(o) = o**2 + 9*o + 8. Let s be n(-8). Let c be (3/6)/(s + 0 - -1). Let d be ((-10)/6)/((-8)/(-12)). Do c and d have different values?
True
Let z = 131 + -68. Let a = 8948 + -8948. Is a != z?
True
Let h(n) be the third derivative of -1/4*n**4 - 7/60*n**5 + 0*n + 28*n**2 + 0 + 0*n**3. Let l be h(2). Is l <= -42?
False
Let y(h) be the first derivative of -h**4/4 + 4*h**3 - 21*h**2/2 + 15*h + 17. Let j be y(10). Suppose j = p, r + 0*p + p = 25. Which is greater: r or 2/9?
r
Let a be (0 - (-48)/(-40))/((-9)/(-30)) - -55. Which is greater: a or -21?
a
Let b = -1321.2 - -1324.2. Let o = -2.9 + 1. Which is smaller: b or o?
o
Let p = 0.0455 + -0.4455. Let k = 0.35 - -0.08. Is k >= p?
True
Suppose -2*w - 25174 + 25150 = 0. Let o(p) = 6*p - 3. Let c be o(-4). Let s be c/2 + 2/8. Is w < s?
False
Let h(k) = -k**2 + 33*k + 35. Suppose l + 122 - 134 = 0. Let d be h(l). Which is smaller: d or 285?
285
Let x = 504507 - 504575. Let p be (-2)/(-4) + (-278)/4. Which is smaller: x or p?
p
Let u(v) = -v**2 - 26*v - 49. Let r be u(-13). Let l = -141 + r. Let c be (-25 - -2 - -2) + 0. Is c <= l?
True
Let m be ((-51)/(-34))/((-6)/(-32)). Suppose 4*n - m*n = -16. Suppose n*r - 36 = 12. Is r != -1/2?
True
Let f = 1 + 174. Suppose 2*q + 3*q + f = 0. Let c(a) = -12*a + 60. Let w be c(8). Which is bigger: w or q?
q
Let v = 1.81 - -0.19. Let g = -1363 - -1489. Is g greater than or equal to v?
True
Let n(p) = 8*p - 46. Let w be n(13). Suppose -5*v = 10, -3*v - w = 5*k + v. Let q be (-3)/(75/k + -3). Does q = 1?
False
Let v be -4 + (-3*2 - (-1368)/133). Is v greater than or equal to 0.14?
True
Let h = -22.67 + 4.07. Let z = h - -16.6. Is -41 < z?
True
Suppose 0 = -2*t + 4*t - 6. Suppose 0 = -8*c + t*c + 430. Let n = 66 - c. Which is smaller: n or -22?
-22
Let p = -1612 - -1644.06. Let r = -32.42 + 0.42. Let y = p + r. Which is smaller: y or 0.2?
y
Let v = 7031 - 2749120/391. Which is bigger: -1/4 or v?
v
Let k be 729/(-4131)*1/9. Let y be 2/4 - (-2)/4. Which is smaller: y or k?
k
Suppose b = 17*b - 416. Let i = b - 107/4. Which is greater: -21 or i?
i
Suppose -520 = 4*q - 5*j, 2*j + 2*j + 556 = -4*q. Let z = q + 1205/9. Suppose 0*y + 20 = 5*y, 0 = -5*h - y + 4. Which is smaller: z or h?
z
Suppose 277*k - 266*k = 0. Suppose k = -120*z + 112*z - 1000. Is z not equal to -128?
True
Let x = 634 + -634.777. Is x < 2?
True
Let i = -1.7388 - 29.2612. Is -188 > i?
False
Let u = -257 - -253. Let n be 7/(-221)*-126 + u + 0. Is n at least as big as -1?
True
Suppose -4*s + 3*t - 1 = -3, -4*t - 8 = 0. Let r = -736/3199 + -22040/69921. Let k = r + 12/119. Is k bigger than s?
True
Let k = -30 + 123. Let g = k - 101. Which is smaller: -7 or g?
g
Let m be (-10)/(-7)*(-14 - -21). Suppose 3*b = t + m, 2*t - 3*b = -1 - 4. Which is smaller: 6 or t?
t
Let q = 2316 + -2316. Which is bigger: -29/20 or q?
q
Let u = 0.216 + -2.329. Which is greater: -0.3 or u?
-0.3
Suppose 33*f = 54*f. Which is gr