8 - (-4)/(-6). Is m less than or equal to -1?
False
Let s = 786 - 787. Is 6/97 greater than s?
True
Suppose -3*k + 15 = -0*k + 3*y, 30 = 2*k - 3*y. Let b(w) = 3*w + 3. Let v be b(k). Let l be 24/v*(-10)/4. Is 2 >= l?
True
Let n be (-6142)/148 + (-3)/(-6). Is -283/7 at most n?
False
Suppose -5*a - 3*g = 151 + 275, 3*a = g - 250. Let h = -1009/12 - a. Which is smaller: h or 2?
h
Let w be 7*(-15)/36 - -3. Let r = 45 + -81. Let t = 178/5 + r. Is w < t?
False
Let k be (-2)/(-6)*(-45)/(-3). Let w be -29 + k/((-5)/(-2)). Let t be ((-36)/(-20))/(4/(-60)). Is t less than w?
False
Suppose 0 = -3*a - t + 12 - 39, 5*a + 45 = 2*t. Let d(x) = -9*x**3 + 382*x**2 - 168*x - 2. Let q be d(42). Is q smaller than a?
False
Let g = -439 - -439. Which is greater: g or -1/159?
g
Suppose 0 = -5*x + 9*x. Suppose n + 5 = 4*b, -3*n - 5 = 2*n. Suppose -b = -x*y + y. Is 2/11 smaller than y?
False
Let w be (-5 - -2)/((-8)/5 + 1). Suppose n = -n. Suppose 0 = -w*k + 2*r + 19, -5*k + 4*r = -13 - n. Which is bigger: k or -1?
k
Let g = 9 + 3. Let i be -12 + 12 + 143/11. Which is smaller: i or g?
g
Let c = 16873/58496 + -33/128. Which is smaller: 1 or c?
c
Suppose -b - 2*g - 52 = 0, 0 = 3*b - g + 159 + 4. Let r be 15/(-20) + b/(-8). Suppose 4 = -2*u + 3*k, u + 3 - r = -k. Which is bigger: u or 1/17?
u
Let h = 2569 + -2537. Is 16 >= h?
False
Let h(c) = c**2 - c - 11. Let w be h(8). Let f be 6/w + (-68)/60. Is -2 < f?
True
Let k(z) = 2*z**2 + 3*z. Let c be k(-2). Let i be (-84)/27 + 1 + 3. Which is smaller: c or i?
i
Suppose 3*x = -4*i - 13, 7*x - i = 2*x + 9. Is 2/687 less than or equal to x?
True
Let l(j) = 13*j**3 + 4*j**2 + 5. Let v be l(4). Let t = v - 9904/11. Is t equal to -1?
False
Let m = -0.147 + 9.147. Let r = 6.4 - -1.6. Let o = m - r. Does 1 = o?
True
Let y be (-16)/10*265/(-901). Is -1 bigger than y?
False
Let r be (-4)/6 + (-8)/(-21). Let c = 50 - 46. Suppose 5*v + c = 9. Is r greater than or equal to v?
False
Suppose 0 = -908*z + 916*z + 1128. Is -281/2 at most as big as z?
False
Suppose 0 = -2*b - 4*b + 18. Let i be (1 - (-4)/3)*b. Is 6 greater than or equal to i?
False
Suppose -4*f = 5*x + 2, 0 = -5*x + 10*f - 9*f + 13. Let l be (-9)/2*8/(-6). Suppose l*m - x*m = 44. Is 12 bigger than m?
True
Let g be (5 - (-74)/2)*1. Let c = g + -12. Is 30 less than or equal to c?
True
Suppose 5 = -0*q - q, -4*o - 17 = q. Let a = -4.4 + -2.6. Let w = 4 + a. Is w != o?
False
Suppose -9*m + 2079 + 5238 = 0. Let b = -43091/53 + m. Which is smaller: b or 1?
b
Let a(q) = -q**2 - 5*q + 105. Let i be a(8). Suppose g + 6 = 3*g. Is g smaller than i?
False
Let f be 3 + (-5 - (2 + -11)). Is f < 29/5?
False
Let i be (-9)/21*(-2)/3. Let w be 1/(90/15 - (6 - 1)). Which is smaller: i or w?
i
Let a = 18 - 29. Let d = 10 + a. Let b be 4/14 - (-672)/(-1323). Is b equal to d?
False
Let c = 0.384 + -0.084. Let i = -6.76 + 4.8. Let y = i + -0.04. Which is greater: y or c?
c
Let c be (-2 - (-2058)/1233) + 7/21. Is c smaller than -1?
False
Let n(i) = -3*i + 4. Let v be n(4). Let r = 11 + v. Let x be (3/2)/(18/24). Is r less than or equal to x?
False
Suppose 44*k - 47*k - 261 = 0. Which is bigger: k or -604/7?
-604/7
Let m = -12.06 - -0.06. Let d = -37 - m. Let q = d + 24.8. Which is greater: q or 6?
6
Let q = -14 + 18. Suppose q = 4*f - 0*f. Suppose 2*v + 0*y - y + 5 = 0, 5 = -v + y. Is f less than v?
False
Let u = 0 - -6. Let n = u - 6.3. Which is bigger: 2/13 or n?
2/13
Suppose 3*y + 35 = -r, 5*r = 5*y - 2*y - 157. Suppose -2*l + 0*l - 66 = 0. Is r < l?
False
Let h = 236 - 1653/7. Let y = 0.3 - 0.3. Which is bigger: y or h?
y
Let v be 68/19 + 9 + -13. Is v < 0?
True
Let k be (-166)/312 - (-84)/126. Do 0 and k have the same value?
False
Let k be (-488)/56 + (-1 - 5/(-7)). Which is bigger: -57/7 or k?
-57/7
Let y be -1 + 320/(-3) - (-56)/84. Is -107 equal to y?
True
Suppose 18*p - 13*p + 120 = 0. Let q be (-2 - p/11) + (-194)/(-22). Is q less than 41/5?
False
Suppose -4*k = -v - 0 - 87, 90 = 4*k + 2*v. Let c = k + -39. Is c less than -3?
True
Let k = -297 - -296. Is -2/2683 bigger than k?
True
Let p = -58 - -97. Let t = 18 - p. Let r = 24 + t. Is -3 less than r?
True
Let n = -167 + 164. Let q = 4 + -9. Let r = q - -5. Which is bigger: r or n?
r
Let l = 14 - 21. Suppose -1 = -4*s + 7. Suppose 4*x + 14 = 3*c - s*c, 0 = 2*c + x + 17. Are c and l equal?
False
Let v = 59 + -63. Let z be (6/v)/(1 + -6 + 3). Which is greater: 2 or z?
2
Let w = 3127/92 + -34. Suppose 33*z + 5*z + 94 = 132. Which is smaller: w or z?
w
Let d be 559/(-1) + 5 + -6 + 2. Is -558 != d?
False
Let s be ((-2)/((-48)/(-54)))/((-21)/(-184)). Is s at most as big as -20?
False
Let r = -12978 + 8843. Let v = r - -640923/155. Which is smaller: 1 or v?
v
Let m(v) = -2*v**3 - v**2 - 8. Let y be m(-2). Is 2 > y?
False
Suppose -5*d - h - 3 = 0, 5*h + 5 - 18 = 3*d. Let z = 1.3 + 2.7. Let y = -3.4 + z. Is y at least as big as d?
True
Suppose -7*h + 2*h = -25, 0 = -w - 5*h + 165. Suppose 3*r = -2*z - 58, -5*z = -5*r + 55 + w. Let a be (-7)/22*15/z. Which is smaller: 0 or a?
0
Let i be (2*-1)/((-14)/(-3)). Let m = 318 - 635/2. Let q = m + i. Is 0.1 less than q?
False
Let z = -3092/3099533 - 1/3889. Is 1/2 bigger than z?
True
Let p = 321.97 - 322. Which is smaller: -1/9 or p?
-1/9
Let g(o) = -o**2 - 9*o - 12. Let t be g(-7). Suppose -p - 2*u = 10, t*p = p + 2*u + 10. Is p smaller than 1/71?
True
Suppose -13*j = -12*j + 18. Let s = 27 - j. Which is bigger: 44 or s?
s
Suppose y - 142 + 552 = 5*g, 5*y + 2004 = 2*g. Is 0 <= y?
False
Let q(s) = s**3 + 7*s**2 - s - 19. Let c be q(-6). Which is smaller: 15 or c?
15
Let q = -23893/2242 - -202/19. Is q greater than or equal to 1?
False
Let d(n) = 4*n**2 + 20*n - 20. Let s be d(1). Which is bigger: s or 5/2?
s
Suppose -6*i + 3*i = 21. Let y be -12*(-12)/(-16)*-1. Let m be 2/(-2) + (-54)/y. Is m less than i?
False
Let v be ((-7)/21)/(3/(-54)). Let y be (-2)/v*24/16. Which is smaller: 2/3 or y?
y
Let v = -27920317882/5752741995 - 1937/1149399. Let x = v + 518/429. Let j = x + -2/105. Which is greater: -5 or j?
j
Let z(j) = j**3 + 6*j**2 - 27*j - 78. Let a be z(-8). Which is smaller: -3 or a?
-3
Let i = 2/39 - -8/13. Let v(z) = -z**2 + 5*z - 1. Let l be v(4). Let s = l + 0. Which is greater: i or s?
s
Let f(q) = 7*q**2 + 6*q + 5. Let c(s) = 13*s**2 + 12*s + 10. Let j(u) = 6*c(u) - 11*f(u). Let t be ((-3)/(-5))/((-18)/180). Let z be j(t). Is z not equal to 6?
True
Let l = 102 + -136. Let p = -22 - -21. Is p < l?
False
Let i = 90/11 + -608/77. Let x be 2/(-1)*(-5)/2. Which is smaller: x or i?
i
Suppose 4*u + 60 = -4*b, -2*b - 18 = 2*u - 3*u. Let l be b/(33/(-18)) - 4. Does l = -3?
False
Let k = -3 - -1. Let t = k + 1.95. Let g = -113/28 + 15/4. Which is smaller: g or t?
g
Let v(d) = -d - 16. Let s be v(18). Let l = s + 43. Let o(n) = -n**3 - 2*n**2 - 1. Let z be o(-3). Does z = l?
False
Let s = 29772081/7615751 + 51/30833. Let c = s + -44/13. Which is bigger: 1 or c?
1
Let j = 3.78 - 5.78. Is j at least -0.53?
False
Let b = -1662 + 1663. Let g be 2/7 + (-60)/14. Is g greater than b?
False
Let u = 338 + -332. Which is bigger: 3/7 or u?
u
Let n be ((-18)/6)/6 - 3/6. Let a be 17*(6/(-15))/1. Let s = 447/65 + a. Are n and s unequal?
True
Suppose 3*g - 27 = 21. Let z be ((-1)/(-22))/(4/g). Let l(i) = -i**2 - 13*i - 37. Let n be l(-6). Is n greater than z?
True
Suppose 3*w = -2*z + 1 - 2, w = -3. Let b(x) = x**3 + 2*x**2 - 3*x + 3. Let g be b(z). Is 86 at least g?
False
Let x(f) = -4*f - 11. Let b be x(-4). Suppose -5 + 0 = b*h. Which is smaller: h or -5/6?
h
Let a(b) = b**3 - 9*b**2 + 9*b - 6. Suppose 5*n = 2*u - 11, 0*u + u = 3*n + 5. Let x be a(u). Suppose x*m = 7*m. Which is smaller: -1/6 or m?
-1/6
Let t be (-1)/((-3)/(-14))*-6. Suppose 4*f - t - 20 = 0. Let w = -185.1 - -185. Is w >= f?
False
Let d be 6/(-21)*(-17 + 3). Suppose s = 4*j + 26, -2*s - d*j + 26 = -74. Which is smaller: 43 or s?
s
Suppose 0 = -7*n + 3*n + 20, c + 15 = 2*n. Let s be (22 + 5)*(c + 1)/12. Is s at most 0.3?
True
Let j = 389429 - 5838061/15. Let o = j + -225. Is 0 >= o?
True
Let i be 685/45 + 8/(-36). Let z be -3 - (-1)/i*46. Are -1/3 and z nonequal?
True
Let d = -27 - -32. Suppose d = 4*v - j, 2*v - 17 = 3*j - 2. Is -2/69 at least as big as v?
False
Let o = 239 - 97. Suppose -4*b + o = -5*m, -41 = m - 3*b - 2*b. Is 2/5 > m?
True
Suppose