77 - (416/156)/(4/(-6)). Is y >= -273?
True
Suppose -3*l = -l - 2. Suppose -5*d = 16 - 36. Suppose -g - g + d = 0. Which is greater: g or l?
g
Let h be (-11)/4 - (-6)/(-24). Let i be (-140)/465 + (-1)/h. Let d(o) = -o**3 + 7*o**2 - 14*o + 176. Let t be d(8). Which is greater: i or t?
i
Let o = 245 + -225. Let x = o + -145/7. Which is smaller: x or -0.05?
x
Let z = -3181 - -1793. Let v be 12/(-15) - 2*z/(-80). Are -36 and v unequal?
True
Let s be ((-24)/9)/(-1)*6. Let t be 40*((-10)/(-20))/((-2)/8). Let u = -63 - t. Is s at most u?
True
Let h be 1/(6/486) + -4. Let n be 10/(-325)*(-35)/h. Is n != -0.4?
True
Let v be (-4*3/(-5334))/(44/(-55)*5). Is 0 less than v?
False
Suppose -44*r - 24*r = 47782 + 170702. Which is greater: r or -3214?
r
Let l(t) = 2*t**3 - 3*t**2 + 22*t - 58. Let f be l(3). Let d be (-14)/4*(-2 - -9). Let i = f + d. Which is smaller: 1/2 or i?
1/2
Let f(j) = -22*j**2 + 6*j + 30. Let n be f(-3). Let h = n - -183. Is -3 bigger than h?
False
Let m = -104 - -103. Let z be 0 + -3 + (0 - (m - 2)). Suppose 0*h - 6*h + 36 = z. Is h != -0.3?
True
Let u(x) be the second derivative of x**5/20 + x**4/2 - x**3/6 - 3*x**2 + 2*x. Let j be u(-6). Let w be -5 - 102/84 - (-7 + 13)*-1. Which is smaller: w or j?
w
Let z(a) = -5*a - 3. Let m be z(-3). Let y(t) = 8*t - 77. Let k be y(10). Suppose k*q - 60 = -3*q. Is q greater than or equal to m?
False
Let i be -6 + (1 - 6/(-3)). Let c = 18411/496 + -1234/31. Which is smaller: i or c?
i
Let g = -0.02 + -1.98. Suppose -4*b - a = 94 + 26, -a = -b - 25. Let u = -17 - b. Which is smaller: u or g?
g
Suppose 281790 = -321*n - 144*n. Is n less than or equal to -598?
True
Let u(k) = k**2 - 12*k - 18. Let p be 2/(4 + 50/(-13)). Let a be u(p). Which is greater: -1 or a?
-1
Let n = -73 - -74. Let b be 10/(-160)*(n + 1). Let q = -1.2 - -0.2. Is q less than or equal to b?
True
Suppose 0 = 59*m - 63*m + 16, t = -3*m - 750. Which is bigger: -764 or t?
t
Suppose 96*b - 112*b = -45664. Is b > 2855?
False
Let q = -1681/4 + 3303/4. Which is greater: q or 407?
407
Suppose 4*s + s - 29 = -u, 25 = 5*u + s. Let h be (u/6)/(5/9*-3). Let l = 10 - 9. Which is smaller: l or h?
h
Suppose 16*y = 72106 - 21450. Let u = -139319/44 + y. Which is smaller: u or -1?
-1
Let r(u) = -2*u**2 + 31*u + 18. Let t be r(16). Let v be ((-3)/(-2))/(t/4). Let x be v - 14*9/10. Which is smaller: x or -11?
-11
Suppose 279*r + 678 = 53*r. Is -7.99 greater than r?
False
Let f(v) = 2*v**2 + 4*v - 4. Let z be (-2 + 3/6)*2. Let o be f(z). Suppose -o*k = -k + 32. Is k smaller than -32?
False
Let y = 19361 + -155103/8. Is y smaller than -28?
False
Let g = -151 + 153. Let o be 4/(-10)*920/(-168) - g. Which is smaller: 0 or o?
0
Let g be 5 - (-5 - -6)/1. Suppose 0 = -6*s - 4 + g. Is s != -1/154?
True
Let j(c) = 10*c + 268. Let x be j(26). Let l = x - 533. Which is bigger: -22 or l?
l
Let l be -33 + 44 - 1*1498. Which is smaller: l or -1488?
-1488
Let a = -1.0706 - 697.9294. Which is smaller: a or 4?
a
Let o = -11 + 8. Let t be ((-13)/(-4) + o)*4. Let p be (12/56)/((-3 - -2)*12/(-16)). Is p <= t?
True
Suppose -s = 3*m + 3380 + 3719, -2357 = m - 2*s. Let x be 3/6 + m/10. Which is smaller: -238 or x?
-238
Let a be 2/(-9) - 38/(-9). Let z be -1 - (6 + -2 - 5/1). Suppose -4 = -a*i - z. Which is smaller: 5/7 or i?
5/7
Let g = 55940 - 55939.92. Let x = -1 - 7. Is g smaller than x?
False
Suppose -4*h = 3*m - m - 296, 2*m = -h + 77. Let w = h - 17. Which is greater: w or 55?
w
Let t be 3 + ((-30)/(-35))/((-16)/56). Is t > 4?
False
Let m = -1239 - -6223/5. Let i = -262/45 + m. Which is bigger: 3 or i?
3
Suppose -10 = 5*r - 5*y, -4*r + y + 4*y = 5. Suppose 0 = b + 5 + 21. Let q = 23 + b. Which is smaller: r or q?
r
Let b = -1/26882 - 9354925/295702. Do b and -33 have the same value?
False
Let k be (-1192)/(-22) - (-20)/(-110). Let x = k + -36. Let n be (-15)/(5/(-1)) + -5. Which is greater: x or n?
x
Let l = 1119842/29 + -38615. Let u be 0 - (-1)/(-1 + 0). Do u and l have different values?
True
Let f be (-2 + 0 - -3) + (2 - -535). Suppose s + 2*y + f = -3*s, 4*y + 131 = -s. Is s at most -134?
True
Let j = 0.0983 + 0.0017. Let f(q) = 120*q. Let z be ((-3)/6)/((-2)/(-4)). Let y be f(z). Which is greater: j or y?
j
Let q = -16.098 + 676.998. Let n = q - 643. Which is greater: n or -1/3?
n
Let p be 15/5 + 24 + 1. Let l = p + -13. Let d be 2/(-10) - 12/l. Is -1/20 at least as big as d?
True
Let v(r) = -3*r**2 + 4*r + 4. Let w be (-16 - -14) + ((-9)/(-1) - 2). Suppose w = -s, 5*s + 6 = g - 25. Let i be v(g). Is i < -81?
False
Suppose 0 = -3*u - 3*b + 351, -4*u = -4*b - 594 + 166. Let a be (-10)/75*5 + u/6. Which is smaller: a or 17?
17
Let u(z) = 2*z**3 - 3*z**2 + 3*z + 3. Let g be u(3). Let h(y) = -y**3 + 9*y**2 + 232 - 258 + y - y. Let n be h(8). Which is smaller: n or g?
n
Let d be 18/8*((-1799)/(-21) + -11). Which is bigger: -2/15 or d?
d
Let o(m) = -m**2 - 8*m + 11. Let n be -1 - 0 - 48/6. Let z be o(n). Let c be -3*(z - (-26)/(-12)). Is 1 not equal to c?
True
Let k be (64/(-3))/4 + (-10)/15. Let x be (6/(-15)*k/(-219))/(-2). Which is smaller: x or 1?
x
Let d(r) = r**3 + 73*r**2 + 73*r - 1384. Let f be d(-72). Which is greater: -1459 or f?
f
Let g be (-88 + 79 - 37192/(-2479)) + -6. Which is smaller: 0 or g?
0
Let d = -37845881/2039 + 18561. Let x = 120309/8156 + d. Is x at least 16?
False
Let h = -33 - -63. Suppose 2*n = -n + h. Let r be 2/n + 6/30. Is 0.04 at least as big as r?
False
Let o(d) = -2*d**2 + 7*d + 11. Let f be o(-4). Let k(i) = -i**2 - 54*i + 65. Let s be k(f). Which is greater: 311 or s?
311
Suppose 351*l - 337*l + 3038 = 0. Is l less than -218?
False
Let x be 5 + -5 - 2*(-686)/91. Is 14 greater than or equal to x?
False
Let j = -7214/117 + 73/78. Let s = 350/9 + j. Is s < -23?
False
Let o = -1973 + 1974. Do 16 and o have different values?
True
Let s(x) = -x**2 + 4*x + 50. Let z be s(-5). Which is smaller: z or 114/29?
114/29
Let w(m) = -m**2 - 15*m - 78. Let j be ((-22)/(-8))/((-5)/20). Let c be w(j). Which is greater: -164/5 or c?
-164/5
Let x = 178 + -177. Is x at most 3/242?
False
Let r = -7357 - -6611. Which is greater: r or -741?
-741
Let x(i) = i - 5. Let k be x(17). Suppose -d - d - 4*b = k, -4*d - 44 = 4*b. Let u(y) = 4*y + 3. Let m be u(-5). Which is smaller: d or m?
m
Let f = -51.4 - -49.4. Do f and -1552/5 have the same value?
False
Let f = 5079 + -35543/7. Which is greater: -2/7 or f?
f
Let d = -9 + -7. Let u = -4907 - -4902. Is d < u?
True
Let o = -4689 + 4758. Let v = -102 + 170. Which is smaller: o or v?
v
Suppose -321 + 65 = 4*j. Let i = j - -56. Let m be ((-3)/((-42)/i))/((-50)/175). Does m = 10/9?
False
Let l be 3 - ((-10)/(-2) + -5*204/360). Is 3.2 at most as big as l?
False
Suppose -312 = 5*u - 2*x, 5*u + 559 - 227 = -3*x. Which is smaller: -326/5 or u?
-326/5
Let k = 0.203 - -85.797. Let a = -76 + k. Is a at least 6/11?
True
Let p be 20/6*24/20. Let y = -31 - -71. Let f be (-292)/y + p - -3. Which is greater: -2/3 or f?
f
Let s = -3346.1 + 3350. Is -15 greater than s?
False
Let k(m) be the third derivative of -m**6/40 + m**5/5 - m**4/8 + 5*m**3/3 - 2*m**2 - 19*m. Let d be k(4). Which is greater: 118 or d?
118
Let y be (-10)/(-4)*(2 - 20/25). Suppose 173 = -y*d - s, 0 = 2*d + 3*s + 28 + 99. Which is smaller: d or -59?
-59
Let z = -7670 - -145762/19. Is 1 at least z?
False
Let c = -23/28 + 1/4. Let q be (-15)/(-4) - (-15)/(-20). Let b = -4 + q. Which is smaller: b or c?
b
Let n = -1477 - -1475. Is n at most as big as 1391?
True
Let b = 6318 - 6317. Is b greater than or equal to -22/53?
True
Let d = 891 + -1137. Let y = -257 - d. Let q = -61 - -551/9. Is q greater than y?
True
Suppose -f - 4*t = 154, 10*f - 6*f + 602 = -2*t. Let b be 0 + -4 + 2*f/(-84). Which is bigger: 10 or b?
10
Let f = -105465/254656 - -72/173. Is f <= -1?
False
Let i = -604 - -602.792. Let n = i + 1.705. Which is bigger: 0 or n?
n
Let g = -1216628681/684 + 1778696. Let h = g + 8/9. Which is bigger: -1 or h?
h
Let z be (40/(-12))/((-24)/9 - -2). Suppose 3*j + 4 + 10 = z*f, -4*j - 2*f - 36 = 0. Suppose 0 = 3*w + 20 + 4. Is j < w?
False
Let a(f) = -f**3 + 13*f**2 - 23*f + 15. Let q be a(11). Let i be (0/(4/q))/((-4)/2). Let y = 0 + 1. Is i greater than y?
False
Let p be -4 + 111 + -2 + 1. Suppose p*h = 113*h + 1141. Which is greater: h or -161?
-161
Let o = -1