6). Suppose g + 0 = q. Which is smaller: 1/8 or q?
1/8
Let r(x) = x**2 + 8*x + 5 + 7 - 3. Let v be r(-6). Let y be 5/5 - (4 + -1). Do v and y have the same value?
False
Let h = -8 - -5. Let j = -1.8 + 1.9. Is h at least j?
False
Let l = 31/20 - -37/20. Let x = -56/15 + l. Let t = 14/15 + x. Which is smaller: t or 1?
t
Let o be 357/(-12) - 10/40. Which is smaller: -29 or o?
o
Suppose 0 = 2*z + 4*a - a - 5, 0 = 3*z + 3*a. Which is greater: z or -0.2?
-0.2
Suppose -i - 19 = 3*k, 3*i - 2*k = -3*k - 33. Let l = 23 - i. Let b = l - 98/3. Which is bigger: 0 or b?
b
Suppose 0 = -7*u - 5 - 9. Which is greater: u or 0?
0
Let u(r) = -r - 9. Let w be u(-15). Is w less than 5?
False
Let f = -239/4 + 60. Let g = 7 + -11. Let k = -3 - g. Which is greater: f or k?
k
Let c(u) = -u**3 + 3*u**2 + 6*u - 6. Let j be c(4). Suppose -s - j*i = 0, 0*i - 9 = 4*s - i. Does -2 = s?
True
Suppose 4*s + 5 = t, 0 = t - 3*s - 0 - 5. Is t smaller than 4?
False
Let f = 531 - 57877/109. Is f < 0?
False
Let d(v) be the third derivative of v**6/120 - v**5/30 - v**4/8 - v**3/3 - v**2. Let j be d(3). Suppose -5*m - 6 - 4 = 0. Is j >= m?
True
Let n = -2149/12 + 179. Is n equal to -1?
False
Let h be -3 + -2 + (-3)/(-1). Let k be h/((-2 - -1)*2). Let p be k + (-2)/(1*-2). Is p > 1/2?
True
Suppose 0*k = 2*k - 14. Are k and 2/5 unequal?
True
Let n be 8*((-12)/(-8) - 2). Which is bigger: 0 or n?
0
Let x = -0.25 - 0.75. Let w = -0.7 - 0.3. Do x and w have the same value?
True
Let k = 10 + -10. Does k = 2/43?
False
Let b be 2/8 - 151/4. Let l = 36 + b. Which is smaller: -2 or l?
-2
Let s be (-2)/(-8)*32/120. Which is greater: s or -1?
s
Let n be ((-9)/6)/(2/(-8)). Let s = -100 + 106. Is s at least n?
True
Let n be (1/3)/((-1)/(-6)). Let f be 2*n*7/35. Which is bigger: f or 1?
1
Let g = 18 + -10. Let d = g + -6. Suppose 4*a = d*p - 0*p - 10, 5*p = 5*a + 25. Which is smaller: a or 1/13?
a
Let l = 2 - 1.9. Let v(z) = 6*z**2 - 2*z - 2. Let m(r) = 7*r**2 - 2*r - 2. Let n(d) = 5*m(d) - 6*v(d). Let j be n(3). Is l >= j?
True
Suppose 12 = 5*y - 8. Suppose -3*t - 3*f = -9, -6*t - 12 = -t - y*f. Which is smaller: t or 2/55?
t
Let q be (22/(-12) + 2)*-1. Let a = -1238/3 - -75524/183. Let h = a - 128/183. Which is bigger: h or q?
q
Let z = 28 - 21.2. Let h = -7 + z. Which is smaller: h or 4?
h
Let h = -39 - -38.8. Which is smaller: h or 20?
h
Suppose -12 = -4*z - 0*z. Let x(f) = 5 - f**3 - 3 + f**3 + 2*f - f**z - 2*f**2. Let v be x(-2). Is -1 > v?
True
Suppose -3 = 4*q + 5. Let r be (-3)/q*(-2)/(-1). Suppose -2*l - 3 = w + r, 2*w - 2*l = 0. Is -0.1 less than or equal to w?
False
Let y = -1 + 1. Let a = -144 - -1151/8. Which is smaller: y or a?
a
Let f = -9 + 10. Is f <= 3/23?
False
Suppose z - 4*n + 9 = 0, z - 2*z + 5*n - 11 = 0. Let u be (-1 - z) + 10/(-5). Let x = 1 - 4. Is x equal to u?
False
Let r = -93/4 + 23. Is r greater than -2/7?
True
Let m(o) = o + 1. Let z = -4 - -2. Let h be m(z). Which is bigger: 1/4 or h?
1/4
Let j = 48 + -47. Let y = -2923/57 + 154/3. Which is bigger: j or y?
j
Let v(q) = -q**2 + 8*q - 9. Suppose 3*h - 3*b - 33 = 0, -b + 21 = h - 4*b. Let l be v(h). Suppose l*d - x = -0*x - 25, x = 4*d + 33. Is d equal to -8?
True
Suppose -3*d - 3 = -0. Suppose -6*k + k - 5*w = 25, 5*k = 3*w - 1. Let i be 1 + -1 + k + 2. Are d and i non-equal?
True
Suppose 9*a - 4 = 10*a. Are a and -7/2 unequal?
True
Let c = 12 + -12. Is 59 greater than c?
True
Let d be (-6)/(-15) + (-78)/120. Let x(b) = -b**3 + b. Let k be x(1). Let j be (k - 1)*(3 - 2). Which is greater: j or d?
d
Let x = 55 + -55.2. Is -0.1 greater than or equal to x?
True
Let n = 2 - 5. Let y = n + 3. Let k = y - 0. Is k != -0.1?
True
Let q = -22 - -21. Are q and -3 non-equal?
True
Let g(j) be the second derivative of -1/2*j**3 - 1/20*j**5 + 0 + j + 1/3*j**4 - 1/2*j**2. Let r be g(3). Is -1 greater than r?
False
Suppose 2*y + 3 = 9. Suppose -l + 8 = 2*m + 1, y*l = m. Which is smaller: l or -2?
-2
Suppose o + 5*w + 10 = 2*o, 3*o + 4*w = -8. Which is smaller: -1/9 or o?
-1/9
Let i(h) = h**3 - 8*h**2 + h + 6. Let n be i(8). Let g be (-38)/(-14) + 4/n. Suppose b = 5*l - 12, -3*l = -8*l - g*b + 4. Which is smaller: 6/7 or l?
6/7
Let h = 0.26 - 0.45. Let q = h - 0.11. Is -2 bigger than q?
False
Let g(s) = 0*s - 3*s + 1 + 0 - 2. Let n be g(-2). Suppose -n*b + 0 = -5. Is b greater than -2/13?
True
Suppose 2 = 3*q - 7. Let z = 4 - q. Let y be (z/2)/((-1)/(-2)). Do 1 and y have different values?
False
Let d = 30 - 32.9. Let c = d - 0.1. Suppose -2*n = -4 + 2. Which is greater: n or c?
n
Let h = 3.8 - 6.8. Which is bigger: h or -4?
h
Let z(f) = 2*f**3 + 2*f**2 - 2*f - 2. Let n be z(-2). Let h be (-5)/15 - (-4)/n. Is -1 smaller than h?
False
Let b(y) = -y**3 + 7*y**2 + 7*y + 5. Suppose 2*x = 4*x - 16. Let o be b(x). Is -3 > o?
False
Let s = -4.9 - -2.8. Let f = s - -2. Let d be (2/(-4))/(3/(-2)). Are f and d non-equal?
True
Let y be (2/(-5))/(4/(-20)). Let q be -3 + (1 - y)/(-1). Suppose -5*z + 10 = -i - 3, -13 = -5*i - z. Is q bigger than i?
False
Let t(d) = d**2 - 21*d - 22. Let q be t(22). Is q bigger than -1/36?
True
Suppose -3*j = -0*j. Suppose 0*b + b = j. Is -2/3 <= b?
True
Suppose 5*r - r + 5 = -h, 2*r = -5*h - 7. Suppose -40 = -5*c + c. Suppose v + 4*v = -c. Which is smaller: v or r?
v
Let t be -2*2 + 424/108. Let l(p) = p**3 + 2*p**2. Let z be l(-1). Which is smaller: t or z?
t
Let o be (5 - 0)*(-32)/20. Let t = -13 - o. Which is smaller: t or -6?
-6
Let f be (-2*3/12)/(-1). Let c(u) = u - 3. Let i = -6 - -9. Let q be c(i). Which is smaller: q or f?
q
Let u = -14.19 - -0.19. Let z = u + 14.9. Let a = -3.1 - z. Is a not equal to 1?
True
Let x = -8 - -8.1. Is -19/3 greater than x?
False
Let t be 0/((-5 + 3)*1). Suppose 2*j + 2 = 4*z, t = -7*z + 3*z - 4. Do -4 and j have different values?
True
Let v = 343 + -344. Let b = 3 + 1. Do v and b have the same value?
False
Let b be (-1)/(-4) + (-3)/(-4). Let i(j) = 3*j + 1. Let s be i(1). Let x be s/(-2) + b - -1. Is 0 smaller than x?
False
Let v = -0.1 - -0.1. Let w(f) = -f + 7. Let o be w(6). Are o and v nonequal?
True
Let r = 0.16 - -0.04. Which is smaller: -3/4 or r?
-3/4
Let g = -14.7 - -5.6. Let w = 8 + g. Are w and 0.1 non-equal?
True
Let y be (-4)/(-6) - (-15)/(-9). Let k be (-2)/42*201/(-110). Let p = k + 1/77. Is y smaller than p?
True
Let j(l) = 1 - 1 - 1 + 2*l. Let z be j(2). Let b = z + -3. Which is greater: 1 or b?
1
Let w = -2 + -31. Let u = w - -25.9. Let k = u - -7. Is k not equal to 5?
True
Suppose 2*s = -5*j, -4*s = -5*j - 3*s - 15. Let w be 40/4 + (2 - j). Is w > 15?
False
Suppose -2*y + 22 = 4*o, 4*o + 1 = 3*y + 18. Which is smaller: y or 0.1?
0.1
Suppose 18 = 3*p + 3. Let m be -1 - -3 - (5 + p). Which is greater: -7 or m?
-7
Suppose 0 = -4*v + 2*i + 184, -4*i = 4*v - 3*i - 184. Is v >= 1/2?
True
Let v be (-2 - -36)/(3 - 1). Are 16 and v equal?
False
Suppose 0*t - 12 = t. Let v be (4/t)/((-4)/84). Is 6 >= v?
False
Let m = -1.4 - -0.1. Let x = -1.5 - m. Do 0.1 and x have the same value?
False
Let f be 1/(-1) - 70/(-66). Is 0 >= f?
False
Let n(x) = x**2 - 6*x. Suppose -3*f - 3 + 21 = 0. Let o be n(f). Does o = 1/10?
False
Let y = 41 - 58. Let u = y + 16.7. Let x = 3.9 + -4. Which is smaller: u or x?
u
Let v be 482/11 + (-8)/(-44). Let k be 77/v - 2/2. Are k and 0 nonequal?
True
Suppose 4*t + i = -4 - 10, 0 = 3*t - 3*i + 3. Let x = t + 7. Let m = -3 + 7. Does x = m?
True
Let j be 24/(-182) + 2/7. Suppose i - c + 5*c + 15 = 0, c = -5*i + 1. Is i smaller than j?
False
Let x be 3 + -3 - 6/(-99). Do x and 1 have different values?
True
Let u(m) = -3*m. Let c be u(-1). Suppose 3*i - 4 = 2. Is c not equal to i?
True
Let i be (-2335)/180 + (-1)/4. Let w = 13 + i. Is w less than 2/7?
True
Let w be -41*(-2)/(-6)*1. Suppose -p = -4*p - 42. Let c = p - w. Is c at least 0?
False
Let p = -0.9 - 0.1. Let b = 0.07 + 0.23. Let y = b - 2.3. Which is smaller: y or p?
y
Let g = -11/20 - -3/10. Let n = 0.18 + -0.08. Which is smaller: n or g?
g
Let h(x) = -x**3 - 8*x**2 + 9*x + 1. Let d be h(-9). Let o = -0.5 + -0.5. Which is smaller: o or d?
o
Let p = -120816 + 1209441/10. Let q = p + -128. Which is smaller: q or -1?
-1
Let y = 51 + -71. Is y less than -20?
False
Suppose -3*f + 6 = -15. Let k = f - 3. Suppose c + 1 = q, -q + 5*q = 3*c + k. Which is greater: -1 or c?
c
Let j(o) = 10*o**3 - o**2 