6)/(-1204)). Let r = -30/667 + v. Let n = r + -1081/942. Is -1 bigger than n?
True
Let v be 6/14*5 + -1. Suppose 2*x = -4*h - 8, 0*x - 20 = -4*x + 4*h. Which is bigger: x or v?
x
Let y be (-2 - 0/1) + 5. Suppose -2*i = 3*i + 135. Let u be 6/i*y*3. Which is greater: u or -0.1?
-0.1
Let c(l) = -l**2 + 9*l - 4. Let y be c(8). Let q be 862/y*4/(-22). Let h = -39 - q. Is h less than 0?
False
Suppose -5 = -l - 2. Suppose -2*k = -k - l. Suppose -6*z + 10 = -2*b - k*z, 5*b + 2*z - 13 = 0. Are b and -1 nonequal?
True
Suppose 3*o - 2*o = -k - 1, 5*k - 11 = -o. Suppose 6 = -d - d. Which is greater: o or d?
d
Let y(j) = -j**2 - 13*j + 28. Let u be y(-15). Let z be 3/4*(-2)/3. Are z and u equal?
False
Let y = -2/3 + 7/6. Let z = -37 - -39. Which is smaller: y or z?
y
Let j = -1 - -0.8. Let g = j + 0.2. Suppose 5*y - 2 - 13 = 0. Which is smaller: g or y?
g
Suppose -5*b + 0*b - 35 = 0. Which is greater: b or -5?
-5
Let c = 11 + -8. Let m(i) = -i - 2*i**2 - 5 + 3 + 3*i + c. Let x be m(-1). Do -5 and x have the same value?
False
Let a be 3*((-15)/9 - -1). Let z be 5/(-10) + 0/a. Suppose 4 + 1 = -5*s. Which is smaller: z or s?
s
Suppose 20*r = 8*r - 120. Which is smaller: -14 or r?
-14
Let n = 5 - 4. Let l = -1.2 - 1.85. Let k = l + 0.05. Which is bigger: k or n?
n
Let k(f) = f + 1. Let w be 1/2*(-3 + -1). Let v(x) = -x**2 - 6*x + 4. Let m(b) = w*k(b) - v(b). Let q be m(-5). Which is greater: q or -1/8?
-1/8
Let i(g) = g - 10. Suppose 2*s - 10 = 10. Let b be (s/(-6))/(1/(-3)). Let z be i(b). Do z and -4 have the same value?
False
Suppose -q - 2 - 8 = 0. Do q and -9 have the same value?
False
Let x = -25 + 25. Is x < -1/2?
False
Let v be 10/(-15)*(-3 + -3 + 3). Which is smaller: 5/8 or v?
5/8
Suppose d + 26 = 5*a, 24 + 6 = -5*d + 5*a. Suppose -5*g - 646 = 254. Let o be (-1)/4 - 69/g. Which is greater: d or o?
o
Let h be (2 - 12/28)/(6/7). Is h at least as big as 2?
False
Let d be (6/28)/((-27)/20). Let u be (-7)/(-49) + 38/126. Let t = d + u. Are t and 0 unequal?
True
Let k = 46 - 27. Is 2/5 at most k?
True
Let w = 5 - 5. Let m = -35 - -35. Is m > w?
False
Let p = -0.21 - -0.21. Which is smaller: -1/4 or p?
-1/4
Suppose 3*s - 1 = 5*z - 18, -5 = -5*s. Suppose 0*u + z*u = 12. Let f be 5/7 + (-2)/2. Which is smaller: f or u?
f
Let f = 1 + -0.7. Let t = -14 - -9. Let d = t - -4. Is d >= f?
False
Let s(j) = j + 3. Let w(a) = a + 4. Let v(r) = 5*s(r) - 4*w(r). Let f be v(1). Is f bigger than 2?
False
Let k = -1245 - -153137/123. Which is bigger: 1 or k?
1
Let i be 5/(-5)*(0 + 1). Let n be ((-19)/6 - i) + 2. Let w = -0.14 + 0.14. Which is smaller: w or n?
n
Suppose -x + 6 = -5*k, -4*k - 7 = -4*x + 1. Let g be k - -4 - 55/10. Is -2 smaller than g?
False
Let y be (-3)/9*(-12 + 0). Let i be (-108)/(-30) - y/(-10). Which is bigger: i or 5?
5
Let i(v) = v**3 - 14*v**2 + 12*v + 12. Let k be i(13). Is k greater than or equal to -23?
True
Suppose 2*r + 0*s = -2*s + 84, 4*s = 3*r - 119. Let j = 71 - r. Suppose 5*z - j = -4*m - 9, 2*z = -5*m + 22. Which is smaller: z or -1/3?
-1/3
Let u be -2*642/4*2/6. Is u greater than or equal to -107?
True
Let j(o) = o**3 + 5*o**2 + 16. Let i be j(-5). Which is greater: 15 or i?
i
Let m be (-3)/3 - (-18532)/17640. Let l = 3/490 - m. Is 0 at least l?
True
Let s = 8 - 0. Let a = 7 - s. Are -1/2 and a nonequal?
True
Let t(r) = -r**2 - 27*r - 21. Let y be t(-27). Which is bigger: -4 or y?
-4
Let u = 0.231 - -0.069. Which is smaller: -4 or u?
-4
Let m = -50 - -90. Let z be (-90)/m*(-2)/9. Which is smaller: 1/23 or z?
1/23
Suppose t + 2*c = 5, -3*t + 3*c = -c - 25. Is 5 greater than or equal to t?
False
Let q be ((-4)/(-2))/((-8)/2). Suppose j + j = -2. Is j less than q?
True
Suppose 2*f - 7*f = 0. Suppose -2*b = -f*b. Suppose -3*q - 3*i + 18 = 0, 3*q + 0*q - 5*i + 22 = 0. Are b and q non-equal?
True
Let g(y) = -y**3 - 3*y**2 + 4*y + 2. Let x be g(-4). Let w = -2 + x. Let o = -5 + 24/5. Which is smaller: w or o?
o
Let l = -265/2 - -2477/18. Let s = 22/9 - l. Which is smaller: -2 or s?
s
Let p = -7 + 1. Let o = -0.03 + 4.03. Let t = p + o. Is t greater than -3?
True
Let y(v) = v**2 - 1. Let q be y(3). Let o(t) = t**3 - 9*t**2 + 7*t + 9. Let i be o(q). Which is bigger: i or 7/3?
7/3
Suppose -2*m - 4 = -0*m. Which is greater: m or 2?
2
Let x be (6/4)/((-6)/(-8)). Let w be (x + -1 - 2)/1. Let o = -2 + w. Which is bigger: -3/2 or o?
-3/2
Let o = -1.1 - -0.8. Let u = -0.4 - o. Let g = 2 + 0. Which is smaller: g or u?
u
Let a = 1 - 1. Suppose 7*c - 2*c = f - 24, -15 = 5*f + 2*c. Let z = a + f. Is -1 <= z?
True
Let g(s) = -s - 4. Suppose 0*r - 3*r = 18. Let p be g(r). Let n = -142 + 713/5. Is n >= p?
False
Let c = 196193/7 - 28073. Let g = 45 + c. Is -1 > g?
False
Let k = 710 - 704. Suppose -2*r = -4 - 12. Is k at least as big as r?
False
Suppose 3*w - 4*m - 106 = 0, -3*w + m + 188 = 2*w. Which is greater: w or 39?
39
Suppose 2*x - 9*x = -21. Which is smaller: -0.2 or x?
-0.2
Let d(c) = 3*c - 15. Let b be d(9). Which is bigger: b or 14?
14
Let d = 0.22 - 0.02. Let n = 2 - 1.9. Which is smaller: n or d?
n
Let h = -12329/12 + 1028. Let c = h + -1/12. Which is smaller: c or 0?
0
Suppose a = 3*a - 54. Suppose -4 = 4*k, 6*k - a = -5*n + 3*k. Suppose -n = -x - 4. Which is smaller: 3/4 or x?
3/4
Suppose -s + 5*a + 6 = -0*s, -3*s = 3*a + 18. Is 2/7 greater than s?
True
Let v(o) = -o**2 + 8*o - 3. Let h be v(3). Let r be (2/127)/((-8)/h). Let b = r - -169/1778. Which is bigger: 1 or b?
1
Let m be ((-9)/(-3))/12*163. Let u = m - 41. Which is smaller: -1 or u?
-1
Suppose 2*m = 2 - 24. Which is smaller: -12 or m?
-12
Suppose -b - 2*x = -8, -2*b + 3 + 4 = -5*x. Is 33/7 smaller than b?
True
Let u = 0 + 1. Let q = 240 + -240. Is u at least q?
True
Let u = 8 - 8.8. Let y = -0.8 - -1. Let w = u - y. Which is smaller: -2 or w?
-2
Suppose 0 = -8*u + 7*u + 2. Let v = -9/8 - -13/8. Which is bigger: u or v?
u
Let z = 86869/9090 + -1/1010. Which is smaller: 11 or z?
z
Let s = -27 - -48. Let w = s + -125/6. Suppose 112*o - 96*o = -16. Is o less than w?
True
Let p = -1.6 - -1.6. Let f = p + -3. Do 1 and f have the same value?
False
Let p = 0.59 + -3.09. Which is smaller: 0 or p?
p
Let x(g) = -g**3 - 11*g**2 - 13*g - 10. Let s be x(-9). Let h = s + 604/11. Which is smaller: 1 or h?
h
Suppose 0 = -2*v - 2*z + 62, 0 = 4*z - 2 + 6. Suppose -32*k + v = -30*k. Is 17 at least k?
True
Let v(l) be the third derivative of l**4/12 - 4*l**3/3 - 2*l**2. Let f be v(7). Suppose -4*h = -f*h. Which is smaller: h or 1?
h
Let l be (-2 + 1)/(20/164). Does l = -7?
False
Suppose -3*g + 3*n + 12 = 0, 4*g - 2*n + 3*n = -9. Which is bigger: -5/6 or g?
-5/6
Let x = 17.09 - 17. Is x <= 4?
True
Let f = 0.04 - 0.34. Let r = -0.325 + 0.425. Which is smaller: r or f?
f
Let r = -5.8 - 1.2. Let j = -5 - 1. Let p = r - j. Is 1/4 < p?
False
Let d = -15.1 + 16. Let s = 4.9 - d. Which is greater: -1 or s?
s
Suppose 2*y = -3*y. Let k be (4/20)/((-3)/(-2)). Is y at most k?
True
Suppose 0 = -6*n + 10*n + 4*x - 68, -n = -2*x - 2. Do n and 1 have the same value?
False
Let b = 0.61 - 2.61. Which is bigger: b or 3?
3
Let t = 28 + -13. Let i = 17 - t. Are 0.2 and i equal?
False
Suppose -4*h + 39 = 3. Let x = -13 + 9. Let z be 8/h - x/(-18). Is -0.2 at least as big as z?
False
Let p = -3 + 3. Let s = 7 - 10. Is s at most as big as p?
True
Let i(c) = c + 4. Let q be i(0). Suppose -q*f + 12 = 4. Let u = f - 2. Is -1 at least u?
False
Let o = 0.79 - -0.21. Let f(v) = v**3 - 7*v**2 + 6*v + 3. Let y be f(6). Let w be (39/(-5))/y + 2. Which is smaller: w or o?
w
Let p = 24 - 26. Which is smaller: p or -7/9?
p
Let i = 0.061 + -1.261. Which is smaller: 1 or i?
i
Let c = 3/2645 + -2139814/7935. Let f = c - -267. Let h = f + 22/15. Which is smaller: h or 0?
h
Let u = -140 + 128. Which is bigger: -10 or u?
-10
Let c = -10 - -4. Which is smaller: c or -9?
-9
Let u(v) = -v**2 + 0 - 6 - v - 2. Let d be u(0). Let o = d - -6. Is -2 at least as big as o?
True
Let d be (-9)/3 + 6/2. Which is smaller: 7/23 or d?
d
Let k(o) = -o - 2. Let y be k(-7). Suppose 3*l - 4 = -v + 4, -6 = -3*l - 3*v. Let a be 8 - 4 - (-2 + l). Is a < y?
True
Let d = 10.2 - 11. Let z = d + -2.2. Let p = 0 - 0.2. Which is bigger: p or z?
p
Let r = -2243/7 - -321. Is 1 less than or equal to r?
False
Let o = 192/935 + -2/85. Suppose p = 5*p. Is p smaller than o?
True
S