bigger: 418 or m?
m
Let u be (350/608)/(20/(-16)*(-5)/25). Which is bigger: 2 or u?
u
Let n = -40 - -50. Let j(y) = -y**3 + 11*y**2 - 10*y - 3. Let t be j(n). Let f be (2 - (-21)/(-12))/(t/(-12)). Is 0.14 at least as big as f?
False
Let r = -81465 + 10101661/124. Let m be (0 + 1 + 0)/1. Is m >= r?
True
Suppose 9 = 5*w - s - 1, 0 = w + s - 2. Let l be 20/(w*(-43)/(-18) - 5). Is l at least -87?
False
Let l be ((-1)/86)/((-64)/512). Which is greater: l or 0.036?
l
Let n = 208 - 201. Let v be (1 - n/5)/(188/(-235)). Let j be ((-4)/10)/(20/(-25)). Is v smaller than j?
False
Suppose 5*z + 786 = -d + 280, 5*z + 25 = 0. Let h = 472 + d. Which is greater: h or 1?
1
Let m = -25190 + 34787. Is 9597 greater than m?
False
Let n = 96 + -55. Suppose 2065 = 27*m - 3686. Suppose m = 5*g + 3*o, -o - 167 = g - 5*g. Which is smaller: n or g?
n
Suppose -5*g - 142 = -3*g. Let d = 640 + -973. Let x = d + 261. Which is bigger: x or g?
g
Let u = 1141334821/15203 - 75073. Which is smaller: u or -1?
-1
Let q be (-1152)/558 - 6/(-93). Let p(j) = j + 6. Let m be (-42)/(-4)*4/(-6). Let s be p(m). Which is greater: s or q?
s
Let s = -32 - -24. Let g(z) = -z**2 - 13*z - 22. Let v be g(-10). Suppose j - v = -3*j. Is s at least j?
False
Let p(d) = -d**3 + 13*d**2 - 6*d - 41. Let q be p(12). Suppose -n - 5*w + q = -3, -4*n + 91 = 5*w. Suppose 7*i - 90 = 2*i. Is n less than or equal to i?
False
Let f be (-6)/4 + (-449702)/308. Let a = -1445 - f. Do 17 and a have different values?
True
Let m = -1095552 + 1095440. Suppose -3*c = -0 + 3. Is c equal to m?
False
Let s(c) = 2*c**3 + 6*c**2 - 9*c - 5. Let t be s(-4). Let j = -25361 - -25183471/993. Which is bigger: t or j?
j
Let t(r) = 4*r**2 + 161*r - 13. Let h be t(-46). Is 1045 > h?
False
Suppose 0 = -0*p - 2*p - 72. Let u = 92894 - 92926. Is u greater than or equal to p?
True
Let k(x) = -4*x + 5. Let z be k(7). Let c(y) = y**3 + 18*y**2 + 37*y + 76. Let s be c(-15). Suppose 13*i + s + 129 = 0. Is z bigger than i?
True
Suppose 3*w - 5601 = -3*z, -95*w + 98*w - 4*z - 5636 = 0. Do w and 1870 have different values?
True
Let u = -984168/1315 - -846/263. Is -744 not equal to u?
True
Let a = 110 + -109. Is 1/11939 > a?
False
Suppose 0*v - 3*v + 5*m = -35, -5*v + 41 = -4*m. Suppose -5*g - n = -9, 5*g - 9*g + 24 = v*n. Is g bigger than 4/23?
True
Let m be ((-208902240)/(-6782550) - 31) + 2/10. Is 1 <= m?
False
Let i = 23085 + -22960. Which is smaller: i or 90?
90
Let m = 5973 + -5972. Is 8/2255 > m?
False
Let v be (-6)/(-9) + (-4)/6. Let f = -10525989/209 + 50364. Let x = f + -4/11. Do v and x have different values?
True
Suppose 489*j = 479*j + 6030. Are 2413/4 and j equal?
False
Let s = -394.586 - 0.414. Let b = s + 397. Does -20 = b?
False
Suppose -4*c + 3*t - 245 - 144 = 0, 4*c + 2*t + 414 = 0. Let o be 8676/(-54) - 4/(-6). Let g = o - -58. Is g less than or equal to c?
True
Let s = -106.4 - -92. Let a = -12.3 - s. Which is greater: a or -0.3?
a
Suppose -2*t = -6, -258*b + 259*b - 4 = -5*t. Is b greater than or equal to -376/39?
False
Suppose 11 + 1 = 3*w. Let m = 439 - 439. Suppose -4*a - f = f + 32, m = -2*a + 5*f - w. Is -7 at most a?
True
Suppose -391*z + 171*z + 196*z = 0. Which is bigger: -4/1561 or z?
z
Let w(p) = p**2 + 34*p + 286. Suppose -2*g = -5*q + 4 + 39, -2*q = -2. Let y be w(g). Is -1/106 greater than y?
False
Let j = -3.8 - 0.2. Let o = -458 + 670. Let z = -212 + o. Is z >= j?
True
Let i be (-13 + (-1932)/(-147))*-1. Which is greater: -444/7 or i?
i
Let g = -52 - -48. Let m be g/(-3)*3*-1. Let a = m - -14. Which is greater: a or 0?
a
Suppose 3*r + 3*m - 5508 = 0, 2*r + 1401 = 3*m + 5083. Which is bigger: r or -0.1?
r
Let t = 0.03689 - -2.26311. Which is bigger: 1/27 or t?
t
Let m = -23648/125 + 946/5. Suppose -12*q - r = -7*q - 16, -4*q + 15 = 3*r. Suppose 0 = 5*d + 5*z - 10, -q*d + 5*z = -6 + 8. Which is smaller: m or d?
m
Let r be -1 - -7 - 1 - (-7 + 10). Suppose -3*m - r*m + 2*h - 36 = 0, 4*m = -5*h - 42. Which is smaller: -11 or m?
-11
Let q = 141 + 143. Let l be (q/(-19))/((-12)/(-78)). Let n = -97 - l. Which is greater: n or 1?
1
Let r = -8 - -11. Let o be (r + -6 - 5)/(22/4). Let s = o + 193/110. Is 0 greater than s?
False
Let r = 72059/4 + -17867. Which is smaller: 149 or r?
r
Let f = -80 - -26. Let d be f/(-15)*(300/18)/(-1). Is -59 bigger than d?
True
Suppose m - 29 = -5*k, 2*k - m = 3*k - 9. Suppose -n + 15 = 2*v + v, k*v = -2*n + 26. Suppose 3 + v = -7*g. Is 1/18 greater than or equal to g?
True
Let b(i) = i**2 + 10*i. Let c be b(-10). Let j be (30/40)/(((-1668)/16)/(-3)). Is j bigger than c?
True
Let i = 0.1 + 0.3. Let y = 9354/31 - 271142/899. Which is smaller: y or i?
y
Let v(s) = 161*s - 205. Let r be v(10). Suppose -m = r - 1525. Which is greater: 119 or m?
m
Let g = -11417/3 - -3805. Let w = -410 + 8612/21. Are g and w unequal?
True
Suppose 4*z - 1 = 5*z, 3*i - 6 = 3*z. Let b(m) be the third derivative of m**4/24 - 5*m**3/6 + m**2. Let f be b(3). Which is smaller: i or f?
f
Let w be 33/(-2)*(10/27)/((-4)/(-6)). Which is smaller: w or -4?
w
Let w(s) = s**3 - 5*s**2 - 2*s - 2. Let p be w(5). Let y be (7 + -3)*p/9*3. Let o(v) = -v**3 + 8*v**2 - 10*v + 4. Let g be o(7). Which is greater: g or y?
y
Let h = -33402 - -33441. Which is greater: 22.3 or h?
h
Let o be (-3)/(33/143) + (-7 - -18). Let m = -307613/37 - -8313. Which is smaller: o or m?
o
Suppose 0 = 4*p - 4*c, -35*p - 3*c - 6 = -36*p. Is p greater than 6/5?
False
Let f(m) = -364*m**2 - 2. Let h be f(-1). Let n = 395 + h. Are n and 11 nonequal?
True
Let c(d) = -5*d**3 + 4*d**3 - 3069*d**2 + 2 + 7*d + 3076*d**2. Let s be c(8). Is s at most as big as -6?
True
Let s = 5100 - 5100. Let u = 0.051 - 0.164. Is u >= s?
False
Let u = 1833 - 1850. Which is greater: u or -18?
u
Let a = -474 + 216. Let b = a - -261. Is b < 8/3?
False
Let x(u) = -8*u - 69. Let t be x(-9). Which is smaller: t or -456?
-456
Let m = -29.902 - -31.902. Which is smaller: m or -423/10?
-423/10
Let d = -1.4 - -1.65. Let j = -266 + 212.75. Let x = j + d. Is 1 bigger than x?
True
Let l = 7534 - 7491. Which is greater: l or 45?
45
Let f(o) = o**3 - 6*o**2 + 76*o - 271. Let l be f(4). Which is greater: -9/1787 or l?
l
Let c be ((-9)/5 + 3)*(-10)/(-6). Let s be 120/(-1350) + (c - (2 - 0)). Which is bigger: s or 0?
0
Suppose 6712 = -2*p + 3*r - 5*r, 0 = -2*p + 2*r - 6728. Which is greater: p or -3359?
-3359
Let f be (6/(-12) - 2)*(-2756)/40. Do f and 171 have different values?
True
Let y be (1 + 0 + -1)/2. Suppose 0 = -30*u + 34*u + 140. Let t be (-21)/23 + u/(-35). Which is smaller: y or t?
y
Suppose -339*s + 72 = -343*s. Let p be ((-9)/s)/(50/8). Is 1 less than or equal to p?
False
Let z = -12 + 12.5. Let f = 114.62 - 114. Let h = f - 9.62. Which is smaller: h or z?
h
Let u(g) = 21 - 96 - 74 + 22*g + 30. Let c be u(4). Let w(n) = -2*n**2 + 2. Let i be w(-4). Is c greater than or equal to i?
False
Let f = 17.16 - 17.1. Let t = -37 - -37.43. Let l = -0.53 + t. Is f greater than or equal to l?
True
Suppose 398 = -6*s - 166. Let i = -25 - 41. Let r = s - i. Are r and -28 equal?
True
Let r = 1594/5 + -306. Let o = 71 + -70. Suppose m = 11 + o. Is m equal to r?
False
Let w = 15 - 14.93. Let s be (9/5 + -2)/(3519/255). Let o = s + -127/759. Is o >= w?
False
Let u = -145 + 70. Let i be 274/4 - (-56)/112. Let v = i + u. Is v at least -4?
False
Let s = 2/707 - 86272/6363. Let z = -40/3 - s. Are z and 1 nonequal?
True
Let w = 2116213/167 - 12672. Does w = -1?
False
Suppose 0 = -0*i + 38*i. Suppose -9*j - 14*j - 69 = i. Suppose 0 = h - 5*m - 12, 3*h - 8 = -5*m + 8. Is j greater than or equal to h?
False
Let z be ((-2800)/(-26))/1 + 47/((-141)/(-18)). Which is bigger: z or 114?
114
Suppose -1 = 5*g - 11. Let i be (-14)/(1 + -4 - g/(-2)). Let c(b) = b**3 - 5*b**2 - 6*b + 3. Let r be c(6). Are i and r equal?
False
Suppose i = 5*x, 4*x = -14*x + 22*x + i. Does x = -6/9281?
False
Let y be 2*1 - 55910*(-27)/2160. Which is greater: y or 702?
702
Let x be 1 + -12 - (10 - 21). Is 1/1661 greater than or equal to x?
True
Suppose -9*k = -12*k - 426. Let x = 147 + k. Which is greater: x or 3?
x
Let m(r) = -r**3 + 6*r**2 + 2*r - 8. Let b be m(6). Suppose -4*a = 3*y - 0*a + 56, 4*y + 72 = -b*a. Let s = -32902 + 32900. Which is smaller: s or y?
y
Let s be ((-162)/15)/((-4)/15). Suppose 7*z - 3*v - 309 = 0, z + 3*z 