6). Let b = k + 10/23. Is b <= 2?
True
Let m = -196 - 47. Let f = m + 1217/5. Is -24 at most as big as f?
True
Suppose -641855 = 75*w + 82*w - 56*w. Is -6356 <= w?
True
Let f be 5/(-3) + (-2)/(-3). Let y(j) = j**3 + 2*j**2 - 10*j - 4. Let m be y(-4). Let i be (-219)/(-45) - 1 - m. Which is smaller: i or f?
f
Let v = 0.0216 - -2.0084. Let b = 1.63 - v. Is b <= 1?
True
Suppose 33*x - 9*x = -32*x + 448. Let l be 6*(-1)/((-4)/(-6)). Let h be l/12*(-19 + 3). Is h at most as big as x?
False
Let o be 26/(-4) - -6 - (-91)/2. Let w(p) = p**2 - 7. Let l be w(7). Are o and l equal?
False
Let g = 532/11 + -3856/77. Let d = -14 - -13.9. Is g not equal to d?
True
Let i be ((19611/6 - -3) + 2)/((-2)/4). Which is greater: -6549 or i?
i
Suppose 11 + 11 = 11*r. Suppose 0 = 2*z - 4*h + 24, r*z - z + h = -24. Is -22 at least z?
False
Let w = 42 + -36. Let k be 15/w - 2/4. Let p = -0.067 + -0.063. Is k <= p?
False
Let j(q) = 8*q**2 + 29*q - 160. Let v be j(-7). Let s = 12 + 16. Which is bigger: s or v?
v
Let n = 9974 + -10349. Do -1874/5 and n have the same value?
False
Let q(b) = b**2 - 107*b - 679. Let l be q(-6). Which is greater: 989 or l?
989
Let u = 104/135 + 1894/135. Suppose -t = -o + 12, -5*o + 23 + 61 = t. Which is smaller: o or u?
u
Suppose -8*r = -2*r - 3*k + 21, 2*r - 7 = -k. Which is smaller: r or 10/5009?
r
Let r = -3192.2 + 3195.2. Which is greater: 35.5 or r?
35.5
Let u = -1992 + 6133/3. Which is smaller: u or 52?
52
Let r = 29 + -44. Let b = 129 + -103. Suppose -7*c = 72 + b. Which is smaller: r or c?
r
Let k = -0.1295 + 0.3295. Let l = -2.846 - -2.9. Let m = l - -0.336. Is m less than or equal to k?
False
Suppose 5 = -5*g + 20. Let z(u) = 3*u - 88. Let a be -7 + (-8)/(-4)*19. Let d be z(a). Which is greater: d or g?
d
Let w be 17*-24*(-8)/(-12). Let d be -2 + (-172)/6*18/w. Is -1 less than d?
True
Let h = -1.69 + 1. Let b = h + -0.01. Let y = 17119 + -17116. Are y and b unequal?
True
Let t be 980 - (8 + 6 + -5). Let l = 971 - t. Let j be ((-21)/45)/(10/12). Are j and l nonequal?
True
Suppose 5*u = 10, 0*f - 4*f + 332 = 2*u. Suppose 42*w = f*w. Is -50 <= w?
True
Let a(z) = z - 24. Let p(d) = 4*d - 47. Let q(c) = -5*a(c) + 2*p(c). Let n be q(22). Let r = n + -13. Are r and 78 unequal?
True
Let r(f) = 5*f**3 - f**2 + f. Let h be r(2). Let y(x) = -3*x**2 + 5*x - 7. Let g be y(-3). Let o = h + g. Is -11 at least o?
True
Suppose 12*k + 76 = 11*k. Let q = k + 51. Suppose -3*l = 120 - 48. Does l = q?
False
Let w = 84.844 - -0.156. Let x = -86 + w. Which is smaller: x or -8?
-8
Suppose 0 = -4*p + 5*y - 2, 10*p - 13*p + 3*y - 3 = 0. Let d be (p + 17/6)*(-13)/377. Is 0 greater than or equal to d?
False
Suppose -4*h = 2*l + 250, -5*l + 4*h - 411 = 116. Which is smaller: -113 or l?
-113
Let k = -1562 - -1566. Let n be 41 + 1 - 2/(-1). Suppose 0 = -0*i + k*i + n. Which is bigger: -6 or i?
-6
Let l(j) = j**2 - 6*j - 28. Let h be l(-9). Let u = h + -114. Which is bigger: u or -40/7?
-40/7
Suppose 2*k = -3*k + 150. Let a be 6/15 - 252/k. Which is bigger: -13 or a?
a
Let k(w) = -56*w**3 - 12*w**2 + 22*w + 24. Let u be k(-1). Is u <= 48?
True
Let b(y) = 2*y**3 + 34*y**2 - 21*y + 59. Let i be b(-17). Is 417 not equal to i?
True
Let q = -2470 - -2475. Is q > -349?
True
Suppose -4*s + c + 7117 = 0, 9521 = 4*s - 4*c + 2413. Which is smaller: s or 1778?
1778
Let p(h) = h**3 + 21*h**2 - 22*h + 29. Let t be p(-22). Let w be -1 + 1 - (-8 - 0). Suppose w = q - 20. Is t < q?
False
Let d = 0 + 1. Let o be 2*3*(-7)/2*(-145)/609. Is d greater than o?
False
Let d(c) = -c**2 + 3. Let i be d(0). Suppose -i*r - 47 = 3*m - r, 5*r + 75 = -5*m. Let y = 199035 - 199054. Which is smaller: y or m?
y
Let q be (2/(-396))/((-2)/(-8)). Let d(i) = -i**2 - 22*i - 96. Let x be d(-16). Suppose 0*v = 3*v, x = 5*h + 4*v + 5. Does h = q?
False
Let f(i) = 7*i - 9. Let l be f(2). Suppose w + 2*h + 122 = l*w, -4*w + 104 = 4*h. Suppose 11 - w = -g. Is 20 < g?
False
Suppose 4*l - 1656 = 3908. Let m be ((-6790)/28)/(-2 + 102/52). Let w be (-1)/(-5) - l/m. Are w and 1 equal?
False
Suppose -2*v - 1 = -t, v + t + 3*t - 4 = 0. Let o be -1*((-4)/(-4) + v). Let c be 55 + o + -3 - (0 + 0). Is c > 50?
True
Suppose 16*j - 2463 + 2463 = 0. Let p be (-1466)/(-44) - 4/(-22). Is j bigger than p?
False
Suppose 144*q - 145*q = 5943. Let g = 112851/19 + q. Which is bigger: g or -3?
-3
Let y(c) = c**2 - 2*c - 46. Let b be y(-5). Is b at most as big as -504/43?
False
Let c = -72 + 74. Suppose 4*o + 4*n - 32 = c*n, -16 = -4*o + 2*n. Let z be o + -5 - (-2 + 41). Is z greater than or equal to -36?
False
Let z(s) be the second derivative of s**5/20 - s**4/4 - 4*s**3/3 - 3*s**2/2 + 19*s + 2. Let l be z(5). Which is bigger: l or 0.2?
l
Let i = -325.3 + 344. Let l = i + -19. Let x(m) = m**2 - 6*m + 11. Let h be x(4). Is l less than h?
True
Let h = 1 + -1.04. Let c = 82.3 + -130.1. Let r = 51.8 + c. Which is greater: r or h?
r
Let v = 7 - -2. Suppose 24 = 3*x + v. Suppose 56 = -3*a + x*w, 5*a - w = 3*a - 35. Is a < -35/2?
False
Let b = -160 - -85. Let w = -282 - -201. Let l = w - b. Which is smaller: l or 0?
l
Let t(o) = -17*o - 105. Let x be t(-5). Let v be (-82)/x*(-636)/53. Is -49 <= v?
False
Suppose 286 - 724 = 24*v + 2490. Is v smaller than -147?
False
Let p be (2 - (-7)/3)/(3 - 171730/57252). Which is bigger: 9540 or p?
p
Let v = -73/242 + -1493743/1210. Which is smaller: v or -1236?
-1236
Suppose -3*v - 5*f = -37, 32*f = 4*v + 28*f - 28. Let x be 12/(-8) - 5/((-30)/v). Does x = -20/21?
False
Let o(y) = 6*y**2 - 14*y + 20. Let q(b) = -b**2 + b - 1. Let f(m) = -o(m) - 4*q(m). Let a be f(9). Let d = -139 - a. Which is bigger: -49 or d?
-49
Suppose -7*d = -4*d - 9. Suppose j = d*i + 10, -j - j + 2*i + 8 = 0. Let c be -40 + 5 + -3 + j + 3. Is c less than or equal to -34?
True
Let x = -4 + 4.152. Let r = x + 0.848. Which is smaller: r or -159?
-159
Let z = 0.2039 + 91.9961. Is 1/10 at least as big as z?
False
Let o = -2238 + 54. Let p be (-2727)/o - (-135)/(-108). Which is greater: p or -1?
p
Let j(q) be the first derivative of 3*q**2/2 - 14*q - 1. Let u be j(9). Suppose -12*a = -u*a - 6. Which is greater: a or -21/4?
-21/4
Suppose 3 = 5*j + 8. Let b = -252.931 + 252.831. Is j at least as big as b?
False
Let v be (22 - 24/4) + (0 - 1). Suppose -3*b + h - 33 = 16, -v = b - h. Which is smaller: -15 or b?
b
Let g = 0.08 + 1.02. Let f = 1 - g. Let d = -9574 + 9598. Which is bigger: d or f?
d
Let v(r) = -r**3 + 3*r**2 + 14*r + 9. Let t be v(7). Let j = -38 - t. Is 51 > j?
False
Let q be -1*(-4)/(-16) + (-6050)/(-8). Let x be ((-1)/(-10))/(q/(-30)). Which is bigger: 0 or x?
0
Let n = -3142 + 223078/71. Let a = n + 170/497. Suppose -2 = -18*s + 17*s. Which is greater: s or a?
s
Let l(s) = -3*s**2 + 11*s - 3. Let j be l(9). Let w be 881/(-6) + ((-294)/36 - -9). Which is bigger: w or j?
w
Suppose 4*l + 21 = -5*c - 0*l, c + 3*l = -2. Let f(u) = 6*u + 255. Let o be f(-29). Suppose 0 = 9*m + 18*m + o. Which is smaller: c or m?
c
Let v(n) = n**2 - 7*n - 63. Let b be v(9). Let d be (308/(-108) - -3)*b/6. Is -2 greater than d?
False
Let y(m) = -21*m - 49. Let o(q) = -2*q - 1. Let c(z) = 7*o(z) - y(z). Let i be c(-8). Is 4 at most as big as i?
False
Let t be (3/828*2)/(6/104730). Let y = 379/3 - t. Is 1 >= y?
True
Let l = 196899 - 196900. Suppose -f = 4*i + 220, 2*i = -0*f - f - 108. Is l != i?
True
Let a = 0.02 - 0.15. Let h = 158 + -183. Let p = 25 + h. Which is smaller: p or a?
a
Let z = 0.09 - 31.09. Let x = 30.87 + z. Let d = x - -1.13. Are 1/34 and d nonequal?
True
Let g be (-15 + (18 - 4))*-311. Is g at most as big as 309?
False
Let o = -168.9 + 185.9. Which is bigger: o or -191?
o
Let o be 48 + -44 - 28/16. Is -151 at least o?
False
Let w = 12209/42 + -1755/14. Is 4 at least w?
False
Let n = 743.139 + -743.6. Is 1 < n?
False
Suppose 0 = 8*j - 4*l - 1708, -21*j + 430 = -19*j - 4*l. Is j < 225?
True
Suppose -33 = -9*l - 2*l. Suppose -3*t + l*s = -60, 43 - 7 = 2*t - 4*s. Suppose j + c = -t, -2*c = -j + 4*j + 66. Is j at least as big as -22?
True
Suppose 4*t - 68 = 2*r, t + t - 170 = 5*r. Let n = r + 71. Let y = n - 40. Which is bigger: 2/7 or y?
2/7
Suppose -5*f + 11 - 1 = 0. Suppose f*r + 357 = -r. Let j = -127 - r. Which is smaller: -7 or j?
j
Let h = -4 + 16. Let j be ((-3)/h*0)/(-4). Suppose j = -4*s - c + 79, -4*c + 69 = 3*s - 0