ch is smaller: n or c?
c
Let d be (-3)/(-12)*(-12)/(-9). Is -21 not equal to d?
True
Let z(w) = -w**3 + w**2 + w - 9. Let l be z(0). Which is smaller: l or -1/3?
l
Let r = 100 - 97. Let p be (-15)/(-18) + (-2)/(-3). Which is bigger: p or r?
r
Let j = 0.976 - -0.024. Is j less than or equal to -8?
False
Let n be (-3)/20 + (-2)/8. Let b(l) = 1 - 1 + l**2 + 3 + 4*l. Let y be b(-2). Is n not equal to y?
True
Let h = -3/7 + 13/14. Does h = 2?
False
Let m = 1.7 + 6.3. Let k = -9 + m. Is k not equal to -1?
False
Let i = 0.033 - -0.067. Suppose -2*r - 3*r + 15 = 4*q, 0 = -3*r + 2*q - 13. Which is bigger: r or i?
i
Let s = -0.07 + 1.27. Let g = 0.2 - s. Which is smaller: g or -2?
-2
Let p = 85 + -87. Which is smaller: -36/13 or p?
-36/13
Suppose 2*v - 7 - 4 = -3*n, v + 2 = 0. Let p be (-14)/4*(-2 + 0). Let w = p - n. Is w at least as big as 4/3?
True
Let a = -133/417 - 2/139. Let j = 1 - 0. Is j equal to a?
False
Suppose 3*x = -3*j - 27, -3*x = -0*x - j + 27. Suppose y + 7 + 3 = 0. Is x less than or equal to y?
False
Let u(r) = r**3 + 12*r**2 + 2*r - 14. Let h be u(-12). Is h smaller than -1?
True
Let m be 1 + 0 - -1 - -2. Suppose m*t - 6*t = 0. Which is smaller: t or 1?
t
Let m = 0.11 - 0.21. Which is bigger: 1/5 or m?
1/5
Let c = -69 - -108. Which is greater: 37 or c?
c
Let u = 11 - 2. Let q = -21 - -30. Let y = q - u. Which is greater: -2/9 or y?
y
Let f(r) = -2*r**2 + 5*r - 5. Let c be f(3). Which is smaller: c or -7?
c
Let g = 91 + -94. Let t = 3/19 + -104/57. Which is bigger: g or t?
t
Let i = -2.3 + 2.5. Which is smaller: i or -2?
-2
Suppose -2*d + 0*d - 4*s = 8, 2*s = 2. Let z be (-2)/4 - (-9)/d. Are z and -2 unequal?
False
Let g = -8 - -4. Let o be (-2 - g - 1)*2. Do o and 1 have different values?
True
Suppose -2*r = -6*r + 8. Suppose v = 4*k - 73, -2*v - 28 = -3*k + 128. Let z be 38/9 + 18/v. Do z and r have the same value?
False
Let r = 3 + -10. Let p be ((-6)/(-7))/((-1)/r). Let n be (8/66)/((-4)/p). Which is bigger: -1 or n?
n
Let q = 33 + -167/5. Let j = 15417/13 + -1187. Let h = 96/65 + j. Which is smaller: q or h?
q
Let b be 9/(-36)*2/13. Which is greater: -1 or b?
b
Let g = 28 - 28.92. Let b = -1 - g. Which is bigger: b or 0.1?
0.1
Let y be (2*2/(-20))/(3/5). Is y not equal to 1/3?
True
Let m = 19 + -16. Let c = m + -12. Is c >= -10?
True
Suppose 4*g = -2*i - 16, 3*i + 12 = -3*g - 0. Let q = g + 7. Suppose 11 = 4*r - 5*o - 10, q*o = -5*r - 20. Is r < -1/2?
True
Let h = 30.8 + -31. Which is greater: -34 or h?
h
Let n = 97/2 - 28. Which is smaller: 21 or n?
n
Let i(n) = 4*n**2 - 3*n - 4. Let b(h) = -3*h**2 + 4*h + 5. Let o(j) = 5*b(j) + 4*i(j). Let a be o(-7). Let r = 4 - a. Which is smaller: r or 4/7?
4/7
Let t = -4 + 6. Suppose m - 2 = -0*m - 4*l, -5*m - l - 9 = 0. Let f be (4 - (m - -6))/(-1). Which is smaller: f or t?
f
Let g = -917/4 + 230. Let h = 5 + -5.03. Is h smaller than g?
True
Let q be 1*((-12)/4 - 12). Let z be ((-20)/q)/((-2)/(-3)). Is z >= 2?
True
Let u = -2 - -2.1. Let g = 0.04 + -7.04. Let d = -8 - g. Which is smaller: u or d?
d
Let n(g) = -g - 5. Let f be n(-15). Which is bigger: 18 or f?
18
Let l be 2 - -2*3/(-6). Does l = -2/5?
False
Let j = 36 - 36.94. Let r = j - 0.06. Which is smaller: r or 0.6?
r
Let a = 14 - 13. Which is smaller: 2/15 or a?
2/15
Let k be (-120)/5*(-3)/4. Which is smaller: k or 1/5?
1/5
Let n be 1/(19/(-10) - -2). Suppose -15 + n = 5*s. Let y = 2/63 + 19/63. Which is bigger: s or y?
y
Let h be (-9 + 6)*6/693. Which is smaller: -0.1 or h?
-0.1
Let s = -12 + 11. Which is bigger: s or 1/4?
1/4
Let l = 24 + -17. Let k = 81 - 81. Is k at most l?
True
Let b = -7 + 3. Suppose -3*i + 4*i = -5. Which is bigger: i or b?
b
Let w = 0.2 - 0.1. Let s = -0.03 - -0.13. Let d = s + -0.1. Is w at least as big as d?
True
Let b = 0 + 0. Suppose -22 = 5*w - 3*g, g = -2*g + 12. Let j be w/(-24) - 2/(-8). Which is smaller: b or j?
b
Let f be (2/(-66))/((-8)/(-16)). Do f and -1 have the same value?
False
Let y = 14 + -29. Which is smaller: y or 1?
y
Suppose -45 = 5*t + 5*k, -13 - 3 = -t + 4*k. Let s be 0/(0 + (t - -2)). Is s at most -2/11?
False
Let v be (0 - 1)/(-4 - -5). Is v less than 1/4?
True
Let p(k) = -8*k. Let b be p(-1). Suppose 0*l = -5*l - 3*t + 7, -3*l - 3*t + 3 = 0. Let n be 9 + 1*l/(-2). Is b at least as big as n?
True
Let w be (-6 - (-8)/1)*-1. Let u = -1 + 2. Which is greater: u or w?
u
Let j be (-2)/4 - (-1)/2. Let y = 243/5 + -49. Which is bigger: j or y?
j
Let u(g) = -3*g + 31. Let z be u(10). Is z at most 2?
True
Let s(j) = j**3 + j**2 - 7. Let y be s(0). Let a = y - -6. Are -1 and a unequal?
False
Let w = -1 - 6. Is 3 > w?
True
Suppose 0 = 2*x + 3*x - 45. Suppose -4*o + x = -o. Suppose 0*s = o*s. Which is greater: s or 2/19?
2/19
Suppose 0 = k + 2 + 1, -33 = 4*n + 3*k. Let p = 40 + -41. Which is smaller: n or p?
n
Let n(m) = -m**2 + 8*m - 7. Let u = 3 - -3. Let c be n(u). Suppose 0 = -6*a + a + c. Which is smaller: 0 or a?
0
Suppose 67*v - 4 = 68*v. Which is bigger: v or -23/9?
-23/9
Let n be (-22)/(-18) + 10/(-45). Let o = n + 1. Is 1 at least as big as o?
False
Let k = 0.8 + 12.2. Let z = k - 12. Is -0.7 >= z?
False
Let k be (-17)/(-13) + (4 - 5). Is k < 1?
True
Let t be 3/(3/(-1))*-10. Suppose -t = -2*h - 3*h. Suppose -2*l = -2*b - 4, -h*b - 2*l - 3*l + 17 = 0. Which is smaller: -1 or b?
-1
Let v = -26 - -27. Which is smaller: -2/15 or v?
-2/15
Let l = 10 - 5. Let a = 2 - l. Is a >= 0.1?
False
Let l = -47737/186 + 770/3. Is 0 <= l?
True
Let x(s) be the third derivative of s**5/60 - 7*s**4/24 + s**3/6 - 8*s**2. Let o be x(7). Which is smaller: o or 1/9?
1/9
Suppose -5*m = -29 - 66. Is 19 >= m?
True
Let w = -1 + 2. Which is smaller: w or -0.04?
-0.04
Let f = -0.13 - 0.17. Let a(z) = -4*z**3 - 2*z**2 + 1. Let t be a(-1). Suppose t*k = 2*k. Is k bigger than f?
True
Let c be ((-5)/15)/(1/3). Let g = 0.5 - 0.8. Which is smaller: c or g?
c
Let f = -16 - -17.4. Let u = f - -1.6. Which is greater: u or -0.2?
u
Let z be (-2)/(-8) + 339/(-12). Let p be (-52)/(-14) - 8/z. Suppose p = 4*r - 0*r. Which is smaller: 5/3 or r?
r
Let k(l) = -l**3 + 4*l**2 + 6*l - 3. Let u be k(5). Is u greater than 1?
True
Let y = 111 + -115. Is -1 less than y?
False
Suppose -3*k = -2*k - 121. Let f = 1085/9 - k. Is f less than or equal to -1?
False
Let m be 6/(-15)*20/(-2). Suppose -3*g - 4*n = -0 + 4, -m*g - 3 = 3*n. Do -3/10 and g have the same value?
False
Let a(l) = -l. Let s be a(-5). Suppose 0 = -u - 4 + s. Suppose o - u = -0*o. Which is bigger: o or 0?
o
Let r = -0.1 + 0.3. Let p = r + -0.1. Let s = 0.1 + 0. Is p greater than s?
False
Let m(w) = w**2 + 6*w - 7. Let x be m(-7). Let f = -1.9 - -5. Let o = f + -3. Which is smaller: o or x?
x
Let w = 0.11 + 0.11. Let p = -0.12 + w. Which is greater: 1 or p?
1
Let j be -1*1/(-3)*15. Suppose 0 = 2*f + 2 - 14. Which is smaller: j or f?
j
Suppose -5*s + 36 = 4*t - s, 3*t - 35 = -5*s. Let q(l) = l - 3. Let d be q(t). Suppose 0 = -i + 1, -4*i + d*i = -4*f + 6. Is f equal to 2?
True
Let i be 68/32 + 2*-1. Suppose 2*t = 6*t. Is i not equal to t?
True
Let s = -1439/11 - -131. Let m be (-2)/(-3)*(-9)/(-6). Let y = -1 + m. Is s greater than y?
True
Let s(i) = -i**2 + 5*i + 9. Let m be s(7). Let j = m + 6. Which is smaller: j or 1/7?
1/7
Let l be 2*1 - (-546)/3. Suppose 0 = -2*v - 2*v - l. Let n = -185/4 - v. Which is bigger: 0.2 or n?
0.2
Suppose 2*r + 2*a - 4 = -0*r, -3*a = -5*r - 22. Let x(i) = -i**2 - i. Let z be x(1). Is r bigger than z?
False
Let y(v) = 11*v**2 + v. Let i be y(-1). Let q = i + -9. Let u = 92/3 - 31. Which is smaller: u or q?
u
Let y(a) = -6*a**2 - 6*a + 5. Let v(q) = -7*q**2 - 7*q + 6. Let t(r) = 5*v(r) - 6*y(r). Let o be t(0). Is -2/9 equal to o?
False
Suppose 0 = 5*a - 3*z + 23, -2*a + 0*z - 5*z = 3. Let l be (a/6)/(4/6). Is 3/10 bigger than l?
True
Let z(s) = -2*s**2 - 2*s - 1. Let u be z(-1). Which is smaller: u or -4/5?
u
Let x = 13 - 10. Suppose 0 = -x*l - l - 4. Is -2/11 greater than or equal to l?
True
Suppose 10 = 5*b + 3*o, -5*b + 20 = 2*o - o. Suppose w + 0 = -2, -l = -w + b. Is l equal to -7?
True
Let w = 3599/964 + 4/241. Is w <= 4?
True
Let c be 2/5 + 6/10. Let k = 1 - c. Let x = 4 - 30/7. Is x >= k?
False
Let n = -74 + 75. Is n less than -2/61?
False
Let m(l) = -l**3 - 8*l**2 - l - 6. Let p be m(-8). Suppose 0*n + p = n. Suppose -6 = a + n*a. Is 