= f + -3. Which is smaller: 0 or i?
i
Suppose -h - 3*h = 12, k + 2*h = -3. Let v be (k + -4)*-1 - 4. Which is smaller: -2 or v?
v
Let v = 86 - 95. Is -3 less than or equal to v?
False
Let k = 135 - 258. Let g be k/(-12) + 2/(-8). Is g at most as big as 9?
False
Let d = -0.2 - -0.2. Let k = d - 0.2. Which is smaller: 0.2 or k?
k
Let j = 0.1 - 0. Let h = -2.2 - -2.6. Is j greater than h?
False
Let n(s) = -5*s. Let w(i) = -9*i + 1. Let d(r) = 11*n(r) - 6*w(r). Let m be d(-5). Is m < 1/12?
True
Let k be ((-1)/(-6))/(5/(-10)). Which is bigger: k or 0?
0
Let k = 7360/9 - 817. Which is greater: k or 0?
k
Suppose 3*f - 22 = 5. Suppose -8*d + 4 = -f*d. Are -5 and d non-equal?
True
Suppose 4*w - 10 = -w. Let p be -7 + 5 + w*2. Suppose 4*x - 5 - 5 = -p*d, -2*d = -2*x + 8. Are d and -2 non-equal?
True
Let h = -8 + 13. Suppose -h*b + 6 = 11. Which is smaller: b or 1/3?
b
Let m = 94 - 93.4. Which is greater: m or 0?
m
Let s = 25 - 23. Suppose -2*p - 2 = -4*p. Is s equal to p?
False
Let d = 0.32 - -0.68. Do 4/19 and d have the same value?
False
Let m = -3.06 + 0.06. Let o = m - 0. Let r = o - -4. Are 0 and r non-equal?
True
Let h(g) = 3*g**2 + 2*g + 1. Let l be h(-1). Let k(q) = -q**2 + 5*q - 4. Let b = -6 + 10. Let i be k(b). Which is smaller: l or i?
i
Let h(m) = -m. Let s be h(3). Let f(c) = -c - 2. Let i be f(-5). Suppose -w - i + 2 = 0. Which is smaller: s or w?
s
Let l = -3079/20 - -151. Let s = 16/5 + l. Which is bigger: 8 or s?
8
Suppose 2 + 7 = l. Let q(z) = -z**2 + 8*z + 9. Let w be q(l). Suppose 2*m = 4*m. Is m bigger than w?
False
Let w(x) = -x**3 - 4*x**2 + 2*x + 5. Let o be w(-4). Let l be o/62*72/54. Is l less than 1?
True
Let u = -673/5 + 134. Suppose -15*t = 2*t. Are u and t unequal?
True
Suppose -2*p = 5*w - p - 12, -3*w + 12 = 3*p. Let y = w - 1. Let l be (-4)/(-12) + (-7)/15. Which is smaller: y or l?
l
Suppose 0 = 5*p - 10*p. Let h = 0.01 + 0.19. Let u = -0.1 + h. Is u smaller than p?
False
Let b = -3 + 2. Let z = -6 - -2. Let x = z + 3. Is x > b?
False
Let w be 10/4 - (2 - (-1 + 0)). Which is smaller: w or 0.2?
w
Let f be -7 + 10 - (-317)/4. Let w = -83 + f. Which is greater: w or 0?
0
Let m(r) be the second derivative of r**5/20 - r**4/4 + r**3/6 - 3*r**2/2 - 5*r. Let p be m(3). Is p less than or equal to -2/3?
False
Let u(n) be the second derivative of n**4/12 - 5*n**3/6 + 2*n**2 + 8*n. Let y be u(4). Is 1/2 greater than y?
True
Suppose 0 = 5*a + u - 0*u + 8, 0 = -a + 3*u + 8. Let f be (-34)/85 - 44/(-135). Which is greater: a or f?
f
Let b be 27/(-81) + 40/3. Are 18 and b non-equal?
True
Let a be (-68)/102*(14*2 + -1). Is a at least -18?
True
Let y(g) = -g**2 - g + 3. Let s(f) = f**2 + 5*f + 1. Let l be s(-4). Let v be y(l). Let d = 5/2 + v. Which is smaller: d or -2?
-2
Let j be 30/(-100)*7/(-3). Which is smaller: j or 1?
j
Suppose -3*u - 1 = 5*c + 24, -5*u + 3*c = -15. Suppose -4*x + 21 = -3*h + 5, -2*h - 8 = u. Let v(n) = -3*n. Let g be v(x). Is 0 > g?
True
Let r(u) = u - 2. Let a be r(-6). Let t(k) = k**3 + 8*k**2 + 18*k + 3. Let f be t(-2). Are f and a equal?
False
Let s = -6 + 4. Suppose -3*m = m. Let a be (0 - 1/(-2)) + m. Is a at most s?
False
Let g = 16 - 33/2. Let l = -0.14 - 4.86. Let w = -9 - l. Which is smaller: w or g?
w
Let r = 36/49 + 20/49. Is 2 < r?
False
Let g be (-2)/5 - 142/(-5). Suppose -2*j - 2*x = 2*j - g, -2*x = -4. Suppose -5 = s - j*s. Is s >= 0?
True
Suppose 14*u - 3 = -31. Which is smaller: -23/7 or u?
-23/7
Let s(l) = 2*l**3 - l**2 + 3*l - 2. Let y be s(2). Suppose 4*v = 2*n + 6, 4*n - 4 + y = 0. Let i be 6/(-9) + (v - 0). Which is greater: -2 or i?
i
Let l = 2 - 2.5. Suppose -51 = -4*n - s - 4*s, 5*n = -s + 69. Let t be (-1 - (-10)/n) + 0. Is l at most t?
True
Let h(s) = -s**2 + 3*s. Let c be h(3). Suppose -3 = -3*f + 3*q, 4*f - 6*f + q + 3 = c. Let j be 8/(-18) - f/(-9). Which is greater: 0 or j?
0
Let s be -3 + (-1 - 11/(-3)). Which is greater: s or -1?
s
Let u = 1 - 1. Let o be 1/(-20) - 2/10. Which is bigger: o or u?
u
Let z(q) = -q**3 + q**2 - 1. Let i(l) = l**3 - 9*l**2 - 7*l - 4. Let w(c) = -i(c) - 2*z(c). Let n be w(-6). Let a be (5/(-2) + 2)*0. Is a bigger than n?
False
Let o be ((-2)/(-3))/(85/(-408)). Which is bigger: o or -2?
-2
Let l(z) = -z - 12. Let x be ((-4)/10)/(4/120). Let g be l(x). Is 1/20 greater than g?
True
Let q be 24/18*(-1)/(-4). Let y(s) = -s**3 - 9*s**2 - 8*s + 2. Let h be y(-8). Let w be -2*1/4*h. Do q and w have the same value?
False
Let c(i) = -i**2 - 12*i - 3. Let g be c(-8). Which is smaller: 28 or g?
28
Let y = -9 + 11. Suppose 0*s - 4 = -2*s. Are y and s unequal?
False
Let h(x) = -x**3 + 6*x**2 - 7*x + 6. Let u be h(6). Let r = u + 614/17. Let d = 28/51 + r. Which is smaller: d or 1?
d
Let k be ((-11)/(-4) + -2)*4. Suppose -4*l = -k*y + 27, -5*y + l - 6 = -34. Is y less than or equal to 5?
True
Let s be (-3)/(2 - 3) + 155/(-25). Which is greater: -3 or s?
-3
Let b = -20 - -62/3. Suppose 6 = -j - j. Let w be (1/2)/(j/(-6)). Which is bigger: b or w?
w
Let w be (3 - (-25)/(-5)) + 3*-1. Is w greater than -1?
False
Let h be 3*(3 + -2) - 110/18. Which is bigger: h or -2?
-2
Let f = 2186/7 - 311. Is 2 > f?
True
Let k be 1527/(-540) - -3 - 6/27. Is k >= -2/3?
True
Let v be (-4)/14 - (-11)/14. Which is bigger: v or 2?
2
Suppose 0 = -5*d - 2*h + 12, 3*d + h + h = 8. Suppose 4*g + 2*f + 3*f - d = 0, -2*f = 2*g - 2. Let z = g + -1. Do 3 and z have the same value?
False
Let k be ((-5)/(-4))/(0 - (-21)/4). Is k not equal to 0?
True
Let n be (-10)/4 - (-6)/3. Let r = 68219/455996 + -12/3931. Let i = r + 3/29. Is i less than n?
False
Let n(d) = -3*d**3 + 5*d**2 - 6*d + 7. Let h(t) = -8*t**3 + 14*t**2 - 17*t + 20. Let b(k) = -4*h(k) + 11*n(k). Let c be b(2). Which is smaller: -12 or c?
-12
Let v be (-4)/(-18) - (-12)/189. Let x = -19 - -11. Let s(p) = -p**3 - 7*p**2 + 9*p + 9. Let d be s(x). Which is smaller: v or d?
v
Let y(p) = -p**2 + 9*p. Let w be y(10). Let r be 0 + w/(-6) - 3. Is -2 at most as big as r?
True
Let h = -10 + 4. Let t = -5 - h. Let p be t + 0 + (-6)/4. Is p less than -2?
False
Let i be ((-1)/(-3))/((-33)/9 + 4). Which is smaller: 1/5 or i?
1/5
Let z = 1.3 + 1.7. Let u = 4 + -2. Is z <= u?
False
Let o(s) = -2*s + 5. Let h(a) = a**2 - 3*a + 4. Let t be 3 + -2 + 2/1. Let v be h(t). Let d be o(v). Are d and -4 equal?
False
Let q be (-3 + 7)*(-14)/4. Let j be 50/28 + 4/q. Let a = j + -1. Is a smaller than 1?
True
Let a be 1/(-4) - 1014/(-24). Suppose -5*l - 7*j - a = -4*j, l - 4*j = 10. Let s be 1/12 - (-2)/l. Are -1 and s non-equal?
True
Suppose -5*p + 67 = -63. Suppose -5*s - 4*b = p, -2*b = -2*s + 3*b + 16. Let u = s + 4. Is 3 smaller than u?
False
Let l(z) = -z**2 + 2. Let w be l(0). Suppose 0 = -2*h - s + 8, -18 = -5*h - 4*s + w*s. Are -1 and h non-equal?
True
Let q be 1/(-3) + (-55)/15. Is -2 <= q?
False
Let z(k) = -k**3 + 5*k**2 + 3. Let a be z(5). Are 5 and a equal?
False
Suppose 13 = 5*w - 2. Suppose -2*b = w*o + 4 - 5, 2*o = -b. Is o less than -3?
False
Let x = 36 - 33. Which is greater: x or -0.3?
x
Let d be 15/3 + 7 + -5. Are 6 and d non-equal?
True
Let w = -6 - -7. Suppose 3*t = 4*x - w + 3, -7 = x - 4*t. Let k = x - -2. Is 4 < k?
False
Let o(p) = -p + 6*p**2 - 3*p - p**3 - 7 + 3. Let k be o(5). Let c be ((-6)/(2*-1))/7. Which is smaller: c or k?
c
Let q(n) = 0*n**2 + n**2 + 1 + 5*n + n - n. Let t be q(-4). Is t smaller than -4?
False
Suppose -4*w + g = -83, 2*w = -2*w - g + 85. Is 165/8 bigger than w?
False
Let q = 58/7 - 768/91. Is -1 smaller than q?
True
Let w = 0.5 + 0.1. Let g = -0.5 + w. Let r(c) = 2*c**2 + 2*c + 1. Let l be r(-1). Which is greater: g or l?
l
Let y = -4.8 + 5. Let q = -1 + 0.6. Let f = y + q. Are f and 2 non-equal?
True
Let p(d) = -d**2 + 14*d - 24. Let y be p(11). Is y equal to -0.09?
False
Suppose 212 = -5*r - 103. Let s be ((-18)/r)/(34/(-1601)). Let f = s + 95/7. Which is bigger: f or -1?
f
Let a = 7358/5 + -1487. Let i(p) = p**2 + 2*p. Let x be i(3). Let f = x + a. Which is greater: 1 or f?
1
Let t be -2 + -2 + 55/13. Let j = 71 - 70. Which is smaller: j or t?
t
Let q = 18.1 + -18. Which is smaller: -1/7 or q?
-1/7
Let d(y) = -3*y**2 - 5*y - 3. Let w be d(-3). Let f be 6/w*6 - -2. Which is smaller: -2 or f?
-2
Let j = -2.97 + -0.03. Let l = j + 3.2. Is l less than or equal to 1/4?
True
Let u be 297/(-123) - -1 - -2. Let b = u