greater than k?
False
Suppose 1 + 1 = -f. Let c be (f/4)/(3/2). Which is smaller: 0 or c?
c
Let t = -169 + -343. Let d = -3599/7 - t. Is d less than -1?
True
Let h be (-1 + -1)*36/8. Which is bigger: -8 or h?
-8
Let f = 326/249 + 2/83. Is f greater than 2?
False
Let c be ((-18)/(-12))/(17/29 - 1). Which is smaller: -5 or c?
-5
Let h = -0.987 + -0.073. Let q = 0.06 + h. Is q at most as big as -2?
False
Suppose -2*a = a + 21. Let p = 24 + -31. Are a and p unequal?
False
Suppose 6*t = t. Let u be 4*(-6)/24 + (-13)/(-12). Is t smaller than u?
True
Let p be ((-4)/12)/((-1)/9). Suppose -p + 7 = 4*i. Do i and -7 have the same value?
False
Let v = 65/3 - 22. Let n = -0.4 - -0.1. Which is bigger: v or n?
n
Let k(c) = c**3 - 3*c**2 - 3*c - 1. Let g be k(4). Let o be (-53)/(-14) - (-10)/(-35). Which is smaller: o or g?
g
Let o = 18521/924 + -447/22. Let w = 1/84 - o. Is w at least as big as 1.4?
False
Let c = 25 - 24.9. Which is smaller: 2/13 or c?
c
Let i = -5 + 4. Let c = -37 - -110/3. Is c less than i?
False
Suppose -5 = 5*f - 45. Let l be (-6)/f*(-2)/6. Is l at least -1?
True
Let d be -2 + -2 + 2 - 0. Let m = -3.1 - -1.1. Is m smaller than d?
False
Let k be 4*-1 - (-20)/(-10). Is -6 equal to k?
True
Suppose 8 = p - 5*r, 6*p - 4*p + 3*r - 3 = 0. Suppose -p*w + w - 20 = 0. Let t be 1*(-1 - 14/w). Is t at most as big as -1?
False
Let s = 0.4 - 0.3. Let t = 0.43 + -0.74. Let c = -0.01 - t. Which is bigger: s or c?
c
Let a(u) be the second derivative of u**3/6 + 3*u**2/2 - u. Let y be a(-4). Is y at least as big as -1?
True
Let i be -3*(2 - 6/9). Which is bigger: -2 or i?
-2
Suppose 5*h + 35 = -3*k - 2, 4*h = -20. Let l be ((-52)/k)/(1/(-2)). Let m be l/22 - (-4)/22. Is m greater than or equal to -1?
True
Let p = -39/2 - -20. Let h be -4*(-1)/2*-2. Let y(m) = -m**2 - 5*m - 4. Let u be y(h). Which is bigger: u or p?
p
Let f = -7 - -7. Let g(m) = -m**3 + 5*m**2 + m - 7. Let w be g(5). Which is bigger: w or f?
f
Let p = 8 + -8.1. Does p = 23/6?
False
Let u(g) = 5*g**2 + 13*g + 2. Let x(q) = 9*q**2 + 25*q + 3. Let r(h) = 11*u(h) - 6*x(h). Let v be r(5). Let b = v + 4. Which is greater: b or -3?
b
Let x(i) = -i**3 + 7*i**2 - 10*i + 9. Let v be x(6). Is -15 greater than v?
False
Let c = 294 - 2349/8. Is 0 not equal to c?
True
Let i = -2/95 - 281/190. Is i at most as big as -1?
True
Let s = 19 + -23. Which is bigger: 8 or s?
8
Let k be (2/18)/((-1)/(-3)). Let c = -35 - -13. Let t = -22.4 - c. Which is greater: t or k?
k
Let a = -53 + 52. Let v be 6*(-2)/21*1. Which is greater: v or a?
v
Suppose -1 = -3*p + 5. Suppose p = 5*d + 12. Are d and -1 non-equal?
True
Suppose -s = -6*s - 5. Let k = 2 + s. Which is bigger: k or 4?
4
Let l be (-6)/(-20) + (-9)/15. Which is smaller: l or -1?
-1
Let g = -7475/42 + 532/3. Let o = g - 1/42. Which is smaller: 0 or o?
o
Suppose -2*r = 3*u - 0 - 6, 5*r - 2*u - 15 = 0. Let j = 3 - r. Let d = 0 + j. Is -1/9 at most as big as d?
True
Let f(n) = -n**3 + 10*n**2 + n - 11. Let i be f(10). Let h be (12/(-20))/(i/5). Let v be 2 + 3 + -8 + h. Which is greater: -1 or v?
v
Let b = -0.12 - -13.12. Let j = 2 + -1. Which is bigger: b or j?
b
Let d(w) = w**3 - 11*w**2 + 10*w - 3. Let a be d(10). Suppose -3*s - 4*r = -s + 8, -4*s - 16 = 2*r. Let u be s/10 - (-24)/(-15). Is u greater than a?
True
Suppose -9*b + 4*b - 5 = 0. Which is bigger: 2/35 or b?
2/35
Let j = -5 - -9. Let l = j + -2. Let t be (-155)/(-217) + -1*2/(-7). Are l and t non-equal?
True
Suppose 4*t - t - 9 = 0, 4*g = -4*t + 16. Is 2/9 at most g?
True
Suppose g - 26 = -24. Is 24/13 <= g?
True
Let y(j) = -2*j**2 + j - 1. Let p = 0 + 2. Let m be y(p). Let n be -9*(30/(-9))/(-5). Which is bigger: n or m?
n
Let s = 241/8 + -31. Is s equal to -2?
False
Suppose -4*j + 25 = -5*h, h - 2 = j - 8. Which is bigger: 1/4 or h?
1/4
Let i = 1/14 + -9/28. Let l(c) = c**3 - 9*c**2 - c + 13. Let q be l(9). Suppose 0*t = -q*t. Do i and t have different values?
True
Suppose 0 = w - 0*w. Let z = -0.04 - -0.44. Let i = z - 0.2. Is w at most as big as i?
True
Let t = -14/5 + 12/5. Suppose 3*v = -2*v + 2*g + 13, -2*g - 3 = 5*v. Is v bigger than t?
True
Let d = 2 + -2.08. Let o = -0.18 - d. Which is greater: 7 or o?
7
Let q = 97/3 + -1058/33. Which is smaller: -0.3 or q?
-0.3
Let y be ((-8)/120)/(2/(-4)). Do y and 0 have the same value?
False
Let z = -20.9 + 22. Is 1 at most z?
True
Let o(r) = r**3 - 8*r**2 + 6*r + 8. Let w be o(7). Let j = 1136/7 + -162. Is w less than j?
False
Let o = 1 - 1. Suppose -5*b = 3*x - 10, -b - 3*x - 10 = -o*x. Is 5 at most as big as b?
True
Let t = 1 - 1. Suppose t = -j + 4*j. Let u(l) = -l**3 + 9*l**2 - l + 9. Let k be u(9). Is k != j?
False
Let t(c) = -3 + 3 - c + 6. Let m be t(6). Which is bigger: m or 4/7?
4/7
Let a be 9/4*(-96)/(-18). Let z be a/10*40/(-12). Is -4 less than z?
False
Let s = -6 + 8. Let d = -3 + s. Is d less than 14?
True
Let g(d) = -d - 5. Let c(o) = -o - 6. Let y be c(0). Let w be g(y). Is 1/3 >= w?
False
Let v(h) = -h + 23. Let s be v(0). Suppose -3*j + s = -2*l, -j - 1 = -6. Is l greater than -5?
True
Suppose 4*z - 6*z = -28. Is z less than 14?
False
Let a = 188 - 286. Which is greater: -97 or a?
-97
Suppose 22 = -0*m + m - o, 0 = 5*m + 3*o - 70. Do m and 8 have the same value?
False
Let m be (-2)/((-5)/(15/2)). Let a(k) = k**2 - 3*k - 1. Let j be a(m). Let g(v) = -v. Let p be g(j). Does 2/15 = p?
False
Let f(k) = -k**3 - 5*k**2 + 5*k - 5. Let m be f(-6). Suppose -4*z + 5 + 3 = 0. Let r = z + -2. Is r not equal to m?
True
Suppose 3*o + 1 = 4. Suppose 4*u = 4*r - 2 - 2, -r = u + o. Which is bigger: -3/11 or r?
r
Suppose 0*o + 5*v = 2*o - 5, o = -3*v - 3. Suppose g + 2*g = o. Which is smaller: 2 or g?
g
Let d = 94 - 281/3. Which is smaller: d or -1/2?
-1/2
Suppose 0 = 5*q + 5*f + 35, -2*q + 4*q - 16 = 4*f. Let y = 0.2 + -0.1. Let r = 0 - y. Which is smaller: q or r?
q
Let n = 16 + -10. Let j = n + -6.2. Let l = -10 - -9. Are l and j non-equal?
True
Suppose w - 5 = -0, 2*g + 5*w - 29 = 0. Let a be ((-15)/(-10))/(g*3). Are -6 and a non-equal?
True
Let h = -31 - -27. Is h not equal to 3?
True
Let g be (-10)/(7/2 + -3). Let o be g/(-6) - (-3 - -6). Let t be -6 + 6 + 2/(-5). Is o less than or equal to t?
False
Let o = -7 - -6. Let g be (o - -4) + (-4)/(-4). Are 21/5 and g equal?
False
Let m(d) = -d**3 - 8*d**2 - 6*d + 9. Let h be m(-7). Suppose -2*i = -5*b - 1 - 1, 4*i + 12 = h*b. Suppose 3*t = 1 - 13. Which is greater: t or b?
b
Let f be ((-24)/40)/(6/(-4)). Let a(b) = -b + 2. Let p be a(3). Is f <= p?
False
Let l be (3/(-15))/(6/10). Let q = -0.9 + 0.6. Which is bigger: q or l?
q
Let o = 1243/2 - 609. Let g = -13 + o. Let t = -2 + 1. Do g and t have the same value?
False
Suppose 5*r + 8 = 3. Let j be 60/(-18) - (-1)/3. Do j and r have the same value?
False
Let z = -0.01 - -1.61. Let p = z + -2. Let b = p + -0.6. Is b smaller than 1?
True
Suppose -2 = j + j. Which is bigger: -1/2 or j?
-1/2
Suppose 2*q = 6*q. Suppose -2*z - 5 = 4*w - 1, 4*z + 8 = w. Let y = q - z. Is 3 >= y?
True
Suppose 5*v = 3*v. Let k = 31031/810 - 98/81. Let s = k - 73/2. Which is greater: s or v?
s
Let b(a) = 3*a**2 + 35*a - 13. Let f be b(-12). Let o be 1 - (-4 + 2 + 1). Is o < f?
False
Let p(k) = -k**3 + 2*k. Let r be p(0). Let f be (-8 + 3)/1*1. Which is bigger: f or r?
r
Let m be 2/(-58)*3/21. Let v be 1/(-2) + 38673/62118. Let w = v + m. Is 1 <= w?
False
Let k be -4 + (-300)/28 + -5. Which is bigger: k or -21?
k
Let m = 0.03 - -8.97. Let y = m + -8. Let k = -8 + 4. Is y at most as big as k?
False
Suppose v = -5*p + 29, -3*p + 12 + 4 = 2*v. Suppose p*y = y. Is -2/7 at most y?
True
Let c be (163/9)/(2/(-6)). Let q = c - -55. Which is bigger: q or 0?
q
Let f = -70 + 70. Is f smaller than 1/18?
True
Let q(z) = -z - 2. Let t be q(-15). Do t and 13 have the same value?
True
Let t = 95 + -107. Let x(r) = r**2 - 7*r - 5. Let q be x(6). Which is smaller: q or t?
t
Suppose 4*c + 2 - 6 = 0. Are c and -2/7 equal?
False
Let a be (-4)/(-6)*-3 - 3. Is a >= -3?
False
Let m(u) = -u**2 - 2*u - 7. Let c be m(-5). Let x = c + 12. Which is smaller: -9 or x?
x
Let w = 1 + -1. Suppose 3*v + 0*v = w. Let y = -103/7 - -15. Which is smaller: y or v?
v
Let l be (5 - (-34)/(-7))*-3. Is -1 <= l?
True
Let b(c) = -2*c**3 + 7*c**2 + 3*c - 3. Let q(t) = t**3 - 3*t**2 - 2*t + 2. Let w(g) = 3*b(g) + 5*q(g). Let 