-14. Let i = j - 0.1. Is i at least as big as 0.03?
False
Let w(f) = -f**3 + 7*f**2 - 7*f + 3. Let x = 3 + -3. Suppose x*y = 2*y - 12. Let t be w(y). Which is smaller: 1 or t?
t
Suppose b - 2 + 4 = 0, -2*x = 3*b + 22. Let j be (-21)/(-12) - (-6)/x. Is 5/7 not equal to j?
True
Let f = -20/107 - -3564/749. Which is greater: 5 or f?
5
Let d = -6 - -10. Suppose -4*w + d*r - 72 = 0, 0 = -0*w + 5*w + 5*r + 80. Let b be (-5)/(-20) + w/4. Is b > -3?
False
Let y be (1 - 2) + 2/(-4). Let f(g) = -g**3 - 39*g**2 - 40*g - 79. Let h be f(-38). Does y = h?
False
Suppose -8*j - 6 = -11*j. Suppose -2*r - 20 = 2*u, j*u + u - 2*r = -25. Is -10 smaller than u?
True
Suppose -5*c = -5*l - 30, -l - 24 = -4*c - 2*l. Suppose c + 3 = 3*s. Is 3 greater than s?
False
Let k(v) = -v**3 - 11*v**2 - 10*v - 8. Suppose -d - 3*d = 40. Let g be k(d). Let l be 7/(1 + (-1 - 1)). Is l not equal to g?
True
Let t(z) = -z**3 - 2*z**2 + 3*z - 1. Let s be t(-3). Let i be s/(-6) + (-4)/6. Let o(a) = -a**3 - 8*a**2 - 9*a - 12. Let u be o(-7). Which is bigger: u or i?
u
Suppose -3*g - b = -0*b - 45, -b = -3. Is g equal to 15?
False
Let o be -4 - (1 + 0)/((-2)/(-6)). Let m be (-1 + 5)*(-1 - 1). Is m <= o?
True
Let y = -659/36 - -55/3. Do 0 and y have the same value?
False
Let g = -789/2 + 11863/30. Which is greater: g or 1?
1
Let m(h) = h**3 + 2*h**2 + 2*h + 1. Let k be m(-2). Which is greater: -4 or k?
k
Let k be ((-1)/(-3))/(391/102). Is 1 greater than k?
True
Let p = -27 - -39. Is p greater than or equal to 13?
False
Suppose 85 = -5*w - 3*l, 3*l = -2*l - 25. Is -9 at most w?
False
Let h = 0.3 - 0.2. Let o = 0 - h. Let n = 169 - 1185/7. Which is greater: o or n?
o
Suppose 16 = 4*l + 4*s, 3*l - 5*s - 10 = -2*l. Let c = 3 - -1. Which is smaller: l or c?
l
Let a(h) = h**2 + 6*h - 6. Let v be a(-7). Is -1 <= v?
True
Let h be 217/(-43) - (-55)/11. Is 1 at least as big as h?
True
Suppose d - 3*d + 4*c = -20, -5*d - 2*c + 14 = 0. Suppose 1 = 5*a - d. Let s = -353/5 - -71. Is a less than or equal to s?
False
Let r be (-4)/(1 - -1) - -3. Is -1 at least as big as r?
False
Let r = 2 - 4. Let j = r - -2. Let o = -1.1 - -0.1. Do o and j have different values?
True
Let u = 166.3 - 166. Is u smaller than -1/12?
False
Let z be (-22)/(-8) + 2/8. Suppose 0 = -z*m + 4*c - 1, 4*m - 3 = -0*m + c. Is m greater than 2/5?
True
Let s = -1 - -20. Do 20 and s have different values?
True
Let f be (1 - 5)/(104/(-12)). Let l(p) = p + 4. Let d be l(-5). Which is smaller: d or f?
d
Suppose 2*w + 2*s + 2 = 3*w, 2*w - 1 = s. Suppose 4*u - 32 - 8 = w. Which is smaller: 11 or u?
u
Suppose 7 = j + 5*f, -3*f - 22 = 4*j - 8*f. Which is smaller: -2 or j?
j
Let v = -0.11 - -0.11. Is 13 equal to v?
False
Suppose 3*u - 660 = 4*d, 0 = -2*d - u - 380 + 50. Let j be (-3 - d/51)/2. Are j and 0 equal?
False
Let d = 2 - 9. Which is smaller: d or 1/3?
d
Suppose 2*f - 5*g = -24, 0 = -4*f + g - 62 + 14. Let o = 12 + f. Is 0 > o?
False
Let u = 3 - 3. Suppose 5*c - 6 = 3*m - 18, u = 5*m + 4*c + 17. Which is smaller: m or -1/5?
m
Let y be (10/(-24))/((-4)/(-12)). Which is smaller: 0 or y?
y
Let l be ((-2)/3)/(0 + 10/(-15)). Let y = -15 - -23. Suppose -l = 2*a + 3*v - y, 0 = 3*a - 2*v + 9. Is a not equal to 0?
True
Let s be ((-94)/8 - -2)*-2. Let r = 511/26 - s. Is r at least as big as -0.1?
True
Suppose b - 2*b = 2, 0 = -3*x + 5*b + 31. Let m = -4 + x. Suppose -m*g + 3*w = 4*w - 5, 1 = -g - 3*w. Is 3 greater than g?
True
Let w(o) = -o - 2. Let j be w(-9). Let h = j + -4. Suppose f - t - 4 = -7, 9 = f + h*t. Is f < -1?
False
Let r be (-183)/1065 - 1/(-5). Which is bigger: r or -1?
r
Suppose -2*z - 5 = -3*m, -m = -z + 6*z - 30. Let j = z + -5. Let g = 2 + -2. Is j smaller than g?
False
Suppose 9*q - 129 = 4*q + 3*m, 3*m - 6 = 0. Let r be ((-4)/(-10))/(q/15). Which is bigger: r or 4?
4
Let m be (-4)/(-18) + 15910/63. Let v = -3034/7 + m. Let y = -7048/39 - v. Which is smaller: 1 or y?
y
Suppose 0 = 3*o - 4 - 11. Suppose 3*k + 13 = -4*d - 2*k, -d - 7 = o*k. Is d > -13/4?
True
Let g(v) = v**2 + 5*v + 2. Let u be g(-5). Let b be (1/2)/(12/24). Suppose -3*c - b = u. Which is greater: 1 or c?
1
Let l = 7 + -4. Suppose -j + 5*m = -26, 3*m = l*j + 5*m + 7. Is j < 1?
False
Let n = 0 - -0.1. Let p = n + -0.07. Let s = 2.03 - p. Is -1 < s?
True
Let a = -58 + 49. Which is smaller: a or -2?
a
Let h = 0 + 2. Let s(b) = -3*b**2 + 3*b. Let y be s(h). Let u = y - -7. Which is bigger: 0 or u?
u
Suppose 144*w - 143*w - 56 = 0. Which is greater: w or 55?
w
Let n = 13 + -12. Is n less than or equal to 1/7?
False
Let t(w) = w**3 - 6*w**2 + w - 5. Let c be t(6). Which is smaller: -4/11 or c?
-4/11
Let l(t) = 3*t - 5. Let n be l(2). Is n < -4/11?
False
Let l = 2.01 - 0.01. Suppose 0 = 6*f - 4*f - 4. Let a be (-11)/44 + f/(-56). Which is smaller: a or l?
a
Let o be (6/(-14))/((-6)/(-4)). Which is greater: 1 or o?
1
Let j(h) = 3*h - 3. Let t be j(4). Let r be (-29)/t + 6/27. Let m(c) = -c. Let k be m(4). Are r and k unequal?
True
Suppose -14*c - 23 - 5 = 0. Is -2 bigger than c?
False
Let x = -2097 - -4035/2. Let r = x - -78. Which is smaller: r or -2?
-2
Let d = -2 + 2.2. Let p = 0.3 - d. Is -1 <= p?
True
Suppose -2*o = -o - 1. Let p(m) = -m**3 - 4*m**2. Let r = 9 + -13. Let l be p(r). Is l greater than or equal to o?
False
Let w be (-288)/160*(-2)/3. Are 0 and w non-equal?
True
Let l(y) = -y + 6. Let v be l(0). Let a(x) = -x + 4. Let u be a(v). Suppose -2*h + q - 1 = 5, q - 15 = 5*h. Which is smaller: h or u?
h
Let r = 65 - 64.53. Let t = 0.5 - r. Let y = t - -1.97. Is 2/7 <= y?
True
Let q(i) = -i**2 + 3*i. Suppose 4*d - 10 = 2. Let p be q(d). Let v = -23/84 - -1/42. Which is smaller: v or p?
v
Let r(w) be the third derivative of -w**5/60 + 5*w**4/24 - w**3/2 + 3*w**2. Let n be r(4). Which is smaller: n or 0?
0
Let z(t) = t**2 + 10*t + 2. Let d be z(-9). Which is smaller: -1 or d?
d
Let l be -4*(-3 - (-15)/6). Let u be (-357)/(-39) + l/(-13). Which is smaller: 10 or u?
u
Let u be 3*(-5)/((-25)/(-5)). Is u at least -3/2?
False
Suppose -2*g + 4 = -2. Let o be (-2)/g + (-2)/(-6). Which is smaller: -1 or o?
-1
Let k = -8 + 13. Suppose -7 = 2*n - k*y, 2*n + 1 = 4*y - 3. Is 4 less than n?
False
Let k = 8 - -1. Let v = k + -9. Which is greater: -1 or v?
v
Let y(s) = s**3 - 3*s**2 + s + 3. Let m be y(3). Let g = 35 - 12. Let f = g - 17. Are f and m equal?
True
Let o be -50*(0 + (-1 - 0)). Let x = o - 17. Let f = x + -100/3. Is 0 at most as big as f?
False
Let y = 30 + -51. Which is smaller: -19 or y?
y
Let x(c) = c**3 - 6*c**2 - 3*c - 1. Let g be x(7). Let f = g - 18. Which is bigger: -1 or f?
f
Let b = 61 + -40. Let p = b + -43/2. Which is smaller: 0 or p?
p
Let i = -5/6 + 1/3. Is -16 bigger than i?
False
Let i be ((3064/14)/(-4))/(-15). Let s = i + -44/15. Which is bigger: 1 or s?
1
Let g be ((-2)/(-6))/(-1*3/(-126)). Which is greater: g or 9?
g
Let x be (-2)/4 - 2/4. Let o = -117 - -116. Is o not equal to x?
False
Let p = 7 - 11. Let n be 22/6 - p/(-6). Is n < 4?
True
Suppose -i = 2*i - 60. Suppose 0 = -5*o - 3*d + 1 + 16, -4*o + i = -4*d. Is 3 <= o?
True
Let d = 0.3 - -0.7. Is 4/9 < d?
True
Suppose -5*l + 0 + 10 = 0. Suppose l*b = 5*b + 39. Let c = -9 - b. Is c greater than or equal to 4?
True
Let q = -4465030075 + 196474973445/44. Let y = -310206 + q. Let h = 99/4 - y. Is -1 equal to h?
False
Suppose x = -x + 10. Let m = x - 7. Which is smaller: -3/2 or m?
m
Let m be 1*2 + (2 - 3). Let d be m/1*6 + -2. Suppose d = -4*z - 2*j, 4*z - 3*z = -2*j - 1. Are z and 2/5 non-equal?
True
Suppose 0 = -2*y - y. Let u = 105.91 + -106. Is u greater than y?
False
Let t = -769/2 - -1904/5. Let j = t + 353/90. Which is greater: j or -0.2?
j
Let a(w) = -w**2 - 8*w + 5. Let h be a(-8). Suppose 0 = -4*f + 3*f + 4*k + h, -5*k = -2*f + 10. Is 5 bigger than f?
False
Let o = 6 - 2. Suppose -4*q + 2*k + 35 = -k, -o*k - 25 = -q. Is q less than 6?
True
Let x(a) = -a**3 + 13*a**2 - a + 9. Let z be x(13). Let j be (-63)/135 - z/(-30). Let r = -1 - -0.9. Do j and r have the same value?
False
Let m = 2.03 - 0.03. Let q = -4 + m. Let s = 84 - 83. Which is smaller: s or q?
q
Let m(u) = u**3 - 6*u**2 - 7*u - 11. Let k be m(8). Let c = 185/3 - k. Is -0.2 greater than c?
False
Let v(o) = o**2 - 6*o + 4. Let j be v(5). Which is smaller: -1/26 or j?
j
Let a(c) = 2 + 0 - 5*c + 4*c - c**3 - c**2 + 0. Let u 