 - -1/778. Which is bigger: i or n?
n
Let w = 2350 + -2349. Is -5/738 at most as big as w?
True
Let g = 11111 - 11110. Which is greater: 4/5505 or g?
g
Let p(c) = -10*c - 102. Suppose 165*f - 161*f + 40 = 0. Let l be p(f). Let z be (1 + -3)*(-10)/(-38). Which is smaller: z or l?
l
Suppose -2*w + 15 = 59. Suppose 291*l + 21 = 298*l. Does l = w?
False
Let x = 16973 + -644977/38. Let a = 2 + -2. Which is smaller: x or a?
x
Let t be -9219*(44/(-165) - (-9)/15). Is -3073 less than t?
False
Let k be (2 - 20)*7/(-21). Suppose 1 = k*w - 5. Let q be ((-13)/26)/(w/14). Are -4 and q unequal?
True
Let f be (390/1665)/(2*46/508). Let p = f + -88/69. Is -2/7 > p?
False
Let b = 20 - -22. Let l = b - 60. Let c be -2*(2 + (-25)/15). Which is greater: c or l?
c
Let y be ((-330)/70 + 7 - 2)*7/1114. Which is smaller: -5/3 or y?
-5/3
Let i be 2197980/75*(-55)/(-66). Is i greater than or equal to 24423?
False
Suppose 5*h = 4*l - 8 - 26, 5*l + 2*h = 26. Let i be (-1)/(l/((-24)/4)). Let w be ((-6)/25)/((-21)/(-70)). Which is bigger: w or i?
i
Let p = -7.1 + 7. Let z = 0 + p. Let a(c) = -c**3 - 7*c**2 + 7*c + 83. Let t be a(-4). Which is greater: z or t?
t
Let f = 0.07173 + 637.72827. Let b = -638 + f. Which is smaller: -137/3 or b?
-137/3
Suppose 3*g - 5*t = 754, -4*g + 26*t - 22*t = -1008. Is g bigger than 253?
False
Let h = -162 + 173. Suppose 16254 = h*m + 32*m. Is 379 smaller than m?
False
Suppose -59*w = -72*w + 26. Suppose 5*t - 2*y - w = 0, 5*y = 3*t + 5 - 10. Is t != -14/23?
True
Let c = -298 + 297. Let a = 11.7 + -13. Let y = a - -1.41. Which is greater: c or y?
y
Let s = 5242 + -5594. Is s at most -4590/13?
False
Let v(j) = -105*j - 10910. Let r be v(-104). Is r smaller than 7?
False
Let c be (-1548)/10062 + (160/234 - (-2)/(-9)). Which is greater: -59 or c?
c
Let u be (-1)/4 - 629/(-4). Let k = -67199 - -67356. Is u <= k?
True
Let s = -1046 - -873. Let d = -6 + 2. Let f be s/(-354) - d/(-8). Which is greater: f or 0?
0
Let m(v) = -10*v + 45. Let l(o) = 9*o - 44. Let a(t) = 4*l(t) + 3*m(t). Let k be a(7). Let s be k/(-3)*(-6)/34. Which is smaller: 0 or s?
0
Let p = -15097/2 - -7865. Suppose h - 16 = -3*h, -u + 3*h = -311. Let c = u - p. Which is smaller: 8 or c?
c
Suppose 9557 - 39630 = -38*h + 7813. Is 997 equal to h?
True
Let l be (-2)/(-6)*558/(-181164). Is 1 >= l?
True
Suppose -38 = 453*r - 450*r + 5*d, -3*r = -4*d + 2. Suppose -6 = -4*p + 7*p. Are p and r equal?
False
Suppose 111*y = 110*y - 3*f + 13, -3*f = -12. Which is greater: 44/243 or y?
y
Let r(i) = -2*i**2 + 35*i - 49. Let z = 399 - 376. Let x be r(z). Is -303 at least x?
False
Let z(r) be the third derivative of r**6/120 + r**5/12 + r**4/24 + 89*r**2. Let v be z(0). Is 171 smaller than v?
False
Let q = 106049 - 4136471/39. Is -14 smaller than q?
False
Suppose 355*w = 354*w, 3*q - 60 = 4*w. Is 499 > q?
True
Let i(m) = -4*m**3 - 51*m**2 + 42*m + 379. Let r be i(-13). Are r and -4045 equal?
False
Let o be 1 + 20/(-8) + (-3)/(-2). Is 99/74 < o?
False
Suppose 1601*n = 1671*n - 23042 + 171582. Which is greater: n or -2123?
n
Let y be ((-20)/(-12))/((-10)/(-216)). Let r be (2 + 105)/(3/1). Is y at least r?
True
Let k(p) = p**3 + 24*p**2 + 47*p + 65. Let x be k(-22). Is 1/2671 less than x?
False
Let s(j) = -j**2 + 7*j - 11. Suppose -6*g + 30 = 4*g. Let k be s(g). Suppose 31*i - 213 = -27. Which is smaller: k or i?
k
Let p(v) = v**2 + 23*v + 32. Let t be p(-16). Suppose -27*n - 828 + 828 = 0. Which is smaller: t or n?
t
Let d = 77/54 - 95503/67014. Which is smaller: d or 1?
d
Let c = 8945 + -8764. Let p = -350 - -533. Do p and c have the same value?
False
Let u = -105 + 41. Let l = -67.1 - u. Let z = 0.1 + l. Which is smaller: z or -0.07?
z
Let p = 269/6 + -1877/42. Let n be (-9)/((-54)/(-40)) - (-4)/6. Is n > p?
False
Suppose 4*f + 620 = -0*r + 3*r, -2*f + 1042 = 5*r. Let y be 6/15 + (r/470)/(-1). Are y and -8 non-equal?
True
Suppose 0 = 2*r + 2*v + 140, r - 4*r + 5*v = 210. Let f be r/(-76) - (17 + -16). Is 1 bigger than f?
True
Let w be (-72)/(-60) + (-12)/10 + 1. Let k = 683/18 - 38. Is k less than or equal to w?
True
Let y(d) = d**3 + 7*d**2 + 7*d + 8. Let t be y(-4). Let l = t - 26. Let v be ((-10)/225)/(l/10). Is v greater than -14?
True
Let m(q) = q**3 + 15*q**2 - 14*q + 15. Let u be m(-16). Let v be -2 - u/8 - 8085/(-88). Is 92 at most as big as v?
True
Let o(v) = -v**3 + 5*v**2 + 13*v + 8. Let b be o(7). Suppose -x - 3*h = 4*x - b, -x = 3*h + 7. Let c = 2239/5 - 446. Are x and c unequal?
True
Let t = -423/2 - -1179/5. Let p be -2 + 1 - 297/15. Let l = t + p. Which is greater: 2/3 or l?
l
Let j(g) = -5*g**2 - 5*g + 21. Let m(h) = 2*h**2 + 2*h - 8. Let f(c) = 4*j(c) + 11*m(c). Let d be f(-5). Is -2/3 equal to d?
False
Suppose -5*i = -1 - 44. Suppose 0 = -40*f + 41*f + i. Let d = f - -25/3. Which is greater: d or 11?
11
Let v(l) = l**3 - l**2 + 7*l - 5. Let s be v(2). Suppose 2*t = s*t + 242. Is t > -64/3?
False
Let n be (-1065)/(-12) + -10 + 6/(-8). Let w be n/143 - (-40)/(-33). Which is smaller: w or 0.286?
w
Suppose 9*p - 8 = 10. Suppose 4*f + 2*l - 12 = -0*f, -14 = -p*f + l. Suppose -u + f*y = 11, u - 2*y = -4*y + 17. Does 8 = u?
False
Suppose 19229*k - 360 = 19301*k. Which is bigger: -8/5 or k?
-8/5
Let f(g) = -g**3 - g**2 + g - 1. Let b be f(-2). Let o be 71 - ((-4 - -3) + b*-3). Suppose 23 = -4*z + o. Which is smaller: z or 14?
z
Let n = 5981 - 5980. Which is smaller: n or -4/1331?
-4/1331
Let r = -119 + 144. Let u = 645 - 648. Is u greater than r?
False
Suppose -10*l + 1 = 1. Let d = 596/7 - 9557/112. Is l at most d?
False
Let y = 0.447 - 0.047. Suppose 2*j = -0*j - 3*s + 19, 0 = -3*s + 9. Suppose j - 15 = -10*u. Is y != u?
True
Let m be 800/(-600)*((-26)/(-16) + -2). Is 131 < m?
False
Let m = 1637 - 949. Which is smaller: m or 685?
685
Let m(q) be the second derivative of -7*q**3/3 - 70*q**2 - 36*q. Let h be m(-11). Let c be 2/1*(-13)/(-2). Is c at most as big as h?
True
Let l = -12 + 12. Suppose -5*v - 72 - 113 = l. Suppose -4*x = 5*j + 158, -3*x - 7*j + 8*j = 109. Are x and v equal?
True
Let q(u) = u**3 - 32*u**2 + 37*u - 177. Let l be q(31). Which is smaller: l or -10/9?
-10/9
Suppose -2*o - 5*y - 1404 = -y, 2*o = -5*y - 1408. Let s(t) = t**3 - 29*t**2 - 57*t + 115. Let q be s(30). Which is greater: q or o?
o
Suppose 4*b + 5*q + 55 = 0, q + 15 - 2 = -b. Let t = 1134 + -1162. Let k be 11/55 + (t/b - 0). Which is smaller: k or 22/7?
k
Suppose 1470 = 16*g - 19*g. Let q = g - -482. Is -19 greater than q?
False
Suppose -4*u - 1 = -9, -l = -6*u + 512. Which is greater: l or -3496/7?
-3496/7
Suppose 14*s = -5318 - 4062. Let g(n) = -167*n**2 + 14*n + 25. Let w be g(-2). Do s and w have the same value?
False
Suppose 25*t - 30*t - u + 310 = 0, -4*t + 5*u + 219 = 0. Is t smaller than 19?
False
Let k = -40 + 32. Let t = -4069 + 4083. Which is smaller: k or t?
k
Let j = -346/51 + 4039/663. Is 3.7 greater than or equal to j?
True
Let t = 17760/187 + -733328534/7721417. Which is greater: t or -1?
t
Let y(a) = 28*a**2 + 2*a - 2. Let l be y(1). Let p = -32 + l. Let r be p/10 - 915/(-2225). Which is smaller: 1 or r?
r
Let q = 40.1 + -41.5. Let i = q + 1.53. Which is smaller: i or 5/6?
i
Let q(o) = -20*o + 121. Let p be q(6). Suppose 2 - p = -u. Let w be (1 - (-4)/(-10))*-1. Do u and w have the same value?
False
Let b be ((-4)/(-5))/(10 + (-3774)/360). Suppose -9 = 4*h + t, -2*h + 5*t - 27 = 2*h. Are h and b non-equal?
True
Let o = 389 - 356.3. Which is smaller: 2 or o?
2
Let n(i) = -i**3 + 3*i**2 + 5*i - 4. Let k be n(4). Let h = -895516/13 + 68836. Let w = h + 50. Is k greater than or equal to w?
False
Let a = -17053 - -34117/2. Does -2/187 = a?
False
Suppose 4 - 2 = l. Let m be 56/70*l/(-8). Let p(u) = u**2 - 22*u + 1. Let g be p(22). Is g greater than m?
True
Let y = -0.0367336 - -0.0777336. Let h = -0.5 + 0. Does y = h?
False
Suppose 0 = -m + 3*b - 11, 4*m + 5*b = 12 + 12. Is 2/8997 > m?
False
Suppose 53*g + 35446 = 90*g. Which is bigger: 963 or g?
963
Let o = 1744.2 + 3418.8. Is o at most 2?
False
Let t = 92301 + -92156.063. Let d = -145 + t. Let j = d - 2.037. Is -1/3 not equal to j?
True
Suppose 4 + 0 = -r. Let a be 65/507*r/(-10). Which is bigger: -1 or a?
a
Let s(l) = 160*l - l**2 - 58 + 3*l**2 - 137*l. Let u be s(-13). Which is greater: -81/4 or u?
u
Let t = -1131 - -1138.052. Let s = t