2 less than or equal to k?
True
Let j = -219 + 219. Is -18/29 > j?
False
Suppose 3*o + 3*m - 9 = 0, -5*o + 4*o = -4*m - 13. Suppose -2*t = -r - 0*r + 12, o*t = -r - 16. Let a = -7 + r. Is a <= -4?
False
Suppose -116 = 12*x + 88. Which is smaller: -35/2 or x?
-35/2
Let d(n) = 2*n**3 + 4*n**2 + 3*n + 1. Let q be d(-2). Let a be q/(-2) - 1/2. Suppose -4*i = a*v - 4*v - 12, 4*v = 3*i + 1. Which is smaller: i or 4?
4
Let b = 3567/7 - 511. Are -1 and b nonequal?
True
Let a = -52 + 9. Is -43 < a?
False
Let y be (-4)/(-40)*32 - (-3)/(-15). Is 13 at most y?
False
Suppose 2*i + 90 = -4*y, -6*i - 214 = -i - y. Is i greater than or equal to -42?
False
Let n = 236 + -134. Let f = n - 512/5. Is -0.04 less than or equal to f?
False
Suppose v - 10 = -4*v + r, 4*v + r = 17. Let o be -9*(v + 2 + -4). Let h be (3 - 1)/((-6)/o). Which is bigger: 2 or h?
h
Let n = -84 - -57. Which is smaller: -1 or n?
n
Let b be ((-86)/33 - -2)*3. Let k = -89/55 - b. Which is greater: -1 or k?
k
Let c be 1*(-20)/(-45) + (-2)/9. Is -10 != c?
True
Let l = 34 - 34. Is l greater than or equal to 0?
True
Let w(i) = -8*i - i**2 - 2*i + i + 1. Let v be w(-9). Suppose k = -v + 4. Is 2 less than k?
True
Suppose 2*m - u + 18 = -3*u, 4*u = 4. Let r(t) = -t**3 - 10*t**2 + t + 6. Let a be r(m). Let l = a + 4. Is l equal to -2/15?
False
Let j = 3 - -3. Which is smaller: -2 or j?
-2
Let u = 29/78 + -11/26. Which is bigger: 0 or u?
0
Suppose 0 = -5*f + x + 35, 0 = -f - 10*x + 5*x - 19. Suppose 0 = -0*o + o - 6. Is o bigger than f?
False
Let p = -184 + 2762/15. Let b = p + 1/5. Let x be (-2 - -1*2)/2. Which is bigger: x or b?
b
Let m be 2/3*(-18)/28. Suppose 22*l + 10 + 12 = 0. Which is smaller: l or m?
l
Suppose 0 = -4*h + 3*u - 2, -5*h = -0*u - u + 8. Let i be 0 - 0 - (-1)/h. Let d = 1/11 + -25/33. Which is smaller: d or i?
d
Let s(l) = 4*l**2 + 6*l - 11. Let d be s(3). Is 43 less than d?
False
Let t be 0 + (2 - -1)*1. Suppose -t*a - 23 = -4*y, -2*y + 6 = 4*a - 0. Which is smaller: -2/33 or a?
a
Let o = -1/16 + 41/144. Let t(s) = s**3 + 13*s**2 - s - 13. Let v be t(-13). Which is smaller: v or o?
v
Suppose -3*d + 4 = -2*d, -4*t - 4*d + 32 = 0. Suppose t*m = 4*z + 20, 3*z + 2 = -2*m + 7. Is z less than or equal to 0?
True
Let j be 88/(-56) - 1/1. Which is smaller: -3 or j?
-3
Let y be -5 + (4 - 0)/(-2). Which is smaller: y or 1?
y
Suppose -i - 3*i + 40 = 0. Suppose -4*h + 33 + 7 = 0. Are i and h unequal?
False
Let v = -80 + 73. Do -7 and v have the same value?
True
Suppose 5*b = -2*w + 14, 5*b - w - 26 = w. Suppose -b*u - 14 = 2*s + u, -s = 4*u + 10. Let j = -8 - -5. Which is greater: j or s?
s
Suppose -5*p + 2*p = -6. Let x be p/(-10) - 153/(-465). Let m = x + 3/217. Is 0 >= m?
False
Let r = -44 + 42. Are -0.06 and r equal?
False
Let t = 30/217 + -22/31. Is t greater than 0?
False
Suppose -3*x = 6, -12 = -5*d + d + 4*x. Suppose 0 = k - 3*k - 4. Let b = k + 3. Is d at most as big as b?
True
Let a = 4 + -6. Let f = 16 - 18.2. Let b = a - f. Which is smaller: 1 or b?
b
Let l = 0 + 0. Suppose -3 = y - 2*y. Which is smaller: y or l?
l
Let q be (-1)/(14*(-4)/80). Which is greater: q or 1?
q
Let o be 80/14 + (-2)/(-7). Let d(c) = c**3 + c**2 + c + 4. Let b be d(0). Let n = 1 + b. Are n and o non-equal?
True
Let a = -0.2 - -0.08. Let k = 0.22 + a. Is 0.1 not equal to k?
False
Suppose 4*f = -0*f + 4*n + 28, 3*f + 3*n - 9 = 0. Suppose -5 - 15 = -f*v + h, 0 = -2*h. Let b be (-6)/4*(5 - v). Is -3 at least as big as b?
False
Suppose 5 = -2*t - 9. Is -6 smaller than t?
False
Let m(c) = c**3 - c**2 - 2*c + 1. Let n be m(2). Let h = 50 + -252/5. Which is smaller: h or n?
h
Suppose 7*v - 5*v = 10. Let f(q) = -q**2 + 3*q. Let p be f(4). Let a = p + v. Which is smaller: a or 2/9?
2/9
Let x = 7 + -6. Let i = -4 - x. Is -5 greater than i?
False
Let k(r) = 2*r**3 - 9*r**2 - 9*r + 4. Let g be k(7). Let v = -130 + g. Let u be (-2)/8 - (-30)/v. Which is bigger: u or 3?
3
Suppose 0 = 6*k - 0*k + 6. Does k = -14?
False
Let i = -29/2 + 11. Let h = -8 + 5. Let p = h - i. Are 2 and p equal?
False
Let h(k) = k**2. Let u be (-4)/6*24/(-16). Let b be h(u). Let n = 2 + -3. Which is smaller: b or n?
n
Let p(n) = n - 11. Let z = 20 + -14. Let x be p(z). Let q be (-7)/20 + (-3)/x. Which is smaller: q or 0.3?
q
Suppose 0*r - r + 9 = 0. Suppose r*c - 100 = 4*c. Let p be ((-2)/c)/((-2)/(-4)). Which is smaller: -1 or p?
-1
Suppose -5*s + 0 + 12 = 2*v, 5*v = 5*s - 5. Suppose 3*t - p - s = 0, -5*p + 6 + 0 = t. Let j be (-30)/(-25)*10/4. Which is greater: t or j?
j
Let n(w) = -w**2 - 17*w. Let z be n(-17). Let k = -19 + 20.8. Let l = 2 - k. Which is greater: l or z?
l
Let m be (-1 + (-15)/(-9))*3/(-9). Let u = -7.05 + 0.05. Is u at least m?
False
Let o = 16 + -8. Which is bigger: o or 9?
9
Let x = 22.971 - -0.029. Is x at least 1?
True
Let o = -2 - 3. Let g = 0.07 + -0.27. Is g greater than o?
True
Let q be (12/6)/(4/(-10)). Let p be (-1 + 2)*q/(-25). Which is smaller: -1 or p?
-1
Let p be 2/4 + (-233)/(-12). Let u = 20 - p. Let k be ((-2)/(-1))/((-2)/(-1)). Which is smaller: u or k?
u
Let a = -3 - -3. Let t = a - 0.3. Let n = t - 0.7. Is -3 bigger than n?
False
Let q = 10 + -1. Let k = 2 - 10. Let o = k + q. Which is greater: 2 or o?
2
Let f be (-4963)/((-9)/6 + 2). Let y = -49974/5 - f. Let a = -68 - y. Which is greater: a or -0.1?
a
Let k = 2.02 - 2. Let t = k + -0.12. Is t bigger than -7?
True
Suppose 4*r + 1 - 9 = 0. Let t(c) = -c**3 - 3*c**2 + 3*c - 2. Let v be t(-4). Is v greater than or equal to r?
True
Let d be 3*(1*-8 + 3)/(-1). Which is bigger: 16 or d?
16
Let o = 7 - 13. Which is greater: -5 or o?
-5
Let l(f) = f - 5 + 5. Let u be l(-6). Is -6 less than or equal to u?
True
Let t = -9 + 14. Let s be 2/(-2) + 3 - -4. Which is greater: t or s?
s
Let o be ((-18)/(-12))/(6/(-16)). Are o and -5 nonequal?
True
Let w be 3/(-6) + (-2)/4. Let u(x) = x - 1. Let i(y) = 6*y - 7. Let b(s) = w*i(s) + 4*u(s). Let n be b(4). Are n and -5 non-equal?
False
Let n be (2/4)/((-9)/414). Which is smaller: -22 or n?
n
Let i = -2 + 2.02. Let j = 0.62 - i. Let c = 44.9 - 45. Are c and j nonequal?
True
Let p be -25*2/(-10)*2. Suppose -4*h + p = 42. Let l be 0 - -1*2/h. Which is greater: l or -3?
l
Let f(m) = m**3 + 9*m**2 + 8*m + 1. Let n be f(-8). Is 2/9 at most n?
True
Let o be (2/(-4))/(2/(-4)). Let t(c) = -c**2 - 5*c - 3. Let q be t(-3). Suppose 0 = 2*m + q*n - 3, -2*m + 5*n - 5 = -0*n. Is m at most o?
True
Suppose -9 - 5 = 2*l. Which is greater: -8 or l?
l
Let z(b) = b**2 - 5*b - 5. Let x be z(7). Are 9 and x nonequal?
False
Let t = 244 - 1711/7. Is t <= -1?
False
Let z(g) = 2*g + 9. Let r(x) = -x - 9. Let o(s) = s - 10. Let m be o(7). Let t(j) = m*r(j) - 2*z(j). Let n be t(11). Which is bigger: 0.1 or n?
0.1
Let j = -27/46 + 2/23. Let d(f) = f**3 - 8*f**2 - 7*f - 6. Let v be d(9). Let g be (4/6)/(32/v). Is g >= j?
True
Let c be 1/((-3)/12*1). Let d be 4*-1*2/c. Suppose -d*r = -3*r + h + 3, -6 = 2*h. Is -2/3 at least r?
False
Let t be 60/16*(-16)/(-6). Suppose 0 = -4*g + t + 22. Suppose -4*x + g = -16. Which is smaller: x or 7?
x
Suppose -2*v - 9 - 42 = -q, -3*v = -2*q + 99. Let d be (-64)/q + (-14)/(-63). Is 0 bigger than d?
True
Let c = -5 - -10. Suppose 12 = -c*o + 32. Suppose z + 8 = o*r, -3*z - 2 + 5 = -3*r. Which is bigger: z or 5?
5
Let b = -4.9 - 3.4. Let z = b - -8. Let g = -0.3 - -0.4. Which is bigger: z or g?
g
Let i(x) = -x + 20. Let u be i(0). Suppose -u = -3*b + 4*v, 2*b + 15 = -2*v - v. Suppose b = -d - d + 4. Is d smaller than 2?
False
Let m be 2/(-5) - (-2)/5. Let t be 15/12 - (-2)/8. Does t = m?
False
Let k = -2.99 + 3. Let g = -0.99 - k. Is 0 at least g?
True
Let f be 0/(-1 - -2 - 2). Let b = f + -8. Is -8 smaller than b?
False
Suppose -l = -5*l. Suppose -4*x - x = -15. Suppose -c - 2*c - x = l. Which is bigger: -2 or c?
c
Let z = -1.307 - -0.107. Which is bigger: z or 4?
4
Let a be 0*(3 - (-20)/(-8)). Do -1/2 and a have the same value?
False
Let r(g) = -4*g + 43. Let n be r(8). Suppose t = 2*s - 0*t - 22, -4*s + 4*t + 40 = 0. Which is smaller: s or n?
n
Let m = 0.05 + -4.05. Let j be 1/12 - (-2)/8. Which is greater: m or j?
j
Let v(b) = 6*b**2 - b + 1. Let d(x) = 6 + x + 8 - 6 + 1. Let y be d(-8). Let w be v(y). Is w <= 6?
True
Let w = 7 - 11. Let i be (-3*w/24)/(-1). Which is bigger: i or 2/17?
2/17
Suppose 5*i - 8 = i. Sup