e j(-5). Let r = -10 + m. Is r at most -0.2?
True
Let k(v) = v**2 - 8*v - 5. Let c be k(8). Let p = c + 4. Is -2 smaller than p?
True
Suppose 3*f + 2*f = -10. Let r be -1*(0/(-3))/f. Is 1/4 at least as big as r?
True
Let b = -5 - -3. Let c be (-2 - 0) + 2/(-1). Let y be ((-18)/15)/(c/(-10)). Which is smaller: y or b?
y
Let y = 69 - 75. Which is greater: y or 2?
2
Let y be (-4)/(-3)*12/(-88). Which is bigger: y or 1?
1
Let y(m) = -6*m + 37. Let p be y(7). Let q be (-4)/2*2 - 2. Is q greater than p?
False
Suppose -3*k = -d + 4, -4*k = -0*d - 2*d + 12. Let v be (6/(-10))/((-1)/d). Suppose 0 = -v*b + b. Which is smaller: b or -2?
-2
Suppose 2*o - 2 = 2*a, -a + o + 5 = 2*o. Suppose 2*h + a*h = -8. Which is smaller: 0 or h?
h
Let p = -22 + 31. Let j = 8 - p. Which is smaller: -3 or j?
-3
Let v = -19 - -40. Are v and 20 equal?
False
Let c = 0.21 - 2.11. Let n = 0.9 + c. Let o = 0 + n. Is o bigger than -3?
True
Let l be (122/10)/((-6)/154). Let a = 252 - -61. Let b = l + a. Is 1 at least as big as b?
True
Let x be 3/6*(-4 - 0). Are x and -15/7 unequal?
True
Let z(b) = 2*b + 2. Let x be z(-3). Let d(k) = k**2 + 2*k - 4. Let g be d(x). Suppose 3 = m - g*m. Which is bigger: m or 2?
2
Suppose 4*o = -5 + 17. Let l(a) = -a**3 - 4. Let f be l(o). Let k = f + 94/3. Is k less than -1?
False
Let s = 38.1 + -40. Let w = s + 0.9. Is -2 at least w?
False
Let a be (-10)/(-10) + -1 + -1. Is -1/4 greater than a?
True
Let u be 2/3*3/(-2). Are -4 and u nonequal?
True
Suppose 1 = -2*f + 5. Let u = f - 2. Which is smaller: 1 or u?
u
Let g = 15/31 + -200/93. Which is smaller: g or -1?
g
Let x(c) = -5*c**2 - 17*c - 3. Let u be x(-3). Is 3 greater than or equal to u?
True
Let c be (1 - 58/60)*70/28. Are c and -1 non-equal?
True
Let x be (-54)/(-243) + (-20)/9. Which is smaller: -3 or x?
-3
Let m = -30 + 34. Let r = 4.23 + -0.43. Let g = m - r. Which is smaller: 1 or g?
g
Let s = 3.1 + -0.2. Let c = -0.1 - s. Which is smaller: -1 or c?
c
Let w = -614/29 + 9121/87. Let b = w + -83. Is 0 at least b?
False
Suppose -f - 7 + 8 = 0. Is 1/64 greater than f?
False
Let j = 72 - 938/13. Is j greater than or equal to 0?
False
Let t = 10 - 2. Let k = -6 + t. Let x = 2.1 - k. Which is bigger: x or 0?
x
Let w be (-8 + 1)*2/(-14). Which is smaller: w or 3/10?
3/10
Let c = 9/8 + -35/24. Let w be (2/(-1) - -2)*-1. Suppose w*p + 2 = 2*p. Is p smaller than c?
False
Let m(s) = s**2 + 7*s + 2. Let n = -1 - 5. Let a be m(n). Let d = a - -6. Is 6 at least as big as d?
True
Let n(v) = 35*v**2 + v + 1. Let b(j) = j**2 - 4*j + 3. Let y be b(2). Let o be n(y). Let h be 3/o + (-6)/21. Is -1 less than or equal to h?
True
Let a be 6/(-17) - (6 + -6)/5. Is 0 smaller than a?
False
Let k be 15 - (0 + 3) - -3. Suppose 5 = -k*x + 10*x. Is x greater than -2/9?
False
Suppose 5*l + 0*j = -4*j, -7 = -3*l - j. Suppose -14 = -5*g + 1. Suppose -g = -c - 0*c. Which is bigger: l or c?
l
Let a = 19 - -27. Do a and 46 have the same value?
True
Let s = 245 + -108. Which is bigger: s or 136?
s
Let h be 1*(4/(-71))/(-2). Which is smaller: 1 or h?
h
Suppose 0*m + n - 3 = 3*m, 3*m + 3 = -n. Let y be 3/(-2 + -1) - m. Is 1/9 bigger than y?
True
Let l be (3/(-6))/((-1)/1). Let n be -4*(-1 + (-3)/(-2)). Let u be 10/(-15)*(-1 + n). Is l <= u?
True
Let h = 53 + -211/4. Let y = -0.05 + 0.05. Which is smaller: h or y?
y
Let c = -88 + 533/6. Let i be 1 + 2 + (-2 - -1). Is c <= i?
True
Let n = -396282275/1678842 + -34/76311. Let m = n - -471/2. Is m > 0.1?
False
Let h = -1 - -4. Let o = 2.8 - h. Let p = 1.2 - 0.2. Which is greater: p or o?
p
Let i = -28 + 30. Is 1 <= i?
True
Suppose 3*c + 13 = 2*p, -7 - 17 = -c - 5*p. Suppose 0 = 4*m - 3 + 107. Let v be (3 - m/(-6)) + 2. Is v less than or equal to c?
False
Suppose 0 = -3*f + 2 - 11. Suppose 0 = 5*g - 10, -4*s + 0*s = 3*g - 2. Do f and s have the same value?
False
Let a(b) = b**3 - 15*b**2 + 24*b + 26. Let d be a(13). Is d greater than 4/15?
False
Let j = 1 + -1. Suppose -2*k = 3*i - 2 + 8, -4*i + 52 = -4*k. Let t = -19/2 - k. Is t less than j?
True
Suppose -j = -5*n + 16, -4*n + 0*n + 16 = 0. Suppose 22 - 6 = -j*h. Suppose -5*q - 10 = -3*q. Which is greater: h or q?
h
Let i be 3/(15/(-26)) - -3. Let b = 39/20 + i. Which is bigger: b or 2/9?
2/9
Let s = 240 + -4558/19. Is s bigger than -1?
True
Let g = 35 - 31. Is g smaller than -1/5?
False
Let d be (1/(-18))/((-1)/4). Suppose -v - 5 = 4*v. Let a be (v/2 - -1)*0. Which is greater: a or d?
d
Let t = -0.3 - -0.1. Let a = 0.064 + 0.136. Do a and t have the same value?
False
Suppose -10*c = -19*c + 630. Which is greater: -1 or c?
c
Suppose b = 5*b - 92. Suppose -4*l - b = 3*t, 0 = t - 2*t - 3*l - 16. Do t and 3 have the same value?
False
Suppose 3*u + 18 = -0. Let k be ((-12)/10)/(u/(-15)). Let p = k - -3. Is p at most 2/5?
True
Suppose q = 3*g - 12, 4*q = -2*g - 5 - 1. Let x be ((-1)/10)/(q/6). Which is bigger: -1 or x?
x
Let i be 1/3 + (-72)/(-27). Suppose 0 = 3*v + 6 + i. Let u = -2 + 0. Which is smaller: v or u?
v
Suppose -2 = -2*d + 8. Suppose -d*f = -2*k, -f - 1 = -3. Suppose -4*w - u = -14, -2 = k*w - u - 24. Which is bigger: 3 or w?
w
Let i(z) be the second derivative of z**5/20 - z**4/6 + z**2/2 - z. Let q = -4 + 5. Let o be i(q). Is o at most 2/9?
True
Let f = 55 + -22. Let u = -717/8 - -979/8. Let h = f - u. Which is bigger: -0.2 or h?
h
Suppose 4*w + 5*p = 77, 94 = 5*w + 7*p - 3*p. Let b be 6/w - 23/15. Is -2 smaller than b?
True
Let v(g) = g**2 + 2*g - 3. Let f be v(2). Suppose 3 = f*q - 2. Is 1 equal to q?
True
Let b(q) = -q**2 - 3*q - 10. Let u be b(-4). Let d = 34/3 + -164/15. Which is smaller: u or d?
u
Let a = 257/15 + -86/5. Do -1 and a have different values?
True
Let p = -1.33 + 1.4. Let c = -0.13 - p. Which is greater: c or -2?
c
Suppose -5*l = 10, -2*w - 14 - 10 = 3*l. Let k(p) = -2*p + 9*p**2 + 3*p - 4 + 9 + p**3 + 4. Let v be k(w). Is 2/9 greater than v?
True
Suppose 0 = -5*r - 2*y + 8, -8 = 6*r - 3*r - 2*y. Let g be r/3*(-1)/1. Which is bigger: -2/5 or g?
g
Let n = -0.07 + 0.47. Let j be (8/(-12))/(5/3). Is n != j?
True
Let z be (-9)/15 - 8/(-5). Is 2/19 != z?
True
Suppose -7*a + 3*a - 588 = -2*c, -2*c - 3*a + 616 = 0. Let h = -914/3 + c. Are -2 and h equal?
False
Let i(r) = 2*r**3 - 4*r**2 + 2*r + 2. Let k be i(2). Let c be k/(-3) - 10*-1. Is 7 smaller than c?
True
Let v(b) = -b**2 - 9*b - 7. Let s be v(-8). Suppose -2*k = 3*k. Suppose 0 = -3*j - k*j. Is j at least as big as s?
False
Let y be 3/4 + (-34)/56. Which is bigger: -1/3 or y?
y
Suppose -3*y + 1 = -p, -3*y + 2*y + 4*p - 18 = 0. Let o be (7800/21)/((-4)/y). Let f = 186 + o. Is 0.4 less than f?
False
Let k = 3 + -3. Let d = -0.1 - 0.2. Which is smaller: k or d?
d
Let i(k) = -k**3 + 2*k**2 + 2*k - 3. Let t be i(2). Suppose -4*w - 3 = -7. Is t >= w?
True
Let b(i) = i**3 + 6*i**2 - i - 7. Let m be b(-6). Let z = m + -1. Is z less than or equal to -2?
True
Let q = 4 + -4. Suppose -4*u = -g + 14, q = -4*g - 3 - 5. Is -4 smaller than u?
False
Suppose 0 = -4*s - s + 20. Suppose 0 = -2*b + 3*b - s. Which is bigger: b or 5?
5
Let q(x) = -x**3 - 9*x**2 - 8*x + 3. Let r(s) = -s**3 - 8*s**2 - s - 11. Let y be r(-8). Let a be 42/35*20/y. Let d be q(a). Does 0 = d?
False
Let m = -0.08 + 4.08. Let f = -5.2 + -0.8. Let l = m + f. Is 1 <= l?
False
Let m = -5 + 0. Let b = 0 - m. Let r = -3 + b. Which is smaller: 3 or r?
r
Let w be (0 - 1)/(-1)*1. Let t be (-4)/2 + w + -8. Let z = -371 + 362. Is t > z?
False
Let q be (-3 + (-11)/1)/(-1). Let j be 10/q - (1 + 0). Which is greater: -1 or j?
j
Let l be (-4 - 0)/(-8)*1*6. Let w be (-1 + 1 - 0)/(-2). Which is smaller: w or l?
w
Let i be (-4811574826)/(-6248) + 1/(-4). Let j = 770098 - i. Let g = 2/71 - j. Is g smaller than 1?
True
Let j be ((-4)/731)/(8*6/24). Do j and 1 have the same value?
False
Let l = 3 - 11. Is 2/11 equal to l?
False
Let c(h) = 2*h**3 - 2*h + 1. Let j be c(1). Suppose -3*b + j = -5. Let l be (2 + -3 - 0) + b. Which is smaller: -3/7 or l?
-3/7
Let a = -1328/14385 + -2/685. Is a bigger than 4?
False
Let z be -1 + 0/2 + 10. Let h = -2 + 2. Suppose 5*a - 4*n - z = 0, 4*n + h = -4. Is a <= -1/3?
False
Let x(g) = 2*g**2 + 1. Let u be x(1). Let f be (-1 + u)*(-748)/(-8). Let q = -1311/7 + f. Which is smaller: 1 or q?
q
Let f = 4 + -6. Suppose -4*g + 7*g = 6. Suppose -i + g = 3. Which is smaller: f or i?
f
Suppo