6. Suppose c*q - o - 3 = g, 3*g - 4*q + 14 = 0. Is g > -2?
False
Let n be (-2)/((-4)/(-6)*-1). Let j be 18*(3 - 8/n). Let o = -56/9 + j. Which is greater: -2/7 or o?
o
Let q = -0.31 + 3.31. Is 9 greater than or equal to q?
True
Let s = -84 - -85. Is -1/25 <= s?
True
Suppose 0 = -4*s - s - 25. Let u be (4/(-5))/((-1)/s). Which is bigger: u or -3?
-3
Let v be (-3)/60*-334 - -1. Let r = -107/6 + v. Which is greater: -1 or r?
r
Suppose 0 = 5*a - a - 240. Let m be (-32)/a - 6/(-15). Are m and -1 unequal?
True
Let w be 1 - 3/((-24)/(-10)). Suppose 4*v - 10 = -2*n, -n + v = -4 + 11. Which is greater: w or n?
w
Let d = 0.2 + 1.8. Let z = -6 + d. Let t = z + 3. Which is bigger: 1 or t?
1
Suppose 3*s - 312 = -5*s. Is s < 39?
False
Let z = -1 - -4. Let m = 1/5 - -13/10. Which is bigger: m or z?
z
Let r(v) = -2*v**2 + 11*v - 11. Let k(u) = -u**2 + 5*u - 5. Let l(i) = 13*k(i) - 6*r(i). Let n be l(-3). Which is greater: -6 or n?
n
Let u be (-5)/15 - 12/(-9). Is u > 2/11?
True
Let w = -3 - -4. Let k be (1 + -1)*(1 + 0). Suppose k*d = -d. Are w and d unequal?
True
Let n be 8/(-10)*75/30. Which is smaller: -3 or n?
-3
Let j be (-4 + 0)/((-1)/1). Suppose 3 = 5*r - 4*v, 3*r + 7 = 4*r - j*v. Let h = -79/219 - -2/73. Which is smaller: r or h?
r
Let m be ((-16)/56)/(1/(-7)). Which is smaller: 20/11 or m?
20/11
Let x be (-2 - 27/(-14))/(2/16). Which is bigger: -1 or x?
x
Let w = -0.08 - 0.22. Let o = -0.2 - w. Let q be (-20)/(-6) + (-2)/6. Which is greater: q or o?
q
Let b = -0.79 - 0.21. Is b equal to 6?
False
Let v(k) = -k**2 - 3*k - 4. Let x be v(-3). Suppose 5*j + 23 = 3*i, -4*i + 2*j - 6*j + 20 = 0. Suppose r + 21 = -5*y, -r - r - i = y. Is x <= y?
True
Let k(y) = y**3 + 11*y**2 + 10*y + 5. Suppose -2*x + 1 = 21. Let c be k(x). Let o(s) = -3*s - 3. Let p be o(-3). Is p > c?
True
Suppose -3*c - 142 = q, -3*c = -6*c + 2*q - 130. Is c less than or equal to -48?
False
Let c = 5 + -6. Let y be c/(568/563 - 1). Let q = y + 113. Is q smaller than 0?
False
Let x = 39 - 43.1. Is x at most as big as -1?
True
Suppose -5*t - 5*u - 95 = 0, -2*u + 3 = -3*u. Is t at least -17?
True
Let a be -2*(1 + 70/(-65)). Is a at least as big as -3?
True
Let n(j) = j**3 + 5*j**2 + 3*j - 1. Let r be n(-4). Let t be (-7)/3 - r/(-9). Are -5 and t nonequal?
True
Let v = -3.7 - -2.7. Does 1 = v?
False
Let d(u) = u**2 - 5*u - 7. Let i be d(7). Let o be -3*6/(-3)*1. Do o and i have different values?
True
Let m(y) = y**3 - 6*y**2 + 3*y - 8. Let h be m(6). Let b be (63/35)/(3/h). Which is bigger: 7 or b?
7
Let d = -1.04 - -0.04. Is d != 0.15?
True
Let i = 1 - 3/4. Let l = -826/3 - -273. Let c = l + 11/6. Which is greater: c or i?
i
Let h be (-40)/(-14) + (-8)/(-56). Let y be 72/(-84)*1/3. Is y at most as big as h?
True
Let g = -1/28 - 13/28. Let s = -5 - -5.1. Are g and s nonequal?
True
Suppose -d + 4 = -4*b, -2*d = -b - 5*d + 12. Let f be (b + (-3)/(-6))*6. Suppose -k + 5 = f*z + 14, -4*z = 4*k + 12. Is -3 less than z?
False
Let n be (-72)/33 - (-4)/22. Let p be (6/(-54))/(n/(-6)). Which is greater: -6 or p?
p
Let d be (-2)/4*(-6)/60. Do -1 and d have the same value?
False
Suppose 0 = 2*t - 5*q + 23, -2*t - t + 4*q - 24 = 0. Let u = 5/6 - 1/3. Is t > u?
False
Let f be (36/8)/(1/2). Let w = -4 + f. Which is smaller: w or 6?
w
Suppose 0 = -2*l + 2 - 0. Let u = -4.05 + 0.05. Which is smaller: l or u?
u
Let n = -0.2 + 0.1. Let k be -2 - (28/3)/(-4). Which is smaller: k or n?
n
Let k = 1.4 + -0.8. Let z = 0.6 - k. Let t be (-6)/(-7) - (-3)/(-3). Is t less than or equal to z?
True
Let t = 0 + 0.2. Let h = 0.03 - 0. Let d = 0.13 - h. Which is smaller: t or d?
d
Let u = 761/28 + -107/4. Which is bigger: 1 or u?
1
Let o = 22 - 18. Let c = 5 - 7. Let l = c + o. Which is smaller: l or 1?
1
Suppose -j + 0*j + 3*d = -5, 0 = 3*d - 15. Suppose -j = -4*c - 4, -2*t = 2*c - 10. Which is greater: -1/5 or t?
t
Let z = 0.3 + -0.3. Let b = 1 - z. Let q be 2/3*(-15)/20. Is b at most q?
False
Let u = -278 - -289.1. Let v = u - 11. Let c = -6 + 11. Is c != v?
True
Let q(o) = o + 8. Let n be q(-8). Which is greater: -1 or n?
n
Let n = 6 + -6. Suppose n = -4*a - 0 + 4. Which is smaller: a or -1/22?
-1/22
Let l(b) = b**2 - 10*b - 14. Let h be l(10). Let c be 25/h + (-2)/(-4). Which is greater: c or -2?
c
Let l(d) = -d**3 - 7*d**2 - 4*d + 6. Let g be l(-6). Let v = g - -5. Let n be (0/(-2 + v))/(-2). Are n and 0 nonequal?
False
Let h(c) = 2*c - 3 - 11*c**2 + 3 + 1. Let s be h(4). Let f = -832/5 - s. Is f >= 1?
False
Let s(v) = -13*v + 8. Let k be s(-2). Are 35 and k nonequal?
True
Suppose -t - 16 = 3*t + 4*q, 0 = -2*q - 4. Which is bigger: -3/4 or t?
-3/4
Suppose -2 = -4*x + 10. Suppose -x*p - 3 = -0*p. Let c = p - 2. Is c <= -4?
False
Let r be 14/10 - (7 + -6). Do r and 1 have the same value?
False
Let u be 1 + 0 + ((-7)/(-14) - 0). Let b = -32 - -129/4. Is b at least u?
False
Let t = 39 + -38. Which is smaller: 3/11 or t?
3/11
Let b = 140 - 1262/9. Which is bigger: b or 0.5?
0.5
Let m(n) = -2*n. Let q be m(-3). Suppose -s = -4*s - q, 5*c = 5*s - 15. Do c and -3 have the same value?
False
Let s be (-10)/(-190)*(-22 + -1). Let w = 491/437 + s. Is -1 at least as big as w?
False
Let z = 0.013 + -2.113. Which is bigger: -1/5 or z?
-1/5
Let a(b) = -b. Let q be a(-4). Which is smaller: 6 or q?
q
Let h be (21/5)/((-8)/(-5)). Let y = h + -47/24. Suppose j = 4*f + 11, 2*j - 7*j = -4*f + 9. Which is smaller: y or j?
j
Let g = -0.3 + -0.7. Suppose s + 5*x + 20 = 0, s - 5*x - 11 = 9. Let j = 0 - s. Is j greater than g?
True
Suppose 3*i - 25 = -2*i. Let d = i + -34/7. Which is smaller: 0 or d?
0
Let y = 1 - 2. Suppose -2*b + 3*b + 2 = 0. Does y = b?
False
Let k = -1428 - -92818/65. Let a = k + -116/455. Which is smaller: a or -1?
-1
Suppose 3*x + b - 13 = -4*b, -3*b = x - 7. Is 1/14 bigger than x?
False
Let f = 10 - 11. Is f < -7?
False
Let t be (-2)/10 - (9 + -8). Is t < -2?
False
Let n = -158 - -1420/9. Suppose -2*b + 2 = -0. Which is smaller: b or n?
n
Let f = 2 - 8. Let j = -5 + 9. Let g be 5*(j/2)/(-2). Which is greater: g or f?
g
Let o(r) = -r + 12. Let p be o(6). Let u = -3 + 10. Which is bigger: p or u?
u
Let l = -593/6 - -40/3. Let s = -87 - l. Are s and -1 equal?
False
Let i = -0.02 + -1.38. Let f = i + -0.6. Which is smaller: f or 1?
f
Let f be (-3)/((-53)/(-10) - 2). Suppose 7 = -2*w + 7. Which is bigger: f or w?
w
Let o = -14 - -7. Let v be ((-4)/10)/(o/(-35)). Which is greater: -4 or v?
v
Let x = 3 - 2. Let k = -3.2 - -3. Let f = k + 0. Is x bigger than f?
True
Let s be 4/((-16)/(-20)) + -2. Suppose 4*j = s + 1. Is j smaller than 2?
True
Let u = -24.8 - -25. Let h be 1 - (1 - 2/6). Is u > h?
False
Let v be (81/75 - -1) + -2. Are -1 and v equal?
False
Let t be 1/(-9) - 1/(-3). Suppose -3 = 7*p + 4. Let a = 7/5 + p. Is a < t?
False
Let q(x) = -10*x**3 + x + 1. Let l = -9 - -8. Let v be q(l). Is 1 <= v?
True
Let v be (-3)/(-12) + (-246)/(-8). Which is smaller: 30 or v?
30
Suppose 0 = -2*r - 4*j - 40, -3*j - 2 - 67 = 3*r. Let q be r/(-3) - 4/6. Suppose -q = 3*x - 2. Which is smaller: -3 or x?
-3
Let l = 14 + -15. Is 0.07 <= l?
False
Let n = -9213 + 4394603/477. Let w = n + -59/1431. Which is smaller: -0.1 or w?
-0.1
Let x = -0.26 + -1.24. Are 0.1 and x unequal?
True
Suppose 9 = -a - 5*t - 1, 2*a - 5*t - 10 = 0. Let n be (a - -4)*(-1)/(-4). Which is bigger: n or -1?
n
Suppose 3*c = -5*w + 5, w + 2*w = -c + 3. Let y be 8 + (-3)/((-3)/(-2)). Suppose -5*i = 3*q - 6*q + 14, -3*i + q = y. Is i less than or equal to c?
True
Let f(k) = k + 3. Let v be f(-5). Let h be (5/10)/(v/6). Which is smaller: h or 1?
h
Let m = 76 - 77. Is m at least as big as -2/9?
False
Let w = -3 - -2. Let l(m) = -2*m - 3. Let f be l(-3). Suppose f*c - 2*g - 3 = 0, 4 = 4*c - 4*g - 4. Are w and c unequal?
False
Let x = 471/27878 + 3/263. Let q = x - -285/1166. Which is smaller: q or -1?
-1
Let u = 4519/14 - 653/2. Which is greater: u or -4?
u
Let h be ((-30)/9)/(1/(-3)). Let l be h/(-135)*(1 + 1). Let r = -74/135 - l. Is r at most 1?
True
Let u(k) = k - 1. Let c be u(-1). Let t be 593*((-3)/3)/5. Let w = 118 + t. Is w equal to c?
False
Let k = 0.26 - -0.24. Is k at least 3?
False
Let d(f) = -f - 3. Let p be d(-3). Let m = -3 - p. Let w(k) = -k**2 + 2*k - 2. Let v be w(0). Which is bigger: m or v?
v
Let h be -24*(-7)/(567/6). Is 3 smaller than h?
False
Let 