et a be (3 - (3 + -9)) + -2. Let r be (-9)/a - ((-24)/(-14) + -2). Which is smaller: 2/5 or r?
r
Suppose 4*v - 5*z + 40 = -4*z, -v - 4*z = 10. Let n = v - -14. Let o = 34/21 - -20/21. Is n less than o?
False
Let w = 72.4 - 73. Which is bigger: -1/29 or w?
-1/29
Suppose -27*k + 19*k = -240. Which is greater: k or 35?
35
Suppose 2*z = 75 - 143. Which is smaller: -0.4 or z?
z
Let s be 8/(-1878)*96/32. Which is bigger: 1 or s?
1
Let d(k) = k - 3. Let q be d(3). Let m = 2 - q. Let c be 4/20 + 20/25. Is m <= c?
False
Let d(n) = -22*n + 245. Let u be d(9). Is u bigger than 39?
True
Let g = -323585/225561 + -2/9807. Is g < 0?
True
Let m = -27.2 - -13.2. Is -1 less than m?
False
Suppose 2*i = -l + 268 + 219, -i - 3*l = -256. Is 240 < i?
True
Suppose -3*s - 2*u + 836 = 0, -3*s - 1108 = -7*s + 4*u. Is s equal to 278?
True
Let o(f) = f**3 + 4*f**2 + f + 6. Let s be -2*9/((-9)/(-2)). Let n be o(s). Is n < -2.2?
False
Let k be (6/(-371))/((-6)/14). Let q be 2/3 + 2/6. Do q and k have different values?
True
Suppose -330 = -12*d + 6*d. Is d >= 55?
True
Suppose -5*w = -3*t - 36, -5*t - 7 = 3. Let g = 25/4 - w. Is 2 at least g?
True
Let l be 3*(-6)/9 + 1. Let z be 15/(-5) - l*5. Is 22/9 bigger than z?
True
Let r = -74/7 - -72/7. Is -579 greater than r?
False
Let b = -1416.4 - -1416. Which is bigger: b or 38?
38
Let p = 18 - 39. Let u = p + 21. Which is smaller: 1/6 or u?
u
Let f be (-1)/(-3) + (-104)/24. Let y be 10/f*630/(-75). Are 21 and y equal?
True
Suppose -r - 5 = -3. Let z = 4 + r. Let k = -6 + z. Which is smaller: -13/3 or k?
-13/3
Let j be (30/(-5))/(3/(-8)). Let z be ((-12)/(-30))/(j/10). Is -1 at most as big as z?
True
Let y = 1.98 - -0.02. Let j = 30.84 + -12.84. Is j bigger than y?
True
Suppose 4 = 3*s + 37. Let f = s - -91/8. Let h = 0.3216 - 0.3216. Which is smaller: f or h?
h
Let g = -38 - -21. Let r be (-2)/g - (-273)/(-1309). Let t = 3 + -2. Is r smaller than t?
True
Let l be 2 - 18/24 - (-3)/4. Suppose l*b + 5*u - 22 = 0, -3*b + 7*u = 3*u + 13. Is -0.23 at most as big as b?
True
Let b = 4 + -8. Let j be (-79)/301 + b/(-14). Suppose -3*l + 10 = f, f - 12 = -2. Are j and l nonequal?
True
Let x = -43/1848 - -5/168. Which is smaller: -1 or x?
-1
Let a be 2/(-6)*(-18)/6. Let j be (0 - a)/(7/21). Let o = 1 - j. Is 5 >= o?
True
Suppose 0 = b + 5*g - 3*g + 5, 3*b - 5*g - 18 = 0. Suppose 3*p + 2 = 2*i, 0 = -3*p - 0*i - i + b. Let k = 5/173 - 747/1903. Which is greater: k or p?
p
Let z = 0 - -2. Let y = -1.2 + z. Let c = 76.13 + -75.13. Is y at least as big as c?
False
Suppose -1080*a + 1077*a - 11 = n, 2*n = -2*a - 10. Suppose 4*f - 3*j = -7 + 28, 5*f + 3*j = 33. Suppose 4*r + 5 = -3*x - f, x = r + 1. Does a = r?
False
Let g be (-1 + (-5 - -4))/(-1). Suppose g*x = -5*a + 25, 11 = 4*a - 2*a + x. Which is smaller: 1 or a?
1
Let p = -47 + 133/3. Let i = 9 + -11. Is p >= i?
False
Let g = -152/21 + 3622/483. Let l = -151 + 151. Is g > l?
True
Suppose 24 = 2*l + 104. Let u be ((-50)/l)/(3/4). Which is bigger: 2 or u?
2
Suppose -u + 4*r - 28 = 0, 5*u + 60*r = 59*r - 119. Are 5 and u unequal?
True
Suppose 86*f - 115 + 373 = 0. Let q be (-52)/14 - (1 - 1). Is q > f?
False
Suppose -y + 12 = -3*y. Let o be -1 - -6*y/(-28). Is 0 smaller than o?
True
Let o = -15.42 - -15.5. Is o at least as big as 0.3?
False
Let i be (-8)/(-10) - (200970/(-50825))/(-7). Let d = i - -3/107. Which is bigger: d or 1?
1
Let x(s) = 5*s - 54. Let y be x(11). Which is greater: y or -324?
y
Let m = 8 + -9. Let c = m - -2.5. Let v = -0.5 + c. Are 2/5 and v non-equal?
True
Let d = 46 + -3. Let b = 39 - d. Do 0 and b have the same value?
False
Suppose 58 = -2*b - 158. Let u be (b/(-30))/(1/60). Let d be (-4)/18 - (-129)/u. Is d at most as big as -1?
False
Suppose r = -j - 2 + 6, 0 = -3*r - 4*j + 17. Let d = 56 + -2186/39. Which is smaller: d or r?
r
Let n be ((-2)/3)/(1/(-6)). Let g = -1/20441 + -4516427/21135994. Let l = g - -3/94. Which is greater: n or l?
n
Suppose -2*a = 2*a - 4. Suppose 0 = -4*x - w + 21, 2*x + 2*w - a = 11. Suppose 0 = 3*r - x*q - 18, 5*q + 12 = 4*r - 2*r. Which is bigger: r or 5?
r
Let i = 6 + -7. Is i smaller than 0.92?
True
Let n be (1 - 0)/(19/9481). Is n greater than 498?
True
Let w = -0.28 - -0.05. Let h = -2.77 + w. Which is bigger: h or -3/7?
-3/7
Let q(v) = -v**3 + 8*v**2 - 4*v + 1. Let r be q(5). Let l be r/36*12/14. Let w = l - 13/12. Is w >= 1?
False
Let x(c) = 4*c**2 + 6*c + 2. Let b be x(-2). Suppose 5*u - d = b, 4*u + 0*d + 1 = -5*d. Is u > -1/77?
True
Let c be (-1)/4 + (114/(-24))/(-1). Which is bigger: c or 6?
6
Let d be (-1)/(-3) + 8/(-6). Suppose y + 2*y = 3*g - 390, 0 = 3*y - 12. Let u be 1 + g/(-68) - d. Is u at least as big as 1?
False
Let n = -134/3 + 45. Let a be (-12)/(-15)*(-15)/(-2). Suppose 4*s = 5*i + 11, -2*s + a*i = 3*i - 7. Which is bigger: s or n?
n
Let h be 153/(-3)*(-1)/3. Suppose 3 = -4*t - h. Suppose 7 + 1 = -2*a. Which is bigger: a or t?
a
Let q be 2/(-1 - 5) - 0. Suppose -8*v = 9*v. Which is greater: q or v?
v
Let b = 3 - 0. Let m = -103 + 64. Let y = m + 37. Is y equal to b?
False
Suppose -9*w + 4*w = -2*w. Suppose -16*s + 21*s + 40 = w. Does s = -6?
False
Let d be (7/42)/((-5)/(-15)). Is d at least -294?
True
Let g = 78273 + -548945/7. Let w = -148 - g. Which is smaller: 9 or w?
w
Let z = -2144 - -2147. Is 82/43 at least z?
False
Let n(o) = 6*o + 135. Let s be n(-52). Let b be ((-2)/(-14))/((-2)/(-2482)). Let f = s + b. Which is greater: -0.05 or f?
f
Suppose 6 - 2 = k. Let x be -7*(k + -6)/(-2). Let q(i) = i**3 - 3*i**2 - 7*i + 6. Let z be q(4). Which is smaller: x or z?
x
Let w be ((-3058)/(-10))/(177/3). Let i = w - -1/59. Which is greater: 4 or i?
i
Suppose -5*f = 4 + 1. Let d = -110344/23 - -4798. Is f >= d?
False
Suppose -5886 = 4*n - 2*a, -9*n + 3*a = -12*n - 4401. Which is bigger: n or -1472?
n
Let n = -2.256 - -2.3. Let q = n - 0.044. Let v = 0.5 - 0.62. Is q greater than or equal to v?
True
Let g(i) be the first derivative of 0*i**2 + 7 - 17*i - i**2 + 20*i. Let l be g(8). Which is greater: -14 or l?
l
Let h be (4/18)/((-20)/(-2910)). Let b = -32 + h. Let u = 0.1 - 1.1. Which is smaller: u or b?
u
Let o = -9/20 - -9543/140. Let y = -68 + o. Are 1 and y equal?
False
Suppose -2*n - 1 = v, 5*v + 7 = -4*n + 2. Is v at most as big as -7/6?
False
Let f(r) = -r**2 - 4*r - 2. Let i be f(-3). Let u = 13 - 21. Let x be (-114)/51 + (-1)/(4/u). Is x smaller than i?
True
Suppose -10*o = 7*o - 102. Let u be o/10*(-80)/(-24). Let g be 8 - 2 - (0 + 1). Is u greater than g?
False
Suppose 0*y = -4*y + 4. Let c = 4444/19 - 234. Which is smaller: y or c?
c
Let b = -0.4 - 5.6. Let m = -1 - b. Let t = 4 - m. Is -0.1 smaller than t?
False
Let b(w) = -9*w**2 + 2*w + 1. Let h be b(-1). Let r be 4/h - 4/(-10). Suppose 4*i + i - 5 = 0. Does i = r?
False
Let l(n) = n**2 + 36*n + 56. Let d be l(-34). Which is smaller: d or -15?
-15
Suppose 2*y + 17 = 3. Let q be 1/(-5) + 1*396/5. Let z = q - 86. Is z smaller than y?
False
Suppose -4*y + 5*t - 9 = -10, -3*y - 4 = t. Which is smaller: y or 6/65?
y
Suppose 0 = -5*b + 10, -2*u - u - 5*b = -10. Which is bigger: 2/361 or u?
2/361
Let m(x) = x**3 + 21*x**2 + 35*x + 13. Let q be m(-19). Let w = -69 + q. Which is bigger: w or 2/341?
w
Suppose 10*v - 6*v - 2*k = 388, 5*v - 499 = -k. Which is greater: v or 97?
v
Let j be (-1)/6 - 2/6. Is 111 smaller than j?
False
Let j = -492 + 4429/9. Which is smaller: j or 1?
j
Let a = 70 - 69.808. Let c = a + -0.092. Is c at most 18/17?
True
Let h = -47 + 49. Suppose 5*b + 9 = h*b. Is b at least -6?
True
Let r(d) = -4*d**3 + 45*d**2 - 9*d + 30. Let i be r(11). Which is greater: i or 40?
i
Let z(d) = -17*d - 9. Let u be z(12). Let n = 1058/5 + u. Are -2 and n equal?
False
Let i be 3/5 + 2747/205. Are 17 and i unequal?
True
Let o(x) = x - 10. Let z be o(9). Let d = z - -3. Let n be d/(-4) + 0/(-1). Is n bigger than -2?
True
Let a = 43.5 - 67.6. Let v = a - -24. Do 1.5 and v have different values?
True
Let x = 137.7 + -178.74. Let q = -43 - x. Let c = 0.04 - q. Which is smaller: c or -6?
-6
Let c(n) = -4*n. Let q be c(-14). Let y = q - 29. Let p be (y/(-18))/((-1)/(-6)). Is p at most -9?
True
Suppose 2*r = -r + 450. Let m be (-260)/r - (-1)/3. Which is smaller: 0 or m?
m
Let j = 151 - 152. Is j > 14?
False
Let z(q) = q**2 - q + 3. Let o be z(4). Let y = -134 + 150. Are 