e
Let j = -74375817/387086 - -1/55298. Let a be (-11)/33 + 1156/(-6). Let d = j - a. Which is smaller: d or 2?
d
Let f(r) = r + 1. Let s be f(1). Suppose 0 = -z + 2 + 2. Suppose -d - z*q = -16, 2*d + d - 16 = -4*q. Is s < d?
False
Suppose -5*c + 526 = 206. Which is bigger: c or 65?
65
Let s = -17.7 - -13. Let f = s + 4. Let n = f + -0.3. Do n and 0 have the same value?
False
Let h = -51 - -50. Is h bigger than 1?
False
Suppose 3*j = -0*j + 12. Suppose 5*i - 6 = j*i. Is i equal to 7?
False
Let d = -8 + 83/10. Which is smaller: -1 or d?
-1
Suppose t = y + 3*t - 4, y + 5 = t. Let a be y/3 - (-2)/(-6). Is a greater than -1/8?
False
Let w = -66 + 464/7. Is w > 6?
False
Let m = -117 - -821/7. Which is smaller: 1/4 or m?
1/4
Let m be (-5)/((-30)/27)*2. Let v(n) = n**3 - 8*n**2 - 8*n - 9. Let y be v(m). Is 0 greater than or equal to y?
True
Let s = -78 - -83. Are 6 and s non-equal?
True
Let q = 2 + -1. Let s = 1 - q. Suppose 3*d - 4*m + 2 = -10, 2*m - 6 = 0. Is s not equal to d?
False
Let t be 213/8 - (-9)/24. Which is bigger: t or 26?
t
Let t(b) = b**2 - 3*b - 7. Let k be t(5). Let l = 101 + -98. Is l at least as big as k?
True
Let o(j) = j**2 - 6. Let x be o(0). Which is bigger: -8 or x?
x
Suppose -3*b + 3*p - 24 = -3, 13 = -3*b - p. Is b at least as big as -5?
True
Let n be ((-23)/3)/(1/(-3)). Suppose 3*i - 5 = -n. Let k = i + 3. Is -1 < k?
False
Let d be (-326)/(-14) + (-3)/(-42)*-4. Which is smaller: d or 22?
22
Let g = 21/2 - 41/4. Which is smaller: 0.3 or g?
g
Suppose 4*b + 5*g - 11 = 0, 2*b - 5*g - 10 = -3*g. Let l be (12/9)/b*-2. Does l = -1?
False
Let c = -15.38 + 0.38. Let x = -15.1 - c. Do 0.07 and x have the same value?
False
Let o = 8 + -7. Let c be (-279)/15*23/(-564). Let r = -2/235 + c. Does r = o?
False
Let f = 7 - 3. Suppose 0*l = f*l - 4*n + 12, -2*l + 3*n = 11. Suppose l*w = -3*w - 5. Which is smaller: w or -2?
-2
Suppose -24*m + 45 = -19*m. Which is smaller: m or 0?
0
Let m = 2 + -3. Let q = m - 0. Which is greater: 1/3 or q?
1/3
Let h = 18 + -18. Let l = 719/1785 + -22/51. Let g = 33/70 - l. Which is smaller: h or g?
h
Let y(d) = -d**3 + 3*d**2 - 3*d. Let f be y(2). Let u be 50/(-18) - 4/18. Which is smaller: u or f?
u
Suppose 17 = -2*g + 5*s, -3*s + 2*s + 7 = -4*g. Are -7 and g nonequal?
True
Let c = -0.1 - -0.8. Is c greater than or equal to -1/4?
True
Let a be 10/35 + (-8)/(-84)*-3. Is -0.17 less than a?
True
Suppose 0 = s + s. Suppose s = k - 0 + 7. Let u = -5 - k. Is 3 less than u?
False
Let y = -258.03 + 260. Let s = y - -0.03. Let j = 0.87 + 0.13. Is j > s?
False
Let l(q) = -q**2 + q - 2. Let y be l(5). Let b be 5/(-50)*5 - 45/2. Which is smaller: b or y?
b
Let n = 57 - 82. Is -24 at most n?
False
Suppose -103 = -5*z - 18. Is z greater than 18?
False
Suppose 2*r = -2*c + 26, -3*c = -r - 8*c + 5. Let m = r + -1. Suppose -o + 0*o = 2*f + m, 50 = -5*o - 5*f. Which is bigger: o or -5?
-5
Suppose 11 = 5*l + 1. Suppose 3*m + l*m + 5 = 0. Is m less than -1?
False
Let y = 3681/13 + -283. Which is greater: y or 1?
1
Suppose 2*d = -2*w + 100, 4*d = -5*w + 253 - 54. Is 51 at most d?
True
Let f be ((-280)/(-50))/((-2)/(-5)). Which is greater: f or 16?
16
Let h be 2/4 + (-6005)/70. Let q = -85 - h. Suppose 0 = 3*r - r. Does r = q?
False
Suppose 0 = 7*y - 6*y - 48. Suppose -3*j - 2*q = -5*j + 42, -2*q + y = 3*j. Is j equal to 18?
True
Let i = 6 + -1. Let u = i + -1. Which is greater: 3 or u?
u
Let y = -6221/13 - -479. Is y greater than -0.1?
True
Let h(z) = -3*z - 1. Let c be h(1). Let y = -0.051 + 0.451. Is y less than or equal to c?
False
Let h(c) = 2*c**2 - 3*c - 2. Let m be h(-2). Let j be (m/(-9))/4*-3. Let q = -50 + 348/7. Does j = q?
False
Let u be (-15)/(-18) - (-2)/12. Let k be (3/(-58))/(6/8). Which is smaller: k or u?
k
Suppose -8*a + 13*a = -25. Which is smaller: a or -7?
-7
Let l be 3 + -2 - 21/14. Is l smaller than -6?
False
Let v(y) = 2*y + 15. Let m be v(-10). Which is smaller: m or 2?
m
Let u = -50029767616410889/2892 - -17299365687719. Let a = -707997 - u. Let g = -2/241 - a. Is g less than or equal to 1?
True
Let y = 140594/101 - 1392. Is -2/11 > y?
False
Let j be (1/20 + 0)*4. Let l be (-6)/(-8)*1/(-3). Is l at most as big as j?
True
Suppose 2 = -m - 1. Suppose -2*z - u = -20, 2 = 4*z + 4*u - 30. Suppose -n - z = 2*n + 4*o, -5*n = 5*o + 20. Which is smaller: m or n?
n
Let r = -0.344 + 0.39. Which is greater: -0.1 or r?
r
Let i = 93 - 65. Is 28 not equal to i?
False
Let j = 11 - 4. Let g = j + -6.7. Is -0.1 at most g?
True
Let p = -50 + 42. Is p < -6?
True
Let i(q) = 0*q**3 + 14 + 4*q**3 - q**3 - 2*q**3 - q - 14*q**2. Let n be i(14). Is -10 greater than n?
False
Suppose 0*v + 4*v = -5*g - 29, g - 4*v = -25. Let p be -3*(-2)/g*-3. Let f(q) = -q**3 + 2*q**2 - 4*q + 2. Let h be f(p). Is -5 smaller than h?
False
Let t be 26/(-30) + (-16)/120. Do t and -3/25 have different values?
True
Let d(v) = v**3 - 8*v**2 - 8*v - 2. Let m be d(9). Let t = m + -4. Which is smaller: t or 0.2?
0.2
Let q be (-1)/1*(-15 + 16). Is q < 4/17?
True
Suppose 0 = -t - 4*t + 30. Which is smaller: 3 or t?
3
Let u = -98 + 22. Let d = 155/2 + u. Which is smaller: d or 2?
d
Let p = 57 + -60. Which is greater: 2/25 or p?
2/25
Let n be 2/3 - (-96)/(-9). Is 2 bigger than n?
True
Let s = 41 + -40.3. Is s <= -0.1?
False
Let n(w) = w**2 - w - 4. Let j be n(-2). Let k = 0 + 2. Is k <= j?
True
Suppose 0 = -2*m + 4*w + 12, -2*w = m + 4*m + 18. Let h(u) = -u**2 - u - 1. Let k be h(m). Let f be 3/(-63) - 1/k. Which is bigger: f or -1?
f
Suppose 2*c = 5*q - 1 - 0, -5*q + 7 = c. Which is smaller: q or 2?
q
Let k be ((-11)/4)/(1/8). Let t be 31/(-110) + (-4)/k. Is 0 not equal to t?
True
Suppose 4 = -5*f + 3*v, 4*f - 2*v + 0*v + 2 = 0. Let b(p) = 39*p + 2. Let y be b(-3). Let x = y + 573/5. Is x <= f?
True
Let g = -15 - -17. Suppose -4*f - 9 + 23 = g*w, -2*f - 3*w = -13. Let v = -8 - -11. Are f and v equal?
False
Let l = -0.3 - -0.4. Let x = 2 + -1.92. Let r = x - 0.38. Is r less than or equal to l?
True
Let x = -34 + 34.1. Which is greater: x or 52?
52
Let u(o) = o - 7. Let i be u(8). Suppose -2 = 2*g + h, -h - i = -2*g - 3. Let v be g/6*-16 - 3. Is 0 at least v?
True
Let w = -53/5 - -81/10. Which is bigger: 0.3 or w?
0.3
Let y be ((-6)/(-18))/(1/(-3)). Let u = 3 + y. Let z be (1/u)/(5/(-6)). Which is bigger: -1 or z?
z
Suppose 0 = 4*p + 6 - 2, 3*n + p + 1 = 0. Is 2/27 >= n?
True
Let y = -0.21 + 0.2. Let u = 0.09 - y. Which is greater: u or -5?
u
Suppose x - 204 = -0*x - 5*d, d + 4 = 0. Let f = 2915/13 - x. Do f and 1 have the same value?
False
Suppose 2*l = -l + 6. Suppose -2 = l*h - 0*h. Is -1 less than or equal to h?
True
Let c be 4/(-3) - (0 - 1). Let k = c + 5/33. Which is smaller: 2/7 or k?
k
Let x = 2036225/6919 + -7338/187. Let b = x - 255. Let i = -101/185 - b. Is i > -2?
True
Let m be (45/58)/(14/(-7)). Let y = 4/29 + m. Which is bigger: -9/7 or y?
y
Suppose 2*i - 12 = -3*h, -2*i + 2 = 2*h - 6. Suppose c + 3 = -5*x - 25, -22 = 2*x + h*c. Which is bigger: -6 or x?
x
Let w be (3/2)/(6/32). Suppose -2*y + w = -4. Let a be y/4 - (-1)/(-2). Which is greater: 3 or a?
3
Let r = 2 - 5. Let t be 1/2*-2 + -2. Is t greater than or equal to r?
True
Let x = -2.983 + -0.017. Are x and 7/6 equal?
False
Let w = 4 - -2. Suppose i + w = -j, 0*j = -j - 5. Which is smaller: -1/2 or i?
i
Let m be (-42)/(-476)*(0 + 4/30). Which is smaller: 0 or m?
0
Let z = -2 - -9. Which is greater: 15/2 or z?
15/2
Let u = -31 + 39. Is 0.1 less than or equal to u?
True
Let q = 1.103 + -0.083. Let v = q - 0.02. Let i = v - 0. Is -1/8 >= i?
False
Let o(r) = r**2 - 4*r + 1. Let k be o(5). Let m = k - 6. Is m >= 2?
False
Let m(r) = 2*r**2 - 5*r - 4. Let y be m(4). Suppose 15 = 3*o - y*o. Let d = 5 + o. Do d and 2 have different values?
False
Let u = -2 - -3. Let n be ((-28)/42)/((-2)/3). Is u < n?
False
Suppose 3*s - 2*s = 8. Suppose 0 = p - 0*p - s. Let c be ((-4)/p)/(0 + -1). Is 2 less than or equal to c?
False
Suppose 3*b + 0*b - 12 = 0. Suppose 5 = -b*f + 3*c, -2*f - 5*c + 10 = -7*f. Let u be 10/(-24) - f/4. Which is bigger: u or -1/2?
-1/2
Suppose 5*u - 6 = -3*i + 4, 0 = 5*i. Suppose 3*z + 4*v - 2*v = -4, -4*z - 2*v = u. Is z > 2?
False
Let u = 1 + -4. Which is smaller: u or -5?
-5
Let z = -0.3 + 0.4. Let n = -1.99 + 1.08. Let a = 0.09 - n. Is z < a?
True
Suppose 5*n - 198 = 2*g, 4*n +