5124 - -5132. Let k = -5849 - -52715/9. Are m and k non-equal?
True
Let w = -193 + 193.186. Let g = w + 0.014. Which is greater: 6 or g?
6
Suppose 6*b + 164 = 4*l + 2*b, -l = b - 51. Suppose -52 = -6*a - l. Is 1/99 less than a?
True
Let v(g) = -10*g**3 + 2*g**2 - g**3 + 18*g**3 - 8*g**3 + 5 - 4*g. Let m be v(2). Let s be (2/5)/(58/20 + m). Which is smaller: s or -13/4?
s
Let h(u) = u**3 - 19*u**2 + 29*u + 84. Let f be h(17). Is 1/3784 >= f?
True
Let m be ((-4)/15)/((-5)/100). Let h = m + -14/3. Let w be ((-217)/(-217))/(7 + 0). Are w and h equal?
False
Let p be 0/((-6)/4*(-4)/3). Suppose x + 2*x - 45 = p. Let n be 6/10 - x/25. Which is greater: n or -1/36?
n
Let s = 3 + -3. Suppose s*h + 4 = h - z, -3*h - 2*z - 8 = 0. Let g be 240/124 + (-30)/(-465). Which is bigger: h or g?
g
Let n = -2468 - -2458. Are -20/11 and n nonequal?
True
Let r be (-1*0/(-2))/(4 - 2). Suppose -3*m - 55 + 130 = r. Do 25 and m have the same value?
True
Suppose -116 = -4*n + 7*k - 2*k, 0 = -3*n - 4*k + 56. Which is smaller: n or 17?
17
Let v be (20 - 4)/8 - (1 + 1). Suppose -2*x + 4*x + 5*c - 137 = 0, v = 5*x - 4*c - 326. Which is smaller: 65 or x?
65
Let m = -2.2283 + 2.116. Is 5 less than m?
False
Let k be -2 - (4518/(-2618) - (-32)/(-176)). Let p = k + 616/17. Which is smaller: 37 or p?
p
Let u(y) = 11*y**3 - y**2 + y + 1. Let t(j) = -3*j + 26. Let n be t(9). Let r be u(n). Which is bigger: r or -0.3?
-0.3
Let k be (-63169)/362*(-5)/((-10)/12). Which is greater: k or -11526/11?
k
Let g be ((-3)/(-45))/(2/12)*925/(-3233430). Do g and -2 have different values?
True
Let m = -1267 - -1268.3. Is m at least as big as 1/6?
True
Let d be 188 + 0/14 - -2. Which is smaller: d or 191?
d
Suppose 3*k = 2*k + o - 8, 4*k + 3*o = -25. Suppose 70*l - 1604 = 7916. Let j = 127 - l. Does j = k?
False
Suppose -29*f = -154*f - 40*f + 177705. Is f less than 2151/2?
False
Let z = 159 - 158.877. Let a = 0.151 - z. Is a smaller than -1?
False
Let i = 295/6 + -4571/30. Is -102 greater than i?
True
Suppose -15*c = -13*c - 6. Suppose -3*r - c*h - 4 + 37 = 0, -5*h + 11 = r. Let o = -2 - r. Is o >= 1?
False
Suppose -4*i + 4*k = -56, 4*k + 7 = -9. Let m(t) = -t**3 - 9*t**2 + 10*t + 8. Let b be m(-10). Are b and i non-equal?
True
Let y(n) = n**3 + 7*n**2 + 5*n + 3. Let s be y(-6). Suppose -308 = 2*p - s*p. Let k be 1/(1/2) + 42. Is k smaller than p?
False
Suppose -3*p + 2*j - 8631 - 3585 = 0, 0 = p + 4*j + 4086. Are -4074 and p equal?
True
Let v = -394.7 - -394.7. Which is greater: v or 5529?
5529
Suppose 43515 + 94822 + 100853 = -134*d. Is -1788 less than d?
True
Let r be (6 + 0)*138/9. Let g = 102 + r. Is 195 at most as big as g?
False
Let j be (-759)/9504 - 3/(-27). Let q = 3 - 2. Is q equal to j?
False
Let k = 45.018 - 45. Let r = -2.898 + k. Let l = -1.12 + r. Which is smaller: -3/2 or l?
l
Suppose -i = -5*d - 573, 0*d + 2*d = 0. Which is bigger: i or 1?
i
Let d(y) = y**3 - 8*y**2 - 8*y - 1. Let n be d(9). Let t be (-4 - 0)/(-6 + n). Is -0.059 >= t?
True
Suppose -105 = -9*l + 75. Suppose -l*w = -23*w + 12. Suppose 3*x = -w*v + 11, x = 3*x - 3*v + 4. Which is greater: x or 3/71?
x
Let g be 37/(370/1860) + 7. Which is bigger: 192 or g?
g
Let n = -0.22 - -213.22. Let o = n - 183. Which is smaller: -0.4 or o?
-0.4
Let u = 1.28249 + -0.18249. Which is smaller: -205 or u?
-205
Let q be -7 - ((8 - 7)*-1)/((-1)/(-46)). Is -144 >= q?
False
Suppose -57 - 1 = 58*i. Let c be (-1 + 2)*(-3)/(-13). Which is greater: c or i?
c
Let o = 142047/4 - 35287. Which is bigger: 224 or o?
o
Let p = 45 - 41. Suppose -3*t - 4*s - 548 = s, 752 = -p*t + 4*s. Let k be 1 - (1/(-2) - 261/t). Is -1 greater than k?
False
Let t = -15001/2 - -7495. Is -4 bigger than t?
True
Let g = -762 + 1887. Which is greater: g or 1123?
g
Let i(f) = -f**3 + 12*f**2 + 2*f - 15. Let h be i(12). Suppose -6*d = h*d + 15. Which is smaller: -5/61 or d?
d
Let i = -817 - -838. Which is greater: 102/5 or i?
i
Let k = 0.2505 + 142.7095. Let f = k + -143. Is f at most 1.1?
True
Suppose 0 = -2*d - 2*d + 188. Let v = -46 + d. Is -5/16 at most as big as v?
True
Let l be -1*-676*(-1)/(-2). Let x = l - 340. Is -17/11 less than x?
False
Suppose -5*x = 4*o, -4*o + 6*o + 14 = x. Let n be 10 + (-117)/12*(-132)/(-126). Are n and o equal?
False
Let f(h) = 141*h**3 + h**2 - 3*h + 1. Let j be f(1). Suppose 0 = 3*o + 2*g - 77, 0 = -5*o - 0*g - g + j. Let x be (-2 + (o - 0))*-1. Is -27 <= x?
True
Let r = -5 - -5.6. Let w = -134 + 137. Is w <= r?
False
Let h(j) = -211*j**2 - j + 2. Let r be h(1). Let a be (-21)/r - (0 + 0). Suppose -f = 5*f. Is a less than or equal to f?
False
Let d(o) = 30*o - 3. Suppose 8*r + 2 = 10*r. Let s be d(r). Which is smaller: s or 15?
15
Let l = -104.2 + -672.8. Let p = -786 - l. Which is bigger: p or 16?
16
Let d = 0.06 - 0.01. Let r = 0.15 + d. Let a(k) = -k**3 + 48*k**2 + 49*k + 7. Let w be a(49). Which is smaller: w or r?
r
Suppose -5*c = 3*r - 264, r + 2934*c - 2932*c - 91 = 0. Is 1039/14 less than or equal to r?
False
Let l = 56.97 - 61.97. Which is smaller: 1398 or l?
l
Suppose 4*f = z + 4, -3*z + 3*f = -f - 4. Let c be (-77)/(-33)*z/14. Is 1/13 less than c?
True
Let n = -299 - -302. Let w be n - ((21 - 17) + 18/(-14)). Is w >= 1/17?
True
Suppose -2*o + 3*j + 2 = 0, 8*j - 13*j + 2 = 2*o. Is o at most as big as 6/149?
False
Suppose 84*u = 5*u + 3555. Which is greater: 34 or u?
u
Let c = 1896.6 + -1896.9. Which is smaller: 9/184 or c?
c
Let g be (-5 + (-44)/(-12))*22*-3 - -6. Suppose 2*t + 5*i - 157 = 0, 43 + 250 = 3*t - 4*i. Is t > g?
False
Let c be (23506/(-364) + 64)*(1 + (-5)/6). Which is smaller: c or -2/7?
-2/7
Suppose -8*m + 4*x + 138 = -3*m, 3*m + 5*x - 105 = 0. Let a = 194 - 165. Which is smaller: a or m?
a
Let c(u) = 14*u - 79. Let i be c(6). Suppose 2*s - h = -i, s + 2*s + 7 = h. Which is smaller: 40 or s?
s
Let t = -522 - -525. Suppose -2*c - 5*g + 16 = 0, -13*c - t*g + 16 = -15*c. Let p = -20 + 39. Is p bigger than c?
True
Let n(g) = g**3 + 15*g**2 + 23*g - 38. Let f be 10/(-80) + (103/(-8))/1. Let o be n(f). Which is smaller: o or 22/19?
o
Suppose -3*d - 2*d = 0. Let m = -270/7093 + -15659797/226976. Let f = 69 + m. Is f bigger than d?
False
Let k be ((-2508)/476938)/((-150)/28). Which is greater: -1 or k?
k
Suppose 11*a = 31 + 222. Let z(q) = -q**3 + 24*q**2 - 21*q - 47. Let t be z(a). Is t at least as big as -8/51?
False
Let i = -0.2175 - -1.2175. Which is bigger: i or -131?
i
Let f be ((-36)/8)/(-1 - (-14)/12). Let p(r) = -13*r + 44. Let s be p(5). Which is smaller: f or s?
f
Let w be (-1)/90*(-35)/98. Suppose -12*s + 8*s = 9*s + 9*s. Which is smaller: w or s?
s
Let q = -1604 + -1899. Is q greater than -3503?
False
Let x be (-2)/(-5) + 8/(-25). Suppose 5*j = -2*c - 9, 19 = 504*j - 499*j - 2*c. Which is bigger: x or j?
j
Suppose 0 = f + 14 - 6. Let y be (-2 - -1)/(0 - (f - -7)). Which is smaller: -19/23 or y?
y
Let a = -2804.7179 - -2805. Which is smaller: -1 or a?
-1
Let q = 28652 - 28825.99. Let y = q - -173. Let b = y - -0.79. Which is greater: b or -28?
b
Let h = 2602 - 2602. Which is smaller: -1/546 or h?
-1/546
Let g = 6.437 - -19.563. Is 103 < g?
False
Suppose k = 4*k - 1584. Let o be 39 + (-70)/(1540/(-10758)). Is k at most as big as o?
True
Let v be ((-1)/(-1))/(1/(-41)). Suppose 4*h + 5*y + 100 = -8, y + 103 = -3*h. Which is smaller: h or v?
v
Suppose 70 = -2*u - 5*m, 2*u - 5*m = -2*m - 102. Is u at least -45?
True
Let x(m) = 2*m**2 - 24*m + 1. Let g be x(12). Let b be -2 + ((-11)/17 - -3). Are b and g non-equal?
True
Let n = 65 + -57. Suppose 3*g + 1 = 2*g + 2*o, -4*g = -5*o - n. Suppose -100 = 3*q + g*q. Is q > -9?
False
Let u = 43.925 - 0.025. Let j = 43 + 1. Let x = u - j. Which is greater: 21 or x?
21
Let b be 9260/(-60) + 1/(0 + 1). Let l be -2 - -1 - (1 + 150 - -1). Are b and l equal?
False
Let i = -28903 + 12861841/445. Which is smaller: i or 1?
i
Let k(d) = d**2 - 4*d - 23. Let u be k(6). Suppose i = 2*c + 3*i + 6, 5*c = -3*i - 23. Let t be (26/8)/(c/14)*2. Is u > t?
True
Let w = 18495 + -240841/13. Which is bigger: w or -32?
w
Let k be 10 + -6 + 180/(-80) - (-6)/(-8). Let b be 3/2*(-6)/(-309). Is k at least b?
True
Let v(g) = -g**3 - 6*g**2 + 9*g + 37. Let p be v(-4). Which is greater: 0.47 or p?
0.47
Let i be (-6 + 2488374/414687)/((-8)/28). Which is smaller: i or 0?
i
Let f be -7 + (-3*16 - -4) + 