er than u?
True
Suppose 5*m = 2 + 3. Is 1/6 less than m?
True
Let f = -6 + 10. Let k(i) = i**3 - 4*i**2 - i + 3. Let u be k(f). Let a be -2*u/4*-2. Which is smaller: 2/11 or a?
a
Let j = -184/3 + 62. Let p = 4517/57 + 62/57. Let s = 81 - p. Is s less than j?
False
Let a = -44 - -24. Let r be 2/(-5) - (-8)/a. Which is smaller: 0 or r?
r
Suppose -13 = 5*j + 4*h, 0*h - 7 = -j + 4*h. Which is smaller: 1/31 or j?
j
Let c be 12/(-16) + (-1)/4. Let n = 2 - c. Which is greater: -2 or n?
n
Let a be (-2)/(-7) - 10/(-14). Suppose -3*t - 2 = -4*t + m, m - a = 4*t. Is -1 < t?
False
Suppose 60*z = 55*z. Which is smaller: -2/97 or z?
-2/97
Let n(q) be the second derivative of -q**4/12 + 3*q**3/2 - 9*q**2/2 - 2*q. Let x be n(8). Is x at least -1/2?
False
Let w be -2 - 9/(2 + 1). Let p(f) = 2*f**2 + 5*f - 2. Let h(t) = t**2. Let a(i) = 3*h(i) - p(i). Let k be a(2). Which is smaller: k or w?
w
Suppose -a = 5*s + 506, 5*s + a - 6*a = -530. Let f = -719056/7143 + -2/2381. Let g = s - f. Which is greater: 0 or g?
0
Let h be 16/(-12)*3/(-2). Let g be -2 - (-3 + h + -2). Is g <= -2/7?
False
Let n be (-12)/(-5) + -2 - (-91)/35. Do n and 2 have the same value?
False
Let m(f) = -f**2 - 2*f + 6. Let r(h) = 1. Let p be 5/7 + 2/7. Let b(y) = p*m(y) - 5*r(y). Let j be b(-2). Is j at most 2/5?
False
Let w be ((-1)/3*2)/((-20)/(-15)). Which is bigger: -1 or w?
w
Let f be (-4)/2 + (2 - -5). Let o = -8 + f. Which is smaller: -1 or o?
o
Let f be -2 + 1 + (-3)/(-3). Let m be (-2)/4 + f/2. Is 1 less than or equal to m?
False
Let k be 3 + -1 - 8*(-2)/(-10). Which is bigger: k or 0.6?
0.6
Suppose -5*o = -l - 12, 0*o = -l + 3*o - 4. Which is smaller: l or 26/3?
l
Let d = 5 - 4. Let t = -5 + d. Is -4 less than t?
False
Suppose 0 = -5*l + f - 25, f = 6 - 1. Which is smaller: -26/7 or l?
l
Let k be (-1)/((-2)/(-44)*2). Are -13 and k unequal?
True
Suppose -3*r - 2 - 13 = 2*k, -k + 20 = -4*r. Let t = 1/2 - k. Suppose 3*c + 8 = -4*n + c, 4*n - 8 = 2*c. Does t = n?
False
Let o = -1532/15 - -102. Let k(f) = -f**3 + 6*f**2 + 8*f - 7. Let y be k(7). Which is greater: o or y?
y
Let x = 18 - 6. Let c = -12.2 + x. Do -0.1 and c have different values?
True
Suppose 0 = -0*v + v - 2. Let h be (-7 + v)*(-3 + 2). Suppose h*q + 3 = 2*q, -3*a - 3*q = 0. Which is greater: a or 3?
3
Let n = -22486/35 - -4671523/7280. Let u = n - -11/16. Which is smaller: u or 1?
u
Let u = 6 + -9. Let l = -6 + -19. Let x = 76/3 + l. Which is greater: u or x?
x
Let b(k) = -k**2 - k + 3. Let t be b(0). Suppose 3*s - t = -6. Let y be ((-13)/9 - s)/2. Is -2 < y?
True
Let s be (-4)/14 - (-32)/14. Let l be (-24)/(-10) + (-22)/55. Is l smaller than s?
False
Let s = -3.4 + 3. Let d = s + 0.3. Let q = d + 0. Does 2/15 = q?
False
Let x = -44 + 57. Are x and 12 equal?
False
Let i = 21852431686/1925 + -11351913. Let g be 9/(-15)*4/330. Let h = g - i. Which is smaller: h or -1?
-1
Suppose -4 = u, 0 = -p - 4*p - 2*u - 128. Let i = p + 26. Suppose 0 = -4*v + 4*q - 16, 0 = 4*v - 3*q + q + 6. Is i less than v?
False
Let o(a) = a**3 + 8*a**2 + 7*a + 16. Let w be o(-6). Is w at least as big as 47?
False
Suppose 8 + 7 = -3*q. Let i = q + 3. Which is smaller: i or 1?
i
Let w = 1.67 - -0.13. Let q = w + -2. Let y = 0.1 + q. Which is smaller: 3 or y?
y
Suppose 0 = 3*d - 12 + 57. Is -16 not equal to d?
True
Let t be 1/(-21) - (-3)/9. Which is greater: 0.2 or t?
t
Suppose 3*z + 45 = -3*w, 2*w + 67 = -5*z + w. Let c be 2/z + 513/39. Which is smaller: 12 or c?
12
Suppose 5*g + 3 = -4*o + 12, -2*g - 3 = -5*o. Let u be (246/15)/((-20)/(-106)). Let d = -87 + u. Is o greater than d?
True
Let k = 0.05 - 2.05. Let i = k + 1. Let c = -0.02 - -0.02. Is i < c?
True
Suppose -4*n + 8*n - 5 = g, 4*g = -2*n - 2. Let h = -1.1 + 0.1. Which is greater: n or h?
n
Let j be 32/44*1/(-2). Let d(s) = s**3 + 13*s**2 + s + 13. Let g be d(-13). Which is greater: g or j?
g
Let i = -9 - -8.9. Is 13 smaller than i?
False
Let u be 0*(-2)/(-4) - 0. Is -3/4 < u?
True
Let j be (2/(-21))/((-8)/12). Is 0 greater than j?
False
Let u = -51.1 - -51. Which is greater: -14 or u?
u
Suppose -d - 43 = -2. Let l = 368/9 + d. Let c(h) = h**2 + h - 1. Let f be c(-2). Which is greater: f or l?
f
Let t = -3/11 - -61/22. Which is smaller: -2/7 or t?
-2/7
Suppose 3*i = 4*h + 48, -2*i - h + 16 = -i. Let c = -22 + i. Let t be 2/(-3*4/c). Is t bigger than 1/2?
True
Let h(d) be the second derivative of -d**5/20 + d**4/6 + d**3/3 + 2*d**2 - 3*d. Let l be h(3). Let r be (0 + l/1)/(-1). Is r greater than 0?
False
Let o(a) = -a**2 - 3*a - 2. Let d be o(-3). Suppose -2 + 0 = -z. Let i be (4/z)/(6/(-9)). Does d = i?
False
Let b = 125 + -89. Is 35 greater than or equal to b?
False
Let c be (-18)/(-12)*(-1796)/(-66). Let w = c - 41. Is -1 < w?
True
Let n be (-2)/8 + 465/280. Let u = n + -9/7. Suppose -2*s + 2 = -0*s - q, 3*s + q - 3 = 0. Do s and u have the same value?
False
Let a(k) = -k**2 + 2*k + 3. Let t be a(4). Let x(z) = z**3 + 5*z**2 - 5. Let i be x(-5). Is i not equal to t?
False
Let a = 143 + -1285/9. Is a less than -2/7?
False
Let b(c) = -c**3 + 9*c**2 + 9*c + 8. Let z be b(10). Let m be ((-6)/(-2))/(-1)*1. Which is smaller: z or m?
m
Let w = 1/23 - 26/69. Let p be 6/(-27)*-12 + -2. Is w equal to p?
False
Suppose 4*o + 15 = 47. Suppose n = -3*n + o. Is n < 2?
False
Let n = 1374 - 4060/3. Let x = -440/21 + n. Is 1 at least as big as x?
True
Let q(p) = p**3 + 2*p**2 - 4*p - 3. Let a be q(-3). Suppose 5*w = -4*o + 2, -10 = -w - 2*w + 2*o. Let u be (3 + -1)/(0 - w). Which is smaller: a or u?
u
Let c be (-22)/(-77) - (-150)/14. Which is bigger: 47/4 or c?
47/4
Let q = 0 + 0. Which is bigger: 10/9 or q?
10/9
Let k = 2 + 3. Suppose 16 = b + 4*d, 0*d - 26 = -k*b - 2*d. Which is smaller: 1 or b?
1
Suppose m = -m. Let i(l) = 2*l**2 - 5*l - 4. Let g be i(4). Let o be 2/2 - 10/g. Is o at least m?
False
Let u be (4/6)/(22/6). Let i = 61 - 60. Is u at most as big as i?
True
Suppose 4*o + 4*n = 8, -o - 3*o + 2*n = -26. Suppose -6 - 4 = o*r. Let p be (-1)/r + (-2)/(-4). Is p at least as big as 2?
False
Let x(b) = b**2 + 4*b + 1. Let g be x(-2). Suppose y = -2*n - 3, 7 = -3*n - 7*y + 6*y. Is g at most as big as n?
False
Let o = -58441/120 - -487. Which is smaller: o or 0?
o
Let y = 196/3 - 66. Is y less than -13?
False
Let o = -9 - -10. Which is smaller: o or 2?
o
Let f be -3 + 4/(16/12). Suppose -4*r + 6*r = f. Let q be (-15)/(-6)*(-1)/2. Is r at most as big as q?
False
Let p = -82 + 83.95. Let m = p + 0.05. Is m not equal to 2/3?
True
Let y = 464/3 - 155. Is 16/5 less than y?
False
Let n be 10/(-5878)*4/10. Let q = n - 14631/94048. Let s = q + -71/160. Is s at most 0?
True
Let y = 2420 - 99214/41. Which is smaller: -1 or y?
-1
Let k be (5 - 14) + -1 + 8. Let h = 0.3 + -0.2. Is h smaller than k?
False
Let g = 12 + -11. Which is smaller: -0.39 or g?
-0.39
Let z be 88/369 - (204/(-54) + 4). Which is smaller: -0.3 or z?
-0.3
Suppose 25 = -0*z + 5*z. Suppose 4*m - 2 = 3*w, 4*m + 3 + z = -2*w. Let o be (12/(-15))/(68/(-10)). Do m and o have the same value?
False
Let m(j) = -2*j**3 + 3*j**2 - 9*j + 12. Let s(p) = 5*p**3 - 10*p**2 + 26*p - 35. Let z(h) = -8*m(h) - 3*s(h). Let i be z(-7). Which is greater: i or 1?
i
Suppose -417 = -3*w - 3*r, r + 148 = w - r. Let a be 3386/(-24) + (-1)/6. Let m = w + a. Which is smaller: m or 1?
m
Let d = 0.3 - -10.7. Let g = 8 - d. Let b = 0 - 0. Which is greater: b or g?
b
Let q = 0.52 - 15.52. Is q at least as big as -2/11?
False
Let i = 13 - 7. Suppose -f = -2 - 4. Is i equal to f?
True
Let p be 6/48 - (621/(-24) + 2). Is p equal to 24?
True
Let t = -3.9 - 0.1. Let s = -3 - t. Suppose -k = 2*k - 9. Is s at most as big as k?
True
Let k = -9901/44620 + -5/388. Let c = -38273/87975 + 1/3825. Let l = c - k. Which is smaller: -1 or l?
-1
Let c(q) = -q**2 - 2*q + 1. Let t be c(3). Is t less than or equal to -14?
True
Let p be -4*1/(4/(-1)). Suppose 3*l - 6 = 0, 0 = -4*c + l + 4*l - 14. Let k be 1 + 3/(-4)*c. Do k and p have different values?
True
Let l = -5 + 4. Let f = 7 + -7.4. Let c = -0.5 - f. Which is greater: l or c?
c
Let m = 0.07 - 0.09. Which is smaller: 0 or m?
m
Let w be (-12)/(1 + 10/(-4)). Let c = w - 0. Let r be (-18)/c + (-6)/(-24). Which is bigger: r or -0.2?
-0.2
Let c = 99 - 250. Let q = c - -601/4. Which is smaller: q or -1?
-1
Let s(m) = m**3 - 6*m**2 - 2*m + 8. S