 is smaller: u or -10?
u
Let f = -29.62 + -26.38. Is f greater than 0.66?
False
Suppose 5*b + 5*f = 115, -378*b + 372*b + 132 = 4*f. Is 106 > b?
True
Let r = 156.17 - -28.33. Is 1/5 < r?
True
Let b be (-1)/(286/72 + -4). Suppose -12*j + 302 = 50. Let n = 57 - j. Is b >= n?
True
Let p = 110 + -188. Let v = p + 66.5. Let c = 11.1 + v. Which is smaller: -0.5 or c?
-0.5
Let g = 13737 - 508267/37. Which is bigger: g or -108/7?
g
Let m = 290 + -125. Let x be (-819)/m + 7 + -2. Is x < 0.2?
True
Let s be (-5)/2*96/(-40). Let i be s/(-195)*35/(-511)*1. Is 1 at most as big as i?
False
Let j be 5571/(-27) + (-4)/6 + -5. Let d = 213 + j. Let a be (1 - 0)/(7/2). Do a and d have the same value?
False
Suppose -121*g + 31220 - 515946 = 0. Is g at most as big as -4007?
False
Let t(n) = -n + 323. Let h be t(-36). Which is smaller: 1792/5 or h?
1792/5
Suppose 0 = z + 5*m, z - 2*m - 1 = -6*m. Suppose 30 = -5*s - 0*d - 4*d, -d + 5 = -z*s. Is s > -33/14?
True
Suppose -c + 3 = 18. Let u = 495 + -499. Which is bigger: c or u?
u
Let h = -101.66 + 12. Let m = -63.66 + 64. Let d = m - h. Which is greater: -1 or d?
d
Let r be (2 - (-116)/(-16)) + 1. Let k be (11 - -1)/(-1 - -2) - 0. Suppose -k*q + 7*q - 25 = 0. Which is smaller: r or q?
q
Suppose -41406 = 52*t + 91392 + 6250. Is t smaller than -2673?
True
Suppose -5*x = 5*h - 4455 + 16850, -3*h = 18. Is x less than or equal to -2471?
True
Let v = -4411 + 4411. Is -277 > v?
False
Let d be 834/24 + (-3)/4 - -1. Is d greater than -53?
True
Let h = 4460953/6705 - 878159595578/1319617755. Let l = h + 29/199. Is l at least as big as 0?
False
Let s = -188507/50 - -3770. Let q(b) = 415*b + 7469. Let r be q(-18). Which is smaller: s or r?
r
Let a(t) = -t**2 + 7*t + 228. Let i be a(17). Suppose -295 = 8*f - 3*f. Let s = f + i. Which is greater: s or -2/147?
-2/147
Let t(o) = 15 + 91*o + 0*o**2 + o**2 - 81*o. Let p be t(-8). Let r be 48/22 + -3 - p. Which is greater: -0.01 or r?
r
Let p = -4448 + 4814. Which is smaller: p or 361?
361
Let d(v) = 2*v**2 - 46*v + 78. Let q be d(21). Let h(k) = -6*k + 8. Let g be h(2). Is g bigger than q?
True
Let d(a) = a**3 + 40*a**2 + 83*a + 460. Let j be d(-29). Is 7304 >= j?
True
Let v = -257 + 258. Suppose 5*b - o = -54, 2*b - b - 5*o = -30. Let f be ((-114)/b)/v + 72/120. Is f greater than 12?
False
Let u be (-138)/(2 + -1) + -2 + 4. Which is smaller: u or -134?
u
Let m = -8861 + 8858. Which is smaller: m or 31/66?
m
Let y = -403 - -208. Let z = -197 - y. Do z and -4.8 have the same value?
False
Let c be (-826)/18 - ((-37)/(-9) + -4). Suppose 0 = -2*w + w + d - 2, 5*d + 10 = -5*w. Is w less than or equal to c?
False
Let h = 171 + -94. Let o = h + -74. Suppose -s = -3*v - 136, -o*s = -s + 4. Which is greater: v or -45?
-45
Suppose -84 = -2*z - 4*j, 7*j = -2*z + 2*j + 89. Let w be 8/(2/1)*z/(-2). Let d = 451/7 + w. Which is bigger: 2/9 or d?
d
Let d(l) be the third derivative of -l**5/20 - 7*l**4/8 + l**3/6 + l**2 + 26*l. Let b be d(-7). Suppose -4*a + a = 15, -3*a = -5*t + 25. Are b and t nonequal?
True
Suppose 5*u - 33 = b + 90, -3*u = b - 77. Suppose 2*h = 7*h - u. Suppose 0 = 3*f + h*p - 24, -p - 2 = -4*f + 30. Which is smaller: f or 7?
7
Let v = 2.7552 + -1.7552. Is v at least 91?
False
Let s be (-219*(-28)/12)/(-5 + (-7 - -11)). Is s greater than -0.06?
False
Let a = 551 - -228. Suppose g - a - 298 = 0. Let t = 5403/5 - g. Are t and 1 nonequal?
True
Let h = -13906 - -27813/2. Which is smaller: 8/3 or h?
h
Suppose 2*p = 3*b - 2, -3*p - 3*b + 3 = 6. Let j be 116 - 4/p*-1. Suppose 2*f = -6*f - j. Are -14 and f nonequal?
False
Let p = 1610 + -2559. Which is bigger: -948 or p?
-948
Let u = -410149/167 + 2456. Suppose 0*v + 4*v - 29 = 5*y, -5*v = y. Which is greater: u or v?
v
Suppose 68*o - 550 = 128*o - 70*o. Is -1 at least as big as o?
False
Suppose -98*b - 258570 = -52868. Is b > -2104?
True
Let i = -167358 + 167485. Let b = -3 - -3.2. Are i and b unequal?
True
Suppose 7*z - 222 = 282. Let p = -72 + z. Let r = -623/9176 + 1/296. Which is smaller: r or p?
r
Let c = 99 - 99. Suppose 9*g + 2*g + 5*g = c. Which is smaller: g or 0.82?
g
Suppose -s = 8*s - 27. Suppose s*v - t = -5*t + 29, 0 = -3*v + t + 4. Let j be 41 + (2 - (4 - v)) + -2. Is 41 not equal to j?
True
Let t = 0.28288 + 117.01712. Is 0 at least as big as t?
False
Let h = 612 - 582. Let o be 50/(-30) + h/18. Which is smaller: -1/64 or o?
-1/64
Let o(l) = -10*l**2 + 162*l - 38. Let r be o(16). Is r bigger than -144/31?
False
Let v be (-66)/(-10) + 44/110. Let z be (-3375)/610 + v + (-3)/2. Is z at least 0?
False
Let r = 6085/819 - 67/9. Suppose -55*q = -54*q - 1. Which is greater: q or r?
q
Let m = -308 - -320. Let a be 214/(-8) + 9/m. Are -26 and a unequal?
False
Let u = -526 - -538. Suppose 15*h - 962 = 2*k + u*h, -2*k + 2*h - 964 = 0. Are k and -485 unequal?
True
Let o = 386219 + -386418.907. Let a = -200 - o. Let t = a - 0.007. Does t = -2.5?
False
Let z(n) = n**3 - 17*n**2 + 6*n - 16. Let s be z(17). Suppose -2*q - s = -82. Let i = -13/23 - 109/92. Is q smaller than i?
True
Let j be 15/(-12) + (-54)/(-24). Is j > -4/1383?
True
Let z be (-76184)/(-49128) + 2/(-6). Are -1/6 and z unequal?
True
Let n = 3 - 2.97. Let r = 1523.491 - 1525. Let v = 1.499 + r. Which is smaller: v or n?
v
Suppose 0 = -10*k - 27785 + 1485. Let m be k/55 - 3*(-2)/(-33). Are -48 and m unequal?
False
Let t = 10737 - 10736. Which is smaller: t or 24/139?
24/139
Suppose -527*z + 487*z = 0. Is z equal to 139/183?
False
Let l(j) = -j - 2*j + j**3 + 14*j - 9*j + 1 + 3*j**2. Let f be l(-1). Is 3/11 < f?
True
Let k be (-4 + -1)*(9 - 6). Let f be ((-19)/k)/((-12)/(-30)). Let r = f - 233/66. Which is smaller: 1 or r?
r
Suppose 0 = -129*n + 148141 + 344381. Which is smaller: 3819 or n?
n
Let y = 0.052 + 0.158. Let j = -635 - -632.79. Let v = y + j. Is v at most as big as -7?
False
Let p = 0.159 + -41.659. Let o = 2.5 + p. Let c = 38.98 + o. Is 2/11 at least as big as c?
True
Let f(q) = q**3 - 9*q**2 - 27*q + 68. Let p be f(11). Suppose -4*b + 18*x - p*x + 13 = 0, 0 = -4*x - 20. Is b greater than or equal to 0.5?
False
Let d = 199 + -197. Suppose r - d*c = -12, c = -6*r + 2*r - 3. Which is smaller: -5 or r?
-5
Suppose -16 = 5*j + 2*t, 5*t + 8 + 13 = -3*j. Let b be j/3 - (5 + 30/(-18)). Is b <= -37/10?
True
Let y = -34395 - -34398. Which is greater: y or -608?
y
Suppose 25 = -0*a + a. Suppose -c + 5 = 0, a = -5*y + 6*c - c. Let l be 19/15 + (702/30)/(-39). Is y less than or equal to l?
True
Suppose -h + 3 = 3*a + 7, 4*a + 8 = 0. Suppose -p = -h*k - 248 + 52, k - 3*p = -88. Which is greater: k or -99?
-99
Let v be (11/(-18))/((-6)/(-8)). Let c = 46/189 + v. Let a(n) = -2*n**2 + 44*n + 634. Let r be a(-10). Is r <= c?
True
Let i(y) = y**2 - 11*y - 21. Let u be i(12). Let j be (-1)/(u/(-16)) + 2. Let t = 71/45 + j. Is 1 bigger than t?
False
Let l = -6002 - -6381. Is -2/3 >= l?
False
Suppose 9*k - 6076 = 8373 - 400. Which is bigger: k or 0.1?
k
Let r(v) = -v + 7. Let g be r(5). Suppose 0 = g*o + 4*m + 12, o - 5*o = 2*m. Suppose -3*y = o - 5. Is 0 bigger than y?
False
Suppose -23*i + 5488 = -10*i - 5211. Which is smaller: i or 822?
822
Let d = 10172 + -10649. Is -476 at most d?
False
Let c = 1115 - 282093/253. Let r(q) = -q**3 - 27*q**2 - 94*q - 9. Let w be r(-4). Is w at most as big as c?
True
Let t = -392115/115856 - 1/8912. Let d = 272/65 + t. Is d equal to 2?
False
Let r be (-140)/25*4/(24/(-75)). Let d be (-259)/r*118*15/(-756). Let f = 11/126 + d. Which is smaller: f or 10?
f
Let j = 3/585269 + 1170517/4096883. Let x be (7/3)/(26/(-12)). Which is bigger: j or x?
j
Let n = 18463 - 1347880/73. Is -2 less than n?
True
Let h be ((-7293)/9060 - 1/(-2)) + 3. Let n = h - -3/604. Let t = n - 21/5. Does t = -10?
False
Let o = -6558 - -6163. Is -387 < o?
False
Suppose -68 = 5*j - 38. Let x be (-3246)/1740 - j/4. Let m = -2/5 - x. Which is smaller: 1 or m?
m
Suppose -140 = -23*w + 67. Let u = 57 - 19. Let r = u + -644/17. Are r and w unequal?
True
Let p be 4/(-5) - (30305/(-25))/(-11). Let s = -205 + p. Which is bigger: s or -317?
s
Suppose 2*h - n - 2108 - 10588 = 0, n + 4 = 0. Is h at least as big as 6346?
True
Let f = -13.775 - 0.025. Let t = -15.8 - f. Which is smaller: 29 or t?
t
Suppose 0 = -4*b + 5*q - 1, 3*b + 5*q - 9 + 1 = 0. Let h be b + (-5)/((-5)/3). Suppose 3*t + y 