(-36))/7. Is 7577 smaller than o?
False
Let f(l) = -l + 155. Let y be f(26). Let a = y - -60. Is a at most 188?
False
Let y be 2*873/(-18)*-7. Is y smaller than 671?
False
Suppose 12*u - 113 = 13*u. Let w = 112 + u. Which is smaller: 5/14 or w?
w
Let m(y) = y**3 - 7*y**2 - 8*y - 7. Let w be m(8). Let j(r) = -r**3 - 8*r**2 - 7*r. Let v be j(w). Let f be 2/8*1/(24/(-64)). Is f at most as big as v?
True
Let g = 1.55 + -1.6. Let k = -416/12593 + -2/257. Is k > g?
True
Let f be (-437)/399 - (4 + (-15)/(0 + 3)). Which is smaller: 0.094 or f?
f
Let q(s) = s**2 + 2. Let f(r) = -3*r**2 + 4*r + 2. Let w(l) = -f(l) - 4*q(l). Let p be w(-4). Let a(v) = -v**3 - 6*v**2 - 3*v + 11. Let h be a(-4). Does p = h?
False
Let j(g) = -g**2 - 5*g - 3. Let o be j(6). Suppose 0 = r + 4, -2*h - 12 = 3*r. Is o >= h?
False
Let v = -130/193 + 687147/386. Which is smaller: v or 1780?
v
Suppose -193*d + 189*d + 260 = 0. Let a = d + -66. Which is bigger: -6/11 or a?
-6/11
Let v = 1117 + -1109. Suppose -6*f + 14 = v. Let n = 2627/54 - 97/2. Is n at most f?
True
Let s(m) = 129*m**2 - m - 2. Let f be s(-1). Let t = f - 228. Is -101 smaller than t?
True
Let o = 1844 + -1724.9. Let f = o + -112. Let u = f - 7. Which is greater: 1 or u?
1
Let n = 34147 - 34146. Let u be (-6)/15 - (-608)/(-580). Which is greater: u or n?
n
Let i = 15553 - 108869/7. Which is greater: i or 7/197?
i
Let l = 36/79 - 22/395. Is 633 smaller than l?
False
Let m = -6 + 13. Suppose 0 = 12*q + 2*q - 1092. Suppose -q*r + 76*r = -14. Is r >= m?
True
Let k = -253 - -169. Let i be (-2 + (-100)/k)*177. Let r = 142 + i. Is 0 < r?
False
Let r be (((-1392)/(-3))/4)/((-28)/(-1015)*5). Which is smaller: -1/6 or r?
-1/6
Let t(k) = -2*k**2 + 98*k + 1504. Let a be t(59). Which is smaller: 16 or a?
16
Let n = -161 + 162.41. Let p = n - 1.394. Is 0.2 greater than p?
True
Let g be 7/21 - 125/(-3). Let w be -47 - -6*40/(-48). Let u = w + g. Which is greater: -11 or u?
u
Let m = -23 + 5. Let h be (0 - -1)/(25/(225/3024)). Let k = h + 37/112. Which is greater: k or m?
k
Let o be -97 - -113 - (-3 + 18). Does -3/1561 = o?
False
Let o be (-14)/(-10) - ((-1607282)/(-33825))/34. Let i be 6/4*(-4)/(-6). Are i and o nonequal?
True
Suppose -r - 3 = 5*l, -7*r - 1 = -5*r + 5*l. Let v be (-17 - 11/(-11))/(0 + r). Suppose -6*o = -4*o, s - 2*o = -4. Which is smaller: s or v?
v
Let k(b) = -b**3 + 9*b**2 + 22*b - 1. Let u(t) = -t**3 - 4*t**2 + 7*t + 25. Let p be u(-4). Let x be k(p). Which is bigger: x or 40?
x
Let v(u) = 47*u**2 - 176*u - 6. Let s be v(4). Do s and 54 have the same value?
False
Let i = 318.043 + -319.43. Is i greater than -0.08?
False
Suppose 37*w - 82*w = -900. Let f = 29 - 8. Let c = w - f. Is -1/2 equal to c?
False
Let i = 4987.419 + -4917.4. Let l = i + -70. Let u = -0.079 + l. Is u greater than or equal to 2/9?
False
Let g be (-6)/16*-16 - (-124)/(-9). Let v = 23/4 + -6. Is v at most g?
False
Suppose 0 = -4*x - 4*j + 232, -83 = -3*x + 5*j + 107. Let c(y) = -y**2 + 15*y - 31. Let q be c(12). Suppose -q*a + x = a. Which is bigger: a or 7?
a
Let n(v) = v + 5. Let r be (-460)/(-140) - 4/14. Let w be n(r). Let q be w/14 + 152/(-133). Is -1 <= q?
True
Let y be -3 - -1 - -4 - 12. Is 6 greater than y?
True
Let t = -1666 - -1664. Which is greater: -84/29 or t?
t
Let v(n) = -218*n**2 - 23*n + 5. Let z be v(-3). Is z equal to -1888?
True
Let t = 251.6 - 272.6. Let p = -0.36 - -0.43. Is p greater than t?
True
Let h = 290.8 + -290.59. Let o = -434/3 - -143. Which is smaller: o or h?
o
Let c = 2801 + -1485. Is 1317 greater than or equal to c?
True
Let y be 1562/(-13) + 12/78. Let l = -105 - y. Let b = l + -16. Which is bigger: -13 or b?
b
Let z = -407/665 - -108/133. Which is greater: -1.6 or z?
z
Let d = -260/51 + 151/153. Which is greater: d or -4?
-4
Let a be (-3367)/259*2/2. Are a and 17 non-equal?
True
Let a be (-3)/(-2) - (-14)/(-72)*9. Which is smaller: 0 or a?
a
Let s be (-45)/20 - 8463/(-156). Which is smaller: 54 or s?
s
Let y(o) = o**3 - 13*o**2 - 11*o + 143. Let f be y(13). Is f >= 4/2117?
False
Suppose 3*d - 1 + 31 = j, -4*j + 165 = -3*d. Suppose 4*z + 1359 + j = 0. Let c = 14395/41 + z. Is c less than -1?
False
Suppose 6*z + 270 = 12*z. Suppose -2*v - 4*s = 96, v - 3*s + 4*s = -z. Is -44 bigger than v?
False
Let n = -0.0639 - 0.0361. Is -1171 smaller than n?
True
Let o be 3 + -21 + -19 - -21. Which is bigger: -425/29 or o?
-425/29
Suppose j + 74 = -2*y, -y - 5 = -7. Suppose -97 - 161 = -3*b. Let i = j + b. Which is smaller: 10 or i?
i
Suppose -4*m = 3*p - 1, 4 = -2*p + m + 1. Let u be -2 - (-2 - -1) - (p + 4). Let k(g) = 2*g**2 + 5*g - 7. Let r be k(u). Which is greater: 0 or r?
r
Let d = -0.8626 - -0.7566. Which is smaller: d or -41?
-41
Let k = 24196 - 23003. Which is bigger: -0.11 or k?
k
Let g(p) = -4*p**2 + 8*p - 57. Let m be g(-13). Let r be 240/m + 28/434. Let o = 7 - 4. Is r > o?
False
Let l = -8790.3 - -8768. Which is smaller: l or 0.9?
l
Let z = 305 + -67. Let c = 115 - 573/5. Is z greater than c?
True
Let j = 37/3 + -59/6. Is 4 greater than j?
True
Suppose 0 = -5*v - 15, 2*n + v = -2*v + 1. Suppose -n*g - 984 = q - 7*g, -3960 = 4*q - 2*g. Let t = 5001/5 + q. Does t = 7?
False
Let s = -329.8 - -330. Let w = 0.2 - s. Is w > 0.024?
False
Let n(z) = -z + 16. Let a be n(11). Suppose 11*u + a = 104. Is 2/33 <= u?
True
Let k be -1*(2/1 - 1). Let o = 37570253/22033 - -730/2003. Let x = o + -1707. Is x > k?
False
Let h = -2730.61 + 2923.7. Let n = h - 192. Let d = n + -0.79. Is d != -0.5?
True
Let l = 5.76 - -73.24. Let q = -66.906 - 0.094. Let j = q + l. Which is bigger: j or -1?
j
Let l be (-936300)/250*20/8. Is l greater than -9363?
False
Let q = -6.2953 + 0.2953. Is 18 > q?
True
Let l be (84/(-126))/(4/18) - 1273. Which is smaller: -0.1 or l?
l
Let w = 5996771/391 + -15337. Which is bigger: 1 or w?
1
Suppose 0*k = -2*k. Let r be (-116)/(-440)*(38/12 - 4). Let s = -1/33 + r. Which is smaller: s or k?
s
Let r(b) = -b**2 + 4*b + 16. Let a be r(6). Let g be a/(63840/48399) - (5 - 2). Let u = g + -1/40. Which is greater: u or 0?
u
Suppose -10 = -5*p, 3*s - 18 = -p - 16. Is s less than or equal to -22/161?
False
Let q(w) = 15*w + 48. Let c = -28 - -25. Let m be q(c). Is 4 greater than m?
True
Let r = 43813/4 - 11019. Suppose -249*a + 247*a = -u + 139, 3*a + 191 = -u. Are r and a unequal?
True
Let q = -96 + 93.9. Let h = -3.1 - q. Let i = h + 2. Do -2/57 and i have different values?
True
Let y(u) = -28*u + 195. Let w be y(7). Which is smaller: w or 1/855?
w
Let s = -91 - -130. Suppose 4*v + s = -t, -4*v = -0*v. Which is smaller: t or -2?
t
Suppose 5*q - 5*a = 64 - 79, -3*a = -2*q - 7. Which is smaller: q or -87/37?
-87/37
Let f = 105555/52 + -2030. Let g = f - -269/1716. Suppose l = -l. Which is bigger: l or g?
g
Let c(y) = 20*y + 227. Let q be c(-11). Suppose -q*b = 19*b - 468. Which is smaller: 6 or b?
6
Let h = -1466 - -843. Is -620 > h?
True
Let t be (-168)/105 - (1 - (-40)/(-25)). Which is bigger: t or 2/751?
2/751
Let a = -4190 + 4192. Which is smaller: a or -1355?
-1355
Let l be (-18)/63*(-2 + -13 - -1). Suppose 4 = -d + 4*y, 0 = -10*d + 14*d + 4*y - l. Suppose -4*j + 2*j = 0. Is d greater than or equal to j?
True
Let n = 22623/23947 + -72/77. Let w = -1058 - -1058. Is n less than w?
False
Let t(j) = -2*j**2 + 14*j + 4. Suppose -99 = p - 12*p. Let o be t(p). Is o less than or equal to -34?
False
Let s = 351149/20 + -67389/4. Let k(m) = -708*m + 1. Let w be k(1). Let f = w + s. Are f and 0 nonequal?
True
Let f = 65 + -114. Let o be (14/18)/((-244)/15372). Is f at least as big as o?
True
Let i = -63.90085 - -0.03085. Let a = 1423 + -1487. Let f = a - i. Is 0.1 < f?
False
Let y = 1595 - 1596. Which is smaller: y or 7/430?
y
Let a(l) = l**3 + 11*l**2 + 6*l - 17. Let f be a(-10). Let x = f + -68/3. Suppose 2*v + 6*o = o - 23, 0 = 5*v + o. Is v at most x?
False
Let c(a) = -1. Let w be -1*(-1 - (1 - 1)) + 1. Let s(h) = -2*h - 23. Let i(f) = w*c(f) - s(f). Let g be i(9). Is 1 at least g?
False
Suppose -8*g - 2*g + 140 = 0. Let d(z) = -z**3 + 15*z**2 - 17*z + 14. Let x be d(g). Which is bigger: -29 or x?
x
Let w = 65351/18 + -14517/4. Which is smaller: 1 or w?
1
Suppose 2*h + 38 - 44 = 0. Let y(m) = 2*m**2 - 36*m + 114. Let j be y(h). Let w be (-2)/8 + 97/4. Is j greater than or equal to w?
True
Let u = 14789 + -8941.