-n. Let f be ((-96)/(-616))/((-2)/n). Let c = -43/33 + f. Which is greater: c or 0.1?
c
Let x = 6582 - 4465. Is 2116 smaller than x?
True
Let l = 27 + -22. Suppose 0 = 3*k - l*k + 24. Let v(u) = -u**3 + 12*u**2 - 4*u + 1. Let o be v(k). Which is smaller: o or -46?
o
Let u = 3920.4 + -3923. Which is greater: -6 or u?
u
Let a = -628603/55 + 11431. Is a less than or equal to 1?
False
Let j(x) = 3*x**2 - 7*x + 1. Let v be j(2). Which is greater: v or 1/9?
1/9
Let w = 0.37 + -0.31. Let r = w - 0.23. Let m = 0.16 + r. Is -0.2 at most m?
True
Let w = -2005264/301 + 6662. Let t = 307/903 + w. Are -34 and t equal?
False
Let d(k) = -k - 20. Let g be d(0). Let p(b) = -b**3 + 24*b**2 - b + 6. Suppose 5*a - 3 = -x - 4, -3*a = -2*x + 63. Let l be p(x). Which is smaller: g or l?
g
Let u be 1581/(-36) + (11 - 6*(-30)/(-36)). Does u = -38?
False
Let q be (7 - -1)*9/2. Suppose -2304 = -61*n - 352. Is q > n?
True
Let i(b) = -61*b - 1674. Let r be i(-36). Which is smaller: r or 516?
516
Suppose -4*a + 63 = f, f - 6*f = 3*a - 43. Let n be (-2 - (-894)/(-15))*(-8)/a. Is 30 equal to n?
False
Let t(r) = r**3 + 17*r**2 + 15*r - 30. Let i be t(-16). Let g(u) = -u**3 - 13*u**2 + 5*u - 33. Let k be g(i). Suppose -15*n + 42 = -k. Is n > 7?
True
Let z = 208691/920 + -1134/5. Is 1 bigger than z?
True
Let b be -2*((-10)/24 + 2/8). Suppose 2*c + 6 = 0, 2*c = -0*k - k + 142. Let q be (1/2)/(8/k). Do b and q have the same value?
False
Let i be -8 - 0 - (-1 + -2). Let v = -4 - i. Let q be (7/(-27))/((22/(-12))/11). Which is greater: v or q?
q
Let a = 27.174062 - 0.165962. Let d = 0.0081 - a. Is d at most -3/5?
True
Let d(y) = -3*y**2 - 25*y + 1. Let b be d(-8). Suppose 0 = -5*j + l - 1, -b*l = -6*l - 3. Is 2/45 < j?
False
Let l be (-3 + 5)*(13/(-2))/(-1). Suppose l*b - 4*b = -18. Let r = 946/5 - 10456/55. Is r greater than b?
True
Let w = -318 - -315. Let h be 96/w - (-24)/(0 + -4). Is h <= -0.1?
True
Let x be (-8 - -6)/(3/(-99)). Suppose -x = -13*w - 1. Which is smaller: 29/7 or w?
29/7
Suppose -77*n = -95*n. Is n less than -2/15149?
False
Let r = -1.319 + 0.316. Let q = 0.453 + r. Which is greater: -2/5 or q?
-2/5
Let s = 340492559/4049 - 84093. Is s > 1?
False
Let a = 332.59 - 133.59. Is a not equal to -38?
True
Let n(a) = a**3 + 40*a**2 - 61*a - 166. Let z be n(-42). Are z and -1135 equal?
False
Let g be (6/(-4))/((-2)/(-24)). Let h be (0 - -1)/(208/68 - 3). Suppose -h*c = 24*c + 656. Is g < c?
True
Let i(f) = 315*f**2 + 1182*f + 3551. Let h be i(-3). Does 2841 = h?
False
Let c = 9.34 + -458.34. Let t = c + 445.47. Let j = 0.53 + t. Which is smaller: 1/13 or j?
j
Let i = -1715.8 - -698. Let n = 1019 + i. Is -28 <= n?
True
Let s be (-335)/(-1005) + (2/(-6) - 4560/904). Is -6 greater than or equal to s?
False
Suppose -5*r + 2*f = 3*f - 30, -f = 3*r - 18. Suppose -r*k - 3*k = 585. Let i = 89 + k. Which is smaller: i or -2?
-2
Let p be 20*(-3)/(-16)*-2. Let b = p + 1363/182. Suppose -1098*m - 60 = -1158*m. Which is greater: m or b?
m
Let z = -37564/387 + 874/9. Let g(o) = o. Let n be g(0). Let k be (-4)/(-3 - -7) - n. Is z != k?
True
Suppose 2*r - 1653 = -5*i, -14*r + 17*r + 3*i - 2502 = 0. Is 841 at most as big as r?
False
Let o be (-42)/145936*4*5/(45/(-6)). Is -1 greater than or equal to o?
False
Let n = 51 - 51. Let u = 556 + -526.05. Let z = -30 + u. Which is greater: n or z?
n
Let l be 21075/(-242627) - 114/(-1311). Is -1 less than l?
True
Let s = -0.9 + -4.1. Let j be 5 - ((-540)/840)/((-12)/88). Is j < s?
False
Suppose 2*t + t - 27 = 0. Suppose 0 = -11*l + t*l - 36. Is -19 less than l?
True
Let i = 3 - -39. Let s(u) = -u**2 + 99*u + 244. Let r be s(101). Is r at most as big as i?
True
Suppose -v - 2*w + 476 = 705, 2*v = -2*w - 470. Which is smaller: v or -246?
-246
Suppose -33*a = -75*a - 47*a + 8811. Which is greater: a or -12?
a
Let a be 5 - 1 - (-16320)/(-4284). Which is smaller: a or 57?
a
Let q(w) = w**3 - 5*w**2 - 4*w + 28. Let u be q(6). Suppose 248 = 13*r + u. Is 15 <= r?
True
Let i(s) = -3*s**3 - s**2 + 143*s + 288. Let v be i(-2). Which is smaller: 110 or v?
v
Let v be 152/7 - (-6)/42*2. Suppose -v = -3*g + 2*a, -3*g + 13 = -g - 3*a. Let t be g/(-21)*18/8. Which is bigger: -2 or t?
t
Suppose 435 = 13*w + 500. Which is smaller: -72/17 or w?
w
Let x = 212 - 212.08. Suppose j + 6*g - 7 = g, 0 = -4*g + 4. Which is bigger: x or j?
j
Let m(w) = -19*w + 90. Let d be m(4). Suppose 4*n + 0 - d = -2*v, 0 = 3*v + n - 21. Is v > 5?
True
Let f be (2 + 0)/2*7143/9. Let c = 793 - f. Is c bigger than -0.012?
False
Let k(p) = p**3 + 17*p**2 - 12*p + 381. Let h be k(-18). Which is bigger: h or 263?
h
Let c(a) = -1143*a - 28. Let z be c(7). Are z and -8028 unequal?
True
Let m be -1 + (1 - 2 - 29). Suppose 24*t + 2529 = -831. Let y = t + 111. Is m >= y?
False
Let s = -10.9954 - 0.0046. Let p(o) = -o**3 - 12*o**2 - 10*o + 5. Let z be p(-11). Let x be (6/9)/(z/(-9)). Is s >= x?
False
Let u(x) = -x**3 - 2*x**2 - 6. Let k be u(-6). Suppose -27 = -6*m + 9*m - 5*p, 0 = m + 5*p - 11. Let t be (m/(-8))/((-3)/k). Which is bigger: t or 1?
1
Suppose -10*b + 13*b + 3 = 0, 2*b = 3*c - 17. Let a(y) = 2*y**3 - 14*y**2 + 13*y - 17. Let v be a(c). Is -52 bigger than v?
False
Let z(t) = t - 49. Let n(k) = -25. Let q(x) = -5*n(x) + 3*z(x). Let o be q(8). Suppose -5 = o*d - h, -3 = d + 2*h - 13. Which is smaller: 3/38 or d?
d
Let y = -6.1 - -10.7. Let d = -9.4 - y. Let i = d + 6. Which is smaller: -2 or i?
i
Suppose -26*j = -149 - 2529. Which is smaller: 51 or j?
51
Suppose 10 = -7*s + 6*s + 4*a, 3*a = -3*s - 15. Let p be ((-4)/s)/((-70)/1365). Are p and -15 nonequal?
True
Let o be (-8)/(4 - 0) + 472. Suppose -9*s + 160 = -o. Let v = s + -45. Is 23 at most v?
True
Let p = -5857 + 6257. Which is bigger: p or 401?
401
Let s be 1/5*(-30)/52. Let p = s + -11/130. Let r = 19 - 20. Is r less than or equal to p?
True
Let y be ((-2)/(-88) - 0)*-2. Let a(v) = -71*v**2 + 642*v - 27. Let g be a(9). Which is smaller: y or g?
y
Let z(v) = -3*v - 14. Let y be z(6). Let w be (y/(-14) - 4)/((-1)/(-7)). Let q be w/16 + (-18)/(-20). Does -1 = q?
False
Suppose 0 = -2*h - 1067 + 1059. Let j be 3/(-6) + ((-6)/h)/(-1). Is j bigger than -76?
True
Let x be (-44)/(-42) + (-4)/(-14). Suppose 0 = 4*n + 7011 - 7011. Which is smaller: x or n?
n
Let w = 128.989 - 129. Let z = w - 0.169. Which is bigger: -2 or z?
z
Let s = -267.95 - 19.95. Let j = 288 + s. Which is bigger: j or 100?
100
Let o(w) = w**3 + 13*w**2 - w - 8. Let f be o(-13). Suppose -3*a + 5*p - 33 = -13, 20 = f*p. Let v be 12/(-14) + (-1216)/(-2464). Which is smaller: a or v?
v
Suppose 5 = -b - 7*h + 2*h, -b + 5*h = 5. Let u be 6/(90/(-39))*b. Let g be (23/(-2))/(u/(-26)). Which is bigger: 22 or g?
g
Suppose 16*v = 15883 - 16923. Is 5 less than or equal to v?
False
Let p be ((-189)/(-126))/(2*6/32). Suppose -12*k - p*r = -14*k + 488, 5*k + 3*r = 1246. Is 248 at least k?
True
Let i = 416 + -9155/22. Let u(o) = -o**2 - 18*o - 16. Let r be 2/(1*(-2)/17). Let l be u(r). Is i less than or equal to l?
True
Suppose 5*p + 20 = -0*p. Let o be (10/p)/(2/40*-2). Let f be ((-12)/9)/(o/(-3)). Which is greater: f or 0?
f
Let r = -22374 - -22374.1951. Which is bigger: 4 or r?
4
Suppose -5*p = -8 - 12. Let b(z) = z**3 + 12*z**2 + 18*z - 20. Let s be b(-10). Let t be s + -12*(-30)/96. Is p not equal to t?
True
Let g = -12.2 - -12.15. Let z(w) = -w**3 - 16*w**2 - w + 3. Let k be z(-16). Let x = k - 12. Which is smaller: x or g?
g
Let m = 144.95 + -85.95. Is m equal to -0.5?
False
Let u = -8 - -18. Suppose 0 = u*c - 13*c. Suppose c*h = 3*q + h + 10, -3*h - 12 = 0. Which is greater: 1 or q?
1
Suppose -206*i + 3728 = -183*i - 1815. Is 241 greater than i?
False
Let u(v) = -v**3 - 7*v**2 + 8*v + 36. Let j be u(-6). Let p be (1809/12)/(3*4/j). Which is greater: -602 or p?
-602
Let n be 1105/91 - 12 - (-870)/(-14). Which is smaller: n or -70?
-70
Let w be (-17)/(-85) - (727520/50)/2. Which is bigger: -7274 or w?
-7274
Let x = 31/19 - 569/209. Let h(i) = -i**3 + 2. Let g be h(-2). Suppose 5*n - 10*n = g. Is x smaller than n?
False
Let v(c) = -70*c**3 + 17*c**2 - 11*c - 9. Let d be v(2). Which is bigger: -3666/7 or d?
d
Let r be ((-18)/(-11) - 2) + 606579/4917. Is 159 not equal to r?
True
Suppose -m - 3194 = -4*b, 50*m - 8*b = 50*m. Is -3198 >= m?
False
Let q(y) = y**2 + 4*y - 3. Let v be