least as big as 9?
True
Let d be (3/38)/(6/(-8)). Let v = 4 + -3. Which is greater: d or v?
v
Let c(x) = x**3 + 10*x**2 - 10*x + 4. Let v be c(-11). Let s(n) = -n + 0*n + 0*n. Let i be s(7). Are i and v non-equal?
False
Suppose -5*f - 10 = -0*f. Let r be (-1 - f) + (2 - -1). Let g be 8/18 + r/(-18). Which is smaller: g or 1?
g
Let j = -32 - -11. Let k = j + 20. Is -2/5 not equal to k?
True
Let q(u) = -u + 10. Let d = -9 - -19. Let b be q(d). Is b not equal to -1/7?
True
Let c = -1/44 + 23/44. Which is smaller: -1/17 or c?
-1/17
Let v(k) be the second derivative of -k**4/4 - k**3/3 - k**2/2 + k. Let r be v(-1). Does -3 = r?
False
Let p = 40 - 39. Let r be (4/(-6))/(4/(-6)). Is r smaller than p?
False
Suppose 36 = 2*a + 5*y - 4*y, 3*a = -3*y + 54. Is a less than 17?
False
Let q = 275 + -276.53. Let a = 0.23 + q. Let v = a + 0.3. Are v and 0 equal?
False
Let c(h) = h**2 + 6*h + 5. Let b be c(-5). Suppose -m + 0*m + 5*t - 25 = b, -5 = 3*m - t. Which is smaller: m or -0.03?
-0.03
Suppose -h - 3*l + 15 = -2*h, -4*l = 4*h + 12. Let d = 1 - 7. Let z = d + 1. Is z smaller than h?
False
Let h = 17 - 18. Is h at most as big as -1/2?
True
Let o(k) = -k**3 - 6*k**2 + 2. Let v be o(-6). Which is smaller: 1 or v?
1
Suppose 4*q = -3*l, 6*l = 3*l + 3*q. Let t(u) = -u - 4. Let n be t(-5). Is n less than l?
False
Let x = 6 - -2. Let c be 2/x - (-5)/(-20). Which is greater: c or -2/17?
c
Let m(v) = v**3 - 2*v**2 - 5*v + 5. Let c be m(-3). Are c and -25 unequal?
False
Let u = 1907 + -938. Let w = 27135/28 - u. Is 0 != w?
True
Let b = -17 - -16.4. Which is smaller: b or -0.1?
b
Let b(u) = u**3 + 3*u**2 + 3*u + 3. Let w be b(-2). Suppose 0 = -3*k + 2*a - 5 + w, 0 = 4*a - 8. Let m = k + 2. Which is greater: m or 1?
m
Let b(r) = r**3 + 4*r**2 - r - 4. Let s be b(-4). Suppose 4*k + l = -13, 0 = -5*k + 3*l - 10 - 19. Let g be (-2)/3*k/12. Which is smaller: g or s?
s
Let w be (4/(-2*6))/((-33)/18). Let f(a) = -a**2 - 3*a + 4. Let b be f(-3). Suppose 3*o - b*v = -7*v - 9, 3*v = -5*o - 11. Is o > w?
False
Let l = 3 + -3. Let a = l - -0.1. Let f = -0.714 - -0.014. Is f equal to a?
False
Let y = -1 + -8. Let d be (3/y)/(15/54). Which is smaller: d or 0?
d
Let q be (0 - 2) + (-12)/6. Let t = -5 - q. Let d = 2 + -1.8. Is d at most t?
False
Suppose -3 - 18 = 3*y. Let u be -2*(3 - 2) + 4. Suppose -5*a - 4 = u*j, -3*j + 3 = 4*a + 16. Is j < y?
False
Let h(f) = f + 2. Let i be h(7). Let s be (-1 + 1)*(-3)/i. Which is greater: -4/5 or s?
s
Let o(l) = l**2 - 19*l + 7. Let r be o(19). Which is greater: 23/4 or r?
r
Let r(k) = k - 10. Suppose 4*h = 5*d + 50, -5*h + 0*d - 2*d + 46 = 0. Let o be r(h). Is 6/7 > o?
True
Let j = -8 + 12. Is 5 at most as big as j?
False
Let m(t) = t**2 - 4*t + 5. Let r be m(7). Let z be -3*(-3 + r/9). Is -1 >= z?
False
Suppose -5*r + 0 - 5 = 0. Suppose -3*o + 6 = -8*o + p, 2*o - 2*p + 4 = 0. Let l be (o - -3)/(-2 - -9). Is l < r?
False
Let s be (3 - -3)/((-4)/10). Let z be (-6)/s*(-5)/6. Suppose -7 + 1 = 3*v. Which is greater: v or z?
z
Let g = 557/5 - 111. Let l = 2 - 4. Are l and g equal?
False
Let j be (-6)/(-2) + (7 - (-245)/(-25)). Let i(l) = l**3 - 3*l + 1. Let v be i(2). Let g be 0*(-2)/(v + 1). Is g >= j?
False
Let q = 108/7 + -1857/119. Let s = -29/68 - q. Which is greater: 0 or s?
0
Let w be 9/21*(-4)/(-3). Let n be -4*((-12)/(-8))/(-3). Which is smaller: w or n?
w
Let s = -12 + 11. Let n = 4 - 1. Let p = s + n. Which is smaller: p or 3?
p
Let r = 0.1 - 0. Let b = 4.7 + -3.7. Which is bigger: r or b?
b
Let h(p) = p**2 - 3*p + 2. Let x be h(2). Let t(u) = u**3 - 6*u**2 - 6*u - 6. Let i be t(7). Suppose 3*f + 4 = i. Are x and f equal?
False
Let b be (3/(-9) - 0)/(1/3). Suppose -2 = -x, -4*m - 3*x = -1 - 5. Is b greater than or equal to m?
False
Let p be (-28)/30 - (-3)/9. Is p equal to 0?
False
Let z = 67.8 + -77. Let w = z - -9. Which is smaller: -3 or w?
-3
Let m = -2 - -1.8. Let q = 5.2 - 6. Let o = m + q. Is 0.1 greater than o?
True
Let v be (-6)/9 - (-40)/204. Which is greater: v or -1?
v
Let r = -0.1 - -0.2. Let i = -13.3 + 13. Which is greater: r or i?
r
Suppose -4 = q - 4*z, -z + 2*z - 1 = q. Let b(h) = -h + 3. Let o be b(q). Is o at most 3?
True
Let t(y) = -y**2 + 13*y + 12. Let d be t(14). Let m be (4/(-3))/(d/(-3)). Are m and -1 equal?
False
Suppose 4*c - 36 = z, -c = -5*c - 2*z + 24. Suppose 2*u - c = 6*u. Which is bigger: -1 or u?
-1
Suppose -5*a - 3 + 11 = 2*u, 5*u = 3*a + 20. Suppose -40 = -5*h + 3*t, -t + a*t = 2*h - 5. Let x(c) = -c - 5. Let i be x(-6). Which is smaller: h or i?
i
Let t be ((-16)/12)/(1/(-2)). Is t not equal to 4?
True
Let p = 7 - 8. Let y = -0.9 - p. Is y bigger than -2/9?
True
Suppose 4*b = 1 + 59. Which is bigger: 12 or b?
b
Let z be (-1 - 0)/((-1)/5). Let m = 399 - 1581/4. Which is smaller: z or m?
m
Suppose -2*d = 4*j + 2*d - 4, 3*j - 2*d - 18 = 0. Let f be 22/(-126) + j/14. Is f at most as big as 1?
True
Let b be (16/432)/((-2)/(-6)). Let y = 0 - -1. Which is smaller: y or b?
b
Let r = 30 + -30.3. Do 1/11 and r have the same value?
False
Let y(z) = z. Let s be y(-1). Let u be (-50)/72 + 6*2/48. Is s < u?
True
Let i = -3.59 - -3.8. Let p = -10.21 + i. Let x = 6 + p. Which is smaller: x or 1?
x
Let a(y) be the first derivative of y**2/2 + 7*y - 4. Let c be a(-6). Which is bigger: 1/2 or c?
c
Let o be 6/(-8)*(-2)/6. Suppose -m + 0*m - 9 = 0. Are m and o equal?
False
Let g be (0/(-3))/(4/(-2)). Let r be (2 - g - 1) + -5. Let o be 8/(-45) + r/(-10). Which is smaller: 0 or o?
0
Suppose 0 = -4*r + 7*w - 2*w - 176, 4*r - 2*w + 176 = 0. Which is smaller: r or -42?
r
Suppose b - 2 - 3 = 0, -g - 5*b + 29 = 0. Suppose 3*d + 3 = g*d. Suppose 3 = 3*a - 3. Do a and d have the same value?
False
Let m = 13 + -10. Suppose -5*v + 0*k = -3*k - 21, -4*k = m*v - 1. Let y be 51/(-8) + 3 + v. Is y less than or equal to 0.1?
True
Let m = -0.018 - 0.282. Which is smaller: m or -0.1?
m
Let l(w) = w**3 - 6*w**2 + 5*w + 1. Suppose 1 = -p - 2*y, 0 = -2*p - 0*p + 4*y + 22. Let h be l(p). Which is smaller: -1/21 or h?
-1/21
Let b be 2/(-4)*(-6 - (-9 - -5)). Which is greater: 5/3 or b?
5/3
Let g be 0 - 15 - (-8)/4. Which is smaller: -2 or g?
g
Let k be 0/2 + (-1 - -1). Which is smaller: k or -1/3?
-1/3
Let i = -61 + -29. Which is bigger: i or -89?
-89
Let m be 2 - -30 - (-8)/2. Let s = 15549/428 + -17/214. Let o = m - s. Is -0.2 bigger than o?
True
Let l = -48 + 19. Is l smaller than 2?
True
Let m = 20 - 29. Which is smaller: m or 1/4?
m
Suppose -w + 2 = -0. Suppose w*l + 0*l = -2. Let t = -2176/9 - -242. Which is greater: t or l?
t
Let b be (0 + 0)/((-1)/1). Suppose -o - 1 + b = 0. Which is greater: 3/8 or o?
3/8
Let l(a) be the first derivative of -a**4/4 + 4*a**3/3 + a**2/2 - 5*a + 8. Let i be l(4). Which is smaller: 0.6 or i?
i
Let m be 75/(-10)*4/6. Let s be (-1 + 2/(-6))*3. Is m < s?
True
Suppose s - 14 - 6 = 0. Let n(q) = -q**3 - 6*q**2 + q + 5. Let p be n(-6). Let x be (-2)/p - s/12. Is -1 < x?
True
Let g = -41 - 1. Is 0 != g?
True
Let h = -0.1 - -5.1. Let c = h + -2. Let k = c - 3.1. Are k and -3 non-equal?
True
Let q(d) = d**3 + 11*d**2 - 14*d - 23. Let b be q(-12). Are b and -1 nonequal?
True
Suppose 4*t = -3*i - 45, 30 = -3*t - 4*i - 9. Let j = 3 + t. Which is greater: -1 or j?
-1
Let g = -14 + 14.1. Which is smaller: g or 6?
g
Suppose 6 = 4*q - 3*q. Let l = 8 - q. Let m be (-6)/39 + (l - 2). Are m and -1 equal?
False
Let j = 26 - 41. Let d = 21 + j. Let b = 6 - d. Which is greater: b or 0.3?
0.3
Let q = 2 + -1. Is q at most as big as 4/13?
False
Let y = 26 + -25.2. Is y > 2/17?
True
Let g = 24 - 4. Is g smaller than 20?
False
Let k = 94 - 93.04. Does -1 = k?
False
Suppose a - 10 = -5*p, 0 + 4 = 2*p + a. Are p and 0 equal?
False
Let u = 0.2 + -0.252. Which is bigger: u or 2/3?
2/3
Let b = 79 - 77. Is -2/5 equal to b?
False
Let z = -20 - -18.9. Let f = z + 0.1. Are f and 0.1 non-equal?
True
Let z = -4 + 7. Let l = -5 + z. Let b = l + 2.2. Which is smaller: b or -1?
-1
Suppose -2*r + 6 = -2*g, -3*r + 3*g + 13 = -4*r. Let x = r + -1. Let k be (2/4)/(5/(-6)). Which is bigger: x or k?
k
Let a = 197 - 193. Let j(u) = u**2 + 3*u + 1. Let c be j(-2). Is c > a?
False
Let m = 12/5 + -54/35. Let j = -52/77 + m. Which is greater: -1 or j?
j
Let m be (-450)/117 + (-1 - (-6 - -1)). Which is smaller: -4/5 or m?
-4/5
Suppose -2*l = -3*a + 12