06. Which is smaller: m or n?
n
Let y(n) = n**2 + 5*n + 229. Let z be y(0). Let j = z - 228. Is j greater than -15?
True
Let r = -2025 - -2230. Which is smaller: 207 or r?
r
Let i = 258 + -261. Let m be i*(-3535)/(-63) - -9. Are m and -159 equal?
False
Let h = 0.7157 + 0.2843. Is h at most -14297?
False
Let i(s) = -3*s**2 - 2*s - 1. Let f be i(5). Let c = 123 + f. Let v = c + -18. Which is bigger: 17 or v?
v
Let h = 219461 - 219489.7. Let n be 2/6*6/(-4). Which is bigger: h or n?
n
Let t = -9.84 - -430.84. Let p = t + -431. Is p greater than or equal to -3/2?
False
Let t = -21 + 31. Let u be ((-12)/t)/(21/(-1400)). Which is bigger: u or 78?
u
Suppose -113 = -25*u - 38. Suppose 4*w = u*l + 65, 71 - 20 = 3*w - 3*l. Is 14 at least as big as w?
True
Let s(b) = -b**3 - 2*b**2 + b - 4. Let m be 12/12 + (-1 - 3). Let g be s(m). Suppose -g*t = -t - 24. Is t <= 23?
False
Let w be (-120)/36*(-6)/5. Let d be 0 + w + 7 + (-1 - -6). Is 52/3 > d?
True
Let u = 76 + 34. Let h = u + -110.053. Let y = h + -0.047. Is 8 greater than or equal to y?
True
Let l be ((-1)/(-2))/((-9)/342). Let z = 19 + l. Suppose z = 2*s - 1 - 1. Is 5/11 != s?
True
Let u be (3/(-4))/(23337/(-2916) - -8). Are u and 239 unequal?
True
Suppose -14*h = 17*h + 7471. Let s = 259 + h. Is s less than -2/9?
False
Let v = -100.0315 - -100. Which is smaller: v or 2?
v
Let i be 5/((-15)/6) + 1. Let b be (i/(-4))/(-1) - 1635/(-300). Suppose 15 = 3*l - 0. Which is smaller: l or b?
l
Let p(q) = 2*q**2 + 3*q. Let n be p(0). Suppose 0*i - 438 = 5*r - i, i + 2 = n. Does r = -87?
False
Suppose 4*b - 1 = f, -3*b - 2*f + 129 = 131. Is 9/256 not equal to b?
True
Let u(q) = q**3 + 1. Let x = 6 + -3. Suppose 2*t = -7 + 3, -x*d - 2*t = 7. Let m be u(d). Are m and -3/11 nonequal?
True
Let x = -5.1 - -5.072. Let r = 39.028 + x. Let m = r + -38. Which is greater: m or -2/3?
m
Let q be (-9 + (-31)/(-3))/((-6)/(-531)). Which is smaller: -0.5 or q?
-0.5
Let n be (8/(-112)*20 + 4)/(158/(-28)). Which is greater: n or 1?
1
Suppose 2*w - 3*w = -4. Let j = w - 3. Let k be 2592/15795 - 18/135. Which is bigger: j or k?
j
Let h = -1988.143 - 10.857. Which is smaller: h or 4?
h
Let p(d) be the second derivative of -d**4/12 - 8*d**3/3 + 3*d**2 - 4*d. Let s be p(-10). Let u = 2670 - 2604. Is s > u?
False
Suppose -6*n + 128 = 2*z - 2*n, 3*z - 242 = 4*n. Suppose z = 5*a - 3*a. Are a and 37 nonequal?
False
Let n(z) = 55*z + 570. Let o(s) = -13*s - 142. Let f(v) = 2*n(v) + 9*o(v). Let h be f(21). Which is smaller: -286 or h?
-286
Let u = 31 + -47. Let y be (-16)/(-10)*-20*(-2)/(-44)*10. Which is smaller: u or y?
u
Let c(v) = v**2 + 4*v + 29. Let i be c(-7). Let b(t) = t**2 + 3*t + 9. Let j = -14 + 19. Let z be b(j). Is i less than z?
False
Let z = -72737569/565 - -128739. Is 1 bigger than z?
True
Let k = 147527530/63301 + -4/9043. Is k != 2332?
True
Let a = 4645/17 - 273. Let f(i) = -3*i**2 - i. Let v be f(0). Suppose -t + 3*t = -5*s + 25, v = 5*t + 4*s - 20. Which is bigger: a or t?
a
Let g = 173 + -243. Let l be (6/g)/(12/(-60)). Which is smaller: 1/6 or l?
1/6
Suppose 42*s = 38*s - 5*n - 275, 2*n = 3*s + 235. Let h be (-72)/10*(s/2)/5. Is h less than or equal to -0.4?
False
Let l = 5860 + -5863. Which is smaller: l or -111/38?
l
Let n be (-2)/4*1*20/1285. Suppose -5*i + 4*b + 12 = -i, -i - 9 = 5*b. Is i <= n?
False
Suppose -84 = -7*y - 28. Suppose -19*n = y*n - 81. Suppose 0 = 5*r - 0*r - 30. Is r < n?
False
Let u(v) = -v**3 - v**2 - 5*v - 5. Let d be u(-3). Let p = 12.5 - 13. Let a = p - -0.2. Which is bigger: a or d?
d
Suppose -7*d = -d - 78. Let k be -1*(-3 - -6) + 0 + d. Suppose 2*x = -x + 33. Is k < x?
True
Suppose q + 4*n + 5 = -2, 2*q = 2*n + 16. Suppose 32 = 5*t - t + 4*v, 0 = q*t - 5*v. Suppose -8 = g - z - 3*z, -t*g - 17 = -z. Is g greater than or equal to -3?
False
Let a = 21 - 41. Suppose 324 = 53*w - 41*w. Suppose w*t + 259 + 308 = 0. Which is smaller: a or t?
t
Suppose 5*p - 2*s - 2 = 44, 3*s - 36 = -3*p. Let k(i) = 15 + 19 - i - 2 - 9. Let j be k(p). Is j at most 15?
True
Let j = 652 + -637. Suppose 0 = -16*c - j*c - 248. Which is smaller: c or -6?
c
Let f be (-3 - -29)*-9 - 5 - 3. Let k = f + 243. Let w be 4/(-10) - (-6)/(-210). Which is bigger: w or k?
k
Suppose 2003 + 1221 = -13*v. Let p be 2 + (102/v - (-18)/(-24)). Is p at most 2?
True
Let y = -389493/58 + 6715. Does y = 1?
False
Suppose -22*z - 270 = -4*z. Let i(s) = s**2 + 20*s + 67. Let r be i(z). Let x = 2375/4 + -602. Is r greater than x?
True
Let j = 46.577 + -19.577. Which is greater: j or 2.3?
j
Suppose 245*p = 242*p - 54. Let c be 80/6*(-9)/6. Which is greater: c or p?
p
Let p be ((-2)/4)/((90/12)/15). Let b = -56 + 67. Is p smaller than b?
True
Suppose -12 + 22 = 2*v. Let y be (1866/(-16))/(18/24). Let d = 161 + y. Is v greater than d?
False
Let k(d) = 2*d**2 + 11*d - 3. Let b be k(-6). Let v(q) = q**2 + 5*q - 4. Let u be v(-6). Suppose 3*o = -0*o + b*y, u*o + y = 3. Which is smaller: o or -1/37?
-1/37
Suppose 730*t = 722*t. Which is bigger: t or -1/60?
t
Let p = 3794 + -3794.04. Which is smaller: p or 0.527?
p
Suppose 44*v = 25*v + 38. Suppose -4*l + 8 = 0, 125 = p - 4*p - v*l. Is p greater than -44?
True
Let b be (-335)/5*-3 - -1. Let v = b + -202. Is -1/480 greater than v?
False
Let r = 6.318 + 1.682. Suppose 0 = -3*a + 6*a + 6. Which is smaller: a or r?
a
Let y = -472 - 128. Let x be (-6)/4*y/2205. Which is bigger: x or -1?
x
Let a = 317 + -287. Let m = -11 - -10. Let d be (-2 + m - -2)/(1/a). Is -30 >= d?
True
Let z(v) = -v**2 + 6*v + 2. Let k be z(6). Suppose -5*a - 193 = -k*t + 76, -2*a + 5*t - 116 = 0. Let i = 294 + -294.1. Is i bigger than a?
True
Let d = -1/7758 - 4415/5872806. Which is greater: d or 1?
1
Suppose -m + 3*q + 12 = -3*m, 5*m = 4*q - 76. Let r = 9 + m. Let b = 4033/4 + -1010. Is r greater than b?
False
Let v = -3054 - -3056. Which is smaller: v or -1297/2?
-1297/2
Let s = -36 + 26. Let l be (-1)/(-2)*s/(-3). Suppose i - 135 = 8*v + 3*v - 123, 4*v - 4*i + 88 = 0. Which is smaller: l or v?
v
Let q be (5 + 23/(92/(-24)))*1. Which is greater: q or 1/926?
1/926
Let r(s) = -2*s**3 - 10*s**2 - 11*s - 6. Let x be r(-8). Suppose -6*a = -x - 368. Let p = a - 693/5. Which is smaller: -1.7 or p?
-1.7
Let f = 20593 - 20505. Is 173/2 at least f?
False
Let f(c) = 12*c - 107. Let q be f(6). Suppose 0 = -2*n - 2*l - 62, -l + 1 = -0. Is q != n?
True
Let u(r) = -5*r - 18. Let o be u(-4). Suppose -o*t + w + w + 8 = 0, -5*t = -w - 4. Suppose t*b - b - 44 = 3*f, 5*b - 27 = 4*f. Is f less than or equal to 0?
True
Let h be 48/(-864) + 1084/72. Which is smaller: -0.2 or h?
-0.2
Let y = 3.378 - -74.622. Which is bigger: y or -9/4?
y
Let n(f) = -58*f - 4477. Let g be n(-85). Is 453 < g?
False
Let m be (3/9)/((-5)/(-45)). Suppose -5*q = -2*t - 13, 0*q - 4*t - 19 = -m*q. Let u be q/(7/(-28) - (-5)/36). Which is bigger: -10 or u?
u
Let u = 2476.23 - 2475.6. Let x = 1.3 + -0.3. Which is smaller: u or x?
u
Let y = 872 + -837. Let h be -2 + 399/y + -8. Suppose -2*c + 3*l - 15 = 0, 0 = -c - 2*c - 2*l + 10. Is h bigger than c?
True
Let a be 4/18 - (-15910)/333. Let s be 4/(-14) + (-1250)/35. Let p = a + s. Is p at least as big as 10?
True
Suppose 10 = -5*a - 0. Let l(t) = -250801*t - 6 + 125396*t + 125403*t - t**2. Let g be l(a). Is g bigger than -0.06?
False
Let h be (-4)/32 + (-151)/8. Let i be ((-16)/(-12))/(6/171). Suppose i + 46 = -4*k. Is h less than or equal to k?
False
Let k(f) = f**3 + 2*f**2 + 3*f + 151. Suppose 12 = 3*u, 18 = 5*g + 5*u - 2. Let x be k(g). Let c = 148 - x. Is c greater than 2/75?
False
Let v(a) = 11*a**2 + 38*a + 2. Let w(k) = -12*k**2 - 37*k - 2. Let o(y) = 6*v(y) + 5*w(y). Let u be o(-8). Is u greater than 42?
False
Suppose -f + 22*p + 3 = 20*p, -3*p = -4*f + 22. Is f at least 71/9?
False
Suppose 15 + 0 = -3*n. Let g be ((-4)/(-70))/(1/n). Let d be 2/55*(-1 + 66) + -2. Which is smaller: d or g?
g
Let k(b) = 2762*b**2 + 7*b + 9. Let d be k(-2). Suppose -32*g - d = 3997. Is -470 < g?
False
Let s be (-1)/(-3)*(14 - 17)*(-7 + 8). Which is bigger: -7/1123 or s?
-7/1123
Let l(n) = -3*n**3 - 131*n**2 + 29*n - 141. Let d be l(-44). Is 519 bigger than d?
False
Suppose 156*d + 9451 = 155*d - 5*r, -d + 2*r = 9465. Is d at most -9459?
True
Let s = -67 - -54. Let m be (-14)/7 - -1 - s/9. Let t = 1/9 - m. Does t = -1?
False
Let r(n) = n**3 