5 + -10. Let s = f + 5. Let h = 6 + -9. Do s and h have the same value?
False
Suppose 12 = -3*f + 9. Is 3/25 greater than f?
True
Let a be 6/10 + (-6)/10. Let x = 5755/19 - 303. Is x less than or equal to a?
True
Let b(r) = r**2 - 8*r + 6. Let f be b(8). Let z be ((-6)/4)/(3/f). Let h be 0/(z/(-6)*-2). Does -1/3 = h?
False
Suppose 5*l = -32 + 62. Let j = -9 - -16. Which is smaller: l or j?
l
Let w = -395/9 + 44. Let u = 45 + -25. Suppose -4*z - 11 = h + 9, 4*z = 5*h - u. Is w smaller than h?
False
Let k = 0 - -0.5. Which is greater: 1 or k?
1
Let k be (-18)/27 - (-22)/6. Let s be (-7)/4 - k/(-4). Which is smaller: -5/3 or s?
-5/3
Suppose 5*q = q - 8, -3*q = 4*t + 50. Is t greater than or equal to -12?
True
Let n be -1 - (2 + (-8 - -3)). Let m = 10 - 6. Which is bigger: n or m?
m
Let z = -53 + 53.3. Does z = 8?
False
Let w(d) be the third derivative of d**5/60 + d**4/24 + d**3/3 - 20*d**2. Let p(v) = v - 1. Let x be p(1). Let o be w(x). Is 1 at least o?
False
Let o = -51/2 + 205/6. Which is bigger: o or 9?
9
Let a be (8 - 3)*6/(-10). Which is bigger: a or -5?
a
Let d(w) = 4*w - 3. Let b be d(4). Let s = b + -8. Is 4 less than s?
True
Let p(u) = 3*u**3 + 2*u**3 - 4 - 4*u**3 - 7*u**2 + u. Let n be p(7). Is 5/3 greater than n?
False
Let y = 6933/19 + -365. Suppose 5*h - 10 = o, 5*o = 2*o - 2*h + 4. Is y > o?
False
Suppose -4*u - 12 = -3*u. Is u >= -13?
True
Let w be (2 + -2)*-1 - -1. Let l be 2/((-6)/(-3)) + w. Let y be (-1)/4*(-1 + -1). Which is smaller: y or l?
y
Let m = -3.5 - 0.5. Let h = m - -3.9. Is 0 <= h?
False
Let b be 1/(-8) + 4/16. Is b not equal to 1?
True
Let t = -19.89 - -20. Let r = -0.09 - t. Which is greater: r or -3/5?
r
Let c = -912 - -4638/5. Let k = -3857051/240660 + -11/6876. Let p = k + c. Which is smaller: -1 or p?
-1
Let b be (70/25)/(-7)*-10. Let s(x) = x**3 + 5*x**2 + 2*x - 4. Let d be s(-4). Is d less than b?
False
Suppose -2*w = -0*w + 32. Let n be 27/168 + (-2)/w. Do n and 10 have different values?
True
Let q be (-12)/8*1*46. Is -70 at least as big as q?
False
Let b be 4/10 + (-46)/(-10). Suppose z = -0*z + b. Let p = z + -4. Is 0 > p?
False
Let s be (-4)/6 + 3/(-9). Let k = 503 - 22633/45. Which is greater: s or k?
k
Let w be (-4)/228*1398/(-40). Let n = w - 1/76. Is n >= 1?
False
Let k be (-1360)/(-45) + -3 + 6/(-27). Are k and 26 equal?
False
Let l = -0.9 + 0.1. Let a = l - -0.8. Which is smaller: -0.1 or a?
-0.1
Suppose -15 = 5*v, 27 = -4*a - 2*v - 3*v. Let b be 3/(-5) + (-3 - a). Which is smaller: -2 or b?
-2
Let t(j) = -j - 6. Let k be t(-5). Which is smaller: 1 or k?
k
Let m = -0.5 - -0.48. Let z = m + 0.12. Which is greater: -11/4 or z?
z
Let v = 1.3 - 1.5. Let f = 0.03 + 2.97. Which is greater: f or v?
f
Suppose -4*r = 3*d + 20, -4*d - 3*r = -3*d. Let j(p) = p**3 - 7*p**2 + 4*p. Let b be j(6). Is d greater than or equal to b?
True
Let h be (-3 - (0 + -2))*9. Is -9 > h?
False
Let m be 8*-2 + (-6)/(-3). Is -13 smaller than m?
False
Let u = -0.03 + 0.07. Let f = -0.66 + -0.3. Let r = f - u. Which is bigger: r or -6?
r
Suppose -7 = 7*r + 21. Which is bigger: r or -26/5?
r
Suppose 4*y - 3*y = -1. Is y not equal to -3?
True
Let j = 216 - 1108/5. Let a = j - -74/15. Which is greater: a or 2?
2
Let k(y) = -3*y**2 + 8*y + 12. Let n(q) = -4*q**2 + 8*q + 13. Let v(r) = 5*k(r) - 4*n(r). Let f be v(-7). Is 0 >= f?
False
Let q = 2.8 - -3.17. Let h = -31 + 30.97. Let o = h - q. Which is smaller: 2/5 or o?
o
Let d = -1.1 + 0.98. Let m = -0.38 + d. Which is smaller: -2/7 or m?
m
Let o be 8/6*18/(-4). Let x be (3 + (2 - 2))*1. Suppose 0*d = s + x*d, 5*s = -5*d - 20. Are s and o nonequal?
False
Let p = 16 + -15. Let c be 1 + p + 2/4. Let x(z) = -z - 4. Let h be x(-7). Which is greater: h or c?
h
Suppose 2*s + s = -3. Is -4/3 less than or equal to s?
True
Suppose -67*b + 62*b = 590. Is -119 less than b?
True
Let k = 0.1 - 0.1. Let v = -11 - -15. Suppose -v*i = -0*i - 4. Which is smaller: k or i?
k
Let f(l) = l**2 - 14*l - 13. Let x be f(12). Is x less than -38?
False
Let o = -46 - -44. Which is greater: -6 or o?
o
Let o be (-2)/4 - 3/6. Let v be (-4)/6 + (-6)/(-9). Let w = v + o. Is w != -2/3?
True
Suppose -5*h - p + 7 = 0, 2*h + 4 = h - 2*p. Suppose 0 = -d - 0*k + h*k - 1, 5*d + 5*k - 25 = 0. Suppose -2*v = 2*y + 3*y - 1, 0 = 4*y + v - 2. Is d > y?
True
Let i = 0 + 0.2. Let m be 104/32 - 3/(-4). Let u be 35/(-42)*m/(-10). Which is bigger: u or i?
u
Let c = 2/43 + -47/86. Suppose 3*k = 5*n + 61, 0*k + 46 = 3*k - 2*n. Let d be (-8)/k*3/8. Do c and d have different values?
True
Let c = -0.5 + 0.5. Let p = 2 + -4. Let z = 1.8 + p. Is c greater than or equal to z?
True
Let a = 8 + -7. Is -1/8 at most as big as a?
True
Let h be 0 + (2 - 2)/(-4). Is h <= -2/3?
False
Let p = 188 - 132. Is 57 at most p?
False
Let j be ((-25)/10)/((-3)/(-6)). Let k(z) = z**2 + 4*z - 4. Let l be k(j). Are l and -1 nonequal?
True
Let d = -0.122 - -1.922. Is d != 0.3?
True
Let i = -46 - -39. Suppose -3*c - 2 = 19. Are c and i nonequal?
False
Let g(t) = -t**2 + 3*t + 3. Suppose -12 = 2*j - 4*x, -2*j + 2*x - 8 = 14. Let o be (-2)/(-8) + (-60)/j. Let n be g(o). Is 0 >= n?
True
Let r(x) = 5 + 1 - 5 - 10*x**2. Let d be r(-1). Let y be 3*((-6)/d)/(-1). Which is smaller: -1 or y?
y
Let y = 7 + -19. Let t = 13 + y. Is t > 2/3?
True
Let t(i) = i**3 + 3*i**2 + 3*i + 3. Let w be t(-2). Let k = -426/11 + 39. Is w < k?
False
Suppose 1 = g + 2. Let r be (16/(-20))/(2/(-5)). Suppose 8 = -0*j - r*j. Which is smaller: g or j?
j
Let v = -12 - -13. Let p = 5 + -3. Which is greater: p or v?
p
Let c = 9 - 17. Which is bigger: -3 or c?
-3
Let s(k) = -2*k**2 - 2*k - 1. Let t be s(-1). Let z be (20/12 - t) + -2. Which is smaller: 2 or z?
z
Let k = -2 + -4. Let g be 3*(-2)/k*1. Which is bigger: 6/5 or g?
6/5
Suppose 6*x - 3*x = -15. Let q(i) = -3*i - 8. Let c be q(x). Let k = 19 - 11. Is k less than or equal to c?
False
Let r = 11/8 + -53/40. Are r and 1 equal?
False
Let w be (-2)/(-6) - (-2)/3. Let a = -33250 - -6118021/184. Let q = a + 6/23. Is q >= w?
False
Let o = 8 + -6. Suppose -30 = o*w + 3*w. Is w < -6?
False
Suppose -3*f = -5*f - 6. Let o be (-2)/f*(-1)/2. Let q be (-2)/(-7) + (-2)/7. Is q >= o?
True
Let l = 10 - 9.9. Let k = 10 - -3. Is l < k?
True
Let b(q) = -q**2 - 7*q + 7. Let g be b(-8). Is -2 at least g?
False
Let t be -8*1 + 2/2. Let c = -9 + 5. Let l = c - t. Which is smaller: 2 or l?
2
Let b be (84/10)/(9/(-30)). Let k = b + 85/3. Let n = 0 - 0. Is n not equal to k?
True
Let v be (-158)/22 + (-2)/(-11). Is v bigger than -7?
False
Suppose -2*t = 5*t. Are t and 6/7 equal?
False
Let s(v) = -3*v + 19. Let d(g) = -g + 10. Let z(p) = 5*d(p) - 2*s(p). Let l be z(-7). Let w = 3 - l. Is w less than or equal to -2?
True
Let a(j) = j**2 + 8*j + 7. Let u be a(-7). Suppose 4*i = 2*w - 20, -3*w = -u*w + 5*i + 25. Is -3 smaller than w?
True
Let j = -1.6 - -0.8. Let h = 0.31 + -1.31. Let d = h - j. Which is smaller: -2/3 or d?
-2/3
Let q be (-1)/2*(-2 + 6). Let w be q/(4 + -2)*0. Suppose w = -5*n + 4*n. Is n not equal to 2/11?
True
Let g(z) = z**3 + z - 7. Let x be g(0). Let o(d) = -d**3 + 7*d**2 - 7*d + 6. Let a be o(6). Suppose 3*u - 4*u - 8 = a. Which is smaller: x or u?
u
Let z = -23/8 + 361/120. Let n be (-1)/(-4) + 10/(-8). Let a = -1 - n. Is a > z?
False
Let w = -1 - -1. Suppose -9 = r - c + 6*c, -3*c - 39 = 3*r. Let k be 4/r - (-128)/252. Is k not equal to w?
True
Let x(c) = c**3 + 5*c**2 - c + 11. Let a be x(-6). Let y = a + 18. Which is smaller: -6/13 or y?
y
Suppose 25 = -5*m, -v + 3*m + 36 = 2*v. Let u = -29 - -31. Which is smaller: v or u?
u
Let j be 0*1/(-4)*-2. Suppose -4*w + 3 = i - 1, -5*w - 3*i + 5 = j. Let h = 5/8 + -1/8. Is w smaller than h?
False
Let t = -1.1 + 1. Let n(v) = v**3 - 13*v**2 + 10*v + 16. Let u be n(12). Let m be 1*(u/(-3) - 3). Which is smaller: t or m?
m
Let d = -123861/14 - -8876. Let k = d + -57/2. Is k smaller than 0?
False
Let b = 4 - 1. Let t be 2/b - 2/3. Let h = -157 - -788/5. Which is smaller: h or t?
t
Suppose -3*j = 4*f - 0*f + 3, -5*f - 3*j - 3 = 0. Is f at least as big as 1/12?
False
Let a = -0.8 - 0.2. Let v = -581/360 + 8/5. Let h = v - -19/72. Which is greater: h or a?
h
Suppose 0 = -4*h - n - 3 + 5, -2 = 3*h - n. Let x be 0*(6/(-4))/(-3). Is h <= x?
True
Let o = -0.47 + 0.4. Let a = -42.03 - -45.1. Let u = a + o. Which is 