 n at least 2/9?
False
Suppose u + 0 = -4, -m = -4*u - 15. Which is smaller: -1/13 or m?
m
Let o = -737 - -16954/23. Are 1 and o equal?
False
Let g be (0 - 1) + 679/490. Let p = 21/10 - g. Which is greater: 1 or p?
p
Let n = 6 - 6. Is n greater than or equal to 1/7?
False
Let u = 232/285 + -18/19. Is 1 greater than u?
True
Let p be 0/1 + (2 - 7). Let m = 13 - 9. Let l = m + p. Which is greater: l or 1?
1
Suppose -3*i + 8*i + 65 = 0. Let v = 17 + i. Is v >= 5?
False
Let a = 113 - 63. Is a smaller than 51?
True
Let w be (170/153)/(2/3). Which is smaller: -1 or w?
-1
Let b = -10 - 13. Let f = 22.9 + b. Is 14 greater than or equal to f?
True
Let q = 3 + -6. Let c be (-4)/q - (2 + -3). Let r(j) = 55*j - 604. Let i be r(11). Is c at most as big as i?
False
Let h = -3 - -2. Let g = -43.96 + 43. Let i = 0.04 - g. Are i and h unequal?
True
Let z be 1*(0 - (0 + 0)). Let n be ((-9)/(-6) + -2)*z. Is n at least 4/3?
False
Let g(x) = x**2 + 2*x - 5. Let l be g(-4). Let c(k) = 6*k**3 - 5*k**l + 9*k**2 + 2 + 0. Let j be c(-9). Is 2/3 less than j?
True
Let u be (1 + 4)*(-4)/(-10). Let t be u/4*(-2 - 0). Let h be 0 + t*(-1)/(-6). Which is greater: 0 or h?
0
Let y = -2/17 + 59/935. Is y smaller than 1?
True
Suppose 0*b + 36 = -3*b. Let w be (-3)/b - (-55)/4. Let z be (-4)/w - 8/(-14). Which is bigger: z or -1?
z
Let s(o) = o**3 - 8*o**2 - o + 10. Let g be s(8). Is 4 greater than g?
True
Let n be (-9)/(-21) - 102/42. Which is smaller: n or -1?
n
Let t = -114/144037 - -109260188/101258011. Let l = t - 36/37. Do 1 and l have the same value?
False
Let m = 11 + -31. Let t = m + 19.9. Which is greater: t or -1/3?
t
Suppose -10*d + 5*d + f + 43 = 0, 0 = 5*d + 4*f - 28. Which is bigger: d or 0.4?
d
Suppose 4 - 14 = -c. Is 10 >= c?
True
Let o be ((-21)/(-14))/((-3)/(-4)). Let h(q) be the third derivative of -q**4/24 + 5*q**3/3 + 3*q**2. Let p be h(9). Is p less than o?
True
Let x(t) = -t**2 - 2*t + 1. Let b be x(-3). Which is smaller: b or -10/3?
-10/3
Let y be 4*(3 - (-135)/(-12)). Let h be 2/6 - (-110)/y. Is -4 smaller than h?
True
Let g(f) = f**2 - 7*f + 9. Let s be g(6). Suppose 0 = -s*r - r. Suppose -4*y + 3*y - 16 = -5*i, -4*i + 4*y + 16 = r. Which is bigger: i or 4?
4
Let s = 3 - 2. Suppose s = -b - 0. Which is smaller: 1/3 or b?
b
Let p = 343/5 + -69. Let t = 5 - 7. Let h = -3 - t. Do p and h have different values?
True
Let u = -2.9 + 2.9. Is u bigger than 13?
False
Let p = 0.02 + -4.02. Which is bigger: -0.04 or p?
-0.04
Let u be (-36)/(-10)*(-20)/6. Let x be -1 - (45/u + 2). Do x and -1 have different values?
True
Let v(k) = -k**2 + 22*k - 5. Let z be v(18). Are 68 and z unequal?
True
Let s = -151/1971 - -11/73. Is s at least as big as 1?
False
Suppose -42*r + 82 = -44*r. Which is greater: -40 or r?
-40
Let b = 9/16 + -131/176. Let o be 1/(-3)*(-3 + 6). Are b and o nonequal?
True
Let v(b) = 0 + 3*b**3 + 0*b**3 - 2*b**3 - 2*b**2 - 5*b + 2. Let c be v(3). Is -3 greater than c?
True
Let m(y) = 8*y**2 - 4*y + 1. Let k be m(5). Let h be 0 + ((-7972)/22)/2. Let g = h + k. Is g less than 1?
True
Let o be 0*2/(5 - 3). Which is smaller: o or 1/37?
o
Suppose -o = j - 7 - 12, 3*o = -4*j + 80. Do 1/4 and j have the same value?
False
Suppose -21 + 51 = 2*g. Is 15 <= g?
True
Let z = 1.7 + -0.6. Let b = 0.9 - 1. Let k = z + b. Is -1 at most as big as k?
True
Let g be 1/(-2)*(-17 + -1). Let n be ((-5)/(-6))/(1/6). Let z = n - g. Which is smaller: z or -3?
z
Let d = 0 - -1. Let q = 22 + -23. Is q greater than d?
False
Let r be (-1 - (-19 + -2))*12/30. Which is smaller: r or 20/3?
20/3
Let j(c) = c**2 - c - 5. Let h be j(-4). Suppose 2*x + 3*i = 3*x + 23, 3*i = h. Which is smaller: x or -9?
-9
Let t(r) = 5*r - 7. Let q(h) = 4*h - 7. Let o(s) = -6*q(s) + 5*t(s). Let x be o(-7). Is x at least -1/12?
True
Suppose 2*z = y - 7, -4*z - z - 20 = -3*y. Let x be ((-10)/(-4))/(-5)*0. Let v = z + x. Which is greater: v or 1?
1
Let t = 36 - 34. Let j(f) = f**3 - 4*f**2 - 2*f - 2. Let z be j(4). Let p be 1*5*(-4)/z. Do t and p have the same value?
True
Suppose -t = -y + 61, -t + y - 69 = -2*y. Is -0.1 less than or equal to t?
False
Let z = 55 - 160/3. Let s = -31/6 + z. Which is bigger: -5 or s?
s
Let r = 1030/473 + 2/473. Which is bigger: 2 or r?
r
Let q(a) = -3*a + 7*a + 3 - 4*a**3 + 4*a**2 + 5*a**3. Let j be q(-3). Let f be j - -2 - 192/92. Which is smaller: 1 or f?
f
Let d(q) = 28*q - 114. Let n be d(4). Let w be 4/2*2/4. Is w >= n?
True
Suppose 4*p = -2*k + 8, 5*k + p - 2*p - 31 = 0. Suppose m = k*m + 15. Which is greater: -5 or m?
m
Let h = -14 + 12. Let r be (h/9)/((-40)/(-15)). Is -1 < r?
True
Let u = -226/5 + 45. Let p = -13 + 14. Which is bigger: u or p?
p
Let a be ((-1)/2)/(2/20). Let f be 1/7*(2 + a). Let j(s) = -s**3 - s**2 - s - 1. Let t be j(-1). Are t and f equal?
False
Let m be (-1 - (-27)/(-6))*-2. Suppose g = -2*q + m, 0 = -2*q + 5*g - g - 14. Suppose -4*l = q*v - 11 - 8, v - 8 = -3*l. Is v equal to 3?
False
Let n = -1 + 1. Let d(f) = f + 4. Let c be d(n). Is c > 2?
True
Let b be (-1)/(1/6*-2). Suppose -4*t + 2*t = b*k, 2*k + 4*t = 0. Is k less than -1?
False
Let u = 1.9 - 2. Let g = -8 - -8.6. Let d = -2.6 + g. Is d at most as big as u?
True
Let r be 10/(-15) + (-113)/15. Let x = -25/3 - r. Which is smaller: -1 or x?
-1
Suppose -156 = 8*y - 5*y. Is -51 smaller than y?
False
Suppose 0 = -5*p - 0*w + 3*w + 18, -4*w - 4 = 0. Suppose -p*u + 3 = -0*u. Let k = u - -4. Is 5 > k?
False
Let p = 1.5 + -2. Let q = p + 0.5. Let u(j) = -j + 5. Let i be u(7). Which is bigger: q or i?
q
Suppose -4*u = -3*z + 22, -2*u - 2*u + 20 = 4*z. Let h(w) = w - 5. Let r be h(z). Let j = 0.1 + -0.2. Is j less than or equal to r?
True
Let q(j) = j**2 - 4*j + 2. Let l be q(4). Let y be 2*(l - 3) - -3. Is y < -1/9?
False
Let l = 0.1 + -2.1. Is l at least -0.3?
False
Let p(x) = x**3 + 11*x**2 + 11*x + 9. Let q be p(-11). Is q != -112?
False
Let v = 4 - 3. Let r = -264/7 + 3446/91. Is r at least v?
False
Let p be 12/(-45) - 4/10. Let q = -0.5 + 0.53. Which is smaller: q or p?
p
Let h(p) = p**2 - 4*p - 13. Let t be h(6). Let c be (-14)/8 - 2/(-8). Is c smaller than t?
True
Let k(u) = -u**3 + 6*u**2 + 11*u - 12. Let j be k(7). Which is smaller: 17 or j?
j
Let x(a) = 2*a**2 + 4*a + 2. Let k be x(-2). Suppose -3*d + 8*d - 10 = 0. Suppose k*q + o - 2 = 3*o, -d*q - 5*o = -23. Is 4 less than q?
False
Let z be 2/(-2) - (-56)/42 - 0. Let q = 7/12 - 3/4. Is q greater than z?
False
Let h(y) = 6*y**2 + 4*y + 5. Let o be h(-1). Which is greater: 1 or o?
o
Let z be ((-20)/3)/(13/39). Let m = 22 + z. Do 1 and m have different values?
True
Suppose 0 = -0*p + 3*p - 39. Is 12 at most as big as p?
True
Let a(c) = -4*c + 31. Let j be a(8). Which is smaller: -3 or j?
-3
Let b = -8/37 - 3335/148. Which is greater: -23 or b?
b
Let j = -0.4 - -0.5. Are j and -6/7 equal?
False
Suppose -b = -2*b. Suppose f + z + 7 = -z, 2*f + z + 5 = b. Let n be -1 - (-1 - 2/(-3)). Which is smaller: f or n?
f
Let x = 0 + 4. Let h be 2/(x/7) - 3. Let q = -3 - -4. Is q greater than h?
True
Suppose -2*i - 5*t = -23, -5*i - 5*t = -i - 31. Suppose 5*z = -10 + 30. Is z > i?
False
Let v be 2/(-5) + 38/(-30). Let z be 4*(5 - (-11)/(-2)). Is v at most as big as z?
False
Let x be (1/2*-2)/(-1). Suppose 4*h = 7 + x. Is h less than -0.1?
False
Let x = 18 + -37/2. Let a(r) = 2*r**3 - 5 + 0*r**3 - 2 + 5*r**2 - r**3 - 7*r. Let i be a(-6). Which is greater: x or i?
x
Let z = 0 - 2. Is 2/7 bigger than z?
True
Suppose -22 = -2*v - 0*v. Let q = -4 + v. Let u be (8/q - -2) + -3. Which is smaller: u or -1?
-1
Let m = -53 - -1907/36. Let s = m - 1/36. Is s less than 0?
True
Let w be (-2*1)/(13/((-26)/4)). Let v = -0.2 - -0.3. Is w > v?
True
Let t = 0.17 + -0.07. Let b = -7 - -10. Let k be 4/b*3/10. Is t bigger than k?
False
Suppose -210 = 3*n + 171. Which is smaller: -128 or n?
-128
Let d(u) = u**2 + 5*u - 9. Let w(t) = -2*t + 5. Let q be w(6). Let n be d(q). Suppose -4*i + 0*p = -n*p + 9, 0 = -4*p + 4. Is i smaller than 1/2?
True
Let q = 248/3 + -82. Which is smaller: 1/11 or q?
1/11
Let n be -1*((-12)/4 - -8). Which is smaller: -6 or n?
-6
Let f(y) = y + 4. Let x be f(0). Suppose x = 2*a - 0*a. Is 2 != a?
False
Let w be (18/(-15))/((-8)/5 - -2). Which is smaller: w or -1?
w
Let k = 3 + 4. Suppose -3 = -k*o + 4*o. Is o at most -1/4?
False
Let p = 17 - 17. Is p e