8.154 - -0.154. Which is bigger: y or t?
t
Let g = 59/174 + -5/29. Let t = 11 - 35/3. Is t bigger than g?
False
Let b = -0.84 + 58.84. Let j = b + -49.2. Let x = 3.2 + j. Is x greater than or equal to 0.1?
True
Let m(k) = -k**3 + 21*k**2 - 19*k - 20. Let u be m(20). Is u greater than 195?
False
Let q be (-3)/(12/56 - 0). Let c = q - -20. Let a be ((-6)/18)/((-34)/c). Is -1 at most as big as a?
True
Let g = 17041/23 - 741. Which is bigger: -5/3 or g?
g
Let g = 19 + -15. Let d be (-4 + g)/(-1 + 0). Let n be d - (-2 + (-2 - -4)). Which is greater: n or -1?
n
Suppose -4*k = 20, 3*x - 2*x = k + 62. Let w be (x/4)/3 + 18/72. Is w less than 5?
False
Let k(g) = -g**3 + 5*g - 5*g + 4. Let y be k(0). Let z be (-2)/y*(-8)/2. Which is greater: z or 3/4?
z
Suppose 2*k + 4 = n, 5*n - 8*n = -2*k - 8. Suppose n = 3*u - 1. Which is greater: -4 or u?
u
Let t = -0.3 - -0.2. Suppose -5*y + 4 = 79. Let j = y - -43/3. Is j > t?
False
Let o be (4/(-40))/(1/(-20)). Is o at most as big as 23/24?
False
Suppose 0 = 2*o + 4, -21*t + 25*t + o + 6 = 0. Which is smaller: t or -3/7?
t
Let t = -1477/4 - -369. Suppose -j + 7 = 2. Is t < j?
True
Let x be (0 + 4)/(7/14). Suppose -2 = -z - 2*u - 2*u, 4*z - 5*u = x. Let c be 3/z*(-6 + 10). Do c and 7 have different values?
True
Let b = 1513 - 1515. Is 107 at most as big as b?
False
Let k = -202 - -217. Is 13 less than k?
True
Let z be (2 + -1)/(-6 - (-2980)/496). Let u be (-512)/z + -1 + 5. Is 0 smaller than u?
False
Let c = 22 + -21.83. Let a = 16.17 - c. Let s = a - 26. Which is bigger: s or 2/5?
2/5
Let n = 77 - 84. Let m = -4.8 - 0.2. Let s = m + 3. Which is smaller: s or n?
n
Let i = 835 - 10013/12. Suppose -5*x - 3*z = -0*x - 15, -3*z = 4*x - 15. Which is smaller: x or i?
x
Suppose 0 = -7*z + 169 + 629. Let g = z + -131. Is -15 smaller than g?
False
Let v(u) = 2*u**2 + 11*u - 23. Let q be v(2). Is q smaller than 130/21?
False
Let m be 0 + 0/3*1. Suppose -3*z + m*w = 3*w + 6, 5*z - 2*w + 17 = 0. Let c = 201 - 202. Is c at least as big as z?
True
Let h(j) = -2*j**3 + 16*j**2 - 2*j + 14. Let c = 7 - -1. Let y be h(c). Let i = -37/15 - -4/5. Which is greater: i or y?
i
Let q be ((-10)/21)/(2/3). Suppose 0 = -17*t - 8*t. Is t at least as big as q?
True
Let v be (0 + (-9)/(-6))*2. Suppose -2*c + v*d + 9 = c, -4*c - 6 = 5*d. Which is bigger: 1/39 or c?
c
Let f = 977 - 978. Which is smaller: -1/670 or f?
f
Let s = -243.6 + 215. Let i = 26 + s. Let p = 2.1 + i. Which is smaller: p or 2?
p
Let n be 6 + -10 - (-1677)/403. Which is smaller: n or -1?
-1
Let u = 3.86 + 0.14. Let r = u + -4. Let a = r + -0.2. Are 3 and a non-equal?
True
Let d = -26.7 - -31.7. Is d > -1/12?
True
Let s(g) = -9*g - 21 + 7*g + 4*g. Let i be s(9). Let k be (-48)/20 + i/3. Is -4 at least as big as k?
False
Suppose -4*z - 6*o - 362 = -4*o, 0 = 5*z - o + 463. Which is smaller: -93 or z?
-93
Let a be 6/12 + (3 - 154/(-4)). Which is smaller: 1 or a?
1
Let n(w) = 3*w**2 - 38*w + 7. Let r be n(6). Which is smaller: r or -109?
r
Suppose -3*d = -25*d - 2046. Which is smaller: d or -95?
-95
Suppose -2*k = 5*n - 13, 0 = -k + 5*k - 5*n - 11. Which is greater: 16/5 or k?
k
Suppose -33*z + 23591 = -2*z. Is 762 > z?
True
Let p be ((-10)/(-15)*27)/2. Suppose 3*c = -p - 6. Are -11 and c nonequal?
True
Let b(q) = q**2 + 3*q + 7. Let i be b(-6). Let w = -61 + 65. Suppose i = w*f - 15. Which is smaller: 11 or f?
f
Let y(k) be the third derivative of -k**5/60 + k**4/24 - k**3 + 3*k**2. Let b be y(-4). Which is smaller: b or -28?
-28
Let o(h) = 3*h**2 + 5*h + 1. Let s be 8/(-24)*(1 + 5). Let m be o(s). Suppose r + 7 = -3*b, 6*r + 5 = m*b + 4*r. Which is bigger: 2/39 or b?
2/39
Let z(o) = 7*o + 25. Let j be z(-5). Which is smaller: 2 or j?
j
Let h = 0.36 - 1. Let r = 25.64 + h. Let s = -25 + r. Is s at least as big as -12?
True
Let q = -784 + 786. Which is bigger: q or 20/23?
q
Suppose 7773*t - 7777*t + 480 = 0. Is t equal to 120?
True
Let g = -111593/21 - -5315. Is g less than or equal to 2?
True
Let j(h) = h - 1. Let p be j(5). Let v be (0 - 0)*-5*p/(-40). Suppose -3*q - 1 + 17 = -5*r, 4*q - 8 = 0. Is r >= v?
False
Let d be (36/30)/((-1)/(-35)). Is d smaller than 48?
True
Let k be (-8)/64 - 282982/(-432). Let m = -655 + k. Which is bigger: 1 or m?
1
Let a be (-15)/(-8 + 3) + 0 + -5. Let i(l) = l. Let p be i(-4). Let o be ((-6)/88)/(p/(-32)). Is a > o?
False
Suppose -8*g = -6*g - 106. Let c be (6/(-9))/(g/(-3)). Which is bigger: c or 1?
1
Let u be (-2)/(-4)*(12 + -18 + -6). Is -9 at most as big as u?
True
Let n(v) = -v**2 + 3*v - 1. Suppose -3*d + 23 = -b, -2*b - 15 = -3*d + 13. Let m = d - 4. Let t be n(m). Is t >= -1/14?
True
Suppose -m + 498 = 5*m. Let q = 94 - m. Are q and 7 nonequal?
True
Let i be (-1)/(-21)*((0 - 11) + 8). Let x be 8/3*(-6)/(-4). Suppose -g = 2*g - x*w - 16, 5*w + 20 = 3*g. Is i smaller than g?
True
Let h = -42 - -5335/127. Is -1 less than h?
True
Let o = -108023 + 108035. Let u be (-1)/(-3) - (-55)/(-3). Let j = u - -31. Does o = j?
False
Suppose -4*p + 18 = -118. Let u be (p/(-85))/(7/5). Which is bigger: u or -13?
u
Let a = 442 + -510. Is a >= -64?
False
Suppose 0 = -0*z + 4*z + 4. Let v be (z/7)/((-9)/(-234)). Let g = 137/35 + v. Is 0 at least g?
False
Let w = 2907 + -2912. Let q = 57/5 + -15. Which is smaller: q or w?
w
Let a be -306 - 1 - 5/(10/12). Do -315 and a have the same value?
False
Suppose 49 - 5 = 4*p. Suppose 6*q - 13*q = 70. Let a = p + q. Is a less than or equal to 3/8?
False
Let j be -1*(1 - 12/(-5)). Let z be (-2)/(-6) - 1/(-3). Which is smaller: z or j?
j
Let k = -5411/19 + 285. Let d be 21/(-2)*(-6)/(18/(-6)). Let q be 171/(-189) + 2/d. Which is smaller: k or q?
q
Let a be (871/(-201))/((-4)/3). Let k = 1 + 1. Is k bigger than a?
False
Suppose 4*n - 3*n = 0. Suppose -3*h - 18 + 0 = n. Let u = 8149 + -8157. Are h and u unequal?
True
Let k(n) = n - 7. Let q(y) = y - 8. Let z(b) = -5*k(b) + 4*q(b). Let u be z(3). Suppose -4*x - 2 = -4*f + 6, 0 = 3*f + 2*x + 4. Is f at least as big as u?
True
Let k(t) = -2*t + 1 - 2 + 0*t**2 - 3 - t**2. Let r be k(-3). Is -6 at least r?
True
Let q be 6 + (-1 - (-1 - 0)). Let p = 0 + q. Suppose -55 = m - p*m. Which is bigger: m or 2?
m
Let t be 6/1 - 492/72. Let g(c) = c + 1. Let u be g(-1). Suppose 5*o + 10 = -u*o. Which is smaller: t or o?
o
Let c(p) = -p**3 - 9*p**2 + 12*p + 21. Let g be c(-10). Let h = 5 - 8. Let i be (h/(-2))/((-135)/(-20)). Is g >= i?
True
Let o = 0.4 - 0.3. Let x = -6059/357 + 329/17. Let v = x - 12/7. Which is smaller: o or v?
o
Let p = 904 - 903.97. Let n = 4.1 + -0.1. Which is bigger: p or n?
n
Let k be (1 + 1)/(-4)*-2. Let g be (-10)/(-25)*(-3)/((-9)/6). Which is smaller: g or k?
g
Suppose c - 4*g - 2 - 138 = 0, -5*c - 3*g = -631. Is 128 less than c?
False
Let p = 0.04 - 0.2. Let w = -7 + 6. Is w at most as big as p?
True
Let d(r) = r**2 + 20*r - 19. Let f be d(-20). Which is smaller: -20 or f?
-20
Suppose -6*m - 1332 = -12*m. Is m < 222?
False
Let d = -271 + 3011/11. Let b be (-546)/(-126) - ((-8)/(-6) - 1). Is d >= b?
False
Let i be (-5)/(20/8) + -5. Let u = 7 + -12. Which is greater: u or i?
u
Let t = 32.06 + -32. Let j = t + 28.24. Let b = j + -28. Which is smaller: b or -2?
-2
Suppose -k - 3*k = -4. Let x be -2 - (k + -3 + 2). Let g be (-2)/(-4)*(-2)/x. Is 1 at least g?
True
Suppose 8*b + 756 = 4*b. Which is bigger: b or -187?
-187
Let f(w) = -18*w**2 - 4*w - 3. Let z be f(-2). Let i = 64 + z. Is -12/7 greater than i?
True
Suppose 0 = -32*h + 17*h. Are h and -1/283 non-equal?
True
Let b be (-2)/5 - (-4528)/10920. Is 0 equal to b?
False
Let g = 317.0464 + -317. Is g less than -1/4?
False
Suppose -55 = -4*r - 7*r. Is r >= 7?
False
Let a = 0.0588 - 0.1588. Let w(x) = 17*x - 2. Let m be w(3). Which is smaller: a or m?
a
Let f be (2/(-3))/(190/2451). Which is smaller: -9 or f?
-9
Let z(j) = -j**2 - 7*j + 2. Let g be z(-6). Let r = -957 - -965. Is r greater than or equal to g?
True
Suppose -4*t - 9 = -j - 0*j, 0 = -4*j - 5*t - 6. Let o be 5148/(-322) + 12 + (-1 - -5). Is j >= o?
True
Let d be (4/(-3))/(11/33). Let z be (-1 - 0)*d/(-82). Which is smaller: z or -1?
-1
Suppose -91*l - 18 = -109*l. Let o be 2/1 + -9 + 2. Which is smaller: l or o?
o
Suppose 3*k = k. Let u(y) = 65*y**3 - y**2 + y + 2. Let v be u(-1). Let w = v - -1041/16. Is k < w?
True
Let q(o) = o**3 - 2*o**2 + 3. L