6)). Is i less than or equal to f?
True
Let u = 0.05 + 13.95. Let y = u + -14.41. Let z = 0.37 + y. Is z greater than 0.2?
False
Suppose -z + 7 = 2*l, 2*z - 4*l = -7*l + 12. Suppose -z*o = 5*b + 67, 2*o + 1 = -3*b - 43. Are o and 1 non-equal?
True
Let l = -109.69 - -108. Do l and -2 have the same value?
False
Let y = 66/19 + -245/76. Which is greater: 1.82 or y?
1.82
Let g be (-750)/36 + 1/(-6). Is -17 <= g?
False
Let j be (-5 + 6)*(1 + -1). Suppose -w - 6 = 2*t, j = -3*w - t - 4*t - 23. Is -16 < w?
False
Let t(u) = -12*u + 431. Let k be t(36). Let p be (-88)/(-24) - 4/6. Let g be p/(-2*1 - -19). Which is greater: k or g?
g
Let k = 1545 + -1550. Which is smaller: k or -22?
-22
Let y = 42.3438 - -0.0562. Which is smaller: y or -1?
-1
Let m be 5/(-2)*3/15. Let z = -189 + 105. Let b be (-11)/7 - 48/z. Which is smaller: b or m?
b
Let f = 616 - 688. Is f equal to -76?
False
Let u be (-1 + 1)*-1 + -2. Suppose 9*m = 10*m + 6. Let o be 2/(-10)*16 - (m + 5). Which is smaller: u or o?
o
Let i = 125/46 - -18/23. Is 0.1 < i?
True
Suppose -3*c - 5*s - 276 - 318 = 0, -3*s - 397 = 2*c. Which is greater: c or -2?
-2
Let k be (-10)/(-50) - 102/(-15). Suppose 5*x - k - 3 = 0. Is 31 not equal to x?
True
Let w = -10378 + 21775/2. Is 511 greater than or equal to w?
True
Suppose 0*s + 3 = -3*s. Let a be 37 - (4/18 - (-116)/(-36)). Is s at most a?
True
Let k = -1507 + 34663/23. Which is smaller: 15 or k?
k
Suppose 0 = 5*y - 2*x - 96, 5*y - 3*x + 33 = 132. Let o be y/4*(-3)/(-18). Let n(b) = b**3 + b**2 + b - 1. Let d be n(1). Which is smaller: d or o?
o
Let d be -1 + 1766/4 + (-19)/38. Let c be (-3)/5 + (-1)/(d/(-124)). Which is smaller: -1 or c?
-1
Suppose 7*g - 12*g = 15, -5*g - 10 = x. Is x smaller than -2/23?
False
Let w(o) = o**2 - 7*o + 11. Let h be w(6). Suppose 20*y - h = 15*y. Is y smaller than -1/7?
False
Let m be 1350/60*-2*1. Let b be (-6)/m*65/(-4). Do -2 and b have the same value?
False
Let f be (4/6)/((-3)/(-9)). Let m be (f/(-6))/(10/6). Let w = 1.06 - 1.06. Is m greater than or equal to w?
False
Let n = -130 + 135. Is 5 greater than or equal to n?
True
Let f be 4/2*(-3 - -5). Suppose -b + 3*b = -4*t + 4, -4*b = 0. Let w be (f/8)/(1/t). Which is greater: w or 0.4?
w
Let m(o) = o**3 + 12*o**2 - 3*o - 26. Suppose 5*b = -6*n + n - 50, -2*n = 3*b + 18. Let j be m(n). Does j = 14?
False
Let c be 26/(-39) - 2/(-6). Let k = -59 + 59.05. Which is smaller: k or c?
c
Let n = -294829/141 - -2091. Is n equal to -3?
False
Let p be ((-3945)/504)/(((-98)/(-4))/7). Let v = -2/147 + p. Suppose -l = 2*l + 3*g + 18, 5*l - 5*g - 20 = 0. Is v != l?
True
Let h(j) = -3*j - 12. Let u be h(-4). Suppose -3*p = 4*k + 43, u*k = p + 2*k + 17. Is -6 > p?
True
Suppose 0 = 2*l + 12. Let a be 0*3*(-1)/l. Suppose -h = 4*k - 6 - 8, k - h = 6. Which is smaller: a or k?
a
Let z be (15/4)/(7/28). Let v(r) = r + 12. Let f be v(-10). Let m be 19/1 - (f - -2). Is m at least z?
True
Let y = -364 + 550. Is y at least as big as 188?
False
Let b = -3 - -5. Let n = 2 - b. Let t be (9/(-6))/((-5)/(-30)*-3). Is n at most t?
True
Let m = -6563/1307181 - -2/6137. Which is smaller: m or 0?
m
Let z be 6*(8 + (-434)/21). Is -77 at most z?
True
Let l(i) = i**3 - 4*i**2 - 12*i - 61. Let c be l(8). Is 0.08 not equal to c?
True
Let n be 3/2 - 10/(-20). Suppose 1 = -2*i - 3*f, -n*f + 6 = 3*i - 5*i. Which is greater: -10 or i?
i
Suppose -3*x + 3*n = -12, n = -2*n + 12. Let f be (4/x)/((-5)/(-180)). Is f greater than or equal to 18?
True
Let c be (-3)/(-2) - (-19)/(-38). Let s be 1/(-6)*-8 - c. Which is smaller: s or 1/10?
1/10
Let z(y) = -y**2 + 13*y - 15. Let v be z(8). Suppose 24*o - 1 = v*o. Which is smaller: o or 0.08?
o
Let y = 226 + -438. Is -212 at least as big as y?
True
Suppose 0 = 44*m - 52*m + 864. Is m at most 108?
True
Let w(n) = -23*n**3 - 2*n - 2. Let g be w(-2). Let p be 10/84*(g/(-30) + 6). Which is bigger: 0 or p?
0
Let f = -84.1 + 80.2. Let s be (-5)/2 + 6/2. Is f less than s?
True
Suppose 3*f = 70 + 56. Let r be (16/12)/(f/9). Which is smaller: -0.8 or r?
-0.8
Let s(u) = u**3 + 4*u**2 - 6*u + 19. Let r be s(-7). Is r at least -85?
False
Let n be -2 + (-3)/63 + 2. Suppose -3*z = -5*z + 4. Suppose -z*c = -3*c. Are c and n equal?
False
Let j be 3 + -1 + (4 - 3). Let s be j/(-3) + -4 + 1. Let v = s - -1. Is -7/4 smaller than v?
False
Let j(d) = -10*d + 3. Let v be j(1). Let b be (2/v)/(2/(-28)). Let c be (-4 + (b - 1))*4. Is -3 at most c?
False
Suppose -3*j - 153 = 3*a, 3*j + 0*a - 3*a = -147. Is -534/11 smaller than j?
False
Let d = 11 + -6. Let x be (2*-22)/(-4)*2. Let w be (x/4 - 3) + -2. Is d less than w?
False
Let w(y) = y**3 + y**2. Let d be w(1). Let k be (-1)/1 - (-3 + d). Let u = 5.1 + -5. Which is greater: u or k?
u
Let d = 1.1 + -1.1. Is d at most 54?
True
Let m = -1.21 + -0.79. Is m greater than -37?
True
Let v(r) = -199*r - 88. Let d be v(-1). Is 5 greater than d?
False
Let r(v) = -v**2 - v. Let k(i) = -i**3 - 4*i**2 - 4*i - 8. Let m(d) = -k(d) + 3*r(d). Let z be m(0). Let s be ((-3)/(60/z))/(-2). Which is smaller: 0.1 or s?
0.1
Let v(o) = o**3 - 3*o**2 - 7*o + 8. Let h be v(3). Let w = h + 8. Is w less than 4?
True
Suppose 9*f = -8 - 55. Let j be (9*6)/(5 - 3). Let w be 3/(-4)*198/j. Which is bigger: w or f?
w
Let w(i) = 3*i**2 + i - 3*i**2 + 2*i**2. Let o be w(-1). Let s be (-4 + 1 + (-85)/(-29))*(-1)/2. Is s bigger than o?
False
Let d = -25 - 11. Is d != -262/7?
True
Let d = 12.8 - 42.78. Let g = -30 - d. Which is bigger: -0.2 or g?
g
Let y = -0.81 + 41.81. Let t = y - 40.8. Which is greater: -2 or t?
t
Let u = -0.8 + 35.8. Which is smaller: u or 3?
3
Let i be 2/((-3)/9 - -1). Suppose -4*k + 1 = -i. Let z = -1167/7 - -167. Which is bigger: z or k?
k
Let r = 10 + 0. Let v = -3 + r. Let i(q) = q**3 + q**2 + 2*q + 8. Let y be i(0). Which is smaller: v or y?
v
Let d be (-36)/(-72) - 1298/(-4). Which is bigger: 327 or d?
327
Let o = -1378/7 + 6512/35. Which is smaller: -12 or o?
-12
Suppose 5*k - 2*a = a - 754, -4*k = 3*a + 614. Let x = k - -104. Let n = -93/2 - x. Which is greater: n or 0.2?
n
Let u = -185092 + 106121. Let b = -20532327/260 - u. Let t = b + -6/13. Is t greater than 1?
False
Let g be 336/(-2522) + (-134)/(-871). Which is bigger: 0 or g?
g
Let h(t) = 38*t - 1. Let z be h(-2). Which is smaller: -75 or z?
z
Let w(r) be the second derivative of -r**4/12 + 17*r**3/6 - 5*r**2/2 - 69*r. Let j = 33 + -17. Let z be w(j). Which is bigger: 12 or z?
12
Let i = -0.01 - 0.07. Let z = 9487 + -9487. Which is smaller: z or i?
i
Let i be (-5 - 8)/((-1)/(-5)). Let p be 10/i + (-2)/(-13). Let j = -33 - -33. Is p equal to j?
True
Suppose 0 = -30*u + 26*u + 16. Suppose c + 17 = u*l, -2*c - 14 = -3*l - c. Is 3 bigger than l?
False
Let p be ((-2)/(-6))/(8 - 714/90). Suppose 8 = 2*s - 0. Is s greater than p?
False
Let m = 1482 - 1481. Is m at most as big as -1/51?
False
Suppose -2*g + 4*q + 8 = 0, -2*q = 2*g - g + 4. Are 3/206 and g unequal?
True
Suppose 2*h = 7*h - 70. Suppose 10*x = -3*x - 118326. Let k be (-2 + 0)/(-16) - x/656. Are k and h equal?
True
Let s = 1 + -2. Let r(y) = -y**3 - 9*y**2 + 3. Let h be r(-9). Let j be h*(-4 + 1490/375). Do j and s have different values?
True
Suppose 2*v - 4*o = -7*o - 6, 0 = 2*v - 3*o - 6. Suppose 0 = 3*z + 2 + 4, 5*i - 2*z - 34 = v. Is 48/7 greater than or equal to i?
True
Let h be (-8)/(-6) + 576/(-513). Is h greater than 1?
False
Let i(q) = 30*q + 159. Let n be i(-6). Which is smaller: n or -30?
-30
Suppose 0 = -4*l - 4*q, -2*l - 3*q = -8*q. Let c be (14*75/(-32))/((-16)/(-40)). Let y = c - -82. Is y greater than l?
False
Suppose 5*s - 6 = -h, 2*s - 36 = -2*h - 32. Are h and 1/138 equal?
False
Let v(f) = 3*f**3 + 12*f**2 + 12*f + 49. Let w be v(-4). Which is bigger: w or 1/18?
w
Suppose 2*h - 3*z - 100 = 0, -3*h + 4*z - 3*z + 136 = 0. Suppose -5*t - 47 + 1 = -2*y, -3*y + h = -5*t. Let r be t/42 + 8/24. Is 3 at most as big as r?
False
Let x(q) = -52*q**2 + 27*q**2 + 26*q**2 + 5*q - 22*q. Let z be x(17). Which is smaller: -10/11 or z?
-10/11
Suppose -4 = t - o - 15, -5*t - 4*o + 37 = 0. Let d be ((-6)/(-2))/(t/(-174)). Do d and -57 have the same value?
False
Let o = -6 + 5.95. Let q = o + -1.95. Let b = -48 - -50. Which is smaller: b or q?
q
Let g(x) = x**3 - 6*x**2 + 7*x - 4. Let o be g(5). Let d be o/27 + (-22)/18. Let i = 226/3 - 76. Which