2. Is 11584 <= u?
True
Let c = 229 + -52. Let w = c + -171. Is 7 less than w?
False
Let x(a) = -a**3 + 50*a**2 - 188*a + 189. Let s be x(46). Which is greater: s or -44?
s
Let p(c) = -14*c**3 - 113*c**2 - 14*c - 46. Let i be p(-8). Which is smaller: i or -52?
-52
Let j be (-4 - -2) + (-26)/(-8). Suppose 3*b - 3*o = -48, 7*b + 80 = 2*b - 2*o. Let i be (-8)/14*56/b. Is j less than or equal to i?
True
Let o be ((-6)/8)/((-358)/(-156088)). Is o at most -335?
False
Let x = -36532 + 36532.08. Let t = -1 - 4. Are x and t non-equal?
True
Let w = 6485 - 1666615/257. Is w equal to -1?
False
Let s = 96589/2 - 487077/10. Which is greater: -414 or s?
s
Suppose 185 - 165 = m + 3*p, 4*m + 3*p = 17. Which is greater: m or -2/777?
-2/777
Let u be -11*(-6870)/(-3300) + -1 + (0 - -1). Is u bigger than -23?
True
Let r = 13 + -12.91. Let g = 3.1919 + -0.0419. Let z = g + -3.15. Which is greater: z or r?
r
Let k be -9*(-4)/(19 + -7). Suppose 0*g = -3*g - k*x - 12, 13 = -4*g - 3*x. Is g at most -210?
False
Suppose -3*p + 26 = -13. Let u = -77 + 83. Suppose -85 + 7 = -u*d. Do p and d have the same value?
True
Suppose 0 = -4*m - l, 0 = -3*m + l + l + 11. Let a be ((-37775)/1400 - -27)/((-4)/10). Is m bigger than a?
True
Let v = 519 + -122. Let h = v - 395.6. Are h and -0.05 unequal?
True
Let o = -1.4 - -1.38. Let p = 12 + -10.8. Is o greater than p?
False
Let z be 876/1022 - 3644/4186. Suppose 2*t = 5*x - 3*x + 4, 4*x - 13 = -3*t. Which is smaller: x or z?
z
Let g be -216 + (-21)/6*60/35. Let t = 155 - 376. Which is bigger: g or t?
t
Let s = -3 - -2. Let i = s + -2. Let j be 122/5917 + (-883)/485. Which is smaller: i or j?
i
Let p(g) = g**2 + 176*g + 5135. Let r be p(-37). Which is smaller: r or 222?
r
Let z be 30/(-15)*(-7 - (-142512)/20360). Which is bigger: 1 or z?
1
Let b = 446554794/19 - 23493736. Let g = b - 9150. Which is greater: g or -2?
-2
Let a = -2025 + 2024.955. Which is greater: a or -9?
a
Let o(p) = 98*p + 118*p + 310 - 289*p. Let x be o(9). Is x not equal to -345?
True
Suppose 4*b + 29 - 41 = 0. Suppose 0*a = 2*a + b*a. Do 2 and a have the same value?
False
Let t be ((-72)/(-14))/(6/(-56)). Let n be (-2)/(((-1)/(-22))/((-24)/t)). Let k(i) = -4*i + 5. Let s be k(7). Which is smaller: s or n?
s
Let f = 8888 - 8994. Which is greater: f or 0?
0
Suppose 21 = 5*k - 4*u, -2*k + 14 + 1 = 5*u. Suppose 2*v = 5*v - g + 2, 3*v + k*g = 10. Are v and 2/33 unequal?
True
Suppose -4*w - 5*n = -5479, -8*w + 2729 = -6*w - n. Suppose -w = -26*y - 4772. Do -131 and y have the same value?
True
Suppose -2*y - g + 68 = g, y + 4*g - 43 = 0. Suppose -3*q - q = -120. Which is greater: q or y?
y
Suppose 2*m - 8*m + 30 = 0. Suppose -m*d + 4*g + 469 = 0, -d - g = -6*d + 481. Let w = d - 20. Is w at least as big as 76?
True
Suppose -2725 + 2729 = l, -3*y = l + 12272. Which is greater: y or -4093?
y
Suppose c - 6 - 4 = 0. Suppose -r + 4*s - s = -10, 2*r = -4*s - c. Suppose 31 = 3*v + 2*v - 2*q, 3*v = -3*q + 27. Are r and v equal?
False
Let q(y) = -y**2 + 2*y + 51. Let s be q(8). Suppose 5*o = 4 + 51. Suppose s*c = -2*g - 43, -2*g - 48 = c - o. Which is greater: -16 or g?
-16
Suppose -3*z = 5*o - 2699 - 1689, -868 = -o - 3*z. Let w be 3 + -7 + o/96. Which is greater: 4 or w?
w
Suppose -3*v = -4*h + 151, -2*h = -v + 37 - 110. Which is bigger: h or 164/5?
h
Let l be 2/(9 + 9190/(-1020)). Which is smaller: -193 or l?
l
Let i be -4 + 3 - 1736/(-1734). Suppose 15*u - 512*n - 21 = -509*n, -u + 3*n + 7 = 0. Which is greater: i or u?
u
Suppose -624*i + 1365 + 21 = -1110. Suppose 0 = 2*w + 3*w - 20. Is i != w?
False
Let q be (-10)/3*-9*(8 + (-546)/105). Which is bigger: 2/43 or q?
q
Let f(h) = 65*h**2 + 128*h - 332. Let x(i) = 23*i**2 + 43*i - 111. Let j(u) = 6*f(u) - 17*x(u). Let o be j(32). Which is greater: o or 52?
o
Suppose -120 = 5*y + 2*f, 4*y + 99 = -2*f + f. Let h = y + 22. Let j be 1 + h + (-2 - -20). Is 15 less than or equal to j?
True
Let c be -1*(246/205)/(2/(-110)). Which is smaller: c or 592/9?
592/9
Let h be (0 - 1/3)/((-5)/90). Let d be -3*60/(-54)*h. Is d greater than or equal to 13?
True
Let r = -10271 + 10271. Which is bigger: r or 2/4373?
2/4373
Suppose x - 2*y = 0, 2*x + 103 = 2*y + 107. Let k(t) = t**3 - 2*t**2 + 2*t - 3. Let l be k(2). Let g = 4 + l. Which is greater: g or x?
g
Let b = -12025 - -12024.852. Which is smaller: -21 or b?
-21
Suppose v + 19 = -5*n, -5*n - 5*v - 9 = 26. Let z be 26/(-6)*(-3)/(-6)*6. Let u = -16 - z. Do u and n have different values?
False
Let s = -50055265/6169 + 8114. Which is smaller: s or 1?
s
Let z be 1481/292 - (-16 - 55/(-5))/(-1). Is z smaller than 0?
False
Let g = 5 - 5.2. Let a = -592.9 - -553. Let j = a + 68.9. Which is bigger: j or g?
j
Let n(b) = 3*b + 15*b - 3*b**2 - 14*b + 2 + 56*b**2. Let l be n(-1). Is l less than 52?
True
Suppose -2645*o + 2513*o - 461604 = 0. Which is greater: o or -3499?
o
Let d = 17887 + -17860. Is -6 < d?
True
Suppose 15*q = 12*q - 18. Let x be q/4 - 114/(-48). Suppose 13 = 4*y + 5*j - 0, 9 = 2*y + 5*j. Is x less than or equal to y?
True
Suppose -2*t + 4*t = -100. Let v be (-1820)/t + 4/10. Let m = v + -37. Which is greater: m or -1?
m
Suppose -5*x - 2*t - 2*t = -441, -182 = -2*x - 3*t. Let z(n) = n**3 + 139*n**2 - 1136*n - 235. Let y be z(8). Is x != y?
False
Let b be (70/(-350))/((-2)/10). Is -84 > b?
False
Suppose 0 = -o, -17 = 2*n - 2*o - 3. Let m be (-35)/n - 9 - -6. Which is greater: 3/2 or m?
m
Let v be -11*(-2)/(-3)*-3. Let w(k) = -21*k**2 + 0*k**3 + 40044 - 23*k + k**3 - 40023. Let p be w(v). Which is smaller: 1/50 or p?
p
Let b(y) = y**2 + 60*y + 751. Let q be b(-38). Does q = -2/3?
False
Let g(t) = -t**3 + t**2 + 2*t + 15. Let l(f) = 22*f - 88. Let b be l(4). Let o be g(b). Do 12 and o have different values?
True
Let j = 3 + 1. Let m(b) = 5*b + 54. Let x be m(-6). Suppose 3*a = 18*r - 15*r - x, -r = a. Is r > j?
False
Suppose 2*c + c - 144 = 0. Let x be (-336)/20*(-15)/6. Let h = c - x. Which is smaller: h or 5?
5
Suppose 10791 + 21969 = 52*l. Which is bigger: l or 628?
l
Let c = -239723 - -3130542659/13059. Is c less than -1?
False
Let u be 10/3 + 16/(-48). Suppose u*y - 153 = -156. Which is smaller: y or 1/64?
y
Suppose 2*x - 189 = -41*x + 16*x. Which is bigger: x or 45?
45
Suppose 0 = l - 1, 2*c - 2*l + 3 = -1. Suppose -2*r + 1044 = -5*z, 11*z + 5*r + 645 = 8*z. Let v be 142/z - 86/(-129). Which is bigger: v or c?
v
Let z be 2 - (399/14)/((-2)/(-8)). Let y = -118 - z. Is -6 > y?
False
Let a(f) = f**2 + 11*f - 8. Let k be a(-12). Suppose k*q - 5 = 5*q, 5*j - 3*q - 30 = 0. Let s be -93*j/(-117) + -1. Which is smaller: s or 2?
s
Let k = 43837 - 58829263/1342. Is k bigger than -1?
True
Let w(f) = 555*f - 1953. Let z be w(-5). Is -4727 equal to z?
False
Let q = 247/261 + -21/29. Let k(p) = -p**2 + 4*p - 3. Let z be (-2)/3*(-54)/12. Let s be k(z). Which is smaller: q or s?
s
Let r(q) = -q**2 + 3*q - 4. Let b be r(5). Suppose -w - 4*w + 45 = 2*u, u - 12 = -w. Suppose -w*y - 16 = -2. Does b = y?
False
Let a be -2 + 2 + (-111)/(-5). Let j(m) = 24*m**2 + 2524*m + 442. Let i be j(-105). Is i >= a?
False
Let a be ((-18)/21)/(4/28*-2). Suppose 4*m = -h + 3, a*m + m = -4*h. Which is bigger: h or -31/24?
h
Let o = -6807334/55 + 123766. Let r = o + 63554/17105. Are 0.1 and r non-equal?
True
Let m be (-47)/(-376) + (-286)/(-16). Suppose 20*w - m*w = 592. Is 296 >= w?
True
Let c(g) = -17*g**2 - 81*g + 616. Let o be c(8). Is o greater than or equal to -1123?
True
Let b be (-1 - -1) + -2 - 84. Let p be -2*1333/(1302/42). Is p != b?
False
Let k = -12/217 - 17107/651. Let i = -38 - -11. Which is bigger: i or k?
k
Suppose 5*w + 10 = 5*l, -7*w = -8*w - 3*l - 6. Let n be w*(-2)/(-16)*(-242)/363. Which is smaller: n or 1/38?
1/38
Suppose 0 = 23*x + 1750 - 1704. Let r = -20 + -164. Which is smaller: r or x?
r
Let z = 3 + 2. Suppose -2*v - 15 = 3*w, 13 + 31 = -z*w + 3*v. Suppose 35 = 8*u - 13*u. Is w != u?
False
Suppose -o + 4 = 4*k, -18*o - 2*k + 2 = -17*o. Is o at most -3/1517?
False
Let l(x) = -4*x**2 - 719*x - 4122. Let z be l(-6). Let j(r) = 11*r + 2. Let u be j(4). Is u at most z?
True
Let w = 61861 + -61859. Let s = -15 + 14.62. Let j = -1.32 + s. Is w > j?
True
Let q be -12*5/20 - (0 - -1)*-2. Which is smaller: -1/937 or q?
q
Let w be 5 - (-115)/(-25) - (-46668)/(-20). Which is bigger: w or -2331?
-2331
Su