b = m - 47. Is -1/14 at least b?
True
Let c be 11*(-4)/176*-8. Is 19/12 at most c?
True
Suppose -2*f = 2*f + 64. Let j = 203 + -110. Let a be (-4 + (-2)/(-24)*j)*-4. Is a smaller than f?
False
Suppose z - 2 = -1. Let w be 10/5*(-10 - z/1). Which is smaller: -23 or w?
-23
Suppose 2*w = -2*s + 4, -2*w + 2*s + 4 = 3*s. Let d be -2 - w/((-116)/118). Suppose -13*t + 143 - 130 = 0. Which is smaller: t or d?
d
Suppose -21 = 5*g - 3*s + 153, 0 = 5*g + 4*s + 188. Let x be (-3)/9 - 110/3. Is x smaller than g?
True
Let g = -778.2 - -778. Which is smaller: g or 33?
g
Let c(o) = -18*o + 24. Let f be c(-11). Let k be (f/15)/(-2*3/30). Is -73 >= k?
True
Let c be (-1)/(-5)*5/2*-6. Which is bigger: c or -49?
c
Let v = 158 - 159. Which is greater: v or -2/485?
-2/485
Suppose -4*j = -60 + 4. Let z be j/7*(-14)/(-4)*-13. Is z equal to -90?
False
Let x = -778 + 778.07. Let a = -3.1 + 3. Let d = a - -1.1. Which is smaller: d or x?
x
Let x be 16 + (-5 - -4)*1. Is 14 < x?
True
Let p = -6 - -3. Let g be 6/2 + (-6 - p). Do g and 5/6 have the same value?
False
Let o = 0.69 + 44.31. Let h = o + -44. Are 2/9 and h non-equal?
True
Let r = 0.093 + -0.046. Let f = -4.047 + r. Let h = 0.01 + 0.39. Which is smaller: h or f?
f
Suppose -3*a + 2 - 31 = -5*f, -5*a - 11 = -3*f. Which is smaller: 12 or f?
f
Suppose 2*i - 4 + 2 = 0. Suppose 4 = u + 8. Let a be (u/(-8) - i)*2. Is a less than -3/16?
True
Let b(j) = -2*j**3 - 20*j**2 + 7*j - 4. Let h be b(-10). Is -74 less than or equal to h?
True
Let m = -68 - -41. Let p = 0 + m. Let r = p + 9. Which is smaller: 1 or r?
r
Let f = 1791 + -4121. Which is greater: f or 1/4?
1/4
Suppose 72 = -25*h + 16*h. Which is smaller: -4 or h?
h
Let x be 7 - 575/415*5. Do x and 1 have the same value?
False
Let d = 134/15 - 28/3. Let o = 9.4 - 16. Let k = 0.6 + o. Is d <= k?
False
Suppose -4*h - 7*a = -4*a - 304, 2*a = -h + 81. Is -1 < h?
True
Let b = 150 + -153. Which is greater: b or -5?
b
Let w be (0 - (2 - 2))/2. Let g be 2 + 1 + (-2 - 721/(-2009)). Let y = g + -3/41. Are w and y equal?
False
Suppose 9*f - 13*f + 56 = 0. Is 1/2 at most as big as f?
True
Suppose 160 = -10*s + 130. Let z = 29 - 26. Which is greater: z or s?
z
Let q(z) = -z**2 + z - 2. Let g be q(0). Let n = -5 - 0. Let d = n - -5.2. Which is smaller: d or g?
g
Let q = -84.6 + 193.9. Let d = 109 - q. Is -0.01 != d?
True
Let d(j) = j**3 - 5*j**2 - 6*j - 2. Let o be d(6). Let p be ((-387)/4)/((-18)/12). Let b = 637/10 - p. Are o and b equal?
False
Let r be (657/(-108))/((-2)/(-6)). Let q = 18 + r. Which is smaller: q or -4/13?
-4/13
Let v be 58157/(-77) + 4/14. Let t be -5 - (3 + v/90). Which is smaller: 1 or t?
t
Let r = -0.7 - -0.5. Let c = 2.2 + -2.9. Is r <= c?
False
Let q = 90 + -10. Is 80 less than or equal to q?
True
Let c = 754 - 514. Let x be c/(-9) + (-4)/3 + -3. Which is greater: -1 or x?
-1
Let j be (6/(-11))/(14/((-112)/12)). Is j less than -1?
False
Let z = 1636 + -1778. Which is smaller: -145 or z?
-145
Suppose 0*s - 1 = -s. Suppose 3*f + y - 4 - s = 0, 3*f = 2*y - 1. Let p = -13 - -79/6. Are p and f equal?
False
Suppose 0 = -4*x - 54*x + 116. Which is bigger: 104 or x?
104
Let k(t) = -t - 11. Let l be ((-2)/4)/((-3)/(-48)). Let o = -18 - l. Let w be k(o). Are w and 0 equal?
False
Let x = 16 - 18.3. Let y = -2.41 - x. Let o = 1.23 + -1.03. Is o at least as big as y?
True
Let i = 24 - 25. Let n be (0 - (-6)/152)/((-63)/56). Is i < n?
True
Suppose 0 = -2*y + 3*x - 586, 48*x - 51*x - 598 = 2*y. Is -294 greater than y?
True
Let m = -135 - -135.0077. Which is smaller: m or -1?
-1
Let t be 2*(-3)/(-8) - 14060/(-240). Which is smaller: t or 60?
t
Let t = -2831 - -2518. Is t equal to -316?
False
Let n = 132 + -131.37. Let o = -0.67 + n. Which is smaller: -9 or o?
-9
Let x = 1 - 0. Let z be (7/(-546)*3)/1*-8. Is x >= z?
True
Let v(y) = 3*y - 23. Let s be v(8). Let k be 6/(-4) - s/2. Is k <= 8?
True
Let n be 1/(-4) + 0 + 171/12. Which is smaller: 1 or n?
1
Let a be 0/4*(5/2)/(-5). Which is smaller: a or 1.8?
a
Let u = 429 - 248. Is 3/7 at most as big as u?
True
Let l be (5434/(-66))/(1/(-3)). Is 247 greater than l?
False
Let v = -24 + 36. Suppose y + 12 = 2*t, -18 = -5*t + 4*y + v. Suppose -3*p + u + 28 = -0*p, -p + 2*u = -t. Are p and 10 equal?
True
Let h be 12/(-21)*(2/(-2) + -13). Let r = 173 + -165. Is h smaller than r?
False
Let t(y) = 37*y**2 + y - 1. Let v be t(1). Suppose 0 = -h - v - 18. Let c be 3/h*(-6 + 1). Is 1 smaller than c?
False
Let h(n) = -2*n**3 - 58*n**2 - 58*n - 56. Let y be h(-28). Let x = -824023/253 - -3257. Which is smaller: y or x?
x
Let p(r) = -r + 19. Let h be p(17). Suppose -f - 18 = -h*f. Let i be 27/f - 5/2. Which is smaller: -3/5 or i?
i
Let j = -1673 + 999. Let v be (-1 - j/522) + (-6)/27. Which is smaller: -1 or v?
-1
Let l = 464 - 465. Do l and -2/1651 have the same value?
False
Suppose 0 = -7*x + 13 + 29. Suppose -10 = -4*c - x. Is 2/3 greater than c?
False
Suppose -51 = 3*s - 48. Let u be 3 + -7*4*s/4. Is -0.1 smaller than u?
True
Let p = 16 - 12. Let x = p + 10. Let v(q) = q**3 - 13*q**2 - 13*q - 17. Let f be v(x). Is f at most -7/2?
False
Let b(g) = 35*g + 28*g - 39 - 65*g. Let l be b(-20). Is l at least as big as 3/68?
True
Let w be -5 + 16675/1700 + (-2)/(-8). Is w at most as big as -0.1?
False
Suppose 3*z = -9 - 9. Let x be 28/(-5) - 12/(-20). Is x smaller than z?
False
Let g = 457 + -457. Is g less than or equal to 13/24?
True
Suppose -15*x + 18 = -18*x - 4*t, -5*t = 5*x + 25. Is x at least as big as -0.099?
False
Suppose -5*u - 4*y = -38, -y + 41 = 5*u + 9. Suppose 0 = -5*x - 36 + u. Let k be x/24*(-4)/7. Are 0.2 and k unequal?
True
Suppose 5*p = 3*y + 2*y + 50, y - 55 = -4*p. Let r(o) = -o**2 - 77*o - 770. Let b be r(-12). Is p less than b?
False
Suppose 4*u - 30 = -u. Suppose 82*k - 86*k = -16. Let j be k/u + 82/(-96). Are j and -1 equal?
False
Let c(q) = -5*q**3 + 10*q - 8. Let l(k) = -4*k**3 + k**2 + 9*k - 7. Let v(p) = -3*c(p) + 4*l(p). Let n = -401 - -406. Let h be v(n). Are 14/9 and h equal?
False
Suppose h + h - 4 = 0. Let d(l) = 0 + 0*l - 4 - 3 + 2*l. Let c be d(4). Which is smaller: c or h?
c
Let n(k) = -k**2 + 15*k - 10. Let i be n(14). Suppose 0*s + i*s = 0. Let z = 1/728 + 2901/8008. Which is greater: z or s?
z
Let z(s) = -s - 3. Let y be z(-5). Let l be y + -2*(4 + 2). Let o be (6/(-5))/(4/l). Is o >= 3?
True
Let m = 0.624 - 3.624. Does 64 = m?
False
Let o(q) = -q - 7. Let i be o(-3). Let w = -3 - 4. Let j = w - i. Is j bigger than -2/3?
False
Let i = -2.65 - -0.35. Which is bigger: i or 2/7?
2/7
Suppose -2*i - 14*i = 16. Which is bigger: i or -12/47?
-12/47
Let k = -455/4 - -114. Let u = 0 - 6. Let o be 3/(-9)*u/(-8). Is o greater than k?
False
Let x = 96 + -53. Let q = x + -42. Let h = 14 + -68/5. Are h and q non-equal?
True
Let a(i) be the second derivative of -i**5/20 + i**4/2 - 5*i**3/6 + i. Let q be a(5). Let v = -147/1048 + 2/131. Is q at most as big as v?
False
Let s = 143.8 + -149. Let w = s + 4.2. Is w equal to 59?
False
Suppose -g + 263 = -4*q, 3*q - 4*g = 89 - 283. Let d(l) = -17*l**2 - l. Let n be d(-2). Is q not equal to n?
False
Let m be (4/14)/((-76)/1292). Which is smaller: m or -5?
-5
Let t = 118 + -68. Let r = 50 - t. Which is smaller: -5/23 or r?
-5/23
Let q = -2357/30 + 392/5. Which is smaller: q or -0.4?
-0.4
Suppose 2*n + 2*y + 6 = 0, -n = -4*n + 4*y + 12. Suppose n*f = 6*f + 18. Is -12/5 not equal to f?
True
Suppose -3*i - 2*i = 25. Suppose -4*z = -2 - 6. Let h be i/(-4)*z/20. Is h < 1?
True
Let p be (-94)/12 + 4/(-24). Let z(w) = -w**3 - 8*w**2 + w + 7. Let y be z(p). Which is smaller: y or -6/5?
-6/5
Let k = -1608 + 1607. Which is smaller: 20/61 or k?
k
Let n(x) = -3*x**2 + 47*x - 29. Let m be n(15). Which is bigger: 9 or m?
9
Let u = -236 - -236. Is -2 <= u?
True
Let z = 0.282 - 0.082. Let x = 0 + 8. Let k = x - 13. Is k smaller than z?
True
Suppose x + 29 = 2*x. Let p = x + -32. Is p > -3?
False
Let b(j) = -4*j + 11. Let u(i) = 2*i - 5. Let y(n) = -4*b(n) - 9*u(n). Let d be y(-2). Suppose 4*w - 5*h - 31 = 0, 4*w = 5*h - h + 28. Which is bigger: w or d?
d
Let u be ((-14)/28)/((-3)/(-10)). Let r = -91 + 88. Which is smaller: r or u?
r
Let o(t) be the second derivative of -t**3/6 + t**2/2 - 6*t. Suppose -4*u = u + 20. Let y be o(u). Is 6 less than y?
False
Let m be (-2 - (-48)/27)*(-1)/2. Let v 