 a have the same value?
True
Let l = 832 + -1106. Is l greater than or equal to -273?
False
Let a = -239.96 + 240. Which is smaller: -6 or a?
-6
Suppose -6*x - 3*t + 224 = -4*x, 0 = -3*x + 2*t + 349. Let j = 709 + -488. Let w be x/(-13) + (-34)/j. Is -10 smaller than w?
True
Let p = -60 - -63. Suppose 0 = -5*j + h - p*h, 0 = -2*j + 3*h. Is -1/46 less than j?
True
Let v be (-9 - (-50)/5)/(1 + -2). Which is smaller: v or 4/87?
v
Let f be (-8)/(-6)*78/52. Suppose 0 = -n - 0*n + f*b - 6, 0 = 3*b + 6. Let y be -3 - 5/(25/n). Is 3/11 less than or equal to y?
False
Let a(c) = -c**3 - 5*c**2 - 4*c - 3. Let d be a(-4). Let j(o) = o**2 - 8*o + 9. Let f be j(5). Let m be -1 + 4 + (f - 3). Is d not equal to m?
True
Let i be (-2 + 0)*(3948/1314 + -3). Which is bigger: 0 or i?
0
Let z(o) = -o**2 - 12*o - 9. Let j be z(-11). Let r be (1/(-6))/(j/(-8)). Is 0 equal to r?
False
Let a = -35 + 29. Let o be (-14)/(-21) + (-62)/a. Which is smaller: o or 10?
10
Suppose 295 = -7*b - 398. Which is smaller: 3 or b?
b
Suppose 16*j + 307 = 99. Is j at most -94/7?
False
Let y = -275.02 + 275. Which is bigger: 18 or y?
18
Let k(r) = -r - 1. Let p be k(-14). Suppose -12 = 4*a - 4*g, p = 4*a - g + 2*g. Is a <= 3?
True
Suppose 4*i = -2*l + 5*l - 15, i - 5*l = -25. Let z(b) = -b - 9 - 4*b**3 + 5*b**3 - b**2 + 2*b. Let s be z(i). Is 0.1 at least s?
True
Suppose 7 - 3 = 4*x. Let g be x/1*6/(-9). Which is smaller: g or -4?
-4
Suppose 0 = 6*k - 2*k - 4, -4*b = 2*k - 46. Let t = -27 + 38. Is b greater than or equal to t?
True
Let j(y) = y**2 - 5*y - 3. Let n be j(6). Suppose -w + 1 = -2*z - 0*w, 5*z + n*w = -8. Is -5/11 greater than z?
True
Let q = 325/9 + -36. Let x be (1 + -7)/(8 - 6). Which is greater: x or q?
q
Let t be (-15)/6 + (-4851)/(-22) - -5. Which is smaller: 1560/7 or t?
1560/7
Suppose -86 = 2*y - 22. Let s = -21 - y. Suppose -2*k = -23 + 1. Is k <= s?
True
Let t = -1 - -7. Suppose t = 2*q - 4. Let l(x) = -2*x + 9. Let b be l(q). Which is smaller: -4/3 or b?
-4/3
Let y be 2*(-5)/2 + (3 - 2). Let t be y - (2 + -3)*6. Is t equal to 20/11?
False
Let h = 0.0207 - -0.9793. Let r = 0.6 - 5.6. Is h bigger than r?
True
Suppose -12*t + 623 - 611 = 0. Is 1/128 bigger than t?
False
Let d = 5/86 + 1963/258. Let z(j) = 2*j**3 - 10*j**2 + 14*j - 16. Let w be z(4). Are w and d unequal?
True
Let a be ((-148)/(-14))/((-12)/(-28)). Let k = -565/24 + a. Is 0 > k?
False
Suppose 16*u + 333 = 1981. Is u less than or equal to 102?
False
Let w = -1087 + 1100.99. Let p = -0.01 - w. Let i = 12 + p. Which is greater: -3 or i?
i
Let a = 15.06 - 0.06. Let y = -39 + a. Let j = y + 15. Is j < 0?
True
Let l be (4/(-4))/(4/(-44)). Which is smaller: -0.04 or l?
-0.04
Let h = 1209 - 1222. Which is smaller: h or -33?
-33
Let r = 30 + -15. Suppose -2*w - y - r = 0, -5*w - 5*y - 40 = 5. Let d = 240 + -247. Which is greater: w or d?
w
Let m(a) = 2*a**2 + 4*a + 3. Suppose 3*q - 2 = -5. Let c be m(q). Let s = 2.4 - 2. Which is smaller: s or c?
s
Let g(j) = -j - 27. Let i be g(-27). Is i greater than or equal to 3?
False
Let a(t) = t**2 + 8*t - 2 - 4*t - 4. Let n(g) = -g**2 - 6*g - 10. Let f be n(-5). Let v be a(f). Is v < -1/15?
True
Let a = 173 - 103. Let x = 73 - a. Which is bigger: x or 6?
6
Suppose 6*p = -5*q + p + 30, 3 = -4*q + 5*p. Suppose 2*m - q*m - 1 = 0. Is 39 less than m?
False
Suppose 5*z + 94 = f, -5*z - 3*f - 88 = 10. Let p be z/(-76) - (-58)/(-8). Let l be (-640)/(-35) + 2/p. Which is smaller: l or 17?
17
Let w(d) = d**3 + 20*d**2 - 13*d + 65. Let z be w(-21). Is z at most -103?
True
Let d be (-1)/((-2)/(-8)) + 65. Which is bigger: d or 66?
66
Let z be (-24)/20*(-7)/(63/30). Let i = -19 + 1. Let w = -13 - i. Is w greater than or equal to z?
True
Let s be (-2)/(-1 + 6 - -2). Let j = -67.6 + 63. Let a = -4.7 - j. Is a <= s?
False
Suppose -3*t - 9 = -2*s + 4, 5*s - 27 = 2*t. Let p be (0 - -1)*(46 - t). Let c = p - 233/5. Which is greater: c or -0.3?
c
Suppose -2*a - 9*v - 36 = -6*v, 5*v + 18 = -a. Is a != -18?
False
Let t = -0.558 + 0.558. Is -0.28 greater than or equal to t?
False
Suppose 3 = -3*j + 12, 0 = w - 3*j + 5. Let b be (72/(-160))/(6/(-35)). Which is smaller: w or b?
b
Let o be 2/((-2)/55) - (-48)/(-16). Is -30 at most as big as o?
False
Let b = -2 - 10. Let m be 4/b + 16/3. Let r(y) = -y**2 + 8*y + 6. Let h be r(m). Is 22 at most as big as h?
False
Suppose 2*s - 32 = 2*a, 2*a - a = 4*s - 49. Is s smaller than 66?
True
Let d be (63/(-9))/7*3. Suppose -5*h - 18 = 2*c, -2*h - c - 4*c = 24. Which is greater: d or h?
h
Let b be (-23693)/203 - (-4)/(-14). Is b less than or equal to -116?
True
Suppose -5*w - 35 = -4*i, 0 = -7*i + 10*i - 5*w - 25. Suppose 2*m - 62 = -8. Let f be (-2 + 7)*m/15. Which is smaller: f or i?
f
Let h(m) = m**2 - 2*m - 9. Let j be h(4). Let k = 5 + j. Suppose -5*x + 22 = -g, x - 37 = -4*x - k*g. Are 5 and x equal?
True
Let z(t) = t**3 + t**2 + t + 2. Let m be z(-2). Let w be 36/24 + (-6)/m. Let n(l) = 6*l**2 + 3*l + 1. Let c be n(-1). Which is smaller: w or c?
w
Let d = -0.97 - -79.97. Let p = d + -80. Is p at most 24?
True
Let n be 62/104 + (-9)/12. Let z(b) = 3 + 0*b + 2*b - 14 - 3*b. Let y be z(-10). Which is bigger: n or y?
n
Let z(y) = y**2 + 3*y - 1. Let o be z(-4). Let k = -106 + 108. Suppose 0 = -k*p + o*p. Is -1 equal to p?
False
Let c = -12 + 17. Suppose 0*b + 2 = 2*b, 5*b - 3 = q. Let h be q + -6 - 3/(-3). Are c and h equal?
False
Suppose -13*b + 7*b + 24 = 0. Let k be -1*b/(-8) - (-50)/(-4). Let f be 38/(-3) - (-4)/6. Is k > f?
False
Let o be (106 - -6)*(16/20)/4. Which is greater: 23 or o?
23
Let o = -3 + 13. Suppose 80 = 514*d - 509*d. Which is smaller: o or d?
o
Let n = 5/3 + -133/78. Let k be 3/(-15) + 2/10. Which is smaller: n or k?
n
Let o(r) = -r**3 - 19*r**2 - 18*r + 6. Let f be o(-18). Suppose -f*c + 150 = -9*c. Which is smaller: c or -51?
-51
Let d = 95.1 + -95. Suppose 4*s + 30 = 6*s. Let k be s/(-6)*(-8)/(-110). Which is smaller: d or k?
k
Let l = 431/4 - 437/4. Is l bigger than 20?
False
Let y = -26 + 1041/40. Let z = -51/440 + y. Is z at most as big as 0?
True
Let f = 5 - 9. Let v = -1 - f. Suppose -t = -v*t. Is 3/14 less than or equal to t?
False
Suppose -60 = -46*z + 78. Which is smaller: 88/31 or z?
88/31
Let n = -8180 - -48391/6. Is n less than or equal to -116?
False
Suppose 5*w = -x + 6 - 65, 2*x = -w - 19. Let d = -13 - w. Let k be 3*((-2)/(-3))/d. Is 0 at most k?
False
Let p = -0.49 + 23.49. Let n = p - 24. Let c be 2*(-2)/(-4)*0. Which is smaller: n or c?
n
Let w = 2.314 - -2.686. Which is smaller: -5.5 or w?
-5.5
Suppose 0 = -3*o + 5 + 4. Suppose 5*t - 97 = 3*m, -o*t + 2*m = m - 59. Is t at least 20?
True
Suppose -9*j + 24 = -5*j. Suppose 0 = -5*v + v + 24. Let r be ((-15)/j)/((-3)/v). Which is bigger: r or 11/2?
11/2
Let i = 106 + -72. Let j = -33.9 + i. Is j less than or equal to -0.043?
False
Let m be 3 + (8/(-20))/((-8)/(-110)). Is m at most as big as -2?
True
Let p(m) = -m**3 - 2*m**2 - m - 3. Let h be p(-3). Let g be 3/h + (-11)/6. Is 0 bigger than g?
True
Suppose -h - 58 = 4*v - 5*v, -2*h = 0. Is v equal to 60?
False
Let g = 1 + -2. Let k be (-1)/(-4) - 46/(-8). Let v be (k/4)/((-33)/(-6)). Is v at least as big as g?
True
Suppose -c = -5*v + 7*v + 6, -14 = 4*v + 3*c. Is v equal to -22/9?
False
Suppose 5*a - 8 = -5*q - 48, q + 8 = a. Suppose 2*z + 0 = 2. Let x = z + q. Is -7 less than or equal to x?
True
Let r = -3287 + 3288. Let a = 7.3 + -7. Let n = 0.4 - a. Is r at most n?
False
Suppose k = -0*k. Let l = -23577/685 + 30/137. Let d = -2937/85 - l. Which is greater: k or d?
k
Let o = -3625 + 21799/6. Let r = o - 70/9. Is -1 greater than or equal to r?
False
Let a(v) be the first derivative of -v**4/4 + 2*v**3 - 5*v**2/2 + 3*v - 12. Let j be a(3). Let s be (-2)/4*(-66)/j. Are 2 and s equal?
False
Suppose 6 = 2*t - 0*b + 4*b, -18 = 4*t - 2*b. Let h = 246 - 252. Which is smaller: h or t?
h
Suppose -3*f = -13*f + 1170. Which is bigger: 119 or f?
119
Let v = -72771/8 - -9084. Which is smaller: -11 or v?
v
Let f(b) be the second derivative of b**5/20 - b**4/4 + b**3/3 - 2*b**2 + 2*b. Let p be f(3). Suppose p*o + i - 2 - 4 = 0, -4*i + 8 = 0. Does o = 6?
False
Suppose -b + 2*w + 7 = 60, -b = 3*w + 28. Is -43 at least as big as b?
True
Let d = 48.1 - 51. Let m = d + 3. Let h be (-14)/24 - (35/(-10))/7. Is m > h?
True
Suppose -x 