. Is l less than n?
True
Let n(d) = -d**2 + 4 + d**3 - 7*d - 3*d**2 - d**2. Let j be n(6). Which is bigger: -3 or j?
j
Let u = 95 - 5253/55. Let a = u + 3/5. Which is smaller: a or -1?
-1
Suppose -5*d - 5 + 0 = 0. Which is smaller: d or -1/3?
d
Let z = 5 + -5.3. Let k = z + 2.3. Let d = 1 + 0. Which is greater: d or k?
k
Let n be ((-13)/65)/(306/10). Which is smaller: n or 0?
n
Suppose -4*q - 20 = -0*q. Let w(o) = -o + 2. Let t be w(q). Which is greater: 6 or t?
t
Suppose -3*y - 62 = -4*r, -2*r = -4*y + r - 71. Is -15 greater than y?
False
Let x(n) be the first derivative of 14*n**3/3 + 2. Let t be x(1). Let k be 5 - 2 - t/2. Is -4 bigger than k?
False
Let f = 12 + -22. Let w = f - -6. Let r be ((-1)/w)/(3/(-4)). Which is smaller: r or 0?
r
Let c = 2.67 + 0.33. Which is smaller: c or -1/4?
-1/4
Suppose 2*c + 9 = -3*u + 2, -3*u - 11 = 4*c. Are u and -2/13 non-equal?
True
Suppose -25*d = -21*d - 8. Which is bigger: d or 3?
3
Let p be ((-2)/8)/((-7)/28). Is p equal to -2?
False
Suppose -4*s - 16 = 0, 4*h + 4 = -2*s - 0*s. Is h greater than or equal to 3/5?
True
Suppose 0 = 2*c + 3*c + 10. Let k be ((-3)/c)/((-2)/(-4)). Let r be (0 - k)/(30/(-4)). Which is bigger: r or -1?
r
Let v(n) = n**2 + 6*n + 1. Suppose 7*m = 2*m - 15. Let j(h) = -h**2 - 7*h. Let q(y) = m*v(y) - 2*j(y). Let k be q(-2). Is 1 equal to k?
True
Suppose -5*m + 1 = -9. Let j be 51/84 + (-2)/(-8). Which is smaller: j or m?
j
Let c = 27 - 28. Is c != 4?
True
Suppose -4*z + 64 = 8. Let n = 13 - z. Are -2/11 and n nonequal?
True
Let t be ((-10)/(-4))/(2/(-4)) - 2. Which is smaller: t or -3?
t
Let q be (-2*1)/(4 + 0). Let h = 5 - 2. Let g = h - 4. Which is smaller: g or q?
g
Suppose 0 = -6*b - 74 + 50. Which is smaller: b or 0.1?
b
Let o be ((-36)/15)/((-6)/(-20)). Let t = -9 - o. Is t at most as big as 1/9?
True
Suppose 3*p = -p. Let h be 6/4*2 + 3. Suppose p = 5*t - h - 4. Is 3 greater than or equal to t?
True
Let r = -1.2 + 1.3. Let u = -106/3 + 35. Is r < u?
False
Suppose 9*r - 69 = 21. Is r equal to 10?
True
Let a be ((-6)/(-2))/((-12)/24). Is -4 bigger than a?
True
Let z be 16*2/14 + -2. Let f = -5 + 7. Suppose -f*j = -5*j. Are z and j equal?
False
Let f be ((-23)/(-46))/(2*1/(-152)). Is f <= -38?
True
Let n be 3/(-105)*(-10)/6. Which is greater: 0 or n?
n
Let p(f) = -2*f**2 + 2*f + 5. Let b be p(3). Is b >= 2?
False
Let w = 1/13 - -23/39. Let i = -0.2 + 1.2. Let y = 2 - i. Which is smaller: y or w?
w
Suppose 12*p = 14*p - 30. Which is greater: p or 17?
17
Let c = -52 + 53. Which is bigger: c or -6/11?
c
Suppose v = 4*v - 6, 3*v = 2*p - 4. Suppose -o + p*x + 8 = -6, 2*o = -x + 17. Suppose 2*b = 2*m - 6, 2*b - 5*b = 4*m + o. Are m and 1/6 equal?
False
Let k = -9.8 + 6.75. Let b = k + 0.05. Is 0.1 != b?
True
Let x = 13/15 + -4/15. Does x = 0?
False
Let b = 42 - 185/3. Let v = b + 20. Suppose 0*n - 5*n = 5. Are v and n non-equal?
True
Let y be 4 + (-4)/2 - -12. Let w be 6/15 + y/(-10). Which is greater: -4/3 or w?
w
Let j(r) = r**3 - 5*r**2 - r + 5. Let q be j(4). Is q greater than -14?
False
Suppose -4*p - 5 = -109. Let t = p - 26. Which is greater: t or -1/5?
t
Let l be 1*((-2)/(-6) + -1). Let j = l + 28/33. Which is smaller: 1 or j?
j
Let d = -5 + 9. Let i = 6 - d. Suppose -3*b = 4*w - 5*w - i, 4*w + 22 = -2*b. Which is bigger: w or -6?
w
Suppose -3*g + 2*j = 4*j + 12, -3*j = -5*g - 1. Let n be (g/4)/(7/(-14)). Is -1/13 equal to n?
False
Let s = -8 + 16. Let f(y) = y**3 - 5*y**2 + 3*y - 6. Let d be f(5). Is s less than d?
True
Let m be (5 - 2) + 2 + -2. Suppose -3*r = -0*r + m. Let b = 189/5 - 38. Is b < r?
False
Suppose -3*u = -u. Let r be (u/(-2)*1)/(-1). Does r = 1/5?
False
Let t(y) = 3*y**2 + y + 1. Let j be t(-1). Let z be (-1)/2 - j/12. Is 0 at least as big as z?
True
Suppose -4*x + 9 + 81 = -3*p, -p = 5*x - 122. Which is greater: -1 or x?
x
Let s = -2 - 8. Are -10 and s equal?
True
Let d = 2 - -1. Is d < 2?
False
Let v = -2 + -1. Let d = v - -2. Are d and -3 equal?
False
Suppose 0 = -6*b + 2*b. Let t(k) = -6*k + 1. Let i be t(1). Let z = i + 5. Are z and b non-equal?
False
Suppose -4 = -4*b + i + 5, 0 = 4*b - 4*i. Which is smaller: 2 or b?
2
Let s = 16.14 - 0.14. Which is smaller: 1 or s?
1
Suppose 4*h + 8 = 0, -4*h = 3*g - h + 6. Are 1/49 and g nonequal?
True
Let w be (-6)/(-15) + 56/(-90). Suppose 4*j + 0 + 4 = 0. Which is greater: w or j?
w
Let c = -0.4 - -0.5. Let g = 0 + c. Is -5 at most g?
True
Let m = -108 - -109. Suppose -2 = -2*j - 0. Is j >= m?
True
Let r = -81300 - -22194943/273. Let n = -5/39 - r. Which is smaller: n or 2/9?
n
Let d = 1.23 + -2.33. Which is bigger: d or -0.1?
-0.1
Let t = -18 + 20. Let h be 0 + 0/t*1. Which is smaller: h or -4/7?
-4/7
Let g = -40 + 28. Let v be (-23)/4 - (-3)/g. Let c = v + 5. Which is bigger: -0.1 or c?
-0.1
Let b be (-8)/(-2) + (-21 - -10). Is b not equal to -7?
False
Let j be 4 + -3 + (3 - 2). Suppose j*s = 5*s - 3. Let t = -0.4 - -0.7. Which is greater: t or s?
s
Let k be (-4 + 4)/(2/(-2)). Let f = 1 + 1. Let u = 0 - f. Is k at most as big as u?
False
Let c = -4.7 + 3.7. Which is smaller: c or -6?
-6
Suppose 9*k - 3*k = k. Let t be (6/(-26))/(9/6). Is t bigger than k?
False
Let y = 36 - 19. Are y and 16 unequal?
True
Let h be 2*((-8 - -1) + 2) - -1. Is -11 < h?
True
Let c = -3076/5 - -608. Which is smaller: c or -6?
c
Let j(p) = -p**2 + 3*p + 3. Let y be j(-6). Let t = 559/11 + y. Let l = t - 7/22. Which is smaller: l or -1?
-1
Let b(v) = 0*v**3 + 4*v**3 - 2*v**3 - 2 + 2*v + 4*v**2. Let r be b(-2). Let t be 4/r + 25/15. Which is smaller: t or 0?
0
Let v(p) = p**3 - 6*p**2 + 6*p + 5. Let f be v(5). Which is smaller: 18 or f?
f
Let k = 103489/6 - 17337. Let o = k - -89. Let g(s) = -2*s + 3. Let m be g(2). Which is greater: m or o?
o
Let c = 2 + -3. Let h = c - -1. Suppose -y - 4*y = h. Which is greater: y or -1/4?
y
Let n = -12.1 + 12. Which is smaller: n or 4?
n
Let t(x) = x**3 + 4*x**2 - 4*x - 9. Let b be t(-4). Are 5 and b non-equal?
True
Let i be 1*(1 + -3) - -1. Let w be (-80)/30*2/4. Are w and i non-equal?
True
Suppose -5 = -3*t + 265. Let c be ((-6)/5)/((-27)/t). Is 2 at most c?
True
Let g(n) = -n - 15. Let d be g(-10). Let b(w) = w**3 + 6*w**2 + 4*w - 1. Let i be b(d). Suppose 4*p = 4*m, -i*p = -m - m - 2. Which is smaller: p or -1/9?
-1/9
Let j be 14/(-12) - 9/(-6). Which is bigger: j or 1?
1
Let t = -9.03 + 9. Does t = 1?
False
Suppose 0 = y - 3*y + 3*u - 2, -3*u + 14 = 4*y. Suppose y*w + 2*w + 10 = -m, 0 = -4*m + 4*w + 60. Let o be (1/(-5))/(4/m). Does o = 0?
False
Let r be 4/(-14)*(-7)/15. Let u be (0/3 - 1) + 0. Is r greater than or equal to u?
True
Let q = 17 - 16. Let v = -0.01 + -4.99. Which is greater: v or q?
q
Let p be (-2)/9 + 26/198. Is p at least -1?
True
Let q be (-8)/(-16) + 29/2. Let h be ((-4)/(-5))/(6/q). Is 2 bigger than h?
False
Let w be ((-3)/(-9))/((-7)/6). Let m = 1 + -0.8. Which is greater: w or m?
m
Let k(r) = -7*r**2 - 3*r + 3. Let h(j) = -j**2 - j. Let w(m) = -6*h(m) + k(m). Let n be w(4). Let u be (n - 1) + 7/4. Which is smaller: -1 or u?
-1
Suppose -10*m - 4 = -11*m. Let x be (-2 - -1) + (-27)/8. Let j = m + x. Which is smaller: 1 or j?
j
Let b be (-2)/10*2*-1. Let u(q) = 2*q**2 + q - 13. Let d be u(3). Are d and b nonequal?
True
Suppose -36 = -4*f + 2*n + 4, 4*f + n = 34. Which is greater: 8 or f?
f
Let z = -3/221 - -293/5304. Let f be 1*(-2)/((-2)/1). Which is bigger: z or f?
f
Suppose 4*n - 6 = n. Let d be (n/4)/(5/(-2)). Suppose 4*y = -1 + 5. Is d less than or equal to y?
True
Let j be (-4 + (-52)/(-12))/((-1)/3). Is 2/5 equal to j?
False
Let q(v) = v**2 + 6*v + 6. Let x be q(-5). Let w(g) = g + 5. Let l be w(0). Let c be -1 + l/(45/6). Is x at most c?
False
Let m be -22*(-4 - -5) - -3. Which is bigger: m or -20?
m
Let h = 33 + -33.01. Does h = -2?
False
Let m be (-7 - -3) + 270/65. Which is smaller: 0 or m?
0
Let l = 0.51 + -0.41. Which is smaller: l or 1/21?
1/21
Let x = 7.06 + -0.06. Let w = x - 4. Let j = 6 - 5. Is w equal to j?
False
Let g be (3 - (-17)/(-6))*(-1)/(-7). Is g greater than or equal to -1?
True
Suppose b + 6 = -b. Suppose 4*h + 5 = -15. Which is smaller: h or b?
h
Suppose -6*o + 5*o = -3. Suppose b = o*b - 2. Which is smaller: b or -1/23?
-1/23
Let y = -2/1943181 - 4890986441/132136308. Let o = -72/17 + y. Let g = o - -41. Which is bigger: -1 or g?
g
Suppose -4