u = -5. Is n at least u?
True
Let k be (-3)/((0 - (-3762)/(-1878)) + 2). Is k bigger than 939?
False
Let c = -42 + 42. Suppose -4*p = -4*s - 5 - 19, -5*p + 25 = c. Let y = -1 - -0.9. Which is smaller: s or y?
s
Suppose -4*m - 38 = 2*j, -2*j - 3 = m - 1. Let x = m + 6. Is 2 < x?
False
Let o = -0.1 - 5.9. Let j = o - -10. Let n = -5 + j. Which is smaller: n or 1/2?
n
Let w = -2/20853 - 40916/8236935. Which is smaller: -1 or w?
-1
Let s = 86 - 85. Let r = -0.05 + -3.95. Which is smaller: s or r?
r
Let d = -270 + 311. Are d and 37 unequal?
True
Let g = -15/182 + 13/14. Let c be (1/23)/((-13)/266). Let y = g + c. Which is bigger: y or 1?
1
Let w = -4046 - -4041. Let l(b) = b**3 - 4*b**2 - 7*b + 4. Let p be l(5). Is p less than w?
True
Suppose -24*u - 1241 = -2*j - 29*u, -3*u - 1914 = -3*j. Which is smaller: 634 or j?
j
Suppose 138 = 12*t + 102. Which is bigger: -45 or t?
t
Let y(p) = -p**2 + p + 6. Let g be y(3). Suppose -2*u = -5*r - 4*u - 10, 3*u = g. Which is smaller: -3 or r?
-3
Let r(o) = -2*o**3 - 2*o**2 - 5*o + 24. Let n be r(3). Which is smaller: n or -62?
n
Let w be 3 + (3 - 6) + 1. Is w equal to 5/39?
False
Suppose 0 = -4*x + 2*x - 3*v - 44, 4*x - 5*v = -132. Let f = -19 - x. Are 9 and f unequal?
False
Let n(r) = -r**3 + 23*r**2 - 2*r + 32. Let d be n(23). Suppose -2*a - 27 = -1. Which is smaller: d or a?
d
Let x = 83 + -83.47. Let c = x - -0.27. Is -12/11 at most as big as c?
True
Suppose 12*i = 6*i - 318. Let r = i + 53. Is r greater than or equal to 6/19?
False
Let t = 3 - 3. Let k be (-13)/26*(-26)/(-12). Let g = -71/60 - k. Which is greater: t or g?
t
Let l be (-12)/63*-6*3/(-60). Let c = l + 17/210. Is 0 equal to c?
False
Let i = -19813/13 - -10241865/6721. Let o = 1/94 - i. Let n = -67/198 + o. Is n less than or equal to 1?
True
Let w = -681 - -679. Is w greater than -14/25?
False
Suppose 3 - 19 = -4*w. Suppose -4*t - 5*a = t, 0 = w*a. Let u be 4/10*(-20)/(-56). Which is smaller: u or t?
t
Let a be (-8)/16 - 102/(-4). Suppose 2*h = -3*h + a. Suppose -4*u - h*c - 10 = 0, -3*u = -3*c - 0*c - 6. Which is bigger: -5/6 or u?
u
Suppose 3*a - 6*a = -54. Suppose -2*x + 39 = 3*w - 8, -5*x + 2*w + 70 = 0. Which is greater: x or a?
a
Let b = -36/1553 + -756131/7765. Let f = b - -98. Does 0 = f?
False
Let y = -60131/9 - -6695. Do 13 and y have different values?
True
Suppose -5*g + 5 = 35. Let d be (-32)/15 + g/(-45). Let n be 14/21*(-6)/8. Is n >= d?
True
Suppose -17*y + 108 = -266. Is y >= 18?
True
Let f = -66395313884/53870605295 - -1358/1166965. Let o = f - -2/3551. Which is smaller: -1 or o?
o
Let f be (21/6)/(2/4). Suppose 0 = -5*u + 4*u + f. Let t be 2/68*(-11 + u). Is -1 < t?
True
Suppose -24 = 2*r + 5*y, 6*y - 3*y - 60 = 5*r. Let z = 34 - -6. Let f be 24/70*z/r. Is 0 greater than f?
True
Let n = -4 - -249. Is 244 less than n?
True
Let d = 7 - 7. Let z(l) = l**3 - l**2 - l - 12. Let j be z(d). Let v(y) = -2*y - 25. Let a be v(j). Which is greater: a or 0.12?
0.12
Let i be -2 + -1 - (4 + -7). Suppose -3*w - 4*z = -3 - 11, w + 5*z - 12 = i. Let v(j) = j**2 - 5*j + 1. Let g be v(6). Are w and g unequal?
True
Suppose 4*p - 3 = -15, -4*a = 3*p + 65. Let z be 90/(-35) + 6/a. Let x(h) = h**3 + 2*h**2 - 3*h + 1. Let k be x(z). Is k less than or equal to 6/11?
False
Let r be (-1)/(-5)*-5*(-3 + 2). Let x be -2 + (0 - (-33)/19). Is r bigger than x?
True
Let u = -43 - -39. Let d be (-2)/u + -1*7/10. Are d and 1 equal?
False
Suppose -7*u = -2*u - 60. Let p be 39/(-15) - (-39)/65 - -4. Do u and p have the same value?
False
Let s(n) = -16*n + 117. Let y be s(7). Is -3 at least as big as y?
False
Let h = 5469/739937 + -5/1507. Are 1 and h nonequal?
True
Let w(a) = 2*a - 7. Let v be w(6). Let z(d) = d**3 + 6*d**2 - d - 2. Let j be z(-6). Suppose j*p + v = 1. Which is smaller: -3/7 or p?
p
Suppose -98*f + 1547 - 80 = -1375. Let j be (-1)/(1*1/(-30)). Which is bigger: j or f?
j
Let c be 10/(-4)*(-5)/((-5)/518). Are c and -1295 equal?
True
Let v = 365 - 404.4. Let z = -39 - v. Which is bigger: 2 or z?
2
Let l = 324.1 - 392. Let d = 68 + l. Let w = 0.3 - -11.7. Is d != w?
True
Let c = 8.46 - 7.9. Are -1 and c equal?
False
Suppose 5*y + 2*h = -20694, -3*y + 2*h = -4*y - 4142. Let w = -33063/8 - y. Which is smaller: w or 5?
5
Suppose -y = 2*o + 12 - 0, 4*y = 8. Let t(z) = -z**2 + 10*z + 11. Let m be t(11). Suppose m = 2*v + v + 6, 4*l + 5*v + 42 = 0. Is l at least o?
False
Let a = -6 - 0. Let n(k) = k**2 + 4*k - 4. Let y be n(a). Let x = y + -11. Are x and -3 unequal?
False
Let i(o) = 2*o**3 + 32*o**2 - 38*o - 56. Let m be i(-17). Which is smaller: 230/21 or m?
230/21
Let j = 45280/81 - 559. Let p(n) = -n**3 + 11*n - 7. Let k be p(3). Are k and j unequal?
True
Suppose 0 = 7*r + 8*r - 615. Let w(i) = -15*i - 5. Let u be w(-3). Which is smaller: u or r?
u
Let x(d) = d - 1. Let v be x(5). Let f be 12/8 + 14/v. Suppose g + 2 = f*c - 4*c, 0 = -3*c - 4*g - 1. Which is smaller: c or 3?
c
Let v be (-821)/(-6) - (-42)/63. Is 138 < v?
False
Suppose -57*h = -53*h + 248. Which is smaller: h or -61?
h
Let o(p) = -4*p**2 + 9. Let a(y) = -5*y**2 - y + 8. Let v(u) = 3*a(u) - 4*o(u). Let z be v(5). Suppose -4 - 2 = 3*b. Do z and b have different values?
False
Let l = 38.4 - 38.3. Do -3/377 and l have the same value?
False
Let a be (0 - (-2)/2)*101483. Let h = -18774446/185 + a. Let u = h - 4/37. Which is smaller: -1 or u?
-1
Let l = -2195 + 1941. Which is greater: -1/3 or l?
-1/3
Let i = -9 + 2. Let b = i + 6.5. Let q = 1/12 - -1/4. Is b less than or equal to q?
True
Let h = -33 - -131/4. Let m = 0.44 + -31.44. Is h greater than or equal to m?
True
Let z = 1 + -1. Let t be (-58)/(-12) - 5/(-30). Suppose -5*o + t - 10 = 0. Which is greater: o or z?
z
Suppose p - 2*c = 125, -p - 4*p + 581 = c. Which is greater: 120 or p?
120
Let g(v) = -5*v**3 + 13*v**2 + 39*v - 3. Let r be g(-4). Are 367 and r unequal?
True
Let x(n) = 10*n - 119. Let l be x(12). Is 3/8 greater than l?
False
Suppose -2*s - 6 = 2*p + s, -4*p = 4*s + 4. Let o be p*(-4)/(12/(-7)). Is o not equal to 7?
False
Let j = -1/150 - -67/50. Let r = -41 + 48. Suppose 11*n - 4*n = r. Which is bigger: n or j?
j
Let k = -394 - -324. Do k and -70 have different values?
False
Let q(g) = -29*g - 291. Let m be q(-10). Which is smaller: -2/11531 or m?
m
Let v be (-1 - -3)*(5 + -7)/4. Which is greater: v or -19.8?
v
Let b = 23 + -23. Which is smaller: -1/4 or b?
-1/4
Suppose -5*l - 5*w - 25 = 0, -3*l + 11 = -7*l - w. Let i be (l + (-6)/(-4))*16. Suppose 110 = -3*z + 86. Is z greater than i?
False
Let a = -223 + 601. Is 378 <= a?
True
Let y(o) = -o**3 - 21*o**2 + 2*o + 41. Let k be y(-21). Which is greater: 1/66 or k?
1/66
Suppose 0 = -9*s - 160 + 151. Is 6/95 smaller than s?
False
Suppose 6*r + 2*n + 1 = r, 0 = -5*r + 2*n - 9. Let s = -12 - -14. Let p be 1 - (9/2 - s). Which is bigger: p or r?
r
Let v(y) = y**2 - 30*y - 186. Let i be v(35). Is i >= -11?
True
Suppose -8*o = -13*o + 35. Let c be (-4)/(-58)*o/(-21). Which is greater: c or 1?
1
Suppose -9*w + 0*w = -27. Suppose -w*o + 2*o = 4*y + 2, 6 = -3*o + 4*y. Which is smaller: 4 or o?
o
Let h be (-42)/(-5) + (-18)/45. Suppose 3*j + l = 3*l + 4, 4*l = 4*j - h. Suppose -a + 5*a = j. Is 2/23 equal to a?
False
Let q = -23 - -34. Suppose -q*h = -4*h - 84. Which is greater: h or 11?
h
Let j be (-1844)/(-460) + (3 - (5 - -2)). Which is smaller: -1/7 or j?
-1/7
Let t be -1 - -1 - (6 + 0). Let c be (-2)/t + (-14)/(-39). Does c = 0?
False
Let c be ((-24)/(-112))/((-18)/(-40)). Is c less than -2?
False
Let t = -8212635/52073 - 3/7439. Let g = 158 + t. Which is bigger: -2.5 or g?
g
Suppose -29 = 3*j + 79. Does j = -37?
False
Suppose 0 = -5*y - 5*n + 95, -61 = -3*y - 0*y + n. Let l be (-4)/10 - (-8)/y. Is 5/18 at least l?
True
Let c = -27 + 2. Let p be 20774/(-846) - 8/18. Is c <= p?
True
Let z(m) = m**3 + 11*m**2 + 10*m + 5. Let i be z(-10). Suppose -c = a - 0*c - 4, i*a - 10 = 5*c. Which is smaller: 4 or a?
a
Let y = 10822263199 + -5357015562193/495. Let r = 9538 - y. Which is smaller: 1 or r?
r
Let g = 8 - 8. Which is smaller: g or 1/110?
g
Let a = -57 - -54. Suppose -f + 5*v - 9 = 0, -5*v + 10 = -5. Let d be 1/4*(-1 - f). Which is smaller: a or d?
a
Let w(q) = q**3 - 7*q**2 + 8*q - 8. Let h be w(6). Let n = 9 + h. Let k be 12/(-102) + 240/17. Do k and n have the same value?
False
Let 