> d?
True
Let j = 0 - -3. Let n = -3 + j. Let w = 55/2 - 27. Which is bigger: n or w?
w
Let b = 0.1 - 0.7. Let f = b - -0.5. Let q = 1.1 + f. Is q greater than or equal to -0.2?
True
Let s(d) = -d**2 - 2*d - 2. Let j be s(-2). Let h(y) = y + 1. Let k be h(j). Which is greater: k or -1/8?
-1/8
Let h = 20331/196 - 97/49. Let b = h - 98. Is b greater than or equal to 5?
False
Let h(q) = 6 - 5*q - 2*q**2 + 3*q - 7 - q**3. Let o be h(-1). Which is smaller: 6 or o?
o
Let o = -5 + 4.93. Let p = -0.33 + o. Let m = -1 - -1. Is m smaller than p?
False
Let t be ((-13)/4 + 3)/(-1). Which is bigger: t or 9?
9
Let r = -31/8 + 559/136. Is r greater than or equal to -1?
True
Let q = -0.659 - -0.699. Suppose -2*s - 22 = -3*b, -4*s + 18 = 4*b - s. Let m be 2/12*b/(-4). Which is greater: q or m?
q
Suppose c = -4*g - 29, 2*c + g + 10 = -13. Let k be (-3)/c*12/(-2). Is -2 greater than k?
False
Let z = 101 + -908/9. Which is bigger: -1 or z?
z
Let v = 10 - 10. Is -2 smaller than v?
True
Let s = -2 + 2.1. Let d = -0.68 + 0.08. Let g = d + -0.4. Is s less than or equal to g?
False
Let n = 10.256 - 0.156. Let m = -12 + n. Let q = m + 2. Are q and -0.3 unequal?
True
Let z = -0.23 - -9.23. Which is bigger: 1/11 or z?
z
Let m(y) = -y**2 + 9*y + 2. Let n be m(5). Suppose -2*f + d = f - n, 4*f - 5*d = 11. Suppose 2*l = f - 3. Are l and 5 non-equal?
True
Suppose -5*i + 16 = 6. Let t(d) = -5*d. Let x be t(i). Is x at least -11?
True
Let k(b) = -b**2 - 3*b + 2. Let v be k(-4). Let x be (-12)/(-30) - 0/v. Which is smaller: x or 0?
0
Let n(b) = 2*b**2 + 5*b - 7. Let t be n(-5). Suppose w - 3*w = -t. Which is smaller: 2/7 or w?
2/7
Suppose y = 1 + 2. Suppose -5*a = -7*l + 2*l + 5, -y*a - 5 = -2*l. Let n be 2/4*(-1 - a). Which is smaller: -2/15 or n?
-2/15
Let x = 0.1 + -0.1. Let i = 7 - 7.1. Let z = x + i. Is z > 4?
False
Suppose u = 3*i - 2*u + 15, -5*u + 13 = -i. Is i != -3?
False
Let t = 95/78 - -3/26. Which is smaller: t or 2?
t
Suppose -r + 6 - 5 = 0. Which is bigger: 2/45 or r?
r
Let x = -0.2 - -0.1. Let f = 13.7 + -1.3. Let h = -12 + f. Do x and h have different values?
True
Let i = -32 - -29. Is i >= -3?
True
Let b be ((-32)/10)/((-5)/125). Suppose -s = 4*s - b. Which is bigger: s or 15?
s
Let b = -6 - -11. Suppose 5 + 1 = -4*t - b*c, 2*c = -3*t - 8. Which is greater: -3 or t?
-3
Let q be (-2)/6 - (-1)/(-15). Let h = -10/7 + 44/21. Which is greater: q or h?
h
Let r be 9/(-15)*(-1)/3. Let i = r - 7/10. Which is greater: 1 or i?
1
Let c be (4/(-4) - -4)/(-5). Is -2 bigger than c?
False
Let p(g) = 29*g - 11. Let a be p(-5). Let k be (-2 + a/(-75))*-5. Let h(w) = -w - 1. Let j be h(-1). Which is smaller: k or j?
k
Let v = 2057/15 + -137. Let q = 5 + -3. Let c = 1 - q. Which is smaller: c or v?
c
Let a = -0.1 - -0.8. Let s = a + 0.1. Which is smaller: s or 2/7?
2/7
Let l = -3.03 + 3. Let r = -0.08 - l. Is r > -1?
True
Let h = -2.02 - -0.02. Let n = -4 - -4.1. Let a = 0 - n. Is h smaller than a?
True
Let q(z) = -z**2 + 8*z - 4. Let c be q(7). Let w be c - (-3)/(9/(-6)). Is w bigger than 3?
False
Let r(d) = d**3 + 8*d**2 + d + 11. Let t be r(-8). Suppose -5*n + t*n = -6. Suppose -6*b + 2*b - 3*z = 4, -20 = 5*z. Is n > b?
True
Let g = 12694539628451981/537936 + -23598605835. Let k = -2/4803 + g. Let p = -241/1904 - k. Is 1 equal to p?
False
Suppose -3*w = -w + 16. Let t be ((-54)/36)/((-6)/w). Is 0 > t?
True
Suppose 2*h = -4 + 18. Let s = 7 - h. Suppose s*d = 3*d. Is -3/7 at most as big as d?
True
Suppose 0 = -4*o + 5 - 1. Suppose -o = b - 0. Which is bigger: -4/15 or b?
-4/15
Let f = 16 + -18. Let s be 2/(1*3*-1). Is s less than or equal to f?
False
Let a = 0 + 2.4. Is a at most as big as -2?
False
Let v be (0 - -3) + 4 + 3 + 1. Do 35/3 and v have different values?
True
Let z = 3 - 3.2. Is z less than -8?
False
Suppose 0 = 13*j - 82 + 17. Which is smaller: j or 2?
2
Let o be 0/(1 + 0 + 1). Suppose -5*v + v + 8 = o. Let y(g) = -g**2 + g. Let l be y(0). Which is greater: v or l?
v
Let n be 4*(-5)/12*-15. Is n smaller than 22?
False
Suppose -4*h + 13 = -3. Suppose 0 = -4*s + 4 + h. Is s > 2?
False
Let z(d) = -d**3 + 6*d**2 - 4*d + 1. Let t be z(3). Let l be t/14 - (-2)/(-7). Is 2 != l?
True
Let f = 0.25 + -0.22. Which is smaller: 9 or f?
f
Let f = 15 - 24. Is -9 at least f?
True
Let f = 2 + 1. Let l be 2/12*f*0. Suppose -2*s = -l*s - 2. Does s = -1/4?
False
Let u = -48 + 385/8. Suppose 3*z + 3 = -0. Let v be (z - -1)/(-1 + 0). Is u greater than or equal to v?
True
Suppose 0 = 20*k - 18*k. Is 10/11 not equal to k?
True
Let w = -2 - -2. Suppose -4*k + w*f = -2*f - 2, -4*k - 5*f - 19 = 0. Which is smaller: 0 or k?
k
Let u(z) = -z**3 - 6*z**2 + 2*z + 9. Let h be u(-4). Which is greater: -29 or h?
-29
Let z(l) = -l**2 + 10*l. Let t be z(10). Which is greater: -8/7 or t?
t
Let d be (4/(-1))/(-12)*(-9)/(-6). Is d <= 55?
True
Let f(p) = p - 5. Let j be f(0). Let i = j - -5. Is i < 1?
True
Let a be (2/5)/((-5)/25). Is -2/5 < a?
False
Let l(x) = x - 15. Let u be l(0). Which is smaller: u or -13?
u
Let o be -3 - 1/((-3)/97). Let h = 29 - o. Which is smaller: h or -0.4?
-0.4
Let u(b) = -b**3 - 2*b**2 + 2. Let g be u(-2). Suppose -2*j - c = -5 - 1, 5*j - 14 = -g*c. Let z = j + -1. Is z less than 1/9?
False
Let s(m) = m**3 - 4*m**2 - 26. Let d be s(5). Is 3/8 greater than or equal to d?
True
Suppose 2*v - 9 - 7 = 0. Let u = 11 - v. Suppose 0 = u*f + k + 4*k + 23, -16 = 4*k. Do -5/4 and f have the same value?
False
Suppose 5*p - 10 = -0. Let o be (-26)/5 + (-2)/(-10). Let t = p + o. Which is bigger: 0 or t?
0
Let a be 0 + (-6)/(-12)*0/(-3). Let r be (-1 - -12)/((-3)/63). Let w = 4853/21 + r. Which is smaller: w or a?
a
Let y be 6/(-3) + 42/(-1). Which is smaller: -45 or y?
-45
Let c = -3 + 4. Suppose -3*t = -2*t - c. Let j = -2 + t. Which is greater: -2 or j?
j
Let r be (-3)/33*1 + 0. Let h = 26/165 + r. Which is smaller: -1 or h?
-1
Suppose -5*g + g = d + 15, 0 = -5*g - 5*d - 30. Let j = g - 0. Does j = -3?
True
Let w = 29.19 - 29. Let s = -8.81 - w. Let p = s - -10. Is p != -0.2?
True
Let s be 3 + -3 + (-3654)/22. Let h = s + 1015/11. Let q = 74 + h. Are q and -1 unequal?
True
Let l = -17 - -56. Are l and -2 equal?
False
Let q be (-16)/4*61/4. Is q at least -61?
True
Let y be (84/26)/(6/438). Let q = y + -236. Which is smaller: q or 1?
q
Let m = -80.1 + 76. Let y = -0.12 - -4.12. Let i = m + y. Is i != 7?
True
Let t(m) be the second derivative of m**4/12 + m**3/2 - m**2 - 2*m. Let l be t(-3). Let x be (0/(-1 - l))/2. Is x >= -1?
True
Let t(d) = d**2 + 13*d + 4. Let r be t(-14). Which is smaller: -1 or r?
-1
Let z = 0.1 + 0. Suppose 0 = -n - n + 4. Let c be (0 - 0)*n/4. Which is bigger: z or c?
z
Suppose 14 = -0*f + 2*f. Let m = 1 - f. Let i be (-1)/3 + 4/m. Is -1 greater than or equal to i?
True
Let y = -5 + 1. Let t = y - -6. Which is smaller: t or 3?
t
Let j be 6*(1/4)/(15/(-20)). Which is smaller: -5/9 or j?
j
Let j = 5 - 2. Let i = j + 2. Suppose i*c = -0*c + 20. Which is smaller: 3 or c?
3
Suppose -4*g + 8*g - 64 = 0. Suppose -3*h + 4*i = -0*i + 9, -h - 5*i + g = 0. Is 2 equal to h?
False
Suppose 5*g = 8*g + 9. Let m be g + 0*(-4)/(-12). Which is bigger: m or -8/5?
-8/5
Let p be (5 + (-98)/21)/(1/(-75)). Which is greater: -23 or p?
-23
Let d(u) = -u**2 + 6*u - 3. Let a be d(6). Let h = 0.06 + -0.06. Is a > h?
False
Let h(w) = -w**3 + 10*w**2 - 10*w + 3. Let r(p) = p**2 - p - 1. Let g(x) = -h(x) + 3*r(x). Let y be g(6). Is 2 equal to y?
False
Suppose -2*d = -5*d. Suppose 2*l + 40 = -40. Let c be 6/9 - l/75. Which is smaller: d or c?
d
Suppose f + 8 = 4*r + 2, 3*f = -6. Suppose 0 = -0*g - 3*g + 6. Let w be g - (-1 - (-9)/4). Which is greater: r or w?
r
Suppose -c + 3*t + 45 - 6 = 0, -5*c = -5*t - 185. Let z = c - 30. Suppose 3*s + 5 - 23 = 0. Is z greater than or equal to s?
True
Let p be ((-8)/2)/(2/3). Let r be 2/p - 39/(-171). Let w = 4 - 3. Is w > r?
True
Let d be (-2)/(-3)*3 - 11. Let y = d - -9. Which is greater: 2/21 or y?
2/21
Let w = -6 - -6. Let l be 14/(-16)*2*-4. Is w != l?
True
Let s be 0/(0 + 2/2). Suppose s - 5 = w, -4*w = 2*f + 24. Let r be (1/f)/((-35)/(-14)). Is -1 smaller than r?
True
Let k = -0.041 - -0.441. Is -0.2 <= k?
True
Suppose -12 = 11*t - 9*t. Is t > -27/4?
True
Let m be (6/(-2) - -1) + (-6)/(-2). Let x = 249/5 + -50. Which is smaller: m or x?
x
Let f = -17