 -1 + j/(-121). Let n be 2/(-5) + (-72)/(-105). Is m >= n?
False
Suppose -d = -3 - 1. Suppose 0 = 4*q + 2*i - 24, -i - 24 = -4*q + 3*i. Let b be (-75)/(-18) - (-2)/q. Is d less than b?
True
Let z be ((-138)/8)/(1/88). Which is bigger: z or -7583/5?
-7583/5
Let l = -449 + 702. Let c = -253 + l. Is 107 less than or equal to c?
False
Let n(a) = -34*a + 74. Let z be n(-5). Suppose 14*i = 16*i + z. Is -370/3 at most as big as i?
True
Let l be 2/3 - 23268/126. Let p = -185 - l. Is -58 bigger than p?
False
Suppose -12*o - 7146 = -9*o. Let p be 42/(-28)*(-4)/o. Which is greater: p or 1?
1
Let h = 22 + -8. Let v = -3.2 - -0.2. Let c = -4 - v. Is h greater than c?
True
Let y be -5*(1 + 14/(-10)). Suppose -66*n = -89*n + 92. Suppose -o + 29 - 72 = -4*g, 2*o - 46 = -n*g. Does g = y?
False
Let o be ((-69)/4 + 5/20)*52/(-1118). Is 2 >= o?
True
Suppose -5*s + 28*x - 27*x = 73, -x + 45 = -3*s. Which is smaller: 39 or s?
s
Suppose -187 = 4*l + 917. Is l at most -5?
True
Suppose 4*a + 4*a = 48935 + 9745. Is 7334 smaller than a?
True
Let h be ((-12)/32 + (-2915)/(-4840))*6/4135. Are 0 and h nonequal?
True
Let r(p) = p**3 + 3*p**2 + 2*p - 2. Suppose -51 = -4*c - 275. Let a be c/32 + 2/(-8). Let j be r(a). Is j less than or equal to -4?
False
Let u(r) = -2*r**3 + 35*r**2 - 13*r - 68. Let b be u(17). Let g be 1/(-3)*5/2. Which is greater: b or g?
b
Suppose -4*i = 5*j - 87, 10*i - 15*i = 4*j - 75. Is j < 258/19?
False
Let r be 3/12 - (-6861)/60. Let n = r + -114. Suppose -3*i + 21*i + 16*i = 0. Is i at least as big as n?
False
Let l = 5499/10 + -1099/2. Is l less than or equal to 0.0465?
False
Let q be (264/(-42))/(4/(-14)). Let u = q - 15. Let n = -1116 - -1123. Is u at least as big as n?
True
Suppose 3*y = 3*v + 228, y + 3*v + 300 = 5*y. Let t be (-804)/y + 2/12. Is t greater than or equal to -8?
False
Let a(c) = 2*c + 24. Let d be a(-13). Let k be 3894/(-44) - d/4. Let f = k + 51. Which is bigger: f or -36?
-36
Let t = 44143/9 - 4904. Which is bigger: -151 or t?
t
Let z be (9/(-3))/((-3)/2). Suppose u - 2*k = 10, -u + 3*k = -0*k - 14. Suppose 2*l + 2*c - 6 = 0, u*l + 3*c - 1 = 3. Is l != z?
True
Let k(w) = 16 - 7*w**2 + 0*w**2 + 4*w - 31 + w**3. Let q be k(7). Which is greater: q or 0?
q
Suppose 37*x + 136 = -4*o + 38*x, -86 = 2*o + 4*x. Which is greater: -45 or o?
o
Let p = -719.988 - -720. Let k = 1.012 - p. Does 1.6 = k?
False
Let t(a) = a - 3. Let f be t(2). Let m be (-1071)/(-14)*(-16)/(-40). Let o = -32 + m. Is f at least as big as o?
True
Let l = 0.665 + 10.635. Let m = -6.3 + l. Is 2.6 <= m?
True
Suppose -10*k = -3*k - 819. Suppose 110*p - k*p = -175. Is 32 != p?
True
Suppose -2028*p - 65 + 24 = -2069*p. Suppose 0 = f - 0 + 2. Let w be -1 + -29*f/50. Which is smaller: p or w?
w
Suppose 0 = 9*i - 205 + 628. Is 10 greater than i?
True
Let m(u) = 181*u**3 - 3*u**2 - 5*u - 4. Let j = -128 - -127. Let t be m(j). Which is smaller: -184 or t?
-184
Let a be ((-1)/(-2))/((-30)/(-16)). Let b = -0.184 - -0.024. Let j = b + 0.36. Which is smaller: a or j?
j
Suppose -4*h + 3*d + 11 + 19 = 0, -4*h - 5*d + 14 = 0. Let k be 49/3 - (-4)/h. Suppose -2*m + k = 2*q + 5, 5*m + 5 = 2*q. Which is smaller: m or -2/41?
-2/41
Let r(f) = -7*f + 4. Let n be r(-3). Suppose t = -0*t - n. Let m be ((-489)/21 - 3) + 1/((-28)/(-8)). Is m at most t?
True
Let x be ((-213)/(-51) + -2)*(5 + 2). Which is greater: 15 or x?
x
Let d = -37 + 34. Let z(p) = 3*p**2 + 11*p + 5. Let c be z(d). Is -78 greater than or equal to c?
False
Let x = 25/66 + 2069/462. Let q(o) = -o**2 - 15*o. Let d be q(-15). Let y be 8 + (-1 + d - 3). Which is smaller: y or x?
y
Let k = 8.85 + -6.85. Let j(o) = -o**2 + 13*o - 18. Let q be j(13). Is k not equal to q?
True
Let h = -17 - 47. Let s be (-62)/h + (-1)/(0 + 1). Which is bigger: -1 or s?
s
Let u = 772/15 - 79606/1545. Let m = u - 152/927. Let x be 1 + (-1 - 3) - -3. Which is greater: x or m?
x
Let k be (-6)/(-2)*((-5)/(-3) - -3). Suppose 18*z - k - 4 = 0. Let d be (-165)/(-84) + 1/(-4). Which is bigger: d or z?
d
Let p be ((-45)/(-30))/(3/2). Let y = -3188 - -899017/282. Which is smaller: y or p?
y
Let p be (-42)/63*(-6)/(-10). Let t be 2/(2*(-2)/6). Let w = -8 - t. Is p >= w?
True
Let d be (-387)/(-75)*-1*28/(-798). Which is bigger: d or 1?
1
Let z = -6.3 + -80.7. Let t = 27 + z. Is 0.1 bigger than t?
True
Let p = -23497 + 23308. Do p and 3 have the same value?
False
Let p be (0 + -4 + 2)/(-2). Let c be (-2)/830*-767159 - (-18)/45. Let d = 1849 - c. Which is bigger: p or d?
p
Let n = 7/30 - -1/10. Let h = -168 + 124. Which is bigger: h or n?
n
Suppose -2345*i = -2339*i - 126. Is i bigger than 34/5?
True
Let t(x) = -3*x - 10. Let k be t(21). Let i = k - -80. Let f(h) = -2*h + 3. Let o be f(i). Which is smaller: o or -10?
o
Suppose -2*v - 117 = -5*f - 4*v, 2*v + 44 = 2*f. Let c be (19 - f)*(-2)/8*-5. Which is bigger: -4/7 or c?
-4/7
Suppose -15008*y + 33291 = -14981*y. Is y at least as big as 1234?
False
Let r = 7/38 + 17/114. Which is bigger: r or -1254?
r
Let u = -5.7 - -6.7. Let h = 294440/93 - 3166. Which is bigger: u or h?
u
Let o(d) = 246*d + 1480. Let i be o(-6). Let x be 1 - (1 + 24439/(-7185)). Let h = x + -2/1437. Do h and i have the same value?
False
Let l be 15/(-3) + (-8250)/70. Do l and -122 have the same value?
False
Let l(j) = -4*j + 22. Let o be l(4). Let y be (o/75)/(1 + 4/(-5)). Let z = 16 + -16.7. Which is smaller: z or y?
z
Let d = 7128 + -4900. Do d and 1 have the same value?
False
Let k(c) = 47*c - 3. Let m be k(2). Suppose -365 = -4*r + m. Let d = -157 + r. Are d and -45 equal?
False
Suppose 3*k + 75 = 3*m + m, 3*m = -4*k - 75. Let o = -102 + 102. Suppose o = -2*h + 2*t + t - 50, -5*h = 5*t + 100. Is h bigger than k?
False
Let o be 1404/(-81)*(9612/28)/(-9). Which is smaller: 662 or o?
o
Let t be ((-376)/(-16))/(6/(-4))*-3. Suppose -6 = 2*f, 7*f = 4*w + 10*f - t. Which is greater: w or 0.1?
w
Suppose 28*b + 25 = 249. Let n be 5/((-5)/b) + -172. Is n bigger than -179?
False
Let m = -31195 + 24705. Is m smaller than -6489?
True
Let v(i) = -116 - 15*i - 17*i - 13. Let z be v(-4). Is z bigger than 5.8?
False
Suppose 3*o - 146 = x, 3*o - 5*x - 230 = -2*o. Let f = o - 50. Suppose 5*j + 20 = f, -4*j - 18 = -3*z + 1. Are 1 and z nonequal?
False
Let o(c) be the second derivative of c**5/20 + c**4/6 + 5*c**3/6 - 5*c**2 + 16*c. Let j be o(5). Let u be ((16/j)/2)/((-4)/10). Which is bigger: u or 1?
1
Let z(x) = -106*x - 604. Let u be z(-5). Is u at most as big as -63?
True
Let g be (-1670)/1685 - 14/(-14). Is 0 at least as big as g?
False
Let k be 3 - 9/(9/(-4)). Let l(q) = 11*q**2 - k*q**3 - q**3 + 9*q**3 + 10*q. Let v be l(-10). Are v and 0 non-equal?
False
Let p = -703 - -702.9898. Let x = p - 85.9898. Is 1/3 less than or equal to x?
False
Suppose -1050 = -15*m - 1290. Is m at most as big as -243?
False
Suppose -19*c + 23*c = 2*y - 3898, 5*c + 4855 = -y. Is c > -971?
False
Suppose 5*m + 0 - 15 = 3*v, 2*m = 6. Let s be v/(14*16/56). Which is smaller: -10 or s?
-10
Let i = -86 - 14. Suppose 21*n + 8*n = 12*n. Which is smaller: n or i?
i
Let w = 6.82507 - -0.00593. Let g = w + -6.9. Let o = -0.271 + g. Is o > -1?
True
Let v = -0.07 + 0.14. Let w = 102.785 + -103. Let i = -0.085 + w. Which is bigger: i or v?
v
Let j = -1038 + 1039. Let z = -20 - -12. Which is greater: j or z?
j
Suppose -3*n - 4*l + 32 = n, 3*n - 2*l = 4. Suppose -v + 2*d - n*d = 516, 4*d = -v - 516. Let r be v/14 - (-3)/(-21). Is r smaller than -37?
False
Let b be (158873832/980722)/(-27) - (-5 + (0 - 1)). Is 0 greater than b?
False
Suppose -123*i = 33*i - 225 - 11787. Which is greater: 132 or i?
132
Let p(g) = g**3 - 17*g**2 + 18*g + 36. Let k be p(16). Which is greater: k or 58?
k
Let k(g) = 2*g**2 - 46*g + 81. Let s be k(21). Let p be (-2)/15*s/(-2). Which is bigger: p or 7?
7
Let l be ((-31326)/(-6) - 2) + (-20)/(-4). Is l bigger than 5224?
False
Suppose -p - 4 = -3. Let w be (-204)/60 - 6/10. Let d be ((-13)/w)/(3 + -1). Which is greater: d or p?
d
Let u be 0 + 46/8 + 165/(-220) - 7. Is -117/38 at least u?
False
Let v = 2241 - 2241.06. Is v > 1/365?
False
Let j be (-59)/177 + (-38)/(-6). Let m be (-21)/(-140)*5 + j/(-8). Which is bigger: m or -3/59?
m
Let w be (-5)/(-9 - (-668)/72). Are 295 and w nonequal?
True
Let g(x) = x**2 - 2*x - 19. Let a be g(9). Let u = -134 - -91. Let l 