1). Which is bigger: n or s?
n
Suppose 36 = -7*m + 11*m. Let n(d) = 4*d + 23. Let c be n(m). Let o = -66 + c. Are o and -2 unequal?
True
Suppose -4*y = -6 + 2. Suppose 0 = -j + 3, -7*w + 3*w - j = -91. Let q be (21 - 20)/(2/w). Are q and y equal?
False
Suppose -3*l + g + 6 - 2 = 0, 0 = -5*l - g + 12. Let d be 4/10 - (-136)/10. Suppose 5*i = -4 + d. Are l and i non-equal?
False
Let o = 2.4 - 4.7. Let y be 4/6*(-56)/112. Is y greater than o?
True
Let i = 2.4 - 187.4. Let f = i + 184.9. Is -1/191 > f?
True
Let r(q) = -10*q + 2. Let z be r(-2). Let k(h) = h**3 - 21*h**2 - 23*h + 76. Let d be k(z). Which is smaller: d or 55?
d
Let o be (4/6)/((-2)/(-3)). Let f be (1/2)/(3*452/(-48)). Are f and o non-equal?
True
Let z = 29 + -28.85. Let t = z + 24.85. Let j = -512 - -512.2. Which is greater: j or t?
t
Let b = 124.54 - 124.54. Which is smaller: b or 0.3667?
b
Let l(z) = z**3 + 36*z**2 + 133*z - 170. Let c be l(-32). Is c greater than -330?
False
Suppose 291*p - 245*p - 966 = 0. Is p != -6?
True
Suppose -n + 8*r + 130 = 0, 4*n = r + 69 + 482. Suppose -4*p = 2*z - 108, -4*z = -2*z + 4. Suppose -5*g + n = p. Is g at least 21?
True
Suppose 2*v + 2*w + 34 = 0, -5*w - 22 = -v - 45. Let k be (-2)/v*2 - (-30476)/(-171). Is -180 less than k?
True
Let i = 385.573 - 385. Let m = 0.173 - i. Which is bigger: m or 0.07?
0.07
Suppose -5*g = 3*t - 2*t + 38, -5*t + 2*g = 136. Let i be 10*(4 + t/8)*-1. Suppose c + 3 + 9 = -2*h, -5*c = 4*h + 18. Which is smaller: h or i?
h
Let t = 10542 - 10569. Which is smaller: t or -5.3?
t
Let b(h) = -38*h + 1504. Let a be b(25). Are a and 556 non-equal?
True
Suppose 0 = 5*j + 4*m - 838, -5*j - 3*m + 1418 = 577. Suppose -j = 127*p - 122*p. Which is greater: -32 or p?
-32
Suppose 2*r - 1820 = -5*r. Suppose y - r = -y. Let a = -129 + y. Which is smaller: 1/42 or a?
1/42
Let x = -131 - 42. Let l = -42 - 131. Is l > x?
False
Suppose 0 = 38*y + 7*y - 135. Which is smaller: 147/43 or y?
y
Suppose -3*s - 2*s + c - 189 = 0, 0 = 5*s + c + 181. Let u = 15123 + -15160. Are s and u unequal?
False
Let r = 234 + -91. Let b = r + -144. Which is greater: b or -2/221?
-2/221
Suppose 2*z - 3*q - 25 = 0, 83*z - 86*z = -4*q - 35. Suppose 5*p = 9 + 11. Suppose -z*h - 5 = -p*h. Which is bigger: h or -24/5?
-24/5
Let u be 2*404246/(-28) + (-79)/(-79). Let c = u + 28923. Are 48 and c unequal?
True
Suppose 5 = 5*a + 10. Let g = 2490/17 + -301307/2057. Which is bigger: g or a?
g
Suppose -2*a = -34 - 32. Suppose -15*i + 19*i = 4*s - 828, s - 3*i - 207 = 0. Suppose s = 8*l - 57. Is a at least l?
True
Suppose 39 + 7 = 2*l. Suppose -4*b + 8 = 0, -6*y + 4*b = -y + l. Let j be ((-84)/(-18))/(4/(-6)) - y. Which is smaller: -5 or j?
-5
Let a be 0/((300/20)/15). Is 34/321 less than or equal to a?
False
Let x be (-6)/(-21) - (-3000)/(-12264). Which is bigger: x or 1?
1
Suppose 0 = 11*z - 80*z + 40503. Is z > 590?
False
Let v = 30 + -29. Let a = -14320052/19 + 753503. Let c = a + 184. Which is smaller: v or c?
c
Let o be (856 - 8)/(1/5). Suppose -o = -4*m - 4*m. Let b be m/112*-2 - 2/7. Which is smaller: b or -11?
-11
Let y = 5 + -16. Let f(w) = -w**3 - 11*w**2 - 2*w + 22. Let z be f(y). Suppose -z*l = -48*l. Is l equal to 0.08?
False
Let h = -9452 + 9655. Which is smaller: h or 204?
h
Suppose 4*g - 399 = -3*j, -j - 6*g + 5*g + 134 = 0. Which is greater: 271/2 or j?
j
Let a(x) = x**3 - 15*x**2 + 9*x - 113. Let v be a(0). Let w be 22/3*(-1 - 14). Are v and w nonequal?
True
Suppose -3*r - 255 = 5*j, 5*j - 147 = 8*j + 3*r. Which is smaller: -63 or j?
-63
Suppose 19*q = -q + 25200. Suppose 0 = 19*j - 4*j - q. Which is smaller: 83 or j?
83
Let j = -0.15 - -0.53. Let w = -0.58 + j. Let x = w + 0.2. Are -29 and x nonequal?
True
Let i(r) = -3*r**3 + 6*r**2 - 6*r + 8. Let o be i(2). Let a be (o*(-6)/288)/(1/15). Which is bigger: a or 1?
a
Suppose -l = w + 45, -3*l - 85 = 2*w - 0*l. Let g be (68/34*(14/4 - 3))/(28/(-1428)). Is g greater than or equal to w?
False
Let b(d) = d**3 + 7*d**2 + 6*d - 1. Let i be b(-6). Let l(u) = 10*u - 11. Let t(w) = -2*w. Let v(j) = l(j) + 4*t(j). Let x be v(6). Is i at most x?
True
Suppose 3*w = -3*p + 78, -5*p - 3*w + 66 = -58. Suppose 2*z + 5*k - 45 = 7*z, -3*z + 4*k = p. Which is bigger: z or -14?
z
Let m(i) = 227*i**2 - 5*i - 4. Let o be m(-1). Let b be 8/76 - 100/o. Which is greater: b or -41/4?
b
Let i = 29.45 - -1.55. Is -0.85 bigger than i?
False
Let x = -115/6 - -12. Suppose 3319*r = 3335*r + 112. Which is bigger: x or r?
r
Let q(x) = -25*x - 49. Let p be q(4). Let o = 213 + p. Let g = 34 - o. Which is smaller: -31 or g?
-31
Suppose 1 = g, 3*p + 0*g - 3*g - 9 = 0. Suppose 2*o - o - p = 0. Suppose -2*f + 2*h + o = -4, 2*f = -3*h + 33. Is f at least 12?
False
Let f be ((-2)/(-3909))/(33 + (-5908)/168). Is 1 < f?
False
Suppose -5*i - 2*c - 7030 = 0, -i = 12*c - 8*c + 1424. Let u be 56/112 - 142*(-5)/i. Which is greater: u or 0?
0
Let i be (-14)/3*3465/770. Which is smaller: i or 0.25?
i
Let p be (-1)/(-5)*71 + 12/(-60). Suppose 6*g - 20 - 100 = 0. Which is smaller: g or p?
p
Let t(p) be the third derivative of 5*p**4/24 + 11*p**3 - 63*p**2. Let g be t(-14). Which is greater: -7 or g?
g
Let m(s) = 31*s - 175. Let c(g) = -g. Let k(i) = 2*c(i) + m(i). Let d be k(6). Which is smaller: 2/255 or d?
d
Let p be -5 + 197330/34320 - (-3)/(-4). Which is smaller: 1 or p?
p
Let i = -42603/2 + 20606. Which is smaller: i or -696?
-696
Let j = -1740 - -1745. Do j and 27/5 have the same value?
False
Let k(m) = 21*m**2 - 20*m - 11. Let f(q) = -7*q**2 + 7*q + 4. Let v(i) = 17*f(i) + 6*k(i). Let x be v(1). Suppose -x = 40*y - 48*y. Is y > 2/89?
True
Let z = -25 - 61. Let i = 126 + -40. Let q = z + i. Is -0.001 greater than q?
False
Let o = -205.3 - -3.3. Let y = o + 202.5. Which is bigger: 3 or y?
3
Let v(b) = b**2 + 19*b - 34. Let k be v(2). Suppose 46*c = 38*c - k. Which is greater: c or 4/57?
4/57
Suppose 0 = 2*d - 2*j + 10, 1 = -5*d - 5*j + 36. Does d = 6/809?
False
Let k = -36.4902 + 0.4902. Let i = 20.06 + -20. Which is smaller: k or i?
k
Let l(c) = 46*c**2 + 21*c - 84. Let b(n) = 38*n**2 + 20*n - 83. Let p(j) = 4*b(j) - 3*l(j). Let g be p(5). Which is smaller: g or 354?
354
Let a = 372 + -396. Let v(r) = -12*r - 296. Let u be v(a). Is u smaller than 18?
True
Let b = 5080.54 + -5089. Is b at least as big as 0.2?
False
Let b(u) = -3 - 6*u - 2 + 3*u. Let i be b(-9). Suppose -n - n = -5*d - i, 0 = 4*d + 16. Which is smaller: n or 6/7?
6/7
Let j = 211 + -208. Suppose -3*i = -15, 0*t + j*t + 20 = 4*i. Which is greater: -3/56 or t?
t
Let o be (-13)/(286/33) + (-239)/2. Let a be 1426/(-12) - 2/(-4). Let b = a - o. Is 3 <= b?
False
Suppose 0 = 2*n - 0 + 2. Let p be n/1*(-60)/(-6). Let g = -770 + 764. Which is greater: p or g?
g
Suppose 14*l - 40 = 10*l. Suppose 3*c + l = 5*b + 21, 0 = -b - c - 7. Is b less than -4?
False
Let c = -3 - -17. Suppose 86*o - 32*o - 810 = 0. Is c at least o?
False
Let o(v) = v - 103. Let n(p) = 2*p - 205. Let w(h) = 6*n(h) - 13*o(h). Let r be w(19). Which is bigger: r or 86?
r
Let j be 9/(108/64) + (-2)/(-3). Let f be 5 + 0 - (j - 1). Suppose 0 = 3*u - f*u + 4*l + 5, -5*u = 2*l - 15. Is u <= 17/3?
True
Let g = -253 - -268. Let w be (-11407)/2261 + g/(0 + 3). Which is smaller: -1 or w?
-1
Let b(o) = o**2 + 5*o + 24. Let j(k) = k**3 + 7*k**2 + 4*k + 1. Let f be j(-6). Let n be b(f). Let p = -366 + n. Is -107 less than or equal to p?
False
Let h(l) = l**2 - 6*l + 1. Let o be h(7). Suppose w + 6 + o = -3*z, -4*z = w + 14. Let q be (3/w)/((-54)/180). Is 2 <= q?
False
Let p be 1070/(-220) - (2 + (-14)/2). Let g = p + -1/2. Which is smaller: -58 or g?
-58
Let t(j) = 3*j + 25. Let h be t(-6). Let a be ((-8)/h)/(31/(-651)). Is 16 at most as big as a?
True
Let q(r) = r**3 + 6*r**2 - 3*r - 13. Let m be q(-6). Suppose u + 4*w = -19 + 1, -5*w = -m*u + 10. Is -24/23 smaller than u?
False
Let g be (-52)/20 + 2 + 6/(-15). Let u be (-2)/18*(g + 1*-3). Let z = 1.74 - 1.34. Is z > u?
False
Let a = -911 - -1779/2. Suppose -151 + 13 = 6*j. Which is bigger: j or a?
a
Let k = -27417616/525 - -52224. Is 1 greater than k?
True
Let p(z) = 63*z - 242. Let a be p(4). Suppose -v - a = -4*n, 3*v + 27*n - 24*n = 0. Let s = -13/54 - 35/54. Which is smaller: v or s?
v
Let y = -1558444/13 - -119386. Let a = y - -494. Which is bigger: a or -2?
a
Let l = -13.13 + 14.