 or -1/5?
-1/5
Suppose 3*n - 625 = -3*s - 2014, -5*n = -4*s - 1816. Let q = 485 + s. Which is greater: 9 or q?
q
Suppose -71*g = -72*g - 3*r + 27, -r + 9 = 0. Is 1/21533 <= g?
False
Let h = 64429/300 + -1289/6. Are 0 and h nonequal?
True
Let p(v) = -v**3 + 20*v**2 + 2. Let y be p(20). Suppose 0 = x + y*x - 5*f + 855, 5*x + 2*f = -1394. Let s be 2/5 - (-152)/x. Which is greater: s or 1?
1
Let i be 1 - 8 - (-3 - -3). Suppose -3*n - 168 + 183 = 0. Suppose 4 = n*z - z. Is z greater than or equal to i?
True
Let b be 74448/(-2394) + 8 + 24. Which is smaller: b or 1?
b
Let b be 11/(22/8)*((-25)/20 + 2). Which is greater: b or -310?
b
Suppose 3*b - 58 = 32. Suppose 16*y - 15*y + b = 0. Suppose 5*z + 82 = -68. Is z <= y?
True
Let o = 6159101/5 - 1051567. Let a = o - 364111283/2020. Let x = a - 4/101. Which is smaller: 0 or x?
0
Suppose -98*k = -102*k + 52. Let q = 15 - k. Suppose -3*w = -w + q*w. Is 3/22 at least as big as w?
True
Let u = -27907 + 28567.18. Let q = u + -660. Which is bigger: q or 0.5?
0.5
Let u = 19851 - 19850. Which is greater: 30/4097 or u?
u
Let w = 84/121 + -215/484. Is w at least as big as -2019?
True
Suppose 4*n = 5*v - 212, n - 178 = -7*v + 3*v. Let w = 66 - v. Which is smaller: 21 or w?
21
Let n be ((-176)/(-3245))/((-324)/165 - -2). Which is smaller: n or 0?
0
Suppose -4*x = -o - 525, -4*x - 125*o + 124*o = -531. Which is greater: x or 131?
x
Suppose -3*o - 5*b = -537, 0 = -61*o + 60*o + 4*b + 162. Is 28 less than or equal to o?
True
Suppose 0 = -2*w + 2*f + 2, -w - 2*f = -222 + 230. Is -222/131 less than or equal to w?
False
Suppose 0 = 104*o - 99*o - 2*l + 164, o + 31 = l. Is 12 smaller than o?
False
Let n(b) = 3*b - 58. Let i be n(19). Which is smaller: i or -22/247?
i
Let u(q) = q**2 - 32*q + 156. Let d be u(6). Let v be (300/(-45))/(62/6). Which is bigger: d or v?
d
Suppose 2*f + 2*d - 7 + 1 = 0, -3*d = 4*f - 15. Suppose -3*h + f*h = 6. Is h <= 40/23?
False
Let d(s) = -21*s**2 - 82*s - 1089. Let q be d(-12). Is q bigger than 1?
False
Let o(i) = i + 9. Let t be o(-5). Suppose 2*n - t*n + 30 = a, 0 = 4*a + 4*n - 136. Which is bigger: a or 3?
a
Let u(i) = i**2 - 53*i - 1014. Let n be u(68). Is 466/67 at most n?
False
Let i(h) = -9*h - 737. Let l be i(-89). Which is greater: l or 49?
l
Let x be ((-638)/(-3003))/(-29)*(-15)/(-4). Let t(q) = q**3 + 2*q**2 + 1. Let w be t(-2). Is x less than w?
True
Let f(h) = 2*h**2 - 8*h - 2. Let v be f(-6). Let b(m) = -m**3 + 3*m**2 + 21*m + 21. Let n be b(-5). Which is smaller: v or n?
n
Let l be (2 - 27/6)*2. Let t = l + 4. Let u = 5023 - 30137/6. Which is smaller: t or u?
t
Let y be (32/624)/(8/15). Let f = y - -2/13. Do 1/61 and f have the same value?
False
Let q be (-9)/(-6)*(-32)/(-6). Let b = q + -5. Suppose -3*s + 7*s - 41 = b*k, -2*k - 22 = -2*s. Which is bigger: s or 2?
s
Let o = -16 + 24. Suppose -o = m - 2*d - 0*d, 5*d = 3*m + 19. Let j be ((-15)/m)/(3/(-4)). Are j and 9 nonequal?
True
Let v be (-2)/(-6) - 8/(24/(-257)). Let p = 76 - 113. Let m = v + p. Is 50 at most m?
False
Let r be -10*78/(-18) - 3*(-2)/9. Which is greater: 46 or r?
46
Let f be (-3 - 44/(-16)*1) + 0. Let b be ((-17)/(-26) + 6/(-39))*0. Which is bigger: b or f?
b
Let m = -35.3 - -35. Let q = m - -0.5. Let a(f) = -f**2 + 11*f + 78. Let t be a(16). Which is greater: q or t?
q
Suppose 4*z + 5*n + 115 = 42, -3*n + 65 = -4*z. Let i = -97.89 + 1.89. Let f = 97 + i. Is z > f?
False
Let g = -172.88 - -173.18. Let r = 0.3 - 0.1. Which is smaller: r or g?
r
Let m = -5192 + 5191.7. Which is smaller: 917/2 or m?
m
Let n = 20909.4 - 20618.121. Let m = n + -0.279. Which is smaller: m or 1?
1
Let m = -6.1 - -4. Let p = 32.063 - 31.963. Is p less than m?
False
Let x = 0.09854 - -0.00146. Let u = -48 + 43. Are x and u nonequal?
True
Let c = -409 - -403. Let o be c + 1 - (1 - -8)*19. Which is greater: o or -2/7?
-2/7
Let y(d) = 33*d**2 + 12*d - 6. Let b be y(-2). Is 92 at least b?
False
Let x(f) be the third derivative of 3*f**5/10 - 107*f**4/24 + 11*f**3/6 - 57*f**2. Let k be x(7). Is 143 equal to k?
False
Let j(n) = 11*n**2 + n - 15. Let z be j(-13). Let h = z - 159293/87. Is 1 >= h?
True
Let j = -169212 - -849309/5. Is 650 equal to j?
False
Let h = -3192 - -2962. Which is bigger: 5 or h?
5
Let i be 2263/(-15) + (7748/390 - 20). Are i and -158 non-equal?
True
Let p = 4 - 4.3. Let q = -788 + 783. Let w be 1 - (0 + (-7)/q). Does w = p?
False
Let j(f) = -2*f**3 + 33*f**2 - 29*f + 213. Let v be j(16). Suppose 2*h = 228 + 6. Suppose -2*q = -v*q - h. Is q at least -38?
False
Suppose 0 = -j - 5*z + 397, 8*j + z = 4*j + 1512. Let h be (j/65*-5)/(7/15). Which is bigger: h or -62?
-62
Let t = -46391 - -59949. Do t and 13559 have different values?
True
Suppose -112*a = -120*a - 864. Is -6 greater than a?
True
Let b = -484.3183 + 1.0183. Which is smaller: b or 0.1?
b
Suppose -2*f + 3*f = -3. Let c = -8994 + 8999. Do f and c have different values?
True
Let j(q) = -45*q**3 + q. Let c be j(1). Let t = 1104 - 1147. Which is bigger: c or t?
t
Let j = -12 + -3. Let n = -22 - j. Is n equal to -1/5?
False
Let i = -7799 - -7830.16. Are -2/7 and i nonequal?
True
Let p = -7241 - -709601/98. Is p at least as big as 0?
False
Let g be 1350/(-8) + 9/(-36). Let t = g - -289. Is t > 119?
True
Suppose -3*m - 1610 = -m - 2*s, -3216 = 4*m - 3*s. Suppose -o + 36*o + 169 = -41. Let x be (o/m)/((-5)/15). Is x smaller than 2/3?
True
Let l = 72.8 + -48. Let m = l + -21.8. Which is greater: 1.4 or m?
m
Let s be -3 - (-8 - (-12)/2). Is -2/5459 at least as big as s?
True
Let c be (-1252)/(-4382) - 2*(-206)/1792. Which is smaller: c or 0?
0
Let q = -495 + 551. Let n be q/10*(-120)/48. Are n and -24 unequal?
True
Let t = -6.51 - -6. Let c = t + 0.524. Is -2/13 > c?
False
Suppose -18*y = -28*y + 4302 + 1308. Which is bigger: y or 566?
566
Let b be (0 - (-67 + 2)) + (-60)/(-15). Let v = b - 74. Does v = -2?
False
Suppose -14*k - 9*k = 8*k - 25*k. Let t = -8 + 13. Is t >= k?
True
Let w = -482292/67 - -7198. Which is greater: w or -1?
w
Suppose -10*m + 15*m + 4*w + 57 = 0, 5*m + 60 = -5*w. Which is smaller: m or 85?
m
Let v = 81 - 70. Let c = 10 - v. Is -5 > c?
False
Let q be (9/(-555)*3)/1. Which is greater: 1 or q?
1
Suppose -5 = -5*a - 0. Suppose 4*y + 1267 = 5*j + 7*y, -1275 = -5*j + 5*y. Let q = j - 2543/10. Is a less than q?
False
Let a(i) = i + 12. Let d be ((-15)/(-10))/((-3)/(-16)). Let m be (-1)/(4/(d + 4)). Let h be a(m). Which is bigger: h or 7?
h
Let g = 20343 - 20510. Is g greater than -19?
False
Let s be 16/(-56) - (-46)/14. Let k = 8 - s. Suppose -k*q - 31 = 2*x - 83, -2*q + 2*x = -32. Does q = 11?
False
Suppose -51 = 4*r - 231. Suppose 50*f = r*f - 5. Do f and -8/5 have the same value?
False
Let t be (-7098)/98 + (-9)/(-21). Let v be (-162)/t*1/9. Is 10 at most v?
False
Let w(s) = -3*s**3 + s**2 - 1. Let r be w(1). Let i = -382 - -142. Let j be i/36*6/22. Is j greater than r?
True
Let c be 24/144 - (0 + (-49)/(-6)). Let s be (3/(-2))/((-244)/c). Which is smaller: s or -1?
-1
Let u = -16832 + 16833. Is -58/351 < u?
True
Let l be (-3 - 3)/18 + 1498/4458. Which is smaller: 0 or l?
0
Let u(p) = 440*p - 3959. Let d be u(9). Is -33/268 >= d?
False
Let i be -70*(-1)/(80/15 + -2)*1. Let t(v) = -2*v**2 + 2*v + 1. Let p be t(2). Is p greater than i?
False
Suppose -46*y - 32*y - 135874 = 90716. Is y bigger than -2904?
False
Let a be ((-1)/3)/(((-1)/(-9))/(-1)). Let u be 7 - -1*(-2 - -3). Let m be ((-30)/u + a)/3. Is 1/5 at least as big as m?
True
Let i be 30/38*(13 - 1239/63). Is i < -6?
False
Let u = 2162/5055 + -28/1011. Is u equal to -1573?
False
Let n be (-5 - -3)/(-2 - 0). Let r(z) = 14*z - 16*z - n + 24. Let h be r(8). Which is smaller: h or 8?
h
Suppose -7 = -25*i + 32*i. Let z be (1 + 28)/(11 + -12). Let f = -32 - z. Which is bigger: i or f?
i
Let j be -257 - 23 - (-23 + 14). Let i(w) = 136*w + 3. Let t be i(-2). Is j smaller than t?
True
Let n(r) = -r**3 - 8*r**2 - 3*r + 9. Let x be n(-7). Let t be -86*(-2)/6 - (-87)/261. Suppose -t*d - 920 = 17*d. Is x not equal to d?
True
Let t(a) = -292*a - 491. Let x be t(-5). Which is smaller: x or 968?
968
Suppose -5*x + 2*x - r + 5539 = 0, -4*x + r + 7376 = 0. Let w be (-30)/35 - x/(-21). Which is smaller: w or 85?
85
Let t = 6049/3807 + -77/47. Let q(r) = r**2 - r - 7. Let w = 24 + -21. Let u be q(w). Is u less 