 Let o = 17 + -55. Let p be o/i + 10/55. Is 1 greater than or equal to p?
True
Let f(z) = z**3 + z + 50. Let s be f(0). Let x = -95/2 + s. Is 3 less than or equal to x?
False
Let v = -28/9 + 16/9. Let k be (2/(-1))/(-2)*1. Let b be -1 - 2/(-2) - k. Is b <= v?
False
Suppose -p - 1 = -0. Let f = -9 - -6. Let r = f - p. Which is smaller: r or 2/9?
r
Let o be (-18)/(-8)*(-6)/9. Let i = 3 - 3. Suppose i = -3*l + 2 - 5. Is l less than or equal to o?
False
Let r be 12 + -9 - 38/14. Which is greater: 7 or r?
7
Let t be 1/(-3)*(3 + 0). Let x be 0 + (1 - t) - 6. Suppose 0 = -17*j + 19*j + 6. Which is bigger: x or j?
j
Suppose 0 = 5*o - 5 - 0. Let a be (-64)/(-10) + 10/(-25). Let f be 15/(-36) + 4/a. Which is greater: o or f?
o
Let y = -185 + 175. Let r = -16 - -6. Is y not equal to r?
False
Let j = 5 + -3. Let l = 3 - j. Let n = 13 + -12. Is n greater than l?
False
Let l = -1278/11 - -116. Let s(d) = d**2 + 5*d + 5. Let q be s(-4). Are l and q equal?
False
Let b be -1*(3 - (-14)/(-6)). Let r = -6 - -10. Suppose -4 = v + v, -m - r = 2*v. Is m less than b?
False
Let h(m) = m - 3. Let k be h(5). Suppose 4*v + 16 = 5*w, -3*v - 3 = -6*v. Which is smaller: w or k?
k
Let w = 6 + -17. Let f be 1 + (-3 - -4) - 14. Is w < f?
False
Let p = -1.57 + 0.83. Let l = -0.06 + p. Let f = 0.8 + l. Are f and 3 equal?
False
Let x = -4 - -17. Suppose 7 + 21 = 2*w. Are x and w equal?
False
Suppose 0 = -12*n + 5*n - 7. Is n at least 2/33?
False
Let s = 2390/1989 - -28/153. Let n = -67/39 + s. Let b(f) = f - 5. Let t be b(4). Is n less than t?
False
Suppose 5*z - 2*z - 18 = 0. Let o be 4/z + 30/9. Suppose -o*y = y. Is y >= 0?
True
Suppose 2*q - 3*q + 16 = 0. Let n = q - 1. Let b be (-2)/n*(-6 + 0). Which is smaller: b or 0?
0
Suppose 5*h - 70 = -5*b + 40, h = -4*b + 97. Which is bigger: 23 or b?
b
Let i(n) = -n**3 + 4*n**2 - 6*n + 4. Let u(b) = -b**2 - b + 1. Suppose 2*p = 5*p - 3. Let q(t) = p*i(t) - u(t). Let v be q(4). Is 0 equal to v?
False
Let d = -2 - -1. Let p = -37/3 + 12. Is d smaller than p?
True
Let t = -0.01 + -0.11. Let u = 1.52 + t. Let g = -0.6 - u. Which is bigger: -2/7 or g?
-2/7
Suppose 3*z - z + 8 = -l, -2*l = -2*z - 8. Which is smaller: l or 3/43?
l
Let a = 5.07 - 5. Let l = a + 1.83. Let u = l - 2. Is -0.1 != u?
False
Suppose 0*n - 4 = -4*l - 4*n, 2*n + 1 = -5*l. Which is bigger: 1/14 or l?
1/14
Let v = -35 + 141/4. Which is bigger: 5/4 or v?
5/4
Suppose 4*i = 5*i - 6. Is i bigger than 6?
False
Let a(g) = g**2 + 5*g - 3. Let y be a(-6). Which is smaller: 1 or y?
1
Suppose -14 = -17*s + 37. Is s bigger than 17?
False
Let v(j) = -j**2 - 8*j - 8. Let m be v(-6). Suppose -m*g + g = 18. Does g = -5?
False
Let f = 5 - 4.9. Let r be ((-4)/6*-6)/(-1). Is f <= r?
False
Suppose 4*k = -6 + 14. Let q be 1/(-4) + (-17)/(-20). Is k < q?
False
Let q = -20686/105 + -1652/15. Let j = 308 + q. Which is smaller: j or 1?
j
Let w = 3 - 4. Let d be 2 + 0 + (-6 - -1). Let z be d/((2 + w)/1). Is -3 at least as big as z?
True
Suppose 2*o = -0*v - 4*v + 4, 3*v + 4*o = -7. Which is smaller: v or 7/4?
7/4
Suppose 7 = 4*d - 73. Is 21 less than d?
False
Let u = -5 - -9. Suppose 2*b - 2*r = 4, -4 = b - 0*b - u*r. Suppose -5*n + n + b = 0. Which is bigger: 0 or n?
n
Suppose -4*p - 68 = -8*p. Suppose 28 = 5*q - p. Let x be (-42)/q - (-2)/3. Is -4 bigger than x?
False
Let i = -4 - -4. Let s be (-2)/(-4)*(10 - 4). Which is greater: i or s?
s
Let j(b) = -b + 6. Let c be j(0). Let k = 3 - c. Is -3 equal to k?
True
Let s = -208/7 + 247/7. Is 7 greater than or equal to s?
True
Let w(p) = p**3 + 3*p**2. Let b be w(-2). Let n be ((-1)/3)/((-3)/36). Suppose 0 = -q + 5*r - 10, 3*q - 18 = 3*r - n*r. Are q and b unequal?
True
Let h(k) = k**2 + 11*k - 9. Let g be h(-8). Let m be (-2 - 64/g) + 0. Let u = m + -29/66. Which is smaller: u or -0.1?
u
Let w = -63 + 44. Let o = w + 17. Is 2 >= o?
True
Let w = 1.3 + 4.7. Suppose 0 = 4*b - 8, -2*h + 0*h = 5*b - 36. Let m(a) = a**3 - 12*a**2 - 14*a + 12. Let u be m(h). Which is smaller: w or u?
u
Let k = 0 - -1. Let y be (0 - k)*(-5 + 2). Suppose y*i = i + 2. Which is greater: i or 2?
2
Let u = 0.024 - -0.976. Which is smaller: u or 0.4?
0.4
Suppose 12 = 4*t, -41 = -4*h - 5*t + 50. Let j(y) = 4*y. Let k be j(1). Suppose 5*i - k + h = 0. Are i and -4 equal?
False
Let p be 8/(-2) + (-3)/3. Let a(d) = -d**3 - 6*d**2 - 4*d + 4. Let f be a(p). Let j be (-8)/(-117) - (126/91)/(-9). Which is smaller: j or f?
f
Let g(j) = -j**3 - 9*j**2 - 7*j + 8. Suppose 4 = -m - 4. Let q be g(m). Which is greater: q or -0.3?
q
Suppose -3*p = 7*p + 430. Is -43 less than or equal to p?
True
Let t be -3 - ((-26212)/112 + 0). Let g = t - 231. Is g > 0?
True
Let h(k) = k**2 - 4*k + 3. Let s be h(2). Let x be -2*((-21)/6 - -4). Is x greater than or equal to s?
True
Let w = 1.04 + -0.04. Let o = 1.4 + -1.3. Which is smaller: o or w?
o
Suppose 8*i + 17 - 9 = 0. Is i != -8/13?
True
Suppose 4*k + 4 = 0, 4*k = -0*s - 2*s + 10. Let m be (-2)/4*-14*1. Are m and s equal?
True
Let j = -1 + 3. Let s = 64.1 + -67. Let f = s - -3. Is f < j?
True
Let n = -78 + 77.5. Is -0.06 less than or equal to n?
False
Suppose -3*k - 1 = -4*k. Let j = -1.7 - -2. Is j not equal to k?
True
Suppose -4 = -5*k + 16. Which is bigger: 0 or k?
k
Let s = -7.9 + 3.9. Is 4 equal to s?
False
Suppose -5*g + c + 4*c - 15 = 0, 2 = 2*c. Is g >= -4/5?
False
Let i(s) = 4*s**3 + 22*s**2 + 10*s - 2. Let y(m) = 3*m**3 + 15*m**2 + 7*m - 1. Let f be 7*(3 + -1 + -1). Let j(g) = f*y(g) - 5*i(g). Let b be j(5). Is b >= -2?
True
Let l(b) = 2*b - 2*b + 2*b + 2. Let k be l(-9). Let s be 2/3 - k/(-6). Which is smaller: s or -1/2?
s
Let j(i) = 3*i**2 - 2*i - 1. Let y be j(2). Suppose -32 - 8 = -5*s. Let m be 9/(-7) + (s - y). Is 0 <= m?
False
Let i be 0/((-2)/5*-5). Which is greater: i or 2/45?
2/45
Suppose 3*g - 4*o + 46 = -2*g, 3*g + 3*o + 6 = 0. Let r(m) = -m**3 - 5*m**2 + 8*m + 9. Let t be r(g). Let y = -0.2 + 0.1. Which is greater: y or t?
y
Suppose 20 = 5*u - 0. Suppose -a + u = -1. Which is bigger: a or 4?
a
Let w = 3 + 2. Suppose 4*i - 3*n = -0*n - 27, 5*i + w*n = 10. Let j be -1 + -1 - i/3. Is j less than -1?
False
Suppose 2*r = -8 + 2. Let g be r*((-346)/15 + 1). Let h = 66 - g. Is 0 smaller than h?
False
Let a = 0.44 + -3.34. Let h = -3 - a. Let x be -1*(-2)/(-8)*0. Are h and x unequal?
True
Let c be 4 - (0 + 1)*2. Let x = c - 7/5. Let i(p) = -p**3 - 3*p**2. Let q be i(-3). Which is greater: q or x?
x
Let l(a) = a**3 + 5*a**2 + 5*a + 4. Let o be l(-4). Is 1/128 less than o?
False
Suppose -3*f + 8 = -7*f. Let h(m) = 2*m**3 + 3*m**2 + 2*m - 1. Let b be h(-2). Let g be b/(-6)*f/6. Which is smaller: 0 or g?
g
Let y = 3611/8 + -449. Let a = -319/136 + y. Are 0 and a non-equal?
True
Let x(o) = -o**2 + 8*o - 9. Let w be x(6). Suppose 0 = w*z - 35 - 22. Suppose -z = 3*n - 4*d, -3*n + 3*d - 18 = -3. Are n and 0 non-equal?
True
Let t(d) = -d - 6. Let a be t(-6). Which is greater: 0.8 or a?
0.8
Suppose 0 = 4*k + 4*p - p + 3, 0 = -5*p - 25. Suppose q - 6 = 2*d + 3, 0 = 4*q + k*d - 58. Which is bigger: q or 14?
14
Suppose 39 = 3*y - 3. Which is greater: 2/5 or y?
y
Let o = 3652/95 - 1422/19. Let w = o - -1057/30. Is 0 greater than w?
True
Let b = -0.2 - -0.1. Let c = -8.94 - 0.06. Let p = c + 5. Which is smaller: b or p?
p
Let w = -0.129 - -1.549. Let y = 0.22 - w. Which is smaller: y or 0.1?
y
Let y = -8 + 10. Let x be y/8 + (-1)/4. Are 2 and x nonequal?
True
Let n = -2661/254 + -3/127. Let a = n - -10. Do a and 1 have the same value?
False
Let k(b) = -b**3 + 7*b**2 - 2*b + 7. Let t be k(7). Which is smaller: 2/3 or t?
t
Let q = 4 - 2. Let g(a) = -a**3 + 5*a**2 + 7*a - 6. Let u be g(6). Suppose -2*d - 2 + u = 0. Do d and q have the same value?
False
Let k = 32 + -31. Are k and -0.1 equal?
False
Let o = -71/510 - -2/51. Is o != -1?
True
Let u be (-5)/2 - 5/10. Let t(d) = d**3 + 6*d**2 + 5*d - 2. Let i be t(-5). Which is bigger: i or u?
i
Let w(r) be the second derivative of r**3/6 - 3*r**2 + r. Let d be w(4). Which is smaller: d or -3?
-3
Suppose 4*n + n = 5. Let q be n*-1 + (-132)/(-40). Let x = q + -7/2. Which is smaller: -2 or x?
-2
Let c = -4.6 - 6.4. Is c at least as big as 0.4?
False
Let p = -1.4 + 1.4. Let u = 0.1 + 0.1. Let c = u - p. Is c equal to -0.2?
False
Suppose 2*p = u - 11, 3*p = 5*p + u + 17. Do -8 and p have the same value?
Fal