 smaller: m or 27?
m
Suppose 0 = -180*l + 182*l + 3*n + 684, -n + 1340 = -4*l. Which is smaller: l or -296?
l
Let u = 254 + -251.25. Let z = u - 2.21. Are z and 1 equal?
False
Let f be (-4 + 108/15)*5. Let q = f + 14. Suppose 4*p + q = -p. Which is smaller: p or -7?
-7
Let d be -1*(-6)/57 + (-390)/95. Which is smaller: -163/46 or d?
d
Let q = -1.429 + -0.171. Let u = 20.032 + -0.032. Is u less than or equal to q?
False
Let p(g) = g**2 - 12*g - 32. Let z(s) = -s**2 - 8*s - 2. Let l be z(-4). Let i be p(l). Let a be (16 - 1)*(-10)/36. Which is greater: a or i?
i
Let t = 303.65 - -10.7. Let b = t - 314. Is b at most -2/7?
False
Let r(u) = -5*u**2 - 47*u + 29. Let k be r(-10). Which is greater: k or -15/11?
k
Let b = 39 - 44.8. Let k be (20/30*(-8)/((-80)/(-15)))/1. Are b and k equal?
False
Suppose 483 - 45 = -2*o. Let j = o + 201. Which is greater: -0.4 or j?
-0.4
Suppose -2*c = g - 10054, 1255 = c - g - 3769. Let w = c + -35248/7. Which is greater: w or -9?
-9
Let f(a) = 8*a**3 + a**2 + 3*a. Let o(b) = b**3 - b. Let d(r) = f(r) - 3*o(r). Let l be d(-2). Let j be (l/(-10))/4*-10. Is -11 greater than j?
True
Let a be (-12)/4 - (-13 + 9). Suppose 4*s = -2*t + 10, -4*t - 3 = -3*s - a. Are 3/10 and t non-equal?
True
Suppose -165 = -11*n + 132. Let k = n + -186. Which is greater: -0.1 or k?
-0.1
Let v = 415.337 + -415. Let h = v - 0.237. Let q be (0 - 4)*2/(-10). Is h > q?
False
Let q be ((-123)/12)/(14/40). Let c = q + 3951/133. Are c and -1 unequal?
True
Let l be ((-4)/(-9))/((-55)/(-495)) + -3. Which is bigger: l or -0.501?
l
Suppose 4*x + 2*p - 3*p = -1642, -3*x = -5*p + 1223. Let j = -11095/27 - x. Let i = -868 + 868. Is j not equal to i?
True
Let r be 3*(1/(-3))/((-2)/(-4)). Let v(p) = -8*p**3 - 2*p**2 - 4*p - 4. Let a be v(r). Let g be 2*6/a*(-2)/(-22). Is 0 less than g?
True
Let h be (-3)/(-2)*((-92)/(-6) + 0). Let x(b) = 8*b + 46 + 16*b - h*b. Let o be x(-8). Is o >= 37?
True
Suppose -4*k = -5*p - 9*k - 610, -3*p = 2*k + 366. Let n = p - -126. Let m be 1 - 3/n - 171/(-36). Which is greater: m or 23/6?
m
Let o(n) = -n**3 - 44*n**2 - 40*n + 125. Let i be o(-43). Let l be (24/(-4))/((-2)/(-2)). Which is smaller: i or l?
l
Suppose -91 + 76 = 5*a. Let i be a/(-4)*(16/(-12))/(-4). Suppose -7*j + 2*j = 0. Which is bigger: i or j?
i
Let m be 3686/45396 + (-2)/(-18). Which is smaller: m or -5?
-5
Let q = -782 + 782. Are 21394 and q equal?
False
Let q = 34.14 - 1.94. Let t = 5.2 - q. Let x = -28 - t. Which is bigger: 1/89 or x?
1/89
Let r = 44999 - 44970. Suppose 0 = 2*c + c - 81. Is r smaller than c?
False
Let p be 18372/(-20272) + (-25)/(-20) + (-2)/7. Are 0 and p non-equal?
True
Suppose 23*y = 24*y - 2. Suppose 0 = 3*t - 7*t + 5*l + 192, y*l = 4*t - 180. Suppose 5*f - 2*c = 205, f + 18 = 2*f - 5*c. Does f = t?
True
Let g = 4305 - 1415. Which is greater: g or 2889?
g
Let z = 2061 + -340064/165. Let r = 53/330 + z. Is 0.076 greater than r?
False
Let n be 3*(1 + 4/(-6)). Let p = -32 + 179/3. Let h = -359/13 + p. Is n less than h?
False
Let f = -21871/2244 + -2/561. Let n = -7120/81 + 50002/567. Is n less than or equal to f?
False
Suppose 11 + 61 = -24*x. Let r be 3*x*4/36. Is r equal to -6/91?
False
Let l = 61 - 57. Suppose -l*w - 178 = -22. Let q be w*(0 - 2 - (-8)/3). Which is greater: q or -25?
-25
Let q = -12063287103/21961 + 549305. Is -0.1 < q?
True
Let s = 9244 + -9243. Which is smaller: 1039 or s?
s
Let q be 50/(-8) + 1/4. Let l = -1922.08 + 1922.3. Is q equal to l?
False
Let a = 29 + -29. Let h(x) = -6*x + 132. Let t be h(a). Suppose -7*i = -10*i + t. Is 45 less than i?
False
Let f = 499691471945800969/4090065789310332 + 32/96746754407. Let s = -59/3252 + f. Let x = s + -123. Is x at least 0?
False
Suppose -b = 5*j - 178, -4*j + 5*j + b = 34. Let h = j + -22. Let g(p) = -3*p + 35. Let q be g(h). Which is smaller: 0 or q?
q
Let h = -17012 - -17011. Is h at least 1/9821?
False
Let h(g) = g**2 - 29*g + 99. Let n be h(4). Let i be (-1641)/1332 + 8/(320/50). Which is smaller: n or i?
n
Let j = 10 - 0. Let u = 469 - 469.415. Let w = u + 0.315. Which is greater: j or w?
j
Suppose 0 = -4*h - 2*d + 1116, -1477 = -2*d - 1489. Is h smaller than 288?
True
Let x(m) = m**2 - 15*m + 46. Let r be x(11). Suppose v + r*v + 2*b = -231, 0 = 4*b. Which is bigger: -75 or v?
-75
Let d = -379 + 417. Suppose 22*o - 16 = -d. Which is smaller: -20 or o?
-20
Let d = -0.19 + -0.08. Let w = d + -0.09. Let g = 0.64 - w. Which is smaller: g or -0.01?
-0.01
Suppose -g + 49 = -2*g. Let d be (-6)/(-27) + 1630/(-45). Let c = d - g. Is c > -0.1?
True
Let f(j) = 38*j - 531. Let m be f(14). Is 2/4067 at most as big as m?
True
Let s be (-102)/(-4) - 6/36*-3. Suppose 11*t - 6*t = -i - s, 0 = -t + 1. Is i equal to -33?
False
Let o(y) = y**3 - 2*y**2 + 101. Let s be o(0). Suppose s*u + 195 = 106*u. Is 39 smaller than u?
False
Let a be 7 + (-8)/((-40)/(-85)) - 8850. Which is greater: a or -8859?
-8859
Let q(u) = -46*u**3 + u**2 - 3*u + 1. Let l be q(1). Suppose 5*s = s + 12, 223 = 5*h + s. Let k = h + l. Are 0 and k equal?
False
Suppose 4*k - 2 = 26. Suppose k*y = 11*y - 60. Let b(i) = 7*i - 36. Let a be b(y). Is a at least 69?
True
Let m be (-474)/1185*(-5)/1. Are m and -1333 equal?
False
Let r be (11 + -13)*(-9)/6. Suppose -r*x + 191 = -2*x. Let h = -2471/13 + x. Is h less than 1?
True
Let l = -190 + 189. Let g be 312/(-96) - l/(8/6). Which is smaller: g or -0.04?
g
Let m = 4.27 + 276.73. Let l = m + 111. Is l greater than or equal to -1?
True
Let m be (175/(-36))/(1711/145 + -12). Is m > 23?
True
Suppose -35*u = -29*u + 12. Let h be (-14)/8 - u - (-2268)/(-48). Which is smaller: -48 or h?
-48
Let y be (8/(909184/(-40)))/((-30)/72). Which is greater: y or 1?
1
Let k = 1416 + -1412. Is -132/19 less than k?
True
Let z be (2200/66)/(-1*1/3). Let m be (3*2/4)/((-15)/z). Is 17 >= m?
True
Let z = 2006/1363 + -40/47. Let k = 565/116 - z. Let y be 6/20 - 740/(-600)*3. Which is greater: y or k?
k
Let r = -7.69 + 576.69. Let p = -554 + r. Is 2/7 greater than p?
False
Suppose 0*s - s = -2*q - 6, 3*q + 4*s = -31. Let d(y) = -2*y**2 - 7*y - 8. Suppose 4*o + 8 = -0. Let n be d(o). Which is bigger: q or n?
n
Let u(h) = -10*h - 28. Let t(z) = -4*z - 9. Let w(m) = -11*t(m) + 4*u(m). Let d be w(8). Is d != 19?
False
Let k = 1179247 - 5936734/5. Let y = 8049 + k. Which is bigger: y or -1?
-1
Let o = -4813 + 4814. Are o and 47/66 non-equal?
True
Suppose -4*l + 4*v - 6 = 2*v, 0 = -l - 3*v + 2. Let k be ((-2)/(-18) + 1748/(-3420))*(-42)/108. Which is smaller: k or l?
l
Let s(y) = -100*y + 399. Let f be s(4). Let r(z) = -z**3 + 13*z**2 + 15*z - 3. Let t be r(14). Is f at least as big as t?
False
Let d = -235933/28 - -35555/4. Is 463 equal to d?
False
Suppose 4*l + 2*t = -92, -5*t + 2 - 22 = 0. Let k(c) = c**3 + 21*c**2 + c + 6. Let y be k(l). Do y and -114/7 have different values?
True
Suppose 0 = 3*o + 2*d - 17, o = 4*d + 8 + 7. Suppose 41 = -o*x - 85. Let c be (-15)/x*6/105. Which is smaller: 1 or c?
c
Let r = 2862.165 - 2863. Is r less than 1/4?
True
Suppose -4*m = -m. Let b be 36284/(-93060) + (-2)/(-5). Which is smaller: b or m?
m
Let w = -35 + 208. Suppose f + w = o, -f + o = 2*f + 511. Which is smaller: -171 or f?
-171
Suppose 905 = -r - 22*o + 25*o, 0 = -11*o - 77. Is r != -924?
True
Let u be (6/(-5))/((-157)/(-41605)). Do -318 and u have the same value?
True
Let y = -95956/9 + 10662. Let b = -1 - -1. Is y > b?
True
Suppose -18*j + 22*j = -18556. Let g = j + 134546/29. Is 1 not equal to g?
True
Let b(m) = m**2 + 5*m + 26. Let i be b(-6). Let d be (-42)/(-42) - (i/29)/1. Is 1 equal to d?
False
Let a = -3683 - -3682. Are a and 56/19 equal?
False
Let g(p) be the third derivative of -p**5/10 - p**4/8 + p**3/3 - p**2 - 275. Let n be g(-2). Which is smaller: n or -9?
n
Suppose -400310 = -5*w - 5*n, 7*w - n = 5*w + 160121. Let v be w/(-276) + 3/12. Let r = -290 - v. Is 1 bigger than r?
True
Let m be (-44408)/111070 + 3 + -11 + (-126)/(-15). Which is smaller: -1 or m?
-1
Let m = 329/15 - 67/3. Which is bigger: 0.153 or m?
0.153
Let x be 1/(-2 - 30/(-12)). Suppose -3*h - 2*b = x*h - 821, -b = 5*h - 818. Is 163 less than h?
False
Suppose 168 + 702 = -5*v. Suppose -116335*j - 2595 = -116320*j. Which is bigger: v or j?
j
Suppose -2*l - 14 = 3*b, 0 = -27*l + 29*l + 5*b + 22. Which is bigger: 4/2877 or l?
4/