6071. Let l = q - -193/99. Is 0.1 > l?
False
Let w be 9 + 5315/(-580) - 1/4. Is 1 <= w?
False
Let q = 307112/233 - 1318. Which is smaller: 0 or q?
0
Let w be (2 + -5 - -1) + 66. Let o be (-88)/w - 3/(-8). Which is smaller: -3/7 or o?
o
Let m = -49 + 41. Let p = m + 17. Are 11 and p non-equal?
True
Let f = -258 + 279.1. Let a = f - 22. Let h = 0.97 + a. Is h less than or equal to -1?
False
Suppose 0 = -4*n + 4*n + 5*n. Is n <= -2/415?
False
Suppose 5*g + 14 = 3*g. Suppose 2*y - y + 9 = 0. Let r = g - y. Are 5 and r nonequal?
True
Let w = 605/2 + -316. Which is smaller: w or -14?
-14
Suppose 6*i = 4*i - 8. Let f be (-16)/(-6)*30/i. Let j be 32/f*2/40. Are 0 and j equal?
False
Suppose -473*f + 736 = -469*f. Is f at most as big as 921/5?
True
Suppose 2 = -70*x + 69*x + 5*i, -4*i + 1 = -x. Let b = -23066/9 + 2566. Is x equal to b?
False
Suppose -v = 1 - 3, 3*v = -5*d + 16. Which is smaller: d or 7/4?
7/4
Let s be ((-11)/2)/(3/2). Let b = -0.0253 - -0.3253. Is b != s?
True
Let x = -10082 - -171396/17. Suppose -i + 10 = 5*a - 2*i, -i - 3 = 2*a. Which is smaller: a or x?
x
Suppose 2*u + b - 44 = 0, 5*u - 3*b = 3*u + 28. Let w be 1/((-4)/u*-1). Suppose 6 = -3*o, 0 = w*f - 7*o + 4*o + 54. Is f smaller than -10?
True
Suppose 3*g - 2*y + 25 = 0, 5*g - 5*y = -31 - 9. Suppose 4*j - 6*d = -d + 18, 0 = -d - 2. Let s be (-3)/g + j/(-3). Is s greater than 4?
False
Let r be (-2)/4 + (-91)/(-112). Which is smaller: 1 or r?
r
Let a = 28.9 - 29. Let n = a - -0.2. Which is greater: -17 or n?
n
Suppose 6 = 2*n, 2*u = -4*n + 3 + 17. Let b = 3 + -4. Let j be (0 - (u + b)) + 5. Is j bigger than 2?
False
Let k be -4*4/(-16) - -1. Suppose 4*c - 8 = b, 5*b - 2*c - k = -3*c. Let j = b - 0. Which is smaller: j or 2/21?
j
Suppose -8*x + 5*x + 132 = 0. Suppose -3*l + x = -1. Is 15 not equal to l?
False
Let q be (-67 - -215)/((-2)/(4/2)). Is q > -149?
True
Let t be (-6 - -179 - 7)/20. Which is smaller: t or 8?
8
Suppose -o = -69 + 107. Do -39 and o have the same value?
False
Let f(s) = -s + 2. Let h be f(2). Let n be (-708)/141 - 5/(-7 - 6/(-1)). Which is greater: n or h?
h
Let l = -1891 - -1856. Is -32 bigger than l?
True
Let g = -36 - -43. Let s = 19 + -11. Let a be s/(-28) + (-40)/g. Is -14/3 bigger than a?
True
Let z = 35 + -29. Let c = 45.8 + -52. Let y = z + c. Which is bigger: y or -1/4?
y
Let j = 0.13 - 0.18. Let w = j + -2.95. Is 2/21 <= w?
False
Let g = 4.74 - 3.74. Is g at least -0.95?
True
Let l(t) = 4*t**2 + 16*t + 34. Let a be l(-3). Let n = 59 - 36. Let k = a - n. Which is greater: 2/15 or k?
2/15
Let u = -37/6 + 161/30. Let r = 7 + -7.18. Let s = r + -0.12. Which is smaller: u or s?
u
Suppose -z - 4 = -4*y - 18, 4*y = 4*z - 44. Let u be 4 - 16/z - 2. Is 14 less than u?
False
Let g be 23*(8/(-1) + 3). Let a be 29*(-4 - (0 + 0/(-2))). Which is bigger: g or a?
g
Let v be (0 - (-1 - 2))/(1 - 0). Suppose -3*n + v*i = 2*i - 40, -44 = -3*n + 2*i. Suppose 5*r = -g + 55, 2*g + 35 = 4*r - 23. Is r less than or equal to n?
True
Let v = 60 - 491/8. Which is smaller: 0 or v?
v
Suppose 0*n = -2*n + x - 6, -5*n + 5*x - 15 = 0. Let j be n + 5 - 5 - -3. Let i be j/(-2) - (-62)/(-2). Is i smaller than -31?
False
Suppose -2 = -13*k + 14*k. Suppose 4*v + 14 = -4*l + l, 0 = 3*l + v + 17. Let f be (1/3)/(8/l). Which is greater: k or f?
f
Let b be ((-658)/(-4))/(7 + (-225)/30). Is b smaller than -986/3?
True
Let s be (73/(-1095))/(108/10). Is 1 smaller than s?
False
Let z be -2*((-2)/2 + 0). Suppose z = f - 3. Suppose 2 = f*t + o + 10, 0 = -3*t + o. Which is smaller: -10/7 or t?
-10/7
Let u = 6 - 7. Let o = u - 3. Let s(n) = n**2 - 11*n - 4. Let d be s(11). Is o smaller than d?
False
Let m = 2 - 11. Let w = 14 + m. Suppose 3*k = 4*f + 5, -4*k = -0*f - w*f - 6. Is -2 greater than or equal to k?
False
Suppose 5*s - 2*s - 12 = 0. Let z = 17/4 - s. Suppose -1 + 0 = 5*k - 3*d, k + 11 = -3*d. Which is smaller: k or z?
k
Let m be 2/1 + -58 + 3. Let c be (-1)/6 + 2548/(-48). Let k = c - m. Which is greater: k or 5?
5
Suppose 4*w - a = 61, 4*w - 33 - 34 = -a. Let i = 0.057 + -1.057. Which is smaller: w or i?
i
Suppose -2*u - 4 = -3*k + 22, u = -k - 8. Let j(m) = m + 8. Let s be j(u). Let z be (4 + s)*(-14)/4. Which is bigger: z or -6?
-6
Let h be -2 + 1*-1 + 6 + 3. Let n(s) = -s**3 + 6*s**2 + 1. Let y be n(h). Which is smaller: 5/28 or y?
5/28
Suppose 37 = 5*s + 7. Suppose 3*g + 0*g - s = 0. Suppose -x - 1 = g. Which is greater: -2 or x?
-2
Let q = -67597/7 - -9678. Let w = q + -21. Let d be -2*(-1 - 12/(-8)). Are w and d equal?
False
Let p = 6 + 3. Let u = p - 97/11. Let i = -1 + 0. Which is greater: u or i?
u
Let z(x) = 2 + x + 3*x**2 - x + 5*x. Let f be z(-3). Is f not equal to 14?
False
Suppose -2*j - 29 = -31. Is j less than 20/67?
False
Let j be (10/(-6))/(9/(-27))*40. Are j and 204 equal?
False
Let g = -6865 + 6834.97. Let t = g - -30. Let n = t + -0.25. Which is bigger: -1 or n?
n
Let b be (7/21)/((-55)/(-27) - 2). Suppose 107 + b = 4*t. Which is smaller: 28 or t?
28
Let m = -133/9 + 115559/7821. Which is smaller: m or 1?
m
Let z(l) = -l**2 - 20*l - 18. Let p be z(-18). Let h be (16/(-24))/((-2)/p). Which is bigger: 8 or h?
8
Let o be 1 + -1 + (-4 - (-1 + -2)). Do o and -1/18 have the same value?
False
Let q = 0.2029 - -141.7971. Which is smaller: 3/11 or q?
3/11
Suppose 142*x - 16 = 146*x - 4*n, -5*n = -4*x - 19. Let y = -6 + 4. Is y <= x?
True
Let l(v) = -v**3 + 25*v**2 + 9*v + 327. Let q be l(26). Which is smaller: -108 or q?
q
Let j = 0 + -0.2. Let a = -0.01705 - 0.02295. Which is smaller: a or j?
j
Let m be (-5)/(-10) + (-63)/(-18). Let q = -1 + 7. Suppose -z = 4*c + 7, 2*z - c - 7 - q = 0. Is z > m?
True
Let p be (-9)/(-6)*-1*24. Let o be 2 - 3*(-33)/p. Which is greater: 2 or o?
2
Let u = -271 - -272. Is 0.58 smaller than u?
True
Suppose -t - 25 - 22 = 4*f, -5*f = 2*t + 61. Let n be f/(-4 + 1 + 2). Suppose -n - 4 = -5*a. Which is bigger: 3/2 or a?
a
Suppose 0 = -0*o - 4*o - 16, 0 = 2*p + o - 4. Suppose 4 = -p*b - 0. Let z = 5080/17 - 299. Which is smaller: z or b?
b
Let u be 8/36 - 724/3312. Does u = 1?
False
Suppose -9*h - 92 = -218. Which is smaller: h or 5?
5
Let t(r) = 107*r + 120. Let v be t(-6). Which is bigger: -521 or v?
-521
Let c = 8.82 - 2.82. Is c greater than or equal to -57?
True
Let b = 19 - 19. Let w be -4 + -3*3/18*2. Is w equal to b?
False
Let i = 347 - 371. Which is smaller: i or -23?
i
Let a be 6*5/(-10) - 6760/(-18). Let i = a - 373. Does i = 4?
False
Let p = -90 + 92. Suppose 1 + 11 = p*f. Is f less than -1?
False
Suppose y + 14 = 17. Suppose -5*m - h - 2 = 0, y*m - 2*m - 5*h - 10 = 0. Suppose -3*r + 0*r + 21 = 0. Which is greater: r or m?
r
Suppose -4*v + 2*v = -58. Let p = v - 17. Let i(a) = 32*a - 82. Let t be i(3). Which is bigger: p or t?
t
Let g = -189 + 171.8. Let n = -18 - g. Let p(i) = 3*i**2 - 2*i + 1. Let x be p(1). Which is smaller: n or x?
n
Suppose 8 = 4*h + 4*x - 0, 0 = -3*h + 5*x - 2. Let z be -20 + h + 4/(-2). Let t be (14/(-4))/(z/14). Which is smaller: t or 2?
2
Suppose -2*k - 2 = -3*l, 5*l - k = 3*k. Let r = -67 - -14. Let f = r - -54. Is l > f?
True
Let n(w) = w**3 - 22*w**2 - 3*w + 78. Let r be n(20). Is r greater than or equal to -783?
True
Let d = -33.8 + 36.53. Let g = d + 0.27. Which is smaller: g or 2/7?
2/7
Let y = -24 + -11. Let j = y + 35.1. Is -24 at most j?
True
Let q = 0.0507 + -26.7507. Let n = q + 27. Is 2 equal to n?
False
Let x = -12 + 17. Let l = -7 + x. Let w = -11.8 - -12. Is w less than or equal to l?
False
Let l be 5/(-1) - 39654/(-7920). Let b = -249/220 + l. Let u(g) = g. Let w be u(0). Is b greater than or equal to w?
False
Let y = 21 + -5. Let v = -16 + y. Which is smaller: -0.11 or v?
-0.11
Suppose 4 = -p, 2*m - 3*m = -3*p - 10. Let x be (1/m)/(5/(-10)). Let v be -6 + x - (-7)/7. Which is smaller: v or 2/5?
v
Let h(f) = -5*f**2 - 4*f - 41. Let d be h(0). Which is smaller: d or -40?
d
Let z be (40/(-75))/((-27)/90). Which is smaller: z or 1?
1
Suppose 2*w - 12 = -2*w. Suppose 0 = -y + 6 - 3. Suppose -y*x = w - 15. Do x and 2 have the same value?
False
Let y be 2*2*(-20)/(-12)*-15. Which is greater: y or -98?
-98
Let k(q) = 8*q**3 - q**2 - 3*q - 4. Let v be k(-2). Let u be -2 + 5 - (-2)/(v/93). Let s = -2 - -1. Is u < s?
False
Let x = 46 - 137/3. Let d(j) = j**3 - j**2 - 3*j - 1. Let c be d(3). Suppose -g - 3