/5 nonequal?
True
Let z(p) = p**2 - 13*p - 11. Let f be z(14). Which is smaller: f or 14/5?
14/5
Suppose -2 = -7*b + 5*b. Which is bigger: 0 or b?
b
Suppose -15 = 3*n - 3*c, 2*n = 3*c + 2*c - 19. Which is smaller: -12/5 or n?
-12/5
Let h(k) = k + 2. Let r be h(-2). Suppose 3*s - 2*s + 7 = r. Is -7 bigger than s?
False
Let p be ((-1)/(-3))/((-85)/25). Let u = -268/17 - p. Let q = -16 - u. Which is smaller: 1 or q?
q
Let j = 16 - 15.5. Is j bigger than -0.1?
True
Suppose -3 = -4*t + 5*z, -t - 2*z + 3 = -z. Let f(b) = b**3 + 5*b**2 - 3*b - 1. Let m be f(-5). Suppose -2*i = -o - 8 + 6, -2*i - 5*o = -m. Is t bigger than i?
False
Let d = 54 + -62. Which is bigger: d or -84/11?
-84/11
Let u(m) = -m**2 + 2*m + 3. Let z(w) = w - 4. Let p be z(7). Let a be u(p). Is -1 at most a?
True
Let k = 3 - 3. Suppose z + k*z - 22 = 0. Let r be z/(-10) - 1/(-5). Which is bigger: r or -3/2?
-3/2
Let u = 0.013 + -0.093. Are 3 and u unequal?
True
Suppose -3*m - 3*d = -102, 2*m - 2*d - 47 = 3*d. Is 91/3 < m?
True
Let y = -11.9 - -8. Let o = 1.1 - y. Let h = -6 + o. Which is smaller: h or 3?
h
Let v be (-2)/4 + 33/78. Let x = 2 + 0. Suppose -3*b - 1 = x. Which is greater: b or v?
v
Let g be (-2)/(-5) + 489/15. Let d be (-72)/(-33) - 6/g. Is -2 greater than d?
False
Let n be 1 - (1 - (-4)/(-2)). Let a(y) = -y**n - 2*y**2 - 2 + 4*y**3 - 3*y**3. Let k be a(3). Which is greater: k or -1?
-1
Let n = -30 + 34. Which is smaller: 0 or n?
0
Suppose -2*s = -w + 32, -5*w - 3*s = 2*s - 100. Suppose b - w = -b. Suppose -3*d = -3*o + 9, d = -2*d - 4*o + b. Which is smaller: 2/3 or d?
d
Let z = -1 + 0.99. Let w = z + 4.01. Let o(u) = u**2 - 7*u + 6. Let d be o(6). Is w smaller than d?
False
Suppose 3*s = 5 + 1. Let k = -47 - -89. Let l be 12/k + 6/(-21). Is l <= s?
True
Let q be (2/(-106))/((-13)/184). Let r = q + -6/53. Suppose -8 = 4*b - 4. Is b bigger than r?
False
Let k(w) = 2*w + 2*w**2 - 1 - w + 4*w**2 + w**3 + 5. Let f be k(-6). Is -3 <= f?
True
Let l = 8 - 8. Suppose -n + 10 = -l*n - p, 4*p = -n - 10. Let i = 4 - n. Is -1/5 != i?
True
Let i = 188/3 + -63. Are -0.03 and i equal?
False
Let v be 31/(-14) + (-6)/21. Let y(j) = j**3 - 3*j**2 - 3*j - 7. Let h be y(4). Which is greater: h or v?
v
Let d = 2.07 + -0.07. Let w = 1 + 1. Let r = w + -1.8. Which is greater: d or r?
d
Let k = -6.7 - -7. Let p = -1.2 - -1. Let c = k + p. Is 1/3 at most as big as c?
False
Let n = 0.14 - -0.86. Which is smaller: 0.1 or n?
0.1
Suppose 0 = 5*a + p - 28, -2*p - 10 = 5*a - 6*a. Suppose -4*o + 6 = -5*z - a, -3*o = 5*z - 9. Which is smaller: 2 or o?
2
Let j = -18 + 7. Let i = j - -15. Suppose 0 = -b + 5*b - l - i, -4*l - 16 = 4*b. Which is smaller: -1 or b?
-1
Let n = 2/17 + 16/153. Suppose o = 2*v - 3, -v - 3 = -o - 4. Is n >= o?
False
Let d be (1 + (-15)/(-9))*339. Let b = -8162/9 + d. Let n = b - -148/45. Does n = 0.5?
False
Let p = 0.4 - 0.3. Suppose -6*f + 20 = -2*f. Let o = f - 8. Is o less than p?
True
Suppose -2*i + 2 - 8 = -3*f, 11 = 5*f - 3*i. Let b = f - 22. Let n be b/(-52) + 3/(-6). Is 1 at most n?
False
Let d be ((-3)/(-9))/((-1)/(-6)). Let i be 6/9*3/d. Which is smaller: 3/2 or i?
i
Let z = -5 + 8. Are z and 2 equal?
False
Let p(l) = -4*l - 1. Let n be p(-1). Let y = -13 + 16. Is y smaller than n?
False
Let k = 0.3 - 0.4. Let d = -8/7 + 82/35. Let p = -8/5 + d. Which is smaller: k or p?
p
Let b(v) = -v**3 - 19*v**2 + 18*v - 19. Let x be b(-20). Is x at least 22?
False
Suppose 5*v - 2 = y + 12, 0 = v + 5*y + 18. Let k = -14 + 16. Suppose w = -k*w. Is v at most w?
False
Suppose 6*d - 2*d + 28 = 0. Let p = -8 - d. Let o = 0 + p. Is o < 0.06?
True
Suppose -b - 3*q + 10 = 0, 0 = 5*b - b + 5*q - 26. Suppose 4*v - 2*u = 58, -b*u + 7 = v - 3*u. Let g be (v/(-27))/(2/(-3)). Are 1 and g equal?
False
Let h = -71 - -175. Let y be h/6 - 6/(-9). Let d be 21/(-216) - (-4)/y. Is d greater than or equal to 1?
False
Suppose 6 = 4*q + 2*h, -3*q + 0*q + 4*h - 23 = 0. Which is smaller: q or 2/43?
q
Suppose 0 = 3*x - 5*x - 12. Let o be ((-3)/4)/(x/(-24)). Let q be 2 - 3/(-4)*o. Which is smaller: q or 1?
q
Let m = 1.5 + -1.44. Which is greater: m or 0?
m
Suppose i - 2 = -1. Suppose i = q + 21. Let g be (-2)/q - (-4)/10. Is g greater than 0?
True
Let a be 2/4 - (-2)/(-8). Let k(p) = -p**2 - 5*p - 5. Let t be k(-2). Which is smaller: t or a?
a
Let o = -0.157 + 0.157. Are o and 2/79 equal?
False
Suppose -4*v = -5*z + 55, 0 = -0*z - z + 3*v + 11. Which is smaller: 9 or z?
9
Let r = -14/39 - 4/13. Which is smaller: r or 1/66?
r
Suppose 0*p - 10 = -5*n - 3*p, 5*p = -2*n + 4. Let j be 32/66 + 4/22. Is n != j?
True
Let w = -4 - -3. Let a = 1 + w. Let j = 12 + -12. Is j < a?
False
Suppose 2*q + 17 = -1. Let p be (-4)/(-10) - q/(-10). Suppose 4*o = 34 - 38. Is p smaller than o?
False
Suppose 0 = 4*i + 4 - 32. Let x = 13 - i. Let y be (-5 + 3)/((-4)/14). Which is greater: y or x?
y
Suppose 3 - 8 = -5*a. Is -4/19 greater than a?
False
Let h be 1/(1 - (-2)/(-1)). Suppose -25 = -5*v, 2*f - v = -2*f - 41. Let a be 0 + -1*f/21. Are a and h non-equal?
True
Let n = 646/13 - 50. Is 1 >= n?
True
Let v be (-3)/(15/10)*2/(-18). Suppose k - 5*k = -8. Let h = -2 + k. Is v <= h?
False
Let k be 12/(-10) - -2 - (-2)/10. Let b(y) = y**2 - 2*y. Let x be b(2). Which is smaller: k or x?
x
Let b = -73 - -73.2. Let t = -1 - -0.8. Is t greater than or equal to b?
False
Let w = -1/115 - -2417/230. Is w != 11?
True
Let v = 1.02 - 0.02. Let m = v + -1.2. Is -0.2 != m?
False
Let t be -5*(0 - (-4)/5). Let f = -5 - t. Let o be -1*(-2)/f + 1. Which is smaller: o or -1/3?
o
Let k be -2 + -2 + 1 - -4. Is 1 greater than or equal to k?
True
Let m = -53 - -50.9. Let t = m + 1.1. Which is smaller: 0 or t?
t
Let g(h) be the third derivative of h**6/120 - h**5/30 - h**4/24 + h**3/6 - h**2. Let o be g(1). Is 2 bigger than o?
True
Suppose 0*r + 2*r = -4*g + 370, -3*r = -4*g - 585. Let z = r + -4012/21. Is z bigger than -1?
True
Suppose k + 1 + 0 = 0. Let l = 2567/715 - -3/65. Let a = l + -189/55. Which is bigger: a or k?
a
Suppose 3*s - 4 = 2*s, o = 2*s - 5. Suppose 1 + o = r. Let b = 1 - r. Is b not equal to -3?
False
Let c be (3 - 4)*(0 - -1). Let h be c/5 - (-1)/5. Suppose 2*j - 4 = -h. Is j less than 1/2?
False
Suppose 5 = -4*g - 3. Is g at most as big as -2?
True
Suppose -4*q = -2*s + 20, 0*q + 4 = -4*s - 3*q. Let f(m) = m**3 + 5*m**2 + 1. Let o = -16 + 11. Let g be f(o). Which is smaller: g or s?
g
Suppose 0 = 2*h - 3 - 9. Is h at least 45/7?
False
Suppose -s = d - 11 - 11, 2*s = 5*d + 72. Which is smaller: s or 28?
s
Let c = 0.1 - 0.3. Let d = -0.2 + c. Let a = d + 0.7. Is a less than or equal to 2/3?
True
Let t(v) = 3*v + 7. Let u be t(5). Let n = u - 11. Let j be 6/18 - n/(-3). Which is smaller: 5 or j?
j
Let q = -197.06 - -200. Let m = -0.06 - q. Let b = m + 3. Is b >= 0.2?
False
Let n(r) = 3*r - 15. Let g be n(7). Suppose j = -2*o + 3, -2*j + 3*o + g = -0*j. Is j at least as big as 11/3?
False
Let k = 0.28 + 11.72. Let a = 10 - k. Which is greater: 4 or a?
4
Suppose 0 = 23*c - 2*c. Which is smaller: -2/9 or c?
-2/9
Let k be 2*-2*(-2)/36. Let z = -187 + 196.1. Let t = z + -9. Which is bigger: k or t?
k
Let l be 4 - ((-7)/(-5) - -1). Which is smaller: 1 or l?
1
Let u = 30 - 30. Is -2/13 at most u?
True
Suppose 0 = -i + 2*i - 4*d + 18, -d = -4. Let a be 1*(3/3 - 4). Is a at most as big as i?
True
Let l be 2/(0 + 3/6). Suppose -7*s = -l*s + 6. Which is bigger: -1 or s?
-1
Suppose 2*a - 34 + 36 = 0. Is -92 greater than or equal to a?
False
Let m(b) = -b**2 + 3*b - 6. Let k be m(4). Which is smaller: -6 or k?
k
Let a(n) = n - 5. Let p be a(4). Let x = -1 + p. Let y be (10/(-4) - -2)*2. Which is greater: x or y?
y
Let y = 0 - -6. Let i = y - 5.9. Let x = 0.1 - i. Which is greater: -2 or x?
x
Let t = 112/3 + -463/12. Let p(a) = -a**2 + a + 5. Let y be p(3). Which is smaller: t or y?
t
Let u = 0 + 2. Let r be (-1)/u*0/(-2). Let f(p) = -p + 2. Let x be f(3). Which is smaller: r or x?
x
Let c be (-4)/1*(-4)/16. Is 2/11 at most c?
True
Let d be 7/(-28) - (-2 - 6/(-8)). Which is smaller: d or -2/31?
-2/31
Let p(b) = b**3 - 6*b**2 - 5. Let a be p(3). Which is smaller: -30 or a?
a
Let j(a) = -a**3 - 3*a**2 + 4*a - 1. Let z be j(-4). Let o be -1 + 2 - (-5 - z). Suppose 0 = -4*s + k + 2 + 19, 3*k - 2 = -s. Are s and o nonequal?
False
Let p be (-2)/3 - (-69)/