 Let f = a + 8. Let i be f/9*-3*-3. Is 3 >= i?
True
Let q = -129937/6 - -21604. Let z be ((-104)/(-6))/(2/(-6)). Let v = z - q. Do 1 and v have different values?
True
Let a = 0.6 + -0.55. Let x = a + -0.15. Which is greater: -2 or x?
x
Let j be (-2)/5 - 10/(-25). Let h = -314/3 - -105. Which is bigger: j or h?
h
Let q = 7.9 - 8. Suppose -4*n + 2*n = 5*x + 1, x = 2*n - 5. Which is greater: q or n?
n
Suppose 0 = -5*v + 360 + 190. Let q = -991/9 + v. Is -1 smaller than q?
True
Let x(z) = -z**3 - z**2 - z - 1. Let k be x(-2). Suppose j = 0, 5*j = k*h - 4*h. Let s be (5 + -6)/(-1 + h). Which is smaller: s or -1/6?
-1/6
Suppose 0 = -3*n + 2 + 1. Which is smaller: n or -2/27?
-2/27
Suppose -5*c + 2 - 12 = 0. Let t be (3/9)/(1/c). Is -1 less than or equal to t?
True
Let h be 8/6*(-18)/(-4). Let x = h - 5. Which is smaller: 4/5 or x?
4/5
Suppose -12 = -0*f + 4*f. Let m be (f/4)/(21/(-14)). Which is smaller: m or 0?
0
Suppose 3*t = -2*t + 35. Let i be (-19)/t - 6/21. Is -3 less than i?
False
Let c = 0.08 - -1.92. Does c = -1/4?
False
Let s = 25 + -25. Let c = s + 0.5. Which is smaller: 0 or c?
0
Let i = 36.74 - 36. Is 0 less than i?
True
Let i = -2.04 + 2. Let n = -0.34 - i. Let t = n - -0.4. Which is greater: t or -1?
t
Let c be ((-41)/22 + 2)/((-18)/48). Let a = 2 - 3. Which is bigger: c or a?
c
Let t = -7.1 - -13.2. Let q = t + -1.1. Let a be 5 - 42/10 - 16/20. Is q bigger than a?
True
Suppose 0 = 3*d - 3*c + 9, 2*c - 9 = 3*d - 3. Is d less than -1/69?
False
Let v = 2 - 10. Let y = 10 + v. Let j = 0 + 0.1. Is y equal to j?
False
Let h be -2*(1 - 8/10). Is h less than or equal to 0?
True
Let v = 4 + 0. Let c = 3 + v. Are 0.2 and c equal?
False
Let c(b) = 3*b**3 - 2*b**2 - 3*b + 7. Let l be c(2). Is l bigger than 17?
False
Suppose 0 = 5*i - 0*i + 65. Let c = i + 11. Let j = -63 - -249/4. Which is smaller: j or c?
c
Let j be (-5 - -1)/((-24)/60). Is j bigger than 11?
False
Let k(j) = -8*j. Let l be k(1). Which is greater: -7 or l?
-7
Let w = -65 - -40. Which is greater: -24 or w?
-24
Let v(h) = -h. Let t be v(-2). Suppose 0 = -c + t*c - 4. Is c greater than 4?
False
Let s = 0 - -2. Suppose -4*t - z = t + 519, 5*t + 518 = -s*z. Let y = t + 1354/13. Which is greater: y or -2/5?
y
Suppose 0 = -0*r - r - 7. Let t = r - -11. Let y be (4/16)/((-3)/t). Is 1 greater than or equal to y?
True
Let y = 39 - 28. Is y equal to 11?
True
Let k = 3 - 2. Let o(b) = b**2 + 2*b. Let l be o(-2). Let m = l - -2. Which is smaller: k or m?
k
Let l = 0 + 5. Suppose u = -l*x + 6*u - 15, 3*u = -x + 5. Let k be ((-2)/2*3)/(-7). Which is greater: k or x?
k
Let k = -889/5 - -178. Which is smaller: 2 or k?
k
Let j(u) = u + 13. Let h be j(-10). Suppose h*r + 2 = 11. Let y be 2*r*3/33. Are y and 0 non-equal?
True
Suppose 2*r - 23 + 21 = 0. Are r and 2/33 unequal?
True
Let b(p) = -p**2 + 12*p - 13. Let f be (0 - 0) + 9 - -2. Let a be b(f). Is a != -2?
False
Suppose -4*a + 9*a = 4*w + 28, -5*w + 2*a = 52. Is -32/3 greater than w?
True
Let d = 0.12 - 0.62. Let a = 5.5 - d. Which is bigger: a or 0?
a
Let g be -3 + (-426)/(-40)*(-40)/(-144). Which is smaller: 0 or g?
g
Let m be (6/5)/(6/15). Let x be (-5)/2*(-20)/25. Do x and m have the same value?
False
Let a = 22 - 16. Let f(i) = -4*i**2 - i - 1. Let u be f(-2). Let h = -9 - u. Is a not equal to h?
False
Suppose 5*q + 0*q + 180 = 0. Let y be ((-5)/(-30))/(1/218). Let c = q + y. Does c = 0?
False
Let v be ((-33)/176)/(3/2). Which is greater: -6 or v?
v
Let g = 0 + -0.02. Which is smaller: 2/7 or g?
g
Suppose -5*d = 2*u - 124, 3 - 5 = -u. Suppose -d = -c - 3*c. Are c and 7 nonequal?
True
Suppose -u = 7*u - 8. Which is greater: u or -3/34?
u
Let f be 1 + (-3)/((-162)/(-57)). Are f and -1 equal?
False
Let a = 74135/957 + -852/11. Which is bigger: 1 or a?
1
Suppose 2*o - 3*p = 6, o - 5*p - 14 = -o. Let r be (o + 6)*2/3. Let h be (-3 - (-1 + r)) + 2. Which is smaller: 2/5 or h?
h
Let i be (0 - (1 - 2))/(18/(-198)). Which is smaller: -39/4 or i?
i
Let s be 2 + (-4 - -6)/1. Let d be (2/s)/((-8)/8). Is d less than -3?
False
Let v(s) = s + 11. Let r be v(-14). Let n = 2 + r. Is 4/15 at least as big as n?
True
Let z(l) = l**2 + l - 5. Let y be z(-3). Which is greater: 4/5 or y?
y
Let j = 81.983 + -82. Is j < 2/5?
True
Suppose 0 = -j - j - 4. Let b be j*(2 - 14/4). Let h = 0 - -2. Which is greater: h or b?
b
Let s = -3.1 - -3.3. Let y = 2 + -1. Which is smaller: s or y?
s
Let m = 91.1 + -87. Let r = -0.01 - -4.01. Let v = r - m. Which is smaller: 2/3 or v?
v
Let p(j) = -j**3 + 8*j**2 + j - 6. Let n be p(8). Suppose 4*d - 10 = n. Suppose -17 = -r - 3*z, 2*r + 0*z + z = 9. Is d >= r?
True
Let r(x) = -4*x - 8. Let a be r(6). Are -32 and a unequal?
False
Suppose 2*x + 27 = -y, -158 = 5*y - 4*x + 19. Let n = -63 - y. Let k = -121/4 - n. Are k and 1 unequal?
True
Let w = 22 - 22. Which is bigger: 2/3 or w?
2/3
Let s = 12 + -12. Let j = s + 0.1. Which is smaller: 0.09 or j?
0.09
Let n(k) = -k**3 + 6*k**2 - 6*k + 4. Let i be n(5). Let s be ((-1)/(-6))/(i/2). Is 0 at most as big as s?
False
Let u(z) = -z**3 + 4*z + 3. Let w be u(-2). Suppose w*a = -0 + 3. Let r(t) = t**3 + 5*t**2 - 5*t + 8. Let n be r(-6). Which is smaller: n or a?
a
Let k = 0.002 - 0.002. Is k not equal to -1/18?
True
Suppose i = -i. Suppose 2*d = -5*j - 4, 3*d = -0*j - 2*j - 6. Suppose -3*w + 0*w + 6 = j. Which is bigger: i or w?
w
Suppose -b + 22 = 5*r, -4*b + 12 = 4*r - 12. Let t be (r/(-36))/((-5)/(-3)). Which is greater: -1 or t?
t
Let p(h) = -h + 4. Let d be p(4). Is 0 at least as big as d?
True
Let b(t) = 11*t**3 - t**2 + 1. Let o be b(1). Let u = o + -1. Let w be 14/u + 4/(-10). Does 1/9 = w?
False
Let s = 207 + -138. Let t be s/21 + 6/(-21). Let h be (0 - t)/((-27)/(-6)). Is 0 bigger than h?
True
Suppose -h - 5*j = 12, 2*h + 2*j - 12 = j. Let p be 8*-1*(3 - 2). Let y be (h/(-110))/(p/(-20)). Which is smaller: -2 or y?
-2
Suppose 4*l = -l + 5. Let p be -2*3*l/6. Suppose 3 = -2*x - 1. Which is bigger: p or x?
p
Suppose y = j, -4*y = j - 4*j. Which is greater: -1/32 or j?
j
Let j(o) = -o**3 - 4*o**2 - 2*o - 4. Let f be j(-4). Suppose f*l + 60 = -4*c, -3*l + 35 = -6*c + c. Which is smaller: c or -9?
c
Let f be ((-44)/(-8) - 3)*18/5. Is 9 at most as big as f?
True
Let p be 1/(-3)*(7 - 14). Does 1 = p?
False
Let k = 9 + -6. Suppose -k*p - 2*s - 1 = 0, -4*p + 4*s = -40 + 8. Let y be -1 + 0 + p + -3. Is -1 bigger than y?
False
Let q be -3 + -2 + (-16)/(-4). Let a be 7 - 3/(3/2). Suppose -4*d - 19 = 3*v, 15 = a*d - 4*v - 0. Is q at least as big as d?
True
Let h(r) = -r**3 + 6*r**2 - 6*r + 7. Let b be h(5). Let l be (b/4)/(3/9). Let f = l + -31/18. Which is bigger: f or 0?
0
Suppose 2*o - 5*o = 0. Let i be (-2 - o)/(-2 + 3). Let n = 14 - 73/5. Is n at most i?
False
Let m be (-1)/((-5)/5 - -2). Let i = 0.04 - -2.96. Let v = -3 + i. Which is bigger: v or m?
v
Suppose -32 + 98 = -3*b. Let k = -23 - b. Is k != 0.2?
True
Let g = 4 - 2. Let j = -1 + g. Which is smaller: j or 0.2?
0.2
Suppose 3 = 3*o + 30. Let i = 10 + o. Let u = -0.1 - -0.3. Is u at least i?
False
Let p = 1336 + -5413/4. Let n = -33/2 - p. Do n and 1 have the same value?
False
Let w(h) = h + 1. Let d be w(-3). Let s = -32 - -31. Are d and s non-equal?
True
Let g = -2 - -5. Let w = 4 - g. Suppose x + 2 = -4*c - x, 5*c - x = 8. Do w and c have the same value?
True
Suppose -6*w - 61 - 23 = 0. Is w equal to -14?
True
Let x = -20.2 + 22. Let u = x - -0.2. Which is smaller: u or -1?
-1
Let n = 22.09 - 22. Let g = n + 0.01. Is 8 at least as big as g?
True
Suppose 10 = -2*k + 5*f, -2*f - 1 = -2*k + 1. Suppose -h - 4*v - 9 = 1, k*v + 25 = 5*h. Let p = h + -3. Is 2/11 < p?
False
Let y = -7 + 5. Let h(o) = 2*o - 3*o + 3 + o**2 - 3*o. Let s be h(2). Which is greater: s or y?
s
Suppose -2*t + 0 = 2. Let f be 2/6*(8 - t). Let r = 1 + 2. Is f at least r?
True
Let r be (-3)/(-2)*(-252)/(-27). Suppose -2 - r = -4*o. Let k be -6*(6/o + -1). Is k greater than -1?
False
Let c be 4*(-1)/(-42)*1. Let y(k) = 3*k + 14. Let j be y(-5). Is j bigger than c?
False
Let m = -0.047 + 7.047. Does m = 1?
False
Let n = 234.1 + -244. Let r = n + 10. Let c = 0 - 0.02. Which is bigger: c or r?
r
Suppose -4*v + 111 = -1. Are v and 27 equal?
False
Let c = -1334/77 + 120/7. Let k = 38 - 115/3. Is c at least k?
True
Let u(y) = y**3 + 4*y**2 + 5*y + 5. Let s be u(-2).