et j = -10 - -17. Is 7 >= j?
True
Suppose -2*l = 3*l + 270. Let h be ((-5)/(-3))/(6/l). Is h smaller than -14?
True
Let x = 0 - -2. Suppose x = -v + 7. Suppose 2*b + 1 + v = 0. Is -2 >= b?
True
Let r = 0.04 + -0.24. Let k = 0.1 - 0.2. Let j = -0.1 + k. Is j != r?
False
Suppose -25 - 11 = 4*y - 4*m, 4*m + 28 = -4*y. Let g = 9 + y. Which is bigger: -2 or g?
g
Let q = -180391650964 + 8196996617695739/45440. Let r = q + 1/9088. Let u = r + 1871/40. Is u <= -1?
False
Let t = 11 - 12. Let x = 0.8 + 2.2. Is x smaller than t?
False
Let c = 5 + -16. Let p = -6 - c. Which is greater: 0.1 or p?
p
Let u = 0.01 + 0. Let i = 0.31 - u. Which is bigger: i or -2?
i
Let k be (4 - -8)/(276/6). Which is bigger: 0 or k?
k
Let j = 213/5 - 43. Let a = -3 - -3.04. Is a > j?
True
Let o(v) = -v. Let n be o(0). Suppose n = 2*z - 6*z. Which is greater: z or 2/21?
2/21
Let b(l) = l**3 + 6*l**2 + 7*l + 7. Let s(m) = -2*m + 7. Let h be (-6)/(-4)*(-20)/(-5). Let n be s(h). Let f be b(n). Do f and 2/3 have different values?
True
Let u be (4 - 3)*-1*1. Which is smaller: u or -1/36?
u
Let i = 4/41 + -553/205. Is -4 <= i?
True
Suppose 0 = -t + 1 - 0. Are 1/131 and t equal?
False
Suppose -3*o + 2*o = -2. Let t = o - 3. Is 0 equal to t?
False
Let k = 91 - 128. Is -38 greater than k?
False
Suppose f = 4*f - 105. Let s be (-14)/f*2/4. Which is greater: 0 or s?
0
Let a = 11 - 7. Let j(v) be the third derivative of -v**5/60 + v**4/12 + 2*v**3/3 - 9*v**2. Let s be j(a). Do -3 and s have the same value?
False
Let o = 46 + -47. Which is greater: o or -2/237?
-2/237
Suppose x - 3*x + 12 = 0. Suppose -15 = 4*f + m + x, 2*m = -10. Let a(u) = -u**2 - 5*u - 3. Let i be a(f). Are 0 and i non-equal?
True
Let o be 3 - (1 + -2)*-1. Suppose o*q + 5*c - 2*c = -37, -48 = 3*q + 2*c. Is -15 less than or equal to q?
True
Let z be 2/6*3 + 5. Let i be z/15 - 794/1160. Let p = i + 30/29. Is p at least as big as 2?
False
Let c = -4 - 4. Which is greater: 1 or c?
1
Let c = 6.9 + -6.88. Is 2/9 > c?
True
Let y = -7 - -4. Let m = -2 - y. Do 2/13 and m have different values?
True
Let o(s) = -s**2 - 4*s + 4. Let v be o(-6). Which is smaller: v or -7?
v
Suppose 12 = -2*g + 6*g. Which is smaller: -4 or g?
-4
Let w = 15 + -14. Let i be (11 - -2)*w/(-4). Does i = -3?
False
Let u = -17/148 - -103981/740. Let y = u + -140. Which is smaller: 1/4 or y?
1/4
Let c = -1 - -3. Let l(x) = -x**2 - 10*x + 27. Let h be l(-12). Is h at least c?
True
Let w = -4.11 - -0.11. Let n = w + 3. Let i be 10/6 + (-1)/(-3). Which is smaller: n or i?
n
Let i(l) = l**3 + l + 2. Suppose y - 3*y = 0. Let w be i(y). Which is smaller: 1/2 or w?
1/2
Let j be -6*((-76)/(-24) + -4). Let g(a) be the third derivative of -a**4/24 + a**3/3 + a**2. Let h be g(j). Is h at most as big as -3?
True
Let c be (-5 - (1 + -2))*-1. Let y(f) be the third derivative of f**6/120 - f**5/15 - f**4/8 - 5*f**3/6 + f**2. Let a be y(5). Is c > a?
False
Let j(m) = 3*m + 1. Let k be j(-1). Suppose 4*n + q - 4*q = -20, -n + 4*q - 18 = 0. Is n at least k?
True
Let t = -5151/2 - -23066/9. Let f = 27/2 + t. Which is greater: f or 1?
1
Let c(w) = w**3 + 5*w**2 + 2*w + 3. Let g be c(-5). Which is greater: -32/5 or g?
-32/5
Suppose -5*n - l = -2, -l + 5 = 4*n + 3. Which is smaller: n or 2/5?
n
Let g = 59/4 + -15. Let v = -35 - -247/7. Is g at least v?
False
Suppose 0*i + i + 17 = -3*o, 3*i = 5*o + 19. Which is bigger: -4/7 or i?
-4/7
Suppose -r - 12 = -4*r. Suppose 2*j = 2*m + 12, -j - r*m + 4 = 3. Suppose -2 + j = u. Which is smaller: u or 5?
u
Let f be 3/(-3)*(-5)/1. Let p = -5 + f. Let t = 0.4 + -0.4. Is p equal to t?
True
Let l be (-1)/4 - 50/(-8). Suppose -7 = -c + l*w - 4*w, 1 = -c - 2*w. Let j be 9/21*2/c. Which is greater: -1 or j?
j
Let n = 2.083 + -0.083. Is n equal to -6?
False
Let l be (3 - 5)/((-24)/10). Is l > 0?
True
Let l(j) = -5*j**3 + 6*j**2 + 5 + 0*j - 4*j + 4*j**3. Let u be l(5). Suppose -11 = 4*f - 3*o, -5*f - u = -4*o + 5. Is -2/11 smaller than f?
True
Let n = 3.17 - 0.17. Which is smaller: 2 or n?
2
Let a be 26/28 - (-27)/(-54). Which is smaller: a or -5/3?
-5/3
Let s be -1 - (0 - -2) - 10. Suppose -3*o = 5 + 34. Is s at most as big as o?
True
Let t = -130 + 130.1. Is -15 > t?
False
Let v = 404233/280 + -1444. Let z = 1/40 + v. Which is smaller: 0 or z?
z
Let h = 13 - 8. Suppose 5*p = -4*d - 5, 5*p - h*d + d = -5. Let n be (1 + -1)/(p + -2). Which is smaller: 2/11 or n?
n
Let m(v) be the first derivative of -v**4/4 + 2*v**3/3 + v**2 + 3*v + 1. Let q be m(3). Suppose 5*f = 5*o - 2 + 12, q = -f - 5*o + 26. Which is bigger: 5 or f?
f
Let j = 48 - 30. Let n = j - 13. Let o = 5.1 - n. Are o and 1 unequal?
True
Suppose -s + 5 - 2 = 0. Let a(d) = s*d + d**3 + 0*d**3 - 5*d - d**2 - 1. Let k be a(-1). Which is greater: k or -2/5?
-2/5
Let y(d) = -d**3. Let n be y(0). Suppose n = -0*f - 3*f - 12. Let j = f - -5. Is 2 greater than j?
True
Suppose -5*l + 1 = 4*s, 2*s + 2 + 0 = 0. Let i be 3 + (-687)/(-12) + 2. Let h = 62 - i. Are l and h equal?
False
Let g = -0.2 + 0.2. Let y = 0 - g. Let k = y + 0.1. Which is smaller: k or 1?
k
Suppose 3 = -2*i + 5. Let o be (6/(-1124))/(6/(-8)). Let t = o + -576/1967. Which is smaller: t or i?
t
Let f = -1 - -2. Let u = 33 - 31. Which is greater: f or u?
u
Let m = 4/15 - 14/15. Let j(p) = -p**3 - 5*p**2 - 3*p + 4. Let q be j(-4). Which is greater: m or q?
q
Suppose -n + 11 = -3*s, -7*n - 5*s = -3*n + 24. Let a be ((-2)/(-15))/(4/(-12)). Is a > n?
True
Let u = -449 + 445. Suppose 3*d - 5*i - 15 = 0, 4*d = -3*i - 4 - 5. Which is greater: d or u?
d
Let q(a) = 3*a**3 + 5*a**2 + 2*a + 3. Let d(x) = -16*x**3 - 25*x**2 - 11*x - 14. Let m(l) = -2*d(l) - 11*q(l). Let r be m(-5). Is r >= -4?
False
Let v(h) = 7*h - 11. Let w be v(1). Is w greater than or equal to -21/5?
True
Let q = -5.1 - -5. Which is greater: q or -23?
q
Let r = 1102/327 + -4/109. Which is smaller: r or 4?
r
Let z be 1 - 1 - (-12 - 3). Which is smaller: 14 or z?
14
Suppose -4*u + 2*u + 2 = -5*t, 3*u - 3 = 3*t. Is t greater than -4/7?
True
Let u be 10/(-45) + 272/9. Suppose -5*o + 5*z + u = 0, -2*o + 21 = -6*z + z. Which is smaller: o or 4?
o
Suppose 5*a = -2*s + 39, 2*s + 3 = a + 4*s. Let m = a - 3. Suppose 4*z + 3*h - 2 = 8*h, 3*h + m = 4*z. Does 3 = z?
True
Let b = -1.06 - -0.48. Let o = b + -0.02. Let f = o - -0.9. Is f > -2?
True
Let y = -2.955 + -0.045. Is y less than -2/5?
True
Let x(t) = -t**3 + 3*t**2 + 20*t - 7. Let i be x(7). Which is smaller: i or -62?
i
Suppose -3*y = 1 + 5. Suppose -2*p = p + 9. Is y not equal to p?
True
Let i = 8 + -6. Let z = -0.098 - -0.198. Is i bigger than z?
True
Let x(w) = -w**2 - 7*w + 2. Suppose f = -3*t + 3, 0 = 5*f - 3*t + 6*t + 21. Let n be x(f). Suppose 4 + n = 4*r. Are r and 2 unequal?
True
Let t = -16 + 6. Let x = t - -9. Which is greater: x or 1/11?
1/11
Let x = -23 + 19. Let o be (-12)/7 + x/14. Which is greater: -9 or o?
o
Let o = -12 + 14. Does 6/5 = o?
False
Let q = 9.79 + 0.21. Let n = 5 - q. Which is smaller: -1 or n?
n
Let s = -5.3 + 5. Let z = s - 0.7. Which is bigger: z or -0.05?
-0.05
Let l = -3.01 + 0.01. Let i = 0.7 + -0.7. Which is smaller: l or i?
l
Let o = -0.06 - -0.26. Which is smaller: o or 0.26?
o
Let o = -2317 + 880. Let m be 1*(o/18)/1. Let x = m + 80. Is x at most -2/7?
False
Suppose i + 4*y = -20, -2*i - y - 5 = -3*i. Suppose 0*b - 3*b - 12 = i. Which is greater: -7/2 or b?
-7/2
Let f = -169 + 166. Which is smaller: f or 1.6?
f
Let s = 65 - 37. Do s and -0.1 have different values?
True
Let c = 0 - -3. Let p = c - 2.2. Let q = p - 1. Are q and 0 nonequal?
True
Let y = -3/64 - -213/448. Suppose 0 = 4*r - 9*r. Are r and y nonequal?
True
Let s = 12803/25 + -512. Is s less than or equal to -1?
False
Let f = -16 + 17. Is -2 at most f?
True
Let f = 1 - 3. Let q be 24/9 - (-1 + 3). Is f > q?
False
Suppose 3*c + 2 = 2*c. Let j(d) = -d**3 - 2*d**2 - d - 2. Let r be j(c). Is -1/3 at least as big as r?
False
Let t = -121.87 + 122. Which is smaller: 2 or t?
t
Let s = 19 - 17. Let j be (1/(-1))/(s/(-10)). Which is greater: j or 4?
j
Let o = -4 + 13. Let d = 8 - o. Which is smaller: -2 or d?
-2
Let l(x) = -2*x**2 - 2*x + 2. Let k be ((3 + -2)*2)/(-1). Let m be l(k). Is m greater than -3?
True
Let p = 127 + -127.1. Is p greater than 80?
False
Let i = -11 + 20. Let l = i + -9.06. Which is bigger: 1 or l?
1
Let z = 468/7