-6)/14). Is y at most as big as -20?
False
Let u be 47/28 + 20/(-80). Is u not equal to 2?
True
Suppose 64 = 4*p - 4*b, 3*p + 4*b - 1 = 2*p. Let c = p - 14. Is -5/3 greater than c?
False
Let c = -261 - -1571/6. Let g be 2/(-10)*2*-10. Suppose -8*v = -g*v - 4. Which is smaller: c or v?
c
Let m = -31 + 33.05. Let d = m - 0.05. Let p = d + -4. Which is greater: 0.1 or p?
0.1
Let g = -1 - -10. Let f(d) = -d**3 + 9*d**2 - d + 9. Let h be f(g). Is h bigger than -1/8?
True
Let b be 9/27 - 19/39. Which is greater: b or 1?
1
Let w(o) = o**3 - 4*o**2 + o - 3. Let n be w(4). Is n less than or equal to -3/10?
False
Suppose 0 = 3*u - 0*u - 6. Suppose 4*l - 95 + 79 = 0. Is l less than or equal to u?
False
Suppose 2*s - 6 = -2*k, -s + 22 = 4*k + s. Is 6 >= k?
False
Suppose -5*m + 22 = g, 16 = -3*g + g + 2*m. Let k be ((-15)/(-792))/(g/4). Let p = 3/22 + k. Is p equal to 0?
False
Suppose y - 4*y = -6. Let s = 0 - y. Let b(z) = -z**3 - z**2 + z - 2. Let n be b(s). Is -1/6 smaller than n?
True
Let a = -15.65 + 10.7. Let v = 5 + a. Let y = 0.95 + v. Are -2 and y equal?
False
Let f = 0.2 - 0.1. Which is smaller: -10 or f?
-10
Let u(n) = -n**3 + 3*n**2 + 5*n. Let w be u(4). Is w not equal to 0?
True
Let f(l) = 2*l + 3. Let w be f(-2). Let s = w - -4. Suppose 2 = s*i - 5*i. Is i <= -2/5?
True
Let a = -3.07 + 0.07. Let r = -17 - -17.1. Which is bigger: r or a?
r
Suppose 0 = -3*b - 2 + 44. Let a be 1/((5/b)/5). Is 13 < a?
True
Suppose 2*f - k = -24, 4*k = 2*k. Let v = -13 - f. Let d = 99/4 + -325/12. Which is smaller: v or d?
d
Let p(j) = -6*j. Let n be p(-1). Let l = n + -6. Which is bigger: l or 1/4?
1/4
Let l = 2863 - 2840.99. Let s = l + -20. Let m = s + -0.01. Is 2 greater than m?
False
Let o be 10/6 - 4/(-12). Let t be -2 - 39/(-9) - o. Which is smaller: 0.1 or t?
0.1
Let y be ((-3)/(-15) - 64/20) + 23. Which is smaller: y or 18?
18
Let w(l) = -l**3 + 1. Let r be w(0). Let n be (3 - r - 2) + -1. Is n bigger than 0?
False
Let g = -2 + 7. Let q = g - 6. Which is smaller: 0 or q?
q
Let w = 3.5 - 0.5. Let d be (-21)/7 - -7 - (-14)/(-3). Is w greater than d?
True
Let q be (4*3/(-18))/2. Is -1/3 smaller than q?
False
Let w be 5 - 0/(9/3). Suppose 2*p - 4 = 2. Is w <= p?
False
Suppose 0 = v + 5*y - 3*y - 9, 31 = 5*v + 3*y. Which is smaller: v or -2?
-2
Let b = -1 + -2. Let r = b - -5. Is 2 at least as big as r?
True
Let r(i) = -4*i**2 + 1. Let o be r(1). Let g = 90 - 185/2. Are o and g nonequal?
True
Let r = 9 - 14. Let b(a) = -a**2 - 5*a + 3. Let f be b(-5). Let h be (2/f)/(2/(-3)). Is h greater than or equal to r?
True
Let t = -5 + 4. Let x be (8/3)/(-4) + 0. Which is smaller: x or t?
t
Suppose 0 = 2*n + 17 + 1. Let h be ((-3)/n)/1 + 0. Which is bigger: -1/3 or h?
h
Let m(x) = 7*x**2 + 12*x + 5. Let h be m(-2). Which is bigger: h or 11?
11
Let i = 3173 - -7516. Let c = 470343/44 - i. Let g = -4/11 + c. Which is greater: 1 or g?
1
Let v be (3 + -3)*-1 + 1. Let u = v - 2. Which is smaller: -2/9 or u?
u
Let x(w) = w**2 + 6*w + 1. Let s = -8 + 2. Let y be x(s). Which is bigger: -2/19 or y?
y
Suppose 0 = -0*v - 2*v - 18. Suppose -27 = -0*t + t + 4*x, 0 = 4*t - 4*x + 8. Which is greater: v or t?
t
Let p(z) = z + 1. Let n be p(3). Is n less than 1/3?
False
Let t = -21 + 19.5. Which is smaller: t or 0?
t
Let d = 0.5 - 0.4. Let l = 28 - 30.8. Let i = -3 - l. Which is smaller: i or d?
i
Let t = 66 - 44. Let m be (-93)/(-13) + t/(-143). Which is bigger: -1 or m?
m
Let u = -2/65 - 57/260. Let x = -20/43 + 2425/129. Let m = -19 + x. Are u and m equal?
False
Let g = 3 - 0. Let r = g + 2. Let w be (32/20)/((-4)/(-10)). Which is smaller: w or r?
w
Let m = 3 + -4. Let s be m*(2/1 - 1). Is -5 at most as big as s?
True
Suppose 0*u = 2*z + 2*u - 18, 3*u - 3 = 3*z. Suppose -3*c - c = z. Which is smaller: c or -3/4?
c
Let t = -3/10 - -1/20. Which is greater: t or 20?
20
Let i be 3 - 3 - (-5)/(-2). Let w(v) = -v - 8. Let z be w(-4). Is z at least as big as i?
False
Let x = 16 + -11. Let b = -8 + 14. Let p = b - x. Which is smaller: 2 or p?
p
Let i(c) = 3*c + 15. Let h be i(-6). Is h < 3?
True
Let o be (1 - 4 - -3) + -1. Which is smaller: 1/4 or o?
o
Let o be (-642)/18 - 2/(-2). Let n = -34 - o. Suppose -1 = -5*x + 4*x. Is n smaller than x?
True
Let u be (-2)/2 + -5 + 2. Let z = u - -9. Suppose -2*c = -z + 1. Which is smaller: 1 or c?
1
Let q = 1.72 - 0.69. Let m = q - 0.03. Let n = 4.94 - 5. Which is smaller: n or m?
n
Suppose m - 2 - 18 = 0. Suppose 2*l - 7*l = -m. Let z be (-6)/l*8/21. Are 0 and z nonequal?
True
Suppose t - 5*t = 0. Suppose -4*d - 3*k = -2*d + 251, -d = 4*k + 128. Let i = 1614/13 + d. Which is greater: i or t?
i
Let k be (0 - -2) + 94/(-4). Let w = k + 23. Are w and 1 equal?
False
Let k = -5 + 4.97. Which is bigger: 3/8 or k?
3/8
Let h = -0.2 + 0.3. Let i = 3 + -3. Let x = h - i. Which is bigger: x or -2?
x
Let f(m) = m**3 - 5*m**2 - 8*m + 13. Let l be f(6). Which is smaller: l or -1/82?
-1/82
Suppose 5*n = 5 - 0. Let v = n + -3. Let p be 2/(-12)*v/2. Is p > 1?
False
Let c = 122 - 1584/13. Let g = -85/3 + 29. Which is smaller: g or c?
c
Suppose -1 + 6 = -5*z. Is -6/13 <= z?
False
Let q be -2*(0 - (-26)/(-4)). Is q less than 13?
False
Let q = 9 - 8. Which is smaller: 0 or q?
0
Let h(s) = s**3 + s**2 - 5*s - 4. Let j be h(-3). Let u = 2 - j. Suppose -6 = -3*f - 4*i - 1, f + 5*i - u = 0. Which is smaller: -2 or f?
-2
Let a = -5 + -1. Let m = a + 7. Let h = m - 0.9. Are h and 0.1 unequal?
False
Suppose -3*j = -0*j. Suppose 5*l - 4*n = 20, 0 = -2*l + 3*n + 5 + 10. Is l smaller than j?
False
Let w = 6.09 + -6.5. Let d = -0.4 - w. Let m = d - -2.99. Which is smaller: m or -0.1?
-0.1
Let r be (-28)/7 + 5 + -3. Suppose -7 = -5*m - 2. Are m and r equal?
False
Let p(x) be the second derivative of -x**3/6 + 11*x**2/2 + 2*x. Let j be p(6). Which is bigger: 6 or j?
6
Let b(g) = g + 7. Let t be b(-4). Suppose 1 + t = -4*z. Is 1 equal to z?
False
Suppose -t - 2 = -0. Let j be -4 + 3*t/(-3). Let q be (-6)/27 + 7/(-9). Are q and j equal?
False
Let c = 13 - 8. Let o(a) = 0 + 1 - 6*a - 3. Let r be o(-1). Are r and c non-equal?
True
Let i be 223 + (-1 - -3) + 0. Let s be 2/(-5) - (-140)/i. Let j be 0*(-2)/4*-2. Is j greater than s?
False
Let y(a) = -a**2 - 5*a - 2. Let g be y(-4). Suppose g*v = -2 - 2. Is -2 smaller than v?
False
Let v be (-8)/(-6) + (-3)/9. Let u be ((-8)/260)/(v/(-10)). Which is smaller: 1 or u?
u
Let q = -455 - -28667/63. Which is bigger: -3 or q?
q
Suppose 2*z - 20 = -3*z. Suppose 0 = 5*t, 0 = -3*i - z*t - t - 6. Which is smaller: 0 or i?
i
Let c = -13 + 17. Suppose 7 = -c*q + 3*q. Which is smaller: q or -8?
-8
Let h = 7 - 3. Let t(d) = d**3 - 3*d**2 - 4*d + 1. Let y be t(h). Let o = 27/85 - 2/17. Which is smaller: o or y?
o
Let o(b) = -b**2 + 6*b + 3. Let z be o(6). Suppose -z*t = -t. Let u = 3 - 2. Which is bigger: u or t?
u
Let v = -133 - -126.22. Let z = 7 + v. Let r = -0.08 - z. Is 0.1 < r?
False
Suppose 0 = 3*p + 3*i, -p - 3*i + 3 = i. Is p less than or equal to -1?
True
Let p = -0.29 + -0.01. Let j = -0.1 - p. Suppose -4*z = -7*z. Is z equal to j?
False
Suppose 4*y + 18 = 6. Is y equal to -4?
False
Let q = -0.5 + 0.6. Which is bigger: -0.1 or q?
q
Suppose -2*x - 17 = 681. Let f = 1036/3 + x. Is f smaller than -5?
False
Let o(h) = -h + 1. Let n be o(1). Is n smaller than 0?
False
Let v(s) = -s + 2. Let r be v(-2). Suppose -2*a - 2*q + r = -6*q, a + 3 = -3*q. Suppose a = -4*k - 5*h - 0 - 4, h + 8 = k. Which is smaller: 5/2 or k?
5/2
Suppose 0 = -4*m + m - 198. Is m equal to -66?
True
Let p be (-18)/12*(1 - 5). Suppose -4*n + 17 = q, 4*q - p - 2 = -n. Is 3 at least n?
False
Let n be ((-3)/(-7))/(15/(-5) + 4). Which is greater: n or -1?
n
Suppose 0*k - 12 = -4*k. Suppose 0 = -p + 4*f - 21, 2*f + 0*f = -5*p - 39. Let w = k + p. Is w not equal to -5?
True
Suppose 3*f = -2*y, 4*y - 8*y = -2*f. Which is smaller: -1/24 or y?
-1/24
Let d be 12/42 + 2/42. Is d greater than -1?
True
Let j be (319/33)/((-4)/6). Is -15 > j?
False
Let p = 26 + -42. Which is smaller: p or -17?
-17
Suppose 0 = -4*l + 4*n + 40, 0 = 2*n + n + 3. Let w = l - 7. Let i = -2 + 3. Is w >= i?
True
Let z(q) = q + 5. Let n be z(-6). Let x be (75/(-21))/(-5) + n. Which is bigger: x or 7?
7
Let r(b) = b + 7. Let g be (2 - -2)/(-2) + -4. Let w be r(g). Let m = -14 + 15. Are w and m nonequal?
False
Let t 