 102 + a. Is 2/37 at least as big as n?
True
Suppose l = -3, 2*m = m + 4*l + 13. Let n = 163 - 883. Let s be 1/(-5) - (n/(-275) + -3). Is m bigger than s?
True
Suppose 9 + 6 = -3*u. Let i = 2 + u. Let f be (6/(-9))/(4/6). Are f and i non-equal?
True
Suppose -4*m = -2*f + 10, -4*f + 0*m = -5*m - 11. Is f != 8/73?
True
Suppose -3 - 2 = -5*l, l - 1 = -3*f. Suppose 2*u - 9 = w, -2*w + f*u - 3 = u. Is -3 smaller than w?
False
Let v be (1 + -2)*(-1 + 8). Let g = -1055/2 - -522. Is g at least v?
True
Let d be 2 - 7/(63/20). Suppose -4 = -3*p - 2*z, -p + 2*z = -2 - 2. Suppose 6 = -3*c + p*t, 2*t = 6*c - 2*c + 6. Is d != c?
True
Suppose 2*b - 628 = 2*h, 0 = 3*b + 4*h - 632 - 317. Let s be b/(-10) + 9/6. Is -30 not equal to s?
False
Let m be 9*(2 - 64/36). Let p(w) = 2*w**3 + w**2 - w + 3. Let t be p(m). Suppose 2*a = 6*a - 80. Which is smaller: t or a?
a
Let c be (-121)/(-66) + 1/6. Suppose -2*z - 1 = c*n - z, n - 3*z - 3 = 0. Which is smaller: n or -2/61?
-2/61
Let h = 8 - 50. Let z = h + 41.95. Which is greater: -2/3 or z?
z
Suppose 0 = -5*j - 34 + 4. Let x(n) = -2*n - 10. Let g be x(-5). Let f be (j + 7)/(4 + g). Is 0.7 bigger than f?
True
Let c = -92 + 92. Let i(f) = -f**3 - 2*f**2. Let v be i(c). Which is smaller: 2/133 or v?
v
Let n = 11358/192491 - -2/2873. Is n less than or equal to 0?
False
Suppose 8*y - 37 - 107 = 0. Let h = y - 21. Which is smaller: h or -13/3?
-13/3
Suppose -5*i - 194 = -4*b, -4*i + 4*b + b - 148 = 0. Let x be i/12*(-3)/(-14)*-4. Which is bigger: x or 2?
x
Suppose -2*l + 6*b = 3*b - 377, -l - 5*b = -221. Let h = 131 - l. Let x be (-54)/(-10) + (-39)/h. Is 6 at most as big as x?
True
Let b(z) = -6*z**2 + 4*z**2 - 7*z**2 - z**3 - 6 + 9*z. Let v be b(-10). Suppose m - v = -3*m. Which is bigger: m or -1/21?
m
Suppose 2*x + t + 321 = 0, -x - 47*t + 49*t - 168 = 0. Are x and -162 equal?
True
Let x(n) = n + 7. Let z be x(3). Suppose -7*g = -2*g + z. Let a be (g/(-185))/(13/(-65)). Is -1 less than a?
True
Let q = 692801/70287 - -4/10041. Let x(z) = 9*z + 1. Let n be x(1). Which is greater: q or n?
n
Let j be (-492)/27 + 6/27. Let t = j - -37. Is t at least -1?
True
Let f be (-91)/(3 + 36/(-10)). Let o = f - 1303/9. Let i = 700/99 - o. Which is smaller: i or 0?
0
Let o be -3*(-7)/((-21)/(-6)). Let t(l) = -l**3 + 4*l**2 + 8. Let s be t(o). Which is smaller: s or -65?
-65
Suppose -357 = 34*t - 37*t. Is 119 at least t?
True
Let u = -132045 - -2642739/20. Let i = u - 92. Which is smaller: -1 or i?
-1
Let w = -1472 + 2063. Do w and 589 have the same value?
False
Let c be -2 - (2 - 4) - 9/139. Which is greater: -1 or c?
c
Suppose 5*z + 5*c + 0*c - 750 = 0, 0 = -5*c - 5. Let a = -168 + z. Which is smaller: -19 or a?
-19
Let q(i) = i**3 + 2*i**2 - 2*i - 7. Suppose -2*g = 3*l + 10, -5*g - 11 = -2*l + 14. Let p be q(l). Let w be (-9)/2*(-5 - p). Which is bigger: w or -7?
-7
Let p = -19/47 + 1195/282. Are p and -4 equal?
False
Let y = -51840/23 - -2254. Suppose 0 = -b + 6*b - 10. Suppose 5*k = b*k. Which is smaller: y or k?
k
Suppose 37*h = 4036 + 626. Which is smaller: h or 128?
h
Let f be (30/27*-3)/(39/(-18)). Does 1 = f?
False
Let r = 102.1 + -102. Which is bigger: -2/43 or r?
r
Suppose 5*n = -2*j - 24 - 109, 2*n - 5*j = -30. Which is smaller: -71/3 or n?
n
Suppose 80 = b - 5*b. Let g = 22 + b. Which is smaller: 4/7 or g?
4/7
Let n(k) = 2*k - 3. Let w be n(2). Let i be w/(-5) - 14/5. Let g be i/(-8) - (-2)/(-8). Is g at least as big as 1?
False
Let r = 37/7 - 118/21. Which is greater: r or 210?
210
Let u(m) = m**2 + 3*m + 2. Suppose 4 = -5*i - 6. Let b be u(i). Let l = -13222 - -251224/19. Is b bigger than l?
False
Let q = -22.9 - 78.1. Let x = q - -103. Which is greater: 23 or x?
23
Let w be 5*(0 + (-16)/(-5)). Let p = w - 9. Suppose 0 = 3*y + p + 2. Is 0 at least y?
True
Let w = -42 + 167/4. Let r(v) be the third derivative of v**5/60 - 11*v**4/24 - v**3/6 + 2*v**2. Let p be r(11). Which is smaller: w or p?
p
Let c = 28 + -26. Let n be -55*c + (0 - 0). Let j be ((-12)/10)/(22/n). Is -3 less than or equal to j?
True
Let o = -28 - -28. Let f be 3/(1 + -2) - o. Does f = -4?
False
Let c(w) = -w**3 + 7*w**2 - 3*w. Let o be (-2)/(-12) - (-164)/24. Let z be c(o). Which is smaller: -19 or z?
z
Let h = -1.6 + 1.82. Let x = h - 0.23. Is 0.3 smaller than x?
False
Let a = 4156 + -4157. Let k(g) = -15*g**3 + g + 1. Suppose -4*p - 5*i = 14, 11 = -4*i + 3. Let q be k(p). Is a smaller than q?
True
Let y(g) = -g**2 - 6*g - 4. Let f be y(-4). Let w be -3 - (216/(-3))/f. Suppose 59 = 4*h + 4*b + w, 3*h - 3*b = 21. Which is bigger: 8 or h?
h
Let g = -47.1 - -46.8. Are -133 and g nonequal?
True
Let j = -35.5266 + 0.0266. Which is smaller: j or 2?
j
Suppose 7*i + 4*i + 11 = 0. Which is greater: 6 or i?
6
Suppose 5*q - 98 - 42 = 0. Which is smaller: 27 or q?
27
Let d = 1 - 5. Let q = d + 9. Let v = q + -11. Is 0 at most as big as v?
False
Let q = -39 - -67. Suppose -3*b = -q - 44. Is 24 smaller than b?
False
Let h = 7 - 4. Suppose 3*p - h*q = -p + 36, -p + 4*q = -22. Is p at most 6?
True
Let d = -0.054 - 87.946. Let y = d - -87.8. Is 10/9 greater than y?
True
Let y be (-24)/(-18)*(-2 + 299). Let j be (-192)/y - 4/(-6). Let w = -11 - -12. Which is smaller: j or w?
j
Let n be 12 + -11 - (-1 - 10). Let w be 61/n + (-1)/(-4). Which is smaller: w or 6?
w
Let x(h) = -h**2 + 6*h - 3. Let b be x(3). Let n be 5 - (b + (-6)/2). Let f be (-42)/(-24) - n/(-8). Which is bigger: -1 or f?
f
Let g be -1 + 5 + ((-69552)/(-17384))/(-1). Do -1 and g have different values?
True
Suppose -3*v - 2*v = -45. Let r = 9 - v. Suppose p = 3*k + 12, r = -5*p - k + 3*k - 5. Which is smaller: -2 or p?
p
Suppose 3*u + 7*p - 115 = 11*p, -2*u - 4*p + 70 = 0. Is 39 at least as big as u?
True
Let c = 62 + -64. Let m(f) be the first derivative of -f**4/4 + 2*f**3/3 - f**2 - f - 4. Let s be m(2). Which is bigger: c or s?
c
Let x = -15 + 16. Which is greater: 90/11 or x?
90/11
Suppose -4*k - 3*l - 27 - 15 = 0, 5*k - 3*l + 66 = 0. Let a = k - -2. Suppose 11*u + 5*u + 128 = 0. Is a < u?
True
Let n be 38626/28 - (-1)/2. Let w = n + -6923/5. Which is smaller: w or -4?
w
Let q = -139 + 155. Suppose 5*r - 2*x - 67 = 0, 0 = r - 5*x + 1 + 4. Which is bigger: q or r?
q
Let g be (6/147)/(5 + (-124)/28). Which is greater: g or 1?
1
Suppose 0 = m + 4*m - 5. Let a be (m + (-104)/(-3))*3. Let f = a + -203/2. Are f and 5 equal?
False
Suppose 0*w + 5*w - 43 = p, 2*w + 5*p = 1. Let g be 0/(-2) - 2 - w. Is -10 > g?
False
Let t(v) = 8*v**2 + 26*v + 68. Let s be t(-5). Is 138 at most s?
True
Let b be -1 + -4 + 3 - -3. Let p = 24 - 29. Which is greater: p or b?
b
Let o = 36.7 - -8.3. Let x = -45.2 + o. Is x greater than or equal to -11?
True
Let j(r) = -77*r - 231. Let g be j(-3). Which is smaller: -40/37 or g?
-40/37
Suppose c - 10 = -c. Suppose j - 3*i + 5 = 0, -5*i = -2*j - 5 - c. Let y = -9 - j. Is 0 equal to y?
False
Suppose -2*d = -o + 3*d + 18, 12 = -4*o - d. Let b be o - (0 + 2 + -3). Let n = 152 - 1066/7. Which is smaller: b or n?
b
Let k(q) = -26*q - 37. Let m be k(-2). Let h(n) = -n + 15. Let j be h(0). Is j <= m?
True
Suppose -639*p = -634*p. Which is smaller: 1/284 or p?
p
Let f(h) = -2*h**3 - 4*h**2 - 5*h. Let r be f(-2). Suppose 2*s - 2*o = -o + r, -o + 15 = 3*s. Let d = 5 - s. Is d equal to -2/31?
False
Let s = 50.1 + -53.1. Is s greater than -1/40?
False
Let v = -7 - -12. Suppose y + 3*a - 7 = 0, 0*y - 5*a + v = y. Let l = y + -6. Is l equal to 4?
True
Let o(g) = g - 3. Let t be 27/6*28/(-6). Let s be o(t). Are 4 and s nonequal?
True
Let p be (-3)/(66/(-26)) + -1. Let o be 57/(-912) + (-2)/(-32). Are p and o nonequal?
True
Let k be (-1 - (-65)/3)/((-28)/42). Suppose 5*h = -2*y - 144, -4*y + 6 = -6. Which is smaller: k or h?
k
Let u be 2/(6/(-4) - -2). Suppose -9 + 92 = u*r - 5*m, -3*r = 5*m - 36. Suppose -4*f - 2*x = -26, -2*f + 2*x = -r - 11. Which is smaller: 7 or f?
7
Let o(h) = 23*h**3 + h**2 - 1. Suppose -r - 3*f = 1, 5*r - 5*f = 4 - 9. Let q be o(r). Is -24 smaller than q?
True
Let m = 46 - 641/14. Let o(q) = q**2 - 3*q - 5. Let p be o(4). Which is smaller: m or p?
p
Let u(y) = y**3 + 3*y**2 - 8*y - 4. Let p be u(-5). Let k = p - -17. Suppose -5*d = -4*l + 3*l + 27, k*d + 5*l + 5 = 0. Is d <= -5?
True
Let o(x) = x**2 - 6*x - 3. Let a be o(7). Suppose -a*m + 15 = m. Let b(g) = -g**2 + 8*g - 3.