(9). Is 2/3 != n?
True
Let u = 9 + -13. Let g = u + 5. Let t = -14 - -14. Which is greater: g or t?
g
Let s = -1 + 3. Is -0.03 at most s?
True
Let m be (-1)/3*1*-3. Suppose -3*d - 4*q + 21 = 0, -6*d + 27 = -d + 4*q. Is m less than or equal to d?
True
Let s be 0 + -1 + (-1033)/(-6). Let f = s + -172. Let d = -8 + 7. Does f = d?
False
Let l = -5983/34 + 176. Which is smaller: l or -1?
-1
Let g = -129 + 55. Is -149/2 > g?
False
Let t = -382 - -5734/15. Suppose -n = 0, -2 = -2*q + 5*n - 0. Is q smaller than t?
False
Let l = 14 + -24. Let s(v) = v - 14. Let f be s(l). Let i be (-8)/f - (-1)/(-2). Is i at least 0?
False
Let g = 9 + -11. Let b be 2 - g*2/4. Which is smaller: 2 or b?
2
Let k = -0.12 + -2.86. Let c = k + -0.02. Let l = -1 - c. Is l at least as big as 2?
True
Let k(r) = -r**3 - 9*r**2 - r + 8. Let n be k(-9). Is n greater than or equal to 16?
True
Let u = 2753/17 + -162. Is u > -1?
True
Let m be (-2 - -5)/(6/22). Let z = -12 + m. Let v be 3 + (z - -4 - 3). Is v greater than or equal to 3/2?
True
Suppose -2*u - 3*u = 30. Let z(l) = -3*l + 15. Let w be z(7). Is u less than w?
False
Let c(k) = -4*k - 9. Let u be c(-4). Is 6 equal to u?
False
Let r = 54/85 + -72/17. Do r and -4 have the same value?
False
Let t = -17/5 + 73/20. Let b = 134 - 135. Which is bigger: b or t?
t
Let p = -82 - -81. Is -3/11 <= p?
False
Let d(n) = -n**3 + n**2 + 6*n - 6. Let g be d(1). Do g and -2/115 have the same value?
False
Let t be (-21 - -13)/(2*1). Is t greater than or equal to 0?
False
Let l = 9333/19 - 491. Let m be (0 + -1)*(-2)/2. Which is bigger: m or l?
m
Let x = -40.7 + 41. Which is smaller: x or 2/11?
2/11
Let m be (2/(-8))/((-1)/44). Which is smaller: 10 or m?
10
Let r = -0.76 + 0.7. Let t = -0.16 - r. Which is smaller: 0.1 or t?
t
Suppose 5*m = 14 - 39. Suppose 5*y = 3 - 23. Is y != m?
True
Let q be 1 + 2/(-1 + -1). Suppose -3*n - 11 = h, -4*h - 5*n = -q*h + 16. Let k = 10 - 9. Is h smaller than k?
False
Let o be 4/14 - 10/35. Suppose 11 = 2*t - o*n + 5*n, -3*n = 2*t - 9. Is t less than 2?
False
Let b(l) = l**2 + 8*l + 10. Suppose -z + 6*z - 4 = 3*o, -2*o + 2*z - 8 = 0. Let r be b(o). Let s be ((-5)/r)/((-3)/(-4)). Which is smaller: 0 or s?
s
Let x = -8 + 20. Are x and 2/3 non-equal?
True
Let z(x) = -x**3 - 4*x**2 + 6*x + 7. Let s be z(-5). Suppose -s*y = -y. Suppose y = 5*d - d. Are -1/6 and d nonequal?
True
Let l(f) = -f**3 + f**2 - f - 1. Let z(w) = 3*w**3 + w**2 - 2*w + 2. Let s(o) = 2*l(o) + z(o). Let d be s(-4). Which is greater: d or -0.1?
d
Suppose 9*p - 4*p - 30 = 0. Which is smaller: p or 1?
1
Let m(t) = -t**2 + 8*t + 1. Let x be m(7). Is x equal to 11?
False
Let z(t) = t - 9. Let l be z(4). Which is smaller: l or -4?
l
Let l(y) be the first derivative of -y**3/3 + y**2/2 - 5*y + 3. Let f be l(0). Which is smaller: -6 or f?
-6
Let x be (-60)/(-125) + (-2)/4. Which is greater: 0 or x?
0
Suppose -10 - 2 = -2*w. Let k be ((-12)/(-81))/(w/9). Which is smaller: k or -0.1?
-0.1
Let v(u) = u**2 - 3*u. Let y be v(3). Suppose -2*s + 5*s - p = -5, 2*p + 8 = y. Which is greater: -4 or s?
s
Let b be 3/12 - 1/4. Suppose 0 = -b*x - 5*x - 5. Is 0.1 at least x?
True
Let f = -2 - -3. Let b be (-1)/((-9)/6 + f). Suppose b*o + 4 = -0. Which is bigger: o or -1?
-1
Let c = 28.08 - 28. Which is greater: c or 2/5?
2/5
Let t = 5 + -4.4. Let b = t + -2.6. Is 2 <= b?
False
Let z(n) = -n. Suppose -2*w = 5*k - 17, -2*k - 11 = -4*k - 5*w. Suppose -k*g - 17 = -5*d, g = -6*d + 2*d. Let o be z(d). Is -1 smaller than o?
False
Suppose -2*q + 5*q = -9. Which is smaller: q or -5?
-5
Let o be 5142/120 + (-4)/(-10). Let n = 43 - o. Let a = 3 - 2. Is a at most n?
False
Suppose -14 = -5*b - 9. Which is greater: 1/31 or b?
b
Let t = -1205/7 + 172. Is -0.1 not equal to t?
True
Let p(z) = -2*z + z + 0 - 1. Suppose 0*m = -6*m - 18. Let q be p(m). Is 2 >= q?
True
Let o = -15.9 + 16. Which is smaller: o or 6?
o
Let r = 2/5065 + -369753/20260. Which is smaller: r or -0.1?
r
Suppose -2*t - 18 = -2. Let n be ((-54)/6)/((-2)/(-2)). Let y = t - n. Which is greater: y or 1/6?
y
Let u = -31 - 4. Is -1 less than or equal to u?
False
Suppose -2*g - 4 + 6 = 0. Let z be ((-6)/18)/(2/(-12)). Suppose k = z*k. Which is smaller: k or g?
k
Let z = 15 - 15. Which is bigger: z or -1/2?
z
Let y = 4 + -5. Is y less than or equal to 4/13?
True
Let t be 8 + -7 + 0 + 0. Which is greater: -2/127 or t?
t
Let l be ((-2)/15)/(3/(-15)). Let w(x) = x**2 - 22*x + 1. Let m be w(22). Which is bigger: l or m?
m
Let j = -8 + 3. Let d = -3 - j. Is 2 > d?
False
Let g be 4/6*(-6)/2. Let n be (-3)/(-6)*g - -3. Which is smaller: n or -1?
-1
Let j = 60.6 - 61. Which is smaller: j or -2/17?
j
Let f = -4 - -7. Let n = 54 - 50.7. Let h = n - f. Which is smaller: 0.1 or h?
0.1
Let n be (6/(-10))/((-24)/20). Does n = 2/21?
False
Suppose 0 = -0*b + b - 1. Let m be 150/42 + b/7. Is m less than 3?
False
Let t = -3.7 - -3.7. Which is smaller: 1.3 or t?
t
Suppose -4*p + 9 = 37. Which is bigger: -5 or p?
-5
Let r(c) = c. Let p(l) = 7. Let g(j) = -p(j) + r(j). Let x be g(6). Let i be x + (0/(-2) - 0). Is -1 >= i?
True
Let l be (1/(-2))/((-11)/(-6)). Let k = l - -31/33. Let n = -267 + 268. Which is smaller: n or k?
k
Let p = -22 - -32. Let l = 67 + -77.4. Let a = l + p. Which is greater: -1/3 or a?
-1/3
Let a = 9 - 6. Suppose p - a = 4*p. Which is greater: p or 0?
0
Let d(x) = x**2 + 6*x - 6. Suppose 2*t = -3*t + 30. Let q be 3/t - (-30)/(-4). Let v be d(q). Is 0 less than or equal to v?
True
Let n = -12.2 - -10. Let q = 0.2 + n. Let w = 2.1 + q. Which is greater: w or -0.1?
w
Let v(s) = -118*s**3 - s**2 + s + 2. Let r be v(-1). Which is smaller: 119 or r?
r
Suppose 3*t + 2 = 4*t. Suppose t*a - 48 = 5*a. Is -16 equal to a?
True
Let c(v) = -3*v - 7. Let k be c(-6). Suppose -k*f + 13*f = 12. Is 5 less than or equal to f?
True
Let n(t) = t - 1. Let i = 3 + -1. Suppose -i*g - 6 = -5*g. Let c be n(g). Is c less than 1?
False
Suppose -3*g = -5*i + 13 - 3, 0 = 2*i + 2*g - 20. Suppose 3*c + 11 = -i*o, -26 = 3*o + 2*o - 2*c. Which is smaller: -3 or o?
o
Let p(z) = z**2 + 1. Let y be p(-2). Suppose -46 = -y*k - 4*j, -k + 5*k - 4 = 5*j. Let u(m) = m**2 - 7*m + 5. Let f be u(k). Which is smaller: f or -2/9?
f
Let g = -5 - -5. Suppose -z + 2 = -0*z. Suppose -r - z*r = g. Which is bigger: r or 2/3?
2/3
Let p be 6/20*50/20. Is p at least 1?
False
Let c = -87.96 + 90. Let l = 0.04 - c. Do 0 and l have the same value?
False
Let t = 1.6 + 0.4. Let j = 0.23 - 0.13. Is t equal to j?
False
Suppose -3*c + 19 = -2*n - 4*c, -4*c + 20 = 0. Are n and -13 non-equal?
True
Let w = 2.3 - 4.7. Let g = w + 1.4. Let t = 0.6 - 2.6. Which is bigger: t or g?
g
Suppose 2 + 7 = -3*s. Let u be (-2 - -5) + 15/s. Let l be (12/(-9))/(u/6). Is -1 not equal to l?
True
Let m = -16 - 6. Let b be 1 + 2 - (-77)/m. Does -2 = b?
False
Let l be 30/(-35)*(-1 - 22/6). Does l = 2?
False
Let n = 2/1923 - -1096/178839. Which is smaller: -1 or n?
-1
Suppose 24 = 4*t + 8*t. Do t and -4 have different values?
True
Let j(s) = 5*s - 5. Let n be j(2). Is n at most 2/7?
False
Let c = -58 + 82. Do c and 2 have different values?
True
Let g be 72/(-18) + 4 + -2. Is -8 at least g?
False
Let w = 38104 - 71909. Let i = w + 305705/9. Let d = i + -162. Is d > 0?
True
Let a(x) = x**3 + 11*x**2 - x + 1. Let b be a(-11). Are b and 12 non-equal?
False
Let p be 63/4 + 3/(-4). Let c be p/18 + (-2)/6. Which is smaller: c or 1?
c
Suppose -a - a = 0. Does 2 = a?
False
Let z(c) = -c**2 - 7*c - 7. Let h be z(-7). Let u be -2 + h/(-1) + -3. Which is smaller: 0.3 or u?
0.3
Suppose -4*b - 43 = 5*h, 44 = -5*b - h + 6. Which is smaller: b or -6?
b
Suppose 4 = -3*r - 5*z + 12, 3*z + 36 = 5*r. Let s = r - 4. Which is smaller: 1 or s?
1
Let c = 74 - 368/5. Let d = 0.07 + -0.07. Which is bigger: c or d?
c
Let x be 16/12*21/(-2). Let i(n) = n**2 + 14*n - 4. Let y be i(x). Which is greater: y or -1?
-1
Let m = 2.98 - -0.02. Which is greater: -3/4 or m?
m
Let r = 65 + -58. Is 7 greater than r?
False
Suppose 8*z = 4*z - 40. Which is bigger: -9 or z?
-9
Let x be 8/3*(0 - -3). Suppose -4*a + x = 3*h, -h + 3 = 2*a - a. Is a equal to 0?
False
Let t be 4/36*15 + -2. Let h be 2*(2 - 10/4). Which is bigger: t or h?
t
Suppose 9 = -3*k + 2*k. Let j(y) = -y - 10. Let n be j(k). Is n smaller than 1/7?
True
Let h(a) = -2*a**3 - 5*a**2 +