 2). Let g = h + -3. Is w less than g?
False
Let t(k) = 6*k + k + k - k + 1. Let d be t(1). Let o be 2 + ((-5)/(-1))/1. Which is bigger: o or d?
d
Let k = -6.2 - -6. Let d = -1.42 + 1.3. Which is bigger: d or k?
d
Let t be (26/2301)/((-42)/(-9)). Is 1 at least t?
True
Let w = -7061 + 1970017/279. Which is greater: 0 or w?
0
Suppose -3*q + 30 = 27. Is q at most as big as 18/175?
False
Let m be (-10)/(-6)*(-14)/(-5)*-82. Let q = m + 81502/213. Which is smaller: -1 or q?
-1
Let o be (2 - 1)*(-92)/(-66). Let f = 2/33 - o. Suppose -l = -2*u + 3, -6*l - 18 = -2*u - 2*l. Which is greater: f or u?
u
Let t be (-2)/(-6) + (-253)/693. Which is smaller: t or 0.3?
t
Let z be -1 + (0 - -1) + 0. Suppose j - s - 1 = z, 2*j + 3*s - 3 = -1. Which is greater: 1/8 or j?
j
Suppose -2*w - 20 = -4. Let o be (3/(-120))/(6/w). Is -1 greater than o?
False
Let t = -41.2 + 41. Let w be 1/3*8*12. Let c be w/6*27/(-126). Which is smaller: c or t?
c
Suppose -3*s - 26 = 4*i - 106, i - 5 = 0. Let z(n) = n**3 + 4*n**2 + 5*n. Let r be z(-4). Let x = s + r. Is 1/2 at most as big as x?
False
Let b = 3 - -2. Let h be b/13 - (3 - 4). Which is bigger: 0 or h?
h
Let v = 1093 + -1059. Suppose -z = -3*y + 105, 2*y + z - 39 - 31 = 0. Which is smaller: y or v?
v
Let r be (-12)/(-22) - 7870/14630. Is 0 >= r?
False
Let a be (-2)/((-6)/3*1). Suppose -6 = -j - j. Let x be 1/(j + 0/(-1)). Which is bigger: a or x?
a
Let z be 62320/(-152) - (1 + (-8 - -1)). Which is bigger: z or -406?
z
Let g be (603/(-63) - -1) + 8. Is g > -0.24?
False
Let f(d) = d**3 - 10*d**2 + 2*d - 26. Let x be f(10). Let b be 10/(-2) + 0 + 0. Let i = x - b. Are i and 0.1 nonequal?
True
Let s be 6 + (8/2 - 8). Let p be 0/s + (-96)/(-88). Which is smaller: p or 0?
0
Suppose -3*a = 4*y - 65, -a + 5*a = -2*y + 80. Let w be (1 - 4 - 1) + 7. Suppose 0 = -2*x + w + 33. Which is greater: a or x?
a
Let g = 2294 + -80286/35. Which is smaller: 0 or g?
0
Let t = 33 - 22. Let l = 123 + -251. Let m = l + 137. Which is greater: t or m?
t
Let k(x) be the second derivative of -x**5/20 - x**4/6 - 2*x**3/3 - 2*x**2 - 5*x. Let s be k(-3). Suppose -7 = 4*z + s. Is -9 greater than z?
False
Suppose 2*g = -10 + 2. Let b be g - (-4 - -2 - 2). Is -2/13 less than or equal to b?
True
Suppose 4*z - 4 = -12, 5*i + z - 638 = 0. Is i bigger than 128?
False
Let n(k) = k**2 - 3*k. Let h be n(2). Let a be 2 - ((h - -3) + 0 - -1). Which is greater: 4/89 or a?
4/89
Let x(l) = l**2 - 10*l - 11. Let y = -11 - -21. Let a(i) = 2*i - 9. Let n be a(y). Let b be x(n). Is b smaller than 1?
True
Let t = -8427/11 - -767. Which is smaller: -3 or t?
-3
Let h = -42799/3820 - -3/764. Let t = -72706427/135 + 538555. Let x = t - h. Does x = 1?
False
Suppose 0 = -0*o + 9*o. Suppose o = -4*b, 0 = q - 2*q - 3*b. Is -1/87 smaller than q?
True
Let p be 2/(-5) - 9911/(-90). Let x = 219/2 - p. Let d be 1/(21/78) - 4. Which is bigger: x or d?
x
Let a = -43581/68 - -2549/4. Which is smaller: a or -5?
-5
Let t(s) = s**2 + 10*s - 28. Suppose -9*w - 86 = 22. Let h be t(w). Which is smaller: h or -1?
h
Let r(s) = -2*s - 7. Let h be r(-3). Let g be (h + -1)/(6/(-96)). Suppose 5*i - g = -2. Are i and 4 equal?
False
Let u = 5.22 + -0.22. Let k = -3.6 + u. Suppose 3*i + 2 = -4*x + 6, 0 = -3*i. Is k at most as big as x?
False
Let f be (-4)/18 + 33240/(-189). Let z = 176 + f. Is 0 at most z?
False
Suppose 8*o - 517 = -3*o. Is o less than 46?
False
Suppose 4*s = 56 - 36. Is s at least -6?
True
Suppose 2*p = -4*v - 100 - 58, -3*v = p + 80. Let c = p - -91. Which is bigger: c or 25/2?
c
Let v = -1488 - -22312/15. Let r = 1/3 + v. Which is smaller: -1 or r?
-1
Suppose -2*m - 1951 = l - 4*m, 2*l + 3917 = m. Let r = l + 9773/5. Which is smaller: r or -6?
r
Suppose -i = -3*i + 50. Suppose -5*t - i = 0, t = 3*y + 2*y - 30. Suppose 0 = -3*z - y*h - 1, 2*z + 7 = z + 5*h. Is -3 smaller than z?
True
Let m be 2/(0 + 6) - (-44760)/(-4680). Is 1/2 greater than m?
True
Let n = -35.8 + 73.7. Let l = -38 + n. Which is smaller: l or 5?
l
Suppose 5*j = 32 - 22. Does 21/23 = j?
False
Let y = 3.6 + -3. Let g = -84 - -49. Let m be ((-4)/g)/((-10)/75*3). Is y smaller than m?
False
Suppose -2*h + 8 + 26 = 2*i, 5*i - 2*h = 57. Which is smaller: i or 14?
i
Let b = 282/7 - 2901/35. Is -44 < b?
True
Let f = -181 - -268. Suppose -3*u - 345 = -4*a, -3*a + 2*u = 4*u - 263. Is a greater than or equal to f?
True
Let v = -399.1 - -325. Let l = 74 + v. Let y = 33 - 20. Is y >= l?
True
Let i = 3957.041 - 3954. Let f = 0.059 + i. Is 1 bigger than f?
False
Let h be 4 - ((-2 - (-109 - 3)) + -4). Let x = h + 102. Which is smaller: 1/146 or x?
x
Let a = -60 - -92. Let g = a - 32. Is g at least as big as -0.3?
True
Let u = 17 - 103. Let z = u + 86.07. Are z and 0.4 equal?
False
Let g(b) = 4*b**2 + 4*b - 15. Let h be g(-15). Suppose -2*l - h = 3*l. Let v be (-12)/(-25)*l/(-22). Which is bigger: 5 or v?
5
Let y = 106 - 67. Suppose 96 + y = -5*o. Is o greater than -29?
True
Let c be (2*1/2)/(4/(-20)). Which is smaller: c or -6?
-6
Let s be 90/(-9)*(-12)/7660. Which is smaller: -1 or s?
-1
Let x be (-40)/(-35) + 1/(-7). Which is smaller: -6/29 or x?
-6/29
Let a = -181.1 + 181. Is a less than or equal to 16/19?
True
Let c be (128/136)/(30 + 0). Which is smaller: 0 or c?
0
Suppose -60*x + 67*x - 259 = 0. Are 35 and x non-equal?
True
Let q = 494.1 - 494. Is -266 less than q?
True
Let w = -96 - -63. Let p = w + 18. Let i be (6/p)/(16/(-10)). Which is greater: -0.03 or i?
i
Let k be (-4)/(-6) - (-84)/9. Let f = k + -24. Let j be (0 - f/5) + -2. Is 2 at most j?
False
Let j be (-218)/12 + 6/36. Let m be (-30)/(-75) - (-714)/40. Let y = j + m. Which is greater: y or 0?
y
Let h(p) = -15 + 18 - p**2 - 2*p + 7*p. Let s be h(6). Let y be (-1)/(-3) - 10/3. Is y bigger than s?
False
Suppose 3*y - 2*h = 12, -3*y + 5*h = y - 16. Suppose -2*a + 18 = -y*p, a + 0*a + 3 = -p. Let x be (-3)/(-6)*(1 + 0 + -3). Which is smaller: a or x?
x
Let q be (-2 - 14/(-6))/((-350)/1925). Suppose p + 0 = -3. Do q and p have the same value?
False
Let k be (-328)/(-6) + (-700)/(-525). Is 40 less than k?
True
Let u be 1*5/(-5) - -19. Let v(k) = -k**2 + 16*k + 33. Let h be v(u). Is h greater than or equal to -2?
False
Suppose 0 = -r - 3 + 1. Let l be 2091/170 - 9/30. Which is greater: l or r?
l
Let l(t) = -4*t**2 - 5*t - 4. Let v be l(-3). Let d be 988/(-39) + 4/3 + -1. Is v at most d?
True
Suppose 30*g + 38*g + 624 = -36*g. Let c(r) = r**2 - 2*r - 2. Let k be ((-8)/(-6))/(2/3). Let t be c(k). Which is bigger: t or g?
t
Suppose 0 = -5*v + o - 37, -v + 43 = -6*v - o. Let q = 13 + v. Let y(u) = -u**2 + 6*u + 1. Let g be y(q). Which is smaller: g or 8?
g
Let k = 2018 - 30289/15. Let o = -1/60 - k. Is o bigger than 1?
True
Suppose -3*w + 2*w = 0. Suppose 4*l = 7*l - 15. Suppose 0 = -v + l*q + 15 + 2, -5*v = 3*q - 1. Which is bigger: w or v?
v
Let r be 3*(2 + -1) - (-6)/(-9). Which is greater: r or 1?
r
Suppose -9*x - 68 = -7*x. Let d = 34 + x. Is d bigger than -1/34?
True
Let c(b) = -b**3 + 6*b**2 + b - 3. Let h be c(6). Let f be (-1 + h)*(-315)/(-30). Suppose 3*l + 57 = f. Is -0.1 < l?
False
Let a = -200.3 - -200.1. Is a at most 428?
True
Let y = -27 + 88. Is 58 smaller than y?
True
Let p = 68 - 105. Is -38 at most p?
True
Let a = 0 + 0.1. Let o be (12/(-15))/((-13)/5 + 3). Let n be (6/(-15))/(o/20). Is n < a?
False
Let t(p) = -3*p + 3. Let h be t(-2). Let s(r) = r**2 - 8*r - 5. Let a be s(h). Let z(u) = -u**3 + 5*u**2 - 4*u. Let n be z(a). Are -4/9 and n equal?
False
Let n = -0.008 - 0.052. Let o = 0.02 + n. Which is smaller: o or -2?
-2
Let a be (-135)/(-30)*((-860)/57)/(-5). Which is greater: a or 15?
15
Suppose -248 = 6*k - 920. Suppose -p + 3*p = k. Is 56 greater than p?
False
Let t(j) = -2*j**2 + 8*j + 14. Let w be t(7). Let u(c) = -c**2 - c + 3. Let i be u(-5). Let h = i - w. Is h less than or equal to 12?
True
Let g = 728/380895 - -2/25393. Which is smaller: 0 or g?
0
Let d(f) = 2*f + 26. Let v be d(0). Suppose -2*b + v = 126. Let j be 2/3*b/20. Is j <= -2?
False
Let u be (-1)/((-1)/(-6)*2). Let h be 24/18 - (-148)/(-30). Is u at least as big as h?
True
Suppose 17*n - 11*n - 6 = 0. Is 2/487 < n?
True
Let q(b) = -b**3 + 4*b**2 + 4*b + 1. Let p be q(5). Let c be (-8)/12*(-6)/p. Let y = c + 1. Which is smaller: y or 2/3?
y
Let n = -4 + 1. Let i(x) = x**3 + 2*x**2 - 2*x 