 d, -4*i - 4*d - 16 = 0. Which is bigger: i or -1/8?
-1/8
Let x be 2/3*(-18)/(-4). Which is bigger: x or 0?
x
Let h(u) = u**3 - 11*u**2 + u - 11. Let q be h(11). Let l be (-55)/(-119) + (-4)/14. Which is greater: l or q?
l
Suppose 0*g - g - 5 = 0. Suppose p - 3*b = -7*b - 19, 19 = 4*p - 3*b. Let q be p*(-2 + -4*1). Is q >= g?
False
Let x = -9 + 9. Let o = 1/3 - x. Is o < -8/7?
False
Let o be (-375)/(-20) + (-2)/(-8). Suppose 4*k - 1 = -4*s - 21, 5*s - k + o = 0. Is -4 greater than or equal to s?
True
Let v = 31/12 + -7/3. Which is smaller: 0.11 or v?
0.11
Let p = -13 + 11.4. Let t = -2.2 + p. Let k = -4 - t. Is k < -1?
False
Suppose 0*a + 3 = 3*a. Let w = a + -9. Let m = 9 + w. Is 1/19 less than m?
True
Let k be (-25)/(-40) + 3/8. Is k at most as big as 1/3?
False
Let u be 1/2 - 13/(-26). Let c = 10.99 - -0.01. Is c at most u?
False
Suppose -6 = -5*x + 24. Let u = -5 + x. Which is smaller: 0 or u?
0
Suppose -6 = b - 0*b - z, -4*b - 4*z = -16. Which is smaller: b or -7/15?
b
Let u = -10 - -12. Suppose 2*x + u*w - 2 = -0*w, 3*x = -2*w + 7. Suppose -5*r + 0*r = -x. Are r and -1/12 unequal?
True
Let z = 4 + -6. Let b be 6/4*z/(-3). Let y be (-2)/(-42) - (-2)/(-6). Is y at most as big as b?
True
Suppose -5*t + 2*t = 9. Let o be 2/t + (-848)/(-12). Let k be 4/14 + 8/o. Is 1 != k?
True
Let g = 0.3 - -17.7. Let f(q) = q**3 - 4*q**2 - q + 5. Let t be f(4). Which is bigger: g or t?
g
Let h = -69 + 77.7. Let u = 0.3 + h. Which is greater: u or 2?
u
Let a(z) = -z**3 - 2*z**2 + 9*z - 2. Let k(y) = -3*y**3 - 7*y**2 + 26*y - 6. Let s(j) = -8*a(j) + 3*k(j). Let d be s(-6). Is -0.1 greater than d?
True
Let a(n) = n**3 - 9*n**2 + 9*n - 8. Let p be a(8). Let u(l) = l**2 + 8*l + 11. Let w be u(-6). Is w < p?
True
Let y = -15 + 13. Which is greater: -2/9 or y?
-2/9
Let v = 0.2 + -1.2. Let w = -4 - -5. Let a be 1 + -1*(w + 0). Is v at least a?
False
Suppose 8 = r - 0. Let w be (-10)/r + (-5)/(-20). Does w = -2/11?
False
Let d = 112 - 341/3. Do d and -2 have the same value?
False
Suppose 0*g - g = -2*d + 36, 4*g + 42 = 2*d. Is d equal to 20?
False
Let h = 3 - 0. Let o = 2.9 - h. Is o < -2/5?
False
Suppose 0*g = -2*g. Let t(i) = -i**2 + i + 4. Let z be t(3). Which is smaller: z or g?
z
Let m be 2/7*1 - 0. Suppose 0 = -4*g - p + 65, 2*p = 3*g - 24 - 11. Suppose g*y = 7*y + 8. Which is bigger: m or y?
y
Let c(a) = -2*a**2 + 4*a. Let o be c(2). Is 1/29 at most as big as o?
False
Suppose -2 = z - 2*g, -4*z + 3 + 0 = 3*g. Suppose 20 = 4*f + 2*q, 5*f = -3*q - q + 25. Let x be ((-20)/(-350))/(1/f). Which is smaller: x or z?
z
Suppose 3*m - 5*m = 0. Suppose m = s - 0 - 3. Let r be s/45*1*-2. Is r <= 1?
True
Let l = 8/27 - -10/27. Let m be -1 - (-1)/((-2)/(-4)). Which is smaller: m or l?
l
Let w = -212752 - -4906799/23. Let b = w + -587. Let d = 5 - 6. Are d and b non-equal?
True
Let m(d) = -d**3 - 5*d**2 - d - 3. Let i be m(-5). Let a(u) = u**2 - 3*u + 1. Let p be a(i). Let c = 42 + -211/5. Which is smaller: c or p?
p
Let r be (-24)/(-15)*(-10)/(-4). Let k(y) = -y + 5. Let v be k(r). Let p(i) = -2*i + 1. Let u be p(v). Are u and -1 non-equal?
False
Suppose 0 - 12 = -4*x. Suppose 2*k - 1 = 3. Let w = k - x. Which is bigger: 1/8 or w?
1/8
Let w = 755.93 - 763. Let s = 7 + w. Is 1 bigger than s?
True
Let v(f) = -f**3 + 9*f**2 - 3. Let a be v(9). Let k = -1 - a. Let b(w) = w - 2. Let p be b(k). Which is smaller: -1 or p?
-1
Suppose 227*m - 225*m + 2 = 0. Which is smaller: m or 1/9?
m
Let c = 42 - 40. Is 2/19 equal to c?
False
Let t = -17 + 10. Let z = 174 + -175. Is t equal to z?
False
Let n(k) = k - 1. Let q be n(1). Let z be (1/2)/((-6)/156). Let p = z - -13. Are q and p non-equal?
False
Suppose 3*f = 3*g - 31 - 35, -3*g + 70 = -5*f. Suppose -4*a = y + 6 - 2, -5*a = 5*y + g. Which is bigger: a or 1/4?
1/4
Let h = 18/17 + -20/51. Let p be -1 + 1 + ((-48)/40)/(-2). Is p less than or equal to h?
True
Let y(p) = -p**2 - p - 54. Let r be y(0). Which is bigger: r or -55?
r
Let t(v) = -44*v**3 + 1. Let d be t(1). Let k = -127/3 - d. Which is smaller: 0 or k?
0
Let h = -65 + 49. Which is smaller: -31/2 or h?
h
Let b = -585/7 + 83. Which is smaller: b or -1?
-1
Let a be (-2)/(-15)*3/(-6). Let o be (-2)/(-5 - 6/(-2)). Which is bigger: a or o?
o
Let n be (-2)/(-6) + 1/(-3). Let w = -1 + 2. Is w at least n?
True
Let q(v) be the third derivative of -1/60*v**5 + 7/6*v**3 + 0*v + v**2 + 1/4*v**4 + 0. Let c be q(7). Is c greater than or equal to -1/6?
True
Let f be ((-1)/3)/(1/27). Is f not equal to -9?
False
Suppose -2*p + h + 7 = 2*p, 0 = 4*h - 20. Is p at least 5?
False
Let u = 12372/5 + -673. Let j = u - 1779. Let q = -22 + j. Which is greater: q or -1?
q
Let a = 19 + -19.9. Which is bigger: 0.1 or a?
0.1
Let b = 11/167 + -601/14195. Which is smaller: b or -1?
-1
Let w be 5*(-3)/(-10)*(-2)/(-213). Which is smaller: w or 0?
0
Suppose -5*v + 3 = p - 8, 4*v = 4*p + 28. Let r(c) = -c**2 + 3*c. Let m be r(v). Suppose m = u + 5*k - 19, k = 2*u - 0 + 6. Is -1 greater than u?
False
Let i be (-1)/(-2) - (-16)/32. Which is smaller: 0 or i?
0
Suppose 5*d - 74 = -4*i, -3*i = -5*d + i + 106. Which is smaller: d or 22?
d
Suppose 4*k = -5 + 1. Is k at least -2/7?
False
Let u = -2/9 - 0. Suppose -2 = 3*r + 4*c, 3*r - 6*r + 3*c = -12. Suppose -2*l - r*t + 8 = 0, -6*t = l - t - 20. Which is bigger: l or u?
l
Suppose -4*w = l + 4 - 3, 0 = -4*l + 2*w - 4. Let m = 1 - 2. Let b be (-2 + 6/2)/m. Is b greater than l?
False
Let n(a) = a**2 + 5*a + 3. Let z be n(-5). Suppose 0 = z*b - 9, -3*p + 8*p = b + 2. Let w = 55 + -277/5. Is p bigger than w?
True
Let j be -4*1/6*-6. Suppose 5*h = h - j. Is -1/3 < h?
False
Suppose 14 = o - 5*t, 2*t = o - 5 - 3. Suppose -3*f - o = 5, -f - 7 = -4*d. Which is greater: 2/7 or d?
d
Let w = -33 + 32.83. Let r = -0.07 - w. Is -0.08 > r?
False
Let v(h) = h**2 - 4*h - 4. Let k be v(5). Which is greater: 1/44 or k?
k
Let w(n) be the second derivative of n**5/20 + n**4/12 - n**2/2 + n. Let x be -1*(0 + (0 - -1)). Let t be w(x). Is t <= -1?
True
Let x be ((-20)/(-50))/(6/(-5)). Which is smaller: x or 6?
x
Let f = 4 - -1. Suppose 3*s = 4*p - f, -2*s = s + p + 10. Let l = -0.1 - -0.2. Is s greater than l?
False
Let q(k) = -2*k + 11. Let b be q(4). Suppose 3*z = -5*i - 1, -z + 7 = i - 3*i. Is b at most z?
True
Let s = 8 - 167/21. Which is bigger: s or -1?
s
Let u = 0.113 + 2.887. Which is smaller: -1/9 or u?
-1/9
Suppose -6*g + 2*w - 9 = -3*g, 12 = 4*w. Which is greater: -3 or g?
g
Let h = 36 - 38.8. Let o = h + 0.8. Let u = o + 2.1. Which is smaller: 2/27 or u?
2/27
Let v = -0.06 - -0.36. Let l = v + -0.5. Let n = -1 + 2. Is n less than or equal to l?
False
Suppose -3 = 5*f - c - 13, 0 = 3*c - 15. Suppose f*i - 2*i - 2 = 0. Let p = 0 + 0. Which is smaller: i or p?
p
Suppose -5*h - 71 = -3*g + 2*g, h + g = -19. Let a be (10/h)/((-1897)/(-3)). Let u = a - -11404/20867. Which is greater: 1 or u?
1
Let t be (-3)/6*(9 - -1). Let u = 54.2 + -54. Is u at most as big as t?
False
Let y(n) = 2*n**2 + 10*n + 2. Let w be y(-7). Suppose 0 = 3*a - 0*a - w. Suppose x + 4*x + a = 0. Are x and -6/5 nonequal?
True
Suppose -5*t - 55 = 3*j - 163, 2*t = 6. Is 30 > j?
False
Let g = 20 - 19.9. Let t = 0.06 + -2.06. Is g > t?
True
Suppose 2*o = 4 + 4. Let z be (-102)/(-6) + o/(-2). Suppose -4*u + 4*s - z = 5, -4*s = u - 20. Is 1 at most as big as u?
False
Let p be 0/((-2)/1) + -1. Let d = 7 - 4. Suppose 0 = 3*a - 12, d*j + 12 = 3*a - 0*a. Which is smaller: j or p?
p
Let u be (1 + 1/2)*6. Suppose 0 = -5*z - 5*y - 20, 0*z + 4*z + 13 = -y. Let a be 1*z/u*-3. Which is smaller: 0 or a?
0
Let v = -41 + 43. Which is bigger: v or -31?
v
Let q be ((-1)/(-6))/((-8)/(-18)). Is q smaller than 0?
False
Let l = 1/6 - 11/30. Which is greater: -1 or l?
l
Let d be (-2 - 2/(-4))*-2. Suppose 0 = -4*r + d*r. Let s = -88 - -355/4. Is s greater than or equal to r?
True
Let m be 2/3 - (-188)/(-210). Let p = -2/35 + m. Let x = 2.5 + 0.5. Is x bigger than p?
True
Let c = -114 + 111. Let b = -3 + 2. Which is greater: c or b?
b
Let q = -1.9 + 0.8. Is -2/3 at least q?
True
Let b be (-22)/20 + (-3)/(-2). Which is smaller: b or 2/11?
2/11
Suppose -3*s - 20 = 7. Which is bigger: -10 or s?
s
Let a = -50 - -36. Let b = 7 + a. Let j = 6 + b. Is 0 not equal to j?
True
Let s be ((-4)/42)/(8*(-3)/(-36)). Is s less than or equal to 0.05?
True
Su