 be (0 - -4177)/(-13 - (-14 + 2)). Is i less than or equal to -4177?
True
Suppose 0 = 40*g - 18*g - 88. Which is bigger: g or 28?
28
Let k(q) = q**3 - 6*q**2 - 2*q - 4. Let s be k(6). Let v = 7 + s. Let c(i) = 40*i - 90. Let x be c(2). Which is bigger: v or x?
v
Let n = 0 - 0.6. Let u = -266.962 + -0.038. Let m = 266.8 + u. Is m at most as big as n?
False
Let w be 2223/156*4/3. Suppose 1298 = w*q + 44. Which is greater: q or 61?
q
Suppose -4*h = 22 - 42, -4*h = -4*i + 1920. Do i and 2/5 have different values?
True
Suppose j - 1 = -5*v + 48, 0 = 5*v + 5*j - 65. Suppose 5*o - 7*h = -4*h + 58, 2*o - 24 = 2*h. Suppose -l + b + 3 = -o, 2*l = 5*b + 40. Which is smaller: l or v?
v
Suppose -2*w - 22*y + 20*y = 6, 3*w + 2*y + 6 = 0. Which is smaller: w or 22/219?
w
Suppose -f - 1316 = k - 1315, -5*k = -2*f + 19. Which is greater: 352/175 or f?
352/175
Suppose 32 - 4 = j. Suppose -5*a = -4*t + 40, 0 = -4*t - 4*a - 103 + 107. Is t equal to j?
False
Let q = -16 - 74. Let j = 101.04172 + -0.04172. Let v = j + q. Is 2 at most v?
True
Let b = -0.11289 - 0.38711. Is b equal to -1.918?
False
Let k = 290641412/4469 + -65035. Which is smaller: k or 0?
k
Let q = 17 - 2. Let x(j) = -j**3 + 16*j**2 - 14*j + 8. Let o be x(q). Let k be -42 + 44 + (-2)/((-2)/o). Which is smaller: k or 24?
24
Suppose 0 = 11*n - 10 - 23. Suppose -n*v = -0*m - 2*m + 283, -4*v - m - 381 = 0. Which is greater: v or -94?
-94
Let k = 30452 + -30453. Suppose 3*h + 8 = -16. Let j be h/370*2/4. Which is bigger: k or j?
j
Let b = 1793.1 - 1793. Which is bigger: b or -174?
b
Let g = -4724/3 - -1575. Is g at most 51?
True
Suppose -y + 3 = 0, y = 3*o + 2*o + 3. Suppose m + o = -3. Let j = 0 - 4. Which is smaller: m or j?
j
Let s = 145 + -314. Let z = 174 + s. Which is greater: -0.01 or z?
z
Let s(h) = -64*h + 665. Let q be s(16). Which is smaller: -355 or q?
q
Let f = 95.1 + -92. Let b = f - 2.72. Let s = b - 0.78. Is -2/7 greater than or equal to s?
True
Let z be (-795)/1590*2/2818. Which is bigger: 0 or z?
0
Suppose -3*a + 4*p = 8*p - 133, a + 5*p - 37 = 0. Let u(k) = 20*k - a*k + 17*k - 16 + k**2 - 3*k**2. Let m be u(-4). Is m greater than or equal to -3?
False
Suppose 3*k = 12, -40*k + 43*k = z - 127. Is z >= 134?
True
Let f = -3.3 + 3.17. Let q = 5.92 + -5.683. Let t = 1.237 - q. Which is greater: t or f?
t
Suppose 2*z - 11 = 5*a - 0*z, 0 = 5*a - 5*z + 5. Let v be (-1)/(-2)*(3 + a). Suppose -6*n - 32 + 14 = v. Is n less than -2?
True
Let a be 1225*8/25*(-550)/(-2420). Is 89 < a?
True
Suppose -10*l + 613 = -297. Suppose -139 = 4*n + b + 48, -2*n - 3*b - l = 0. Let k be 3/n + (4 - 4). Which is smaller: 0 or k?
k
Let g = -2.534 + 3.66. Which is greater: 1 or g?
g
Let n(h) = -26*h + 1414. Let d be n(-99). Is 3989 at most d?
False
Let a be ((6/(-270))/((-38)/171))/(81/196). Which is greater: a or -1?
a
Let x(y) = -3*y**3 - 13*y**2 + 8*y + 2. Let r be x(-4). Suppose 2*l + 20 + 112 = -2*w, -w = -5*l - 354. Let a = r - l. Is 24 less than or equal to a?
True
Let l be (-700)/8 + (-117)/(-78). Is l smaller than -128?
False
Let h = 4235 + -4234.3. Let z = -0.25 + 0.11. Which is greater: z or h?
h
Suppose 0 = -2818*l + 2807*l - 3947 + 1087. Do -1817/7 and l have different values?
True
Let o = 39 + -35. Let g be 123/o + 3/12. Let b = g + -26. Is b > 13/3?
True
Let d = 35223 + -2817893/80. Is d >= -2?
True
Let x(m) = 6*m**3 + 58*m**2 + 120*m + 3. Let u be x(-2). Let k = -18 + 71. Let i = u + k. Is 3/7 smaller than i?
False
Let u = 13.6 + -4.4. Let h = 9.3 - u. Which is smaller: h or -64?
-64
Suppose 2*j - k = 1735, 2250*k - 2254*k = -20. Is j > 864?
True
Suppose -3*y - 6*i + 1783 = -8*i, -1784 = -3*y + i. Suppose -12*u = 5*u + y. Which is smaller: u or -36?
-36
Let x(q) = 23*q + 896. Let p be x(-40). Let k = 1.9 + -0.9. Is k less than p?
False
Let y(s) = -s**2 + 7*s - 17. Let h be ((-1 - -2) + (1 - -3))*1. Let a be y(h). Let o = a - -12. Do o and 16/3 have different values?
True
Suppose -5*j + s = -6 + 2, -2*s - 8 = -3*j. Suppose 2*u - 3*u - 4 = j. Let i be 4/(-6) - u/((-84)/(-203)). Is i < 8?
False
Suppose 5*b = -143 + 23. Suppose -69*i = -207*i - 3660 + 1314. Is b > i?
False
Suppose 5*g - 29 = -2*v, g = -2*v + 1 + 16. Let b(s) = -14*s - 21. Let k be 2 + 20/(-30)*(-12)/(-2). Let i be b(k). Is i less than v?
False
Let z be ((-15)/6 + 1)/(-3)*-14. Let i be 716/12 - z/21. Suppose -11*p = -i + 159. Are p and -10 equal?
False
Let c = -1706 + 1672. Let q = 0.58 - -40.42. Let b = q + c. Which is smaller: b or -0.4?
-0.4
Suppose 1 = 2*v - 1. Let d = 10 - 6. Let t be (d/(-16))/((-3)/(-4)). Is v bigger than t?
True
Suppose -36*j + 8129 = -11455. Let a be j/(-88) - (-4 - 2). Which is bigger: -0.025 or a?
-0.025
Let a = -7 + 2. Let t be (-25)/(4750/2040) - 114/(-19). Is t bigger than a?
True
Let r be ((-7792)/12 - 4)*(4 - 16). Suppose r = -9*i - 11*i. Is i bigger than -393?
True
Let c = 6847 + -7925. Which is bigger: -1080 or c?
c
Let u = 2.2 + 13.8. Let q = -0.03039 - -31.03039. Let h = q + u. Is h bigger than -0.1?
True
Let g be ((-72520)/3885)/(1 + 4/(-3)). Which is smaller: g or 57?
g
Suppose -34 = 20*p - 37*p. Suppose 2*l + p*z - 26 = 0, -10*l = -6*l - z - 32. Which is smaller: 0.24 or l?
0.24
Suppose -4*y + 2 + 2 = 0. Let p(c) = c**2 - 4*c + 1. Let w be p(2). Let d be (w/4 - -1)/(35/224). Which is smaller: y or d?
y
Let b(n) = 485*n + 1831. Let c be b(-4). Suppose -5*r + 2*r = 324. Is c > r?
False
Let j(q) = 239*q**2 + 6*q + 9. Let y be j(-1). Suppose -2*l - y = -94. Are l and 1/4 unequal?
True
Suppose 0 = -3*b + 3*w - 290 + 1562, -852 = -2*b + 3*w. Which is greater: 415 or b?
b
Let i = -39.92 - -23.23. Let x = -17 - i. Let g = 0.23 + x. Is g greater than or equal to -3/8?
True
Let w be (2/3)/(4/11). Let r(p) = -p**3 - 10*p**2 + 8*p - 22. Let q be r(-11). Suppose -q*s = -51 + 29. Is s smaller than w?
False
Suppose -2*q = 4*g - 48, -3*q = g - 5*g - 82. Suppose h + 7 = -0*h + o, 4*o + q = -5*h. Let z(n) = n**2 + 2*n - 9. Let l be z(-4). Is l at most h?
False
Let i(u) = u**2 + 5*u + 6. Let s be i(-3). Let r be (-20 - -14)*14/(-3). Let q = 30 - r. Which is bigger: s or q?
q
Let y be (28/(-5))/(3090/1876650). Let z = y + 3401. Are z and -1 non-equal?
True
Let q be (-448)/(-6) + (-28)/(-21). Let f be 209/q + 3*-1. Let p = -0.26 - -0.68. Which is bigger: f or p?
p
Let y = -178 + 256. Let s = 92 - y. Is 11 less than s?
True
Let c(k) = -k**3 + 11*k**2 + 10*k - 19. Let i be c(11). Let l = i - 138. Let u = -47 - l. Are u and -1/44 non-equal?
True
Let j = -2 - -2. Let i(t) = t**2 - 14*t + 50. Let p be i(6). Let b be -21 + j + 1 - p. Which is smaller: -23 or b?
-23
Let h(o) = -10*o - 352. Let m be h(-35). Let b be ((-3)/(-39))/(1/m). Is b less than or equal to -73?
False
Let d(b) = -b**3 + 32*b**2 + 30*b + 57. Let o = -74 + 107. Let p be d(o). Is -42 <= p?
True
Let f = -161 + 166. Suppose -f*q + 10*q = 7*q. Is q != 2/31?
True
Let z = 3481/10 - 4353/10. Which is greater: -88 or z?
z
Let g = -537 + 9. Let f = g - -3634/7. Is f != -10?
True
Suppose 87*w - 97*w - 109213 = 28207. Is w greater than or equal to -13742?
True
Let y = 1 + -2. Let x be (4/(-10))/((-136)/(-120)). Let b = -44/221 - x. Is b > y?
True
Let c(f) = f**3 + 9. Let i be c(0). Suppose 319 = -i*z - 50. Let m = z + 40. Is -1 <= m?
True
Suppose 5*b = -7 + 12. Let p be (9 + -10)*(b - 1). Suppose p = 7*g - 0*g + 14. Which is bigger: g or -19/6?
g
Suppose 5*y - 17 = -7. Let t(g) = -17*g - 89. Let f be t(-32). Let b be 255/f + (-12)/(-78). Is y less than or equal to b?
False
Let m = -3636.9 - -3637. Which is smaller: -3187 or m?
-3187
Suppose 5*l = -l + 36. Let u be ((-6)/(-15))/(5/(-25)). Let v be (u + -1)*(0 + 7 + l). Which is bigger: v or -40?
v
Let k = -50 + 81. Let f = -3 + 4.2. Let p = f + -1.3. Is k >= p?
True
Let d(x) = 3 - 32 + 1 - 6 + x**2 + 38*x. Let k be d(-11). Which is bigger: -330 or k?
-330
Let o = 460.9861 + 0.0139. Let g = o - 460.809. Are 2/9 and g nonequal?
True
Let n = -66 - 29. Let q = -96 - n. Let s be ((3 - 3) + q)/(-1). Which is smaller: s or -3/77?
-3/77
Let o = -10 + 10.22. Let s = o + -0.32. Let m = -63.3 + 62.4. Is s less than or equal to m?
False
Suppose b - 3*b = 14. Let a(k) = k**3 + 5*k**2 - 8*k + 5. Let f be a(b). Which is bigger: f or -40?
f
Let d = 84.94 + -124. Let x = -39 - d. Which is smaller: x or -0.01?
-0.01
Suppose 10 = 2*p