
True
Let k = -2.6 - 2. Let c = k + 5. Let t = -1.4 + c. Is -1 at least as big as t?
True
Let b = -17.3 + 16. Is b bigger than -1/4?
False
Let j = -8 - 5. Let r be ((-30)/(-5))/3 - 1. Do j and r have different values?
True
Suppose -3*a + 2*x = 20, 2*a - x + 6 = -6. Let k(o) = o**3 + 10*o**2 + o + 8. Let b be k(-10). Is b greater than or equal to a?
True
Let i(n) = -4*n - 25. Let d be i(-9). Is d >= 16?
False
Suppose 2*b = 6*b - 12. Let u = -0.02 + -0.08. Is u less than or equal to b?
True
Let m be (17/2 - 3)*-2. Which is greater: m or -13?
m
Let k be 4 + 5/((-50)/45). Which is smaller: 29 or k?
k
Let m be (-2 + 5)*29/(-3). Let a = m + 20. Is -8 less than or equal to a?
False
Let i = -1 - 0. Let y = 0 - 1. Is y smaller than i?
False
Let o = 71 + -59.2. Let f = 12 - o. Is f not equal to -1?
True
Let h(k) = -k**3 - 3*k**2 + 10*k + 10. Let a be h(-6). Is 58 at most a?
True
Let n = 15 + -16.8. Let l = 2 + n. Let j = 3 - 2. Which is bigger: j or l?
j
Let f = -133 + 111. Which is bigger: f or -93/4?
f
Suppose -2*x - 5 = -4*b + 1, 17 = 3*b + x. Which is smaller: b or 3?
3
Let u = 28 - 83/3. Is u greater than 5?
False
Suppose -8*d + 169 = 9. Which is greater: 19 or d?
d
Let q = -0.019 + -0.081. Let p = 7 + -6.94. Is q not equal to p?
True
Let p = 20 + -20. Are p and 14 non-equal?
True
Suppose -29*g = -30*g + 25. Is g less than or equal to -1/3?
False
Let c = 0 - 1. Let s be 9/(-2436) + (-2)/14. Let o = -3/29 + s. Is o > c?
True
Let s be (6/(-9))/((-8)/12). Let v = -4 + 8. Suppose 2*a + 0*a - 2 = -v*z, -z + 4*a = 4. Is s at least as big as z?
True
Let c = -1 + 4. Let p = c + -3.5. Let v = 1.5 + p. Is -1 < v?
True
Let d = -44 + 74. Which is greater: 31 or d?
31
Let z be (-1 + 1)/(2/2). Let h be (z + 1)/((-1)/(-3)). Is 1 >= h?
False
Suppose 5*n + 15 = 0, -2*n - n = -4*j + 5. Is j greater than -14/9?
True
Suppose 0 = -4*o + 34 - 14. Suppose 5*s + 4*l + 4 = -1, 25 = -o*l. Let r = -3 + 6. Are r and s nonequal?
False
Let h = 28.1 + -27. Let t = 1 - h. Let n = -5 + 4.9. Are n and t non-equal?
False
Let q = -5 + 10. Let b = 0.83 - 1.83. Is b greater than q?
False
Let t be 3*3/((-36)/208). Let q be (-1)/(-4) + (-39)/t. Is q > -1/12?
True
Suppose 3*z = -12 - 15. Is z less than or equal to -10?
False
Let j = -21 + 29. Let p be 3/12 - 6/j. Let z be (-1)/3 + (-2)/(-6). Which is bigger: p or z?
z
Suppose -4*o + 5*r - 2 = 0, -3*o - 3*r = -r - 10. Let j = -1 + 10. Suppose -3*m + 2*d = 6*d + j, -3*m + 2*d = -9. Which is smaller: m or o?
m
Let g be 0/(-3 - -4)*1. Which is smaller: -1/19 or g?
-1/19
Let w be (4/6)/(28/2058). Is w smaller than -1/3?
False
Let x(f) = -1 - 2*f**2 + 3*f - 8 + 5*f + f**2. Let b be x(7). Is -2 less than or equal to b?
True
Let u be 14/8*36/210. Let d be -1*(2 + -5 + 1). Suppose -3*n - o - 2 = 0, 2*o - o = -d. Which is bigger: n or u?
u
Let t = 352/5 + -70. Let b(h) be the second derivative of -h**3/6 - 5*h**2/2 - 3*h. Let m be b(-6). Which is greater: m or t?
m
Suppose -5*l = 3*k + 25, -3*l + 2*l = 5. Which is smaller: k or -1/42?
-1/42
Let j = 3 + 0. Suppose -4*f - 1 = j. Which is smaller: f or -1/6?
f
Let g = -5/98 + 379/1666. Is 0 greater than g?
False
Suppose -6*w + 3*w - 6 = 0. Let k be -4 + 7 - (-4)/w. Let o be 2 + -1 + 11/(-13). Which is smaller: o or k?
o
Let j be (-5)/15*-6*2. Suppose -5*c = 3*t - 8, -9*c + j*c - 4*t + 9 = 0. Suppose r + 11 = -5*o, -3*o + 4*o + 5 = -3*r. Which is greater: o or c?
c
Let j = 6 + -9. Is -4 < j?
True
Let z be (-2)/((-1)/(1*-2)). Suppose -2*w + 4 = -2*y, -4*w = 5 + 3. Are z and y unequal?
False
Let r = -13.9 - -15. Let k = r + -0.1. Is k less than 2?
True
Let k = 0 - 0. Let m be (4 - (k + 2))/(-5). Which is smaller: -1 or m?
-1
Suppose -4*m - 57 = -3*l, 5*l - 5*m + m = 87. Suppose 3*f - 4*c - 15 = -7*c, 3*f - 3*c + l = 0. Which is smaller: -2 or f?
-2
Let z be (-2 - -2) + (-21)/(-3). Suppose 4*u - 2*b - 8 = 0, -5*u + 0*b = -b - z. Which is greater: u or 1/2?
u
Let r = -8 - -9. Is 1 <= r?
True
Suppose -c + 15 - 2 = 0. Suppose 0 = 3*y - c + 7. Is y greater than 2/7?
True
Let x(g) = g**3 - 12*g**2 - 12*g + 10. Let l be x(13). Is 23 >= l?
True
Let n = 22 + -21. Which is smaller: 8/5 or n?
n
Suppose 5*o + 25 = -4*d, -4*o = 3*d - 0*o + 20. Let u be -2 + 24/14 + d. Is u <= -0.1?
True
Let z(h) = -h**3 + 10*h**2 - 10*h + 3. Let p be z(9). Are p and -7 nonequal?
True
Let l(s) = -3 + 12*s + 14 - s**2 - 4*s. Let x be l(9). Which is smaller: 3 or x?
x
Let w be (4/16)/(5/(-8)). Let b be -1 - 1/(-2 + 1). Which is smaller: w or b?
w
Let w(x) = 12*x - 84. Let z be w(7). Is z at most as big as -18/17?
False
Let j(m) = 3*m. Let r(v) = v. Let f(a) = -j(a) + 4*r(a). Let d be f(2). Let k = -166 - -667/4. Which is bigger: k or d?
d
Let g be (-4)/10 - (-7)/(35/(-3)). Which is smaller: -4 or g?
-4
Let o(t) = -3*t + 1. Let n be o(1). Is n equal to -3?
False
Let r = 15 + -4. Is r greater than or equal to 12?
False
Let g(z) = 6*z**3 - z**2 + 6. Let w be g(-2). Which is bigger: w or -45?
-45
Suppose 5*k + 3 = -3*n, 5*n + 3*k = 6*k - 5. Let v be (-3 + 2)*(n + 0). Is v greater than or equal to 0?
True
Let o = -2/3 + 13/15. Let z(j) = j**3 - 3*j**2 + j - 4. Let m(f) = f - 2. Let k be m(5). Let w be z(k). Which is bigger: w or o?
o
Let u = -316/207 - -30/23. Which is smaller: 2/13 or u?
u
Let l be (-2)/(-7) - (-2055)/966. Let x = 36/115 - l. Let z = x + 8/5. Do z and -2 have different values?
True
Let i = -122/3 - -41. Which is smaller: -0.08 or i?
-0.08
Suppose 0*g = -4*g - 4. Is -20 at least as big as g?
False
Let i be 1 + 2 - (-4)/2. Let f be 4 + -4 - -2*(4 + -2). Is f at most as big as i?
True
Suppose -3 = 3*x - 2*g, 3*g + 0 = -5*x - 5. Let t be ((-2)/x)/(-2 - -4). Which is greater: -1/3 or t?
t
Let w = 7 + -6. Suppose 2*c = 3*c - 2. Which is smaller: w or c?
w
Let g = -0.2 - -0.1. Let r be 3 + -1 - (-128)/4. Let p be r/(-72) + (-1)/(-4). Is p at most as big as g?
True
Let r be ((-5)/(-4))/((-30)/(-12)). Which is smaller: -60 or r?
-60
Let l = -68637/13 + 5277. Is -4 less than l?
True
Let z = -127 + 901/7. Is 3 not equal to z?
True
Suppose -4*p + 54 = -62. Is 25 less than p?
True
Let v be ((-2)/(-4))/((-14)/(-175)). Let g = v + -6. Are 1 and g unequal?
True
Let m be 8/6*(33 + -36). Let z be (-3)/(-6) - (-18)/(-4). Let f = 0 + z. Is f greater than m?
False
Suppose -2*g + 28 = 2*g. Let o = -17 - -12. Let i = g + o. Is 0 < i?
True
Let t be -6*6*1/4. Let i be (-6)/t - 4/6. Which is smaller: i or 1?
i
Let v = 2 - 1. Let y(b) = b. Let m be y(v). Let l be 4/(-10) + 4/35. Is l >= m?
False
Let m be (-2 + -2)*(-15)/(-2). Let f be ((-189)/m + -1)*22. Let p = f - 117. Which is smaller: 1/2 or p?
p
Let i(x) = x**3 + x**2 + x + 1. Let g be i(-1). Is g not equal to 1/139?
True
Let y = -0.032 - 8.968. Let d = -1 + 0. Does d = y?
False
Let v = 10 - 6. Let c be -4*(2/v + -1). Let x = -3/10 - -4/5. Is c smaller than x?
False
Let x(v) = v**2 + 8*v - 5. Suppose -11 = 5*b + 34. Let p be x(b). Suppose -2*d - 2*d = -p. Do d and -2/7 have the same value?
False
Let d = 28 - 27.91. Do d and 3 have the same value?
False
Let m be 1/((-12)/9) - 3/(-6). Is m > 0?
False
Let o(u) = -3*u**2 - 10*u - 2. Let p be o(-3). Let j = -20 + 30. Which is smaller: p or j?
p
Let h be 3/(-9) + 7/3. Let v be -1*62*h/(-2). Let q = 312/5 - v. Is q <= 1?
True
Suppose 0*f + 20 = -5*f, 5*i - 16 = 4*f. Suppose i*r = 4*r - 4. Which is smaller: 2 or r?
r
Suppose 20 = a - 6*a. Let t be 16/a - (2 - -1). Is -6 smaller than t?
False
Let b = -11 - -45/4. Which is bigger: -3.4 or b?
b
Let j = -1.2 - -1.26. Are j and 11 equal?
False
Let b be 4 - (-3 - -6) - -2. Let g be (b/(-10))/(9/(-5)). Is -1 at most g?
True
Suppose -4*k = r - k - 4, 2*r = -3*k + 5. Let i = 1/7 + 44/35. Is i less than r?
False
Let p = 47 - 46. Which is greater: p or -4/15?
p
Let o = -4 - -4.4. Let z = o + -0.7. Let x = z + 0.5. Which is bigger: x or -1?
x
Let l be (1 + (-33)/36)*3. Let m = -5 - -3. Let o = m - -3. Is l > o?
False
Suppose -2*t + 119 = 57. Which is greater: t or 30?
t
Let r(v) be the second derivative of -v**5/20 + 7*v**4/12 - 2*v**3/3 - 7*v**2/2 - 2*v. Let a be r(6). Suppose 4*n = 9*n - a. Which is greater: 1/2 or n?
n
Let a = 39 - 38. Is 3/4 > a?
False
Let u = 79/150 - 2/75. Do u and 0 have the same value?
False
Let y = -0.15 - -0.05. Which is smaller: y or 17?
y
Let o = -2.9 + 2.9. Is -3/17 at least as bi