 Let k(u) = -u**3 + 10*u**2 - 22*u - 1. Let y be k(4). Let q be h/14 - (y + -9). Is q > -6?
False
Suppose -2*i + 51 - 41 = -8*u, 2*u - i = -5. Is u smaller than 8/737?
True
Let r = 122010 + -1218937/10. Is r at least as big as 117?
False
Let j = -2710 - -2425. Which is bigger: j or 2/7?
2/7
Suppose 4*d + 43 = -r + 9*d, -1 = -d. Suppose 65 = -2*v + 2*n - 19, -4*v + 5*n = 170. Is r at most v?
False
Let l = 1346/7 - 192. Let o = 426 - 119. Let x = o - 304. Which is smaller: x or l?
l
Let s be 7/140*30 - ((-237)/4 - 2). Which is bigger: s or 0.5?
s
Let t = -8273 + 8273. Which is greater: t or -128/89?
t
Let h be ((-5752)/34)/(18*(-9)/18 - -11). Is h bigger than -85?
True
Let b(n) = -4*n**3 - 6*n**2 + 5*n + 11. Let m be b(-5). Let z be (m/(-279))/2 - 2/(-3). Let s(r) = -r**2 + 7*r - 6. Let g be s(6). Which is greater: g or z?
z
Let c = 141/472 + -1698961/2360. Which is smaller: -720 or c?
-720
Let x(j) = 7*j**3 + 5*j**2 - j + 53. Let a be x(0). Which is bigger: a or -0.4?
a
Let b be 9/(-6)*(-5)/(-10). Let j = 41.1 - 38. Let d = j - 3. Is b != d?
True
Suppose 73*b - 28950 = 396. Is b >= 410?
False
Let o = -13 + 21. Let i be ((6/(-4))/(-1))/(3/o). Suppose -6 = -i*c - 2*r, -5*c - 3*r - r = -15. Which is bigger: -1/26 or c?
-1/26
Let y be 4*(0/(-4) + -1). Let o be 33/6 + (y + 6)/(-4). Suppose 5*d - 35 = 4*x + 25, 0 = o*x. Is d less than 10?
False
Let x be -1 - 28/(-24) - 27/54. Is x at least as big as 104?
False
Let p be (-1)/4 + 0/(38 + -14) - 0. Let a(h) = h**2 - 10*h + 9. Let x be a(9). Is x less than p?
False
Let g = -848 - -2656/3. Let x = -37 + g. Let f(m) = -84*m + 760. Let a be f(9). Is a != x?
True
Let v = -9.2 + -15. Let z = -7.2 - v. Which is smaller: z or 0.2?
0.2
Let m(p) = -10*p - 3. Let q be m(-2). Suppose -q*r = -16*r - 5. Let h be 20/(-35) - (-120)/14. Which is smaller: r or h?
r
Let v be 143595/30*(-6)/(-7179) + -4. Which is bigger: -1 or v?
v
Let x be (-7 - 1) + (-328)/(-1 - 1). Let s = -215 - -370. Which is greater: x or s?
x
Let j = -184 + 346. Let l = j + -172. Which is smaller: l or -0.4?
l
Let b be 7 - ((-3497)/(-13) + 8). Which is smaller: b or -1894/7?
-1894/7
Let z be 20*8/16*1. Suppose 21*w - 190 = 2*w. Is z greater than or equal to w?
True
Suppose 5*j = -86*s + 84*s, -s - 3 = j. Let v be (3 - (-3 + 2))/2. Is j less than or equal to v?
True
Let q be 3/(-4)*((-2040)/(-18))/(-17) + -4. Is q less than or equal to 2/373?
False
Suppose -1624 = 4*t - 6*t - 2*y, 820 = t + 3*y. Suppose -1674 - t = -17*x. Which is greater: x or 147?
147
Let u be ((-50415)/(-18))/(-1) + ((-75)/18)/25. Which is smaller: -2802 or u?
-2802
Let j = -1 + 8. Let t = 3055 + -3059. Let p = j + t. Is p <= 1/9?
False
Suppose -a + x = -22 + 11, -2*a - 4*x + 46 = 0. Suppose 5*b + 5*n + 15 = 0, 3*n + a = -0*n. Which is smaller: 3 or b?
b
Let q(y) = y**2 + 22*y - 25. Suppose -5*a = 3*l - 0*a - 22, 2*l - 2 = 3*a. Suppose 0 = -5*d - 20, -12 - 72 = l*r - d. Let n be q(r). Which is smaller: -23 or n?
n
Suppose 197 = 5*k + 5*i + 3397, 5*i = 25. Let c be ((-3)/1)/(k/86). Let r(q) = q**3 + q**2 + q + 1. Let y be r(-2). Is c not equal to y?
True
Let a = -13686035879/1290 - -10609328. Let o = 6/215 - a. Let p = 302/3 + -100. Which is greater: o or p?
o
Let a = -132 - -457. Let s be 5/a*128 - 2. Let p be 1 + (-4 - -1*8/4). Which is bigger: p or s?
s
Let p = 390 - 393. Let v be (2/(-68))/((-16)/(-1600)). Is p at least as big as v?
False
Let u = -23/32 - -121351/32. Which is smaller: 3792 or u?
u
Let z = -0.568 - -0.071. Let i = 2.497 + z. Let c = 10 + -23. Is c > i?
False
Let b = 15848 + -729. Which is bigger: b or -1/2?
b
Let v be 1 + (-5)/(2 + -3). Let w be (v/20)/(8/150). Let c be (-1072)/64 + 25 - 10/8. Is w < c?
True
Suppose 0 = -3*a + 2*a + 2*f + 18, a = -2*f + 6. Let q be 731/102 + (-2)/a. Suppose -3*j - 39 + q = -4*v, 0 = -2*j + 5*v - 26. Are j and -8 equal?
True
Let k = 9408 + -9192. Is k >= -42?
True
Suppose -h = h. Let j = 47.43 - 39.1. Let g = j + -0.33. Is g at least as big as h?
True
Let y = 633.74307 - -0.15693. Let d = y + -637. Which is smaller: d or 0.2?
d
Suppose 14*d = 18*d + 2768. Let n = 660 + d. Is n >= -185/6?
False
Let o = -16516 - -16583. Let g be (-224)/(-3)*54/60. Is o equal to g?
False
Let a be (24/20 - 1158/(-160))*-2. Which is smaller: -17 or a?
-17
Suppose -13*k = -5*m - 10*k + 722, -3*m + 414 = -5*k. Let f be 2 + (-5)/((-5)/147). Which is bigger: f or m?
f
Let q(k) = -k - 37. Let l be q(0). Suppose 4*d + v = -141, -15*d + 10*d + v = 192. Is d > l?
False
Let w = -706733/2836 - 35/709. Let o = -249 - w. Let u be 1*-1 - (-3 - 4). Which is bigger: u or o?
u
Suppose 0 = 18*i - 37*i + 171. Suppose -6 = -12*c + i*c. Which is smaller: 4/3 or c?
4/3
Let s(c) = -3*c - 25. Let x be s(-17). Let t be (14/12)/(x/6). Suppose -7*y = 856 - 863. Is t at most y?
True
Let k = 27853/153252 - -1/13932. Which is smaller: k or 1701?
k
Let w(b) = -b**2 + 20*b + 261. Let p be w(-9). Which is greater: -2/2129 or p?
p
Let w = 148.146 - 0.146. Let i = 137 - w. Which is bigger: i or -1/5?
-1/5
Suppose 3*r - 5*r - 2 = 0. Let f be 0 + ((-62)/66 - r). Suppose 0 = -b - 0*b. Which is greater: b or f?
f
Suppose 3*u + 4*n = 29, 0*u + 2*n - 13 = -u. Suppose 4*s + 2*o = 3*o - 1, 17 = -u*s + 4*o. Are s and -3/68 nonequal?
True
Let s be ((-5150)/104)/(-5) + (-198)/1287. Which is smaller: s or 11?
s
Let g = 647082/19 + -209273436664/6144809. Let s = g + -20375183/46894595. Let j = s - -1/29. Which is smaller: 1 or j?
j
Let f be ((-495)/198)/(1/(-2728)). Which is smaller: 6822 or f?
f
Let h be 1*-249*(-11)/(-99). Let l = 1936/69 + h. Is 1 at least l?
True
Let z = 58 - 36. Suppose 0 = -5*x - 25, -s + z*x - 17*x = -93. Is 205/3 smaller than s?
False
Let j be 32 + -34 + (-17682)/15. Is -1180 smaller than j?
False
Let w be 4/14 - (4260/1659)/5. Is w > 1?
False
Suppose -520*l = -364*l. Are 58/163 and l nonequal?
True
Let y be ((-4 + 2)/(-4))/(3/(-6)). Let q = -3/3803 - 6481/1426125. Is q <= y?
False
Let g = 154138151/2399 + -64251. Is 0 greater than g?
False
Suppose 0 = a - 6*a + 145. Let t(f) = -2*f**3 - 37*f**2 - 21*f - 23. Let c be t(-18). Which is smaller: a or c?
a
Let s = -92/3115 + -5/89. Let q = 11/35 - s. Let j(b) = b**3 + 7*b**2 - 7*b + 11. Let v be j(-8). Which is bigger: v or q?
v
Let g(u) = -u**2 + 32*u - 5. Suppose -3*f + 2*w = -54, 0 = -4*f + 2*f + 5*w + 25. Let p be g(f). Is 236 at most p?
False
Let q = -296875/4 + 74638. Is q less than or equal to 420?
True
Let b(f) = -5*f**2 - 13*f + 146. Let q(s) = s**2 + 3*s - 29. Let n(j) = 2*b(j) + 11*q(j). Let a be n(3). Which is bigger: 2 or a?
a
Let i be (-13 + 14)/(1/(69 - 2)). Let g = -61 + i. Let o be (18/42 + g/(-14))/3. Do 2/385 and o have different values?
True
Let d = 0.2 + -7.2. Suppose 8*q = 5*y - 31, q - 6*y + 5 = -5*y. Let w be q/(-7) - 495/3080. Is w at most d?
False
Let r = -19500 + 19374. Which is greater: r or -1642/13?
r
Suppose -1026 = 5*f - 3*v + 154, -f = v + 244. Let d be 3/3 + -241 - -1*2. Which is bigger: f or d?
d
Suppose -5*u - 30 = -2*d + 1, -3*u - 25 = -2*d. Which is smaller: 162 or d?
d
Let i = 43 - 52. Let d(w) = -w**3 - 8*w**2 + 8*w - 6. Let p be d(i). Let q be p*(-4)/(-6) + 15/(-15). Is -4/35 greater than q?
False
Suppose 11410 = -16*y - 10474 + 1084. Which is greater: y or -1305?
y
Suppose 3 = 3*i + 18. Let d = -6/1165 - -4592/439205. Let h = -3389/754 - d. Which is bigger: h or i?
h
Let u = -1885/19224 - -2/2403. Which is greater: u or 4/5?
4/5
Let u = 9 + -11. Let l be (0 + 16/20)/(u/(-5)). Let s be ((l/(-4))/1)/((-2)/(-4)). Is s less than or equal to -4/11?
True
Let h = 0.075 - -129.925. Let a = 130.5 - h. Which is smaller: a or -7?
-7
Let j be ((-10)/(-8))/((6/8)/3). Suppose 0 = -3*h - 2*v - 25, j*h + 5*v + 45 = v. Are -9 and h unequal?
True
Let m be (-360)/14 + (-4)/14. Suppose -13 - 19 = 5*k + o, 14 = -2*k - o. Let j be -18*(k - 105/(-14)). Which is smaller: m or j?
j
Let j(f) = 437*f - 3065. Let h be j(7). Is -349/58 at most h?
True
Let h be (-7888)/(-24)*(-3)/5. Let y = h - -987/5. Suppose -2*l - 10 = -4*r - 0*l, -2*l = 3*r - 18. Is r greater than y?
True
Let h = -10472 + 4999. Are -5473 and h equal?
True
Let v be 4/16*2*0. Let m be 6/(((-45)/(-6))/5). Suppose v*b = -2*b + m. Which is smaller: b or -0.1?
-0.1
Let l(b) = 9*b - 6. Let r be l(-6). Let g = -60 - r. Suppose 65 + 0 = -3*u - 2*h,