 Is d less than 2/171?
True
Let b(i) = i**3 + 6*i**2 + 1. Let o be b(-6). Suppose -10 = -4*z - z. Suppose m = n - 2, n - z = -1. Is m < o?
True
Let h = 100 - 1302/13. Suppose -d - 2 + 0 = 0. Let z be (1/d)/(9/6). Is z less than or equal to h?
True
Suppose 7*s = 6*s. Which is greater: 1/5 or s?
1/5
Suppose 25 = 2*b + 3*b. Let k = b + -17. Which is greater: k or -11?
-11
Let o = -4.25 + 4. Let s = o + -0.05. Which is greater: s or 2?
2
Suppose l = -k - 4, -5*l - 29 + 1 = -3*k. Which is smaller: k or 2/229?
2/229
Suppose 9 - 5 = 4*m. Let g = -627 + 19435/31. Is g greater than m?
False
Suppose 2*d + 5*r = 2*r + 49, 2*d - 2*r = 24. Suppose 61 = 4*h + d. Is 11 >= h?
True
Let v be 3/(-1 - -5 - 3). Which is smaller: 6 or v?
v
Let i = 4017/8 - 504. Is -3 less than or equal to i?
True
Suppose 5*c - 7 = 5*t - 2, 0 = -4*t - 3*c - 4. Which is bigger: -3 or t?
t
Let s = 1.83 + 0.17. Which is smaller: 1 or s?
1
Suppose -5*j + 5 = 40. Which is bigger: j or -9?
j
Suppose 3117 - 677 = 5*u. Let z be (-2)/3 - u/24. Which is greater: z or -22?
z
Suppose -5*c - 14 = 11. Let q be 0 - 0 - 2/c. Which is smaller: q or 0?
0
Suppose 2*f = -7*u + 5*u + 36, -2*f + u = -45. Are f and 22 non-equal?
True
Suppose 0*u + 35 = 3*q - u, -2*u + 2 = 0. Is 13 > q?
True
Let y be (1 - 0)*2 + (-319)/187. Do 0 and y have the same value?
False
Let h(g) = g + 3. Let i be h(5). Suppose 3*u + 5 = i*u. Is u at most 1?
True
Let g be 8/32 + (-1)/4. Suppose 4*c = -5*n + 1, g = 5*c - 5*n + 3*n - 26. Suppose -c*j = 3*f - 4*f + 13, 11 = -4*j - f. Which is smaller: -2 or j?
j
Let a = -42.2 + 42. Which is greater: a or 2/47?
2/47
Let r(g) = -g**3 + 3*g**2 + 7*g + 13. Let x be r(5). Suppose 3*q = 5*s + 25, q + 6*s = s - 25. Is x <= q?
True
Let i = -82 - -81. Which is smaller: i or -2/67?
i
Suppose 0 = -8*g + 11*g + 18. Which is smaller: g or -0.03?
g
Suppose 3*m + 9 = -0*m. Let x be -3 - m/((-45)/(-39)). Is x at most as big as -1?
False
Let r = 23 + -8. Suppose 2*b - r = -b. Suppose 4*w + 5 = 21. Which is bigger: w or b?
b
Suppose 20 - 34 = -7*v. Let q = -18 + 32. Let h be (-2)/4 - q/(-4). Is h != v?
True
Let r be (-19)/(-3) + (-3)/(27/3). Is r < -0.1?
False
Suppose 0 = i + b - 9, -i - 6 = -0*i - 2*b. Which is smaller: 3 or i?
3
Let a = -14 + 6. Is -7 bigger than a?
True
Suppose 4*a + 5*g = 4*g - 10, -6 = 5*a - 2*g. Which is smaller: -9/11 or a?
a
Let w = -14 - -13.9. Suppose -6 = -3*k - 3*m, -3*k - m = 3*m - 6. Let o be (3 - k) + 6/(-5). Which is smaller: o or w?
o
Let x = 77 + -78. Which is smaller: 3/26 or x?
x
Let p = -8 + 8. Suppose 5*x + 159 = -51. Let b be 0 + -3*(-4)/x. Are p and b unequal?
True
Let p = -1 - -1. Let l = 251 + -251.2. Which is smaller: p or l?
l
Let v = -38 + 75/2. Is -5 greater than or equal to v?
False
Let d = -0.07 + 0.08. Let b = d - 0.11. Is b equal to -0.1?
True
Let m = -9 + 1. Let n be (-75)/20 + 2/m. Is n at most as big as -1?
True
Let b = 80 + -75. Let s(v) = v**3 - 2*v**2 - v - 1. Let c be s(3). Is b at most c?
True
Let v(b) = -b - 7. Suppose -3*u + 2*z = -98, 5*z = 3*u - 0*u - 83. Let r be ((-9)/(-12))/((-3)/u). Let n be v(r). Is 0 not equal to n?
True
Let q = 22 - 13. Let b = q + -6. Suppose -2*g - 3*y + y + 2 = 0, -2*g + b*y = 13. Is g greater than -5/2?
True
Let r be -6*-1*4/(-6). Let p be r/3*3/(-8). Let y = 2 - 1. Is p less than y?
True
Let l = 554545198/969 + -572286. Let d = l + 2/51. Which is greater: 1 or d?
1
Let c(n) = 14*n + 37. Let a be c(-5). Which is bigger: -31 or a?
-31
Suppose o - 4*u - 7 = 13, -4*o + 5 = -u. Is 2/51 at least o?
True
Suppose 3 = 3*p - 0*p. Let n = 2213/4 - 15899/28. Let l = n - -15. Is p at most l?
False
Let c = -56 - -78. Suppose -4*i = -o - c, 0 = -5*i + 4*o + 33. Suppose -3 - i = 4*h. Which is smaller: 0 or h?
h
Suppose o - 2*o = 4*k, 2 = -2*k. Suppose 5*u = o + 1. Let p be (-7)/14*2/4. Is u >= p?
True
Suppose 4*o - 8*o + 36 = 0. Suppose 3*h + u = 13, 2*u - o - 2 = -3*h. Suppose h*a = -3*j + 6, -2*a - 2*j - 2 = -6. Which is bigger: a or 2/11?
2/11
Let h = -4 + 10. Let l be 0/(3/((-9)/h)). Which is bigger: l or 1/6?
1/6
Let c be 62/4*(-2)/(-8). Are c and 4 non-equal?
True
Let i = 6.14 + -0.14. Let b = i - 6.2. Is -3/4 less than or equal to b?
True
Let w = -8416/45 - -187. Let t = 2/9 + w. Which is smaller: -1 or t?
-1
Suppose 3*o + x - 3*x = -1, -4*o - 1 = -3*x. Is -1 at least o?
True
Suppose -6*h - 8 = 5*u - 2*h, 0 = -2*u - 2*h - 2. Which is greater: -3 or u?
-3
Let p be (-1)/(-2)*(-8)/2. Suppose -f + 2 = 4*o, 0*f - 3*o = -2*f + 4. Let b = 1 - f. Which is bigger: b or p?
b
Let r(f) = 2*f - f - 9 - 6 + 3. Let i be r(12). Is i < 1/10?
True
Let s be (2/10)/(18/30). Let b = 2.03 - 0.03. Which is smaller: s or b?
s
Suppose 3*r = 27 - 0. Suppose 5*h - r = -c, -h = -6*c + c - 7. Do 2/9 and c have the same value?
False
Suppose -5*n + 0 + 5 = 0. Let k be 0/(2 - (n + -1)). Suppose -h + 3*h = k. Which is bigger: -1 or h?
h
Let s = -0.8 - -12.8. Let g = 12.2 - s. Are 4 and g non-equal?
True
Let l be ((-4)/10)/(94/(-5)). Is l greater than 0?
True
Let b = -47 - -71. Which is smaller: b or 0?
0
Let k be (2/4)/(6/4). Let m = 23 + -24. Which is greater: m or k?
k
Suppose -4*q + 17 = -51. Does 17 = q?
True
Suppose r + 1 = -3. Suppose 8 = -5*w - 7. Let m = r - w. Is 1 at least m?
True
Let o be (-1)/(-2)*(-29 - -1). Let l be (-2)/(-3) + o/(-6). Suppose -s = -a - 2 + 4, -a = -2*s - 1. Is l greater than a?
False
Let u = 0 + 1. Let s = -0.6 + 0.59. Which is smaller: u or s?
s
Let n = 491/6 + -82. Is 1 equal to n?
False
Let t(r) = -r**2 - 6*r + 7. Let s be t(-7). Suppose -g - 3*g = -28. Suppose -g*k = -2*k. Is k at least as big as s?
True
Let o be (-6 - (-84)/15)*(-75)/(-20). Suppose 2*p - 8 = 6*p. Which is greater: o or p?
o
Suppose -2*h + 2*i + 10 = 0, 2*i = -h - 2*i - 20. Let k be 5/15*(-4)/(-10). Which is smaller: h or k?
h
Let d = 0.27 - 0.07. Let m = 3.2 - d. Which is greater: 0.1 or m?
m
Let b(n) = -9*n**3 - 2*n**2 - n. Let m be b(-1). Suppose 0 = -2*x - 6 + m. Do -2/5 and x have the same value?
False
Let a = 8.8 - 61.8. Which is bigger: -1 or a?
-1
Suppose 3*x = -2*z - z - 9, -5*z = 2*x + 6. Is z equal to 17?
False
Let w be (4/(-2)*-1)/2. Suppose -1 = n + w. Let d be 0 - 0 - 2/1. Is d at least n?
True
Let y = 20/14117 + 136694811/70585. Let p = y + -2062. Let g = 125 + p. Is g at least as big as -1?
True
Let b be 1/6 + 58/12. Let c be 56/(-42)*-1*3. Which is greater: b or c?
b
Let g(d) = -d**2 - 14*d - 6. Let w be g(-13). Let x(n) = 2*n + 1. Let b be x(w). Do b and 16 have the same value?
False
Let u = -0.488 - -0.088. Let t = -3 + 2. Is t < u?
True
Let j(f) = 5*f - 8. Let u be j(5). Which is greater: u or 11?
u
Let s(w) = -w**3 - 24*w**2 - 25*w - 46. Let v be s(-23). Let m = -2373/8 - -297. Is v less than m?
True
Let z be 2*(-3)/6*2. Which is smaller: -3/2 or z?
z
Let x be (-124)/90 + (-2)/9. Let b = -8 - -7. Is x at most b?
True
Suppose -3*f = f - 4*y - 124, 2*f - 3*y - 65 = 0. Suppose 4*v + 4*p + f = 0, 15 = -5*v - 0*p - p. Which is bigger: v or -1?
-1
Let w = -1.03 - 0.17. Let k = -10 + 9. Which is smaller: k or w?
w
Let s(o) = -17 - 5*o + 4*o + 7. Let r be s(-9). Let y = -61/156 + 4/13. Which is smaller: r or y?
r
Let a(f) = -f**2 - 6*f - 5. Let c be a(-2). Suppose -3*t + 4 = -t. Is t at most c?
True
Let x be (-8)/(-2) - (9 - 13). Let h = 8 - 4. Suppose -h*t - 5*w = -4*w - x, 0 = -2*t + 5*w + 26. Is t < 2?
False
Suppose -3*m - 16 = m. Let z be -1 - 1 - (m + 2). Suppose z = 2*o + 2*i + 6, 4*o + 2*i - 1 = -5. Is o > 2?
False
Let m = 2/39 - -191/78. Suppose -a + 0 + 2 = v, 4*v = 0. Is a >= m?
False
Let m(f) = f**3 + 4*f**2 + f - 5. Let r be m(-4). Let i = -5 + -5. Is r >= i?
True
Let w = 23/3 - 8. Let c be (-2)/3 + 2/(-6). Is c greater than or equal to w?
False
Let y be (16/(-6))/(-5 + 34/6). Which is bigger: y or -28/9?
-28/9
Let q = 4496/11 + -409. Is -2 bigger than q?
False
Let j be (-22)/198 + (-166)/126. Is j at most -1?
True
Let q = 7 + 1/3. Which is smaller: q or 6?
6
Let d be 10/(-35) - (-1119)/21. Let q be 1/(-4) + d/4. Which is greater: 12 or q?
q
Suppose 10 = -6*y + y. Is 3 at most y?
False
Let m be ((-4)/(-6))/(-1)*-27. Is m != 17?
True
Let a = 5 - 13/3. Which is greater: -0.4 or a?
a
Suppose 0 = 7*d - 4*d - 2*h - 9, -5*d + 4*h + 13 = 0. Is d at most as big as 38/7?
True
Let m be (-1)/3 + 4/12. Let h = -216 - -217. Which is gr