 g be 130/(3 - (-25)/(-9 + 4)). Is g less than or equal to -199/3?
False
Let o(r) = r**3 - 9*r**2 + 9*r + 5. Let p be o(8). Is 14 at most p?
False
Suppose 0 = -62*a + 86*a - 96. Let n(l) = l + 15. Let t = 27 - 38. Let d be n(t). Is a < d?
False
Let o(t) = 3*t**2 + 40*t + 7. Let h be o(-12). Let s = 3 - 4. Which is bigger: h or s?
s
Let q be (-13)/((-91)/(-336)) - 6. Is -60 < q?
True
Let p = -97 - 226. Is -324 at most as big as p?
True
Let c = 1250 + -1249. Which is greater: 12/155 or c?
c
Let p = -35.3 + -2.7. Let o = -38.1 - p. Do 10/9 and o have the same value?
False
Let a(y) = -y + 6. Suppose 3*w + 28 = -14. Let t be (-18)/(-63) + (-108)/w. Let f be a(t). Is -2 not equal to f?
False
Let z(s) = 4*s - 57. Let j be z(33). Which is smaller: 74 or j?
74
Suppose -55*a + 54*a = -7. Let t be (-160)/(-2)*3/(-3). Let b be (12/(-10))/(12/t). Which is smaller: b or a?
a
Let h = -6 - -6. Suppose 6*n - 19 = a + n, -4*a + n + 19 = 0. Let w be (a/(-24))/(21/(-36)). Which is smaller: h or w?
h
Let h = 9/37 + -206/999. Let t be 22/10 + 1/(-5). Suppose -g - t*z + 1 = -6*g, -4 = 2*z. Which is bigger: h or g?
h
Suppose 5*v + 180 = -5*z, 4*v + z = -45 - 93. Is v at most -31?
True
Let u(l) = -l**3 + 2*l**2 + 2*l + 6. Let p be u(3). Suppose v = k - 66, p*v + 71 = 2*v + 2*k. Is -62 > v?
False
Let r be 426/14 - (-48)/84. Let n = -37 + r. Suppose 5 = u + 5*i, 5*u + 4 = 5*i - 31. Which is smaller: n or u?
n
Let l = 1 - 1.05. Let c(g) = -69*g + 409. Let s be c(6). Which is greater: l or s?
l
Suppose -3*k - 5 = 2*k. Suppose 25 = -4*c + 5, 4*x - 70 = -2*c. Let s be 24/x*3/(-6). Which is greater: s or k?
s
Let d be (-777)/256686*(-2 + 5). Let q = d + -1/478. Which is bigger: q or 1?
1
Suppose -2*n - o = -3*o - 30, 46 = 4*n + 3*o. Suppose -12 = -4*r + 2*j, -48 = -3*r - 5*j - n. Do 23/5 and r have different values?
True
Let o = 54 + -73. Let y = o - -20. Which is bigger: y or 0.18?
y
Suppose -2*z - 5 - 5 = -2*l, 0 = 2*l - 3*z - 15. Suppose -2 = -6*t + 4*t. Let m be (104/36 - t) + -2. Is l greater than m?
True
Let y = -11698 + 6199937/530. Which is smaller: -1 or y?
-1
Suppose 5*t - 9 = -4*w, 38 = -4*w + 4*t + 2. Is -6 <= w?
True
Let f(d) = 2*d**2 - 7*d + 24. Let q be f(4). Is 17 >= q?
False
Let z(d) = -d + 14. Suppose -4*a + 49 = -7. Let r be z(a). Is r > 0?
False
Let k = -216 - -109. Let u = k + 107.1. Is u less than -1/4?
False
Suppose 0 = 4*y - 4. Let m be (-2)/(-340)*-83 + (5 - (-299)/(-65)). Which is greater: m or y?
y
Suppose 5*u = b + 325, 0 = -4*u + 2*b + 136 + 124. Suppose -u = -2*r - 67. Which is smaller: 4/23 or r?
r
Let u = 4.1 + -4. Let k = u - 0. Suppose 0 = -19*s + 21*s + 18. Is s < k?
True
Let x be ((-3)/5)/(-2 - (-27)/15). Suppose x*r + 0*h + 9 = -5*h, -2*r - 6 = h. Is r greater than or equal to -7?
True
Let l be (-33)/(-6) + (-1)/2. Suppose l*g + 4*w - 60 = 0, -w = -g - 4*g + 60. Let v = g - 14. Which is smaller: -6/11 or v?
v
Suppose -135 = -9*q - 0*q. Let f be (38/q)/(4/(-40)). Is -26 greater than or equal to f?
False
Let h = 449 - 426. Which is smaller: 10 or h?
10
Let l = 1453 + -1531.7. Let y = l + 84. Let u = y + -5. Is 0 greater than u?
False
Let s = -902 + 901. Is s greater than or equal to 1/99?
False
Suppose 4*d = 4*b + 88, 3*d - 4*b - 21 - 42 = 0. Suppose d*g = 31*g - 870. Is g at least as big as -1?
True
Let d be (-4)/(-22) + (-304)/1430. Is 0.06 bigger than d?
True
Let o(a) = 25*a**3 + a**2 + 1. Let d be o(-2). Let i = -2 - -4. Let n be i/(-5) + (-3)/d. Is n < -1?
False
Suppose 2*k + 3*b = -22 - 9, 3*k = 5*b - 18. Which is smaller: -8 or k?
k
Let p be (-2)/(-6) + 16/6. Suppose 5*b - 7*y = -2*y + 10, -2*y = -p*b + 11. Is b greater than or equal to 4?
True
Let u(s) = s**2 + 2*s + 1. Let l be u(2). Let b = 16 + l. Let y = b - 28. Which is smaller: -8/3 or y?
y
Suppose 17340 = 24*p + 2556. Is 617 greater than p?
True
Let q(o) = -2*o + 17. Let g be q(5). Let m = -10 + g. Which is bigger: m or -9?
m
Let k = 0.34 + -0.25. Let d = -0.51 - k. Let u be (-8)/12 - (-4)/6. Do d and u have different values?
True
Let u = 162 - 138. Is u less than 26?
True
Suppose 0 = h + 7 - 3. Let d be (h + 2)*(-6)/4. Let b = 1597 - 1601. Which is smaller: d or b?
b
Suppose -8*t + 2 = -7*t. Suppose 2172 = 2*x + t*x. Let f = x - 5969/11. Are f and -1 nonequal?
True
Let b = -168 + 107. Let l = b + 61.1. Is -0.12 smaller than l?
True
Let h be 1432/356 + (-1)/(4/16). Which is smaller: h or 8?
h
Let s be (8 - 10)/(63/6003). Do s and -192 have different values?
True
Let q = -28.063 - -0.063. Let y = q - -21. Is y greater than -1/5?
False
Let s = 46/5 + -394/45. Let k be 2*-1 + (-10)/1. Let y = 12 + k. Is y at most as big as s?
True
Let u(g) = -g**2 + 10*g + 3. Let h be u(12). Let w be (-6)/h + (-15)/(-21). Let b = 1181/7 + -169. Which is greater: b or w?
w
Let u = -34.9 - -35. Suppose 2*i = 3*n - 27, 2*n + 3*n + 5*i = 20. Which is greater: n or u?
n
Suppose 2*m - 8 = -5*d + 35, -m + 23 = 4*d. Which is smaller: m or 240/13?
240/13
Let u = 15/47 + 21/376. Suppose -9 = -4*k + 3. Suppose 2*s + 6 = -4*c - 0, -2*c + 5*s = -k. Which is smaller: u or c?
c
Let j = 232/13 - 8410/91. Which is bigger: -74 or j?
-74
Let k be 66/88 - 186/56. Is 2/7 less than k?
False
Let h be 100/15 - (-10)/(80/(-56)). Is h < -138?
False
Suppose 0*x + 40 = 2*x. Suppose 0 = 4*o - 5*q - 53 - 75, 0 = -5*o + 5*q + 155. Let j = o - x. Which is greater: j or 5?
j
Let m = -0.03 - -1.03. Let n = 124/9 + -14. Which is greater: n or m?
m
Let s = -624.1 + 624. Which is bigger: 649 or s?
649
Let w be (442552/(-33))/((-14)/(-6)). Let q = -5758 - w. Let g = q + 32/3. Which is smaller: -1 or g?
-1
Let n = -634 + 630. Do -8 and n have the same value?
False
Suppose l = -2*l + 81. Let k = l + -18. Suppose -3*d + 3*q - k = 0, d + 4 = -3*d + 2*q. Is d at least as big as 2?
False
Let j = 517/606 - 5/6. Which is greater: -2/9 or j?
j
Let l = -266 + 265.8. Which is greater: l or -1.1?
l
Let l = -3215 - -382587/119. Suppose 6*i - 67 = -205. Let u(y) = -y**3 - 25*y**2 - 44*y + 45. Let b be u(i). Does l = b?
False
Let y(q) = -2*q**2 + 23*q + 304. Let r be y(-9). Which is smaller: r or -68?
-68
Let v(j) = j**2 + 15*j + 9. Let s be v(-12). Let n be 1*3*(-3)/s. Are 3 and n non-equal?
True
Let a = -2.03 - -0.03. Let k = -0.4 - -5.4. Let r = -8 + k. Which is bigger: r or a?
a
Let x(t) = -5*t**3 + t**2 + 7*t + 8. Let g be x(6). Let f be g/(-1428) - (-4)/(-6). Is -1 at most f?
True
Let p(i) = -i**3 - 11*i**2 - i - 10. Let r be p(-10). Let j = -304/3 - r. Is -2 not equal to j?
True
Suppose x + k + 60 = 0, 5*k - 2 + 237 = -4*x. Which is greater: x or -62?
-62
Let i be -2 - (2 + 31 + 3). Suppose 0 = -194*d + 190*d - 160. Is i greater than or equal to d?
True
Let q = 4 + 2. Let c = 83 - 78. Which is greater: q or c?
q
Suppose 0 = n - 2*h - 24, 4*h = n - 0*h - 22. Let x = 0.201 + 0.799. Is x at most n?
True
Let v = 2/307 + -648/5219. Which is smaller: 2 or v?
v
Suppose 0*a + 45 = 3*a. Let s be (60/9 - 0)*(-459)/(-204). Is s smaller than a?
False
Suppose 0 = 700*y - 695*y + 75. Which is greater: -1/6 or y?
-1/6
Let h = -160580/39 + 4117. Is h greater than 0?
False
Let u = -231 - -236. Is -6 bigger than u?
False
Let w = 0.073 + -0.213. Does -2/7 = w?
False
Let g(t) = -t + 1. Let f be g(4). Let o = 8 - 5. Suppose 0 = o*s + r + 7, 3 - 1 = -2*s + 2*r. Which is smaller: s or f?
f
Suppose -36*k = -34*k + 4. Let l be ((-9)/9)/(k/(-6)*-1). Is l greater than or equal to 34/11?
False
Let p = 0.1 - 14.1. Let o = p - -12. Which is greater: o or -0.1?
-0.1
Let k(t) = 15*t. Let l be k(-1). Let s be (-5 - -4) + (3*4)/4. Let x be (1 - (-85)/(-10))*s. Are l and x equal?
True
Let l be 1/(-7) - 6325/3059. Does l = -0.1?
False
Let t(i) = -i**3 - 23*i**2 - 44*i - 39. Let k be t(-21). Suppose 5*r + k*c + 84 - 13 = 0, c = 2*r + 35. Which is smaller: r or -95/6?
r
Let f = -700828/181 + 3872. Which is bigger: -1 or f?
f
Let g(w) = -w**2 - 9*w + 31. Let z be g(-13). Which is smaller: z or -18?
z
Let v be (-3 - (4 + -8))/(20/(-24)). Which is smaller: v or -2?
-2
Let r(w) = w**2 + 5*w + 4. Let u be r(-4). Suppose u = -3*q - 4*q + 7. Suppose -2*y - 5*a = 13, -4*y - 5 - 14 = 3*a. Which is bigger: y or q?
q
Let n(b) = 2*b**2 + 19*b + 11. Suppose 6 + 3 = -f. Let j be n(f). Is j equal to 3/2?
False
Let j = -51.5 - -50.7. Let r = 0.123 + -10.923. Let s = r - j. Which is smalle