6?
False
Suppose -7*b + 5*c + 5 = -2*b, -4*c = -3*b + 5. Are b and 11 non-equal?
True
Let j = -292696 - -59710117/204. Let n = 1/68 + j. Are n and 1/4 nonequal?
True
Suppose -3*k - 25 = -8*k. Let s(w) = w**3 - 6*w**2 + 6*w - 1. Let t be s(5). Is t <= k?
True
Let x(t) = 2*t - 6. Let f be x(4). Do f and -2 have the same value?
False
Let a(s) = -s + 1. Let u be a(-1). Suppose -3*p - 3*y = -u*p + 10, 2*y = -4*p. Let h(d) = d**2 - 2. Let m be h(p). Is m bigger than 1?
True
Let o be -1*2*1/(-2). Let v = -1 + o. Let s = 1761/3289 + 3/299. Which is bigger: v or s?
s
Let h be 3/((-18)/4) - -1. Let k = -7.1 + 7. Which is bigger: k or h?
h
Suppose 4*s + 5 = -s. Is s at most as big as 1/6?
True
Let y = 20 - 21.6. Let a = 275 + -274.9. Is y <= a?
True
Let j be 5/(-3)*(-1 - -7). Let o = -13 - j. Let t be ((-6)/2)/(3/2). Which is smaller: t or o?
o
Let f be 3/1 - (2 - -2). Which is bigger: 2/7 or f?
2/7
Let h(a) = a**3 - 9*a**2 - a + 8. Let s be h(9). Which is smaller: 1 or s?
s
Let l(p) = p + 5. Let q(u) = u + 3. Let j(s) = 3*l(s) - 5*q(s). Let r be j(-1). Let v = -2 + r. Is v > 1/8?
False
Let t be ((-75)/(-50))/(-1 - 14/(-2)). Is -9/17 < t?
True
Let n = -805 + 807. Suppose -2 = -0*v + 2*v + 5*w, 51 = -5*v - w. Is v smaller than n?
True
Suppose -3*t + 19 = 10. Let f be ((-3)/9)/((-1)/t). Is f greater than or equal to 5/4?
False
Let j(t) = 3*t**2 - 1. Let w be j(1). Suppose -4*c + 0*v = 2*v + 130, -5*c - 162 = 2*v. Let m be 58/40 + 8/c. Is m at least w?
False
Let a be 0 + (-66)/136 - 0. Let u = a + 4/17. Are u and -1 equal?
False
Let p(h) = -h**3 - h**2 - 1. Let a be p(0). Let q be (-2 + 0)/(a - -2). Let d(x) = x**2 - 2*x + 1. Let b be d(1). Is q smaller than b?
True
Let p be 4/14 - 590/105. Suppose 6*o - 8*o = 8. Is o equal to p?
False
Let w = 7 + -3. Suppose -2*a = z - 3, -w*a = 4*z - 0 - 12. Is 1/20 at least as big as a?
True
Suppose 8*b - 6*b - 22 = -2*q, 0 = b + 2*q - 15. Is b bigger than 7?
False
Suppose -3*q + 3*r = -3, -q - 1 = 2*r + 1. Let t(x) = x**2 - x - 2. Let c be t(q). Let y be ((-2)/4)/(1/2). Is c equal to y?
False
Let z = -486/1183 - 3/169. Let h be (-5)/20*(4 + 0). Which is smaller: z or h?
h
Suppose -3*s - 6 = 12. Let g be (-3)/s*0 + 8. Which is greater: -2/3 or g?
g
Suppose 7*o = -38 - 18. Is -7 less than o?
False
Let h be (-2)/3*9/(-6). Let z = 6 - 5.94. Let b = z + -0.26. Which is greater: h or b?
h
Let f = -13 + 13. Suppose 4*p - 12 = -f*p. Let q = 48 - 91/2. Is q greater than p?
False
Let r = -3 + 1. Let a = 56 - 56.1. Is a equal to r?
False
Let n be (-2)/3 + (160/276 - 0). Which is greater: n or 0.3?
0.3
Let y = -1040/7 - -148. Are 0.1 and y unequal?
True
Let w = 1.74 + 0.26. Which is bigger: w or -0.06?
w
Suppose 4*p - 2 = -6. Let n(h) = 3*h**2 - 2*h - 2. Let d be n(p). Which is bigger: 20/7 or d?
d
Let z = -682 + 3398/5. Is z < -2?
True
Let i = 2.4 - 2.57. Let r = -0.07 - i. Is -4 less than r?
True
Let b(z) = -z**3 - 10*z**2 + 10*z - 11. Let y be b(-11). Let d = 32 + -68. Let x = d - -109/3. Are y and x equal?
False
Let v be ((-5)/((-30)/(-63)))/((-18)/(-48)). Is -29 bigger than v?
False
Let q = 20 + -25. Is q at least as big as 0?
False
Let q = 156 + -2651/17. Which is smaller: q or 1?
q
Let r = 0.1 + -0.3. Let w = -3 + 6. Which is smaller: r or w?
r
Suppose -5*s = -s. Which is smaller: -6/13 or s?
-6/13
Let a = -8 + 9. Let n = 19/5 + 58/15. Let r = -8 + n. Which is smaller: r or a?
r
Suppose -4*q = 3*q + 217. Which is smaller: q or -33?
-33
Let r = -1669/5 + 331. Which is greater: -2 or r?
-2
Let s = -2/2389 - -43028/31057. Which is smaller: 1 or s?
1
Suppose 4*y - 6 = 14. Let m be (y - 3)*(-6)/10. Is -2 <= m?
True
Let i = -22 + 22. Which is greater: i or 10?
10
Let w = 69 + -485/7. Suppose -3*a = -2*z + 1, -3 = a - 0*z + 2*z. Is a >= w?
False
Let x(j) = j - 3. Suppose 0 = 3*o - 9 - 6. Let d be x(o). Is 2 <= d?
True
Let b be (2 - (-3 - -3))*2. Let c(k) = -4*k + 10. Let l be c(b). Do l and -7 have different values?
True
Let o(i) = -i + 6. Let x be o(5). Let j be x/2*(-54)/(-3). Let v(w) = w - 9. Let s be v(j). Which is greater: -2/17 or s?
s
Let f be (-7)/(7/(-4)) - 3. Suppose j - 2*j = f. Let l = 862/9 + -96. Which is bigger: j or l?
l
Let y(r) = -r**2 - 9*r - 6. Let h be y(-9). Is -7 not equal to h?
True
Let c be (5/(-10))/((-1)/(-8)). Let u be c + (-1 - -1) - -2. Let i be (2/10)/(2/(-5)). Which is bigger: u or i?
i
Suppose w - 1 = -2. Let f be 2445/54*(-1)/130. Let y = -7/36 - f. Is w bigger than y?
False
Let z(a) = a**3 - 13*a**2 - a + 13. Let l be z(13). Let m = 9 + 1. Suppose m = -3*o - 2*o. Which is smaller: o or l?
o
Suppose 1 = 2*u - 5*g, 39 = 5*u - 2*u + 5*g. Let z = u + -7. Which is bigger: 6 or z?
6
Suppose -51 = -4*h - 3. Let i(s) = s**2 - 10*s + 37. Let u be i(6). Is u greater than or equal to h?
True
Let c = 18 - 21. Is -1 at most c?
False
Let y(p) = -2*p + 10 - 9*p + 2*p**2 + 3*p - p**2. Let s be y(7). Let a = s + -2. Is 5/4 at least as big as a?
True
Suppose 43 = 4*r - 73. Which is bigger: r or 30?
30
Let j = 13135/33 + -398. Which is greater: 0 or j?
j
Let s(b) = 18*b + 5. Let t be s(-2). Which is smaller: -30 or t?
t
Let g = -5 + 6. Which is greater: 2/19 or g?
g
Let b be 94/18 + 2/(-9). Let c(x) = -x + 11. Let d be c(b). Let m be 17/6 + d/(-4). Are 2 and m equal?
False
Suppose -k - k = -14. Let s be (-2)/(-10) + (-124)/20. Let m = k + s. Is 2 greater than m?
True
Let g be -2 + 2 - (-2)/(-6). Let i = -7 + 8. Are g and i unequal?
True
Let x = 7.9 + 0.9. Let q = 0.2 + x. Are -0.1 and q nonequal?
True
Let y = 4.04 + -0.04. Let p = 2 - y. Let c(j) = j**3 - j**2 - j + 1. Let o be c(0). Which is bigger: p or o?
o
Let p = 9/2 - 4. Which is greater: p or -0.12?
p
Let q(o) = -3*o**3. Let v be q(-1). Suppose -n - v = 2*n. Let k(l) = -l**2 + 2. Let p be k(-2). Which is smaller: p or n?
p
Let l be ((-1)/18)/(2/4). Let f = -2/9 + l. Let h(q) = -q**2 + 1. Let v be h(-1). Which is smaller: f or v?
f
Let x = -6 + 5.6. Let c = -32 - -23. Let o = 9.1 + c. Which is bigger: x or o?
o
Let k(q) = -q**3 - 6*q**2 - 7*q - 7. Let t be k(-5). Suppose -5*d = -2*d + t. Let i = 919/8 + -115. Is i smaller than d?
False
Suppose -g = -4*a + 1, 3*g = 2*a - 0*a - 13. Is -5 at most as big as g?
True
Suppose -37 = 2*b + 61. Is b < -49?
False
Let f be -6*((-5)/(-14))/5. Suppose d + 4 = 3*d. Let i be (-3 + d)*(-1 + 0). Which is smaller: f or i?
f
Let f be (15/6 - 1)*(-20)/(-6). Which is smaller: f or -3?
-3
Let n be -46*1/(-14) + -3. Let k = 0.5 - 0.3. Is n bigger than k?
True
Let o = -0.86 + 0.8. Let c = o - 0.04. Which is smaller: c or 5/4?
c
Suppose -5*k - 5*i + 10 = 0, 18 = -k + 5*i - 2*i. Let g be 6/28 + k/6. Which is smaller: g or 0?
g
Let t = -36.8 + 27. Let c = -10 - t. Which is bigger: c or 0?
0
Suppose b - 1 = 6*b - 2*s, 3*b = 2*s - 3. Which is smaller: 1/2 or b?
1/2
Let j = 0.01 - 0.06. Let v = j - -0.35. Is -1 greater than or equal to v?
False
Let b = -18 + 19. Which is smaller: -1/6 or b?
-1/6
Suppose 7 - 37 = y. Let d = -152/5 - y. Is d > 1?
False
Let t(w) = w**2 - 19*w + 35. Let l be t(17). Is l greater than or equal to 3/32?
True
Let x = -10 - -9.9. Let q = -1.1 - x. Is -0.04 at most q?
False
Let z(v) = -v**2 - 1. Let r(m) = 3*m**2 + 5*m + 6. Let q(o) = -r(o) - 2*z(o). Let x be q(-4). Let u be (-36)/162 - 4/(-18). Is u greater than or equal to x?
True
Suppose 0 = -5*m + 4*m + 3. Is m != 0?
True
Suppose 2*o = -4*d - 2*o, d + 2 = -3*o. Suppose -4*z + 4*r = 3 + d, 18 = -3*z - 2*r. Suppose 5*c = -y + 23, 3*c - 13 = -y - 0*c. Does z = y?
False
Suppose 2*f - 6*f + 53 = -3*b, -4*b = 4*f - 60. Is f <= 9?
False
Let k be 5/1 - (4 - 2). Suppose k*c = 4*n - 26, -4*c - 19 = -2*c - 3*n. Which is smaller: c or 0?
c
Let u(d) = -d**2 + 7*d - 6. Let l be u(6). Suppose l = 3*b + 15, 0 = -5*a + 2*b + 3*b + 40. Suppose -3*y = p - 4, -y = 2*p - a*y. Which is smaller: 0 or p?
0
Let x be (-6)/(-18) - 1/21. Which is smaller: 2.1 or x?
x
Let z = 5 - 5. Let j = -3/329 - -835/19411. Which is smaller: z or j?
z
Suppose 2*k = 4*i + 88, 9 + 3 = -3*k. Which is bigger: -23 or i?
-23
Let s = 3 - -1. Let i be (-4)/(-6)*18/s. Let y = 5 - 1. Is y > i?
True
Let w(i) = -4*i - 6. Let u be w(-4). Suppose -x + u = 4*m + 2, 0 = -x + 4*m + 32. Is 19 >= x?
False
Let t(s) = 2*s - 13. Let r be t(7). Are 11/9 and r unequal?
True
Let o be ((-2)/5)/((-1)/5). Let h be (-3)/(2 + -