 6. Let y(b) = -u*b**2 + 4*b - 2*b + 3*b**2. Let x be y(2). Is x < -5?
False
Let y(f) = 358*f + 7517. Let v be y(-21). Let w = 30/7 + -127/28. Which is smaller: w or v?
v
Let f(j) = j**2 - 29*j + 191. Let n be f(19). Which is smaller: -1/13 or n?
-1/13
Let i = 23 - 3. Let w = 20.07 - i. Which is smaller: w or 0.1?
w
Let q = 222 + -238. Which is bigger: q or 0.3?
0.3
Suppose 2 + 2 = -2*k. Let w be 1/(-1*k/(-4)). Suppose 2*d - 10 = 4*j, -5*j - 4*d = -5*d + 8. Is j <= w?
False
Let h(x) = x**3 - x**2 - 3*x - 1. Let u be h(-1). Which is smaller: -3/274 or u?
-3/274
Suppose 2*d + 18 - 54 = 0. Is d at most as big as 9?
False
Let l = 18671439838071/56023 - 333281685. Let f = 2/463 - l. Which is smaller: 0 or f?
0
Let u be 8/6*-1*3. Is u smaller than -15?
False
Let r be (-3 - (-3 - -3))*-1 - -34. Is 23 != r?
True
Let q = 11743/11 - 1061. Let j = q - 543/88. Which is smaller: 1 or j?
j
Let v(s) = -s**2 - 7*s - 13. Let j be (-1 + 8 - 1)*4/(-6). Let a be v(j). Is a less than 0?
True
Let h = -0.1 + -1.2. Let d = -1.5 - h. Is d less than or equal to -3?
False
Let f be 22/(-99) - (64/(-36))/8. Which is bigger: -5/92 or f?
f
Let j = 13 + -10. Suppose j*n - 2*v = -32 - 2, 0 = -2*n - 4*v - 28. Let x = -18 - n. Do x and -14/3 have the same value?
False
Let m = 9 - 5. Suppose 0 = -d - 2 - m. Let o = 2163.9 - 2164. Which is smaller: d or o?
d
Let z = -48 + 48. Which is smaller: z or -5.3?
-5.3
Suppose 27 = 2*r - 4*a - a, 2*r = -4*a. Let p be 8/(-16) - r/4. Is p greater than or equal to -12/11?
False
Let p be (-1)/((-3)/7)*30. Let w(i) = -2*i**2 - 71*i - 107. Let q be w(-34). Let k be q/(p/(-44)) - 4. Is 0 greater than k?
True
Suppose -2*z - 175 = -5*y, 2*y - z - 15 = 56. Is 63/2 bigger than y?
False
Suppose -2*i + u = -u + 6, 0 = 2*u + 8. Let b be (i + -6 + 33)*1/(-2). Are b and -4 non-equal?
True
Suppose 0*m = 3*m + 12. Let x = 36 - 36. Suppose x = -8*i + 2 - 18. Is i >= m?
True
Let y(v) = -v**3 - 3*v**2 + 4*v - 8. Let s be y(-4). Let l(i) = -i**3 - 6*i**2 + 18*i + 13. Let f be l(s). Which is bigger: -18/5 or f?
f
Let v(m) = 157*m - 196. Let z be v(2). Is 116 at least z?
False
Let l = -110 - -114. Suppose 5*g = -s + 33, s - 31 - 11 = -2*g. Suppose l = z + 6*h - 3*h, -3*z + 3*h = -s. Are 13 and z equal?
True
Suppose 2*g = 3*g + 2*j - 4935, -2*j = 5*g - 24643. Let z = g + -3063. Let n be 3/4 + z/(-2400). Which is smaller: n or -1?
-1
Let n = -407 - -385. Which is smaller: n or -2/7?
n
Let s be 10/(-2) + (-3 - -3). Let o = 6 + s. Let w = -11/13 + 29/65. Which is smaller: w or o?
w
Let k(j) = -j - 1. Let o be k(-1). Suppose o = -m - 4*m + 80. Which is smaller: m or 0?
0
Let c be (-3)/12 - 1/(-4). Let p be 360/(-840) - ((-3)/(-7))/(16/(-44)). Is p bigger than c?
True
Let d = -35.99 - 0.01. Let q = d - -35.9. Is q less than or equal to 2/3?
True
Let s = -351 + 348. Let b be (-1 - 0) + (-227)/(-229). Let p = 691/458 + b. Which is bigger: p or s?
p
Let s(l) = 8*l + 385. Let r be s(-50). Which is smaller: 35 or r?
r
Let n(i) = -4 + 3 + 0*i + i**2 - 2*i - 2*i**2. Let r be n(-2). Let z be 0*-1*(-1)/r. Which is greater: -1 or z?
z
Let g = -57 + 41. Let j be 4/g - 2/(-8). Is -5/8 > j?
False
Let d be (1/((-15)/70))/((-4)/6). Let c(z) = 3*z - 38. Let b be c(d). Suppose 2*v - 2 = -38. Is v at least as big as b?
False
Let l(t) = 3*t + 8. Let h be l(-15). Let k = h + 35. Which is smaller: 0 or k?
k
Let c(p) = 4*p**3 + p**2 - 2*p + 1. Let a be c(1). Suppose -o = -4*d - 7, -5*o + 3 = 2*d - 10. Let i be (-76)/(-60)*o - 1. Which is smaller: i or a?
i
Suppose 4*z = z + 90. Let i be (130/(-5))/(z/87). Let k = i + 75. Which is bigger: k or -1?
k
Let o(v) = 5364*v**2 + v + 12. Let r be o(6). Let i = r - 2512187/13. Let l = -123 - i. Is l bigger than 0?
True
Let z = 278 + -608. Is z at least as big as -331?
True
Suppose -5*g - 575 = -3*p, 4*p - 8*p + 20 = 0. Let l be (-2)/(-7) - (-116)/g. Let k(z) = -z**3 + 4*z**2 + 1. Let v be k(4). Is l <= v?
True
Suppose 2*f + 7 = f. Let b(t) = -5*t**2 - 46*t - 30. Let y(a) = -a**2 - 9*a - 6. Let i(s) = 2*b(s) - 11*y(s). Let q be i(f). Are q and 6 unequal?
False
Let x = 67 - 11. Let h be (-44844)/x*4/9. Let n = h + 356. Is n <= 1?
True
Let v be 14/(-49) + (-32)/(-14). Suppose -v*s + 21 = -17. Let w = 15 - s. Is -5 > w?
False
Let g = -17 + 23. Suppose 2*r + g = 5*r. Suppose -3 = 3*k - 3*h, -3*h + r + 3 = -5*k. Which is smaller: k or 2/21?
k
Let x be 796*16/(-276)*4. Let o = 554/3 + x. Is o not equal to 1?
True
Suppose t + 14 = 5*k, 2*t = -t - 2*k - 59. Let o = -6 + t. Which is bigger: o or 1?
1
Let s = -4048/15 + 270. Is s bigger than 20?
False
Let v = -242 - -240. Which is greater: -2/5 or v?
-2/5
Let p = 53.923 - 54. Let f = p + 0.177. Suppose 0 = i + 5*y + 10, 0 = -4*i + 3*y + 8 - 2. Are f and i equal?
False
Let u = -9 - 21. Let x be 4/2 - 65/u. Let z = x - 9/2. Is z less than or equal to 1/6?
True
Let k(d) = d**3 - 12*d**2 - 13*d. Let s be k(13). Suppose 3 + 7 = -2*i. Let u = s + i. Is 1 <= u?
False
Let w = -2.417 + 141.517. Let o = w + -139. Which is greater: o or -80?
o
Let n be 0/(-5*8/(-20)). Let g be (-4)/4 + n - 4. Let i = g - -25. Is 19 less than or equal to i?
True
Let j be (8/(-72))/(2/(-12)). Let y = -364/3 + 123. Is y greater than or equal to j?
True
Suppose -2*p = -6 - 6. Let i(h) = h**3 - 7*h**2 + 8*h - 7. Let o be i(p). Let q = o - 2. Which is bigger: 1 or q?
q
Suppose 3*z - 20 = -2*d - z, 0 = -5*d - 4*z + 38. Suppose 4 = d*l - 5*l. Suppose -8 = l*y - 2*y. Which is bigger: y or -27/5?
y
Let w be 485/(-6) + 1/(-2). Let z = 86 + w. Is 4 at least as big as z?
False
Let p be 2/(-12) + 19/6. Suppose -p*g + 8*g + 20 = 0. Let h be g - ((-6)/(-2))/(-1). Is h < 11?
True
Let l = -2.2 + 0.2. Let g = -35 - -13. Let z = g - -21.96. Which is smaller: l or z?
l
Let w = 38 + -18. Let t = -609 - -610. Let h be 35/w - t*2. Are h and 0.09 nonequal?
True
Let y be 52 + 1 + -1 + (1 - 1). Let c = -54 + y. Is -11/10 at least as big as c?
True
Suppose 38 = -7*b + 31. Suppose 8 = c + 3*c. Is c at least b?
True
Let m be 9/126 + 75397/(-490). Which is greater: m or -153?
-153
Let a(m) = -m**3 - 15*m**2 - 53*m + 6. Let q be a(-6). Is q >= 7/151?
False
Suppose -54*k + 4359 = -14217. Which is smaller: k or 346?
k
Let r(t) = 3*t**3 + t - 1. Let i be r(1). Suppose 4*g - 9 = 7. Suppose 4*c - 8 = -3*y - g, -c - 8 = i*y. Which is bigger: 6 or c?
6
Let g = -6 + 41. Let m = 5658 + -5658. Is m at least g?
False
Let i = -266 - -165188/621. Does 0 = i?
False
Let q be 94/(-20) - (-48)/12. Which is smaller: 0.4 or q?
q
Let t be -1 - (1 + -3)*2. Let f be t + (0 - 1 - -3). Let h = -95 + 101. Is h at least as big as f?
True
Let h(b) = b**3 + 7*b**2 - 46*b - 9. Let m be h(-11). Is 10 >= m?
False
Let i = -765/7 - -109. Which is greater: i or -20/9?
i
Let i = -439 + 438. Is i bigger than 1/98?
False
Let p(l) = -l**2 - 13*l - 23. Let u be p(-11). Let m be (u - 15/(-9))/(-3). Is m at most as big as -0.8?
False
Let u = 0.52 - 0.3. Let q = u + -0.32. Is q not equal to 5?
True
Let u(n) = 2*n - 9. Let x(r) = 4*r - 18. Let y(g) = 5*u(g) - 3*x(g). Suppose 0 = -4*a + 3*a + 4. Let o be y(a). Are 4 and o equal?
False
Let t = 0.078 + -53.078. Let y = t - -34. Which is smaller: y or 0.1?
y
Let x = 0.23 + 4.77. Let m = -9.9 + 10.9. Is m less than x?
True
Let i be ((-1)/2)/((-3)/60). Let p = -8 + i. Suppose -w + y = -2 - 1, -2*w - y + 12 = 0. Is w bigger than p?
True
Suppose -4*c - 20 = 0, 21 = -2*r - 5*c + 2*c. Let y be (-6)/(-21) - (-19)/7. Let b be (-1 + y)/(-2 - r). Do 1 and b have different values?
True
Let c = 11 + -14. Let n = -1 + c. Let r = n + 4. Is 2/7 < r?
False
Let o be (0 - (-35)/(-14))/5. Which is smaller: o or 0.5?
o
Suppose -5 = 15*b - 35. Does 78/25 = b?
False
Let b(j) = j**3 - 3*j**2 + j - 3. Let k be b(3). Suppose 15*v - 11*v + 124 = k. Which is bigger: v or -32?
v
Let h be (-2 - -3)*-3 - 2183/(-118). Which is greater: h or 15?
h
Suppose -7*d = -12*d + 200. Let v be (-2)/(-10) - 248/d. Which is bigger: v or -4?
-4
Let d be (4/16)/(((-504)/64)/(-9)). Is 9/94 at least as big as d?
False
Let i(g) = g**3 + g**2 - 2*g - 85. Let n be i(0). Let j = 60 + n. Is -23 at least as big as j?
True
Let x(c) = -c**2 - 3*c + 5. Let l(g) = g**2 + 12*g + 7. Let i be l(-11). Let r be x(i). Let k(q) = -q**3 - 7*q**2 + 7*q + 7. Let w be k(-8). Is r != w?
True
Suppose -6071 = -c - 6140. Which is sm