-11*y - 237. Let f be ((-27)/y)/((-8)/(-10)). Let t = -2.7 - -2.7. Is f greater than or equal to t?
True
Suppose -3*j = -2*o + j - 20, -4*j + 20 = 0. Suppose 12*b + 65 + 223 = o. Let c be ((-2)/5)/((-2)/(-130)). Which is smaller: c or b?
c
Suppose 4*x + 18 = 13*x. Suppose -x*b + 6 = -2, 20 = 3*d + 5*b. Suppose -2*z + 9 + 13 = d. Which is greater: 9 or z?
z
Suppose -29 + 74 = -5*a. Let o be 3/(-1)*3/3 - a. Suppose -o*u + 4 = -164. Is u <= 28?
True
Let y(x) = 198*x + 3572. Let t be y(-18). Is t < 131/18?
False
Let d be (9*166/(-12) - -10)/(18/4). Is -24 > d?
True
Suppose -5*m + 25 = 0, -127*m - 26 = -d - 132*m. Let f be (3/(-198))/(2/(-32)). Is d less than f?
False
Let j(n) = 48 - 10*n - 6*n + 14*n. Let k be j(22). Let a be 1224/3451 - k/14. Which is smaller: a or 0?
0
Let i = 973 + -972.53. Which is smaller: i or -75?
-75
Let k = 128564 - 1315338282/10231. Which is greater: k or 0?
k
Suppose -4 = -x, -2*y + 4*y - 2*x = -24. Let h(s) = s**3 - s**2 - s + 1. Let n be h(0). Let v(w) = -8*w + 1. Let c be v(n). Which is smaller: y or c?
y
Suppose -92 = -2*n - k - 3*k, 2*n = -3*k + 88. Let l be ((-1)/n)/((-14)/84). Which is bigger: l or 0?
l
Suppose -40975 = 109*q - 734106. Are 6358 and q non-equal?
True
Let p be (-14)/(-1 + -1) - (-110625)/(-13865). Is p greater than -1?
True
Let a(s) = -s**3 - 4*s**2 + 6*s + 4. Let n be a(-5). Let w be (-2)/(-3 - n - 5). Suppose 5 = -c + 3, 5*d + 4*c - 162 = 0. Which is bigger: w or d?
d
Let z be (-36)/(-15)*(-4)/(-8)*-10. Let f be -2 - (11 + z)/(0 - -1). Do 2/11 and f have different values?
True
Let g = -278/35819 + 12/833. Let a be 32/14 + 2/(-7). Let y = a + -2. Which is greater: g or y?
g
Let b = -46 - -46. Let f(i) = -39 + 29 + b*i + i. Let m be f(11). Which is greater: m or 3?
3
Let f = 4358 - 4357. Is 21/19 greater than or equal to f?
True
Let t = 0.1249 + -0.3249. Which is smaller: t or -1855?
-1855
Let b(w) = 4*w**2 - 55*w - 442. Let j be b(18). Which is smaller: -113 or j?
j
Suppose -5*o + 375 + 145 = 0. Let r = o - 102. Which is bigger: 7 or r?
7
Let b = -169 - -184. Suppose 10*t - b*t - 15 = 0. Which is smaller: -19/7 or t?
t
Let j be ((-163396)/(-4370))/(7*63/(-180)). Let y = -290/19 - j. Is 0 < y?
False
Let t be (-5*(-7)/350)/(46/8). Suppose -5*b + 5*w - 50 = 0, 49 + 1 = -5*b + 4*w. Let n = b + 10. Which is smaller: t or n?
n
Suppose 86*o = 80*o - 120. Let d(m) = m**3 + 21*m**2 + 16*m - 23. Let n be d(o). Is 59 greater than or equal to n?
True
Let x be (52304/(-112)*(-12)/15)/(1/5). Which is smaller: x or 1870?
x
Suppose 11*b - 3*b = 32. Suppose 4*t - 764 = 5*z + t, 5*z = b*t - 767. Do -152 and z have the same value?
False
Let g be (-441)/490 + (-15)/(-100) + 1/(-4). Is g > 65/516?
False
Suppose 35*g = 30*g - 260. Let n be (-13)/(-3) - (-1)/(-3). Suppose n*b - b = -156. Is g greater than b?
False
Let t = -13412 + 12455. Is -954 at least as big as t?
True
Let c be (-1 - -2)/((-4)/(-12)). Let o be c - (34/12 - 0). Suppose 4*p + 3*t - 12 = 0, 5*t = 22 - 2. Do o and p have the same value?
False
Suppose 4*j = r + 1313, 4*r - 747 = -3*j + 214. Suppose -j = 5*t - 87. Are -48 and t non-equal?
False
Suppose -2*u - 20 = -6*u. Suppose -9 = -u*z + 156. Let r be 3*(z/(-9) - -4). Which is greater: 1/9 or r?
r
Let v = 148 - 154. Let b = -12 + 4. Let i be (-14)/4*(-1 + v/b). Is i greater than or equal to 2?
False
Let x = 8766 + -9057. Is -278 at most x?
False
Suppose 30 = -8*n - 98. Is 4 equal to n?
False
Let f = 0.138 - 75.138. Let p = 75.088 + f. Let m = p + -0.188. Is m at most as big as -2?
False
Let l be 215*(10 - (-414)/(-45)). Is 181 greater than l?
True
Let l be (-1 - -1)*18/(-36). Suppose l = 2*f - 7 + 3, 2*o + 4*f = 0. Let r be o/24*1*-2. Which is smaller: 0.1 or r?
0.1
Let m(o) = -3*o**2 - 24*o - 23. Let p be m(-1). Is p at least as big as 0.94?
False
Suppose 3*y - v = 78, v - 20 = -5*y + 102. Suppose -2*c + 2*f + 12 = 0, y = -4*f + 5. Are c and -5/24 non-equal?
True
Suppose 3*h + 27 + 325 = c, 5*h - 2*c + 586 = 0. Let l = h - -116. Let o = -65/3 + 21. Which is smaller: l or o?
l
Let i be ((-2)/(-3) - (-8)/(-18))*(-1423)/2303837. Is i > 0?
False
Let n = 5212 + -5210. Which is smaller: n or 36?
n
Let h = 203 + -207. Let u be (-6 - -2) + (-128)/1 - h. Is -127 >= u?
True
Let u = -289276 - -864067404/2987. Is 0 at most u?
False
Let t = -441 - -751. Let x = -3413/11 + t. Let o = 4.8 - 4.7. Is x < o?
True
Suppose -3*k - 21 = t - 5*t, 0 = -2*k + 2. Suppose t*z - 3*z = 3*o + 9, -z - 3 = 5*o. Which is smaller: -4 or z?
-4
Let o = 0.1 + -3.1. Let d be (1331/(-110) - -12)*0. Does d = o?
False
Suppose 1593 = 201*q - 1623. Which is smaller: 312/19 or q?
q
Let s(i) = i**2 + i + 1. Let z be s(-16). Let r = 349 - z. Let a = 37 - r. Are -71 and a non-equal?
False
Let d(t) = -296*t - 853. Let b be d(-3). Which is greater: b or 36?
36
Let p(f) = 15*f**3 - f**2 + f + 2. Let w be p(-1). Let o be 9/w*(-1)/3*-2. Which is bigger: 0 or o?
0
Suppose 7 = -u, -3*s - 55*u + 60737 = -51*u. Is s at most 2/5?
False
Let r = 8912 + -8911. Which is smaller: -1/334 or r?
-1/334
Let r be 13 - ((-285)/27 + 11 + 8/(-18)). Is -104 less than or equal to r?
True
Let g(a) = 136*a**2 + 114*a - 454. Let q be g(4). Which is bigger: q or 2177?
q
Let a = 48/265 - -1/53. Let w = -54.5018 + 0.5018. Is w smaller than a?
True
Let i be (-6 - -1)/10*(-4 - -6). Which is greater: 2/10489 or i?
2/10489
Let p be (-1)/(15/10) + 87/9. Suppose -295 = p*a - 7. Is -36 at least a?
False
Let f = 5.5 + 1.5. Let m be (294/(-69) - 3) + 12 + (2 - 7). Are f and m nonequal?
True
Suppose -3*c - 36*c + 7283 - 1355 = 0. Is -4 smaller than c?
True
Let h = -17457.8431 + 17457. Let p = 0.1029 - h. Which is smaller: -0.1 or p?
-0.1
Suppose -64846 = -139*h + 46215. Is 2399/3 bigger than h?
True
Let h = -405086 - -721520. Let t be h/(-2139) + 4/(-62). Is -147 at least as big as t?
True
Suppose 5*m - 5*u - 25 = 0, 4*m - 3*u - 1 = 16. Suppose -6*q = m*q - 2*q. Is q at least as big as -6/163?
True
Let u = -886 - -872. Are u and -146/11 equal?
False
Let c = -38917 - -31123. Is c bigger than -7794?
False
Let n = 37469 - 37464. Suppose 6*s - 2*s = 20, -2*c = 5*s - 29. Suppose -c = 2*p - 5*h - 8, 4*h - 40 = -4*p. Which is bigger: p or n?
p
Let p = 63 - -251. Suppose -3*b + 937 = 4*m, 0 = m - 5*m - 8. Is b greater than p?
True
Suppose 4*c = 3*c. Suppose -24*x = -7*x - 357. Let k be (12/78)/((-6)/x). Which is bigger: k or c?
c
Suppose -34*a + 39*a = 15. Suppose 0 = -5*r + a*g + 87, 3*r + g = -r + 73. Let c = r + -124/7. Which is smaller: c or 25?
c
Let i(y) = -20*y**2 - 565*y - 1176. Let k be i(-26). Suppose -4*n + n + 3 = 0. Which is smaller: n or k?
k
Let o(x) = x**2 + 18*x + 58. Let d be o(-14). Let r be d - (-6)/(-4) - (-445)/10. Is r smaller than 43?
False
Let c = -171 - -150.4. Let g = c + 20.02. Are -1/3 and g equal?
False
Let g be 7 + -1 + (-2 - -1) - (214 - 209). Do -5/7704 and g have the same value?
False
Suppose -5*t = -2*n + 23, -4*t = 2*n - 98 + 30. Let x = 56 - 52. Suppose 8*i - 92 = x*i. Is n bigger than i?
True
Let x = -174 - -174.9. Let p = 82 - 62. Let a be (-6)/8 + p/(-16). Which is greater: a or x?
x
Let m be 7/(14/10)*1. Suppose -o + 4 = -m*v + 14, -5*o + 3*v - 50 = 0. Let q be o/(-40)*(-6)/8. Is 0 at least as big as q?
True
Let c = -74437 + 204180693/2743. Does c = 1?
False
Let q be 1*(-4 + -3 + 2). Let b be (23/(-2))/(4 - (-18)/(-4)). Suppose -3*n = -b*n - 120. Do n and q have different values?
True
Suppose t + 7 = -c, -t + 6*t = -4*c - 34. Let o be 4 + (8/(-12) - 22/t). Suppose -3*l - 4*l + o = 0. Do 1/16 and l have different values?
True
Let r = 5 + 2. Suppose r*q - 55 = 8. Suppose q*s - 7 + 7 = 0. Is -1/47 less than s?
True
Let h(k) = -95*k + 2801. Let l be h(47). Is -1664 at least l?
True
Suppose -3*v = -277 + 277. Let o = 2145 - 49305/23. Which is smaller: o or v?
v
Let b = -71 - 52. Let i = -123.1 - b. Let r = 42 + -24. Which is smaller: i or r?
i
Let y = -11945 + 10339. Which is smaller: y or -1?
y
Let r be 141/9*(2 + -6 + -2). Let y be 14/(-4)*r/(-235). Does y = 0?
False
Let d be 3/174*4 - (-125224)/(-1334696). Is -1 equal to d?
False
Let t(l) = -5*l + 111. Let r be t(20). Suppose -r*y - y = -y. Is -4/49 greater than y?
False
Let u = -9 + -555. Let y = -509 - u. Which is smaller: 58 or y?
y
Let l = 1751 - 7063. Is l greater than or equal to -5313?
True
Let o 