= -528778 + 150702106/285. Let s = c + -34/15. Is s >= o?
True
Let o = -45 + 61.4. Let h = 0.4 - o. Let x = 2897.2 + -2897.3. Is x != h?
True
Let h = 6796.26 + -6796. Is 40 at least h?
True
Let i(p) = -p**2 - 6*p - 11. Let k(c) = 2*c + 2. Let y be k(-10). Let m = y - -13. Let l be i(m). Are -10 and l unequal?
True
Let l = 227.45 + 1.55. Let v = l - 228.9. Is v >= 22.1?
False
Let f(y) be the second derivative of -y**5/20 + 11*y**4/12 + 13*y**3/6 - 5*y**2 - 42*y. Let n be f(11). Is 133 not equal to n?
False
Let m be 565/(-2212) + (-44)/(-176). Let q = m - 2726/7189. Which is greater: q or 1?
1
Let r = -1551098/167 + 9288. Let i = -1 - -3. Which is smaller: i or r?
r
Let j be ((-582)/9)/((-4)/6). Suppose 0 = l - 1, u = -4*l + 3*l + 4. Suppose 27 = 3*a + u*x - 267, 0 = -a + 2*x + 92. Do a and j have the same value?
False
Suppose -217*w - 270 - 140 = 675. Suppose -n - 3*n = -104. Suppose 3*f + 13 = m, -n = 3*f + f + 3*m. Is w less than or equal to f?
True
Let z = -1692.08 - -1692.15. Let u = 0.1 - 0.1. Let m = u - 1. Which is bigger: z or m?
z
Let h be ((-19)/(-57))/((-2)/6). Let u be (h/2)/((-12)/24). Let k be (-5 + 3 - -3)/u. Is -2/25 bigger than k?
False
Let o = -0.378 - 37.522. Let s = -217 + 255. Let y = s + o. Is y less than -6?
False
Let v be (8/(-6))/1*(-57)/38. Suppose -v*x - 5 = -3*b, 5*b + x + 10 = 9*b. Is 2 greater than b?
False
Let c(n) = 3*n**3 - 122*n**2 + 84*n - 49. Let i(q) = -q**3 + 42*q**2 - 28*q + 16. Let j(t) = 6*c(t) + 17*i(t). Let x be j(11). Are -561 and x equal?
True
Let d(p) = 0*p**2 + 31 - 5*p**2 - 58 - 13*p + 2*p**2. Let c be d(-3). Is c bigger than -11?
False
Suppose 83*r - 18137 = 80*r + 4*x, -9*r + 54474 = -3*x. Does r = 6052?
False
Let v be 24/((-259)/(-111) - ((-53)/(-15) - 1)). Which is greater: -2028/17 or v?
-2028/17
Let m = -1623 + 2288. Let x be m/3360 + (-1)/6. Let r(d) = d - 3. Let a be r(3). Which is bigger: x or a?
x
Let d = -0.58144 + 0.11144. Which is greater: d or -6/29?
-6/29
Let v be ((-6)/2)/69*-17*3/(-39). Is v greater than or equal to -1?
True
Let p(c) = -c + 17. Suppose -4*r + 74 = -t, 3*r + 2*r - t = 93. Let k be p(r). Which is smaller: -26 or k?
-26
Let r = -1370.3668 + 0.3668. Are 2/3 and r equal?
False
Let d = 19036015/36 + -528431. Let f = 1411/4 - d. Which is bigger: -0.1 or f?
f
Let t = -183.545 - 0.455. Let v = 282 + t. Which is greater: -0.1 or v?
v
Let m(f) = 14*f + 51. Let i be m(-3). Suppose -2*w = i*w - 209. Is w greater than 10?
True
Suppose 0*n + 5*p = 2*n - 41, 0 = -5*n + p + 137. Let x = n + -53. Let s = -14266 - -14240. Which is greater: s or x?
x
Suppose 0 = -4*q + 4 - 12, -3*v + 4471 = -2*q. Which is smaller: 1487 or v?
1487
Suppose 3*t - 286 = -271. Suppose y + 3 = -2*h - 0*h, 11 = y - t*h. Which is smaller: y or 4/139?
4/139
Let s be ((-3624)/(-3204220))/((-3)/(30/(-4))). Is -1 at most as big as s?
True
Suppose -4*c + 61 = 25. Let b be 7 + (-90)/100 + (-12)/(-8). Which is smaller: b or c?
b
Let h(y) = 11*y + 59. Let w be h(-5). Let p be (w + -7)/(-12)*-172. Is p at most -43?
True
Suppose 2*j = 6*g - 2*g - 20, 4*j + 16 = -4*g. Let i = -13 - -4. Let o be 5/(-15)*i/6. Does j = o?
False
Suppose -9*w + 9606 - 17664 = 14604. Which is bigger: -2517 or w?
-2517
Let k = -8685 + 8685. Do -1/4362 and k have different values?
True
Let m(j) = -j**3 + 3*j**2 + 2*j - 6. Let g be m(3). Let b be 14820/2119 - (5 - -2). Which is greater: g or b?
g
Let q be (65/52)/(120/32). Let d = 503 + -354. Is d equal to q?
False
Let h(s) = s**2 - 3. Let t be h(-4). Suppose 4*v = 12, 17*d + 12 = t*d + 4*v. Is d less than 7?
True
Let f = -113446/9 - -922931/72. Are 214 and f unequal?
True
Let j(v) = 10*v + 169. Let f be j(-14). Suppose 55 - f = 26*q. Are -2/205 and q non-equal?
True
Let q = -38 + 67. Let r = q + -4. Let p = r - 16. Do 0.1 and p have the same value?
False
Let l = -1055.8 + 1070.8. Let f = 10.2 + -0.2. Let o = l - f. Which is smaller: -1/3 or o?
-1/3
Let i = -10 + 9. Let r be (-2300)/(-711) + 1 + -8 + 4. Let d = -1/79 + r. Are d and i nonequal?
True
Let c be -1 - -143 - 28/((-420)/(-45)). Is 141 less than or equal to c?
False
Suppose 15*l - 230 = 5*p + 16*l, 0 = 3*p - l + 130. Let u be 0 + 3 - (p + -47). Let g = 173 + -78. Is u smaller than g?
False
Let w be (-1950)/321 + 8 - (2 + 0). Which is smaller: w or 2/41?
w
Let t = -11806.94 - -11807. Is -304 at least t?
False
Let o = -142932 + 143018. Suppose -47 = -3*a + 97. Let r be 2/(-5) + a/70. Which is greater: o or r?
o
Let r(k) = k**2 + 27*k + 36. Let l be r(-25). Let b be (l/(-21))/(((-32)/948)/(-4)). Which is greater: b or 0.3?
b
Let o = -3.4 + -141.6. Let v = 117 + o. Which is greater: v or -1?
-1
Let f(h) = -3*h**2 + 10*h + 10. Let k be f(6). Let r = k + 164. Suppose 5*i + r = 61. Is i at most -25/2?
True
Let r = 2183531/58 + -37647. Is -0.1 at least r?
False
Suppose 3*g = -3*p + 342, -314 = -19*g + 16*g + 4*p. Let w be ((-957)/165)/(8/g). Which is smaller: w or -80?
-80
Let v(z) be the third derivative of -z**5/60 + z**4/6 + 7*z**3/6 + 10*z**2. Let l be v(5). Let x be (-1)/l + (-231)/(-28). Is x less than or equal to 8?
True
Suppose 4*c = -150*s + 148*s - 72, 0 = -s + 5*c - 1. Let m be 4/(-14) - (-332)/(-14). Is s < m?
True
Let l = 151 + -151.77. Let a = -4.77 - l. Which is smaller: -0.7 or a?
a
Let u = 9801/175 + -56. Suppose 2*t - 11 + 13 = -j, 2 = -2*t + 4*j. Is u less than t?
False
Let s(j) = -110*j**3 - 50*j**2 - 183*j + 9. Let b be s(-4). Is 6981 < b?
False
Let g be 14*((-328)/14 + 2). Let v be (-1 - -1) + 1*5/g. Which is bigger: -1 or v?
v
Suppose -5*t + 7 - 17 = 0. Suppose 0 = -s - 4. Let z = -6 - s. Is t less than or equal to z?
True
Let y be (21/9)/7*12. Suppose -y*z + 58 + 42 = 0. Let b(j) = -27*j + 83. Let p be b(3). Which is smaller: z or p?
p
Let n be 192/(-10)*(-12)/16*15. Let a = n - 216. Which is greater: -5/24 or a?
a
Let o be ((-3)/(-5))/((-14)/70) + (-2945)/(-10540). Is o greater than or equal to -3?
True
Let g = 12859476 - 373146081/29. Let a = -7631 - g. Which is greater: 0 or a?
0
Let q(f) = -f**2 + f - 2. Let n be q(0). Let p be n/3*19/4. Let m be (2 + 0)/((-2)/3). Do m and p have the same value?
False
Let y = -16.69 + 1.29. Let j = y - -6.1. Let f = j + 4.3. Which is smaller: 0 or f?
f
Let a = -1251 + 892. Let l = 358 + a. Let v = 0.084 - -33.916. Which is smaller: l or v?
l
Let z = 937 + -4652/5. Let l be 0 - -4 - (-20 + 17). Is l >= z?
True
Let v(k) = -k**3 + 2*k**2 + 7*k - 10. Let i be v(3). Let c be i/(-10) + (767/20)/13. Suppose -t + 13 = -3*w, 4*w + 7 + 1 = -t. Is c bigger than t?
False
Let p(x) = x**3 + 25*x**2 + 15*x - 32. Let t be p(-24). Let s = t + -81. Let d = s - 106. Are -3 and d non-equal?
False
Suppose 3*b = 3*t + 105, -7*b + 4*b = -15. Let c(o) = -o - 9. Let d be c(t). Is 59/3 at least d?
False
Let d(g) = g**3 + 24*g**2 + 35*g + 22. Let i be d(-23). Let j = -253 - i. Which is smaller: -2/43 or j?
-2/43
Suppose 0 = -5*h + a - 8*a + 2726, -h - 4*a + 553 = 0. Is 536 != h?
True
Suppose -2*t + 2137 = 5*j + 341, -4*t - 1062 = -3*j. Suppose -1047*a + 120676 + 183801 = -71396. Which is smaller: a or j?
j
Suppose -24747 = 244*w - 25*w. Suppose 0 = -2*x - y + 3*y - 224, -120 = x + 3*y. Do w and x have the same value?
False
Let w be (1 - (-73)/(-70))/(72/252). Which is greater: 39 or w?
39
Let h(l) = l**3 + 23*l**2 - 45*l - 46. Let b be h(-26). Which is smaller: b or -905?
-905
Let z = -60844 + 137446592/2259. Which is bigger: z or 1?
1
Suppose -3*r + 254 = -6*m + m, -m + 3*r = 46. Let q = 28 + m. Let y = q - -73/3. Is 26/5 < y?
False
Let p = 33.84 + 10.16. Let h = -0.56 - -54.56. Let r = p - h. Which is smaller: r or 4?
r
Let s(m) = -m**2 - 7*m - 1. Let z be s(-4). Let b(g) = -4*g + 63. Let o be b(z). Is 18 smaller than o?
True
Let z(i) = -i**2 - 3*i. Let v(p) = -p**3 - 6*p**2 - 2*p + 11. Let a be v(-5). Let o be z(a). Let f = -10 + 5. Is f greater than o?
False
Let q be 1120/1232 + (-1)/(-11). Which is smaller: 212/147 or q?
q
Suppose -24*h + 29*h - 2*v = -5, -10 = -2*v. Do -3/3295 and h have the same value?
False
Let f be (-4 - 37/(-9))/(170/960). Let t = f + -22/17. Is t smaller than 7?
True
Let y = 0.1924 - -1.7466. Let k = -1.9 + y. Let h = k + -0.139. Which is bigger: -2/113 or h?
-2/113
Let c be 4/((-32)/(-6)) + (-816654)/(-792). Let s = 1032 - c. Is -1 greater than s?
False
Let h be (-21 - -16 - 