hich is smaller: -5/6 or a?
a
Let o be -1 + 3/(9/(-12)). Let n be o/(40/6) + 0. Is n greater than or equal to -1?
True
Suppose 2*q = q + 2. Let f = q - 6. Which is smaller: f or -1?
f
Let v = 17 + -12. Suppose 3*s = v*s - 2*a, a - 2 = 0. Is 1 greater than or equal to s?
False
Let l(k) = -k**2 + 9*k - 2. Let c be l(9). Let u be c/(-2) - (0 + 1). Is u at least as big as -2/7?
True
Suppose h + y = 14 - 28, 3*h - 4*y = -21. Are h and -10 unequal?
True
Let w = 2/7 - -8/21. Which is bigger: w or -58?
w
Let p = 84 + -83. Is p less than 2/141?
False
Suppose -2*d - 2*a - 2 + 4 = 0, 0 = d - 2*a + 8. Let g be 0*(d + 4)/(-2). Let i be (2 + -2)/(0 - 1). Is g not equal to i?
False
Let m(a) = -2*a - 3. Let q be m(-2). Suppose -o + 3*f = 0, 2*o = -o + 2*f + 7. Let g = o + -2. Is g at most as big as q?
True
Let y(o) be the first derivative of -o**3 + o**2 + o + 1. Let i be y(-1). Let s be ((-7)/5 + 3)/(16/(-40)). Is i less than s?
False
Let u be ((-152)/(-150) - 1)*(-414)/1311. Which is smaller: -1 or u?
-1
Let k be (0 + -1 + -1)/1. Let a(g) = g**3 + 8*g**2 + 3. Let b be a(-8). Let o be 5*((-6)/5)/b. Is o greater than k?
False
Let p = -0.61 + -0.39. Is p at least as big as 2/57?
False
Let k = -19 - -19.4. Does k = -1?
False
Let b(t) = -t**2 - 10*t - 2. Let z be b(-10). Let i be (0/1)/(z/(-2)). Is 6/5 at most as big as i?
False
Let h be 3/(-10)*4/((-180)/25). Which is smaller: -1 or h?
-1
Let q = -31 + 32. Is q not equal to 3/17?
True
Let s be (-38)/(-12) - 27/18. Is s not equal to 2?
True
Let y = 174 + -691/4. Let s = -0.4 - -0.3. Which is greater: y or s?
y
Let g = -2 - -6. Which is smaller: 5 or g?
g
Let b(f) be the third derivative of f**5/60 - f**4/6 - f**2. Let s be b(4). Let p = -0.5 + -2.5. Is s equal to p?
False
Suppose -9*l - 26 = 37. Is -2 at most as big as l?
False
Let n = 30 - 33. Let y(z) = -z**3 + z**2 - z - 1. Let o be y(0). Does n = o?
False
Let g be 790/8 + 17/68. Is 99 at least as big as g?
True
Let j be (7 + -6)/(1/(-3)). Let t be (j/3)/(-5 + -2). Which is smaller: -1 or t?
-1
Let j = -691 + 687.59. Let f = 5.28 + j. Let b = -1.8 + f. Which is smaller: b or 1?
b
Suppose -4*s - 211 = -47. Is s <= -41?
True
Let v = -1.6 - 13.4. Let d = -15.8 - v. Is d < 1?
True
Suppose 24 = 14*d - 2*d. Which is bigger: 5 or d?
5
Let d = 5 + -1. Suppose 3*f = -d*q - 38, -f + 9 = 2*q + 23. Are f and -11 unequal?
True
Suppose 3*z = -0*z - 3. Let v = -4 - z. Let g = v - -3. Is -1/8 > g?
False
Suppose 4*z = -5*j - 38, 5*z + 70 = -2*j + 14. Let p be 4*((-21)/z - 1). Is 3 bigger than p?
False
Let z = 10 - 17. Do -11/2 and z have the same value?
False
Let t(g) = -2*g + 1. Let q be t(2). Let f = -4 - q. Let w be (-3)/18*3/2. Which is smaller: f or w?
f
Let v(a) = 4*a**3 - 2*a**2 + 4*a. Let u(x) = 5*x**3 - 3*x**2 + 5*x. Let b(r) = 3*u(r) - 4*v(r). Let i be b(-1). Is 1 bigger than i?
False
Let f = 64 + -71. Is f at least -23/3?
True
Let w be -2*(-7)/(42/(-9)). Are -22/7 and w unequal?
True
Let w be (-2)/14*14/(-20). Let h(k) = -2*k**3 + k. Let j be h(-1). Which is smaller: j or w?
w
Let v be 6*(-6)/(-18 + 0). Let y be (-5)/(-4) - 2/(-8). Which is smaller: v or y?
y
Let d be 412/(-30) - (-14)/35. Let i = d - -446/33. Is i <= 1?
True
Let t = 60 - 82. Which is greater: -19 or t?
-19
Let a = -0.13 + 0.38. Is 2 > a?
True
Suppose 0 = -5*k + 3*g + 202210, 2*k - 161768 = -2*k + 2*g. Let f = k - 606848/15. Let v = f - -76/5. Which is smaller: v or 0?
0
Let t = 37 - 160. Let h = 619/5 + t. Is h <= 1?
True
Let k(o) = -o**3 - 3*o**2 - o + 2. Let t be k(-3). Let s(j) = j**2 - 4*j - 2. Let r be s(t). Let a be ((-12)/(-54)*-6)/(1/(-3)). Which is greater: r or a?
a
Suppose -17 = -5*i - 12. Is 12 < i?
False
Let n = 6 + 0. Let z = 1 - n. Let l = 1 + -2/3. Is l smaller than z?
False
Let f = -5 + 3. Which is bigger: f or -3?
f
Let m be -1 - 5/((-40)/6). Let u = 7/12 + m. Let h = 0 + 0. Which is greater: h or u?
u
Suppose -106*z = -108*z. Which is bigger: 1/2 or z?
1/2
Let t = 37 + -35. Suppose 3*h + 4 = 7*h. Which is smaller: h or t?
h
Let i = 1 + -7. Let k = 5.9 + i. Are k and -0.2 non-equal?
True
Let x be 3/(-9)*(-3)/(-4). Suppose -7*i + 10 = -2*i. Let b(p) = -p**2 + 3*p - 2. Let g be b(i). Are g and x nonequal?
True
Let j = -26/23 + 24/23. Let z be 39/26*4/(-6). Which is greater: j or z?
j
Let r = -21.9 + 21. Let w = -2.9 - r. Is 0 != w?
True
Let l = -4 + 9/2. Suppose 2*c + 2*c - 8 = 0. Suppose c*m - m + 4*h = -20, -15 = -2*m + 3*h. Is l bigger than m?
True
Let j = -19 + 19. Let a = -1.3 + 0.6. Let q = 0.3 + a. Which is greater: q or j?
j
Suppose 0*i + 18 = -2*i. Let t be (i/(-6))/((-3)/(-4)). Let h be 1/(2/4) + 0. Is h less than t?
False
Let z = -7 - -9. Let g be 3/6*3*z. Let o = g + 5. Do 8 and o have different values?
False
Let b be (-2155)/(-20) + (-1)/(-4). Let p be b/231 + (-2)/11. Is -1 bigger than p?
False
Let g = 419/340 + 3/170. Let j(u) = -u**2 + 9*u - 7. Let x be j(7). Let c = x + -6. Which is bigger: c or g?
g
Let l be ((-12)/8)/((-3)/(-28)). Let d be 2/(-6) + l/(-6). Suppose 0 = -0*c + d*c + 2. Are -1 and c nonequal?
False
Let q = -191235/119 + 1607. Let i = 591/238 - q. Which is greater: 2 or i?
i
Let o = -0.03 + 1.23. Let y = o + -0.2. Let i = 21.9 + -22. Which is smaller: y or i?
i
Suppose h + h + 8 = 2*y, h - 4*y = -1. Which is smaller: -6 or h?
-6
Let p = 10 + -9. Which is greater: 3/16 or p?
p
Let z be 4 + -5 - (-1 + -1). Let h be 3/((-12)/16)*z. Which is smaller: h or -1?
h
Let w = 0.097 - -0.003. Which is smaller: w or 27?
w
Let p(o) = o**2 + 5*o - 6. Let l be p(-6). Is l bigger than 2/13?
False
Let a be (-4)/(-14) - 2/7. Suppose -11 = -3*f - 2*i, -2*f + 16 = -0*f - 3*i. Suppose f*q = q. Is q smaller than a?
False
Let y(j) = j**3 - 7*j**2 + 2. Let b be y(7). Suppose b = k + 3. Let f be (1 - 2)*(-1 - -1). Which is greater: k or f?
f
Let p(s) = s**3 - 3*s**2 + 2*s. Let i be p(2). Let t = 13 + -14. Which is smaller: t or i?
t
Let f = 11/9 + -35/36. Which is smaller: f or -14?
-14
Suppose -2*z + 4 = -10. Let y = -9 + z. Which is smaller: -4/7 or y?
y
Let n = -3/161 + 55/483. Suppose 0 = -5*c, -5*q + 0*c = 3*c. Do n and q have the same value?
False
Let b = -0.2 - -1.2. Let i be 1/(-5)*(-2 - 6/12). Is i <= b?
True
Let s(n) = n - n**2 + 5*n + 0*n**2. Let g(b) = 5*b**3 - b + 2. Let i be g(1). Let f be s(i). Which is smaller: f or 2/13?
f
Let c = -150/29 + 31679/6119. Which is bigger: 0 or c?
c
Let l(j) = 6*j**2 + 2*j + 1. Let k be l(2). Suppose -15 = -4*y + k. Which is greater: y or 10?
y
Let i = -81 - -645/8. Let j = 4 - 1. Suppose 0 = -j*v - 0*v + 3. Is i greater than or equal to v?
False
Suppose -2*b - 5*v + 37 = 0, -2*b - 2*v = -23 + 1. Which is smaller: b or 7?
b
Let n be 2*1*(-12)/(-8). Which is smaller: -0.3 or n?
-0.3
Let f be (1 - (-13)/6) + -3. Is f greater than or equal to 1?
False
Let f be ((-2)/(-2))/(((-24)/(-4))/(-72)). Do f and -6 have the same value?
False
Let v = 0 + 3. Suppose -5*m - 2 = -v*m. Let a be m/(1*(2 + -1)). Which is bigger: a or -0.1?
-0.1
Let t be 5/(-18) - (-2)/(-9). Suppose 4*f = -j - 0*j, 0 = -2*f - j + 2. Are t and f non-equal?
True
Let h be ((-4)/(-12))/(2/(-5)). Which is smaller: h or -1?
-1
Let k(o) = -2*o + 2. Let t be k(8). Suppose -2*w + 5*y = -5, -5*w = -w + 2*y - 46. Let p = w + t. Which is greater: p or -5?
p
Let v = -0.058 + 0.058. Is v equal to 19?
False
Let p = -107 + 87. Which is smaller: p or -19?
p
Suppose 0*q + 2*q - 5 = 5*m, q - 3*m = 1. Let n be (-3)/(1 + 11)*q. Which is smaller: -3 or n?
-3
Let w(x) = 2*x - 16. Let h be w(7). Let v be (5/h)/(16/(-32)). Which is smaller: 3 or v?
3
Let w be ((-12)/(-9))/2*3/(-89). Which is greater: w or -1?
w
Suppose j - 2*f = 22, f = -3*j - 3*f + 76. Which is greater: j or 23?
j
Suppose 1 = -5*m - 2*y + 6, -2*m = 5*y - 23. Let x = -3 - 0. Let v be (-2)/x*(-6)/4. Is m less than v?
False
Let u = 0.03 - -9.97. Let l = u + -10. Which is smaller: 0.5 or l?
l
Let y(w) = -w**2 - 5*w. Let q be y(-5). Let f be 1/(-8)*(-5 + -1). Which is smaller: f or q?
q
Let q = -6 + 11. Suppose 3 = q*s - 2. Which is bigger: s or 1/15?
s
Let r(y) = y**3 + y**2 + 2*y + 2. Let s be r(-1). Which is smaller: -1 or s?
-1
Let f = 9 + -14. Which is smaller: f or -1?
f
Let o = 14 - 24. Let g = 14 + o. Let a = g - 4. Which is greater: a or 6/5?
6/5
Let v = -5/26 - 11/78. Is 14 not equal to v?
True
Let l = -7.9 + 8. L