o - 6. Let z be w(2). Suppose -2 - z = -6*d. Is -2/31 less than d?
True
Let u be (1/(-2))/(16/(-320)). Let g be (-8)/(-6)*(-45)/6. Let t = u + g. Which is smaller: -2 or t?
-2
Let u = 3 - 2. Let y = 30.3 - 7. Let n = y - 23. Are u and n unequal?
True
Suppose 0 = -3*w - 5*c + 10, 2*c - 5*c = -4*w - 6. Is 2/27 <= w?
False
Let i be -2 + 1 + 8/(-4). Let f(o) = o**2 - 9*o - 16. Suppose -5*y + 44 = 3*d, -y = -0*d - 3*d - 16. Let s be f(y). Is s smaller than i?
True
Let s = 665 - 685. Is -208/11 bigger than s?
True
Let j be ((-28)/20)/(-7)*12/346. Is j >= 1?
False
Suppose -10 = 9*i - 19*i. Which is smaller: -2/1537 or i?
-2/1537
Let b be (-4 - -1 - -1)*21/(-4074). Let q(s) = -s**3 + s**2 + 4*s - 3. Let h be q(2). Which is smaller: h or b?
b
Let c = -751 + 562. Which is bigger: -190 or c?
c
Let y be ((-39)/15)/((-22)/10 + 2). Suppose 4*l = y*l + 144. Is l at most -17?
False
Suppose -a - 1 + 21 = -3*q, -3*a + 4*q + 45 = 0. Let v = a + -12. Let s = -333/65 + 38/13. Is s < v?
True
Let t = 123 + -66. Let l = t - 37. Is 56/3 at most as big as l?
True
Let u(v) = -v**2 - 36*v - 67. Let q be u(-2). Is q at most 3/398?
False
Let y = 0.091 - -19.409. Let n = y - 18. Let z = 1.8 - n. Is z at least -5?
True
Let l = -1 + 4. Let s = -84 + 76.5. Let m = -7.4 - s. Are m and l nonequal?
True
Let v(k) = -95*k + 5 + 8 + 93*k + 3. Let d be v(5). Is 6 at most d?
True
Let n(f) = -f**2 - 2*f - 1. Let l = -5 + 11. Suppose -9 = -3*k + 4*j, 5*j + 9 = -l. Let p be n(k). Which is smaller: p or -1/2?
-1/2
Suppose -i - 3*i - h - 76 = 0, -2*i + 4*h = 38. Let r = i + 18. Let u = -56/3 + 439/24. Which is bigger: u or r?
u
Suppose -n + 28 = -2*n - x, 126 = -4*n + 3*x. Let d be 12/18 - (-38)/n. Is d at most as big as 1?
True
Let j = 60 + -60. Let o be (-2 - j)/((-10)/30). Which is smaller: -4 or o?
-4
Let l = -708/5 + 512/5. Which is smaller: -39 or l?
l
Let t be 0 - (-5)/((-40)/(-14)). Let h be -1*-1*3/1. Is h at least t?
True
Let p = -9.97 + 9.87. Is p greater than or equal to 0.069?
False
Let x = 123 - 24. Let b = 889/9 - x. Let a be (-5)/(-20) + (-26)/40. Is b < a?
False
Let v = -311 + 310. Which is smaller: v or 1?
v
Let o = 298 - 150. Is 150 equal to o?
False
Suppose 0 = 2*d, w - 4 = 5*d - 5. Let s be (1/(-5) + -1)*14/(336/45). Is w < s?
False
Let r be (-62)/(-5) - (-7)/140*-8. Suppose 3*n - 3*d = -4*d + 30, 2*n - 16 = -2*d. Which is smaller: r or n?
n
Let a(n) = -2*n + 3. Let x be a(-5). Suppose x - 10 = i. Suppose -3*h + i*d = -5*h - 29, 2*h - 1 = 3*d. Which is smaller: h or -6?
h
Let q = -7 + 13. Let u be q/3 - 2/(-1). Is 3 <= u?
True
Let n = -30.2 + 29.4. Is n not equal to 2?
True
Suppose -2*a - 2 = -0*a. Is a <= 0?
True
Suppose -838*n + 841*n + 23 = -5*g, -n - 17 = 4*g. Let v = 1309 - 7873/6. Is v less than g?
False
Let i be (-2)/(-27) + 3479/6615. Which is smaller: -16.4 or i?
-16.4
Let i = -3.02 + 205.02. Which is bigger: i or 3?
i
Let u = -59 + 73. Let n = 1.2 + -15.2. Let a = n + u. Which is smaller: a or -1/7?
-1/7
Let b = 309/2 + -3395/22. Does b = -1.01?
False
Let n = 1.57 - 1.59. Which is smaller: n or 0.02?
n
Let u(g) be the second derivative of g**5/120 - g**4/4 + g**3/2 - 6*g. Let w(x) be the second derivative of u(x). Let o be w(6). Which is greater: -2/23 or o?
o
Let w = 68 - 40. Let x = w - 27. Which is greater: 8/5 or x?
8/5
Suppose -2*d + 0 = -2. Let h = -4/435 - 359/8265. Is d > h?
True
Suppose 4*i = -0*i + 12, -12 = 3*r - 2*i. Let m = -3 - r. Let o be -4 - m - (5 - 8). Is 3/4 less than o?
False
Let u = 1.0082 - 0.0082. Which is greater: u or -64?
u
Let k be 10*(-6)/(-1092)*-1. Is 1 greater than k?
True
Let k be 13 + -3 + 6 + -5. Suppose -17 = 6*i + k*i. Let u be (8/(-35))/(1/5). Is u greater than or equal to i?
False
Let u(h) = 9 - 78*h + 8 + 100*h. Let i be u(-4). Are -71 and i nonequal?
False
Let d be 4*(-2)/24*-3. Suppose 0 = -y + 7 - 2. Let c = d + y. Is 4 less than c?
True
Let n = -57 - -60. Let u = 1/16 - -23/16. Which is greater: u or n?
n
Let h = 13 + -12.95. Let x = 0.35 + h. Let l = x + 0.2. Which is smaller: l or 1/2?
1/2
Let z(s) = 3*s - 115. Let b be z(5). Do -304/3 and b have different values?
True
Let d = 318 + -659/2. Let o be (-17)/(-3) - 2/3. Suppose -o*r = v + 23, 2*r - 33 = 3*v - r. Are d and v equal?
False
Let x be (-344)/(-72) + 2/9. Suppose -4*o = -x*m - 7*o - 1, m + 2*o + 3 = 0. Is m > -1/36?
True
Suppose 2*u = -b + 15, -10 = -4*u - 14. Which is bigger: 18 or b?
18
Let h = 2529 + -2415. Is h less than or equal to 114?
True
Suppose 6*r - 2*r = 68. Let j(y) = y**3 - 4*y**2 + 5*y - 2. Let u = 0 - -4. Let g be j(u). Is r greater than g?
False
Let r(i) = i - 2. Let w be r(2). Which is smaller: w or 2/137?
w
Let s be -87*4*1*4/(-24). Let i = s + -52. Which is greater: -6 or i?
i
Let p = -108701/36830 - -171/58. Let i = 383/635 + p. Which is bigger: 1 or i?
1
Let d(j) = -61*j**2 - 14*j - 30. Let m be d(-2). Which is smaller: m or -245?
m
Let u be -1 - ((-24)/(-36) + (-76)/6). Suppose u*z + 3 = 8*z. Which is greater: 5/14 or z?
5/14
Let s = -157/6 - -161/6. Let c(v) = v + 8. Suppose -j - 4*j - 30 = 0. Let z be c(j). Do s and z have the same value?
False
Let t = 1026 - 1025. Which is greater: -387 or t?
t
Let y(r) = -6*r**2 - 11*r**2 - 2 - 2*r + 2*r**2 + 3*r**2. Let t be y(-1). Which is greater: t or -11?
-11
Suppose -7*s - 1364 = -29*s. Suppose -v - 2*p - 184 = -4*v, -2*v + 3*p = -121. Is v less than or equal to s?
True
Let d = 1174 - 59870/51. Let h(r) = -r**2 + 67*r + 439. Let p be h(-6). Which is bigger: p or d?
p
Let y = 0.2 - -5.4. Let q = -4 + y. Let p = -1.5 + q. Is p > 0?
True
Let i = 2537/12 + -911/4. Are -17 and i nonequal?
True
Suppose 4*s + 51 + 13 = -2*x, 0 = -5*x - 3*s - 132. Let i = x + 28. Is i > 4?
False
Let o(k) = -4*k**2 + 2*k - 5. Let v be o(-5). Let u be (2/(-4))/(v/(-38) + -3). Is u > -19?
False
Let t = 242 + -243. Is t smaller than -1/30?
True
Let j(a) = 2*a**2 + 8*a - 5. Let m be j(-6). Let d = 2 - m. Let n = d - -33/2. Which is smaller: n or -4?
-4
Let h be (0 - 18/(-6))*(-1)/(-1). Suppose h = 4*j - z - 18, -15 = -j - 3*z. Do j and 6 have the same value?
True
Let q be -3*(1 - 1 - 1). Suppose k = 5*k - 5*p + 13, -10 = -2*p. Suppose 4*l - k*f = 21, -2*f = -2*l + 2*f + 18. Is l less than or equal to q?
True
Suppose 4*b + 8 = -2*y + 6*b, 2*b = 3*y + 8. Let l be (-2)/(-4) + (-1406)/(-4). Let c = 6690/19 - l. Which is smaller: c or y?
y
Let o = 16 + -13. Suppose -4*j = 20, 5*r + 20 + 70 = -o*j. Let u be 3 - (-3 + (-78)/r). Is 1 > u?
True
Suppose 43*z + 66 = 23. Let l be (-4)/(-6)*(0 - -12). Which is bigger: l or z?
l
Let m(c) = 5*c**2 + 4*c - 3. Let r be m(2). Suppose 5*x - 4*l - 7 = 0, 5*l - r = -3*x - 2*x. Is 1 at most x?
True
Suppose -32 = -11*d + 7*d. Suppose g - d = -3*g. Which is greater: 6 or g?
6
Let w = 1009 + -1008. Let x be 1/(-20) + (-2)/(-8). Which is bigger: w or x?
w
Suppose s - 9 + 35 = -4*a, -4*a - 8 = -2*s. Let g be (2*(s - -5))/(5/1). Which is smaller: g or -20?
-20
Let g be -44 + (-3 - (-2 + 2)). Let s = 46 + g. Which is smaller: -1/17 or s?
s
Suppose -20 = u + 3*b, u - 5*u + b = 119. Let z = u + 20. Let p = z - -6. Is p greater than -1?
False
Let u(v) = -v**2 + 8*v - 12. Let l be u(10). Let o = l + 20. Is o > -12?
False
Suppose 2*s + 9 = q + 13, 4 = 4*s. Do -16/9 and q have the same value?
False
Suppose 4*q + 0*q - 3*v + 27 = 0, 0 = -5*q - 4*v - 26. Let m = q + 3. Let d be (m - 0)*8/(-6). Is d bigger than 0?
True
Let c(x) = 26*x - 252. Let s be c(10). Which is bigger: 100/13 or s?
s
Let u be 2 - (-1 + (-4)/(-8))*18. Let t(p) = p**3 - 12*p**2 + 15*p - 14. Let f be t(u). Is f at least as big as 30?
True
Let k = -7 - -16. Suppose 5*d = 5, -y + 0 = 3*d + k. Let o = -13 - y. Which is bigger: o or 0.1?
0.1
Let m(f) = -50*f**2 - 1851*f - 31. Let s be m(-37). Suppose 4*v - 6*v + 23 = -3*g, -2*v = -2*g - 20. Suppose -4*o = -2*d - v + 33, -4*d + 7 = o. Is d at most s?
True
Let j = -23 - -32. Suppose 2*g + j = -1. Is -19/3 >= g?
False
Let t = 26 - 16. Let u = t - 19. Let o = u + 12. Which is smaller: o or 0?
0
Suppose 10 = 2*q + y, 15 = -67*q + 70*q - y. Is -9 < q?
True
Let h(j) = -j**3 + 5*j**2 + 6*j + 18. Let i be h(6). Let w be (-34)/i*(-15 + 12). Which is smaller: w or 5?
5
Suppose d + 3 = s, d - 5*d = 3*s + 26. Suppose -7*t - 9 = 40. Let v = t - -4. Are d and v unequal?
True
Let a = -155 + 154. Let w = 