et i = -8 - 1. Let l be 1 + 2/i*3. Let x = -1 + 1. Which is smaller: x or l?
x
Let k = -2.3 - -4.3. Let l = -2.11 + k. Let a = l - -0.21. Which is smaller: 0.15 or a?
a
Let k = 9/2 + -5. Let c = 0.0688 - 3.1388. Let l = c + 3.97. Is l at most k?
False
Let u = -36 - -60. Suppose 0 = 3*g - 2*q - 75, -14*q - 28 = -2*g - 20*q. Is g less than u?
True
Suppose 2*h = -5*w + 842, -2*w + 447 - 109 = 2*h. Suppose -164*n + w*n + 284 = 0. Which is smaller: n or -70?
n
Let z be 0 + (-13)/(196287/(-14)). Which is bigger: 1 or z?
1
Let o be (9/15)/(9/(-45)). Suppose g + 16 = -4*j, 3*g = -0*g + 5*j - 14. Are o and g unequal?
True
Let r be ((-4164)/(-36))/((-3 + 1)/(-10)). Let x = r + -597. Is x greater than -19?
True
Let c = -152 + 151. Is c >= 1/4?
False
Let i be (-4)/3*3/(-58). Let y be ((-8)/6 + 0)*(-12)/24. Is i bigger than y?
False
Let a be (-2)/3*((-65)/(-10) - 7). Let r = 14 - 20. Let u be (-2)/(-6)*r/8. Is a > u?
True
Let j be (-14 + 18 + 770)*1/(-2). Is j greater than -387?
False
Let m be (-4)/(-2) - 37/(-7). Let x = m - 568/77. Which is greater: x or 1?
1
Let x(c) = -c**2 - 13*c - 18. Let n be x(-7). Is n <= 23?
False
Let y be (-2)/5 - 98/(-70). Let k be 0/y*2/(-4). Which is smaller: -3 or k?
-3
Let d = -1341/538 + -2/269. Let x = 2 + d. Which is smaller: 1 or x?
x
Let p = 4.27 + -4.37. Do p and 59 have the same value?
False
Let c = -15.39 + 1.99. Let m = -8 + 21. Let r = c + m. Which is greater: r or -0.2?
-0.2
Let y(h) = h**3 - 4*h + 2. Let f be y(3). Let u be 91/5 + (-54)/(-30) + -2. Which is greater: u or f?
u
Suppose -k = k + k. Which is bigger: k or -0.104?
k
Let i(a) = -38*a**2 - 8*a + 10. Let s be i(4). Let k be (1056/26)/((-4)/62). Let u = s - k. Are u and -1 unequal?
True
Let r = 9 + -14. Let l = -12 - r. Let b be (l/(-2))/(15/6). Which is greater: 2 or b?
2
Suppose 0 = -k - v - 2 - 0, -1 = v. Suppose -3*q + 21 - 36 = 0. Let g be (-5)/q*(-8 + 2). Which is bigger: k or g?
k
Let w = -30.2 + 29. Let q = -7/16 + -1/16. Which is bigger: w or q?
q
Let v be (-48)/(-21) + 2/(-7). Let b be 1/(-4) + ((-298)/(-8) - 1). Let g = b - 35. Which is greater: v or g?
v
Suppose 0 = 12*c - 8*c + 4*k + 16, 3 = 3*k. Are c and -41/11 nonequal?
True
Let f(w) = -w**2 + 20*w - 96. Let v be f(6). Which is smaller: v or -165/14?
v
Let w = 146.14 + -178.8. Let y = w + -0.34. Let u = 32.8 + y. Which is greater: 13 or u?
13
Let o be (-24)/156 - 1878/(-39). Let w be ((-2)/10)/(6/(-12)). Which is smaller: w or o?
w
Let h(g) = g + 1. Let d be h(1). Let n(u) = u**3 - 7*u**2 + 9*u. Let b be n(d). Which is greater: -7/6 or b?
-7/6
Suppose 0 = -4*x + 5*r - 3 + 10, 0 = 3*x - 2*r. Let m(s) = -6*s**3. Let n be m(-1). Let k be 10/(-15)*n/8. Which is smaller: x or k?
x
Let y(z) = -2*z**2 + 16*z + 29. Let g be y(-3). Which is smaller: -11 or g?
g
Let m = 124.0016 + 0.2984. Let a = 124 - m. Which is smaller: 0.06 or a?
a
Let p = 340 + -340. Which is smaller: p or 1/192?
p
Let w = -149814.9939 - -149821. Let o = 0.0139 + w. Let v = -0.02 + o. Is v <= 2?
False
Let m(h) = 3*h + 6. Let t be m(3). Let a = t + -26. Is -13 > a?
False
Suppose -52 = -4*x + 4*k - 80, 8 = 2*k. Suppose -4*g - j = 43, 76 = -4*g - 5*j + 21. Which is smaller: x or g?
g
Let b = -9593/9 - -1067. Is b at most 0?
False
Let u(l) = -2*l - 7. Let y be u(-3). Is y greater than or equal to 18/113?
False
Let v be (-2)/(-5) + 1/((-20)/12). Which is smaller: 1 or v?
v
Suppose 10*z = -1136 - 184. Is -137 greater than z?
False
Let b(g) = -9 - 38 - 103 - g - 3. Let w be b(0). Let z = w + 615/4. Are z and 2 non-equal?
True
Let g = -2.3 + 16.3. Let x = g - 13.88. Let n = x + -0.22. Which is greater: -8 or n?
n
Let x = 45 - -94. Suppose 5*c = -5*j + x - 49, -3*j = -c + 2. Which is smaller: c or 27/2?
27/2
Let r be 19/(-7) + 0 - 2/7. Let x = r - -5. Is x less than -1?
False
Suppose 0 = 2*j - 4*w + 98, -j - 43 = 3*w - 2*w. Let g be -3 + (-9)/(j/110). Is g less than 18?
False
Suppose 2*y = -69 + 67. Which is smaller: y or -1/190?
y
Suppose -5*t - 33 = -2*t. Let c be t + -12 - (-2 + -1). Is c at most -21?
False
Let s = -39 - -27. Let a be (-23)/s + 1/(-6). Is a at most as big as 1?
False
Let d = -280.8 + 249. Let r = d - -32. Which is smaller: -1 or r?
-1
Let x be (-10)/(-15) + (-1066)/1590. Which is bigger: -1 or x?
x
Suppose 5*a - 8 = -2*l + 4*a, 8 = 2*l - 2*a. Suppose 4*w - l*b = -8, 3*w + 4*b = 4*w - 4. Let r(o) = 2*o + 9. Let n be r(w). Which is smaller: n or -1/6?
-1/6
Let y = -524.3 - -526. Which is smaller: y or -0.1?
-0.1
Let n(l) = -9*l + 61. Let m be n(20). Which is smaller: -118 or m?
m
Let g = -1809/380 + 19/4. Let h = 37/95 - g. Which is greater: -0.3 or h?
h
Suppose 0 = 3*f - 3*v + 276, -5*f + 4*v = 141 + 322. Is -95 at most f?
True
Suppose r - 12 = -3*r. Suppose 2*z - 23 = -15. Suppose -15 = 5*n, -4*a + n - z = -r. Which is bigger: -4 or a?
a
Let v(n) = -n - 17. Let o be v(-18). Let b = -34 + 60. Let i be 6/(-3)*(-2)/b. Which is smaller: o or i?
i
Let c = -0.1 - 0. Let f be (2/15*-6)/((-4)/(-90)). Let t be (-6)/(-4) + f + 16. Is t smaller than c?
True
Let p = -4.58 - 831.42. Let i = -799.9 - p. Let b = -36 + i. Is b less than or equal to -10/3?
False
Let y be (-8)/(-6)*228/152. Which is smaller: 20/9 or y?
y
Let g = -0.92 - 0.08. Let w = g + 1. Let c = -6 + 5.78. Which is smaller: w or c?
c
Let j = -33 - -24. Let q = 9 - 3. Let o = q + j. Is -5 greater than o?
False
Let z be 0/(-2)*(-4)/8. Suppose z = -10*i + 2*i. Which is greater: i or 12/17?
12/17
Let s be 1/2*2 - -2. Suppose 5*u + n - s*n - 1 = 0, 5*u - 5*n - 10 = 0. Let t be (-27)/3 + (-2358)/(-270). Which is bigger: u or t?
t
Suppose -144*y - 1 = -145*y. Let z = 2/131 + -276/917. Which is smaller: z or y?
z
Let o = -26.7 - -21.7. Let j be ((-2)/14)/(4/(-14)). Which is bigger: j or o?
j
Let o(n) = -n**2 - 6*n + 11. Let x be o(-7). Suppose d - 4*i + 3 = -0, 2*d - x*i - 10 = 0. Do d and 17 have different values?
True
Let d = -13.3018 - -0.0018. Is d <= 2/7?
True
Let v be (-122 - -120)/(1/(-14)). Which is greater: v or 13?
v
Suppose 3*d + 4*j + 12 = 0, 30 = -3*d + 3*j - 3. Let b(q) = 4*q - 5. Let i be b(-5). Let t = d - i. Which is greater: 18 or t?
18
Let c be -5*4/(-12)*-3. Let t = 7 + c. Let x(d) = d**3 - 3*d - 2. Let j be x(t). Is j at least as big as -3/20?
True
Suppose -4 = -n - n. Suppose 4*f - d = -14, 7*f = n*f - d - 13. Is -26/15 at least as big as f?
True
Suppose -2*l = 2*x - 4, 0 = -2*x - 0*x + l - 2. Let p = 9371894/15 + -625015. Let b = 222 + p. Which is smaller: b or x?
b
Let t = 422.996 + -423. Which is greater: 2/3 or t?
2/3
Let s = 146.12 + -146. Let z = s - 0.065. Is z bigger than 0?
True
Let a = 6374/81 - 236/3. Let h = -140/891 - a. Which is smaller: -11 or h?
-11
Let f = -0.0048 + -56.9952. Which is bigger: f or -0.1?
-0.1
Let b = 1601 - 925. Do b and 677 have the same value?
False
Let y be (-92)/1748*(-3)/((-6)/4). Let n(w) = w**2. Let i be n(1). Which is bigger: y or i?
i
Let a = -3.8 + -0.2. Let q = -2/29 - 779/58. Let z = -14 - q. Which is smaller: z or a?
a
Suppose 2 = -0*l + 2*l. Suppose 63*j - 59*j - 8 = 0. Let n be 2*(j/(-8) + (-208)/(-960)). Which is smaller: l or n?
n
Let d be 3 + -3 + 1 + 32/(-36). Is -0.07 less than d?
True
Let s = -32 - -27. Let w = -6 - s. Which is greater: -0.11 or w?
-0.11
Let v = -68 - -104. Let a = v - 37. Let x = 0 + -0.2. Which is smaller: x or a?
a
Let w(v) = -v**3 - 7*v**2 + 10*v + 98. Let r be w(-6). Are r and 9 non-equal?
True
Suppose 3*a - 9 = 2*k - 5*k, 0 = a - 1. Let g be -2*k/12 + (-2)/30. Let j = -0.83 + -0.07. Is g bigger than j?
True
Let h(a) = -2*a**2 + 0*a**2 + 4*a + 11 - 11. Let i be h(2). Which is greater: 3/52 or i?
3/52
Suppose 2*z - 2 = 4. Suppose -z*v - 2 - 1 = -3*y, 0 = y - 2. Let a be -1*(-5 - -7) + (-44)/(-18). Is a at least as big as v?
False
Let j(o) = -11*o - 1. Let y be j(-1). Let p = y - 16. Let r be (15/(2 + 3) - 7) + -1. Which is bigger: p or r?
r
Let q = 0.482 - -0.128. Let x = 0.39 + q. Is x smaller than -4?
False
Let x = 16/143 + -31/13. Is 2 less than x?
False
Let v(s) = -s**2 + 5*s + 3. Let b be v(6). Let a(c) be the second derivative of c**3/2 - c**2 - 9*c - 2. Let o be a(b). Is -10 equal to o?
False
Let t(n) = -n**2 + 3*n + 4. Let q be t(3). Let j(o) be the first derivative of o**4/4 - 5*o**3/3 + o**2 + 5*o - 51. Let x be j(q). Is x at most as big as 1?
True
Suppose 4*o - 