 or equal to 0.107?
True
Suppose -29*n + 121035 - 37323 = 67*n. Which is greater: 871 or n?
n
Let s = 168 + -440. Let d be s/(-9) - 58/261. Is 30 at least as big as d?
True
Suppose -354 = -5*l + 821. Let b = -4466/19 + l. Suppose 4*y - 3 = y. Which is smaller: b or y?
b
Let z = -749 + 787. Is 43 smaller than z?
False
Let f = 103.6 + -724.6. Let r = -584 - f. Is r less than or equal to -10?
False
Let n(g) = 9759*g**2 - 19398*g + 5. Let p be n(2). Suppose 0 = -s + 50 + 195. Is p at most s?
True
Let h(l) = l**2 - 2*l - 7. Let q be h(-6). Let a be (252/(-90))/(14/(-200)). Which is smaller: a or q?
a
Let p = 368.94 - 365. Let i = 1.94 - p. Is -21/5 bigger than i?
False
Let p be (15 + (-12635403)/842358)/(0 + 1). Which is greater: p or -1?
p
Let g be (-1)/(2*3/6). Let y = 621 - 627. Let q be ((-36)/(-54))/(62/y)*2. Which is greater: q or g?
q
Let l = -2 - -1. Let y be 1*246/(-16) + 542 + -554. Is y greater than or equal to l?
False
Let x = 22 + 33. Is x at least 8?
True
Suppose 0 = 4*c - 5 + 25. Let t(q) = 4*q + 19. Let h be t(c). Let m be (h + -6 + 8)*2/(-6). Is m bigger than -2?
True
Let j = 938.482 + 0.518. Let c = j - 941. Are c and -11 nonequal?
True
Let s be (-21 - (-5053)/93) + -30. Suppose j - 3*n + 8*n - 7 = 0, -4*n = -4*j + 4. Are j and s nonequal?
True
Let t(d) = -4*d**2 - d + 15. Suppose -55*y - 27 = -46*y. Let s be t(y). Which is greater: s or -17?
-17
Let r be (0 + 2)*(-2)/1. Let p be 2 + (1 - (-6 - r)). Suppose q + 4*n - 4 = 0, p*q = -n - 4 + 5. Is q greater than 1/18?
False
Suppose 43*m + 108985 = -3958 - 10682. Is -5749/2 <= m?
False
Let x = -0.0093 - -0.0293. Which is greater: -44.9 or x?
x
Let m = 9807 + -10260. Which is bigger: -451 or m?
-451
Let m be 4 + (-94)/2 + -5. Is -46 < m?
False
Let v = -356 - -360. Let i be 490/(-10) + (-24)/v. Is i at least -57?
True
Suppose 9*m - 4 = 8*m. Suppose -m*r + 7*r - 294 = 5*y, 4*r = y + 409. Which is greater: 102 or r?
r
Suppose 3*h + 4*o + 356 = 0, -6*h - 667 = -3*o + 2*o. Let t be h/(-24)*1/88*-3. Are t and -1 equal?
False
Let r = 0.34 - 0.14. Let o = 7.9 - 2.8. Let c = o - 5. Is r equal to c?
False
Suppose -3*v + 99 = -5*k + 115, 28 = -4*v + 5*k. Let b(r) = r**3 + 4*r**2 + 3. Let q be b(-4). Suppose 0 = 2*w + 23 - q. Are w and v equal?
False
Let p be (985/3)/((-780)/(-468)). Which is smaller: p or 5?
5
Let c = -12250 + 171425/14. Let v = 239/42 + c. Is v >= 89?
False
Let b = 3.45 + 0.58. Let c = -3.99 + b. Do c and 0.12 have the same value?
False
Let a(y) = -y**3 - 10*y**2 - 17*y + 3. Let q be a(-8). Suppose q*p + p = -2*p. Which is greater: p or 1/718?
1/718
Suppose -18*h + 15*h - 601 = 5*j, -3*j - 591 = 3*h. Do h and -192 have the same value?
True
Let m = 0.197 + -0.194. Let f = m + -0.003. Let y(q) = -27*q - 10. Let j be y(-2). Which is smaller: j or f?
f
Let h = -13 + -25.3. Let x = h - -38. Are x and 22 unequal?
True
Suppose -v - v = 2*u - 6, -v - 3*u + 1 = 0. Suppose -5*j + 9*j - 2*g = 204, -3*g - 204 = -v*j. Which is greater: j or 50?
j
Suppose -40*s + 21*s = -76. Suppose -s*o + 468 = 8*o. Is 40 equal to o?
False
Suppose -5*i + 29*f - 28*f + 52 = 0, 5*f - 70 = -5*i. Does 22 = i?
False
Let f be (-21)/(-6)*(-12)/(-21). Suppose -3*j + 5 = f*b + 4, -3*b + 5 = j. Let h be (6/(-8))/((-6)/32). Which is smaller: h or j?
j
Let i(l) = 16*l**2 - 2. Let r be i(0). Let x be (30/(-4) + 4)*r. Which is greater: 124/17 or x?
124/17
Let t be ((-2)/(-105))/((-90)/130800). Let n = t + 238/9. Which is smaller: n or 0?
n
Let f = -953 - -1007. Is f != -14?
True
Let z = 81.39 - 56.39. Let b = 30 - 28. Is z > b?
True
Let f(p) = p**3 - p**2 - 18*p - 8. Let n be f(6). Suppose -3*c = -11*c - n. Which is bigger: c or -72/11?
-72/11
Let a be 4/(-30) - 224708/165. Is a at most -1362?
True
Suppose 142*o - 327996 + 1664074 = 0. Which is smaller: -9410 or o?
-9410
Suppose 5152*o + 328 = 5144*o. Is o < -18?
True
Suppose 5*z + 10 + 5 = -j, 0 = z + 2*j + 12. Let c be 8/(3/(-3)*z). Suppose s = 5*f + 11, c*s + 2*f = f - 40. Which is smaller: s or -15/2?
s
Let c = 230 + -189. Let g = c - 40. Is 3/248 at least as big as g?
False
Suppose -1071 = 4*w + 3*y, -362 = 3*w - 5*y + 405. Let r = -262 - w. Let i = 0.9 + 3.1. Are i and r equal?
False
Let b(a) = a**3 + 35*a**2 + 48*a - 46. Let f be b(-16). Are 4050 and f nonequal?
False
Suppose -48*x - 18 = -39*x. Which is greater: 623 or x?
623
Let o be (-92 - -99)*(-6)/(-14) + 233/(-92). Which is greater: -1 or o?
o
Suppose -8*j = -69 - 59. Let z be (j/(-40))/(1 + (-69)/70). Which is bigger: z or -136/5?
-136/5
Let k = -0.089 + 0.909. Let t = 124.5 - 121.68. Let r = t - k. Is 23 bigger than r?
True
Let z be (34/24 - 45/36)*18/3. Which is bigger: -6/575 or z?
z
Let a be (1 - (-11 + 4)) + 0 + -3. Suppose 6*z + 45 = 4*s + 3*z, -65 = -5*s - a*z. Let f be ((-6)/s)/((-9)/(-4)). Which is greater: 4/9 or f?
4/9
Let b be (-41)/56 - 2/14. Let g = 62 - 59. Suppose -6*c = 5*c - g*c. Which is bigger: b or c?
c
Let u = -0.05893 - -0.15893. Which is smaller: -1.548 or u?
-1.548
Let l = 72124/7 + -1323727/112. Let r = l + 1515. Which is bigger: r or -2?
r
Let t be (-10)/(2/1) - 23/(138/1164). Is t at least -195?
False
Let f(n) = -200*n + 2. Let s be f(-1). Suppose 2*r - 206 = -s. Let i be 42/189*((-15)/7 + r). Which is smaller: i or 1?
i
Let y = 1.21 - 42.21. Let a = 41.16 + y. Is a > 1?
False
Let k = -94 + 96. Let z be ((-60)/2385)/(k/(-9)). Which is bigger: z or 0?
z
Let r = 25 - 23. Let g be (r/8)/((-3)/(-24)). Suppose g*q + 21 - 69 = 0. Which is greater: 0 or q?
q
Let j = 23.6 - 9. Let c = 14.4 - j. Let y be (-3)/(-12) - (-6)/(-8). Which is smaller: y or c?
y
Let w(j) = -23*j - 942. Let s be w(-41). Which is smaller: 3/4145 or s?
3/4145
Let a(l) = l + 4. Let b be a(-3). Let o = -5468001 - -278926495/51. Let f = 1146 - o. Is f bigger than b?
False
Let z be 2/((-5)/(-4) - 1). Suppose z = -4*o, -f + o - 29 = -o. Is -33 at least f?
True
Let q be (-16 - -9) + (-442)/(-91). Is q at most -325?
False
Let o(p) = -p + 6. Let u be o(-10). Let l be u - (0 + 1)*0. Which is bigger: 86/5 or l?
86/5
Let u(n) be the second derivative of n**3/3 + n**2/2 + 7*n. Let c be u(0). Let i = -3651/8 - -457. Is i less than c?
True
Let q = -1787/2622 - -27/38. Suppose 0 = -3*b - 2*o + 5 + 15, -30 = -5*b - 5*o. Let z be (-1)/(-2) - ((-12)/b - -3). Which is greater: z or q?
q
Let x be (-50)/46 - 102/(-1173). Let k be (-8 + 204/24)*x*8. Is -5 at most as big as k?
True
Suppose 4*s - 2*w = -751 + 181, s = -5*w - 159. Let r = s + 154. Is r smaller than 13?
True
Suppose 1177 = -15*q - 128. Let o = q - -93. Suppose -5*b = o*b - 869. Is b bigger than 80?
False
Let s = 191 - 174. Suppose -8*k = -6 - 10. Let c be ((-2)/(-6))/(k*(-1)/(-96)). Which is smaller: c or s?
c
Let w = 69 + -93. Let o = -21 - w. Let j be ((-3)/(-6))/(2/4). Is j != o?
True
Let g be 7/(-1) - (-91 + 86). Suppose 4*f - 12 = 2*u, -7*u + 6 = -2*f - 3*u. Suppose -f*t = -0*t. Do t and g have different values?
True
Let o = 3553 - 3458. Is o != 100?
True
Suppose -4*t - 10 = 2*h, -1 = h - 4. Which is smaller: -5 or t?
-5
Suppose -l + 2*i - 55 = 7*i, i = -5. Let f be 4/(-10) + 918/l. Let w = 32 + f. Which is bigger: -2/49 or w?
w
Let o(h) = -h**3 + 17*h**2 + 60*h - 1. Let f be o(20). Which is bigger: f or -8/1663?
-8/1663
Suppose -226*l = -434*l + 217*l - 10152. Are 1127 and l equal?
False
Let i = -0.1289 + -1.8711. Is 291 greater than i?
True
Suppose -2 = 2*y - 0. Let i = -505320768/95 - -5319277. Let r = i + -111. Is r less than y?
False
Let w(z) = -z**3 + 19*z**2 + 22*z - 50. Let i be w(20). Let q be (-24)/56*-7*(-2)/i. Let l be ((-3)/(-12))/(1/4). Is q bigger than l?
False
Let c be (29/(-13630))/(((-10)/84)/5). Which is smaller: c or 1?
c
Suppose 44*f - 126 - 94 = 0. Suppose -f*p - 2*d = 98, -3*p + 0*d - 64 = -4*d. Is -18 < p?
False
Suppose 3*a - 4*a + 3 = h, -5*h = 2*a - 9. Let g be (-1 - -1*h) + 24 + -25. Let x = 0 - g. Which is smaller: -2/9 or x?
-2/9
Suppose 0 = -u + o - 6, 0 = -9*u + 8*u - 5*o + 24. Which is bigger: 1/1059 or u?
1/1059
Let j = 1 + -1.3. Let i = 546.698 - 557.7. Let w = -0.002 - i. Which is smaller: j or w?
j
Let u = 144 - 143. Let s = 70 - 216. Is s at least u?
False
Suppose p - 2 = -4*f + 4, 3*p = -f - 4. Suppose 3*a = n - 16 - 158, 5*n + 270 = -5*a. Let g = 60 + a. Which is smaller: f or g?
f
Let d be (-6 - (-13293)/46) + 0. Let y = d - 