3). Is c < 6?
False
Let w = -4 - 1. Let c = -6 - w. Do c and -2/9 have the same value?
False
Let p = 73 - 72. Is p at most as big as -6/17?
False
Let a = 111 + -72. Are a and 37 unequal?
True
Suppose n + n - 8 = -5*k, 3*n - 2*k - 50 = 0. Let v be ((-2)/4)/((-1)/n). Which is smaller: v or 8?
v
Let a = 9 + -9. Let z(w) = w**2 + 5. Let b be z(a). Is b equal to 4?
False
Let f be -3 - ((-389)/129 + 0/10). Which is smaller: 0 or f?
0
Let c be (1/(-3))/((-2)/18). Suppose u - t + 1 = 0, 0 = -0*u - u - t - c. Let k = 1 + u. Which is smaller: -2 or k?
-2
Let l be (5/(-10))/((-2)/96*2). Is 15 at most as big as l?
False
Let h be 18 + -15 - 6/2. Which is greater: h or -2/131?
h
Let z = -2 + -3. Let q = z - -2. Which is greater: -2 or q?
-2
Let u = 2.004 - 0.004. Is u less than -2/11?
False
Let v = 0.2 + -0.2. Let r = v + -1. Let w = -230 + 230.07. Is r >= w?
False
Let d = -12.9 - -13.1. Let s be 0 + 1*4/(-14). Which is greater: s or d?
d
Let v be (-4)/(-6) - 10/(-21). Let c(i) = 6*i - 2 - 15*i + 8*i. Let r be c(-4). Is r greater than v?
True
Let w = 88 + -97. Is -5 smaller than w?
False
Let b(k) = -3*k**2 + 1. Let i be b(-1). Let q be i - (0 + (-16)/6). Is q smaller than 3?
True
Suppose 7*f - 4*f = -93. Which is smaller: -30 or f?
f
Suppose 0 = -0*s + s + 9. Let q be (-12)/s*15/(-10). Is 0.2 bigger than q?
True
Suppose 0 = -o - 4*o + 15. Suppose 0*f = o*f. Is f smaller than -2/33?
False
Let q = 13 + -13. Which is greater: q or 2/9?
2/9
Suppose -o + 6 = 1. Suppose 2*g = -2*h + 16 - 4, 4*g - 5*h = 6. Is o greater than g?
True
Let r be 2/6 - 6824/30. Let b = 407 + -180. Let u = r + b. Is 0 < u?
False
Suppose -3*n - 21 = -111. Which is smaller: 31 or n?
n
Let a be ((-16)/(-44))/(-2)*11*-1. Let g = -2 + 4. Is a <= g?
True
Let k(y) = y**3 - 7*y**2 - 4*y - 5. Let n be k(6). Let o = -18682 + 131230/7. Let l = o + n. Does -1 = l?
False
Let w(q) = -20*q**2 - q. Let h be w(-1). Let g = h - -16. Is g < -2?
True
Suppose 0*h = h. Let u be 8/(-12) - (-8)/3. Suppose u = d + 1. Is h greater than d?
False
Let a = -1 + 2. Let l = -6 - a. Which is smaller: -6 or l?
l
Suppose 5*k + 56 = 2*u, k = 3*k + 3*u + 30. Let w be (-1)/4 + (-7)/k. Let p(m) = m**3 + 3*m**2 - 10*m + 1. Let c be p(-5). Are w and c non-equal?
True
Suppose -4*i = 5*d + 4, 3*i - 4 = 7*i - 3*d. Which is smaller: i or -26?
-26
Let n(q) = -q**2 + 2*q + 2. Let u be n(3). Let a be ((-1)/(-18))/(1/(-4)). Which is smaller: u or a?
u
Let m be 0 + 1 - (-3 + 2). Let c be (-2)/(-4) - (-22)/(-4). Let z be (-12)/c + 4/(-10). Is m at most as big as z?
True
Let a(p) = p**2 - 13*p + 1. Let d be a(13). Do 1 and d have the same value?
True
Suppose -133 = y - 3*r, 0 = -r + 2*r. Which is smaller: y or -132?
y
Suppose 0 = 2*d - 6 - 4. Suppose -4*y + 4 = h - 0, d*h + 18 = -y. Are 1 and y non-equal?
True
Suppose -6*a = -14 + 8. Does 16 = a?
False
Let g be (-880)/952 - (-8)/14. Is 1 smaller than g?
False
Suppose -4*z = q + 6, -5*z = -10*z. Let d = q - -10. Suppose -2*y - 2*b + 13 = 3*b, 4*b - 16 = d*y. Which is greater: y or -2?
y
Suppose -3*x + 50 = -22. Suppose -2*h + 33 = -5*a, 3*h - 4*a - x = 2*h. Suppose 5*r + t + h = 0, 2*r + 8 = 4*t + 2. Which is smaller: r or 0?
r
Let p = -9 + 37. Let h = p + -29. Is -5 smaller than h?
True
Suppose 4*q + 8 = 24. Suppose 3*t = q*x - 78, 2*t = -3*x - 2*x - 29. Let n be (6/9)/(t/(-6)). Are n and -1 equal?
False
Let h(f) = -f - 10. Let z(x) = 3*x - 2. Let y be z(-2). Let p be h(y). Let d(m) = 2*m + 9. Let o be d(-6). Which is greater: o or p?
p
Suppose -3*z + 24 = -7*z + 4*g, -21 = 2*z - 5*g. Let p be 34/6 + 2/z. Let h be (5 + -6)/((-1)/4). Which is smaller: p or h?
h
Let t(z) = z**3 - 9*z**2 - 11*z + 9. Let b be (7/21)/((-2)/(-60)). Let q be t(b). Which is smaller: q or 0?
q
Let f = -5.5 - -5. Let s = 5.5 - f. Let g = -0.6 - -0.5. Which is smaller: s or g?
g
Let u(o) = 3*o**2 + o + 2. Let d be u(-2). Let c be ((-2)/78)/((-2)/d). Is -1 greater than c?
False
Let w = -1171/13 - -90. Is w < -1?
False
Let v be (4/177)/(7/(-78)). Let w = -2/59 + v. Is -1/2 less than or equal to w?
True
Suppose 3*k + g - 11 = 0, -k + 5*g = 9 + 14. Does 3 = k?
False
Suppose -5*n = -n - 16. Let a = n - 6. Suppose -c + 4*c + 3 = 0. Which is bigger: a or c?
c
Let z be (1 - (3 + -1))*1. Let p(n) = n**2 - 1. Let h be p(z). Is h < 1?
True
Let r be ((-42)/15)/((-6)/15). Suppose -j = 1 + r. Is j >= -8?
True
Let m(h) = 3 + 10 + 2*h**2 - 6 - 15*h. Let c be m(6). Which is smaller: -12 or c?
-12
Let g(d) = d + 9. Let n be g(-8). Which is bigger: 1/5 or n?
n
Let d = 2 - 1.8. Let o = 8.1 - 8.21. Is o greater than d?
False
Let f(y) = -2*y**2 + 3*y - 3. Let i be f(-3). Let a be 3*(-6)/45*i. Is a > 13?
False
Let o(b) = b**3 - 4*b**2 - 6*b + 5. Let k be o(5). Let u be (-12)/(-28) + k - 0. Which is smaller: u or 0?
0
Let v be (-2 + 10/4)*-2. Let l = -8392/3 + 47526/17. Let p = l - -6/17. Is p less than or equal to v?
True
Let y = -0.6 - -0.1. Let v = -0.6 - y. Let s = -3 - -2. Is v < s?
False
Suppose 3*l + 3*h - 5*h = -34, -5*h + 10 = 0. Let z = -10 - l. Is z < 1?
True
Suppose 0 = k + 3. Let g(d) = d - 8. Let b be g(5). Is k != b?
False
Let f(s) = s**3 - 25*s**2 - 27*s + 26. Let y be f(26). Let z be (-172)/700 - (-4)/14. Which is smaller: y or z?
y
Let s = 900 + -63001/70. Let q = s + -16/105. Let n be 1/(-3) + (-2)/(-6). Which is smaller: q or n?
q
Let s be ((-333)/4)/(-9) + 4. Which is smaller: 12 or s?
12
Let t = 22 - 18. Is t at most as big as -2/5?
False
Let o be 0/((3 - 7)/2). Which is smaller: o or 1/5?
o
Let d = 24 + -38. Which is greater: -16 or d?
d
Let x be (-118)/(-84) - 21/14. Which is smaller: x or -3?
-3
Let u = -2 - -3. Suppose r = 3*c - 22, -6*r + 3*r = -c + 50. Let h = 18 + r. Which is smaller: h or u?
u
Let t = -10.2 + 2. Let y = -0.2 - t. Let x = y + -8.01. Which is smaller: 0 or x?
x
Let o be -3 + (14 - 2) + -3. Let q = -8 + 13. Which is smaller: o or q?
q
Suppose -2*o - 10 = 2*f - 3*o, -f - 7 = -o. Let w(u) = u**3 + 6*u**2 - 5*u + 8. Let g be w(-7). Let x be 8/g*27/24. Is x at least f?
True
Let c be 6*(2/190)/((-60)/(-100)). Which is smaller: 1/3 or c?
c
Let p be (-10)/(2 + 22/(-10)). Let h = 152/3 - p. Is -0.2 less than h?
True
Let y = 0.097 - 0.146. Which is smaller: y or 0.2?
y
Let c = -121 - -121. Which is smaller: -0.6 or c?
-0.6
Let b = -0.7 + -0.3. Let s be 4 + -3 - (-702)/7. Let o = s + -101. Is b smaller than o?
True
Let x(a) = 2*a + 9. Let p be x(-6). Let d be (-2 - -4)/(p/(-18)). Suppose -4*h + 4 + d = 0. Which is bigger: h or 5?
5
Let m = -19 - -20. Is 1/5 at least m?
False
Let o = 10 + -14. Is o greater than or equal to 3/8?
False
Suppose 4*h + 3*i = 0, -3*h + 5*h + 6 = -3*i. Is 1 greater than h?
False
Let u be (2*-2)/(-4) - 0. Is u at least 1/12?
True
Suppose 3*j = 5*j - 2. Let r = -288.3 + 288. Which is bigger: r or j?
j
Let j = 701/7 - 100. Is -10 at least j?
False
Let l(b) = -b**2 + 30*b - 1. Let o be l(30). Are o and 2/147 equal?
False
Let v(o) = 2*o + 4. Let n be v(4). Let x = 16 - n. Is x greater than or equal to 2?
True
Suppose 2*y = -0*w + 2*w - 20, -3*y - 35 = -4*w. Let d be (w - 6) + (0 - -3). Suppose 0 = i - d + 1. Is i greater than or equal to 1?
True
Suppose w - 5*k = 24, 2*k + 1 = 4*w - 5. Let d = -3/131 + -241/917. Which is bigger: d or w?
d
Let x(q) = -2*q**2 - 25*q + 12. Let t be x(-13). Is t smaller than -9/5?
False
Suppose -5*n + 5*f + 137 = 1057, n + 178 = -2*f. Let r be 18/117 + (-24)/n. Is r not equal to -4/5?
True
Suppose 4*w + 1 = 5*w. Let v be (2 + 0 - 2) + w. Is 1/4 less than or equal to v?
True
Let a = -166/7 + 802/35. Is a != -1?
True
Suppose 8 + 156 = 4*t. Is t equal to 41?
True
Suppose 24 = -4*b - 0*b - 4*z, 3*z = 12. Do b and -13 have different values?
True
Suppose -5*l = 2*x - 11 + 3, -2*l - 1 = 5*x. Let t(a) = -a**2 - 3*a + 6. Let v be t(-4). Do v and l have the same value?
True
Let r be (-6)/(-4)*(-2)/(-3). Suppose p - 3*p = 0. Let f = p + r. Which is bigger: 2 or f?
2
Let r = -26 - -19. Which is smaller: r or -6?
r
Let t be (-2)/1 + (-2)/2. Let o be 3/5 - (-3)/t. Let d be 1 - (0 + (1 - 1)). Is d smaller than o?
False
Let r = 133 - 533/4. Is r bigger than -15?
True
Suppose -2*t + 2 + 0 = 0. Is 2/97 >= t?
False
Let n be 2/(-6) - 425/(-10). Suppose a - 18 = 3*o + 2*o, -4*a = 5*o - 197. Let r = n - a. Which is smaller: -2 or r?
-2
Let c = -21 + 18. Which is bigger: -2