. Let g be c(-12). Suppose 0 = 3*b + 2*b + 40. Are g and b unequal?
False
Suppose -j + 4*s - 158 = 0, 0 = s + 2*s + 12. Let k = 2266/13 + j. Is -1 at most as big as k?
True
Let l = 0.22 + 0. Let y = l - 172.22. Which is smaller: y or 1/4?
y
Let f = -11530 + 936. Is f at most as big as 1?
True
Let q = -108643 + 391658011/3605. Is q <= 1?
True
Let w be (-1438016)/351472 + -1 + (2 - -2). Let a = 16061 - 32073816/1997. Let k = w + a. Which is smaller: -1 or k?
k
Let w be (-2)/33*(-1 + -2). Let i = 3/44 + w. Let o = -3687 + 3681. Is i at most o?
False
Suppose 88 = -43*b + 475. Suppose 5*a = -4*f - 0*f + 11, 5*a = f + 16. Does b = f?
False
Suppose n + 3*x - 149 = 381, -4*x + 525 = n. Are 550 and n unequal?
True
Let d(w) = w**3 + 29*w**2 - 31*w - 26. Let b be d(-30). Suppose -4*i - 8 = -b*h, -h + 4*h + 2*i = 1. Which is smaller: h or 13/12?
h
Suppose -59*k + 673 = 95 - 130. Is k > 22?
False
Let q(b) = b + 29. Let c be q(-25). Let d be (-3 + -1 + c)/(1*-1). Is d bigger than 24/25?
False
Let k be 39359/(-4373) + (-8)/(224/(-252)). Which is smaller: -1 or k?
-1
Suppose 3*n + 7 = -14. Let i be ((-6)/n)/(7/(-49)). Let w be 4/i*6/4. Is 4/11 < w?
False
Let m be -5 + (7/7)/((-1)/(-1)). Let t = m - -111. Is t at most 106?
False
Let d = 11213 + -11220. Which is bigger: -106/13 or d?
d
Let i(l) = 3926*l - 58891. Let p be i(15). Let n = -0.098 - -6.798. Let f = 2.3 + n. Is p < f?
True
Let g be -4 - 865/305*(-6)/(9/3). Which is bigger: 3 or g?
3
Let t = -245.1 + 36.1. Let r = t - -100. Let q = 108.9 + r. Which is smaller: q or 25/6?
q
Let n = -251 - -229. Let o(d) = 2*d**2 + 45*d + 23. Let s be o(n). Let p(c) = -c**2 + 1. Let l be p(-1). Which is smaller: l or s?
l
Let v = -21.33 - -21.2. Let y = 0.03 - 0.1. Let t = y + v. Is t less than or equal to 14?
True
Let d = 2127 + -1307. Is d >= 1/3?
True
Suppose 5*g + l + 7962 = 0, 1740 = -5*g + 4*l - 6212. Let c be g/24 - 8/12. Suppose 2*v = -87 - 49. Is c != v?
True
Let v be (12/(-200))/(3096/30). Is v at least as big as 0?
False
Suppose 3*o - 39 = l - 17, -32 = -4*l - 3*o. Which is smaller: 102/47 or l?
l
Let g be 1320/1122 - 3/17. Which is bigger: 12/49 or g?
g
Let q(m) = 23*m**2 - 35*m - 32. Let r be q(5). Which is greater: 1108/3 or r?
1108/3
Let i(n) = -2*n**2 - 22*n - 104. Let j be i(-14). Let f(p) = -14*p**2 + 6*p + 12. Let d be f(4). Is d > j?
False
Let s = 2356.6 - 641.6. Is s equal to -3?
False
Let k be 16/12*3 + -4. Let t = -18 - 35. Let q = 43 + t. Which is smaller: k or q?
q
Let v be (-1 - -39)/(-3 + 5). Suppose 5 = 2*k - 13. Let n = k + 11. Do v and n have the same value?
False
Let y = -169/14 - -102/7. Let x = 45 - 49. Let l be 78/30 - x/10. Are l and y equal?
False
Let w = 554596 - 554545. Let a = 0 - -6. Let i = a - 4. Does w = i?
False
Let v = 13/1162 + -841895/2324. Let g = v + 364. Is g at least 2?
False
Let f = 2.01538 - 0.01538. Is 706 less than f?
False
Let x = -909 - -870. Let i = 41 + x. Which is smaller: i or 27.3?
i
Let o(w) = w**3 - 14*w**2 + 41*w - 1185. Let l be o(16). Are l and -142 non-equal?
True
Suppose -2*l + 4 = -24*i + 21*i, -2*l - 3*i = 8. Does l = -17/65?
False
Let k be (-4)/(-14) + (-2442)/21. Let t = -741396/6419 - -3/12838. Which is bigger: t or k?
t
Let h be ((-2)/8)/(1099/56 + -19). Let q be (-18 + 1)/((-4)/(-52)). Which is smaller: q or h?
q
Let a(p) = p**2 + 12*p + 4. Let i be a(-10). Let b be (28/(-56))/((-62)/i). Which is smaller: b or 1?
b
Let b(s) = 6*s + 20. Let z(j) = -20*j - 54. Let q(u) = -16*b(u) - 5*z(u). Let a = 17 + -9. Let f be q(a). Are -19 and f equal?
False
Let u be 70/(-5) - (-117 - -104). Is u <= 2/5289?
True
Let o(t) = 18 - 31 + 8 + 6*t. Let i(m) = m + 1. Let r be i(0). Let u be o(r). Which is smaller: 6/5 or u?
u
Let x(c) = c**3 + c**2 - 17*c - 175. Let b be x(0). Which is smaller: -173 or b?
b
Let k(m) = m**2 - 9*m + 10. Let g be k(8). Let c = -107.3 - -7.3. Let r = c - -97. Is g greater than r?
True
Let k(x) = -3*x + 535. Let u be k(-24). Is 607 less than u?
False
Let c = -216669 - -216668. Let r be (-118)/(-348) + (-2)/6. Which is greater: r or c?
r
Suppose -10*u - 284 = -6*u. Let s be u*4/(-20) - (1 - -2). Let r be 19/2 - (2/(-4) - 0). Which is bigger: s or r?
s
Let w be ((-26)/(-39))/((-9724)/1452). Which is smaller: w or -1?
-1
Let t be -59*(-1)/(-7) - 1000/1750. Which is smaller: -172/19 or t?
-172/19
Let f(j) = j**2 + 11*j + 14. Let p be f(-10). Let q(a) = -a**3 + 14*a**2 + 22*a - 20. Let l be q(15). Let c be (p - l/20)/1. Which is greater: c or -1?
c
Let q be (-5)/(-4)*10/25*20. Let w be (480/50 - q) + (-4)/(-10). Which is smaller: 10/37 or w?
w
Suppose 0 = 3*d - 4*p - 4, -3*p - 7 = -4*d - 11. Does -536 = d?
False
Suppose -32*h = -33*h + 252. Let x = -209 + h. Which is smaller: x or 41?
41
Let h(q) = 2*q**3 - 55*q**2 - 2*q + 745. Let d be h(27). Let g(t) = 3*t. Let p be g(-5). Which is greater: d or p?
p
Let d be (-1)/((-1)/3) + -2 - (-126 - -123). Is d less than 114/31?
False
Suppose p + 5*o + 38 = 0, 0 = 3*p + 3*o - 49 + 175. Let w be 5/15 + 262/6. Let l = p + w. Which is bigger: 2 or l?
2
Let z = 2.722 - -138.278. Which is smaller: z or -49?
-49
Let a = -3601.9 + 3592. Let b = -66.1 - -74. Let h = a + b. Is -8 at most as big as h?
True
Let a = -5699 + 5696. Which is smaller: a or -76?
-76
Let b be (-280)/6 + 2/(-6). Suppose 116 = -4*z - 76. Is z equal to b?
False
Let h = -352 + 352.143. Let m = 0.133 - h. Which is greater: m or -3/4?
m
Let r = -332 - -1646/5. Suppose -2*m = -5*c + 26, 0 = -2*c - c + 12. Let l be (-7 - (-5 - -1) - -4)*m. Which is smaller: l or r?
l
Suppose 459 = -3*v + 471. Let m be ((-38)/(-4) - 8) + v. Which is smaller: 5 or m?
5
Let n = -473 - -252. Are n and -1771/8 nonequal?
True
Let a = 117 + -116. Let b(s) = 3*s**3 + 2*s**2 - s. Let p be b(a). Suppose p*j - 20 = -j. Which is smaller: 7 or j?
j
Let p(s) be the third derivative of -11*s**6/6 - s**5/15 - s**4/24 + 2*s**3/3 - 2*s**2 - 60*s. Let c be p(1). Are -222 and c nonequal?
True
Let f = -63.82 - -63. Let d = f + 0.92. Which is smaller: 107 or d?
d
Let k(a) = 0*a + 4*a - 8*a - 6 + 5*a. Let v be k(0). Let q be 2 - v/9*(-30)/8. Which is smaller: -0.05 or q?
q
Let h = 2697/2717170 + -1/890. Do h and 1 have the same value?
False
Let n = 2604 + -23434/9. Which is smaller: n or 2/5?
n
Suppose -20*f + 13*f + 3556 = 0. Suppose -f = 5*c + 182. Which is greater: c or -139?
c
Let z(j) = -3*j - 38. Let v be z(-25). Suppose -4*u + v*y = 42*y + 26, -19 = 3*u + 4*y. Are -10 and u non-equal?
True
Let l = 87 - 130. Let s = l - -4. Let y = s - -37. Is -2/65 < y?
False
Let t = -4.343 - -4.5. Let j = t - -0.163. Is -0.3 at most j?
True
Let p be 84/92 - (1 + 0). Let c = -240 - -252.9. Let o = c - 13.1. Is o less than or equal to p?
True
Let w(n) = 2*n**2 + 11*n - 1. Let t = -134 - -125. Let c be w(t). Let m = c - 63. Which is smaller: -5/3 or m?
-5/3
Let w(r) = 132*r**2 - 12*r + 78. Let k be w(-4). Which is smaller: 2242 or k?
k
Let b = -206.2 + 189.84. Does -1 = b?
False
Let u(r) = r**3 - 16*r**2 - 19*r - 11. Let v = -79 - -96. Let h be u(v). Do -45 and h have the same value?
True
Suppose -z = -2*t + 4, -22 + 28 = 2*t. Suppose 3*c - 6 = -3*s, 6*c + z*s = 3*c + 4. Let d be (-4)/(-2) + (-40)/19. Is d <= c?
True
Let z be -4 - (-539)/66 - ((-49)/(-42) + -1). Suppose -r - 12 = r. Which is smaller: r or z?
r
Let c = 2/177 + -368/1239. Is c at most as big as 457?
True
Suppose 0 = -26*h + 3 - 107. Let y be 2/h*8 + 1236/310. Is y less than -1?
False
Let z = 0.011 - -0.097. Let h be 30 - (140/30 + 25). Is z at most h?
True
Let t(q) = -4*q**2 + 26*q + 26. Let a be t(8). Let l be 250/((-8)/(-21) - a/77). Does l = 376?
False
Let z(s) = -11*s**2 - 83*s + 553. Let v be z(7). Which is smaller: v or -565?
v
Let z(x) = 6*x - 4. Let a be z(2). Let o be (a/8)/(2/(-356)*2). Suppose 3*h - h = -g - 86, -2*g + 3*h - 179 = 0. Which is bigger: g or o?
g
Let x = -747 - -676. Let u be (10/12)/((-45)/(-36)). Are x and u non-equal?
True
Let x = -681/5 + 682/5. Which is greater: x or -706?
x
Let a = 48 + -42.4. Let c = 8899 - 8893.4. Let j = a - c. Is j greater than 0.01?
False
Let k = -77 + 144. Suppose 5*i + 13 - 43 = -4*d, -4*i - 17 = -5*d. Suppose 0 = -d*a - 4*n + 334, 6*a = 2*a + n + 263. Which is smaller: a or k?
a
Suppose -d - 3265 = 2*w, 5*d + 5*w = 7*w - 16241. Is -3249 equal to d?
False
Suppose 3*q + 4 