. Is l at least as big as 3?
True
Let y = 753.403 - 785.4. Let h = -0.003 + y. Is -1 greater than or equal to h?
True
Let q = 6900/7 - 984. Let k = q + -31/14. Is 2/55 less than or equal to k?
False
Suppose 5*k = -5, 3*d + d + 3*k + 3 = 0. Is -2/219 greater than or equal to d?
False
Let h = -2965 - -3331. Is h at most as big as 361?
False
Let a be -91*5/(-315) - 8/18. Which is smaller: a or 2/2691?
2/2691
Let o = -5 - -3. Let u = -337557/650 - -77/650. Let l = -521 - u. Which is smaller: o or l?
o
Let x = 0 - 0.9. Let a = -8.1 + x. Let m = 8 + a. Is 1/4 at most as big as m?
False
Let g = 843 - 960. Do g and -116 have the same value?
False
Let y be 34*1*3/21. Suppose -80 = -12*f - 4*f. Is f greater than or equal to y?
True
Suppose 17*b = -0*b - 34. Let o(q) = q**2 + 4*q + 2. Let t be o(-3). Which is greater: b or t?
t
Let f = 219 - 216. Which is bigger: -2 or f?
f
Let a(m) = -2*m**3 + 43*m**2 - 16*m - 57. Let i be a(21). Which is smaller: i or 191/4?
191/4
Suppose 4*t - 4 = 4*w, -108*t + 1 = 3*w - 110*t. Which is smaller: w or -2?
-2
Suppose 34 = 2*n - 5*w, 9*n + 2*w = 6*n + 32. Are n and 3 non-equal?
True
Let m = -113/2 + 55. Let r = -0.2 + 0.3. Which is smaller: r or m?
m
Let s be (-2)/(-3) - 9339/(-99). Let h = s - 163. Is h greater than -69?
True
Let v(q) = -q**3 - 15*q**2 - 53*q - 29. Let j be v(-10). Are 2/457 and j nonequal?
True
Suppose 0 = 5*f - p - 1 + 88, -5*p = 15. Let n(d) = -2*d**2 + 118*d + 355. Let r be n(62). Which is smaller: f or r?
f
Let c = 47 + -47.011. Let j = 1.989 - c. Which is smaller: 3 or j?
j
Let s be (-16 + -3524)/(-4)*2/(-6). Are s and -294 nonequal?
True
Suppose 2*y + 9 = -5*o - 12, 4*y - 4*o = 0. Let a = 3 + y. Suppose 12 = -4*g, 0*j - 11 = 4*j + 5*g. Is j equal to a?
False
Let s(a) = -2*a**2 + 23*a - 72. Let m be s(4). Let j be (-30)/25*(-70)/(-8). Which is smaller: m or j?
m
Let k be 33/(-39) + 1*(-1 - 0). Which is smaller: 2 or k?
k
Let b = 20.7 + -21.37. Which is greater: b or 3/11?
3/11
Suppose o = -5*k + 20, -o + 0*k + 20 = -4*k. Suppose q = 3 + o. Suppose -53 = 3*f - 4*g, -2*f = -3*g + 12 + q. Is -19 greater than f?
False
Let g = 5 - -16. Let x be 74/110 - (-6)/(-22). Which is greater: g or x?
g
Let x = -85 - -86. Let n be (0 + x)/(-3)*(-48)/(-16). Is 0 > n?
True
Let y be 6/(4/6*-3). Is y bigger than -18/5?
True
Let h(w) = 2*w - 7. Let r be h(3). Let q be (r - 1)/2*-3. Suppose -4*s = -s - q. Is s less than or equal to -1/5?
False
Suppose -6 = 3*j - 12. Suppose 0 = -5*p - 1 - 4, y - 4 = 5*p. Let x = y - j. Which is smaller: x or 1?
x
Let d(c) = -c**3 + c**2 + 2*c - 4. Let r be d(-3). Let t = 16 - r. Let h be t/(-2 - (1 + -4)). Is -8 greater than or equal to h?
True
Let c = 865/9 + -95. Suppose -4*k + j = -0*k - 11, 0 = 2*j + 6. Which is greater: k or c?
k
Let t(v) = 103*v - 501. Let d be t(6). Do 1/6 and d have different values?
True
Suppose 14*l + 24 = 11*l + 4*o, -3*l + 5*o = 21. Let m be ((6 - 5) + 3)*(-15)/l. Is m > 5?
False
Suppose -5*d - 3*m + 39 - 3 = 0, -2*m = 2*d - 12. Which is greater: d or -5?
d
Suppose -5*b + 121 = -3*r, -r = 3*r + b + 146. Let w = 22 + r. Let m be (-3 - w/6)*2. Is -2 > m?
False
Let n(w) = w**3 - 2*w**2 - 2. Let q be n(2). Is q at least as big as -30/49?
False
Let j be (8/(-148))/((-1)/(-2)). Let k be (762/888 - 4) + 1. Let m = k + j. Which is bigger: -1 or m?
-1
Let w(q) = 64*q**2 - 6*q + 2. Let h be w(2). Suppose -4*y = 2*o + h, -4*y + o - 97 = 140. Let l be (y/(-64))/(6/8). Which is smaller: l or 1?
1
Suppose -15*d - 483 = 357. Which is greater: d or -59?
d
Let r(f) = 3*f + 3. Suppose -6*x + 4*x + t = -30, -4*x - 4*t = -72. Let j = 13 - x. Let g be r(j). Is -7 >= g?
False
Let v be 70*(-11)/187 + 5*1. Which is bigger: 0 or v?
v
Let o = 1 - 11. Let c be (-2 - o/4)*8. Let v(a) = -a**2 + 2*a + 3. Let m be v(-1). Is m at least as big as c?
False
Suppose -3 = p, c + 12 - 9 = -p. Is 40 bigger than c?
True
Let m = -216 - -407. Is m < 189?
False
Let a = 0.5 + -0.3. Let y = -17 + 4. Let o = -51/4 - y. Is a >= o?
False
Let j = -127615/209 - -6760/11. Is j < 4?
True
Suppose 4*o = -2*o. Suppose o = -3*a + 3*x - 45, -5*a - 5*x + 43 = -8*a. Which is bigger: a or -17?
a
Let v(p) = p**3 + 12*p**2 + 10*p - 9. Let k be -4 - -1 - -1 - 9. Let m be v(k). Suppose -36 = -m*o - 2*o. Is o at least 9?
True
Let a be 3*(152/(-18))/2. Let q = a + 12. Is -1 greater than q?
False
Let b = -4 + 3.68. Let m = -4.9 - -4.48. Let i = b - m. Is 14/9 != i?
True
Suppose -4*j = -j + 18. Let h be 12/4 + j/(-3). Suppose g + h = 6*g. Is 2/71 at least as big as g?
False
Let q = -19 - 62. Which is smaller: q or -84?
-84
Let m = 1.486 - 141.086. Which is bigger: 1/2 or m?
1/2
Let h = 1.5 + 5.5. Let o = h + -6.7. Suppose 0 = -16*p - 96 + 32. Which is smaller: o or p?
p
Let k be ((-72)/(-1224))/(0 - 1/4). Which is smaller: 0 or k?
k
Let h = -121.4 - 35.5. Let i = h - -166. Let d = 9 - i. Are 0.1 and d non-equal?
True
Let d = -3.26 - 0.04. Let n = -3.6 - d. Is n > 8?
False
Let u be 5/(-2) - 5706/108. Which is smaller: u or -55?
u
Let m be -1 + -2 + -3 + 24. Suppose -2*p - 4*g = -m, 9 = 3*p + p - g. Which is smaller: 0.02 or p?
0.02
Let l be 7/((-28)/12)*-1. Suppose -3 + 15 = l*c. Is 4 less than c?
False
Let b = -0.4 - 0. Let r = 0.4 + b. Let m = 5 + -5. Are m and r unequal?
False
Let r be 2*(-6)/(-4) + -60. Suppose -b + 5*u - 42 - 29 = 0, -4*u - 44 = b. Are r and b equal?
False
Let a = -879/120704 - 1/1886. Do 0.1 and a have the same value?
False
Let v = -159480/23 - -6932. Which is greater: -2 or v?
v
Let i(r) = -r - 1. Suppose 0 = -5*c + 9 + 11. Suppose 4*s + 12 = c. Let k be i(s). Is k smaller than 1/15?
False
Suppose 5*k - 4*k = -21. Let i be 3 + -2 - k/(-33). Which is greater: i or 0?
i
Let k = -274 - -273. Which is smaller: -2/157 or k?
k
Suppose 7 + 3 = 2*t. Suppose 5*g + 4*c = -13, -12 = -t*c + c. Let y be g*(-8)/(-300)*-3. Is y not equal to -1?
True
Suppose 8*b - 16 = 4*b. Suppose 0 = 2*q - 8 - b. Is q less than 6?
False
Suppose -2*f - 5*f = 70. Let q(w) = -w - 10. Let d be q(-6). Let a be 0/(-1) - d/f. Is -1 at least as big as a?
False
Let l = -22484/235 + -880/47. Is l at most as big as 2/3?
True
Let c = 21 + 3. Let w = c + -71/3. Which is greater: w or -2/7?
w
Let b be (13 - 10)*(0 - 3). Let a be (-1 - 20)*(-15)/b. Let n be (-1 + a/(-45))*-3. Which is bigger: n or 12?
12
Let r be (4/(-10))/((-22)/880). Let l be 3 - 135/40 - (-1126)/r. Is l >= 70?
True
Let w = 630 - 223. Let x = w - 412.19. Let c = x - -0.19. Which is smaller: -0.2 or c?
c
Let g = -8609 + 5916. Let a = g + 29599/11. Is -2 < a?
False
Let r = -2.4 - -2.29. Let i = 0.01 + r. Let g = -9 - -10. Which is smaller: i or g?
i
Let c be (-5 - (-5 + -1) - -4) + -2. Let o be (2/c)/((-13)/((-585)/10)). Let v = 1 + 5. Which is smaller: o or v?
o
Let s(h) = -2*h + 3. Let b be s(2). Let x = -4 + 6. Let f be (-8)/24 - x/(-3). Which is bigger: f or b?
f
Let o = 80.6 - 79.6. Is 2.91 at most as big as o?
False
Let b(c) = -4*c - 31. Let q be b(-9). Let l be (-44)/(-110) + 3/q. Let m be -2 + 1 - 73/(-71). Is l at least m?
True
Let q = 115 - 111. Suppose 2*b = -2*z - 6, -q*z + 3*b = -0*b - 9. Is z != -3/11?
True
Let i = -12 - -13. Let c = -20 - -12. Let p = c + i. Which is smaller: -8 or p?
-8
Let l = 25 - 8. Let r be l/(-85) + (-12)/(-110). Is r smaller than 1?
True
Let a be 8/5*33/(-4620). Which is smaller: a or 0.1?
a
Let x be (1782/45)/(2/40*-1). Let w be 464/x + (-4)/(-18). Which is smaller: 1 or w?
w
Let s = -109 - -86. Let k = -45 + 22. Is k at least as big as s?
True
Let d = 6.7 - -0.3. Is d less than or equal to 36?
True
Suppose -4*s - 5 = -q + 1, 12 = -4*s. Let z = 72 - 55. Suppose -6*y = z + 13. Is q less than or equal to y?
True
Suppose 5*u - 2*o = 10, -u - 5*o + 21 = -8. Suppose -r + 4 - 3 = u*t, 0 = -t. Let s = 7/31 + -167/465. Is r greater than or equal to s?
True
Let x = -37.62 + 38. Let a = 3045 - 3045. Which is greater: a or x?
x
Let r be -5 + 5 + 3/(-5). Is r equal to -4/7?
False
Let t be (3/(-2))/(4/(-8)). Suppose 4*x - 9 = 5*l, -3*l - l + t*x - 8 = 0. Let d be (4/84)/(l/(-45)). Which is smaller: d or 1/4?
1/4
Let a(x) = x**3 - 2*x**2 - x - 1. Let d be a(2). Let l = -31000/7 - -4426. Is l smaller than d?
False
Let v = 1426 + -1499. Is 5/6 bigger than v?
True
Suppose -24*v + 87 - 87 = 0. Which is bigger: v or 28/45?
28/45
Let k be 16/(-36) - (-708