Which is smaller: m or 3?
m
Let d(l) = -l**3 + 8*l**2 - l + 9. Let v be d(8). Which is greater: v or 8/9?
v
Let o be 380/3 - (-4)/12. Suppose 3*l = 25 - o. Let f = -304/9 - l. Which is smaller: -2/7 or f?
-2/7
Let x be ((-4)/(-8))/((-5)/2). Let q be (-8)/20 + 2/5. Are q and x equal?
False
Let p(s) = -2*s**3 - s**2 + s - 2. Let c be p(-2). Let j(a) = 2*a - 11. Let h be j(c). Let o be 3 + -5 + 7/h. Which is smaller: -1 or o?
-1
Let j = -6.5 - -6. Let w = -0.5 - j. Is 1/8 bigger than w?
True
Let u = 3/62 - -35/558. Let j = -45 - -45. Which is smaller: u or j?
j
Suppose -6*k + 2*k + 8 = 0. Suppose r + 5*u + 19 = 0, 0 = 5*r - k*u + 55 + 13. Let l be r/(-4) + 3 + -5. Which is smaller: 2 or l?
l
Suppose -4*n + t + 32 = 0, 13 = -n - 2*t - 3*t. Suppose -17*c + 20 = -82. Is c less than or equal to n?
True
Let i = -376 + 1240/3. Let o = i + -38. Which is smaller: 2/9 or o?
o
Let i = 6 - 4. Let u be ((-651)/15)/((-2)/(-6)). Let m = u - -131. Which is smaller: m or i?
m
Let j(y) = -y**2 + 8*y + 8. Let p be j(6). Do p and 20 have different values?
False
Let f be ((-5865)/108)/5 + 3. Let w = f + 31/4. Which is greater: w or 1?
1
Let o = -1222 - -8516/7. Let a = o + 27/14. Which is greater: a or -4?
a
Let f = -6 + 2. Let p be 10/f*147/(-30). Let s = p - 253/20. Is 0 less than or equal to s?
False
Let j be -2*((-3)/6 + -1). Do 1 and j have the same value?
False
Suppose 3*l + 9 - 24 = 0. Suppose -3*d = -6, 2*u - l*d + 40 = -3*d. Let w be u/14 + (-4)/(-14). Which is smaller: 1/4 or w?
w
Let k = 28 + -24. Let a be 4/(-10) - (-16)/(-10). Let f = k + a. Which is greater: 3 or f?
3
Let s = 3 - -3. Is s > -2?
True
Suppose 4*d = -4*s - 9 + 1, d = -2*s - 1. Let v be s/2 + 4/(-8). Suppose 2*o + 5*k - 25 = 0, 0*o + 4*o - 3*k = -15. Is o at least v?
True
Let o be -3 + -55 - (10 - -2)/(-3). Is o equal to -53?
False
Let p be 1 + (1 + -2 - -1). Let u(f) = 3*f**2 - 2*f + 1. Let w be u(p). Which is smaller: w or 8/9?
8/9
Let b be 1*(0 + 3/24). Is -1 at least b?
False
Let m(a) = -18*a - 2. Let z be m(1). Which is smaller: -21 or z?
-21
Suppose -2 + 1 = q. Let w be (-2)/(-7)*(-9)/6. Let r = w + 19/28. Which is bigger: q or r?
r
Let i = 0.9 - -17.1. Let w = i - 17.93. Is -0.1 smaller than w?
True
Let u be 1/(90/12) - 2/6. Let b be 2/(-3) - (-2)/3. Which is smaller: u or b?
u
Let m = -4 + 5. Is 1/17 less than or equal to m?
True
Let u = -5 - -7. Suppose 0 = 6*p - u*p - 20, -5*s = -p + 5. Let q = -77 + 386/5. Which is smaller: q or s?
s
Let n = -1 - -9/7. Let z = -24 + 25. Is n >= z?
False
Let b = 21.042 + -0.042. Is 2/7 bigger than b?
False
Let r(a) = -3*a + 8. Let g be r(6). Let y be (-4)/g*(-5)/9. Is y less than -0.2?
True
Let b = 6 + -9. Suppose 0 = 4*f - 12, -5*f = 4*h - 0*f - 7. Are h and b nonequal?
True
Let w be (-1 - -5) + 1288/(-324). Is w <= -1?
False
Let v = 37 - 191/5. Is -1 at most v?
False
Let d(j) be the first derivative of 1/2*j**2 - 1 + 4*j. Let z be d(-6). Do -1 and z have different values?
True
Let c = 3.09 - 0.09. Let p = c - 3.4. Is 0 greater than p?
True
Suppose 0 = -2*o + 4*o + 4. Suppose 18*n - 16*n + 6 = 0. Which is smaller: o or n?
n
Let q = -7 + 14. Suppose 6*a - 63 = -3*a. Is a <= q?
True
Let v be (25 - 27) + 77 + 1. Is 76 equal to v?
True
Let g = -0.019 - 0.281. Suppose u = 5*k + 18, 2*u = 2*k + 13 - 1. Suppose 0*l + 4*l - r = 0, -u*l - 2*r = 0. Is g less than l?
True
Let u = -69 - -68.74. Which is greater: 0 or u?
0
Suppose -4*c - 7 = -3. Is c >= -14/11?
True
Let v = -784/3 - -259. Which is bigger: 0 or v?
0
Let i be (-12)/(-7) + 6/21. Suppose 35 = -4*k - a, 7*a = 4*k + i*a + 65. Let o be k/25 - (-32)/30. Is o > 0.3?
True
Let n = -648/5 - -1101/10. Is n > -19?
False
Let s(n) = -n**2 - 8*n + 10. Let k be s(-8). Let l be 2/(-4) - (-6)/4. Do k and l have different values?
True
Let m be (6/(-8))/(147/56). Is 1 at least m?
True
Suppose -x - 4*x - 5 = 0. Let i = -4 + 2. Which is smaller: i or x?
i
Let a be -5 + (27 - 5) + 3. Is 20 greater than a?
False
Let j be -4 + 4 + 3/(-13). Which is greater: -1 or j?
j
Let j be ((-16)/(-14))/(90/28). Let l = -167 - -2507/15. Let r = j - l. Which is smaller: r or 1?
r
Suppose 0*z + z = -8. Let j = z + 16. Suppose -j*a = -3*a. Which is bigger: 4/5 or a?
4/5
Let y(a) = a**2 + 4*a - 7. Let u be y(-6). Suppose 0 = -5*s - u*n - 25, n = -0*n + 1. Let o be s/8*(-2)/3. Do 0 and o have the same value?
False
Let w(x) = 6*x - x - 3*x + 4. Let l be w(-3). Let t = l + 3. Is 1/6 equal to t?
False
Suppose 39*p + 45 = 48*p. Is -2 bigger than p?
False
Let q = 1.99 + 0.01. Let n = 0 + q. Is 1 <= n?
True
Let z = 80 + 139. Suppose z - 849 = 5*y. Let s = y + 880/7. Do s and 1 have different values?
True
Suppose 5*x - 5 = -25, -4*z - 4*x - 16 = 0. Let c be z*(-1 + 0)*-1. Suppose 7*v = 6*v - 1. Which is smaller: v or c?
v
Let i be 1*-1 + 4 + 2. Let q(n) = -n + 2. Let f be q(i). Let h be ((-2)/(-1) + f)*0. Is -1 equal to h?
False
Let q be (-9)/(-6)*(-8)/(-6). Let r(l) = l + 2. Let g be r(-3). Let b = 4 + g. Which is greater: b or q?
b
Let f = -4345/3714 + 2/619. Do f and -1 have different values?
True
Let p be (0 + 1)*80/(-5). Let q be (-1718)/(-20) + 8/p. Let i = -85 + q. Is i smaller than 2/5?
False
Let l(c) = c**3 + 8*c**2 + 4*c - 9. Let n be l(-7). Suppose -n*f + 7*f - 10 = 0. Which is smaller: f or -4/3?
f
Suppose 0 = -2*d - 5*z + 20, -2*z + 6 = -3*d - 2. Suppose d*j = 4*j - 8. Suppose -3*k + k - j = 0. Is k bigger than -1?
False
Let n = 803911/289770 - -143/2229. Let z = n - 33/13. Is 1 equal to z?
False
Let q be 0/(1/(2/(-4))). Let w = 27/80 - -1/16. Which is bigger: q or w?
w
Let n = 0.14 + 11.86. Let b = n - 11. Is -1/4 at most b?
True
Suppose 3*t = t - 28. Let d be (-38)/t + (-8)/(-28). Let b be ((-96)/9)/4 + 3. Is d != b?
True
Let c = 2 - 3. Which is smaller: c or 0.12?
c
Let c = 42 + -29. Is c < 0.2?
False
Let p(i) = -i - 1. Let z(s) = -3*s - 5. Let g(m) = 2*p(m) - z(m). Let b be g(-4). Which is smaller: -1/2 or b?
b
Let l = 32 - 17. Is 1 <= l?
True
Let z = -2 + 1. Suppose 0*a = a - 15. Let q be (1/(-3))/((-5)/a). Which is smaller: q or z?
z
Let s = 0.25 - 0.45. Let p = 1 - 2. Let a be (1/(-2)*-2)/p. Which is smaller: s or a?
a
Let z be (2 - (-56)/(-21)) + 17/12. Suppose -6*t + 2*p = -2*t, -5*p = -t - 9. Are t and z unequal?
True
Let x(c) = c**2 + 8*c - 2. Let t be x(-8). Let g be 988/(-11 + t + 4). Let q = g + 110. Which is smaller: q or 0?
0
Let c(m) = -m**2 - 6*m + 3. Let k be c(-5). Suppose 4*h = k, p - 3*h - 3 = -6*h. Let d be ((-1)/(-3) - 0)*p. Which is greater: d or -2?
d
Let p(o) = o**2 - 6*o + 2. Let u be p(6). Suppose -3*j - 2*j + 10 = 0. Let g = u - j. Which is smaller: 1 or g?
g
Let j = 12612416 + -3935069947/312. Let b = 99/8 - j. Which is smaller: 0 or b?
0
Let p(u) = 3*u - 2. Let t be p(2). Let r = t + -4. Is -1 greater than r?
False
Let d = 1794 + -5435/3. Which is greater: 0.1 or d?
0.1
Let m = -5 + 9. Which is smaller: m or -2/11?
-2/11
Let p = -20 - -18. Which is bigger: -1 or p?
-1
Let g(b) = b**3 + 5*b**2 + 3*b - 4. Let k be g(-4). Let w be (-2)/(-4)*k + -6. Let n = 6 + w. Do n and 2/3 have different values?
True
Let k = 4.1 + -4. Let a = -16 + 14.8. Let t = 0.2 + a. Is t at most as big as k?
True
Let b be (-1)/(-3)*(-6)/(-4). Let h = 10 + -14. Let i be 1*-1*(3 + h). Is i equal to b?
False
Let w(a) = -a**2 - 6*a - 8. Let m be w(-6). Let r = m - -13. Suppose -13 = 2*h + 5*i, r*i = -3*h + 4*i. Which is bigger: h or 2?
2
Let u be (-10)/((-4 - -1)/(-3)). Let k(r) = -r**2 - 9*r + 10. Let y be k(u). Which is bigger: 5/4 or y?
5/4
Let f = -7 + 10. Let s be (-3)/(-4) + f/12. Let a be -2*2*s/(-4). Which is smaller: 3/4 or a?
3/4
Suppose 0 = 5*y - 3*q, 3*q = 3*y - 0*q + 6. Suppose y*g = 3*d + 6 + 6, 0 = -4*d + 2*g - 20. Is 0 at most as big as d?
False
Let l = -13.9 - -2.9. Let q = l - -7. Let n = q - -4.1. Which is smaller: n or 2/5?
n
Suppose -3*v - 2*r = -92, -47 = -3*v - 3*r + 43. Which is smaller: v or 31?
31
Suppose -8*x + 12 = -12*x. Do x and -2/21 have the same value?
False
Let x(n) = n**2 - 8*n - 3. Let h be x(9). Let s(a) = -a + 6. Let d be s(h). Suppose 3*r + 6 = -4*w, -4*w + w - 9 = d. Do r and 1 have different values?
True
Let z = 5.4 - 6. Let y = 0.7 + -1.2. Let x = y - z. Is -4 greater than x?
False
Let z = -0.55 - -0.45. Which is bigger: 1/8 or z?
1/8
Suppose 3*m = -5*b + 21, 3*m - 7*m = 4*b - 36. Whi