v = 250 - 401. Let m = 165 + v. Are 162/11 and m nonequal?
True
Let z = 1463 + -1463.1. Which is greater: 78.04 or z?
78.04
Let h be (-401)/(-806) + (-3)/6. Let v = -55248 - -55248. Which is smaller: h or v?
h
Let m = 420 + -425. Let h be (-10 + 2625/266)*(-1)/m. Let j(f) = -f**2. Let r be j(1). Is h less than r?
False
Let l be ((-6)/(-12))/((-66)/(-20)). Suppose -2*r - 33 = -13*r. Suppose 3*x - j = r, 6*x - 8*x - 12 = 4*j. Which is smaller: x or l?
x
Let o(z) be the third derivative of z**5/20 + 29*z**4/24 - 2*z**3 - z**2 - 16. Let y be o(-11). Which is smaller: 31 or y?
31
Let k be 12 - (3 + 1 + -2). Let x be -5 + 1 + k/(-6). Let w = x + 61/9. Which is smaller: 0 or w?
0
Suppose -4*t = 6*t - 400. Suppose 8*o - 3*o - t = 0. Let y(b) = b**3 - 7*b**2 - 6*b - 25. Let a be y(o). Which is greater: a or -25/3?
-25/3
Let x = 6059 + -15123/2. Which is smaller: -1502 or x?
x
Suppose 4*b - 2*g - 3*g = 28, 5*b = 2*g + 52. Suppose -b*p + 9 = 309. Let r be (9/(-18))/(2/96). Which is smaller: r or p?
p
Let s = -1648 + 4963/3. Which is smaller: 7 or s?
s
Let g = -3183 - -3119. Let k = 0.58 - 63.58. Let u = g - k. Is u > 26?
False
Suppose -649 + 106 = 3*q. Let k = q + 1091/6. Let v = -8.9 + 9. Which is bigger: k or v?
k
Let b be 4 - 88/20 - (-152)/5. Suppose -2*i + b = n, 109 = 4*n - i - 2. Let f = n - 26. Which is smaller: f or -11?
-11
Let n = 684 + -979. Let g = n + 346. Is 365/7 < g?
False
Let z = 6346 - 6233. Suppose -3*m + 176 = 5*o - 391, 3*m + 231 = 2*o. Is z at most o?
True
Suppose 3*n - r - 317 = 0, 4*n - 327 = -5*r + 83. Which is greater: n or 314/3?
n
Let d(y) be the second derivative of -y**5/4 - y**4/4 + 2*y**3 - 29*y. Let p be d(4). Let n be ((-36)/(-30))/((-12)/p). Which is bigger: 30 or n?
n
Let m(z) = 2*z**2 + 84*z + 47. Let o be m(-17). Is -5612/7 smaller than o?
False
Let f be 2/306*12*6. Let d = f - 193/374. Which is greater: d or -2?
d
Let n = -1.65 - -0.33. Let i = n - 10.68. Which is greater: -0.2 or i?
-0.2
Let i = -1/979 + -1953/4895. Which is bigger: i or -294/5?
i
Let z be (268/5)/((-238)/(-1105)). Let d = 248 - z. Which is greater: -2 or d?
d
Let c = -61 - 3. Let y = c + 67. Suppose y*r - r + 2 = 0. Are r and -1/39 equal?
False
Let n = 5/32598099 + 1468370503247/1140933465. Let u = 1287 - n. Do u and 1 have different values?
True
Let o(u) = 2*u**2 - 10*u - 94. Let d be o(-7). Let y be (-358)/d - (-7 - -2). Which is smaller: y or -1?
-1
Suppose 0*w - 22 = 3*i + 2*w, w = i - 1. Let n be i + 1 - -4 - 10/6. Which is bigger: n or 0.056?
0.056
Suppose 5*r + 6424 = 6*j - 8179, -2*j - 5*r + 4901 = 0. Which is bigger: 2439 or j?
2439
Let o = 2.003 + 79.897. Let y = -164 + 164.1. Is o at most y?
False
Let u = 21952587/172079336 + -2063/22412. Let c = -1/698 + u. Let o be (-2)/(-10) + 117/(-585). Which is bigger: o or c?
c
Let v be (-9)/(-36) + 239/84. Which is bigger: v or 3?
v
Let b = -2768 - -3330. Which is greater: 563 or b?
563
Let v(x) be the third derivative of x**6/120 + 3*x**5/10 - 7*x**4/24 - 2*x**3 + 24*x**2. Let s be v(-18). Let t be s/56 + 2/(-7). Which is smaller: t or 3?
t
Let r = 199 + -200. Let z = 221/285 - 16/19. Which is smaller: z or r?
r
Let b = 3014 + -3504. Is 2 at least b?
True
Suppose 0*t = 2*t - 3*y, 4*y + 16 = 0. Let v = -108 + 99. Does v = t?
False
Let j = -238.187 + 238. Let o = j - -0.101. Let s = -0.186 - o. Which is greater: 10 or s?
10
Let o = 61 - 98. Let b be 4/12*39 - ((-16566)/(-231) + -23). Which is bigger: o or b?
b
Let n = -35.06 - -35. Let b = -4270 - -22048/5. Let c = b - 140. Is n less than c?
False
Let k be (-3)/(-9) + 1/(-3). Let g(a) = -a**3 + 5*a**2 - 5*a + 5. Let c be g(3). Let z be c/48*(-6)/(-4). Is k at least as big as z?
False
Suppose -3*q + 2*n + 2081 = 0, -1381 = -2*q - 14*n + 9*n. Let h = 713 - q. Is h not equal to 101/5?
True
Let m = -17.99 + 2.89. Let s = 21.9 - m. Let a = -0.1 - -0.3. Which is smaller: a or s?
a
Let j be 459/(-511) + (109/763 - 10/(-14)). Which is smaller: j or -1?
-1
Let r be 4 + 2/(18035520/(-36071037)). Let a = r - 85797974593/99195360. Let x = a + 865. Are 0 and x unequal?
True
Suppose -4596 = 5*s + 38*f - 37*f, -f - 3676 = 4*s. Which is greater: -2764/3 or s?
s
Let p = -54624773/17792 - -3519818696753/1157992320. Let g = 1/13017 + p. Which is greater: -32 or g?
g
Let d = 1.7 - 7. Let q = 47.3 + d. Let m = 19/4 + -5. Is q < m?
False
Let a = -1385 + 1386. Let c = -75.85 - -77. Is c greater than or equal to a?
True
Let l be ((-5)/(-3))/(12/36). Suppose 0 = 3*w + c, l*w = -4*c - 9 + 2. Which is smaller: w or -8?
-8
Let u = -336 - -290. Which is smaller: 0.28 or u?
u
Let u(n) = 38*n + 2587. Let f be u(-66). Let q = 232 + -154. Is q less than f?
True
Let h = 0.0602 + -0.5192. Let u = 0.159 + h. Is -9 at least as big as u?
False
Let n = 387.82 + -387. Do -2/3 and n have the same value?
False
Suppose -18 = -2*b + 20. Suppose b*f - 17*f = -4. Let n be f - -2 - 7/(-28). Is n at least -11?
True
Suppose 3*r + 28 = 7*r, -r + 153 = 6*t - 196. Suppose -g = 3*w - 172, -w + 116 = w + 2*g. Is t at most as big as w?
True
Let k(c) = -39*c - 233. Let z(s) = s**3 - 29*s**2 + 79*s - 32. Let d be z(26). Let r be k(d). Which is greater: 1/835 or r?
r
Let l = -9501 + 9994. Is -15 bigger than l?
False
Let d = -2.75972 - -2.848. Is -0.1 smaller than d?
True
Let h = 155749/29 + -5371. Which is smaller: h or 2/3?
h
Let z = 0.2 - -0.5. Let g = -122.4 - -31.2. Let x = g - -91. Is x at least as big as z?
False
Suppose 125*k = 65*k - 145*k. Is k greater than 1/2885?
False
Let f = -1772 - -53161/30. Which is bigger: 2/13 or f?
2/13
Let z = -0.11502 + -61.88498. Is z less than or equal to 1.3?
True
Let g = 5 + -3. Let p be 486/225*(-4)/(-12)*1. Do p and g have the same value?
False
Let w = 1227 + -653. Let r be (-2788)/w - (-6 + 0). Which is smaller: 7 or r?
r
Let d = -2 + 1. Let f = 69 - 59. Let i be f/630 + (-8)/18. Which is smaller: i or d?
d
Suppose -1448*j - 1470*j + 2953*j - 9660 = 0. Are 274 and j equal?
False
Let l(u) be the third derivative of u**4/6 + 19*u**3/3 - 67*u**2. Let h be l(8). Is h at most as big as 68?
False
Suppose -2*d + 12 + 24 = 2*b, 0 = 3*d - 2*b - 79. Suppose 0 = 5*l + 25, -l - 42 - d = 5*u. Let c be u/21 - (-3 + 219/91). Is -1 < c?
True
Let j = -334 - -332.33. Let i = 1.87 + j. Which is smaller: -31/7 or i?
-31/7
Let i = 10485 + -10485.06. Which is greater: 4/65 or i?
4/65
Let v = 11210969/1635078 + -1193/174. Which is smaller: v or 0?
0
Let d = 1491643/447 + -3337. Let q be 66/12*112/616. Which is bigger: d or q?
q
Suppose 4*j + 13 = 3*x - 5, 29 = 2*x + 3*j. Let z = x + -34. Suppose -5*i + 3*m = 130, 0 = -4*i + 2*i - 2*m - 36. Is z at least as big as i?
False
Let u(o) = 71*o**3 + 3*o**2 - 12*o + 4. Let n be u(2). Let c be 4 + (n/(-48))/(52/18). Which is smaller: -2 or c?
-2
Let l = -324 + 1937/6. Let c = -0.099 + 0.015. Let w = -0.016 + c. Which is bigger: w or l?
w
Let b = -208 + 208. Let c = -103.3 - -113. Let d = c - 10. Which is bigger: b or d?
b
Suppose -3*d = 4*y - 76 - 46, -90 = -3*y - 3*d. Let l be y/14 - 14/49. Let a be (1*3)/(6/l). Is 1 at least as big as a?
True
Let d be (-139)/9 + (-20)/(-45). Let z = -36 + 22. Let w be 184/z + 3/21. Which is smaller: w or d?
d
Let s be (1 + (-1671)/1673)/(63 - (-114330)/(-1813)). Is s at most as big as 1?
True
Let v(o) = 6*o + 153. Let b be v(-21). Suppose 2*j + 5*y = b, 0*j - 3*j - 17 = -4*y. Let l = -382 - -8024/21. Is l at most j?
True
Suppose s - 4*r - 388 = 0, s - 2*r - 32 = 360. Let w = -459 + s. Let o = -216 + 152. Is o greater than w?
False
Let x(j) = j**2 - 5*j - 80. Let a be x(0). Let n be -1 + (-46)/a + 2/(-10). Which is smaller: -1 or n?
-1
Let u = 0.14 + 0.079. Let q = -1.219 + u. Which is bigger: -12 or q?
q
Let j = 24.9118 + -0.0118. Let c = 51 + -26. Let h = j - c. Which is smaller: h or 24?
h
Let q = 128049908/113355 + -12426/11. Which is smaller: q or -1?
-1
Let i = 5 - 1. Suppose -27 = -5*x - i*x. Let c be (10 - (-12)/(3 + -7)) + x. Is 7 <= c?
True
Let i = 1508 + -1506.94. Is -0.2 at most i?
True
Let w(p) = -3*p**2 - 9*p + 14. Let h = -26 - -21. Let i = -1 + h. Let d be w(i). Is -40 bigger than d?
False
Let b(p) = p**2 - 66*p + 102. Let h be b(65). Which is bigger: h or 54?
54
Let y = -11776 + 10394. Which is bigger: -2 or y?
-2
Suppose 5*k - 2*k = -2*o - 291 + 91, 0 = -3*k. Is o less than -100?
Fa