6 < i?
False
Let k = -21.8 + 20. Let p = k - 0.2. Let j = -49/129 - -2/43. Which is bigger: p or j?
j
Let i = 14 + -15. Is 2/13 > i?
True
Let y = -53/93 - 3/31. Is y smaller than 4/3?
True
Let w = 17 + -25. Let a = 8.4 + w. Which is smaller: a or -0.1?
-0.1
Let m(f) = 2*f + 34. Let d be m(-17). Which is smaller: d or -3/16?
-3/16
Let y = 40 - 39. Which is greater: y or 2/41?
y
Suppose 1 = -4*w + 21. Let t be 8/(-44) + 92/22. Which is bigger: w or t?
w
Let g = -62.1 - -62. Let q = 2 - 1. Do g and q have different values?
True
Let r = -11 + 5. Let c = r - -6.1. Let h = 0.1 + -0.1. Which is smaller: c or h?
h
Suppose -n = -2*n + 2. Suppose -2*y - 8 = -n. Which is greater: -2 or y?
-2
Suppose -112 = -3*s + 4*l, 5*s = -2*l - 15 + 167. Which is smaller: s or 31?
31
Let i be 3 + -3 + (1 - 1). Which is smaller: i or -2/7?
-2/7
Suppose s + 194 = 5*w, -s + 79 = 2*w - 0*s. Is 39 less than w?
False
Let d = -49 + 64. Is 1/4 smaller than d?
True
Let f be 3/2*2/9. Let j = -1 - -1. Is f > j?
True
Let l = 0.7 - -4.3. Let d = 6 - l. Suppose 0*q = -5*h - 2*q - 1, -5*h + 5*q + 20 = 0. Is h != d?
False
Let n(t) = -2 - t + 14 + 1 + 0. Let d be n(11). Is d greater than 1?
True
Let c = -9/16 + 3/4. Is 0 < c?
True
Suppose 0*n + u - 1 = n, 5*n - u - 3 = 0. Suppose 0*l - n = l. Let j = -535/8 - -67. Do j and l have different values?
True
Let h = -11 - 2. Let t(d) = -d**2 - 13*d. Let s be t(h). Does 4/5 = s?
False
Let n be 24/(-36) - 5/(-3). Which is bigger: -3 or n?
n
Suppose -4*p = -0*p + 12. Let r be 57/38 + (-1 - 3) - -1. Which is smaller: p or r?
p
Let h be ((-25)/(-6) - 4)*3. Do h and 1 have the same value?
False
Let w(p) = -2*p**2 - 17*p - 8. Let b be w(-8). Is 2/27 smaller than b?
False
Let y = 54 - 70. Are y and -0.2 unequal?
True
Let l = -3 + 3. Are -14 and l equal?
False
Let b = -290 + 3186/11. Is b > 1?
False
Let y be 4/8 - (-9)/2. Let t be (((-15)/2)/y)/3. Which is greater: -1 or t?
t
Let n be (0 - 1) + (-1 - -1). Let c(w) = 2*w**3 - 8*w**2 + 6*w + 3. Let a(r) = r**3 - 3*r**2 + 2*r + 1. Let l(z) = -8*a(z) + 3*c(z). Let g be l(n). Is 0 < g?
True
Let w(t) = -t + 8. Let p be w(9). Which is greater: p or 2?
2
Let k(r) be the second derivative of -3*r - 1/2*r**2 + 0 - 1/6*r**3. Let f be k(1). Which is bigger: f or 1/2?
1/2
Let d = -3 - -2.8. Let b = 5.4 - 0.5. Let u = b + -5. Which is bigger: u or d?
u
Let u = 39 + -24. Suppose 2*j = -3*x + u, -x - x + 10 = -2*j. Suppose -3*y + y = j. Is -1 less than or equal to y?
True
Let f(b) = b**3 + 9. Let l be f(0). Let z(w) = -w**3 + 9*w**2 + w - 7. Let v be z(l). Which is greater: -2 or v?
v
Let h = -2.3 + 3.8. Do 0 and h have different values?
True
Let b = -5.42 - -5.6. Are b and 0.2 equal?
False
Suppose -18 = 3*y + 5*v, 5*v + 9 + 10 = -4*y. Is y != 2/13?
True
Suppose -v = 3*v + 20. Let x be -2 - v - (-2 + 5). Which is bigger: 6 or x?
6
Let t = 0 - 0. Let k = 9 + 11. Suppose 0*w - 2*w = 3*p + 2, k = 5*w - 5*p. Is w greater than t?
True
Suppose 3*v + 8 = -0*i + 2*i, 22 = -i - 5*v. Suppose -19 = -2*g + 1. Let u be 6/4*g/(-12). Is u greater than or equal to i?
True
Let j = 4 - 3.94. Is -1 greater than j?
False
Let q be (1 - 1)*1/(-2). Suppose -j + 4*w = 2*w + 1, q = -2*w - 2. Let f = -6 + 2. Which is bigger: j or f?
j
Let w = 40.08 - 40. Is w greater than or equal to 0.3?
False
Let y be 2/4 - 7/14. Let d = 437/10 - -299/10. Let c = -73 + d. Is c not equal to y?
True
Let u(n) = n**2 + n - 11. Let v be u(-3). Do v and -48/11 have different values?
True
Suppose -i + 2*o = 7, -4*o - 1 = i + 2*i. Which is bigger: -1 or i?
-1
Let a = 35 + -9. Are a and 26 equal?
True
Let j = -4.14 - -1.19. Let m = -0.05 + j. Let q = -1.9 + 2. Which is smaller: m or q?
m
Let v = -4 - -6. Which is smaller: 2/23 or v?
2/23
Let d be (12/10)/(1/30). Let y be (d/10 + -3)/(-1). Which is smaller: y or 1?
y
Let h = 370/2067 - 4/159. Let z(q) be the third derivative of -q**5/60 + q**4/8 - 2*q**2. Let r be z(3). Which is smaller: h or r?
r
Suppose 4*o + 7 = 3*m, 3*m + 4*o - 2*o + 17 = 0. Which is greater: m or -2?
-2
Suppose u - 5*u + 48 = 0. Which is smaller: u or 14?
u
Suppose 2 = -2*s + q, -1 = 2*q - 5. Suppose s = n + 3 - 6. Suppose -n*f + i - 5 = -2*f, -5*i - 2 = 4*f. Is -3 smaller than f?
False
Suppose -4*u = -33 - 27. Suppose -3*h = 5*y - 5*h - 40, -y - h + u = 0. Let b be 5/4*(-2)/y. Which is greater: -1 or b?
b
Suppose 2*h + 8 = -2*h. Let m = 0 - h. Suppose p - m + 1 = 0. Is p greater than 2?
False
Let g(z) = z**2 - 5*z - 3. Let d be g(6). Suppose -b = -d*y - 5 + 2, -6 = -5*y - 2*b. Let m be (-6)/((-3)/3 - 1). Is y less than m?
True
Let v be ((-4)/(-6))/((-1)/(-36)). Is 25 less than v?
False
Let x = 10 + -6. Let i be (-1 - 0) + (4 - x). Which is greater: i or 2/13?
2/13
Let o be ((-8)/(-5) - 1)/(-1). Let v(n) = -5*n**3 + n**2. Let d be v(-1). Let y = d + -7. Is o bigger than y?
True
Let g be -2*-1*(-1)/1. Suppose 0 = -0*i + 5*i + 3*h + 37, i + 1 = h. Let q = g - i. Do 3 and q have the same value?
True
Let l(w) = w**3 + 5*w**2 - 6*w + 5. Let h be l(-6). Suppose d + 18 = -3*d + 2*y, 5*d = -5*y. Let a be h/2 - d/(-6). Do a and 3 have the same value?
False
Suppose -2*t - 16 = 2*h - 7*t, -3*h + 18 = 3*t. Let g be 2 + h*12/(-16). Is g greater than or equal to 1?
False
Let u = -7 + 11. Suppose 0 = p - u. Let k(x) = x - 2. Let b be k(p). Is b > 2?
False
Let m = -15 + 11. Let n = m + 7. Suppose -n*f - 1 = -13. Which is smaller: 1/3 or f?
1/3
Let t = 3 + -4. Let s be (-9)/24*2 - (-15)/(-12). Are t and s equal?
False
Let g = 3 + 0. Suppose 4*x = x + g. Is x at least 3/7?
True
Let p = 1 - 4. Is p at most 6?
True
Let s be ((-4)/(-6))/(39/(-9)). Do -2 and s have different values?
True
Suppose -2*t + 4 = -3*t. Let j(f) = -f**3 - 6*f**2 + 9*f + 10. Let w be j(-7). Are w and t unequal?
False
Let x be 11/5 - -6*7/(-14). Which is smaller: x or -1?
-1
Let r be 18/(-13)*4/12. Let b = -28/117 - r. Which is bigger: 1 or b?
1
Let u = -1 - -1. Suppose -2*b = -5*b. Is u <= b?
True
Suppose 5*l + 1 = -4. Which is smaller: l or -1/15?
l
Suppose -4 = 4*k - o, 3*k - 3*o + 18 = -6*o. Suppose -14 = 3*r - 5. Which is smaller: k or r?
r
Let c = -1.9 - -0.9. Let p = 8 + -5. Suppose -p*h + 2*x - 3 = 0, -3*x - 21 = 3*h + x. Is c greater than h?
True
Suppose s + 0*s - 1 = 0. Suppose 5*i = 2*i - 3. Which is greater: i or s?
s
Suppose 1 = 4*t + 1. Is t bigger than 1/16?
False
Let h be (5/(-15)*3)/(0 + -1). Which is smaller: h or -3/37?
-3/37
Let n = 8 - 29. Which is greater: -19 or n?
-19
Let u = 161/110 - -3/22. Let w = 21/10 - u. Let i = -0.04 + -0.06. Is i >= w?
False
Let m be 3/7 - (-216)/(-357). Is m at least 0?
False
Let o be (-34)/(-5) + (-1)/(-5). Let f = o + -6. Which is smaller: f or -1?
-1
Suppose o + 4*o = 5*r - 50, -4*r + 35 = -3*o. Which is smaller: o or -6?
-6
Let n = -153 - -101. Which is bigger: -54 or n?
n
Let l be (-54)/(-15) + 6/15. Suppose 0 = -l*j + 20, 5*v - 2*j = -4*j + 10. Suppose -3*y - 2*y = 3*q, 5*q - 4*y = v. Which is greater: q or 0.03?
0.03
Let u = -49.6 - -53. Is u less than or equal to 1?
False
Suppose 6*b + 9 = 3*b. Let n = -3 - -8. Suppose 5*g - a + 0*a = -n, 5*g + a = -5. Is g not equal to b?
True
Let p = 449 + -440. Let a(t) = t**2 - 4*t - 3. Let m be a(6). Is m < p?
False
Suppose 4*d - 16 = -5*f + f, 1 = -f + 4*d. Let r = f - 2. Let j = 4 + -2. Are r and j equal?
False
Let s = 6 - 3. Suppose 8*f - s*f = -80. Let p be 4/f + 2/6. Is 1 <= p?
False
Suppose 5*o = -23 + 3. Let g be (6/(-4))/((-9)/o). Which is greater: 1 or g?
1
Let f = -63 + 63. Suppose -3*b + b = -6. Which is greater: b or f?
b
Let s = 36 - 6. Is 31 > s?
True
Let d be (7/(7/4))/(-2). Let o be (0 + 2)*d/(-24). Is 0 < o?
True
Let f(d) = -d**3 + 5*d**2 + 8*d - 12. Let a be f(6). Let b be (1 + 0)/((-3)/9). Let s be 6/(-8)*2/b. Is s less than a?
False
Let k = 848 - 82254/97. Let u = 93/194 + k. Let f be (176/60)/4*-6 + 4. Which is smaller: u or f?
f
Let l = -0.431 + 0.031. Let j = -3 - -2. Which is smaller: l or j?
j
Suppose 0*f + 12 = -4*a + f, 4*a - 3*f + 4 = 0. Let g = 4 - 5. Let h be (g - a)*(-6)/18. Are 0 and h unequal?
True
Suppose -3*n + 9 + 0 = 0. Suppose g = 4*x - 7, -n = -2*g - 1. Which is smaller: 1 or x?
1
Let y = -63 + 74. Is 11 at least as big as y?
True
Let s be ((-1)/(-5))/((-2)/(-4)). Let g = -0.2 + 0.23. Is g smaller than s?
True
Let f(y) = 3*y - 2*y + 0*y + 3. Let x be f