 >= 4?
True
Let j = -10.7 + 2.7. Let r = j - -7. Is 1.1 greater than or equal to r?
True
Let i be -4 - 1522*(-5)/10. Which is greater: i or 758?
758
Let x = -13 + 16. Suppose p + 2*p = -2*i - x, 0 = i + p. Let z be (-2 - -3) + i/(-1). Is z less than -2?
False
Suppose -44 = 5*l - 49. Are l and 2/117 nonequal?
True
Suppose -1910*v + 1916*v + 6 = 0. Which is smaller: v or 2/355?
v
Let d be (174/276)/((-3)/36). Which is greater: d or -7?
-7
Let g = 495.95 - 482. Let t = g - 13. Let c = t + -0.05. Are c and -1/4 equal?
False
Let n = 41627/6094 - 7/554. Is 6 at most as big as n?
True
Let f(p) = -21*p**2 + p. Let v be f(-1). Let q be 4/3*(-3)/v. Suppose 0 = -6*h - 82 + 70. Which is smaller: h or q?
h
Let g(y) = y**2 + 6*y + 5. Suppose -30 = 10*k - 8*k. Let h(t) = 2*t + 25. Let s be h(k). Let z be g(s). Is z bigger than 1/12?
False
Suppose 3*u - 4 = 5*u, -2*k - u = -4. Which is smaller: k or 7?
k
Let l = -230 - -230. Which is greater: l or 5/18?
5/18
Let o be (-12)/(-42) + (-12)/(-7). Suppose u + o*j - 6 = 0, -3*j = 2*u + 3*u - 16. Is 3 equal to u?
False
Let j = -15610/2697 + 178/31. Which is smaller: 0 or j?
j
Let g be ((-136)/(-28))/(4/28). Let k = g + -37. Let l be (1 + 7/(-2))*2. Are l and k equal?
False
Suppose 5*u - u - 20 = -4*q, 9 = 3*u. Suppose 0 = -0*v + q*v + 26. Let k(n) = -n**3 + 13*n**2 - 23*n - 2. Let o be k(11). Are o and v nonequal?
False
Let d = 10/197 + 812/7289. Is d != -0.2?
True
Let y(j) = 3*j**3 + 4*j**2 + 2*j - 2. Let x be y(-2). Let h = 36 + x. Let w be (-4)/h + 175/55. Is w at most -2?
False
Let j = 445.6 - 447. Is -0.07 at most j?
False
Suppose 3*g - 5 - 1 = 0. Let p = 7.361 + -7.461. Is g less than p?
False
Let w = -262 - -258.2. Which is bigger: -2 or w?
-2
Let d = -150546921 + 11893366341/79. Suppose 5*v + 571 = -9529. Let j = v + d. Which is bigger: 0 or j?
j
Let g(s) = -20*s + 779. Let b be g(28). Which is bigger: 217 or b?
b
Let y(r) be the third derivative of -r**6/120 - r**5/60 + 8*r**3 + 3*r**2. Let m be y(0). Let x be (1/(-4))/((-6)/m). Is 3 at most as big as x?
False
Let x = 0 - 1. Let c = -412 - -9479/23. Are x and c equal?
False
Let m(r) = -r**3 + 33*r**2 + 34*r + 13. Let d be m(34). Is 77/6 less than d?
True
Let s be -3*3/(-9)*5. Let a(z) = -z**2 + 86*z - 1268. Let p be a(19). Does p = s?
True
Let s(y) = -2*y**2 + 10*y + 29. Let r be s(-3). Which is bigger: 0 or r?
0
Let s = 15 + -15.11. Let v = -9.11 - s. Let w = v - -8.95. Which is greater: 2 or w?
2
Let y = 1/2303 + -48371/18424. Let r(a) = -a**3 + 6*a**2 - 7*a + 6. Let x be r(5). Which is smaller: x or y?
x
Let r be (3/2)/((-28)/(-8) + -3). Let g = r - 3. Is g less than or equal to 2/89?
True
Let x = 260063917/624 - 416769. Let b = -1/48 + x. Let f = -1130 + 1131. Which is smaller: f or b?
b
Let h(i) = 3*i**2 + 10*i + 45. Let m be h(-8). Which is smaller: 159 or m?
m
Suppose -i = -2*i + 3. Suppose -i*z + 0 = -6. Suppose 3*a - 1 = -2*h, -5*a = h + 2 - 6. Which is smaller: a or z?
a
Let j(n) = -73*n - 165. Let i be j(-1). Which is smaller: -91 or i?
i
Let z be 2/4*92/(-713). Let c be -1*1*(-2)/(-2). Which is bigger: c or z?
z
Let u = -883/16 + 55. Which is bigger: 1 or u?
1
Let g be (-1)/(0 + -4) + (-2252)/368. Is -6 greater than g?
False
Let n(t) = 4*t. Let b be n(-3). Let a = b - -15. Which is bigger: 2 or a?
a
Let i be (-3)/(-90) + (-1 - 7/(-6)). Is 14 greater than or equal to i?
True
Let j be (5/5 - 3)/((-12)/(-7)). Let q = -29/30 - j. Which is greater: 7 or q?
7
Suppose 3*r - 11 - 1 = 0. Suppose -r*n - n = -10. Let j be n/9 - 51/270. Is 0 smaller than j?
True
Let z be (-2902)/(-18) - -1*(-2)/9. Is z > 159?
True
Suppose 0 = 4*y - 8 + 4. Let o = y + -29. Let g be -12*(1 + 30/o). Which is smaller: g or 0?
0
Let g(d) = -172*d - 6. Let b be g(-3). Let f = 12748/25 - b. Suppose -3*o - 4 = -1. Which is smaller: f or o?
o
Let k = 6 - 8. Let f be 1*k - (-8)/4. Suppose f = -9*p + 14*p - 75. Is 15 less than p?
False
Suppose 0 = -7*g - 3*g + 10. Which is smaller: g or 14/15?
14/15
Let u = -0.488 + -26.412. Let j = u - -27. Which is smaller: 0.11 or j?
j
Let i be (-851)/(-8)*(-548)/(-51). Let o = 1143 - i. Let v = o + -47/408. Is v < 1?
True
Suppose t + 4 = 3*y, y - 6*y = -5*t - 10. Let x be t/(-3) + 230/30. Are x and 9 nonequal?
True
Let i be (-2)/(-3 - (2 - 3)). Suppose -2*g + 1 = -i. Let a be 3/2*28/21. Which is smaller: g or a?
g
Let r = -113 + 169. Suppose 3*w - 3312 = 15*w. Let j be w/r + (-9)/(-21). Is -6 <= j?
True
Let d be 16/6*(-24)/(-16). Suppose -2*c + d*g = 22, 2*g = -3*c - g + 3. Let f be (0 - c)/((-30)/20). Is f > -2?
False
Suppose -88*n = -97*n + 9. Let s = -7 - -5. Is s smaller than n?
True
Let s be (44/(-66))/(2/(-9)). Suppose 0 = 4*b + 4*a + 4, -b + a - s = 4*a. Which is greater: 1/5 or b?
1/5
Let s(n) = -n**3 - 38*n**2 + 37*n - 45. Let y be s(-39). Is y smaller than 34?
True
Let t(f) = f - 5*f + 5*f + 6. Let x be t(-2). Suppose 0 = 5*b - i + 3, 4 = 4*b - x*i - 0*i. Do b and -4/13 have different values?
True
Let t be -15 - ((-30)/5)/3. Let n(h) = -h - 3. Let w be n(4). Let k = t - w. Is -3 greater than or equal to k?
True
Let s(m) = -99 + 80 - m**2 + 19*m + 2*m**2. Let c be s(-20). Do c and -2/23 have the same value?
False
Let y(t) = -t**3 - 7*t**2 - 6*t - 1. Let a be y(-6). Let f be (a + 1)/(4 - 2). Let s = -81 - -80. Is s bigger than f?
False
Let j = 130699201/51572840 - -2048/18905. Let z = 6/341 - j. Does z = -3?
False
Let j be 3 - (-16)/(-24)*3. Which is bigger: j or -4/321?
j
Suppose -4*s + 39 = 3*r, r + 4 = 4*s - 15. Let g be 6/1 - 24/s. Is g less than or equal to 3/2?
False
Suppose 0 = -4*y + j - 10 + 14, 5*j - 2 = -2*y. Which is smaller: 6/19 or y?
6/19
Let h = -513 - -744. Is h not equal to 697/3?
True
Suppose -32*z = -38*z. Which is smaller: 126 or z?
z
Let h(n) = -n**3 + 11*n**2 + 5*n + 85. Let v be h(12). Which is greater: 2/2753 or v?
v
Let f = -2.06 - -0.06. Let a = f - -2.5. Let c = -0.085 - -1.085. Is c greater than a?
True
Let y be 3/(-8)*4/(-6). Let z be 324/(-60) - (-6)/(-10). Let p = z - -6. Are y and p equal?
False
Let j be 2/30*(4/2 + -4). Is j at most as big as 0?
True
Let k(r) = 2*r. Let t be k(1). Suppose 3*l - 4*y + 148 = 0, -3*l + 0*y + 3*y = 147. Let i be 4/(-16)*l/22. Which is smaller: i or t?
i
Let o = -11.11 - -4.11. Is o greater than 5?
False
Let l(g) = -g**3 - 6*g**2 - 5*g - 1. Let p be l(-5). Let m be ((-6)/84)/(p/(-24)). Which is greater: m or 2/7?
2/7
Let c = 19 + -6. Let x = -478.5 - -478.48. Do c and x have the same value?
False
Let g = -502 - -502. Is g bigger than 5/98?
False
Let l(f) = f**3 - 9*f**2 + 3*f + 1. Let u be l(8). Let a = u - -115/3. Which is bigger: a or -6?
a
Let p(x) = x**3 + 28*x**2 - 4*x - 148. Let i be p(-28). Which is smaller: i or -107/3?
i
Suppose 3*p - 8 = -w, 3*p - 3 = 2*w - 1. Suppose 6*z = w*z - 20. Is z > -5?
False
Let g = -24 - -23.9. Let p = -0.2 - g. Which is greater: p or 6/11?
6/11
Suppose -24 = -464*t + 440*t. Are -1/113 and t nonequal?
True
Suppose -2*n + 6*u + 384 = 5*u, 0 = -4*n + 3*u + 764. Which is greater: 190 or n?
n
Let p be ((-3)/(-9))/((-13)/(-26)). Are p and -9.9 nonequal?
True
Let h = 29.96 + -30. Let g = h + -0.16. Which is smaller: g or 1?
g
Let v = -42 - -57. Suppose -3*y + 3*a + 6 = v, 26 = -2*y - 3*a. Is y < -5?
True
Let t be ((-4)/8)/((-1)/2). Let q be t + 18 - (2 + -5). Let s be (-12)/8 + q/4. Is 4 bigger than s?
False
Let k = -0.138 - -57.138. Let d = -44 + k. Which is smaller: 2 or d?
2
Suppose 501 - 293 = -b. Which is greater: 1 or b?
1
Suppose -88 = 3*b - 7*b. Suppose -w + j = -0*j - 7, -4*w + j + b = 0. Let a be (2/10)/(w/25). Which is bigger: -2/51 or a?
a
Let w be -1 + ((-20)/8)/((-2)/4). Suppose 0 = -r - w*r + 5. Let c = 15 + -11. Which is greater: r or c?
c
Let x = -1669 + 1668. Which is smaller: x or 3/104?
x
Let v = 33121/19 - 1744. Is v less than 0?
True
Let p = -110 - -79. Which is greater: -32 or p?
p
Let b(d) = -d**3 + 4*d**2 + 5*d + 2. Let k be b(6). Let z = -167 + 126. Which is greater: k or z?
k
Let l be -2*(-15)/(-10) + 41. Suppose 0 = 9*d - l + 200. Which is bigger: -19 or d?
d
Suppose 20*s - 11*s - 396 = 0. Let b = 60 - s. Which is smaller: 50/3 or b?
b
Let m = 1/1241 - -2277/254405. Let b = -1 + 0.9. Is m at most as big as b?
False
Let w(x) = -x**3 - 10*x**2 - 3*x + 7. Let f be w(-9). Let v = 7/96 + -4375/96. Let g = v - f. Is -2/3