han m?
False
Let x be (-26)/104*(0 - 0). Is 5/14 smaller than x?
False
Let f = -341/7 + 49. Let n = -41 + 25. Let k(v) = v**3 + 17*v**2 + 16*v + 4. Let l be k(n). Is f >= l?
False
Let c(o) = -2*o**3 - 2*o - 1. Let v be c(-1). Suppose -4*i + v*j + 14 = 0, 0 = -i - 2*j + 2 - 4. Let g = -1/11 + 25/33. Which is smaller: i or g?
g
Suppose -5*j + 46 = -99. Let g = j + -29. Which is smaller: g or 3/7?
g
Let m be (-23)/11 + 6/3. Suppose -3*h = 2*k + h + 12, 5*h + 15 = 5*k. Is k at most m?
False
Let n = 2/673 + -9428/2019. Is -6 > n?
False
Let r be (2/6*0)/2. Suppose 0 = -3*h - 5*q + 4, q = -h - r*q. Is h at least -1?
False
Let n = -247/6 - -41. Which is bigger: n or -1?
n
Suppose -5*d + 4*p = -d - 8, 0 = -3*d - p - 2. Suppose -4*u + 0*w = -3*w + 50, 2*u - w + 24 = d. Let k be u*(-1)/(-7) - -2. Which is smaller: -1 or k?
-1
Let z = 1.3 + 6.7. Is z > 2/3?
True
Let c(d) be the first derivative of 3 + d**3 + 0*d - 1/4*d**4 + 0*d**2. Let f be c(2). Is 5 greater than or equal to f?
True
Let p = 169 - 105. Let v = p - 509/8. Is 1 at least as big as v?
True
Suppose 2*s + 16 = -4*h, s - 1 = h + 6. Let t be (0 - 0)*(s + -3). Which is smaller: 1/2 or t?
t
Let l(a) = -12*a - 1. Let z be l(1). Let b = 34 + z. Let t be (-17)/(-2) - b/14. Is 7 smaller than t?
False
Suppose -2*s - 5 = -27. Let i = s - 7. Let g be (5/(-20))/(2/i). Which is smaller: g or 0?
g
Let l(q) = q**3 + 9*q**2 - 4*q + 34. Let k be l(-10). Is k at least 0.2?
False
Let d = 0.189 - -0.021. Let p = d - 0.01. Which is smaller: -1 or p?
-1
Let i = -1.3 - -0.3. Let h = -6 - -6.07. Let r = 0.03 + h. Is i at most as big as r?
True
Let v be (1*-4)/(135/(-40) - -3). Is 10 equal to v?
False
Let g be 12/(-5) - (-8)/20. Let f(j) = -j**3 + 6*j**2 + j - 8. Let d = 13 + -7. Let r be f(d). Is g at least r?
True
Suppose -z = -2, 3*c - 3*z + 5 = z. Let s be (c + 3)*(-9)/(-84). Let j = -2 + 3. Do j and s have different values?
True
Suppose -3 = -6*q + 7*q. Suppose u + 0 = 1, 0 = 4*f - 2*u + 22. Let j be (6/(-45))/(q/f). Is -2 != j?
True
Suppose 3 = 3*m + 5*f - 13, 3*f = -5*m + 32. Suppose -m*a = -3*a. Are -1/3 and a equal?
False
Let r = -23 + 28. Is 0 < r?
True
Let m be 4/(-1) - 1/(-1). Let c be (-3)/36 + (-1)/m. Suppose -j - 3*j + 7 = -o, -2 = j + o. Which is greater: c or j?
j
Suppose 19 = -5*r + 29. Which is smaller: -6 or r?
-6
Let i = 203/16344 - -1/681. Is i smaller than 1?
True
Let w be -1*-6*(-4)/6. Which is smaller: w or 0?
w
Let x(w) = w**2 - 6*w - 2. Let b be x(6). Let a be -15*b/(6/(-1)). Which is smaller: a or -2?
a
Let o be (-133)/45 + -3 + -4 + 10. Let f be (4/5)/((-27)/(-15)). Let b = f - o. Which is greater: 0 or b?
b
Suppose 0 = 2*c - s + 7, c + 0*s - 3*s + 16 = 0. Is c >= 19?
False
Let v be (-20)/40*(-2)/1. Let a = 6/25 - -27/200. Is v bigger than a?
True
Suppose -58 = -0*k + 4*k - 2*u, -4*u = k + 19. Let x = k + 73/5. Let b = -4 - -4.1. Is b bigger than x?
True
Let n be -1*-4*(-2)/8. Which is greater: 9 or n?
9
Suppose 3*k + 27 = 3*x, 0*k - x = -3*k - 19. Let o(m) = -m**2 + m. Let q be o(-2). Let w = q - k. Is w < -0.3?
True
Let s(j) = j**3 + 6*j**2 - 4*j - 2. Let i be s(-6). Let b = 15 - i. Is b less than 1?
True
Suppose 0*r - 16 = -4*r. Let y = -2 - r. Let a = 3 + y. Which is bigger: -4 or a?
a
Let o be (-8)/3*(-1)/4. Let h = -34 + 135/4. Which is smaller: h or o?
h
Let b be 4 - 4 - 3/(-3). Which is bigger: 1/26 or b?
b
Let t = -68 - -67. Is t greater than or equal to -6/41?
False
Let q = -4 - -9. Suppose 0 = -2*r - q*c - 25, 2*c = -16 + 6. Is 0 at least as big as r?
True
Let y be (-34)/((4 - 2) + -4). Let i = y + -24. Let l = -5 - i. Is l > 2?
False
Let d = 0.31 - 0.31. Is -5 > d?
False
Let s = -8 - -13. Let f = s - 6. Are -2 and f equal?
False
Let n(l) = -8*l + 6. Let m be n(1). Does m = -7/13?
False
Let b = -11 - -8. Let r be 3/4 - b/12. Let x be (-4)/(-22) - (-12)/297. Are x and r nonequal?
True
Let q = 0 - 1. Suppose c = -5 - 1. Let x be ((-2)/(-12))/(3/c). Is q != x?
True
Suppose 9 = v - 0*v. Let n = 5 - v. Let m = n + 4. Which is smaller: m or -2?
-2
Let g be 2 - ((-4*3)/(-4) + -3). Suppose -3 = 3*u - 6. Let y be (2/12)/(u/4). Is y > g?
False
Let h = -3444 - -451162/131. Is h <= 0?
True
Let o = -13 - -9. Let i be (o/(-6))/(6/(-9)). Is i >= 0?
False
Let x(d) = -8*d + 8 + 3 + d**2 - 2. Let c be x(6). Let t = -2 - c. Is t greater than -1/5?
True
Let k = 459/44 - 41/4. Let v be -3*1/4 - 0. Is k greater than v?
True
Let d be (-74)/(-14) - 2/7. Suppose d*k + 3 = 4*k. Does k = -3?
True
Let t be (-52)/(-6) - (0 + 1). Let y = t + -8. Is y less than or equal to 0?
True
Let g = 285799/138 + -2071. Let y = 4/23 - g. Let a(s) = -s**2 - 4*s + 4. Let x be a(-5). Is x less than or equal to y?
True
Suppose -5*a = 4*r - 2 - 1, 2*r + 6 = 0. Let l(i) = i**3 + i**2 - i + 3. Let t be l(0). Suppose t*d + 9 = -z - 2*z, 0 = -5*d - a*z - 11. Are 2/15 and d equal?
False
Let u be (-72)/70 - 3/(-5). Are 0.1 and u non-equal?
True
Let z(q) = q. Let n be z(-7). Which is greater: -3 or n?
-3
Let c(k) = -k**3 + 5*k**2 - k + 6. Let s be c(5). Which is bigger: 15/7 or s?
15/7
Let q be (((-900)/44)/(-5) + -4)*-2. Suppose -c - 3 = 2*c. Is q equal to c?
False
Let s = 0.16 + 15.84. Let g = -5 + s. Let y = -12 + g. Is y at least as big as -5?
True
Suppose 13 = 5*l + 3*v, -6*l - v = -2*l - 16. Suppose -l*f + 4 = -1. Let s be -2*1 - (-7 + 3). Is s at most f?
False
Let g = 665/908 + 4/227. Suppose 2*u + 6 + 0 = 2*l, -4*l + 18 = 2*u. Which is smaller: u or g?
g
Let o be -2*3/12*0. Let l be -7*(-3 - -4 - o). Which is bigger: -5 or l?
-5
Let s be 20/70 - (-32)/(-63). Which is greater: -2/5 or s?
s
Let w(y) = y. Let c be w(3). Let v(t) = t - 3. Let h be v(0). Let j = c + h. Which is greater: -2/13 or j?
j
Let q be ((-16)/48)/(4/(-3)). Let c = q + -9/20. Which is smaller: c or -0.06?
c
Let r be 58/18 + (-4)/18. Suppose -63 = 3*n - 5*d, -r*n - 6*d + d = 63. Is n bigger than -22?
True
Let o = 60 + -61. Let u = 74/51 + -4/3. Which is greater: o or u?
u
Let o be -2*(-2)/4 - 1. Let q = 0.354 - -0.346. Which is smaller: o or q?
o
Let j(p) = -p**3 - 8*p**2 - 5*p. Let t be j(-4). Is -45 greater than t?
False
Let w be 44/10 + 8/(-20). Suppose 3*s + 6 = w*s. Let k = 6 - 1. Are s and k unequal?
True
Let n = 11 - 11. Suppose -2*z + 2*b + 12 = 0, -z = -2*z - 2*b - 9. Which is greater: z or n?
z
Let y = -0.15 - -0.22. Let h = 1.93 + y. Let u = h - 6. Which is smaller: u or 1?
u
Let p = -0.55 - -0.05. Let b = -1 - p. Let j = b - -1.5. Does j = 1?
True
Let a = 5/19 + -3/19. Is -1 != a?
True
Let k be (-1)/(6 - (4 + -1)). Which is smaller: 3/5 or k?
k
Suppose -2*x = -4, -4*z + 9*z + 3*x - 266 = 0. Is 50 > z?
False
Let v be 5/(-3)*5/60. Is v greater than 1?
False
Suppose -4*f + 10 = f. Suppose -f*v = -1 + 3. Is -2 <= v?
True
Let m(p) = -p**3 - 4*p**2 - 4*p + 1. Let v be m(-3). Let z be (24/18)/(2/3). Which is smaller: z or v?
z
Let m be (-4)/14 + 23/7. Let q(z) = z**2 + 12*z + 2. Let h be q(-12). Let l be ((-3)/(-2))/(h/4). Is m greater than l?
False
Suppose v = 2*v - 2. Let p be (-4)/(-14) + 1/(-28). Is v smaller than p?
False
Let c(n) = 2*n - 10. Let r be c(6). Let z(a) = a**3 - 3*a**2 + 3*a - 3. Let b be z(r). Let v be (-2)/7 + (-2)/14. Which is bigger: v or b?
v
Let x = 6 - 7. Let j be -21*(-3)/57 + x. Which is greater: j or 0?
j
Let a(u) = -u - 1. Let g be a(0). Let p be (-7 - -2) + 2 - -1. Let x be g - p - 10/9. Is 1 <= x?
False
Let a(b) = -3 + 11 + 2 - b. Let l be a(9). Is 0 less than l?
True
Let a = 2779/88895 - 4/773. Is a > 1?
False
Let d = 13 - 6. Let i = d + -10. Which is smaller: 1 or i?
i
Let h = 2982/697 + -126851/31365. Let c = h + -1/85. Let z be 0*(3/(-6) - -1)*-1. Are c and z unequal?
True
Suppose 3*x = -2*x + x. Is 2 <= x?
False
Let l = 1.3 - -0.5. Let s = l + -1.5. Is 6 != s?
True
Let y = 4 + -1. Suppose y + 0 = m. Suppose -m*p = -3 - 0. Is p less than -2/5?
False
Let o(d) = d**2 + 3*d - 3. Let m be o(-4). Let t = -12/37 + 217/555. Is m at most t?
False
Let s(z) = -z**3 - 7*z**2 + 7*z - 7. Let a be s(-8). Suppose -3*i + 10 = a. Is 3 < i?
False
Let q be (0 - 2/(-8)) + 459/(-204). Which is smaller: -0.2 or q?
q
Let g be (-1 - 2)*(-4)/3. Suppose -4*q + p = 7, -q + g*q = -p. Which is smaller: q or -2/3?
q
Let d be (-34)/30 + 12/90. Is 4/97 > d?
True
Let d = -5.09 + 0.09. Let u = d + 5.2. Let s = 1.2 - 1.2. Which is bigger: u or s?
u