 8*o**2 - 23*o - 432. Let m be i(-10). Which is greater: m or 90?
90
Let g = 7783 + -7842. Which is smaller: g or -35?
g
Suppose 0 = t - 0*t + 47. Suppose 3*y - 2*a - 4 = 0, -2*y - 13 = -a - 15. Let o be (-12)/(36/141) - y/2. Is t less than o?
False
Suppose -255046 = 25*d + 148004. Which is bigger: d or 1?
1
Let o be (-101790)/343525 - (-6)/15*15/21. Is o greater than 1?
False
Let l = 29087 + -28864. Which is greater: 178 or l?
l
Let r = -2.2911 - 69.7089. Which is smaller: 3 or r?
r
Suppose 0 = 5*d + 8 - 43. Suppose 95 = -i + 4*z, -d*i + 338 = -11*i + 2*z. Which is smaller: i or -82?
i
Suppose -m = 3*r - 6, -3*r + 4*m - 7*m = 0. Suppose v - 3*x - 7 = 0, 3*v - 4*x = v + 20. Suppose r*h + h = v. Which is bigger: 2 or h?
h
Let t = -27476 + 28343. Which is smaller: t or 854?
854
Let h be -51*(182/39)/(-14). Let l(d) = -d**2 - 10*d - 10. Let s be l(-9). Let p be 1 - (18/s + 2). Is p at most as big as h?
True
Suppose 26 = 8*p + 106. Let i be (295/(-20)*p)/(1/2). Suppose f - i = -4*f - 5*z, -59 = -f + 5*z. Which is smaller: f or 58?
58
Let w be 2/3 + 126/(-27). Let q be 2/3 - w/12. Let j be ((2 + -2)*q)/1. Is 0 <= j?
True
Let k be (118 - -6 - -19)*120/110. Let c(f) = -f**2 + f + 155. Let u be c(0). Which is bigger: k or u?
k
Suppose -39 - 12 = -17*i. Suppose 4*w + 10 = -d, -7 + i = 4*w + 4*d. Which is smaller: w or -12?
-12
Let x = -0.013 + 2.613. Let p = -2.79 + x. Let s = -0.19 - p. Which is bigger: s or -0.26?
s
Let v be (5 - -19)/(9/(-6)). Let p be (10/(-8))/((-2)/v). Let s be (4/p)/((-1)/(-10)). Is -4 > s?
False
Let f = 27 + -73. Let r = f + 39. Which is smaller: -6 or r?
r
Let t(w) = 8568*w**2 + 6*w + 2. Let x be t(-2). Let l be x/12867*3/25. Let i = -2/4289 - l. Which is greater: i or 0?
0
Let f be (-3 - 143/3)*(-15 - -3). Suppose -4*w - f = 4*t, 3*w - 5*t + 295 + 121 = 0. Is w <= -146?
True
Let t = -15.045 - -15.015. Which is smaller: t or -49?
-49
Let a = -5787 + 5811. Which is smaller: 1/25 or a?
1/25
Let z = 104 + -415/4. Suppose 0 = -3*g - 74 - 94. Let k = g - -160/3. Is z at least as big as k?
True
Let v(s) = s**3 - 26*s**2 - 55*s - 19. Let d be v(28). Let m be -4 + (432/d)/(-4). Is -16 at most as big as m?
True
Let v = -1128487/31 + 36394. Which is smaller: v or -9?
-9
Suppose -28 + 57 + 103 = -44*z. Let f = 63 + -43. Let w be (-4 - z)*(f/(-12))/5. Is -13 at most as big as w?
True
Suppose -x - 145 = 5*l - 2*l, -l + 789 = -5*x. Let k = -156 - x. Is k less than -8/37?
False
Let y = -96 + -18. Let h = y - -113. Is -1/158 at most as big as h?
False
Let a = -138 - -142. Let u be ((-48)/12 - (-14)/a)/(-14). Suppose 2*n + 5 = -0*n + 5*t, n + 3*t = 3. Which is smaller: u or n?
n
Let j = -2489 - -2468. Do j and 5.4 have different values?
True
Let b be 546/(-72) + (-4)/6 + 9. Is b greater than 443?
False
Let w be 4185/(-24) + -5 - 63/(-168). Which is smaller: w or 2/7?
w
Let o = 3086 - 3184. Is o greater than -99?
True
Suppose 12642 = p - 3*u, 11141 = 2*p + 5*u - 14110. Let t be 12/21 + p/(-560). Let q = t + 109/5. Which is bigger: q or -1?
q
Suppose 245 - 340 = -5*x. Let v be (24/(-98))/(x/21 + -1). Are v and 4 non-equal?
True
Let k = 1.98 + -1.935. Let w = -7.955 - k. Which is bigger: w or 2?
2
Let l be (-2850)/9 - (32/112 + 80/(-84)). Is l at least as big as -315?
False
Let q = 203 + -179. Suppose 0 = -5*m + 26 + q. Which is greater: 9 or m?
m
Let s = 4899 - 4842.59. Let k = 56 - s. Let y = 0.44 + k. Is -2/17 less than or equal to y?
True
Suppose 191 = -5*q - 3*g - 1005, 1208 = -5*q + g. Is -243 > q?
False
Let n(s) = -146*s**2 - 2*s - 3. Let m be n(-1). Let b = m + 207. Let z = b + -59. Are -1/26 and z equal?
False
Suppose -115 + 138 = -3*h - 4*l, 5*l + 22 = 3*h. Is -3/2296 greater than or equal to h?
True
Let t be ((-2)/56)/((-3523)/(-85636)). Which is smaller: -2 or t?
-2
Let r = 14297/4011 + 4/573. Let h = -1 + 1.1. Is r <= h?
False
Let l(u) = u**2 + u + 1. Let k be (-28)/126 + 7/(-9). Let t be l(k). Which is smaller: 11/12 or t?
11/12
Let b be 4/18 + (-2)/9. Let t = 541.91 - -13.09. Let l = t - 549. Is l at least as big as b?
True
Suppose -6*p + 8*p = -2*t + 102, 0 = 3*t + p - 147. Is t != 58?
True
Let z be 6/156*-758 + 2/13. Let j = z + 31. Let x be (-35)/20 + -1 + 1 + j. Which is smaller: 13/7 or x?
x
Suppose -3*h - h = 3*p - 21, 4*p - 12 = 0. Suppose -413*m + 105*m + 5886 = 1574. Is m smaller than h?
False
Let h = 11442 - 5005. Do 6439 and h have the same value?
False
Let v(n) = -5*n**2 - 5*n + 5. Let t be v(5). Let u = -13286 + 13140. Is u greater than t?
False
Let s = 1.26 - 68.66. Let y = s + 67.391. Is y bigger than -0.4?
True
Let o = 3806 - 34255/9. Does 0.04533 = o?
False
Suppose 0 = 30*r + 19589 - 2669. Is -564 at most as big as r?
True
Let g = -889 - -325. Let q = -485 - g. Which is bigger: q or 2/5?
q
Suppose -2*i + 7 = -1. Suppose 2*q + 18 = 3*l - 4, 40 = -i*q + 4*l. Let d be (14 - 23) + 29 + -28. Is d smaller than q?
False
Suppose -13*g - 7458 = -2*g. Let s be ((-40)/60)/((-4)/g). Which is smaller: s or -115?
-115
Let z = 1117 + -1152. Let s be 1 - -32 - (-3 + 1). Let t = z + s. Are 4/5 and t equal?
False
Let t = -7704/97 + 20299/291. Suppose 2*n = -5*l + 4*l - 26, 2*n = -2*l - 52. Let h = l - -16. Which is smaller: t or h?
h
Let k = -2087 - -1669. Are k and -420 unequal?
True
Suppose 6 = 2*g, -8*m + 16 = -9*m + 5*g. Let w = -14217/380 - -187/5. Which is smaller: w or m?
m
Suppose -l + 4 = -2*l - 4*h, 3*h = -l - 4. Let w be (l + 5 - 4) + 1. Which is bigger: -66/25 or w?
w
Let a = 118 + -126. Let n = -4219 - -578006/137. Let o = 247/1233 + n. Which is bigger: a or o?
o
Let l(y) = 11*y + 17. Let c(t) = 6*t + 8. Let s(x) = -5*c(x) + 3*l(x). Let b be s(0). Suppose 10*j + b = -19. Which is greater: j or 2/9?
2/9
Suppose 80 = -z - 3*z. Let h = -7/629 + -1810/6919. Is h equal to z?
False
Let v(x) = 5*x**2 + 3*x - 10. Let l be v(-3). Suppose 0 = 42*s - l*s + 928. Is -60 >= s?
False
Let u = 1 + -3. Let p = 2.32 - 60.32. Let s = p + 40. Is u less than s?
False
Let o(p) = 2*p**2 - 70*p + 709. Let f be o(25). Which is smaller: 206 or f?
206
Let w be ((-2194)/27)/((-658)/15). Let j be ((-121)/242)/(1269/(-12)). Let g = w + j. Which is bigger: 3 or g?
3
Suppose -4*m - 5*s + 3 = 6, -5*m = -3*s - 24. Suppose -8*q = -5*l - 5*q + 4, l - 8 = m*q. Let j = -46009/49 + 939. Which is bigger: j or l?
j
Let m be (2 + 48/(-15))*(-20)/12712. Let v = -50881/17479 + m. Which is greater: -2 or v?
-2
Let k = 188.825 + -0.825. Let r = k - 182. Let x = -1.9 + 2. Which is smaller: x or r?
x
Suppose 4*p + 9 = -5*a, 4*p - a - 1780 = -1783. Is 6/5743 less than p?
False
Suppose -k - 48*o + 49*o + 1360 = 0, -2*k + 2718 = -4*o. Which is smaller: 1359 or k?
1359
Let w(m) = -27*m**3 + m**2 + 2*m + 1. Let x be w(-1). Let n be 42/(-18)*(-12)/4. Suppose 124 + 72 = n*s. Which is bigger: s or x?
s
Suppose 8*y - 77 = y. Let t be (y/(-4) - 1)/(143/114140). Let o = t + 2991. Is -2 at least o?
True
Suppose -3*s + 6 = -0*s. Let k be (-46)/s - (2 - 1). Let x = -14 - k. Are x and 11 non-equal?
True
Let p = -82012.011 + 82047. Let u = 35 - p. Let z = -0.011 + u. Which is bigger: 8 or z?
8
Let f = -7.118 - 0.082. Let b = -19906 - -19907. Which is smaller: f or b?
f
Suppose 5*h + i = 31, -3*i + 6*i = 3. Suppose -73 = -h*z + 77. Is 8 smaller than z?
True
Suppose 5*u = -1293 - 3987. Is -1064 greater than or equal to u?
False
Let s = -8 + 12. Let x(t) = t**3 + 11*t**2 + 10*t - 4. Let c be x(-10). Let b(d) = -d**3 - 9*d**2 - 22*d - 3. Let o be b(c). Which is greater: s or o?
o
Let q(h) = -974*h - 9687. Let y be q(-10). Suppose 3*d = -d + 208. Is y greater than d?
True
Let t(c) = c**3 + 4*c**2 + 2*c + 5. Let u be t(-3). Let a be 725/20 - (-2)/u. Let i = a - 34. Which is greater: i or 2?
i
Suppose -d = d. Let c = -194139/98 + 1981. Is d > c?
True
Suppose -8 = 3*h - 5. Let j(y) = y**3 + 6*y**2 - 2*y + 5. Let v be j(-5). Let o be (-16)/v - (-176)/290. Is h greater than o?
False
Let n(j) = 3*j**3 - 35*j**2 + 36*j - 131. Let q be n(11). Which is smaller: -975 or q?
-975
Suppose 3*d - 15 = -0*d, -u - 376 = -5*d. Let l = -356 - u. Which is greater: 6 or l?
6
Let f = 0 - 1. Let m = 805.29 - 812. Let x = 6.742 + m. Is f not equal to x?
True
Suppose -2*k + 226 = 4*a - 758, -16 = -4*k. Suppose a*g - 11 = 243*g. Is 10 greater than g?
False
Let v = -0.01521 + -10.98479. Which is bigger: v or -