 Which is bigger: k or 1?
k
Let h(u) = -u**3 - 2*u**2 + 1. Let j be h(-2). Let d be (j - (-8 - -3))/(-2). Is -3 at most as big as d?
True
Let b be 10/(-55)*9/(-2). Which is smaller: b or 2?
b
Let z = -18 + 18. Which is greater: 1 or z?
1
Let b = -132 + 67. Is b at least -66?
True
Suppose 0 = -4*x + 16, -n - 4 = -5*n - x. Which is smaller: 7/5 or n?
n
Let n = -1.1 - -4.7. Is -1 > n?
False
Let w = 31 + -30.4. Is -3 at least as big as w?
False
Suppose -10 = i - 35. Is i at least as big as 25?
True
Let x = -18.6 - -16. Let r = -0.3 + x. Let b = r - -3. Do b and 0.3 have the same value?
False
Let b be (9 - 3)*(-3)/(-6). Suppose -3*z + 4*o + 9 = 0, -o = -z - b*z + 25. Let u = z - 8. Do u and -1/4 have the same value?
False
Let y = 170 - 4763/28. Let n be 748/(-336) - (-6)/2. Let u = n + y. Is u at least as big as -1/2?
True
Let j = -2/47 + -11/846. Which is bigger: j or 2/9?
2/9
Let r be 4/(-10) + (-1)/10. Let s = -0.02 - -12.02. Let l = s - 15. Which is smaller: r or l?
l
Let h(a) = 6*a**2 - 2*a**2 - 3*a**2 - 2 - 5*a. Let x be h(6). Suppose -4*s + 4*l = 5*l - x, 5*l = 0. Are s and 2 equal?
False
Let r = 70/369 + 4/123. Let v(m) = 3*m - 3. Let z be v(2). Suppose -6 = -q - 2*x + x, z*x = -4*q + 19. Which is greater: q or r?
q
Let i = -181/60 + 11/4. Is -1 < i?
True
Let l be 6/(0 + 3) - 1. Suppose 0 = 5*f - 14 - 21. Suppose l = -3*m + f. Is m >= 0?
True
Let s = 24 + -23. Is -0.06 at most as big as s?
True
Suppose 11 - 1 = 5*j. Let u = -102 + 102. Is u > j?
False
Let z = 4787/18 + -266. Which is smaller: 1 or z?
z
Suppose -3*t - 35 = -14. Does -8 = t?
False
Let m = -0.08 - 0.02. Which is smaller: m or 4?
m
Let b be ((-1510)/(-990))/(2/(-4)). Let r = -36/11 - b. Which is greater: 0 or r?
0
Let s(h) be the first derivative of -h**3/3 - h**2/2 - 4*h + 2. Let q be s(-3). Let t be ((-8)/20)/(6/q). Does 0 = t?
False
Let l = 27 + -18. Let j = -6 + l. Is 1/2 at most j?
True
Let q be ((-2)/(-8))/((-1)/(-293)). Let u = q + -72. Is 1 at most u?
True
Let x(d) = -d**2 - 2*d - 2. Let q be x(-2). Suppose 2*r + 2*r + 4 = 0. Let p = r - q. Which is greater: 2/7 or p?
p
Let s(n) = -n**3 + 4*n**2 - 5*n + 5. Let r be s(3). Which is greater: 1/25 or r?
1/25
Let t = -119 - -836/7. Which is bigger: t or 1?
1
Let t = 30 + -29. Let v(i) = -i - 4. Let k be v(-5). Is t < k?
False
Let a = -191997 - -8447475/44. Let f = -35/4 - a. Is 1 greater than f?
True
Let b = 6 + -8. Which is bigger: b or 1?
1
Let t = 17 - 6. Let o = -8 + t. Suppose -8 + o = -z. Does -0.1 = z?
False
Let s = 5.2 - -0.8. Let p = -2 + s. Let n = 2 - p. Which is greater: n or 0?
0
Let m = 52/47 + 2387/94. Let z = -27 + m. Is -4 at least as big as z?
False
Let c be 12/2 + (3 + -2 - 5). Is c at least -5?
True
Let f be (-1 - -1) + (-10348)/(-28). Let q = 369 - f. Let m = q + 9/28. Which is bigger: 0 or m?
0
Suppose 0 = 4*p + 5*j - 35 + 6, 5 = j. Is -1/26 smaller than p?
True
Suppose 3*c = -2*h + 7*h + 26, 5*c = 4*h + 26. Is c not equal to 0?
True
Let j = 25 - 25.13. Let z = j + 0.03. Which is smaller: z or -7?
-7
Let q be (-12 - -9) + (-6)/(-2). Which is smaller: q or -1?
-1
Let g = -277 - -275.5. Let t = -1 - -1. Is t >= g?
True
Let j be ((-6)/(-4))/(1/(-2)). Suppose 1 = -3*r + 4. Let t = j + r. Is -2 less than or equal to t?
True
Let s be 3/(-9)*3/16. Which is greater: s or 0?
0
Let v = 947/6 - 158. Which is smaller: 1 or v?
v
Let o = -22 - -14. Let b = 1 - 7. Let r = b - o. Which is smaller: r or 1?
1
Let b be 1/(-3) + 118/318. Is b >= 1?
False
Let u be (1 + 2)*8/(-12). Let w = -1 - u. Suppose 3*z - 2*z = -w. Is -2 > z?
False
Let w be ((-66)/21)/(5/(-7)). Is w bigger than 3?
True
Let x be ((1 - -1) + -15)/(-1 - 0). Is 57/4 bigger than x?
True
Let m = 4 - 4.1. Are m and -1/3 unequal?
True
Let w = -2/37 + 309/6401. Is -1 less than or equal to w?
True
Let w = -21 + 19. Let g be 56/16 - w/4. Which is smaller: 2 or g?
2
Suppose d - 3 = -2*d. Let y be (-2)/(d - (-111)/(-117)). Let u = y + 272/7. Is 0 at most u?
False
Let w = 2.97 - 3. Let g = -1.03 - w. Let v = 2 + -1. Is v less than g?
False
Suppose 4*f - 8*f - 264 = 0. Which is greater: -67 or f?
f
Suppose -2*s = 5*a - 31, 2*a - 5*a - 3*s + 24 = 0. Let v(l) = l**3 - 3*l**2 + 3*l - 3. Let w be v(3). Which is smaller: w or a?
a
Suppose g - 5*m = 11, -3*g + 4*g + 3*m + 5 = 0. Let i be (-6)/21 + 23/7. Suppose -x = -4*f + g, x = -5*f - i + 2. Is -1 greater than or equal to x?
True
Let a = 0 - -0.1. Let h = -70.98 - -69. Let y = -0.02 + h. Is y at most a?
True
Let x = -0.16 - -0.36. Is 1 less than x?
False
Let w be 34/4 - (-3)/(-6). Let a be w*-1 - (-9 + 6). Let p = 3 - 7. Is p at most as big as a?
False
Let h(l) = -l**3 + 5*l**2 + 8*l - 7. Let i be h(6). Let a be (-21)/(-6) + (-6)/(-4). Suppose -a*x = -5*k - 0*k + 10, -i*x - 18 = 3*k. Is x >= -3?
True
Let z = -0.17 + 1.17. Suppose 2*g = -g + 6. Suppose -g*n - 2*n + 3*k + 31 = 0, 5*n + 2*k = 10. Which is bigger: z or n?
n
Let h(w) = -w**2 + 8*w - 7. Let g be h(6). Which is smaller: g or 4?
4
Let d = -72 + 719/10. Is d <= 0?
True
Let u = 18 + -55/3. Which is smaller: 1 or u?
u
Suppose -2*r + 8 = d + r, -2*d + 3*r + 7 = 0. Let y = d - 5. Is -1 equal to y?
False
Let l = -69 + 144. Do l and 147/2 have different values?
True
Let t(x) = -x**2 + 8*x. Let q be t(6). Let w = 56/5 - q. Which is smaller: 0 or w?
w
Suppose g - 4 = 4*q + 1, 5*g - 4*q = 9. Let j be g/3 - (-15)/9. Suppose -9*z = -2*z - 7. Is j less than z?
False
Let s be 1/(-2)*0/(-5). Suppose b + b = s. Are b and -2/17 unequal?
True
Let k be 1*-1*(-1 - 2). Let v = -11/45 + 7/15. Which is greater: k or v?
k
Let p be (2*(-5)/3)/((-8)/(-48)). Is p bigger than -17?
False
Let o(y) = y**2 - 2*y - 2. Let l be o(2). Suppose -2*h = -h - 2. Suppose 0 = 5*p + 4*r - r + 24, 3*p = -h*r - 15. Are l and p unequal?
True
Let y = 108.3 - 128. Let d = y + 20. Let q = -0.9 + 1. Is d < q?
False
Let i(m) = 3 - 4 + 5*m**2 + 0 + m**3 - 4 - 7*m. Let z be i(-6). Is -1/7 less than or equal to z?
True
Suppose 3*s = 5*s. Let t be 76/28 + s + -3. Let j be 0 - (0 + 1)/(-1). Is j greater than t?
True
Let r(t) = -t**2 - 2*t + 2. Let a be r(-3). Suppose -12 = -5*k + 13. Suppose -7 = -k*y + 4*c - 0*c, 2*c + 6 = 0. Are a and y non-equal?
False
Let g = -363/5 - -73. Is -13 bigger than g?
False
Let y be 2/4 - (-27322)/427. Let f = 6/427 + y. Let d = f - 63. Which is smaller: d or 2?
d
Let t = -8 + 4. Let w(r) = r**2 + r - 2. Let d be w(-3). Let f = d + -7. Are f and t equal?
False
Suppose -y = 3*y. Let p be 4/6*171/4. Let b = -631/22 + p. Is y at most as big as b?
False
Let o = 1 - 0. Let g = 442/749 + -2/107. Which is smaller: o or g?
g
Let d = 4 + -3. Suppose -7*s + 3*s = 24. Which is smaller: d or s?
s
Let o = 1 - -2. Let b(v) = -3*v**2 + 1 + v**o - 1 + 2. Let t be b(3). Which is smaller: t or 1?
1
Suppose -9*v + 7*v = -18. Suppose -d + 9 = s - 0*s, 4*s - 37 = -5*d. Which is greater: s or v?
v
Suppose v - 2*v - 10 = 3*z, 14 = -4*z - 2*v. Let d = 6/641 + -12886/7051. Let o = d - 15/22. Is o at most z?
False
Let l be (-7)/((-210)/(-81)) + 3. Suppose 0 = 2*r + r. Which is greater: l or r?
l
Let z = 293/5 + -59. Suppose 5*i = 2*i. Let t be i*(-1)/(2 - 1). Do t and z have the same value?
False
Let v = -9 + -11. Let g = v + 20. Which is smaller: g or -0.03?
-0.03
Let q = 4141/264 - 167/24. Which is greater: 8 or q?
q
Let k be (17842/112)/((-82)/4). Let z = -6/287 - k. Let s = z - 581/76. Are s and 1 equal?
False
Let j be -10*(-5)/140*(-4)/85. Are -1 and j unequal?
True
Let g = 0.09 + -0.09. Let q = 2.9 - 3. Let u = g - q. Is 1/3 >= u?
True
Let u = 6.4 - 9.4. Which is greater: -1 or u?
-1
Let r = 73.1 + -73. Do -19/4 and r have different values?
True
Suppose 0 = -k + 4*k + 36. Which is smaller: k or -11?
k
Let h(a) = -a**3 - a**2 - a + 5. Let s be h(0). Let c(t) = -t - 2. Let g be c(s). Is g smaller than -7?
False
Let x = -7 - 8. Is -1 smaller than x?
False
Suppose 0*q = -q - p - 11, -3*p = 2*q + 22. Which is smaller: 0 or q?
q
Let o be 0 + 1/(-1) + 4. Suppose 5*r = o*r + 14. Suppose 4*p - 10 = -5*i, -2*p + r*p - 21 = -2*i. Which is smaller: -6/11 or i?
i
Let x = -99 - -1285/13. Let u = x + -20/39. Does u = -0.1?
False
Suppose -6*p + p - 5 = 0, 2*a - p = 5. Is a > 4?
False
Let l be (-8)/(-10)*35/434. Let n = l - -17/217. Which is smaller: n or -1?
-1
Let i = -2376 - -26118/11. Which is greater: -1 or i?
-1