38. Let x = -0.62 + z. Let d = x - -0.1. Is d at least 2/23?
True
Let i(t) = t**2 - 14*t - 28. Let j be i(16). Suppose k - 8 + j = 0. Which is bigger: 42/11 or k?
k
Let n be 2*5/(-40) + (-1048)/160. Let v(f) = f**3 + 7*f**2 - 7*f - 9. Let q be v(-8). Let a = q + 9. Is n at least as big as a?
True
Let d(j) = -j**3 - 5*j**2 - 5*j - 3. Let z be d(-4). Let b = -1435 + 1424. Which is greater: b or z?
z
Suppose 55*y = -23*y + 25*y + 318. Are y and -126 nonequal?
True
Suppose 11598 + 9263 = -23*h. Let m = 707 + h. Do -199 and m have the same value?
False
Let v(q) = -q**3 + 41*q**2 + 37*q + 217. Let x be v(42). Let f be (-11081)/140 - 2/8. Let l = -1096/15 - f. Is l smaller than x?
True
Let s be (8/60)/((-69)/(-5)). Let h be (-47 - -48) + (-1 - -1). Which is bigger: h or s?
h
Let j = 1595/68724 + -7174127/27970668. Let t = j + 2/333. Which is bigger: t or 1?
1
Let z be -2 + (-25)/15 + 2/(-6). Let s be ((-4)/(-30))/(z - 136/40). Is s bigger than 0?
False
Let j = -4383 - -4383. Which is smaller: -72.31 or j?
-72.31
Let p = -14165 - -99367/7. Let w = 117 - 86. Which is smaller: p or w?
p
Let g(d) = -47*d**2 + 2*d - 6. Let i(a) = 94*a**2 - 6*a + 12. Let l(p) = -5*g(p) - 3*i(p). Let x be l(2). Which is bigger: x or -2/5?
-2/5
Let z = 233 - 229. Let a be (-158 - 3 - z)/(39/(-26)). Is 110 >= a?
True
Let t(b) = 21*b. Let l be t(-2). Let q = 90 - 77. Let d be -105*(3 + q/(-5)). Is l >= d?
True
Suppose 2*j - 11 - 11 = 0. Suppose 1 = 10*y + j. Which is greater: y or 3/44?
3/44
Suppose -165*f + 20 = -185*f. Let z be 4/10 + 74/(-260). Which is smaller: f or z?
f
Let p = -0.17219 - 0.52781. Is p bigger than -8.19?
True
Let a(b) = -88*b - 2474. Let k be a(-28). Which is smaller: -46 or k?
-46
Let y be (-1)/2 - (-2 - 16854/(-4)). Let t be 4 + -7 - 12526/y. Let k = t - -7/162. Is k not equal to 1?
True
Suppose -2*f = 4*r - 1902, 4*r = f + 368 + 1549. Is 478 bigger than r?
False
Let i(l) = -19*l**2 - 171*l + 168. Let n be i(1). Which is bigger: -103 or n?
n
Let p be (-195670)/(-136) - (8/(-40))/(4/5). Which is smaller: p or -0.4?
-0.4
Let a be 202768/(-812) - 4/14. Which is smaller: -253 or a?
-253
Let m = -5824 + 5894. Let y = 15 + -23. Let c = y - -8.1. Is m at least as big as c?
True
Suppose -2*b + 12 = -2*f, 0 = -3*b + 4*f + f + 24. Suppose b*w + 4*h - 8 = 0, -4*w - 11*h + 2 = -10*h. Which is smaller: 6 or w?
w
Let l be (35/(-15890))/((-35)/80). Which is smaller: l or 0?
0
Suppose -306 = -2*z + 252. Let n = z - 296. Which is greater: n or -19?
n
Let v be -2 - (-101910)/110 - (-30)/55. Is 922 bigger than v?
False
Suppose -135 = 15*s - 15. Let r(l) = l + 24. Let o be r(-12). Let w be (3/o)/(5/(-150)). Which is greater: s or w?
w
Let y(l) = 2*l**3 + 32*l**2 - 2*l - 21. Let i be y(-16). Suppose 3*j - 324 = 3*w, -w + 9*j - i*j = 114. Which is greater: w or -109?
-109
Let r(g) = -g**3 + 30*g**2 - 5*g - 478. Let k be r(22). Is 3284 > k?
False
Let t = 205 - 21116/103. Suppose -16 = 4*o + 12. Let c be (2/(-5))/(((-14)/5)/o). Which is smaller: c or t?
c
Let m = 4280 - 4271. Which is smaller: m or 396/47?
396/47
Let k = -1613.6 + 1610. Is 235 less than or equal to k?
False
Let b be (4/(-5))/((-2)/10). Suppose 0 = b*o - 2*s + 32, 6*o + 2*s = 3*o - 31. Let v be 2/(-3)*o/6. Which is greater: v or 2/5?
v
Suppose w + 5*h - h - 16 = 0, 3*h = 15. Let q be (-54)/(1/(w/(-16)) - 3). Which is smaller: 2 or q?
q
Suppose 2*s + 631 = 4*f + 7*s, -3 = 3*s. Which is greater: f or 319/2?
319/2
Let m = -45223/5 + 13973722/1545. Is m smaller than 1?
True
Let k = 4931 + -4934. Let j = 19 - 69. Which is smaller: j or k?
j
Let o be ((-15)/2)/(9/33)*3364/(-145). Is o smaller than 638?
False
Let g be (-6 + 114/24)/(2/8). Let x(r) = r + 4. Let p be x(g). Let d = -38/9 - -643/153. Which is bigger: p or d?
d
Let v = 2791 - 2854. Are v and 10 nonequal?
True
Let v be (-189)/(-168) - ((-45)/(-40) + -1). Is v <= 3/694?
False
Suppose 21 = 31*y - 4*y - 6. Is 3/2086 > y?
False
Let z = -33.96 + 1.06. Let w = 32.4 + z. Is 0.39 bigger than w?
True
Let q be (159 + 1)/(-2) + -1. Let j be (-9)/(q/(-36))*2/8. Which is greater: -3/22 or j?
-3/22
Let o(k) = 65*k**2 + 64*k**2 - 3 + 5*k - 131*k**2. Suppose 2*z = -3*z + 15. Let t be o(z). Is t < 3?
True
Let x = -10529 - -10528.8. Is x at least -1156?
True
Let c(z) = -z**3 + 108. Let n be c(0). Let a = 107 - n. Which is smaller: a or 1/9?
a
Suppose 2*i + 58 + 61 = -a, 5*a + 569 = 3*i. Let o = -129 + 12. Let h = a - o. Are h and 4/5 nonequal?
True
Suppose 2137*v = 2140*v + 4*g - 808, 0 = 4*v + 5*g - 1080. Does v = 305?
False
Suppose -5*g - 2966 = 74. Let l be (320/g)/(3 + 1). Is l greater than 1?
False
Let u = -12980 - -12979. Does u = -11532?
False
Let n be 2/1*(-71)/(-1). Let a = 287285 - 287144. Is n less than a?
False
Suppose 0 = 6*t - t - b - 652, 4*t = -5*b + 510. Suppose -5*w + 419 = -4*s, 5*w - s - 301 = t. Which is smaller: 86 or w?
86
Let s be ((-4170)/525 - (-20 + 12))/(2/(-1790)). Is -0.01 at most s?
False
Suppose -2*n - 1213 - 950 = -l, -2*l + 4301 = n. Let w be ((-28)/(-20) - 1) + l/5. Is w less than 430?
False
Let q = -455 - -835. Suppose q = -17*r + 22*r. Is r at most as big as 77?
True
Let b(d) be the second derivative of 4*d**3/3 + 22*d**2 - 32*d. Let x be b(-15). Let s = x - -78. Is s less than 26?
True
Let o = 376 + -377. Let j be 3*(15/o + 0 - 2). Is 3 less than j?
False
Suppose 13*v + 110*v - 379071 - 2721 = 0. Is v at most as big as 3104?
True
Suppose 4*i + 134 = 5*d, -173*i - 5*d - 234 = -169*i. Let j be (329/(-14))/(1/2). Which is greater: i or j?
i
Suppose -2*p - 2*n - 2*n - 1838 = 0, -4*p - 4*n = 3648. Does p = -905?
True
Let p be (-80433)/162*196/(-6) - (-1 - -2). Which is smaller: 16217 or p?
16217
Let u(n) = -n**3 + 102*n**2 + 307*n - 21039. Let z be u(103). Suppose -3*r = -p - 14, -4*p + 0*r - 112 = 2*r. Which is bigger: p or z?
p
Suppose 3*w - 471*d = -476*d - 7, -12 = -4*w + 4*d. Does 2570 = w?
False
Let d be -1*(6 - (-8020)/4). Is d at most -2012?
False
Let r = 8419/1128732 - -1/8551. Which is greater: -1 or r?
r
Let i be (-1)/(-4) - 4/16*-79. Suppose i*h - 16*h + 372 = 0. Let y be h/36 - 5/((-15)/6). Which is smaller: y or -2?
-2
Let d be 2*((-21)/(-8))/7 - 9317/44. Is 1 less than d?
False
Suppose -64*h + 69*h - 2*f = 2154, -3*h = 4*f - 1256. Is h less than 2136/5?
False
Let d(c) be the first derivative of -7*c**3/3 - c**2/2 + 6*c + 115. Let n be d(-3). Is n <= -54?
True
Let y be (1/2)/((-3)/72). Let p = 14 - 21. Let h be (144/448)/(y/p). Is h > -1?
True
Let p = 117.973 - 118. Let s = p - 0.973. Let j = -10 - -6. Is j equal to s?
False
Let g = 860/7 - 4482/35. Is g less than or equal to -47?
False
Let x be (-14)/(-189) + (-70945)/945. Which is smaller: x or -57?
x
Suppose 3*l + 3984 = -2*s, -1342 = 115*l - 114*l - 4*s. Do l and -1330 have different values?
False
Let t(n) = n + 2. Let q be t(-8). Let r be (4 + q)*2/5. Suppose -1 + 0 = -i. Are r and i equal?
False
Suppose -7*n + 8*n = 5*c + 256, -15 = -5*c. Is n at most 264?
False
Let i be (2/(-3))/(2/(-222)). Suppose -i - 115 = 3*h + 4*c, 0 = -3*c. Let v = h + 54. Which is greater: v or -8?
-8
Let d be 6/51 + 4/((-204)/(-62163)) - 3. Is 1214 != d?
True
Let b be -2 + -3 + 3 - -1. Let v be ((-12)/(-108))/(b/3). Let w(m) = m**3 - 34*m**2 - 76*m + 120. Let j be w(36). Is v at least as big as j?
True
Let r = 2425 - 2421. Suppose 0 = -0*q + 3*q. Suppose i - 2*i + 6 = q. Which is smaller: i or r?
r
Let j = 275 + -299. Let y = 55 - 54.9. Do j and y have different values?
True
Let p = -265/44 - -47/11. Is 0.1 smaller than p?
False
Let x = -40042/19 + 2107. Suppose 7 = -3*m - 4*a, 0*m = 4*m + 3*a + 7. Which is smaller: x or m?
m
Suppose 2*g - 37987 = -37989, -3*w = 5*g + 17. Let i = 3/1982 - 93187/21802. Which is bigger: w or i?
w
Suppose -3*r + 8*d + 356 = 0, 2*r - 4*r - 3*d + 204 = 0. Which is greater: 110 or r?
110
Let d = -291 - -408. Suppose 2*b + d = -3*h, h - 10 + 11 = 0. Let s = -18/5 - -4. Is b not equal to s?
True
Suppose 92*i - 76200 = 52*i. Is 1906 at most i?
False
Let j be (55 - -1)*(-1 - 2 - 1087/(-362)). Do 0 and j have the same value?
False
Let g = -436.1 - -410. Let z = g - 6.9. Which is bigger: -2/3 or z?
-2/3
Let t = -1 + 2. Let l(a) = -a**3 - 9*a**2 - 6*a - 24. Let w be l(-12). Let f = w + -479. Is f at least t?
True
Suppose 0 = 33*p - 32*p - 318. Let j = -279 + p. Is 35 bigg