 - 26. Let i be l(5). Is i smaller than -3/28?
True
Let q(z) = -3*z**2 + 60*z - 264. Let t be q(14). Is -11 >= t?
True
Let d = 49875/31 + -1609. Is d at least as big as 1?
False
Let m = -272 - -271.3. Let w(t) = t**2 + t. Let x be w(-1). Is x != m?
True
Let n be 218/170 + 126/(-315). Is n > 0?
True
Let a = 491.2 - 491. Which is smaller: a or -7/9?
-7/9
Let t be 5 + -2 + (-70)/22. Let h be 4/(-6) - (-1182)/18. Let k = h + -583/9. Which is bigger: k or t?
k
Suppose 65*k = 61*k - 8. Let o = 81 - 29. Let p be o/(-55) + (-8)/(-20). Which is bigger: p or k?
p
Let t(l) = l**2 - l - 17. Let j be t(0). Let o(s) be the first derivative of -17*s**3/3 + 2*s**2 - 3*s - 10. Let a be o(1). Which is bigger: a or j?
a
Let p = -0.908 - -2.908. Let i = -130 + 47. Let r = 251/3 + i. Is p > r?
True
Let r = -2537/39 - -65. Which is greater: r or 0.9?
0.9
Let j(w) be the third derivative of w**4/24 + 5*w**3/6 + w**2. Suppose -g - 54 = 17*g. Let n be j(g). Which is greater: n or 4/3?
n
Let a be ((-29)/5)/((-4)/10). Let o = 14 - a. Let w be 1/(-6)*(9 + -5). Which is smaller: o or w?
w
Let i be (497/1060)/((-3)/(-4)). Let d = i - 4/159. Let b = 1/10 - d. Which is smaller: b or -2/5?
b
Suppose 5*y - 11 = -4*i, 14*y - 19*y + 10 = 5*i. Is i greater than or equal to -1/273?
False
Suppose -8*k + 12*k - 188 = 0. Is k > 45?
True
Let a(t) = 2*t**2 - 2 + t**2 - 2*t**2 + 2*t - 3*t. Let d be a(3). Suppose -c = -5*n + 18, d*c = -c + 4*n - 69. Is -14 >= c?
False
Let r = -1164.04 + 1164. Is r at least as big as 16?
False
Let g(h) = -h**3 - 11*h**2 + 12*h + 6. Let c be g(-12). Let w be (2/1)/(c/36). Let l = -1 - -1. Is w greater than l?
True
Let l = -3 + 2.7. Let y be (1 - 9/6)*(-12 - -10). Which is bigger: l or y?
y
Let u be (-3)/4*(-2)/6. Suppose 0 = 4*v - 3*g - 12, 33*g - 28*g = 2*v - 20. Which is smaller: u or v?
v
Suppose 0 = -0*w - 2*w + 12. Let g = -14 + w. Let d be 6/(-9)*12/g. Is d >= -1/4?
True
Suppose k + 4*j = 14, 0 = -3*k + j + 10 + 6. Let z(w) = 4 + k*w + 7 - w**2 - 6 - w. Let y be z(6). Is -4 greater than or equal to y?
False
Suppose -15 = l - 2*l. Let u be 3*((-3)/l - 0). Let v = -223 + 223. Which is bigger: u or v?
v
Suppose -4*i - 12 - 20 = 0. Let o be ((-2)/i)/((-3)/(-9)). Let w = -71/6 + 23/2. Is w bigger than o?
False
Let k(i) = i**3 + 4*i**2. Let a be 3/(-2) + 20/(-8). Let n be k(a). Let q = -49/55 - -1/11. Which is bigger: q or n?
n
Suppose 0 = -11*s + 42*s - 124. Let p = -2.5 - -0.6. Let n = p + 2. Which is bigger: n or s?
s
Suppose 5*m - 2*i = 27, 0 = i - 3 - 1. Suppose 4*o - 1 = m. Which is bigger: o or 18/7?
18/7
Let f(x) = -8*x - 152. Let p be f(-19). Which is smaller: p or -1/26?
-1/26
Let h(p) = p**2 + 13*p + 18. Let s be h(-12). Let r = 19 - s. Let v = 7.4 - 7.5. Which is smaller: r or v?
v
Suppose 7 = -n + 54. Let j = n - 62. Is -14 greater than or equal to j?
True
Let h be (8 + 0 + -4)*3/6. Suppose 6*w - 2*w = 4*l + 4, -h*l - 12 = 3*w. Is l less than -4?
False
Suppose -2*o = 2*b + 18, -3*o - 2 = 13. Let c be 16/(-21) + b*4/(-48). Let u = 5 + -4. Which is smaller: u or c?
c
Let j = -119 - -135.2. Let o = -16 + j. Let y = 12 - 1. Is o > y?
False
Let z be -3*(4 - 80/12). Let m(a) = a**3 - 7*a**2 - 5*a - 18. Let f be m(z). Let j = 10 + -2. Which is smaller: f or j?
f
Suppose 2*h - 49 = -s, h + 3*s - 12 = 15. Let z(w) = -4*w**2 - 19*w - 7. Let c be z(-3). Let j = c - h. Is j != -10?
False
Suppose -3*m + 4*h - 863 = 0, -6*h = 2*m - 4*h + 594. Is -294 < m?
True
Suppose 4*k + 24 - 56 = 0. Which is smaller: k or 1/2?
1/2
Let p be (12/152)/(1/(-16)). Which is greater: p or -2?
p
Let i = -0.2 + 0. Let v = -34.9 + 35. Let p = v + i. Are p and 0 unequal?
True
Suppose -13*h = -684 + 203. Let l = h - 36. Are 2/149 and l equal?
False
Let y be ((-3264)/(-112))/((-4)/14). Which is greater: -101 or y?
-101
Suppose 4*m + 80 = 5*v + 9*m, -5*v - 2*m = -86. Is v >= 5?
True
Let s = -850 + 418. Which is smaller: -2/5 or s?
s
Let k = 1757 + -1758. Which is smaller: k or 5/81?
k
Let d be -6*18/27 - 124. Is -124 at least as big as d?
True
Let l = 13 + -18. Suppose -4*z = d - 9*z + 28, -4*z + 20 = 0. Let g = d - l. Is g less than or equal to 1?
False
Suppose -19*u = -20*u + 11. Let b be ((-8)/(-12))/(2/(-30)*-1). Do u and b have different values?
True
Let q be (6/4)/(15/40). Suppose q*v = -1 - 7. Let k = 8 - 11. Which is smaller: v or k?
k
Let w(k) = -k**2 + 2*k + 4. Let h be w(3). Let o = -0.02 - 0.12. Let c = o + -0.16. Which is greater: h or c?
h
Let a be (35/(-28))/((-2)/56). Let p be (-10)/a - 9/(-7). Let c be (2 - 4)/((-23)/1). Which is bigger: p or c?
p
Let q(a) = -7*a + 50. Let k be q(7). Is -1/26 greater than k?
False
Let f = -9 + 15. Let n = 3057 + -3057.03. Is n <= f?
True
Suppose -61 + 43 = 2*y. Suppose 0*s = -2*c + 2*s - 22, -34 = 5*c + 2*s. Which is smaller: y or c?
y
Let o be (-2 - (-9)/6)*62. Let c = o - -33. Suppose 0 = -c*r + 2 - 0. Is r <= 6/17?
False
Suppose -122 = 3*z + 5*d, z = -4*z - d - 240. Is -49 at least z?
True
Let x be (-20)/325*465/2. Which is greater: -14 or x?
-14
Let w be ((-2)/7)/(7/(-98)). Suppose -z = -w*z. Suppose -5*k + 4*k - 1 = z. Is k > -2/15?
False
Suppose -y + 34 = -3*g, 10 = -8*g + 3*g. Which is smaller: -2 or y?
-2
Let a(r) = 12*r**2 - 33*r**3 + 13*r**3 + 19*r**3 - 2*r**2. Suppose 0*f = -3*w - f + 26, 5*f + 40 = 2*w. Let i be a(w). Which is smaller: -1/5 or i?
-1/5
Let t(d) = d**2 - 5*d + 4. Let j be t(3). Let f(l) = -3*l**2 - 2*l - 4. Let p be f(j). Let y = -19 - -8. Is p smaller than y?
True
Let n be -2 + (-1)/(-15)*921. Let q = 60 - n. Which is smaller: q or 0.05?
0.05
Let m = 0.67 - 0.07. Let r = m - 0.7. Let p = -7 - -4. Is p <= r?
True
Let h = 17.441 + 0.629. Let l = h - 18. Let m = -0.01 - l. Are 2 and m non-equal?
True
Let l(y) = y**2 - 15*y + 56. Let i be l(7). Which is smaller: -8/9 or i?
-8/9
Let l be 45/(-63) + 20/(-5). Which is bigger: l or -4?
-4
Let i = 332942/15 - 22184. Let h = i + -37/3. Let c(q) = q**2 - 83*q - 348. Let w be c(-4). Are w and h nonequal?
True
Suppose -5*i + 3 = -2. Let f = -2 - i. Is -9 at most f?
True
Let j be (-42)/(-7147)*(-3)/(-2). Let a = j - 61212/342035. Let r = a - 2/67. Is r greater than or equal to -0.1?
False
Let l = -7.11 + 7.5. Let b = l - 7.49. Let s = -7 - b. Is 0.1 not equal to s?
False
Suppose -4*h + h = 3, 4*h = j - 9. Let w(t) = t**3 + 7*t**2 - 20*t - 16. Suppose 9*x = -0*x - 81. Let l be w(x). Is l at least j?
False
Let t(c) = 4*c + 36. Let o be t(0). Let a be 1*(-3)/12*(-64)/o. Which is greater: a or 0.1?
a
Let l = -21.6 + 20.71. Let y = l - 0.11. Which is smaller: 1/4 or y?
y
Let w be 4/30*6/28. Suppose 2 = -7*q + 9*q, 4*x + 2*q = -2. Which is greater: x or w?
w
Let g = 6 + -4. Suppose 3 - g = -w + 2*t, -2 = -4*w + 5*t. Suppose -w*q = -q. Are q and 1/6 non-equal?
True
Suppose -19 - 12 = -z. Let k = z + -27. Is k at least 3?
True
Let m = -2077 + 1649. Is m at least as big as -428?
True
Let o = 8/31 + -131/868. Let n = -37/14 - o. Which is greater: n or -3?
n
Let q = 2 + -1. Let j = -813 - -21137/26. Which is greater: q or j?
q
Suppose 7*i - 32 = 31. Let s = 4 - 5. Let n be (-30)/(-1)*s/(-3). Which is smaller: i or n?
i
Let n be (1 - (-33)/(-15))*30/(-9). Suppose -o - 3*o = n. Let w be 1/(-3) + (-4)/(-21). Which is greater: w or o?
w
Let i(g) = g**2 + 2*g - 432. Let k be i(0). Let u be (6/63)/(8/k). Is u less than -4?
True
Let o = -142 - -144.89. Let j = -0.11 - o. Let m = 1532/13 + -118. Is m at most j?
False
Let l be 66/(-1)*(-1210)/(-330). Which is smaller: l or -245?
-245
Suppose 13*i - 26 = 39. Suppose -6*z + 5*z = -3*q, i*z = q. Is q >= 2/15?
False
Suppose q - 2*n = -5*n + 28, -3*n = -9. Which is smaller: 12 or q?
12
Let q = 12/209 - -4197/3344. Do q and -5 have the same value?
False
Suppose 49 + 51 = -5*j. Let m = 17 + j. Suppose 2 - 3 = g. Is g smaller than m?
False
Let b be 6/4 + ((-20)/8 - -2). Let f be ((-1 - b) + (-10)/12)/1. Which is smaller: -2 or f?
f
Let g = 2213 - 2216. Let y(d) = -2*d + 6. Let h be y(5). Which is smaller: g or h?
h
Let v(i) = -i**3 - 11*i**2 - 8*i - 2. Let f be v(-10). Let y = f + 51. Let o = -90 + 118. Does y = o?
False
Let d be (-18)/(-132)*56/(-36). Let v = 1/33 + d. Which is bigger: -1 or v?
v
Let g = -359 + 358. Let p be (-2)/(-7) + 2/(-4). Which is bigger: g or p?
p
Let t(b) be the first derivative of b**3/3 - 6*b**2 + 12*b - 3. Let x b