)/((-2)/3). Is g less than or equal to p?
False
Let b be (-4)/4 - ((-410265)/82065 + 4). Which is smaller: -1 or b?
-1
Suppose 5 = q - 2. Let x be 4/6 - q/((-567)/(-60)). Let c = 0.27 + -1.27. Is c >= x?
False
Let x be 1/6*(31 - (-329)/(-11)). Is x at least 273?
False
Let u = 3252.95 + -3347. Let d = -0.95 + u. Let j = -95 - d. Which is bigger: j or 36?
36
Let a = 4169 - 54194/13. Suppose p = 5 - 2. Suppose 2*x = -x - 4*n + 1, 2*x + p = n. Which is bigger: x or a?
a
Suppose -4*y + 6*y - 50 = 0. Let h be (4/(-85))/((-15)/y). Let u be -3 + 5/2 + 9/6. Which is smaller: h or u?
h
Let t = 672 - 684. Is t not equal to -1/6?
True
Let z be (-63)/(-2)*-4 + -13. Let q be 4/(-6) - (-842)/(-6). Let r = z - q. Is r at most 5/9?
False
Let j be 243 + 0 + 6120/306. Is 263 at most as big as j?
True
Let i(b) = -10*b + 89. Let q be i(9). Let p be ((-198)/(-72))/((1/(-22))/q). Is p greater than 61?
False
Let z(v) = -v**2 + 2*v. Let y(x) = -3*x**3 + 2*x**2 + 3*x - 6. Let w(c) = -c**3 - c - 1. Let r(t) = -2*w(t) + y(t). Let l be r(3). Let h be z(l). Is -1 > h?
False
Let s = -793 + 755. Are s and -10 unequal?
True
Suppose -4*p - 32 = 2*k, k = 3*p + 24 - 10. Let v(f) = f**3 + 4*f**2 + 1. Let b(d) = -d**2. Let n(r) = -2*b(r) + v(r). Let l be n(p). Is l <= -4/25?
False
Let i(u) be the second derivative of u**5/20 - 5*u**4/6 + 7*u**3/3 + 21*u**2/2 - 2*u + 6. Let o be i(8). Which is smaller: -3 or o?
-3
Suppose -12 = -0*i - 4*i. Suppose -3*f - 28 = -q, -i*f - 46 = 2*f - 2*q. Suppose 8 = 9*m - 5*m. Which is smaller: m or f?
f
Let h = -8.79 - -9.79. Is 2.421 at least h?
True
Let n be (-1344)/(-27) + (2 - (-32)/(-18)). Let v = -48 + n. Suppose -v*h = 3*h. Which is bigger: -2/51 or h?
h
Suppose -6*v - 48846 = -5*v + 20*v. Is v >= -2327?
True
Suppose v + 5*f = 251, -1588 + 195 = -5*v - 2*f. Are 280 and v unequal?
True
Suppose 0 = 18*g - 10*g - 32. Suppose h + g = -3*h. Let r = -1/985 - -2013/42355. Which is smaller: r or h?
h
Suppose -2*z - 21 = 7. Let c = z - -15. Let k be 6/(-30) + (-1)/(-410)*42. Which is smaller: k or c?
k
Suppose -3*k - 6 = -0. Let n be (-76073)/(-310980) - (k/8)/(-1). Let v = -4/1065 + n. Is -1 <= v?
True
Let h = 1369 + -1369. Which is smaller: 2037 or h?
h
Let f be (-2)/(-5) + (1035/(-25) - -5). Suppose b + 5*y - 63 = -5, 5*b = y + 160. Let k = f + b. Is -4 equal to k?
False
Suppose -80*x - 90*x = -196*x + 182. Is x less than or equal to 52?
True
Suppose -43*v + 226321 + 119829 = 0. Is 8050 less than v?
False
Let w = 32 - 25. Let i = w + -2. Suppose -m - 3*p + p + 7 = 0, p + 1 = -i*m. Is m smaller than -1/104?
True
Let i(d) = -d - 5. Let p be i(-5). Let y(h) = -18*h - 12. Let f be y(-3). Let s be 15/7*f/105. Are s and p unequal?
True
Let i = 392 - 178. Let k = -214.8 + i. Suppose 0 = 4*g - 2*g + 2. Which is bigger: k or g?
k
Let j = -4 - 21. Let i = j + 57. Suppose 4*m = 2*x - i, 0*m = 2*x - 2*m - 32. Which is smaller: x or 15?
15
Let w = -6 + -236. Suppose 40206 + 58695 = -407*v. Is v > w?
False
Let l(m) = m**2 + m - 110. Let c be ((-248)/(-18) - 4) + (-14)/(-63). Let o be l(c). Is o > 3/248?
False
Suppose -10 = 18*g - 3 + 11. Is g greater than 3/4388?
False
Suppose 5*c = 2 + 13. Let w be 2/1 + (-4)/c. Let x = -380/33 + 3833/330. Which is bigger: w or x?
w
Let j = -5186209/296 - -17521. Which is greater: j or 0?
j
Suppose -11 = -5*w + 3*s, -w + 10 + 0 = 2*s. Suppose -3*f + 2*f + 20 = i, f = w*i - 85. Suppose 4*p - 2*z - 63 = 3*z, z - 5 = 0. Is i >= p?
False
Let a be 2416*1 + 1 - 2. Suppose 6*g - a = -g. Let o be (-6 - -3) + g/65. Is 3 less than o?
False
Let w = 33.038 + -33.228. Let r = -227/154 + -2/77. Is r greater than or equal to w?
False
Let n = -8 - -18. Let g = -132/13 + n. Let j = g + -9/26. Is j bigger than -2?
True
Let k be ((-10580)/2536 + 2)*(-6)/(-5). Let a = 2/317 + k. Does 0 = a?
False
Let y be 5/(-3) - (-8)/12. Let f(l) = l**3 + l**2 - 5*l - 5. Let n be f(y). Is n greater than or equal to -18/29?
True
Let g = 0.096 + -264.096. Let v = 261 + g. Which is smaller: v or -74?
-74
Let z = 45 + -287. Let c = 241 + z. Which is greater: -1/13 or c?
-1/13
Let f = -255/4 - -63. Let i = 542 + -548.09. Let u = i + -0.91. Is f >= u?
True
Let n = -257.3 + 256.9. Which is smaller: -615 or n?
-615
Let s(o) = -8*o - 227. Let h be s(-28). Let t be (-9)/h - (-3)/((-9918)/9915). Which is smaller: t or -1?
-1
Let x = -116 - -124. Suppose 0 = -9*h + x*h. Is h less than 1/19?
True
Let u be (-14)/(-35) + (1013/5 - -2). Let k = -205 + u. Are k and -2/135 equal?
False
Let f(g) = g**2 + 30*g + 84. Let i be f(-27). Suppose l = -4*w - 1 - 5, w + i = -l. Is l < 0?
True
Let o(m) = 20*m - 13. Let u be o(-16). Let x = u + 8323/25. Which is greater: -3/7 or x?
x
Let j = 7 - 7.16. Let p = 0.09 + j. Let y(z) = -21*z + 526. Let u be y(25). Which is bigger: p or u?
u
Let r(w) = w**3 + 9*w**2 - 60*w - 9. Let k be r(-18). Is -1845 != k?
False
Let k = 87670 + -87426. Let v = -528 - -771. Which is smaller: v or k?
v
Let b = 464 - 465. Let r be (((-56)/6)/7)/(-3 - b). Is r <= 292?
True
Let f = -5800 - -5584. Which is smaller: -59 or f?
f
Let v = 54 + -53.831. Let m = -0.191 + v. Is m >= -1/3?
True
Let u be 358731*3/(-44841) - -24. Is 0 at most u?
False
Suppose -451*f - 560811 - 1249052 = 0. Is f < -4016?
False
Let n(m) = 4*m**3 + 25*m**2 + 12*m + 2. Let s(a) = 9*a**3 + 48*a**2 + 24*a + 5. Let f(l) = -5*n(l) + 2*s(l). Let z be f(-14). Is -318/11 bigger than z?
False
Suppose -6*u = -19*u - 221. Let n be (48/30)/(u/20). Is n at least -3?
True
Let n be 0 + (-12)/10*170/374. Are n and -8 equal?
False
Let v(r) = 10*r - 30. Let o be v(3). Let w be -2 - -1 - ((2 - -73) + o). Let b = 69 + w. Is b bigger than -6?
False
Let t = 3323/11742 + 2/309. Which is greater: 1 or t?
1
Suppose -78*m - 10254 = -74*m + x, m + 2561 = x. Are -2563 and m unequal?
False
Let l = -5602 + 4971. Which is smaller: l or 20?
l
Let t be 6*-6 + 1 + -2. Suppose 2087*w - 2086*w + 39 = 0. Which is smaller: t or w?
w
Let l be 30/(-16)*((-1)/(-10) - (-644)/(-840)). Is l less than 9?
True
Let b = 85.66 - 87. Let t = -1.51 + b. Let i = -0.05 - t. Which is smaller: 1 or i?
1
Suppose 4*l - 73 + 10 = -5*y, 120 = 5*l - 2*y. Suppose 5*c + 75 = 4*i, -i + 4*c = -0*i - 16. Which is smaller: l or i?
i
Let c = -84.79 - -1.89. Let n = -0.059 + 83.059. Let d = n + c. Is d equal to -20?
False
Let z = -70 - -74.4. Let m = -67.4 + z. Let h = -69 - m. Are h and -3 non-equal?
True
Suppose -l = 5, -4*n + 600 = -2*l - 54. Which is bigger: 2434/15 or n?
2434/15
Let o be (-1184)/1644 + (-40)/(-30). Which is greater: o or 2?
2
Let q = 205792/55 - 3742. Is q < 1?
True
Let m(o) = 3*o**3 - 18*o**2 + 18*o - 11. Let h(g) = -9*g**3 + 55*g**2 - 55*g + 32. Let s(w) = 2*h(w) + 7*m(w). Let f be s(6). Which is smaller: 154 or f?
154
Let z = -6743 - -6744. Is z smaller than -1/172?
False
Let c = -13008 + 13052. Let l = 67/2 + -33. Is l at least c?
False
Let w be 3/(-6)*(-3)/(12/(-16)). Let o be 18/(-4)*-2*w/2. Suppose k = 6*k - x + 50, 5*k = 3*x - 50. Is o greater than or equal to k?
True
Suppose -2*n - 4*g + 36 = 0, -4*n + 2*g - 6*g + 80 = 0. Suppose -n*b = -27*b + 5. Let j = -38/7 + 41/14. Which is bigger: j or b?
b
Suppose -5*q - 4*y = -586236, -y + 4*y = -2*q + 234500. Let b be (q*3/372)/((-34)/(-194)). Let m = b + -5395. Is -1 equal to m?
False
Let z = -0.16 - -0.16. Let r(j) = -5*j**3 - 44*j**2 - 15*j - 45. Let h be r(-8). Is h greater than z?
False
Let n be 12 - ((-4005396)/(-111258))/3. Which is smaller: 0 or n?
n
Let h = -2008 + 2007. Which is greater: h or 0.03081?
0.03081
Let n = -2.57 + -11.43. Which is bigger: -21/8 or n?
-21/8
Let y = -0.161 - -0.079. Let z = 68.118 + -68. Let u = z - y. Which is bigger: u or 1?
1
Let n be (-132)/33 + (0 - -8). Suppose -n*h - 28 = u + 110, u - h + 138 = 0. Which is smaller: u or -137?
u
Let d = 480 - 476. Suppose -d*u - 7 = -2*y - 5, -y = 3*u + 4. Suppose -4*n = 5*a + 1, 5*a - 4*n + 9 = -0*a. Are y and a unequal?
False
Let t = 264.45 - 264. Let w = t + 0.15. Is -2/13 at least w?
False
Let h = 3383/36 + -421/4. Is -11 greater than or equal to h?
True
Let u be ((-96)/(-60))/((-2)/(-5)). Suppose 33 = u*r + 37. Let h be 8/(-8) - (2 + r - 2). Which is smaller: h or 3/26?
h
Let g(z) = -z**3 - 4*z**2 + 2. Let c be g(-4). Suppose -c = 4*t + 2. Let p be 4/(-10) - 5/((-2325)/141). Do t and p have the same value?
