ich is smaller: o or -2/11?
-2/11
Let l = -48.4 - -3.4. Is l != -2?
True
Let b be (-47391)/6*2/(-3). Let d = 5326 - b. Let z = -61 + d. Which is smaller: 0.2 or z?
z
Let c = -225/8 + 28. Which is smaller: c or 0.5?
c
Suppose 12 = -3*w, 0 = 3*s + w - 0*w + 4. Is 6/5 less than or equal to s?
False
Suppose 3*w - 2*w = -5*o + 11, -7 = -5*w - o. Is -3/7 <= w?
True
Suppose 0 = -y + 3 - 1. Suppose 4*t + y*h - 6 = -0, t = h + 3. Does t = 2?
True
Let l(m) = -5*m + 3. Let r be l(2). Is -7 less than r?
False
Let s = -0.11 + -13.89. Are s and 0.1 unequal?
True
Suppose 2*t = 1 + 1. Suppose -3*r + 5*r - 4 = 0. Is r bigger than t?
True
Let v be (1/(-3))/((-2)/18). Let z be ((-40)/6)/((-1)/v). Let d be (z/6)/((-6)/(-9)). Is 4 at most d?
True
Let g = -28 + 54. Let c be -2 - (-2 + (-4)/g). Let b be 18/14 - 14/49. Which is smaller: b or c?
c
Let h = -155 + 127. Is -29 not equal to h?
True
Let l = -4/11 - 3/22. Which is smaller: l or -1?
-1
Let z(g) = 2*g - 1. Let o be z(-1). Let c = -4 - o. Which is smaller: 0 or c?
c
Let z = 89.9 + -90. Do z and 0.01 have different values?
True
Let d = 49.06 + -49. Which is smaller: -0.1 or d?
-0.1
Suppose 4*s - 12 = 28. Let d = s + -4. Which is smaller: d or 5?
5
Let u(k) = k**2 + 5*k - 6. Let g be u(-6). Suppose -2*j - 2*l - 12 = g, -2*j + 4 = 5*l + 22. Let r = -6 - j. Is r <= -2?
True
Let j = -4/9 + 25/36. Is j > 0?
True
Let m = 2 + -12. Let l = m + 8. Which is smaller: l or 0.05?
l
Let y be (6/(-5))/((-9)/30). Suppose 0 = 5*j + h - 10, -2*j = -0*h + 2*h + 4. Let a(k) = k - 2. Let l be a(j). Which is smaller: l or y?
l
Let b = 1.4 - 1.6. Let f = b - -3.2. Are 0.1 and f equal?
False
Let o(r) = -5*r - 1. Let a be o(2). Let c = -21/2 - a. Let i be (2 - 4 - -4) + -2. Is c less than i?
False
Let i be 1 + (-2 - 318/(-314)). Which is smaller: 0 or i?
0
Let j = -3.8 + 0.8. Let a = j + 3.2. Let z = -0.3 - a. Which is bigger: z or 1?
1
Suppose 5*d - 58 = 2*t, t + 4*t - 41 = -3*d. Let y = -21 + d. Is -9 at least as big as y?
True
Let h = -1438/11 + 19024/143. Is 3 at most h?
False
Suppose -10*t = -8*t - 2. Suppose w + 4*k + t = -2*w, -4*w + k = -5. Is 1 smaller than w?
False
Let c be -1*((0 - -1) + -1). Suppose c*x = -x. Let l(u) = u**3 - 5*u**2 + 4*u + 1. Let h be l(4). Is x greater than or equal to h?
False
Let u be 1 + (68 - -4 - 0). Is 72 >= u?
False
Let o = -4 - -3. Let p = -3 + o. Let h = p + 5. Which is bigger: h or -0.1?
h
Let a(g) = -g + 1. Let r be a(1). Which is bigger: r or -1/3?
r
Let c = -0.09 + -0.61. Let i = 8.6 + -8. Let w = i + c. Which is smaller: w or 3?
w
Suppose 3*h + 2*h = 15. Let s be (h/5)/((-7)/(-5)). Let t = s - 4/7. Which is smaller: 0 or t?
t
Suppose 0 = -0*u + 2*u - 2. Which is smaller: -1/8 or u?
-1/8
Let v be (-22)/(-99) + (-1)/18. Suppose -6*z + z = -20. Suppose 6*o = 2*o + z. Is o at least as big as v?
True
Let z = 16 - 11. Suppose f - 5*t = 6*f - 10, f - z*t = 14. Is f at most as big as 0.1?
False
Suppose -4*l - g + 3 = -5*l, 0 = 4*g - 16. Let i be l*(3/(-3) - -2). Is i > 3?
False
Suppose 4*l = 3*l - 13. Let b = l + 19. Which is smaller: 8 or b?
b
Let p be (-1)/(-4 - (-26)/6). Suppose -5*b + 52 = 2*u + 742, -b - 3*u = 138. Let n = b - -271/2. Does p = n?
False
Suppose -2*x - 7*x + 108 = 0. Do 12 and x have different values?
False
Suppose -5 = -100*z + 95*z. Is 0 < z?
True
Suppose -5*c + 10 = -4*u, -3*c + 2*c + 2*u = -2. Suppose 4*g = -4*a - 5 - 11, -c*g - 3*a = 8. Which is smaller: -5 or g?
-5
Suppose 3*g - 2*g = 0. Let u = 473/6 - 79. Do g and u have different values?
True
Let k = -0.04 + 6.04. Let f = 7 - 11. Let l = f + k. Which is smaller: l or 1/7?
1/7
Suppose -6*r + r + 5 = 3*l, 20 = -4*l. Suppose 5 = -r*v - v. Is 1/7 smaller than v?
False
Suppose 0 = 2*z + 4 - 6. Let k be ((-6)/81)/(z/(-3)). Let x(g) = 2*g - 3. Let q be x(2). Which is greater: k or q?
q
Suppose c + 0*c = -2*k - 1, c = 3*k - 11. Which is greater: 1 or k?
k
Let m = 1.114 - 0.004. Let p = m - 0.11. Let w = -1 - -0.9. Is p not equal to w?
True
Let m be 2/(-4) + (-21)/(-6). Is -1 smaller than m?
True
Let u = 7 + -13. Let r be (16/12)/((-4)/u). Which is greater: r or 1?
r
Let a(k) be the second derivative of -k**5/20 + 5*k**4/12 + k**3/6 - 2*k**2 - 4*k. Let j be a(5). Is j at most as big as 2/21?
False
Let f = 16 - 14. Which is greater: -5 or f?
f
Let x = -56/45 + -14/45. Are -1 and x non-equal?
True
Let z = -26 + 29. Let w be 11*1 + -1 + 1. Let g = 15 - w. Is g >= z?
True
Suppose -z + 0 = -5. Suppose 5*w + 13 = -z*y + 2*y, -5*y - 2*w - 9 = 0. Let l = 8/5 + -34/15. Which is smaller: y or l?
y
Let k be -2*2*(-1)/2. Suppose f + 50 = 6*f - 2*g, 0 = -3*f - k*g + 46. Is f less than 13?
True
Let w = -0.01 - -0.11. Let h be -2 + ((-90)/(-8))/5. Which is greater: h or w?
h
Let k(x) = -x**2 - 3*x + 3. Let r be k(-4). Suppose -22 = 3*y + 2*n - 3*n, y + 2*n = 2. Let b be y/4 - (3 + -4). Which is smaller: r or b?
r
Let f = 7 + -8. Is 1/4 less than f?
False
Suppose 2 = -5*t - 4*g, 0 = 2*t - 7*t + 2*g - 14. Suppose 2*d - 5*x - 2 = 0, -2 = -2*x - 6. Is d not equal to t?
True
Let z(o) = 3*o - 1. Let g be z(-1). Let r be g*(30/(-8))/(-5). Let u = 2 + -6. Which is bigger: r or u?
r
Let k be (-49)/42*(-6)/21. Is k at most as big as 0.3?
False
Let t = 20205/22 + -1957/2. Let l = t - -60. Which is bigger: 1 or l?
1
Let o = 15 - 10. Suppose -o*l - 1 = -m, -3*l - m = -0*l - 1. Let q be l - (4 - 2) - -3. Which is smaller: q or -1?
-1
Let l = 12 - 12. Let d = l + 1. Is -0.1 bigger than d?
False
Let m = -6 - 0. Let q be (-3)/m + (-18)/(-4). Are q and 5 unequal?
False
Suppose -5*j = v + 11, -5*j = -v + 12 - 3. Suppose -50 = -2*s - 6. Suppose 3 = -2*x - o, 2*x - s = -0*x + 4*o. Which is bigger: x or v?
x
Let t(g) = -g**2 - 4*g - 4. Let u be t(-2). Suppose u*i + i = -12. Is -12 at most as big as i?
True
Let k be 2/(-4) - 1/(-2). Suppose -i + k*i = -6. Suppose -4*a - 2 + i = 0. Are a and 2/3 non-equal?
True
Let c(y) = y**2 + 7*y - 6. Let x be c(-8). Suppose -5*l + 7 - x = 0. Is l greater than or equal to -1?
True
Let j be -2*(-4 + (-54)/(-4)). Is j at least -19?
True
Let a = 4 + 1. Let z(g) = g**3 - 4*g**2 - 5*g - 2. Let k be z(a). Is -2 > k?
False
Let g = -6 + 11. Suppose 48 = 2*l - g*f, -2*l + 5*l - f = 46. Is 15 at most l?
False
Let t be (6/10)/((-1)/(-5)). Is t greater than 3?
False
Let f = 25 - 25.07. Let h = f - 3.93. Let n = -0.2 + 0. Is n smaller than h?
False
Let k(l) = 2*l**2 + 6*l. Let m be k(-4). Let q be 4 + -8 - (5 + -1). Let t = q + m. Which is smaller: t or 3/7?
t
Let t be (-84)/(-39)*5/20. Is 2 bigger than t?
True
Suppose 12 = 4*y + 3*c, 5*y - 13*c = -8*c - 20. Which is greater: y or 6/19?
6/19
Let m = -5.99 - -6. Let h = m + 0.09. Let c = h - 0.3. Which is bigger: c or -3/4?
c
Let r = 6988697/8 + -875320. Let l = -1652793/952 - r. Let c = l + 48/17. Which is smaller: c or -1?
-1
Let s(b) = b**2 - 5*b + 2. Let d be s(5). Let f be 20/30*(-21)/d. Which is greater: -8 or f?
f
Let w(q) = 10*q + 1. Let a be w(1). Let h be -1*a - 10/(-5). Let y = h + 11. Do y and 2 have the same value?
True
Let z(k) = 28*k + 3. Let x be z(1). Is x bigger than 30?
True
Suppose -5*i + 17 + 13 = 0. Let t(f) be the first derivative of f**4/4 - 5*f**3/3 - 2*f**2 - 8*f + 1. Let r be t(i). Is r equal to 4?
True
Let p = 350/9 - 39. Which is greater: -1 or p?
p
Let y = 68 + -67.06. Let c = y - -0.06. Are 0.2 and c equal?
False
Let r = 65/6 - 529/48. Is 0 at least as big as r?
True
Let j be 1/4 - 2/8. Let a be j + (-1 - -2) + -1. Are a and -2/13 equal?
False
Let b = -1 + 5. Which is bigger: 1 or b?
b
Suppose 0 = 3*m + 3*h + 2*h - 25, 5*m + h - 5 = 0. Let x(b) = 3*b**2 + 2*b - 1. Let g be x(1). Let u be (-8)/6 - g/6. Is m at least as big as u?
True
Let v = -21 - -20. Let d = 7 + v. Is 5 greater than or equal to d?
False
Let f = -0.4 - -2. Let m = 1 - f. Is -1 >= m?
False
Suppose -5*o = 11 - 131. Suppose 3*x + x = o. Is x at least -2?
True
Let b = -2.1 + 0.1. Let g = -1.6 + -0.4. Let a = g + 1. Which is bigger: b or a?
a
Let u = 114.77 - 114. Let j = u - -0.13. Let i = j - 1. Which is smaller: i or -2/7?
-2/7
Suppose 444 + 261 = -3*x. Let h be x/45 - 4/(-18). Which is smaller: h or -3?
h
Let w be -3*((-158)/14 + (-8)/(-28)). Are 32 and w unequal?
True
Suppose m + 4 = -0*m, -3*s - 3*m = 12. Let b(g) = -g**2 - 4*g + 3. Let t be b(-4). Let o = 4 - t. Which is greater: s or o?
o
