s 4 greater than or equal to a?
True
Let s = 79 + -85. Let d be s/3*(10/(-3) - -2). Is 2 < d?
True
Let b be (-16)/20 - (-51)/(-5). Let j = b + 17. Let t(k) = k - 2. Let q be t(j). Which is greater: 3 or q?
q
Let p = 18924783/1288 + -102856/7. Let j = p + 33/23. Is 2 greater than or equal to j?
True
Let g be (-2 + 2)*(-1 - -2). Suppose g = -a - 4*a + y - 62, -2*a = 3*y + 35. Let r(t) = -5*t + 144. Let f be r(31). Are f and a non-equal?
True
Let x(f) = 12*f - 143. Let u be x(12). Which is bigger: -1/94 or u?
u
Let z = -17 + 31. Let i be (4/z)/((-50)/(-14)). Suppose -m + 2*m = -1. Which is smaller: i or m?
m
Suppose 4*b + 4 = 0, 66 = 2*m + 2*b - 118. Let w be (-7)/21 + m/117. Let k(r) = r**3 + r**2. Let g be k(0). Is w greater than or equal to g?
True
Let v(l) be the first derivative of -l**4/4 + 5*l**3/3 - l**2/2 - 4*l + 3. Let z be v(2). Let u = -1 + 4. Is z less than or equal to u?
False
Let r be (1 - -5)*20/12. Let c = 16 - r. Suppose -j = -c*j. Is 3 >= j?
True
Let p = 6.91 - 6.8571. Which is smaller: 1 or p?
p
Let f = 145/228 - 7/12. Let b = -1068 + 1067. Which is smaller: f or b?
b
Let l = 1389/14 + -100. Is 0 equal to l?
False
Let b(l) = -2*l**2 - 7*l - 5. Let c be b(-4). Suppose -11 = -59*j + 62*j - 4*q, -4*j + 5*q - 16 = 0. Is c smaller than j?
False
Let d = 1.884 + 96.116. Which is bigger: -11 or d?
d
Let g be (-851)/69*(1 - 4). Is 188/5 at least g?
True
Suppose 4*m + 8 = -3*i + 1, m + 3*i = -13. Suppose 0*l = -l - 3*q - 49, -m*l + 5*q - 54 = 0. Which is bigger: l or -36?
-36
Let f be 108/48 + (-1)/4. Suppose -f*t + 3*t = 13. Let l(m) = -m**2 + 11*m + 9. Let d be l(t). Are -16 and d equal?
False
Suppose -f = 1 - 8. Let c = 1 - -1. Suppose f*s = 9*s - c. Is 1/14 greater than s?
False
Let u = -68/3 - 26. Is u smaller than -50?
False
Let j = 2.5 + -2.63. Let u = -0.17 + j. Let p = 0.2 + u. Is p <= 7/6?
True
Let o = 35 + -9. Let v = o + -24. Which is bigger: v or -1?
v
Let g(o) = -o**3 - 36*o**2 + 114*o - 93. Let v be g(-39). Let n = 49 + -26. Is n bigger than v?
False
Let k(z) = -z**2 + 325. Let s be k(18). Let f be 2/8 - (-282)/(-8). Is f at least s?
False
Let z(o) = -2*o**2 - 9*o. Let d be z(-4). Suppose -d*j + 1318 = 210. Let v = -3875/14 + j. Is 0 less than v?
True
Suppose y - 34 = -3*i, -2*y - 18 = -i - y. Let c(o) = o**2 - 15*o + 23. Let g be c(i). Is -7/4 < g?
False
Suppose 0*m + 2*m = -4*a - 20, -2*m - a = 11. Let c = 8 + m. Let d be (2 - 12/9)/(148/555). Which is smaller: c or d?
d
Let v = 0.01 - 0.3. Let u = v - -2.29. Let z be 4/6 - (-26)/(-30). Does u = z?
False
Let p(o) = o**3 + 16*o**2 - 2*o - 8. Let t be p(-16). Suppose 0 = -k - 3*f + 14, 0 = 2*k - 0*k + 4*f - t. Is 8 greater than k?
False
Suppose 0*t - 5*t + 495 = 5*x, 0 = x - 5. Suppose 5*o - 14 + t = 0. Is -18 greater than o?
False
Let w = -4308/7 - -435024/707. Which is smaller: -1 or w?
-1
Let b = -537 - -536.873. Are -2/9 and b equal?
False
Let p(r) = 50*r**3 - 2*r**2 + 4*r - 10. Let o be p(2). Is o less than or equal to 2?
False
Let n be (-1 + (-4)/(-8))/7*-502. Let p = 36 - n. Let q = -1 - -0.8. Do q and p have the same value?
False
Let w(g) = g**2 + 7*g + 10. Let m = -22 + 15. Let z be w(m). Let s(n) = -n**3 + 11*n**2 - 10*n. Let r be s(z). Which is greater: -2/37 or r?
r
Let k(l) be the first derivative of -l**3/3 + l**2/2 - l - 9. Let u be k(3). Is -7 smaller than u?
False
Let x = 2010 + -2011. Let h = 70 + -103. Let g be (-2)/h*9/6. Which is greater: g or x?
g
Let a be -2 - (-2 + 25/7). Let v be (-18)/(-126)*(-23)/(-1). Let l = v + a. Do l and 1 have the same value?
False
Let h(f) = -6*f**2 - f + 3. Let c be h(-1). Let z = 36 - 35.81. Which is smaller: c or z?
c
Suppose 4*o + 6*s - 3*s = 11, s - 7 = -2*o. Suppose 0 = 7*w - 12*w - o. Let r be (-85)/119*(-2)/(-5). Does w = r?
False
Let k = -2/61 + 311/183. Let a(q) be the third derivative of q**4/24 - q**3/2 + 3*q**2. Let u be a(4). Which is smaller: k or u?
u
Let d(a) = -a**3 - 4*a**2 - 3*a - 4. Let f(u) = u**2 - 3*u - 3. Let j be f(3). Let i be d(j). Let t be 20/14 + i + 3. Which is bigger: t or 1?
1
Let j = -32 - 19. Let v = j - -49. Suppose 0 = -0*m - m - 2. Is m > v?
False
Let c be -18 - -21 - 1*20. Let f(w) = w**3 + 16*w**2 - 20*w + 2. Let t be f(c). Is t at most as big as 53?
True
Let s(m) = m + m**2 - 26*m**3 + 25*m**3 + 2*m**2. Let z be s(3). Let p be (-10)/8*z/(-15). Which is greater: -0.04 or p?
p
Suppose 0 = 2*t + 2 - 6. Let y be ((-1)/(-3))/(t/12). Let u be (y/6)/((-69)/(-9)). Which is greater: 1 or u?
1
Let v be 0/18 + (-9)/384 + 0. Is v less than 1?
True
Let k(n) = n**3 - 6*n**2 - 11*n - 5. Let f be k(-7). Let p = 19778/35 + f. Is 1 at most p?
False
Let a be -2*3/4*(-96 - 4). Suppose -215 = 145*p - a*p. Is 43 <= p?
True
Suppose -r + z + 1 = 27, 2*r + 2*z + 36 = 0. Which is greater: -20 or r?
-20
Let p = -0.767 + 0.75. Let o = 0.083 - p. Which is greater: 11/5 or o?
11/5
Let d(o) = -o**3 + 2*o**2 - 1. Let w be d(-1). Suppose w*q = -6, 2*t + 0*q = -2*q. Suppose 0 = t*g + 3 + 15. Is -6 < g?
False
Let u = 1359 - 1404. Do -498/11 and u have different values?
True
Let k = 0.3 - 0.2. Suppose -4*w - 1610 = 42*w. Which is smaller: k or w?
w
Suppose -a - 3*a - 2*x + 250 = 0, -4*a + 259 = -x. Let n be a/(-10)*4/(-8). Which is bigger: n or 4?
4
Let d = 1 - 3. Let w be 67/5 - (-9)/15. Suppose 0 = -9*t + w*t + 10. Is t > d?
False
Let d be (-1)/((-1582)/84 - (-1)/3). Let m = -0.5 + 1.7. Let r = 1 - m. Is d at most as big as r?
False
Let r be 3440/2940 - (8/6)/1. Let v = 213/196 - r. Do 2 and v have different values?
True
Let w be (-36)/(-42714)*(-6)/(-4). Which is smaller: w or -1?
-1
Let g = 188 + -189. Which is greater: 14/33 or g?
14/33
Let o(x) = 2*x**3 + 33*x**2 + 17*x + 16. Let f be o(-16). Does f = 5/786?
False
Let z = 13 + -9. Let v be ((-3)/(-6))/(1/z). Let r be -11 - (3/(-3) - v). Which is bigger: r or -9?
r
Suppose 29*x = 3*x - 59618. Which is bigger: -2292 or x?
-2292
Suppose -n - 6*n - 14 = 0. Let y(o) = -2*o**2 + 8*o + 3. Let l be y(n). Which is bigger: l or -18?
-18
Let h be 1/(-2) + 129/2. Let l(p) = -2*p**2 + 13*p - 9. Let b be l(5). Let y be 24/h - b/16. Are y and -6 equal?
False
Suppose -2792 - 10760 = -22*o. Is o <= 617?
True
Let o = 19.93 + 0.07. Let d = o - 20.5. Let m = d + 0.5. Is -0.04 at least as big as m?
False
Let f be (-586382)/1292 - 14/119. Let r = 454 + f. Is r equal to 1?
False
Let j be (-1)/(-66)*(26 - 16). Which is greater: -1 or j?
j
Let r = -8 - -4. Let h be (19/r)/(3/(-18)). Let v = h - 28. Is -8 < v?
True
Let c = -219 + 237. Is c at least 0.4?
True
Suppose -c = 0, 2 = -5*a - 3*c - 3. Let x be (-40)/15 - a/(-3). Let i be (-5)/2 - x/2. Is 3 < i?
False
Let r be 56/(-904)*24/(-14). Are r and 1 non-equal?
True
Let r = -2.6 + 1.93. Is 1 <= r?
False
Let m = 13 + -11. Suppose -2*q + 7*q = 5*k, -m*k = -8. Let y be 4 + 1 + (0 - q). Which is smaller: -1/44 or y?
-1/44
Let z = -268.9 + 260. Which is smaller: 1 or z?
z
Suppose -2*f - 5*j - 25 = -f, -2*j = 2*f + 10. Suppose -2*w = -3*d - 51, 5 = -7*d + 2*d. Let i be (-43)/(-140) - (66/w)/11. Which is smaller: f or i?
f
Let x(t) = 20*t - 78. Let a be x(4). Is a at least 29/14?
False
Suppose -n = d - 2, -5*d - 5*n + 1 = -9*n. Let a be 8/(-178)*(-6)/12. Is d <= a?
False
Let w(v) be the first derivative of v**3/3 + 13*v**2/2 + 5*v - 16. Let y be w(-13). Is y at most 5?
True
Let t(k) = k**2 + 14. Let f be t(6). Which is bigger: 48 or f?
f
Let b be (-2)/(-20)*(-288)/(-52). Let g = -2/13 + b. Is g < -1/8?
False
Let k be (-9)/(-30) + 1/5. Let h be (228/(-24) - -10)*2. Which is bigger: k or h?
h
Let z be -1*(-4 + -1 + 5). Suppose -4*h + 2*h + 2 = z, 3*g + 5 = 5*h. Suppose -y - 2*y = g. Is -2/23 greater than y?
False
Let l = -481/7 + 69. Let f = -112 + 132. Let k be 80/f + 26/(-7). Is k < l?
False
Let x = 3431/40 + -412/5. Suppose -8 = p + 3*q, -10*p + 13*p = 5*q + 32. Is x not equal to p?
True
Let l = -72 + 86.5. Let k = -15 + l. Let p = k + -1.5. Do -2/9 and p have the same value?
False
Let o = -131 - -135. Suppose 0 = -3*b + 4*i - 3 - 5, o*b = -3*i + 6. Is -15 greater than or equal to b?
False
Let a = -200 + 340. Let l be a/45 + -1 + -1. Let j = l + -7/9. Which is smaller: j or -16?
-16
Let f be -262*(-18)/(-204) - (-2)/17. Are f and -2 non-equal?
True
Let s(v) = 11*v - 8. Let p be s(3). Suppose -5*y - 10 + p = 0. Suppose j - 1 - 2 = 0. Is j 