179.39. Let k = w + 0.39. Which is smaller: k or 1/2?
1/2
Let c(z) = z**2 - 22*z + 17. Let i be c(22). Suppose -a = 3*m + i, -m - 2*m - 2*a = 13. Which is smaller: -0.1 or m?
m
Let k = -82 + 594. Let l = k - 516. Which is smaller: l or -32/9?
l
Let m = -207 + 239. Let j be ((-10)/(-5))/((-4)/10). Let z be (-6)/(-4) + j/5. Is z < m?
True
Let x be 0/((29 - 13)/(-8)). Is 10/579 > x?
True
Let w be (-33084)/(-131184) - ((-14)/8)/(-7). Is 0 bigger than w?
False
Let h(x) = 30*x + 139. Let k be h(7). Suppose 0 = 5*a + k - 1629. Does 256 = a?
True
Let o = 10117 - 10117.1. Let z = -191839/105 - -1827. Let g = 118/35 + z. Is o <= g?
True
Suppose 181*j + 3*f - 9659 = 185*j, -5*f = 2*j + 4797. Which is greater: j or -2412?
j
Suppose -33 = -d + 2*c, 3*c = d + 5*c - 37. Let w = 35 - d. Suppose q + q - 4 = w. Is q < 20/7?
True
Let f = 182.3 - 28.3. Let v = 155 - f. Which is greater: v or 43?
43
Let y be (8/4)/2 + 215. Suppose -144 = -8*t + y. Suppose t - 57 = 3*p. Which is smaller: p or -10?
-10
Let v = -1686826 + 3373697/2. Let k be (-4)/14 + 40/42. Is v >= k?
True
Let p = -1.98 - -3.98. Is p < -275?
False
Suppose 0 = 43*v - 33*v - 116*v + 34768. Which is smaller: 0 or v?
0
Let i be (-105)/(-87)*30/105*3. Is i less than 1?
False
Let g be (384/137280)/((-2)/(-30)*1). Let m(t) = t + 12. Let h be m(-11). Is g > h?
False
Let c = 0.286 + -0.193. Let v = -7.193 + c. Let f = v + 7.37. Is f not equal to -2/3?
True
Let v = -0.091 - -0.023. Let l = v + -0.682. Let s = -0.68 - l. Is 5 less than or equal to s?
False
Let w = -29 - -30. Let k = -994 - -1468. Let m = -2362/5 + k. Is w < m?
True
Let b = -8081 + 40361/5. Are -0.3 and b non-equal?
True
Let d be (-5)/3*9/(-12). Let t(w) = 4*w**2 - 11*w + 2. Let q be t(3). Suppose 2*m - q*s = 19, 15 - 1 = m - 4*s. Does d = m?
False
Suppose 19468 = 36*l + 7840. Which is greater: 328 or l?
328
Let j = -2.21 - -3.79. Let z = j - 1.58. Which is smaller: z or -94?
-94
Let l be (-5)/((3/6 - 0)*1). Let f be (3/15)/(2/l). Let r be (-4)/38*(-1 + 2). Is f not equal to r?
True
Let q be ((-105)/84)/((-2)/(-8)). Let f be 22/4 + (q - -3)*-1. Is f greater than 9?
False
Let c = 1/6 + -67/438. Let y be (22/6 - 2) + 4/12. Let w be (((-1 - -3) + -2)*1)/y. Which is greater: w or c?
c
Suppose 13*w - 17*w + 51 = 13*w. Is 87/20 <= w?
False
Let i = 16697 - 2120472/127. Is 0 equal to i?
False
Let m = 411 + -201. Suppose -2*d + 208 - m = 0. Is d at least -1/78?
False
Let o = 54 + -19. Let r be ((-45)/o)/(1/(-7)). Which is smaller: -1/3 or r?
-1/3
Let q = -2309 - -2220. Which is greater: -150 or q?
q
Let g = 4200 + -4200.02. Is -4 less than g?
True
Let t be (-1)/((-6)/(-2) + (-24)/9). Suppose -7*d + 2*d - 25 = 0, -3*d = k + 12. Let r be k/(49 - (3 + t)). Which is smaller: r or -1?
-1
Let f = 14320.2 - 13750. Is -1 at most f?
True
Suppose -133*m = 17*m + 434400. Which is smaller: m or -1?
m
Let v(f) be the first derivative of -3*f**2/2 + 13*f + 31. Let l be v(4). Suppose -g + 21 = -5*c, -g - 2*g = c + l. Is g at most -2/35?
False
Let c = 468 + -455.5. Let n = 12.5 - c. Are n and -0.83 nonequal?
True
Let f = -21.2407 - -0.2407. Let c = -6 - -7. Does f = c?
False
Let n = 18833/84 + 3191/28. Is n bigger than 337?
True
Let h = -27451.93 + 27452. Let x be (-3560)/(-84) - 2/(-7). Let m = -43 + x. Which is greater: h or m?
h
Let s = -1.35 - 0.05. Let h = s - -1.9. Let t = -55 + 55.08. Which is greater: t or h?
h
Suppose 2*u = -233 - 17. Suppose 2*w + 5*j + 223 = 0, -w - 7*j - 109 = -4*j. Which is smaller: w or u?
u
Let h = -2919 + 2913. Is h at least as big as -110?
True
Let r = -19.527 - 140.133. Let q = 155 + r. Let u = -5 - q. Which is greater: -2/5 or u?
u
Suppose -106 = -2*i - 10. Let c = -43 + i. Let y be 3 - c - 32/14. Which is smaller: -3 or y?
y
Let r be (-40)/(-580) + 1463/1914. Let n be 2*(-2)/4*-2. Is r not equal to n?
True
Suppose 3*p - 6 = -3. Let i be p/(-1 - 3) + (-5166)/(-216). Is i != 23?
True
Let t = -1798 + 2927. Which is smaller: 1128 or t?
1128
Let l = 4636 - 4677. Is l equal to -43?
False
Let q = 1.784 - 0.356. Let t = q - 0.428. Do 29/2 and t have the same value?
False
Suppose -4*a - 7 = 2*v - 41, 2 = -2*v. Suppose -a*q - 8 = 1. Let k = -41 - q. Are k and -39 non-equal?
True
Let d(z) = -4*z + 25. Let r be d(4). Suppose -4*l = -r*l - 105. Let i = 1.045 - 0.045. Which is smaller: i or l?
l
Let r be 18*(-3 - 30/(-9)). Let q be 70/21*r/(-5). Let l(a) = -2*a**3 - 5*a**2 - 2*a - 3. Let x be l(-2). Which is smaller: q or x?
q
Suppose 4*k + 101 = 3*p, 15 = -0*p - 3*p. Suppose 7*x = 2*x + 150. Let h be 15/x - (-118)/(-4). Is h at least k?
True
Let t(i) = 8*i**3 - 8*i**2 + 6*i - 6. Let s be t(-7). Let k be -9 + (s/(-792) - -5). Which is bigger: -1 or k?
k
Let a be (-4 - 12/4) + -3. Let r be (0 - 3/5)/(1/a). Let u(y) = y**3 - 6*y**2 + 3*y - 18. Let j be u(r). Is j smaller than 2/3?
True
Let r = 54 + -87. Let n = 25 + r. Let d be 7/((-28)/n) - 3. Is 2/195 smaller than d?
False
Let h(g) = g**3 - 6*g**2 - 6*g - 6. Let y be 76/10 - 18/30. Let l be h(y). Let q be -12*(l - -4 - 3). Is q >= -26?
True
Let j = -4003 - -6484. Is 1 at least j?
False
Suppose -3*u + 1755 = 1758. Which is bigger: u or 979?
979
Let w = 128 - 80. Let g = w - 58. Let j be (6/3)/(g*(-1)/2). Does 27/5 = j?
False
Let t = 3214 + -3197.93. Let w = -16.2 + t. Is w <= 1/4?
True
Let b be 5 + -8 + 5*1. Let h = -3843.1 + 3845. Which is greater: b or h?
b
Let g = -1365665/7587 + -260/281. Let b(u) = -u**3 + 38*u**2 + 35*u - 25. Let m be b(39). Let j = g - m. Is j <= 0?
False
Let j be (-70)/(-4)*(-868)/10. Is -1518 >= j?
True
Let t be 7 - (-1925)/(-84) - (-1 + -4). Let k = t + 6229/564. Is k equal to 0?
False
Let j(o) = 12*o - 132. Let k be j(11). Which is greater: k or -7/214?
k
Let u = -28 + 43. Suppose -13*b + u*b = -604. Let m = -2106/7 - b. Is -6 at most as big as m?
True
Suppose 2*t - 7704 = 4*t - 4*j, 2*j - 3*j = 0. Is t != -3852?
False
Let r(k) = k**3 + 75*k**2 - 76*k + 95. Let y be r(-76). Which is smaller: 289/3 or y?
y
Suppose 124 = -3*w - 2*d, 2081*w + 2*d - 184 = 2085*w. Let f be -1 + -40 - (-2)/(-2). Is w > f?
False
Suppose 2*h = 2*j + 530, 2*h - 131 + 1477 = -5*j. Let t = -788 - j. Let c be t/28 + (-5)/((-105)/(-9)). Do c and -18 have different values?
True
Let s = 0.182 + -0.16. Let p = 21 - 16. Suppose p = 3*d - j, 0 = d - j - j - 10. Which is greater: s or d?
s
Let t = -23153 - -1968069/85. Are t and 2 equal?
False
Let p = -10.71 + -0.49. Let a = p + 11. Let f(q) = -q**3 + 2*q**2 + 10*q + 1. Let z be f(-3). Which is smaller: z or a?
a
Let f = 4.9 + -3.6. Let l = 16.4 + f. Let a = l - 18. Which is smaller: 0 or a?
a
Let q be 17 - (26136/1562 - -2). Which is smaller: -1 or q?
q
Let n = -1357 - -23080/17. Is n > 1?
False
Suppose -y = 2*b - 0*b + 418, 5*b + y + 1051 = 0. Is b < -207?
True
Let i be (8/(-1))/(5/(-95)). Let m = i + -140. Which is smaller: m or 10?
10
Suppose 92*t = 18307 + 24289. Is 459 != t?
True
Let t be -52 - -48 - 2*22. Let f be 1*(t/8)/6. Is f less than or equal to -2/793?
True
Let j be (-250)/(-75)*-3 - 5050/14. Which is smaller: j or -371?
-371
Let r = -961/7 + 137. Suppose 38*y - 33*y + 5 = 0. Let d be (-2)/(-103) + -6 + (5 - y). Is d at least r?
True
Suppose 3*v = 5*q + 35949, 2*v + 7831 = -3*q + 31835. Is v smaller than 0?
False
Let y = -12.16 + 3.46. Let d = y - -9.8. Which is bigger: -2/13 or d?
d
Let l be 2 - ((-1)/1 - 1). Suppose -2*n - 2*n - 30 = -5*x, 24 = 4*x - l*n. Suppose -549*z + 523*z = -156. Is z >= x?
True
Let d = 782054/9 - 86393. Let r = d + -503. Let w = 66 + -66. Are w and r nonequal?
True
Let v be (10 + -1)*1/(-8). Let t(x) = x**3 - 12*x**2 - 15*x + 31. Let d be t(13). Suppose l + g + d = -l, -4*l + 4*g - 4 = 0. Is v at most as big as l?
False
Suppose -5*d + 16 = -q - 3*d, -q = -4*d + 14. Let a be (3/(-117))/(21/q). Let s(f) = -f**2 + 23*f - 1. Let c be s(23). Is c >= a?
False
Let h = -74429/7 + 10633. Is h less than or equal to -189/8?
False
Suppose -6*b + 4*b = 40. Let g = 22 + b. Let x be (-14)/6*g/15*-9. Is 3 not equal to x?
True
Suppose 5*n = -5*a + 10, -2*n - 5*a = n - 10. Suppose n = -w - 3, h + 3*w - 9 = -0*h. Which is smaller: 12 or h?
12
Let h(k) = -39*k + 191. Let x be h(5). Let g be 1*(4 + 32/x). Which is bigger: -3 or g?
-3
Suppose 2*g + 5*q = 12, -5*q + 2 = 3*g - 6. Let c be ((-94)/(-4))/(g/(-8)). Let j = c + -30. Is j a