e -1 and k nonequal?
True
Let r(y) = -y**3 + 7*y**2 + 8*y + 10. Let x be r(8). Let b = x + -4. Which is smaller: b or 2?
2
Let s = -154 - -2922/19. Is s greater than or equal to 1?
False
Suppose 0 = 5*g - 2*l + 4*l - 50, -35 = -5*g + l. Let h = g - 9. Do h and 1 have the same value?
False
Let s(x) = x**3 + 6*x**2 + 4*x - 6. Let l be 1 + -1 + 15/3. Let j(q) = -q**2 + 3*q + 5. Let c be j(l). Let h be s(c). Is -1 bigger than h?
False
Let p be (2/18)/((-77)/(-22)). Is 0 greater than p?
False
Let o be ((-9)/10)/(24/(-520)). Which is smaller: 21 or o?
o
Let a = -2/33 - -37/792. Is a at least as big as 0?
False
Let v be 3/15 + 12/(-10). Let z be (4 + -5)*(v - -1). Let p = -25 - -26. Which is smaller: p or z?
z
Let c = -603 + 606. Suppose 0 = 4*k - k - 9. Is k at most as big as c?
True
Let k = -23/2 - -11. Let l = 8 + -2. Let z be (l/(-4))/(0 - 3). Which is greater: k or z?
z
Let y = -124 + 136. Is 8 at least y?
False
Let w = -1 + 0. Let s = 2 + -2. Suppose 0 = -h + 5*m + 8, 4 = -h - m - s*m. Is w less than or equal to h?
False
Let s be (8/6)/((-3)/(-9)). Suppose 0 = 5*u + s*v + 6 + 2, -u - 3*v + 5 = 0. Let h be ((-2)/(-4))/(1/(-6)). Which is smaller: h or u?
u
Let z(i) = i**3 - 3*i**2 + 2*i - 2. Let h be z(2). Let r = h - -2. Let k be (4 - 4)/(r - -1). Do k and 1/2 have different values?
True
Let s be 1 - (-2)/4*-4. Suppose t = 3*l - t - 12, -2*l - 4*t + 8 = 0. Let f be l/6 + 1/(-3). Which is smaller: f or s?
s
Suppose -2*w = 4*l - 20 - 16, 50 = 4*l - 5*w. Suppose -7*k = -l*k. Suppose -5*h = -4*t + 17, -5*t + 2 = 3*h - 10. Which is bigger: h or k?
k
Let a(w) = -3*w**2 + 8*w - 1. Let j be a(2). Do -4 and j have the same value?
False
Let w be ((-10)/(-24))/(5/(-15)). Let r be 2 - (1 - -2 - 0). Does r = w?
False
Let p be 9/(-6) + 2/(-4). Which is smaller: p or -3?
-3
Let h(o) = 2 + 2*o - 2 - 1 - o**2 - o**3. Let n be h(-2). Let y = -7/5 - -6/5. Do n and y have different values?
True
Suppose -3*n = -4*v - 0*n + 23, -1 = 2*v + n. Let o = -10 - -11. Suppose -y + o = v. Which is greater: y or -1/4?
-1/4
Let j be 2/(-6) - 20/(-6). Suppose 0 = -3*v - j*h - 6 - 9, -4*v + h - 10 = 0. Suppose -5 - 4 = 3*x. Is v smaller than x?
False
Suppose 7 - 1 = -3*y. Let u = -8/9 + -4/9. Which is bigger: y or u?
u
Let v be (4 + 36/(-8))*8. Which is bigger: v or -5?
v
Suppose -5 = -h - 4*h. Suppose -4*k + 2 = -2*b + 24, -2*b + 4 = -k. Let s be ((-24)/(-80))/(k/(-5)). Is h <= s?
False
Let c be (5 + -4)/(1/2). Suppose 0*u = -2*u + y + c, -4*y = 4*u - 4. Which is bigger: 2/19 or u?
u
Let x = -2/31 + 47/248. Suppose -4*i + 8 = -p, -2*i + 5*i - 6 = 3*p. Suppose -w = -p*w. Which is smaller: x or w?
w
Let p(s) = 6*s + 6*s**2 - 4 - 5*s**2 - 2*s**2. Suppose a - 2*u = 16, 3*a + a - 14 = -2*u. Let k be p(a). Which is smaller: -3 or k?
k
Let x(z) = z**2 + 3*z - 5. Let o be x(-4). Let h be -2 - o - (-3 + -2). Which is smaller: h or 0?
0
Let i = 1 + -3/2. Let s(r) = r**2 + r - 2. Let m be s(2). Suppose -5*t = 4*a - 4, -4 = -t + 4*t - m*a. Which is bigger: t or i?
t
Suppose o + 12 = 4*o. Suppose 3 = u + 5*j - 10, 0 = 4*u - j - 10. Is u at least as big as o?
False
Let c be 1/(-4) - (-63)/12. Let t = -8 + c. Let g = 6 - 8. Is g less than or equal to t?
False
Let l = 40331/9165 + -1/1833. Which is smaller: l or 3?
3
Let h(m) = m**3 + 8*m**2 + 6*m - 9. Let q be h(-7). Suppose 0*g = 2*g - 102. Let s = g - 155/3. Is q <= s?
True
Let g = -1 - -11. Let y be (8/(-10))/(14/g). Which is bigger: -1 or y?
y
Suppose -20 = -r + 6*r, -4*y + 5*r = -92. Is y less than or equal to 17?
False
Let j be (-3952)/6270 - 4/(-6). Is j less than 0?
False
Let a be (0 - 6) + (-10)/(-5). Let v be a/(-18) + (-88)/234. Is -1/4 less than v?
True
Let m be 2/(-5) + 3/(-30). Is -7 < m?
True
Suppose 3*q + 40 = -2*q - 5*d, -q - 26 = -5*d. Let t = 10 + q. Let c = -4/9 - -2/3. Which is smaller: t or c?
t
Suppose 0 = 3*f - 4*p - 0*p - 10, 2*f = -5*p + 45. Let g be (-12)/f*(3 - -2). Is -5 < g?
False
Let z = 0.8 - -11.2. Let s = 17 - z. Which is smaller: s or 0?
0
Let r = 229 + -7101/31. Which is bigger: r or -2?
r
Suppose -d = -2*j, -7 = -5*d + 3. Suppose 2 = k - j. Suppose -2 = -s + 3*n - 4*n, 5*s - 2*n - 17 = 0. Is s < k?
False
Let r = -7 + 7.08. Let h = r + 0.52. Which is greater: h or -1/4?
h
Suppose l = -4*t - 0*l + 12, 0 = -2*t + 2*l - 4. Is t at least -2?
True
Suppose 5*o = -7 - 3. Do o and 6/7 have different values?
True
Let z be ((-1)/(-3))/(118/(-30)). Let b = z - -21/944. Is b greater than 0?
False
Let c(f) = -72*f**3 + 2*f - 1. Let s be 21/28 + (-2)/(-8). Let r be c(s). Let m = r + 427/6. Which is bigger: m or -1?
m
Let l = 33 - 100/3. Let p be 9/(-15) + (-98)/(-5). Suppose 4*a = 2*t + t - p, 2*t + 2*a = -6. Which is smaller: l or t?
l
Let i be (42/(-28))/((-186)/8). Let f(m) = -m**2 + m + 2. Let a be f(2). Do i and a have different values?
True
Let x = 64025/31 + -2065. Is -1 bigger than x?
False
Let w = -241.94 - -250. Let d = w + -8. Let z = d + 1.94. Is z >= 0.1?
True
Let u = 1 + -1. Let s be 5 + -4 + 1 + -2. Let l be (u - 1) + s - -2. Which is smaller: l or 0?
0
Let o = 4 - 2. Suppose 5*b - 12 = -o. Which is bigger: b or 2/3?
b
Let q(z) = -8*z**2 + z + 1. Let h be q(3). Let r = 206/3 + h. Do r and 2/13 have different values?
True
Let d = -76.8 - -8.8. Which is smaller: d or 1?
d
Suppose l = 3*l. Let w(x) = 3*x - 3*x**2 + 2*x**2 + l + x + 6. Let m be w(5). Is 0 equal to m?
False
Let l(t) = t + 2. Let m be l(-9). Let v(y) = y**2 + 7*y. Let s be v(m). Let i = -3/10 + 29/30. Is i less than or equal to s?
False
Let y = 0.1 + -0.4. Let o = -4.1 - -4. Which is smaller: y or o?
y
Let i = 19 - 19. Let f be -9*(4/(-6) - i). Is f equal to 4?
False
Let n = 2/31 - 80/279. Let v = n - 5/18. Which is greater: -2 or v?
v
Suppose z - 3*z + 2 = 0. Let m be (-3)/(-2) - (-4513)/18. Let o = -252 + m. Which is bigger: z or o?
z
Let d = 7.3 - 7.2. Which is bigger: d or -0.44?
d
Let t = 81 - 46. Is t at most as big as 34?
False
Let a = -0.04 + 0.08. Are -1 and a non-equal?
True
Let b = 2.8 - 3. Let v = b + 0.4. Let o = -0.3 + v. Which is smaller: 1/3 or o?
o
Let n = -281/224 + -1/32. Let o = -34/21 - n. Which is smaller: 1 or o?
o
Let q be (-2 + 1)/(4/(-8)). Let j be 2 + (-2 - (-2)/q). Which is smaller: 2/33 or j?
2/33
Let l = 5 + -2. Suppose -l*k + 1 = 25. Which is greater: k or -7?
-7
Let v = 89 + -77. Let o = 1.4 + -0.4. Is v smaller than o?
False
Suppose -5*j = 2*t - 25, t = -j + 3*j - 10. Let d = -11 - -18. Suppose -z + y + 3 = 0, 3*z + 2*y + d = y. Which is bigger: z or t?
t
Let b = -16 + 24. Suppose -4*r + b = k - 2, 0 = -4*k + 8. Let t = -0.06 + 0.06. Is r < t?
False
Let j(i) = 2*i + 11. Let p be j(-9). Which is greater: -6 or p?
-6
Let h(v) = v + 7. Let r be h(-6). Let d be (-2)/(-24)*(-8)/3. Which is smaller: d or r?
d
Suppose 3*p = 5*p - 30. Does 16 = p?
False
Let c(w) = 8*w + 9. Let l be c(3). Do 33 and l have the same value?
True
Let j be 1*((-1 - 0) + 2). Which is greater: -1 or j?
j
Let l = -43/2 - -22. Let q = 47 + -46. Which is smaller: q or l?
l
Let d = 4.6 - 4.5. Which is smaller: d or -1.3?
-1.3
Let f = -3 - 3. Let r = 12 - 20. Let g = f - r. Which is bigger: 1 or g?
g
Let b(i) = i**2 + 4*i - 16. Let l be b(-7). Which is smaller: 4 or l?
4
Let w = 1.47 - -0.03. Let a = 0.5 + w. Let y = 328.1 - 328. Is y less than or equal to a?
True
Let h(y) be the third derivative of 7*y**6/120 - y**3/6 - 2*y**2. Let a be h(1). Let s = 8 - a. Is 2 >= s?
True
Let p = 2.78 + -0.18. Let d = 0.6 - p. Which is bigger: d or -1?
-1
Let f be (-18)/(-27) + (-10)/69. Is f smaller than 0?
False
Let l = -1091/7 + 155. Is l > 0?
False
Let c(g) = g + 4. Let s be c(-5). Let m be (-1*(2 - 3))/s. Is -2/3 equal to m?
False
Let c = 11 + -9. Let x be (-13)/(-2) + 1/c. Which is smaller: 6 or x?
6
Suppose 2*k - 6*k = 0. Let m be k - (3 + 11/(-3)). Which is smaller: m or 0.2?
0.2
Let c be 4 - (-4 + 5) - 4. Which is smaller: -7 or c?
-7
Let r be 16/24 + 1 + (-49)/33. Is 2/7 > r?
True
Let f = -2599494647724538973/2786245 + 6530819268933/7. Let y = f + -2/50659. Let w = -54/11 - y. Are w and 0 unequal?
True
Let j(l) = l**3 - 9*l**2 - 11*l + 15. Let f be j(10). Suppose -x + 20 = -f*x. Which is smaller: 2/3 or x?
x
Let n be (-3)/(-2 - (-21)/15). Let k = -4 + 7. Suppose 0 = -k*i + n*i - 4. Which is smaller: 4/5 or i?
4/5
Let m = -0.1 - 0.9. Let r = 0.047 + 0.