8 greater than n?
True
Let c(i) = -i**2 + 41*i - 361. Let d be c(13). Let v be (-16)/6*(-9)/6. Is v at least as big as d?
True
Suppose -t = g - 21 + 119, -2*t + 2*g = 184. Let q = -667/7 - t. Is 0 less than q?
False
Let c be (4 - 93) + (-4 - 0). Let r = -132 - c. Which is smaller: 2/5 or r?
r
Let y = -0.0222 + 0.0222. Let s = -8.2 + 64.2. Is s at least y?
True
Let s be (-4)/6 - (-51)/9. Let i be 1/((3 - s) + 3). Let n = 2559/217 - 83/7. Do i and n have the same value?
False
Let m = 26193/13 - 2016. Suppose 5*x + 10 = 4*b + 1, -7 = 5*x - 2*b. Is m != x?
True
Let n = 134 + -182. Which is greater: 1 or n?
1
Suppose -5*b - 3*z = -160, 2*b - 64 = -0*b + 5*z. Let a = b - 13. Let p = 16 - a. Is 4 equal to p?
False
Let z = -1581.003 + 1581. Which is smaller: -21 or z?
-21
Let d(o) = o**3 + 8*o**2 + 22*o + 115. Let q be d(-7). Is q at most as big as 27?
True
Let x be 3/6 + (-45)/2. Suppose 5*j = -5*f + 204 - 84, 3*f - 46 = -2*j. Let v = j + x. Are 3 and v nonequal?
True
Let y(x) = -12*x - 4. Let h be y(-2). Suppose 2*i = -45 - 27. Let a be i/198 + h/(-11). Is a greater than -2?
False
Let h be 6708/3619 - (-4 + 6). Let m = h + 8/77. Which is bigger: 0 or m?
0
Let d be 5/(-20)*(-16)/14 + -1. Which is bigger: d or 0?
0
Let y = 15 + -15. Let j = -4/45 - -58/45. Which is greater: j or y?
j
Let a = 24 + -24. Let n(h) = h**2 - 4*h - 4. Let m(v) = -v**2 + 6*v. Let q be m(5). Let p be n(q). Are a and p non-equal?
True
Let q be 28/14 - 21/9. Which is smaller: -4/35 or q?
q
Let h = -4.1 + 2.8. Let l = -63 - -77. Let k be (-80)/(-44) - l/7. Is h > k?
False
Let c = -75 - -113. Suppose r - x = 2*r + 14, -3*r = 5*x + c. Is r at most as big as -17?
False
Suppose 5*a - 100 = -0*a. Is 15 equal to a?
False
Let n = 1277.988 - 1281. Let p = 0.012 + n. Which is bigger: -11 or p?
p
Suppose t + 2*t = -2*w + 14, 2*t + 3*w = 6. Let j(o) be the third derivative of o**5/60 - 7*o**4/24 + 7*o**3/6 - 8*o**2. Let q be j(t). Is q not equal to -1/5?
True
Let y(n) = -8*n + 36. Let a be y(8). Let h = a + 28. Is h > -51?
True
Let t be (-34)/38 - (7 - 1179/171). Is t != 2/3831?
True
Let b = -75 - -60. Suppose -5*t = -4*t - 1, 4*j + 5*t = -55. Is j != b?
False
Let b = 145 + -141. Let d be 2/1*7/((-2940)/b). Is d smaller than 1?
True
Let q = 995 + -995.17. Which is smaller: q or 1/5?
q
Let d = -149 - -148. Is -8 bigger than d?
False
Let b = -1 + 1. Let d(a) = 4*a**2 + 5*a - 3*a**2 + b - 2*a**2 - 2. Let g be d(4). Which is bigger: g or 10/11?
g
Let g = -0.5 - -0.4. Let x be 24/(-260)*(-90)/48*4/3. Which is greater: x or g?
x
Let h be (15/(-9) + -1)*-3. Suppose -3 + 8 = j. Suppose k - 3*k + q + 15 = 0, j*q = -2*k + 9. Which is smaller: k or h?
k
Let b(o) = o**2 - 6*o - 10. Let k be b(8). Let x = -66 + 71. Suppose k*i - i = -x. Are i and 2/37 nonequal?
True
Suppose 3*t = -z + 143, 2*z = -0*t + 5*t + 286. Is z at most as big as 143?
True
Let n = 2437/21 + -116. Let z be 0*(-2)/(-6) + 4. Suppose z*g - 2*g = 0. Which is bigger: n or g?
n
Suppose 2*g - 489 = 125. Let b = 35406084/23 - 1539088. Let j = b - g. Which is bigger: 0 or j?
0
Suppose 5*s = -11*o + 14*o - 31, -3*o - 3*s + 15 = 0. Which is smaller: o or -28?
-28
Let r(s) = -s**3 + 11*s**2 + 13*s - 13. Let g be r(12). Let p(i) = -i**2 + 4*i + 6. Let u(q) = -q**3 - 4*q**2 + 5. Let t be u(-4). Let j be p(t). Is g < j?
True
Let p = 31.41 - 31. Let n = -16.41 + p. Let k be (21 - 25)*2/(-20). Which is greater: n or k?
k
Suppose 13*m = 5*s + 17*m - 34, 5*m + 13 = 3*s. Which is smaller: s or 5?
5
Let l(k) = -k**2 + 4*k + 4. Let o(n) = -2*n**3 + 13*n**2 - 5*n - 1. Let x be o(6). Let t be l(x). Let a be (2/4)/(t/(-14)). Which is smaller: a or 9?
a
Let d(p) = -84*p + 506. Let k be d(6). Which is smaller: -30 or k?
-30
Let c be -23*(-3)/9*3. Suppose -5*r - c = 2*v, 4*v + 30 = -4*r + 2. Let q be (-5)/(-110)*-62 - r. Which is smaller: q or 7?
q
Let d be ((-6057)/(-28))/(-9) + (-10)/(-35). Which is greater: d or -24?
d
Let g = 13.05 + -0.05. Let s = g - 19. Let o = 6.04 + s. Is 3 equal to o?
False
Let m(z) = z**3 - 5*z**2 + 2*z - 7. Let f be m(5). Let x(b) = -22 + 0*b**2 + 4*b**2 - 3*b**2 + 30 + 9*b. Let y be x(-8). Which is smaller: f or y?
y
Let s = 1/2454 - 80/29039. Does s = 1?
False
Suppose -2*t = -0*t + 4*t. Let b(l) = -l**3 - l**2 + 2*l - 1. Let a be b(-2). Let r be (-1 + (-2)/(-10))/a. Are r and t equal?
False
Let p(g) = g**2 + 3*g + 6. Let m be p(-4). Suppose x + 3*i = -m, 5*x - 5*i - 2 - 8 = 0. Let y = -212 - -214. Is x != y?
True
Suppose 0 = 5*z + 63 - 43, -2*f - 4*z - 302 = 0. Which is bigger: f or -139?
-139
Let h = -186 + 185. Which is bigger: h or -1/48?
-1/48
Let p be 5 - (162 + 2 + -4). Which is smaller: p or -156?
-156
Suppose -4*m = -12*m. Let r be m + (0 + 3 - 3). Are -4 and r nonequal?
True
Let m = 1528 - 1646. Are -116 and m equal?
False
Let s be (-10 + 3*(-2)/(-3))*6. Let w = 47 + s. Which is greater: w or 0.024?
0.024
Let o(p) be the second derivative of p**4/12 - p**3 + p**2/2 + p. Suppose 3*n = -4*r + 9, r - 5*n - 21 = -2*n. Let y be o(r). Are -2/5 and y unequal?
True
Suppose -5*s - 337 = 68. Which is bigger: s or -82?
s
Let s = -404 + 405. Is s != -0.0036?
True
Let l be 6/10 - (-68)/6030*-51. Is 0 less than or equal to l?
True
Let m(v) = v**2 - 5*v + 1. Let c be m(5). Let w be (-1*355 + -1)*(-2419)/(-1298). Let d = 663 + w. Which is smaller: c or d?
d
Let o = 72.31 - 76.3. Let c = -0.01 + o. Let u = -87.8 - -88. Which is greater: c or u?
u
Suppose -4*k - k = 2*q - 17, -5*q - 2*k + 32 = 0. Suppose p + 5 = 3, -71 = -5*s - 2*p. Let x be 1*q/(-2) + s. Do 11 and x have the same value?
False
Let a = -838 - -819.9. Do a and 0 have the same value?
False
Let m = 35 + -33. Suppose -71 + 23 = m*y. Is y equal to -24?
True
Let s be ((-66)/33)/(18/(-1401)). Is 155 >= s?
False
Let s be (3 - (4 + 0)) + 0. Suppose -20 = 2*l - 7*l. Let h(i) = -i**2 + 5*i - 4. Let j be h(l). Which is bigger: s or j?
j
Let w = 85 - 45. Let o be ((-7)/(-63))/(w/(-93)). Let c = o + 2/15. Which is smaller: -1 or c?
-1
Let o = 749 + -1497/2. Suppose 0 = -d - 2*d - 105. Is d != o?
True
Let m = -12147/374 - 4/187. Which is smaller: -34 or m?
-34
Let s = -146 + 146.23. Is s at least 1/3?
False
Let m = 0.74 - -4.96. Let x = 0.3 + m. Which is bigger: 0 or x?
x
Suppose 3*g + 5*t - 152 = 0, g - t + 0*t = 64. Suppose 5*c = g + 1. Is 0.1 at least as big as c?
False
Suppose -5*o - 2*y - 1 = 1, y + 1 = 0. Suppose 5*k + 1 = g - o*k, 2*g - 3*k = 2. Which is greater: 2/3 or g?
g
Let o be (-6 - 10)*(-1 - 0). Let s = -32 + o. Let g be (-5)/5 - s/15. Which is bigger: g or 1?
1
Let u = 194 - 39. Let p be (-108)/u - (-51)/85. Which is smaller: p or 1?
p
Let m = 61.717 + 0.283. Is -2/13 less than m?
True
Let z(j) = -20*j - 200. Let v be z(-11). Is 23 smaller than v?
False
Let p = -9/26 - -347/1040. Do 1/4 and p have different values?
True
Let k be 0/((-3)/(5 + -2)). Suppose k*n = -2*n - 4, 27 = b - n. Suppose -7*o + 12*o + 2*t - 119 = 0, 5*t = -15. Is o at most b?
True
Let t(b) = -b**2 + 7*b - 7. Let a be t(7). Let m(l) = l**2 + 6*l - 5. Let o be m(a). Suppose 5*k = o*z - 18, -5*z = k - 6*k - 30. Is 0 at most k?
False
Suppose 204 = -4*x - 5*r, -117 - 1 = 3*x - 5*r. Let p = -37 - x. Which is smaller: 10 or p?
p
Suppose 3*p = -4*s + 42, -2*s - 18 = -12*p + 7*p. Let i be (-9)/(-2) - 0 - 0. Is i smaller than s?
True
Suppose -2 = 5*a - 7. Suppose o = -0 - a. Let n be (-112)/374 + ((-32)/34)/(-8). Which is bigger: n or o?
n
Let o = 412/5 - 82. Let z be (766/380 + -2)/(12/16). Is z smaller than o?
True
Let m be 11/(22/52) + -4. Are m and 19 non-equal?
True
Let q be -1 + (-54)/(-21) + -1. Let m(b) = -2 - b - 5 + 3 + 3. Let s be m(-2). Is q bigger than s?
False
Let y = -8 + 20. Let l(z) = 13*z - y*z**2 + 1 + 29*z**2 - 16*z**2. Let p be l(-13). Are p and 0 unequal?
True
Suppose l - 10 = -2. Suppose 25*w + 188 = 72*w. Let a be (w/l)/((-1)/2). Is a smaller than 1/18?
True
Let v be 5 + 21/(-3) + -8. Is v less than -17?
False
Let t be (-4)/(8/(-6)) - 1. Let l be ((-683)/t)/((-8)/(-3)). Let j = -128 - l. Does -1 = j?
False
Let r(c) = 10*c + 165. Let s be r(-7). Is 94 smaller than s?
True
Suppose -2*f = -g - 30, -15 = -0*g + g + f. Let u be (-10)/g + 106/(-196). Which is greater: u or -1?
u
Suppose 2*d = l + l + 20, -l - 40 = -4*d. Let x(q) = q**3 - 11*q**2 + 11*q - 1. Let h be x(d). Which is smaller