>= k?
False
Let f = -2230903 - -3665846. Let v = 44455051/31 - f. Let t = 909 + v. Is 0 smaller than t?
False
Let m be 4 + (-5 + 5 - -15). Suppose -n - m = 5*l - 16, -l = -2*n - 61. Is -24 less than or equal to n?
False
Suppose 18*x + 854 - 186 = -34. Which is greater: x or -568/15?
-568/15
Let u(j) = 2*j**3 - 26*j**2 - 7*j - 56. Let m be u(14). Is 237 less than m?
True
Let z = -16185944/51 + 344984291/663. Let i = z - 203257. Let o = i - -290. Which is bigger: o or -1?
o
Suppose 0 = 27*d + 18026 - 1205. Is -622 > d?
True
Let h = 427049/509 + -839. Is -17 less than or equal to h?
True
Let h be (1/(-1))/1*(-4 + 5). Let p be h/2 - (-323)/38. Is -4 at most as big as p?
True
Let o(g) = -g**2 + 9*g - 17. Let u = -24 - -28. Let f be o(u). Suppose f*s - 9 = -2*b + 2*s, 2*b - 29 = -5*s. Which is greater: 4 or b?
4
Let s = -17510 - -15893. Which is smaller: s or -1616?
s
Let k = -797.0597 - -797. Which is bigger: 1/4 or k?
1/4
Suppose 2 + 2 = -2*f, -c + 5*f = 0. Let w(u) = -u**2 - 8*u - 3. Let h be w(c). Let m = h - 3. Which is greater: m or -25?
-25
Let q be (-2)/6 - (-12)/(-18). Let t = -446 + 453. Let s be t/(-294)*-7 - 34/276. Which is smaller: q or s?
q
Let t = 7798 + -24418/3. Which is smaller: t or -341?
t
Let w be (-1824)/(-80)*(30/(-11043))/(6/18). Which is smaller: 1 or w?
w
Let w = 160.8 + 36.2. Let a = w + -197.6. Which is bigger: -0.14 or a?
-0.14
Suppose 0 = 14*t - 6*t - 2881048. Let o = t + -23407421/65. Let a = -83/5 + o. Is 0 >= a?
False
Let w be 2 - (-4)/32*1*-18. Let d = w + 19/12. Let g = 14 - 12. Is d greater than or equal to g?
False
Let u = -13617 + 13729. Which is smaller: -0.44 or u?
-0.44
Let f = -134 + 80. Let m(s) = s**3 + 57*s**2 + 60*s + 227. Let v be m(-56). Let a be v*1 - (-198)/f. Which is greater: a or 2?
2
Let y = -570971569/10952 + 52134. Which is smaller: y or 1?
y
Suppose 12284 = 4*g + 2*j, 0 = 16*g - 14*g - 2*j - 6142. Is g at least as big as 3071?
True
Let n(j) = -13*j - 11. Let c be n(-2). Suppose c*k - 9*k + 36 = 0. Let f be 10/k*(-24)/20. Is f less than -4?
False
Let u = 58063/6 + -96013/10. Which is smaller: 75 or u?
75
Let b = 6343 + -6347.347. Let q = 76 + -76.047. Let k = q - b. Do k and -1 have different values?
True
Let x = 48 + 6. Let q = 520 - 519.9372. Let r = 2.0628 - q. Which is greater: x or r?
x
Let t(f) be the third derivative of -f**6/40 + 23*f**5/60 + 3*f**4/8 - 3*f**3/2 + 19*f**2 + 2. Let d be t(8). Is d > 3/44?
False
Let i(m) = m**3 + 12*m**2 - 28*m + 30. Let c be i(-14). Suppose 5 = -2*n - 3*v + c, -5*n + v = -54. Let x be 2/6 - (-188)/12. Is x smaller than n?
False
Let s = 15119/39160 + -20/89. Let h = s + -2/55. Is 1 at most as big as h?
False
Suppose 7*x - 8689 = 6235. Suppose x + 2628 = -34*z. Which is bigger: -139 or z?
-139
Let j(l) = 140*l. Let h be j(0). Which is greater: 9/365 or h?
9/365
Let c = -714 - -666. Let h = -173 - c. Do h and 2 have the same value?
False
Let m be (-1124)/1967 + (-1)/(-14) + 2. Which is smaller: 2994 or m?
m
Let r(m) = m**3 + m**2 - m + 1. Let u(g) = 7*g**3 - 10*g**2 + 14*g + 10. Let q(v) = 5*r(v) - u(v). Let k be q(6). Which is bigger: k or -15?
k
Let t = -11.19 - -0.94. Let u = t - 18.03. Let v = u + 28. Do -2/5 and v have the same value?
False
Suppose 2*u - 4*a = -0*a - 12, -5*u = 2*a - 30. Suppose -u*t - 3*j = -79, 5*j - 29 - 33 = -3*t. Let d = -19 + t. Which is bigger: d or -2?
d
Let w(h) = -h**3 + 9*h**2 - 4. Let d be w(10). Let q = -36 - d. Suppose 5*j = -5*m + 84 + 231, -5*j = 2*m - 114. Which is smaller: m or q?
m
Let n = 2373 + -2265. Which is greater: 109 or n?
109
Suppose -5*z - 518 = 4*d, 3*z + 378 = -5*d - 263. Let h = d + 126. Which is greater: h or -5/44?
-5/44
Let k = 58997/2 - 28736. Which is smaller: k or 764?
k
Let p = -370.056 - -0.056. Let x = -315 - p. Which is smaller: x or -1?
-1
Suppose 47 = -5*a + 17, r - 4*a - 23 = 0. Is r > 22/247?
False
Let z = 206/159 - -2/53. Let j be 17 + (5/(-7) - (-8)/(-28)). Let b be (0 - 0)*j/48. Which is smaller: b or z?
b
Let v = 73271/8298885 - 2/24195. Let a = -1 + 2. Which is bigger: a or v?
a
Let j = 9060 + -9059.9811. Is j > -1?
True
Let k = -325.483 - 18.517. Which is bigger: k or 3/4?
3/4
Let u be (52155/65)/9 - 3. Is 85 greater than or equal to u?
False
Let q be 168/15*15/(-9) - (-5)/3. Which is smaller: -6/97 or q?
q
Let g = 75.223 - 27.223. Is -52 greater than g?
False
Let n be (121326/(-173679))/(1*-1). Is 1 smaller than n?
False
Let i(j) = -5*j + 97. Let m be i(20). Let a be -2*(m/36)/(1/2). Are -0.004 and a non-equal?
True
Let q = -0.161 - -1.061. Let g = -11 - -21. Let h = 9 - g. Which is smaller: h or q?
h
Let f be (-1632)/(-168776)*18/(-8). Which is bigger: 0 or f?
0
Suppose a + 330 - 327 = 0. Is 1686 greater than or equal to a?
True
Let m(n) = -n**2 - 2*n + 3. Let b be m(3). Let d be 0/b + (-1 - -1). Let u(r) = 5*r**3 - r**2 + 2*r - 1. Let v be u(1). Is v equal to d?
False
Let l = -1538186419/10914 - -140937. Is 0 less than l?
False
Let c be (-1)/2 + 24/16. Suppose -5*b - 5*i = -35, -3*b - 2*i + c = -4*i. Which is smaller: b or 2?
2
Let i = -4/14737 + 11362255/103159. Which is bigger: i or -6/5?
i
Suppose 2*i + 4*s - 638 = 0, 21*s - 38*s - 819 = -3*i. Which is smaller: i or 342?
i
Let u = 122 + -117. Let i be ((-2)/u)/(4/40) + 19. Let f be (0 + i/1)*(33 - 36). Which is greater: f or -44?
-44
Let v be (-1 - 3/(-2))/(5/(-820)). Let n be (41/v)/((-162)/4). Suppose -5*r + 0*r = 0. Is n > r?
True
Let h = 18895 - 18574. Is h greater than 2/11?
True
Suppose 2*j + 14 = -5*q, -2*q - j - 9 = -3. Let i = -0.024 - -0.43. Let d = i - 0.106. Is d at most as big as q?
False
Let s be (36/8)/((-9)/(-24)). Let n be ((-132)/55)/(7/(-35)). Is n at least s?
True
Let p = 1.11 - 13.71. Let m = -12.8 - p. Which is smaller: 145 or m?
m
Let o = -8403.7 - -8404. Do -1014 and o have the same value?
False
Let l(k) = k**3 - 21*k**2 + 8*k + 31. Let z be l(20). Let i = 179 + z. Is i smaller than -27?
True
Let s = -598.048 - -598. Let c = 3/8 - -7/24. Which is smaller: c or s?
s
Let m = 54.7652 + 0.1348. Let a = 9.1 + m. Let l = a + -64.38. Is l at most as big as 2?
True
Let p = -212691 - -337508. Let x = p - 799452887/6405. Let b = x - 4196/236985. Which is smaller: 0 or b?
b
Let h be (-2)/(1*30/885). Which is greater: -145 or h?
h
Let t = -181 + 107. Let o = 227 + -299. Which is greater: t or o?
o
Let u(p) = -3*p + 5 - 3 + 4. Let k(s) = -s**2 + s - 5. Let d be k(0). Let x be u(d). Which is greater: x or 19?
x
Let m = 1/314 + -983/12874. Suppose 21*w + 614 = 593. Is w greater than m?
False
Let t = 23.56 - 24. Let u = -13.994 + 14.334. Let w = u + t. Which is smaller: -10/9 or w?
-10/9
Let p = -5564 - -6154. Is 592 equal to p?
False
Suppose -2*o + o = 1. Suppose 4*s - 224 = -4*h + 5*s, 2*h = -4*s + 112. Let g be h/136*3/7. Which is greater: o or g?
g
Let q = -26.5 + 20.22. Let l = -94 - -94.28. Let g = l + q. Which is smaller: g or 0.2?
g
Let y = -12875/3 - -39391/9. Which is bigger: y or 84?
y
Let a = -0.09 - 1.21. Let p = 1.36 + 0.34. Let k = a + p. Is k <= 4?
True
Let s = 86 + -121. Let u be 6/(-206) + (-35 - s). Is u at least 0?
False
Suppose -2444 = 2*k - 2*s, 0*s - 2438 = 2*k - 5*s. Let n be ((-20)/k)/((-5)/10). Let z = 47/6120 + n. Which is greater: -0.1 or z?
z
Let q be 6 + (8/(-10))/(-2) + 84380/(-1700). Is q smaller than -43?
True
Let s = -0.01071 + 1.53921. Let p = s + -0.0285. Is p at least as big as -12?
True
Let u(f) = f**3 + 16*f**2 - 2*f - 51. Suppose x + 5 = 2*j + 46, 2*j = -2*x - 26. Let k be u(j). Is k at least -663?
True
Let s(w) = -w**2 - 29*w + 117. Let i be s(-36). Let v = -120 - i. Are 111/7 and v non-equal?
True
Let k = -24552.664 - -24532. Which is bigger: k or 1?
1
Suppose -2 = x - 10. Suppose 5*d + 18 = 3*d - 3*q, -4*q + x = 0. Let w be 1/3 + 93/(-9). Is w at least d?
True
Let r = 182 + -311. Suppose 115 = -x - 38*f + 36*f, -x - 5*f - 97 = 0. Are r and x unequal?
True
Suppose -3*r - 13 = 2*v, -7*r = -9*r - 10. Let l be 23/((6 + v)*-1). Are l and -4 non-equal?
True
Let w = 27.5 - 25. Let p = 2/551 - -78236/1653. Let a = p - 47. Which is smaller: w or a?
a
Let o = -549.5 + -200.5. Is o < 0?
True
Let j = 698.6 + 384.4. Is j at least -0.2?
True
Let o = -0.101 + -0.079. Let p = -0.18 - o. Which is greater: 120 or p?
120
Suppose -5*a - 3*o - 2*o = 15, 3*o = 4*a + 12. Let x be 7 + 12/a - 6/2.