9226/481325 - 139328/13. Is n greater than or equal to 0?
True
Let c = -119.71 - -119. Let p = c - -0.71. Let a be 5*8/(-20) - 9*4. Are p and a non-equal?
True
Let b(p) = -2*p**2 - 16*p + 2. Let c be b(-8). Suppose -2*n + 6 = -4*o, 18 = -4*o - c. Let v be 2 - n/((-7)/(-48)). Which is bigger: v or 49?
v
Let r be 0 + (-2 - (-115)/(-4)). Let t(z) = -7*z**3 - 43*z**2 - 3*z - 12. Let s be t(-6). Which is smaller: r or s?
r
Let v = -52481/63 + 833. Let u = -15.8 - -15.9. Which is smaller: u or v?
v
Let p = 8 - 18. Let o(n) = -3*n**3 - 19*n**2 + 209*n + 1289. Let k be o(-6). Which is smaller: k or p?
p
Let m = -9.428 + -195.572. Are m and 28 equal?
False
Let m = 9.9 - 10. Let h = -99 - -49. Let o = -70 - h. Is m less than o?
False
Suppose p = 5, -2*p = -3*w - 0*p + 23. Let d = -15916 - -111494/7. Which is bigger: d or w?
d
Let b(w) = 24*w + 61. Let u be b(-4). Let j be ((-90)/u)/(-2) + (-4)/(-14). Is j >= 1/6?
False
Let m be -7*((-6)/(-33) + 840/(-2200)). Let l be 0 - (-3 + (-7)/(-2)). Which is smaller: l or m?
l
Let z be 3/2*(-30)/(-9). Suppose g - 204 = -z*g. Let q = g + -35. Does 2/23 = q?
False
Let z = -5644524 + 2681146688/475. Let f be ((-72)/(-190))/((-16)/200). Let x = f - z. Is 3 < x?
False
Suppose -w = 9 - 3. Let l be ((-2)/w - (-22)/6) + 0. Suppose h + d = 20, d = -l*d - 15. Which is bigger: h or 22?
h
Suppose 41 = 8*y - 367. Let h = -22 - -24. Let v be h/(-4) - 927/(-18). Is y greater than v?
False
Let r = 9120.45 - 9119. Is r <= 2?
True
Let p = -13122 - -13123. Is p < -6/5555?
False
Suppose -305 + 59 = -123*g. Which is greater: 153 or g?
153
Suppose -1 + 6 = 5*k. Suppose -q - 8 = -4*c + 17, -c - 2*q + 4 = 0. Let b be (-3)/(9/c) + 4464/2244. Is k smaller than b?
False
Let d = -74/661 + 337376/3025397. Let g = d - 443961/18308. Which is smaller: -25 or g?
-25
Suppose -108 = -17*z + 19*z. Let r be (672/(-30))/(z/10 + 5). Which is smaller: 60 or r?
r
Let l be 10/(-16) - 92308/25568. Which is bigger: -3 or l?
-3
Let q = 30390 - 30379. Which is smaller: q or -209/4?
-209/4
Let b = 5.845 + -0.045. Let c = b + -6.49. Let x = c + 0.6. Are x and -5 unequal?
True
Let y = -200 + 480. Let k = y + -303. Is 0.1 at most k?
False
Suppose -279703 = -15*d - 281023. Is -2760/31 equal to d?
False
Let x be (-3327456)/1058 - 1/(-23). Are x and -3146 non-equal?
True
Let q = 12081/2323 - -252/101. Is 9 >= q?
True
Suppose 0 = -3*o + 4*o - q + 40, -126 = 3*o + 3*q. Suppose 3*l - y + 124 = 0, 4*y - 7*y - 38 = l. Do l and o have different values?
False
Let y be (82/(-6))/((-5)/(-3) - 2). Let n be y/((-3)/((-9)/(-12))). Let b = n + 67/12. Is b greater than -6?
True
Suppose -5*r = -2*i + 6, -i - 3 = 2*r + 3. Let f be 4 - i - 243/45. Is f less than -1/2?
False
Let j = 5.6 + 67.3. Let w = 97 - j. Let v = -24 + w. Do -28 and v have the same value?
False
Suppose 12746 = 27*l - 11014. Is 881 > l?
True
Let m = -1431 + 546. Let i = 885.2 + m. Which is smaller: 206 or i?
i
Suppose -3766 = -733*i + 719*i. Is 1079/4 bigger than i?
True
Let w be 2/(-7) - 1808/(-252). Let c = -5 + 11. Which is greater: w or c?
w
Let h be 425/(-119) - (-3)/(-7). Let g be (14 - 16)*(-1)/(h/(-518)). Which is smaller: 258 or g?
258
Let d = -11 + 10.87. Let w = -141 - -275. Let h = -134.3 + w. Is d less than h?
False
Let q(p) = p**2 + 39*p + 100. Let s be q(-36). Let o be (2 - (-20)/(-15))/(s/(-6)). Which is smaller: -4/3 or o?
-4/3
Suppose 2*w + k + 4 = 3*k, -5*w - 4*k = -35. Suppose -3*a = -5*x - 15, -13 = -a - 2*x + w. Is 87/10 at most a?
True
Let u = -6232/7 - -62817/70. Which is smaller: u or 7?
7
Let k = 146 + -221. Let m be ((-8)/40)/(1/k). Which is bigger: m or 11?
m
Let m = 23113/236 - -166/59. Let d = m - 101. Is d greater than or equal to 1?
False
Let u be (-1)/(53/424 - (-36367)/8). Which is smaller: 0 or u?
u
Suppose 49*r - 5852 = 21*r - 1568. Is r < 2616/17?
True
Let b be (-55)/(-25) - 6398/(-35). Is b greater than 7?
True
Let k = 47 + -46. Suppose 3*p + k = -2*r, p = -2*p + r - 13. Let l(z) = -z**2 - 3*z + 2. Let u be l(p). Is u < 10/9?
False
Let j = -28 - -31. Suppose -n + 5 = 0, -j*t + 8*n - 12*n - 10 = 0. Is -13 at least as big as t?
False
Suppose 0 = 5*k + 3*w + 75, 5*w = -6*k + 10*k + 60. Let s be -1 - (-4 - (-1 + -2)). Suppose 4 = -r, -2*q - r - 2 + 0 = s. Is q greater than k?
True
Let y = 556 - 406. Let j = -226 + y. Are 0.1 and j unequal?
True
Let m = 20712380/41704057 - 2/279893. Let l = 8850/4619 - m. Which is greater: 0 or l?
l
Let k = -45.86 + -82.84. Are k and 0.05 non-equal?
True
Let o = -160 - -164. Let c be -7 - -24 - 3/((-3)/o). Are c and 43/2 unequal?
True
Let p(z) = 360*z - 1273. Let u be p(3). Is u at most 1?
True
Let o = -135 + -32. Let p = -108 - o. Is 58 not equal to p?
True
Suppose 0 = 6*g + 21 - 9. Let l be ((-1)/g)/(1/562). Let w = 5903/21 - l. Do 0 and w have the same value?
False
Let o = -3601 + 3602. Is o >= 3/316?
True
Let h = -95 + -335. Let b = -430 - h. Let r = 1.19 - 62.19. Which is smaller: r or b?
r
Let x be -3 - 3/(-3) - -91. Suppose -28*r = -21*r - 35. Suppose 0 = r*a + 4*b - x, -a + 3*b = a - 31. Which is greater: -1 or a?
a
Let w = -980 + 1019. Is w at most -0.1?
False
Let v = 0.4784 + -9.4784. Is v less than or equal to -3.3?
True
Let k = 650 + -645. Suppose 0*m + 5*z - 10 = -5*m, k*m - 2*z = 17. Which is smaller: m or -2?
-2
Let g be 24 - 25 - (35 + 0). Let u be (72/3)/((-86)/129). Is u != g?
False
Suppose 14*y - 17*y + 9 = 0, -7103 = 4*p - 5*y. Which is smaller: p or -1773?
-1773
Let i be -1 + 0 + 46/3. Suppose -3*o + 42 = 2*c - 7*o, -5*c - o + 61 = 0. Are i and c equal?
False
Let b = -19 + 15. Let i be (-518)/(-63) - 4/18. Suppose -i*h = -2*h. Is b less than or equal to h?
True
Let i = -7832/531 - 64/177. Let n = i + 15. Let l(y) = -y - 5. Let p be l(-4). Is n at most p?
False
Let u be ((-94)/18)/((-63)/28) + -2. Let m = -1/81 - u. Is 0.385 not equal to m?
True
Let h be (-993)/((-18)/(-105)*5/(-4)). Let d be h/3675*(2067/(-2013) + 1). Let o = 2/1925 + d. Is o less than or equal to 0?
True
Let s be (-45)/(-18) + (0 - (-5)/(-10)). Let u(l) = l + 14. Let k be u(0). Let w = 23 - k. Is s bigger than w?
False
Let c be ((-893)/1475236)/((-2)/(-16)). Is 1 bigger than c?
True
Let r = 3242 - 3496. Is r bigger than -0.5?
False
Let y = -562134 - -562133.99. Let f = -7 - -7.29. Which is smaller: y or f?
y
Suppose -5*u - 292 - 80 = -m, -5*m - 5*u = -1890. Let t = -379 + m. Which is smaller: t or -126?
-126
Let f be (-3)/(42/220) + (-80)/280. Let c(p) = p**2 + 17*p + 17. Let t be c(f). Let s be 260/(-1008) - (-6)/27. Which is greater: s or t?
t
Let k(i) = -1355*i - 1342. Let x be k(-1). Suppose u - 36 = -4*m, 3*m + 2*u - 16 = 2*m. Which is smaller: m or x?
m
Suppose 6 = h + 2*i, 3*i - 2 = -3*h + 5*i. Suppose 6 - 20 = h*c. Suppose 5*b + 22 = -p - p, b - p + 10 = 0. Which is bigger: b or c?
b
Let g(x) = 124*x**2 + 2*x - 32. Let p be g(4). Suppose 5*h - 3*z - p = 0, 0 = -4*h + 3*z + 252 + 1319. Is 389 greater than h?
False
Let k = -11267.82 + 11268. Is k at most 261?
True
Let u be (-58)/(-15) + (-4)/(-30). Suppose 4*p + u + 4 = 2*r, -3*r - 3*p = -3. Suppose 90 = 3*t - r*k, 2*t + 2*k - 57 = -7. Is 28 greater than t?
False
Suppose 29*u + 20948 = -69184. Which is smaller: u or -3109?
-3109
Let g be (4/(-3) - -2)*-6. Let w be 5/(-3*g/36)*3. Is w < 46?
True
Let d = 909 + -908. Let g(v) = -v**2 + 7*v - 7. Suppose 7 = 6*w - 17. Let h be g(w). Are d and h unequal?
True
Let x be (22 + -20)/((-1)/2) - 849. Which is greater: -859 or x?
x
Suppose -2*y - 12*d - 16 = -15*d, 5*y - 2*d = -18. Let h be 43/y + 1/(2/4). Which is greater: h or -21?
h
Let m be 102/728 + (-738)/1722. Are 1 and m unequal?
True
Suppose 0 = -4*x - 4, 4*o - 2*x - 5 = 13. Let v(z) = z**3 + 3*z**3 - 3*z**3 - 5*z**2 + 1 + 5*z. Let m be v(o). Which is bigger: m or 19/4?
m
Let z = -50999/58590 + 529/465. Let n = -4/37 - -253/1998. Let i = n + z. Is i <= 0.08?
False
Let h be (2068/2685)/(-4) + (-83)/(-415). Which is smaller: 1 or h?
h
Let q(x) = -2*x + 2. Let n be q(5). Suppose 4*r - 117 = 5*w - 561, -2*w = 2*r + 204. Let t = r + 109. Is t greater than or equal to n?
True
Suppose -8 = -0*o + 2*o. Let c be 264/(-3) + 1 + (-1 - o). Let f be ((-12)/(-119))/(8/c). Is f equal to -2?
False
Let v = -1883133/61 - -30873. Which is smaller: 1 or v?
1
Let d = 13700 - 13700. Which is smaller: -21/152 or d?
-21/152
L