han o?
True
Let k be ((-1)/2)/(43/(-516)). Suppose 2*i = -3*f + 7 - 0, 4*i + 4*f = 4. Is k >= i?
True
Let o(x) = -5*x - 3. Let z be o(-1). Let y be 9/z*60/(-45). Which is bigger: y or -5?
-5
Let p(q) = q**2 - 2*q - 2. Let j be p(4). Suppose 0 + j = -3*a. Is -2/3 <= a?
False
Let z = -5 - -4. Let y = 1365 + -1385. Which is bigger: z or y?
z
Let s(w) = w**2 - 10*w - 4. Let l be s(10). Is -2/11 less than l?
False
Let b = 19 + -19. Suppose -2*n + 2*x + 0 + 4 = b, 13 = -n + 4*x. Does 8 = n?
False
Suppose -2*a - 3*a - 15 = 0. Let o = -2809/1122 - -2/561. Which is greater: o or a?
o
Let j = -0.0184 + 0.2274. Which is smaller: 0 or j?
0
Let s be 348/(-145)*(-15 - 0 - 0). Let d = s + -36. Is d at least -2/215?
True
Suppose 5*i = 226 + 114. Suppose -7*o + 75 = i. Is 1/156 less than o?
True
Let a(v) = 31*v**3 - 5*v**2 - 5*v + 1. Let p be a(-1). Which is smaller: p or 10?
p
Suppose -24 = -a + 54. Let u be (a/16 + -5)/(3/135). Which is bigger: -6 or u?
u
Let s be (-5 + (-25)/(-9))*52/8. Which is smaller: -15 or s?
-15
Let i(t) = -t**3 + 4*t**2 - t + 3. Let g be i(4). Let b be 2/(-10) - (-2871)/55. Let w = b + -55. Which is smaller: w or g?
w
Let x = -19969/13 + 1535. Let t = 1 + x. Is 0 < t?
False
Let b = 18 + -54. Do b and 0.4 have the same value?
False
Let h be (-2)/4 - (-594)/1224. Which is smaller: -1 or h?
-1
Let i(y) = 23*y - 2. Let j be i(2). Suppose 0 = 5*f - j - 21. Let z be ((-36)/(-12) + -12)*8/(-6). Which is smaller: f or z?
z
Let f be (12/(-9))/((-4)/(-6)). Let i be (f - -37)*1 + 1. Let s be i/(-12) + (-38)/(-14). Which is greater: s or -1?
s
Let n(q) = q**3 + 3*q**2 + 4*q + 4. Let h be n(-4). Let c = -27 - h. Do 1/10 and c have the same value?
False
Let j be (124/22)/((-352)/11). Let m = -3/16 + j. Suppose 2*c + i = 5*i, -i = 0. Which is greater: c or m?
c
Let t(l) = 36*l - 121. Let f be t(13). Is 345 less than or equal to f?
True
Let j = -12 + 15. Suppose -2*g - 20 = -5*f, -f + 9*g + 4 = 4*g. Let s be (-1 + f/j)*1. Which is smaller: s or -8?
-8
Let a = -901/2 - -460. Which is smaller: a or 9?
9
Suppose 4*d = -4*m + 7 - 51, -13 = -m + 5*d. Which is smaller: m or -20?
-20
Suppose -4*p = -3*d - 37, 2*p - 6*d - 23 = -3*d. Let g be 19/p - 2/(-7). Which is smaller: 16/9 or g?
16/9
Suppose z + 2*k = 14, -3*z + 7*k - 2*k - 13 = 0. Let u(f) = f**3 - 4*f**2 + 4*f - 10. Let x be u(z). Let p be (1/(-6))/(x/9). Is 4/5 at most as big as p?
False
Let c = 403 - 403.11. Is c > -0.1?
False
Let l = 227 + -142. Is l at most as big as 88?
True
Let l be (((-34)/3)/1)/(3/(-81)). Let h be (4/l*-2)/((-6)/(-9)). Which is smaller: -1 or h?
-1
Let h be ((-500)/45)/(-4) + (-12)/(-54). Is h at least as big as 4?
False
Let q = 396 - 624. Which is bigger: q or -226?
-226
Let g be 2/2 - 10/9. Let i be (136/(-3))/((-2)/(-6)). Let d = -135 - i. Which is smaller: g or d?
g
Let t be ((-1)/10)/((-15)/(-560)*4). Let z = t + 4/15. Is z < -9/2?
False
Let b = -77 + 80. Let z = 0.3 + 2.7. Let d = b + z. Is d <= 0.1?
False
Let d = 61 - -19. Suppose o = -a - 20, 4*a + o + d = -a. Are -12 and a non-equal?
True
Suppose 2*c + 60 = 2*y, -7 + 3 = 4*y. Is -27 at least as big as c?
True
Let o = 44/3 + -1499/102. Suppose 5*s - 3 - 16 = -a, 0 = -5*s + 2*a + 7. Let p(m) = -m**3 + 4*m**2 - 4*m + 4. Let d be p(s). Is d != o?
True
Let l = 4 + -8. Let d(k) = -2*k**2 - 9*k - 6. Let s be d(l). Let w(z) = 2*z + 2. Let x be w(s). Is 0 less than x?
False
Let v = -573 - -6285/11. Which is greater: -2 or v?
v
Suppose -610 - 2198 = 6*u. Is u at least -469?
True
Let n = 26 + -35. Suppose -3 = o + 7. Is o > n?
False
Let q = 136 - 92. Let d be 2 + (-64)/q + 0. Which is bigger: d or 1?
1
Suppose 4*l + 135 + 5 = 0. Let y = 316/9 + l. Suppose 0 = -b - t - 3, 5*b + 3 = -4*t + 3*t. Which is smaller: b or y?
b
Let c = 45.52 + -5.6. Let h = 35.9 - c. Let d = h + 0.02. Is 2/11 < d?
False
Let c be (-2)/7 + (-208)/7. Let g = c + 39. Let j = 17 - 8. Is g <= j?
True
Let w = 56.01387 + -0.01387. Let v = -2 - -7/3. Is w at least v?
True
Let g = 57/278 - -178501/556. Let r = g + -319. Let j(z) = -6*z**2 - 125*z + 23. Let d be j(-21). Is d less than r?
True
Let b = -39 - -39.3. Which is bigger: -5/16 or b?
b
Let b be (-5)/4*2/(-30). Let h = 11 + -23. Let l = 11.9 + h. Is l greater than or equal to b?
False
Let p be (8 - 0)/8*-2. Are p and -0.12 equal?
False
Suppose 0 = 2*n - 4*z + 212, 297 = -3*n + 4*z - 5*z. Let y be ((-316)/n - 3)/((-2)/5). Which is greater: 8 or y?
8
Let j = 50 + -251/5. Let l(o) be the first derivative of -o**3/3 + 3*o**2 - 8*o - 19. Let u be l(4). Is j less than u?
True
Suppose -3*a - 2*a = 5. Let k = -4.1 - 3. Let o = -20.1 - k. Which is smaller: a or o?
o
Suppose -i - 2*q = -156, -2*i = 4*q - 8*q - 312. Do i and 157 have the same value?
False
Let f be -180*2/(-145 - 3). Let d = f - 3584/1443. Let z = d - 3/26. Which is bigger: z or 0?
0
Let p = -1913 - -718. Is -1196 <= p?
True
Let p(x) = -6*x + 180. Let w be p(27). Is w < 91/5?
True
Suppose 63*h = 169*h + 106. Suppose n + 4 = -5*u, 2*u - 3*n = -2*u + 12. Suppose u*j + j = -2. Which is greater: h or j?
h
Let j = -30 + 27. Let s(a) = -18*a + 6. Let n be s(j). Let p = -241/4 + n. Is p greater than or equal to 0?
False
Let h be ((-494)/52)/(2/4). Which is greater: -31 or h?
h
Suppose 5*l - 6 = -2*x, 0 = 7*l - 2*l + 10. Let m = x + -10. Let u be m/6*-3*-1. Does 1/14 = u?
False
Let k = -626 - -116. Which is smaller: k or -509?
k
Let j be (32/(-6)*1)/(2/18). Which is greater: j or -49?
j
Suppose 2*y + 3 = u + 3*y, -y + 7 = 3*u. Suppose u*s + 2*s = -40. Let t be s/9 - (-6)/9. Which is smaller: -1 or t?
-1
Let g = 0 - -1.6. Let s = g - 2.1. Is 2 at least s?
True
Let v(x) = -2*x**3 - 4*x**2 - x + 2. Let j be v(-2). Let p be (-6)/(-27) - j/18. Which is bigger: p or 6?
6
Let m(b) = 2*b**2 - 4*b - 43. Let j be m(7). Let p(i) = -i**3 - 9*i**2 - i - 8. Let l be p(-9). Which is smaller: l or j?
l
Let t be (-20)/6*(-72)/40. Let v be t/27 - (-12)/(-54). Is v < 1/38?
True
Let l(a) = -5*a**2 + 4. Let w be l(1). Is -1/539 greater than or equal to w?
True
Let n = 25.3 + -27.3. Suppose -2*u + 3*i = -6, 5*i + 10 = -0*u + 2*u. Which is smaller: u or n?
n
Let h = 0.1 - 0. Let s = -15 + 14. Let k be s + ((-15)/(-35) - 0). Is k at least as big as h?
False
Let y be (-46)/(-276) + (-4)/6. Do -2 and y have the same value?
False
Suppose -5 = -2*r + 7*r. Let f = -329.87 + 331. Is f smaller than r?
False
Let j be 2/188*(42 - 38). Is -1 < j?
True
Let d = 6.5 + -6.594. Let b = 0.194 + d. Is -5/13 at least b?
False
Let s be (20/(-16) + 2)/((-2)/8). Let b be s + (-324)/(-165) + 14/35. Which is smaller: b or -1?
-1
Let g be (-8)/(-1 - 1) - (6 - 4). Let p be g*9 + -1 - (-18 - -20). Is p <= 15?
True
Let b(h) = h**3 + 20*h**2 + 35*h - 15. Let p be b(-18). Suppose 4 + 4 = -4*m, 5*f - p*m + 29 = 0. Which is smaller: f or -2?
f
Let l be (14/(-56))/(1/(-4)). Suppose 0 = -5*o + 2*p - l, 15 = -5*o + p - 6*p. Is o at most as big as -1?
True
Let p = -324 + 423. Which is smaller: p or 102?
p
Let g be 15*2/6*-1. Let m be (-2 + (-5 - g))*(5 - 1). Which is greater: -7 or m?
-7
Suppose -3*y + 0*y = -7*y. Suppose 3*v - 3 - 3 = y. Are v and -0.06 unequal?
True
Let y = -0.159 - 0.041. Let g = 0.1 + -0.1. Let o = g - y. Which is greater: -0.09 or o?
o
Let r(k) = k**3 - 5*k**2 + 2*k + 5. Let c be r(4). Let p be 1 - (c + 11)/(-4). Which is greater: p or 12/7?
p
Let h(o) = -o + 8. Let z be h(4). Suppose 0 = 4*s + z*y - 296, -2*s = 3*y + y - 142. Suppose 9*p = 2*p - s. Is p less than -12?
False
Let y = -1338 + 1338. Which is bigger: y or 4/49?
4/49
Let l(w) = 86*w + 398. Let t be l(-5). Which is smaller: -28 or t?
t
Suppose 0*d + 3*d - 18 = -j, 4*j + 8 = 4*d. Let c be 1 - -3 - 19/23*d. Which is bigger: c or 0?
0
Let i = 25.98 + -26. Let c = -0.6 - -0.82. Let g = i + c. Is g greater than or equal to 1/5?
True
Let z be 0 - (1 + (-1)/1). Let f be (0/9)/(z - 1). Let t = 3/169 - 217/2704. Which is smaller: f or t?
t
Let k(f) = -2*f**2 - 2*f - 4. Let j be k(-2). Let b(r) = r + 13. Let v be b(j). Suppose 0 = -2*u + 5 + 5. Does u = v?
True
Suppose -4*y - 2*o = -45 + 177, 0 = 4*y + 4*o + 128. Which is smaller: -35 or y?
-35
Suppose 19*a + 34 = -15*a. Is a bigger than -3/260?
False
Let y = -2 + 1.9. Let f = 25.9 + -26.1. Let t = f - y. Which is smaller: -2 or t?
-2
Let s = 1.21 - 0.01. Let k = s - 1.19. Let f = k + 0.0