maller than 8?
True
Let f(m) = m**2 + 6*m - 1. Let n be f(-8). Let g be (-1 - 0)/(6/(-42)). Let a = g - -7. Is n greater than a?
True
Let h = 0.127 - 0.117. Which is smaller: -3/20 or h?
-3/20
Suppose k + 0 = -3. Let x = 10.9 - 22.2. Let f = 11 + x. Is f > k?
True
Let g = -816 + 817. Let p be 62/252*8 - 2. Are p and g unequal?
True
Let d be (6/(-4))/(4 + 19/(-4)). Suppose 2*u + u - 4*y - 15 = 0, 2*u = -y - 1. Suppose 3 + u = c. Is c equal to d?
False
Let a(q) = q**2 - q + 1. Let l be a(0). Let h = l - 16. Which is bigger: h or -14?
-14
Let w(a) = -29*a + 1. Let p be w(1). Suppose 6*o - 16*o = 260. Is p < o?
True
Let u be (305/62160)/((-1)/22). Let y be (6/(-2))/(-6)*80/444. Let d = u + y. Which is greater: d or 1?
1
Let w = -56692003/139578 - -12/23263. Let z = -405 - w. Which is smaller: 2 or z?
z
Let a = -56 - -57. Let o be ((-1)/(-6))/(8/(-32)) + a. Is o at least -1.1?
True
Let l(x) = -6 - 8*x + 5 + 2*x + 6. Let h be l(6). Suppose -c - 2*m - 40 = 0, -c + 3*m - 45 = c. Which is bigger: h or c?
c
Let q = -15.3 + 15.2. Let u = 2 - 1.95. Which is bigger: u or q?
u
Let a = -5 - -9. Suppose 84 = a*s - s. Let o be (-10)/s - (-2)/4. Which is smaller: o or 1?
o
Suppose 1600 + 1042 = 2*m. Let y = m - 18485/14. Let o = y - 17/70. Are 1 and o equal?
False
Let q = 9 - 7. Suppose 2*p = 2*a - 16, -q*a + 3*p = 3*a - 36. Let b = a - 5. Which is greater: -1/4 or b?
b
Suppose -2*v = -7 + 1. Suppose v*k + 5*t + 22 = 0, -2*t + t = -3*k + 8. Which is bigger: k or 6/5?
6/5
Let j(u) = 2*u**2 + 5*u + 5. Let q be j(-3). Let p be (-12)/q*(3 + 14/(-4)). Are 2 and p equal?
False
Let h = 24 + -23. Let l be h/(3/(9/(-87))). Let m = l + 31/58. Is m greater than -1?
True
Suppose -8*y = -4*n + 192, 4*n = 126*y - 123*y + 57. Suppose z - 136 = 5*g, 3*g + 2*g + 4*z = -131. Is g <= y?
True
Let n = 35 - -25. Let p be -6*1*n/(-72). Which is greater: 6 or p?
6
Suppose 0 = 4*n - 2*s + 26 - 4, 3*s = -5*n. Let a be (3 + (-254)/90)*n. Let t = 14/15 + a. Which is smaller: t or -1?
-1
Let g = -749 + 748. Is 2/2185 equal to g?
False
Let l(r) = r**3 - 8*r**2 - 10*r + 5. Let z be l(7). Let f be -4 + -5*z/165. Is -1 smaller than f?
True
Let t(g) = -g**2 + 2*g + 19 - 5*g - 2*g - 24. Let u be t(-3). Let q = 3 + -5. Which is smaller: q or u?
q
Suppose d + 4*f = 21, 0 = -d + 5*d - 3*f - 8. Let g be ((-11)/(-4))/(2/4). Is d at least g?
False
Let r be 96/824*2/(-16). Is r less than -1?
False
Let c = 78717/455 - 173. Which is greater: 0 or c?
c
Let c = -21219/7 - -3033. Is c greater than or equal to -30?
True
Let f be ((-36)/(-24))/(3/4). Is 16/19 less than or equal to f?
True
Let z(c) = -3*c**3 - 6*c**2 - 2*c + 4. Let u be z(-3). Which is greater: u or 2/5?
u
Suppose -43*t = -57*t - 182. Which is smaller: -240/17 or t?
-240/17
Let u = 175 - 154. Which is smaller: u or 8?
8
Let j = 1691 + -1689. Is j greater than 440?
False
Let b = -29 + 12. Let f = b + 16. Let g = 0.9 + f. Do g and -4 have different values?
True
Suppose 0 = 5*w - 2*w - 888. Suppose 2*f = -3*u + 258 + 30, u + w = 2*f. Let s = 305/2 - f. Which is smaller: 5 or s?
5
Let l = -0.686 + 0.5. Let q = l + -0.014. Which is smaller: q or -0.02?
q
Suppose -2*i + 7 + 3 = 0. Let u be i/3*(11 - 8). Let v be 2 + (-2 - -4 - 0). Is v <= u?
True
Let m = 3 + -3. Let c(g) = g**3 - 21*g**2 + 18*g - 15. Let a be c(20). Let l = a - -54. Which is greater: m or l?
m
Let o = 67 + -64. Is 32/19 less than or equal to o?
True
Let s = -199 - -369. Is 169 greater than s?
False
Let s(k) = 5*k**2 + 17 + 10*k**2 - 4*k**3 + 5*k**3 + k. Let u be s(-15). Let w be 4/14 - u/56. Which is greater: w or 4/5?
4/5
Suppose -4*p = -2*p - t - 64, -5*p + t + 163 = 0. Is p greater than 37?
False
Suppose 3*d - 9 = k - d, 0 = -5*k + 3*d + 23. Which is smaller: k or -0.02?
-0.02
Let h = 20.05 + -0.05. Let c = h + -24. Is -0.1 at least as big as c?
True
Let k = 272 - 281. Which is smaller: -47 or k?
-47
Let y(g) = -2*g**2 - 6*g + 8. Let x be y(-6). Let o be (-4 + x/(-8))*0. Let d = -3 + o. Is -4 at least as big as d?
False
Suppose -25 = 3*c - 10. Let o(r) = r**3 + r + 12. Let d be o(0). Let k be (-2)/d + (-1)/(-2). Are c and k nonequal?
True
Let t = 44 - 177/4. Let k = 4 - 25. Let z be (-5)/(-35) + (-144)/k. Which is smaller: t or z?
t
Let y(u) = 15*u. Let c be y(1). Let t be (3/c)/(46/5). Let s(v) = 16*v + 63. Let f be s(-4). Which is smaller: t or f?
f
Let v = -603.2 + 552. Let r = v - -51. Which is smaller: 2 or r?
r
Let i be -74 - -69 - (-6 + 1). Let m = -143 + 3287/23. Which is smaller: i or m?
m
Let q be ((-8)/24)/(2/42). Let w(x) = -x**3 - 7*x**2 + x - 5. Let u be w(q). Let i be (-24)/84*35/u. Is i <= 2?
True
Let t = -16 + 10. Let n be ((-10162)/t)/((-51)/(-18)). Let l = n + -598. Which is bigger: l or 1?
1
Let m = -41.9 + 42.4. Is m < 28?
True
Suppose -15*o + 10*o = 2*x + 363, -x + 4*o = 201. Is -187 at most x?
False
Suppose 0 = 5*j - q + 1, -5*j - 11*q + 13*q - 2 = 0. Are j and -437 equal?
False
Let g be (-2)/(-1) + 0 - 0. Let y = 110 - 109. Are g and y equal?
False
Suppose -131 = 38*d + 21. Is -6 < d?
True
Let i(d) = -3*d + 25. Let o be i(7). Suppose -n = 5*h + 3*n, -2*h - o*n = 0. Which is smaller: h or -8/29?
-8/29
Let u = 47.4 - 47.4. Which is greater: u or 64?
64
Let n be (242/(-1))/((-3)/(-3) - 3). Which is greater: 120 or n?
n
Suppose -3*p = -2*t + 1176, -4*t + 5*p - 2330 = -8*t. Let g be (4/(-10)*1)/(t/(-25)). Is 0 less than or equal to g?
True
Suppose -4*h = -2*h. Let b be (-5)/(-15)*h*1. Is b at most as big as -2?
False
Let o(m) = -14*m - 1. Let d be o(-1). Suppose -10 = -q - d. Let r = -0.88 + -0.12. Is q != r?
True
Suppose 0 = -67*z + 49*z - 1746. Is -98 equal to z?
False
Let a = -0.024 - 45.976. Let x = a + 32. Which is smaller: x or 2/5?
x
Let v = 3 - 2. Let g = 32 - 31.75. Let w = g - 0.15. Is w < v?
True
Let m be 7/(-7) - (3 + -2). Let k be (m/(-11))/((-3)/(-3)). Is -1 > k?
False
Let b be (-8)/24 - 57/72. Let m = 21 - 21. Which is bigger: b or m?
m
Let w(d) = -d + 23. Let m be w(0). Suppose -5*b = 3*f + m, -4*f + b + 4 = -b. Let i = 173/4 - 43. Are i and f equal?
False
Suppose 17*j + 216 = 13*j. Let s be 186/j + 3 + 1. Is 0 smaller than s?
True
Suppose -2*u - 4*s = -2, -u + 5*s = -2*u + 1. Let d = 0.0449 + -2.0449. Which is greater: d or u?
u
Let x = 4347394/613 - 7092. Which is smaller: 0 or x?
x
Let s(y) = -y**2 - 16*y - 55. Let b be s(-26). Is b greater than -315?
False
Let o = 20 + -20. Suppose p = -2*h - 105, o*h - 3*h + 175 = -2*p. Let i be 3 + (p/7)/5. Which is bigger: 1 or i?
1
Let n = 9.9 + -11. Let d = n - -1.4. Is -2 >= d?
False
Let l = 0.479 - -0.521. Which is smaller: l or -2/237?
-2/237
Let u = -52957/6069 - -10/867. Which is bigger: u or -10?
u
Let p be -4 + (3 - 1/(-3)). Let m = -0.98 + 0.18. Let v = m - -0.9. Which is bigger: p or v?
v
Suppose 2*o + 2*b - b = 0, -2*b = -3*o + 14. Let r be ((-45)/27 + o*1)*21. Which is greater: 4 or r?
r
Suppose 5*p = -245 + 200. Which is smaller: -16 or p?
-16
Let a = -2/29 - 48/145. Is a > 32?
False
Suppose -4*g = g - 130. Let x = -0.2886 - -0.1886. Which is bigger: g or x?
g
Suppose 4*w + 52 = 2*y + 6*w, 0 = -3*y + 2*w + 68. Is y greater than 18?
True
Let t be 1 - (-5 - (-14046)/2340). Is 1 greater than or equal to t?
True
Let z(p) = -p**3 + 4*p**2 + p - 3. Let v be z(4). Let l(b) = -15*b - 1. Let q be l(v). Let j be q/(-7) - 14/49. Which is bigger: 3 or j?
3
Let r = 7 - 15. Let q(c) = 5*c**2 - 11*c - 2. Let z(a) = -6*a**2 + 12*a + 3. Let h(v) = -7*q(v) - 6*z(v). Let y be h(-4). Are y and r unequal?
False
Let d = 115137/7 + -16481. Is d smaller than -33?
False
Suppose -5*h + 3*g + 126 = -59, 2*g = -h + 50. Suppose 3*b = -h + 7. Suppose 4*f + 29 + 9 = 2*t, 52 = -5*f + t. Is f >= b?
True
Let z(o) = -o**2 + 4*o + 0*o**3 - 5*o**3 + 4*o**3. Let m be z(-3). Suppose -5*k - 1 - m = 2*s, 3*s + 3*k - 3 = 0. Which is bigger: s or 2?
s
Let n = -101/397 + -28033/34936. Let b = -7/8 - n. Is b >= 0?
True
Let g = 273 - 241. Is g not equal to 27?
True
Let a(n) = -n**3 + 4*n**2 + 2*n - 5. Let u = 2 - 0. Let v = u - -2. Let x be a(v). Is x > 4?
False
Let q be (7/14)/(2/16). Suppose 0 = -p + 4*k - 12, 0*p - q*p - 2*k + 6 = 0. Suppose 3*i - 13 = 5*v, 4*i - 5*v = -p*v + 24. Are i and 10 non-equal?
True
Suppose 2 = -2*x, -2*y + x + 9 = 2*x. Suppose -3*r - 4 = -y*r. Let o = 769/327 + -2/109. Which is bigger: r or o?
o
Let j 