: o or k?
k
Suppose 3*k - 4 = -1. Let w = -8/17 - -218/391. Is k less than or equal to w?
False
Let h be (-32)/(2 + -4) - 2. Is 13 bigger than h?
False
Let g = 11 - 15. Is g smaller than -2?
True
Let r be (4*-1)/2*-1. Suppose -r*l - 9 = -1. Which is greater: -2 or l?
-2
Suppose 0 = y + y + 8. Which is smaller: -5 or y?
-5
Let n = 81 - 81.37. Let k = n + 0.17. Is 2 less than k?
False
Let k be (1/2)/((-1)/(-8)). Suppose k*w - 3*w = 0. Let g = -0.043 + 0.043. Is g equal to w?
True
Suppose -2*u + 8 = -4. Suppose u*t = 2*t. Are 0 and t nonequal?
False
Let j be 5*-3 + (-8 - -11). Let d(m) = m**2 + 11*m - 9. Let o be d(j). Does o = 3/2?
False
Let z be ((-10)/(-6))/(2/6). Suppose -z*i - 4*h + 5 = 0, -i - 2*i + 2*h + 3 = 0. Which is smaller: i or 1/3?
1/3
Let f be ((-6)/15)/((-3)/5). Let g = 52 + -57.9. Let h = g + 6. Is h > f?
False
Let m = -29 - -18. Which is greater: -10 or m?
-10
Suppose 3*b - 2*s + 28 = 0, 0*b + 30 = -3*b + 3*s. Is -8 smaller than b?
False
Let q be ((-168)/21)/(0 + 2/2). Which is greater: -9 or q?
q
Let g(c) = -c**2 - 2 + 2 + 3 + 7*c - 8. Let n be g(6). Is 1 greater than or equal to n?
True
Let k be 2/(-24) - (-4)/24. Suppose -5*w + 4 + 1 = 0. Is k greater than or equal to w?
False
Let p be 1/(-4) - 124/16. Let f be (1 + (-1 - 1))*8. Do f and p have the same value?
True
Let y be (3153/(-15))/((-28)/5). Let q = y + -149/4. Is q at least as big as 1?
False
Let i(g) = -20*g - 39. Let f be i(-2). Let w be (-2 - 2 - -2)/(-4). Is f >= w?
True
Suppose -4*q - 3*p = -63, q + 0*p - 10 = 5*p. Suppose f = 5 - q. Does -9 = f?
False
Suppose -i = 4*i - 10. Let n be 1*(1*-2)/i. Let k be n - -1 - (1 - 0). Is -1 < k?
False
Let h = -0.09 + -0.11. Let p = -0.2 - h. Let m(u) = -4*u - 1. Let w be m(-1). Which is bigger: p or w?
w
Let z be (-51)/12 + (-7)/28. Is z greater than or equal to -6?
True
Let f be 1 - (112/54 - 1). Suppose -2*w = 2*w. Which is smaller: w or f?
f
Let k be (-1 + 3/(-6))/(-3). Let l = 0.01 - 0.41. Which is bigger: l or k?
k
Let c = -0.4 - -0.4. Let v = 0 - c. Let i = 0.2 + v. Is 1 less than i?
False
Suppose 9*k = 7*k - 4. Which is bigger: k or -10/3?
k
Let s = 9161.969 - 9156. Let t = s - -0.131. Let b = -6 + t. Which is greater: b or -0.9?
b
Suppose -2*v + 6 = -b, 3*b - 4 = -10. Suppose -h + v - 4 = 0. Let q be (h - -8)*(-6)/(-9). Which is bigger: 3 or q?
q
Let o(v) = 4 + 7*v + v**2 + 8 - 5. Let a be o(-5). Let m be a*4/(-6) - 4. Which is smaller: m or -3/2?
m
Let a = -187/7 + 25. Which is greater: -3 or a?
a
Let q = -0.2 - 0. Let o = 2 + -5. Let g = 2 + o. Is g less than or equal to q?
True
Suppose -1 = -j + 6. Suppose -5*t + 2*o = j - 51, -5*t + 30 = 5*o. Let w be 1/5 - t/40. Is w at least as big as -2/5?
True
Let j(f) = -f**3 + 5*f**2 - 4*f + 1. Let a be j(3). Let b = 5 - a. Which is smaller: b or -1?
b
Let q be (-36)/(-10) - (-4)/10. Suppose 12 - q = a. Let j = a - 5. Is 3 at most j?
True
Suppose 10*d - 8*d - 16 = 0. Let s = d - 9. Suppose -q + 2*q = 2*i + 4, -5*i + 5*q = 10. Which is greater: s or i?
s
Suppose 0 - 3 = -p. Let y = 4 - p. Let q = -8 - -9. Is q at most as big as y?
True
Suppose -3*k + 24 = 5*z, -3 = 3*z + 3*k - 7*k. Let t be (-4)/(-16) + z/(-12). Which is bigger: t or 1/11?
1/11
Suppose -2*r + 3*r - 2 = 0. Suppose -4*n + 26 = -3*p + p, 3*n - 4*p = 27. Let z = n - 5. Do r and z have different values?
True
Let w(y) = -y**2 - 5*y + 5. Let m be w(-4). Let o be 2/9 + 7/m. Let n be (4/(-55))/((-14)/(-35)). Is o less than n?
False
Let i = 125 - 130. Which is smaller: -3 or i?
i
Let q = 12.07 + -0.07. Let w = q - 12.9. Let c = w + -0.1. Which is greater: -1/4 or c?
-1/4
Let h = 4409/37513 + 58/233. Let i = -15/23 + h. Are 2 and i equal?
False
Let f = 8 + -7.97. Let q = -0.03 - f. Let a = 0.04 - q. Is 0 != a?
True
Let o = -2.097 + 0.167. Let l = o - 0.07. Let i = l + 4. Is 3 less than i?
False
Let i = -166 - -2810/17. Do i and 0 have the same value?
False
Let q = -0.9 + 1. Let n = 32 + -161/5. Which is greater: q or n?
q
Let u = -63462703/6434295 + 12811/1315. Let s = u - -6/233. Which is smaller: 0 or s?
s
Let f(j) = -j + 2. Suppose -3*y = -3*a + 21, -a + 5*y - y = -7. Let l be f(a). Is l > -7?
True
Let t be 3 + (0 - (0 - 0)). Let q(c) = -47*c + c**2 - 48*c + 92*c - 1. Let r be q(t). Are 0 and r unequal?
True
Let j = 12 - 7. Suppose j*v + 4 - 39 = 0. Let d = v - 12. Is d at least as big as -6?
True
Suppose k - 14 + 11 = 0. Let w be (k/(-3))/((-1)/1). Which is smaller: w or 12/7?
w
Suppose -x = -4*x. Which is smaller: x or -4/9?
-4/9
Let o be (-6)/30 + (152/60 - 2). Are 0.16 and o unequal?
True
Let j = 0.2 + -0.4. Is j < 0.02?
True
Let l = -5.12 - -5. Let a = l + -0.88. Do a and -1/3 have different values?
True
Let c = -33 + 33. Let q = -299/40 + 63/8. Which is greater: q or c?
q
Let f = 2 + -1. Suppose -4*s - 11 = f. Is -3 <= s?
True
Let i be ((-15)/2)/(3*2). Suppose 6 - 1 = -5*n. Which is smaller: n or i?
i
Suppose 0*c - 4*c = 16, -4*j + c = -12. Suppose -2*y = 3*y + 5*v - 10, -2*v + 6 = 3*y. Suppose 4 = j*o - y*i, -o + 2*i + 18 = -6*o. Which is smaller: -3/4 or o?
o
Let j = -1 - -0.1. Let i = j - -0.4. Let q = -0.5 + i. Is -1/3 not equal to q?
True
Let a = 0.2 - -0.2. Let k(q) = q**3 + 15*q**2 + 15*q + 14. Let y be k(-14). Which is smaller: a or y?
y
Let j be (-16)/(-3) - (-2)/(-6). Suppose 3*v - 8 = -j. Suppose k + 5*w + 3 = -v, 2*k = -4*w - 2. Which is smaller: 3 or k?
k
Let n = 0.06 + -0.15. Let y = 0.19 + n. Which is smaller: 3 or y?
y
Let p = 20 + -19. Let s be 1 - p/((-28)/12). Are s and 2 unequal?
True
Let l = 32 - 38. Which is smaller: l or -5?
l
Suppose 5*r + 5*o + 3 = o, r - 9 = 4*o. Which is smaller: 2 or r?
r
Let a = 1/151 - 1513/453. Which is bigger: -2 or a?
-2
Let l be -2*(1 + (-12)/14). Let v be 1/(-2)*(-2 - -2). Suppose 3*j + q = -2, -5*j - 3*q + v*q = 2. Is j != l?
True
Let t(v) be the third derivative of -v**4/24 + 2*v**3 - 3*v**2. Let k be t(11). Which is greater: k or 2?
2
Let j be (2/6)/((-2)/(-24)). Let m be (4/(-6))/((-1)/5). Is j equal to m?
False
Suppose 4 = 4*o, -2*f - 4*o + 44 = -8. Let l be (2 - 51/f)*-2. Let v = 2 + -2. Which is greater: l or v?
l
Suppose 3*i + 5*p + 4 = -61, 0 = 4*p + 4. Is i at most as big as -19?
True
Let l = -4/47 + 122/329. Let n = 0.1 - 0. Is l >= n?
True
Let d = -0.036 + -4.964. Let n = -0.2 - -0.3. Which is bigger: n or d?
n
Let x(m) = m**3 + 3*m**2 - 5*m. Let w be x(-4). Let t be 6*(2 + (-6)/4). Suppose -3*k + 5*o = -4, 11 = 4*k - t*o + 2*o. Is w < k?
False
Let z(a) = a**3 - 9*a**2 - 9*a - 14. Let k be z(10). Which is bigger: k or -3?
-3
Let t be ((-2)/(-3))/(26/(-39)). Let g be 5 + -2 - 3 - t. Which is greater: 6/7 or g?
g
Suppose -8*t + 5*t = -33. Is 9 at least t?
False
Let g be (-20 - -10)*(-36)/10. Let v be (g/20)/(9/30). Which is bigger: v or 0?
v
Suppose -2*k - 6 = 0, 3*g + g + k - 77 = 0. Suppose 0 = -3*a - 2*a - g. Is -1 at least as big as a?
True
Let h be -2*1/(-6)*-3. Let o be 0/1 + -2 + 1. Let v be ((-4)/10)/(o/(-5)). Is v at least as big as h?
False
Let n be (48/429)/(-4) - (-2)/(-13). Is n less than 9?
True
Let v be 3/(-9) + (-21)/(-36). Suppose 4*j = 6*j. Suppose j = 4*q - 4. Which is greater: v or q?
q
Let g = 0 - -1. Suppose 0 = -4*i + p + 2 - 3, 2 = -3*i + p. Suppose -2*a - 1 - i = 0. Which is bigger: g or a?
g
Suppose -4*o = -12, 0 = -5*j - o + 50 - 17. Let m be (j/3)/(4/14). Is m < 7?
False
Let a be 1*(0 + -2*1). Let q be (-1)/a + (-1 - 0). Suppose 2*u + 4 = 5*t, 5*t = 5*u + 10 - 0. Which is smaller: q or u?
u
Suppose -4*b - 21 = -3*a, -3*b - 6 = a - 0*b. Suppose a*c - c = -2. Is c >= 1/8?
False
Let q be -2 - (2 + 32/(-7)). Suppose -2*j + 9 = 5*w - 4*w, 0 = 3*w - j + 1. Let u = w + 0. Which is smaller: q or u?
q
Let z = -8 - -5. Let x(y) = y**3 - 15*y**2 + 14*y - 1. Let i be x(14). Does z = i?
False
Let s(d) = -2*d**3 - 6*d**2 - 4*d - 4. Let f be s(-4). Which is greater: f or 45?
45
Let b = 0.4 + 1.5. Which is smaller: b or -1?
-1
Suppose -6 + 38 = 2*n. Suppose 2*w - h - n = 2*h, 12 = 4*w - h. Let r be w/(-12) + (-2)/(-6). Is 0 less than or equal to r?
True
Let a = -23 - -26. Suppose w - 2*t = -a*t + 5, 0 = 4*w + 3*t - 20. Does 3 = w?
False
Let d(h) = -h**2 + 11*h - 10. Let r be d(9). Let j be 2/(-8) + (-4)/r. Which is bigger: j or 0?
0
Suppose 13 + 29 = -7*k. Which is smaller: -5 or k?
k
Suppose -3*j = -7*j + 24. Let p be 2/(-3)*j/16. Le