39.7. Let l = u + 7.51. Is l at most as big as -2/3?
False
Let c = 329/10 + -7487/230. Let z be (-1)/(-3) + (-3)/18*2. Suppose z = 5*y + y. Is y greater than or equal to c?
False
Let r = 5.0238 + 0.1762. Which is smaller: r or 5/8?
5/8
Suppose 6*q = 126 - 18. Suppose -q*w = -5 - 13. Let l be (w + -3 - 3/1)*1. Which is smaller: l or -37/7?
-37/7
Suppose 2*t - 33 = -33. Suppose 2*s - 1 = g + 24, 5*g + 3*s + 60 = t. Which is smaller: -3/7 or g?
g
Let u = -3025/24 - -126. Let w(n) = n**3 - 28*n**2 + 2*n - 56. Let z be (2 + (-14)/4)*(-2688)/144. Let h be w(z). Is u at most as big as h?
True
Let l(n) = -n**2 - 10*n + 43. Let y(p) = -2*p**2 - 20*p + 85. Let h(o) = -7*l(o) + 4*y(o). Let x be h(-13). Which is smaller: x or 7/19?
x
Let j(d) = d**2 - 33*d + 101. Let m be j(29). Let o be ((-27)/(-12) - 2) + (-2637)/180. Is m at most o?
True
Let c be (-46270)/70 + 4*4. Which is greater: c or -639?
-639
Let f be 21/684*((-14)/110 + (-36)/(-90)). Is 0 != f?
True
Let s(p) = 2*p**3 + 2*p**2 - 9*p - 12. Let t be s(5). Let a = t - 150. Let m = -86 + a. Is 9 > m?
True
Let p = 450 - 184. Suppose -206 = 5*g - p. Which is greater: 7 or g?
g
Let u = 16012 + -17342. Are u and -1328 equal?
False
Let u(p) = 3*p - 16. Let x be u(9). Suppose 0 = -4*y + h - 6*h - 5, -3*h + 10 = 5*y. Suppose 5*i = 0, 0*i + 5*i - 50 = -y*s. Is x <= s?
False
Let g = 34 - 33. Let l = 7/2 - 407/116. Which is smaller: g or l?
l
Let s = 9174 + -9099. Is -13/3 <= s?
True
Let j = -19779.3 - -20836. Let t = j + -1057. Let i = -0.1 + 0.2. Is t smaller than i?
True
Let h = -63 - -188. Let j = 113 - h. Is j >= -17?
True
Let f = 20 - 33. Let v(b) = b**3 + 13*b**2 - 2*b - 19. Let w be v(f). Suppose 3*q - 8 = 3*l + w, -3*q = l + 1. Which is greater: q or 1/37?
q
Suppose -5*f + 232 = 2*o, -5*o + 5*f - 4*f + 607 = 0. Do o and 125 have different values?
True
Let t be (2/(-6))/(52/(-9360)). Let m(z) = -z**3 - 28*z**2 + 28*z + 31. Let w be m(-29). Is t at most w?
True
Suppose -k - 14*k - 32 = -23*k. Is k smaller than 751?
True
Let b(y) = -y + 64. Let m be b(10). Let q = m + -73. Are q and -21 equal?
False
Let r = 0.422 - 328.422. Let a = -327.9 - r. Which is smaller: a or 258?
a
Let d = -6/269 + -1183/7263. Let j = -145/54 - d. Let x = 5.1 - 0.1. Which is greater: x or j?
x
Suppose 209*y - 210*y + 124 = 3*f, 360 = 3*y + 3*f. Let r = 190 + -72. Are y and r equal?
True
Let w(t) = -227*t + 302. Let o be w(1). Is 80 at least as big as o?
True
Let z = 0.3664 - -0.1336. Which is smaller: -14/9 or z?
-14/9
Suppose 20*b = 458 + 502. Let m be ((20 - -2) + 2)/(72/b). Is -1 at most as big as m?
True
Let z(o) = -6*o**2 - 7*o - 10. Let u be z(-10). Let w = u + 22139/41. Let m = -36507 + 36506. Is w greater than or equal to m?
True
Suppose -m + 21 = -31. Let v = -469/9 + m. Let t be 0/(-20 - -16)*(-1)/4. Which is smaller: t or v?
v
Let t(h) = -h**3 - 27*h**2 - 69*h + 116. Let q be t(-24). Let r(v) = v + 9. Let s be r(-7). Let a(x) = 22*x + 1. Let k be a(s). Is q greater than k?
False
Let m be (-491)/11 - -6*(-13)/(-78). Is -2 greater than m?
True
Let o = 3300 - 2213. Is 1087 < o?
False
Let r = 29104.94 + -29119. Is 0 bigger than r?
True
Let j(v) be the third derivative of v**6/120 + 3*v**5/20 + 5*v**4/8 + v**3 + 146*v**2. Let s be j(-7). Let l = -160 - -1761/11. Which is smaller: l or s?
s
Suppose -3*i + a = -5, 2*a = i + 4*a + 3. Let z be (4/(-27))/(40/24 - i). Do -1 and z have different values?
True
Let n be ((-4)/(-352))/((-10)/(-6)). Let t = -1663/114840 + n. Suppose 29*v - 27*v = -o, 0 = -5*o + 5*v. Which is smaller: o or t?
t
Let g = -906093/5 - -181835. Let s = 609 - g. Which is greater: -7 or s?
-7
Let y(o) = o - 2. Let m be y(3). Let a = 1008 - 1008. Let r be (a/m)/((-24)/(-12)). Is -1/9 smaller than r?
True
Let x = -22 + 20. Let o be (-30)/3 + x + 2. Let a = o + 24. Which is smaller: 25/2 or a?
25/2
Suppose 3*x - 4*b + 92 = 0, -4*x + 104 = -7*x + b. Let w = 42 + x. Let o be 8*(-7 - w/(-2)). Do 1/3 and o have the same value?
False
Suppose 4*l - 5*s = 6*l + 49, 2*l - 3*s = -25. Let o be ((-4)/(-3))/(19/(-285)). Which is smaller: l or o?
o
Let z(b) = -b**2 + 285*b - 9593. Let p be z(39). Is p >= -63/275?
True
Let x be (9/36 - (-57)/12) + -5. Is x smaller than -1/11489?
False
Suppose 1557 = 20*u + 2517. Let y(x) = x**3 + 14*x**2 + 3*x - 5. Let n be y(-14). Which is smaller: u or n?
u
Let o = -1/36969 + 112726/67246611. Is o equal to 0?
False
Let t = 5791 - -6939. Which is bigger: 0.1 or t?
t
Let s = 384/11 + -977/22. Let m be -2 + (-42)/18 + 5. Which is smaller: m or s?
s
Let j = 41 + -34. Suppose -3*w + 450 = -j*w - 3*f, -2*w - 3*f = 228. Let m be (2/w)/((-2)/(-30)*5). Which is bigger: m or 1?
1
Let h be 258/9 + -29 - (-1 + 10/6). Is h < 16/483?
True
Let r = 21648 - 21647.98. Let x = -18.3 + 20. Which is greater: x or r?
x
Let c be -18*-6*(-1)/4. Suppose -284*v + 208*v = 1748. Is v smaller than c?
False
Let f = 1 - 2. Let h = f + -2. Suppose -4*m = 3*i + 26, 61 = m - i + 57. Is h greater than m?
False
Let x = 32087 + -31526. Is 5042/9 less than x?
True
Let v = 22.8 - 22.894. Let d = 0.194 + v. Let l = -10.6 - -0.6. Is d smaller than l?
False
Let z = -13871.2 - -13871. Which is smaller: z or -56/139?
-56/139
Let n(x) = x**2 - 6*x. Let w be n(6). Let r(c) = w*c + c**3 + 5*c**2 + 8*c - 4*c. Let g be r(-4). Is g less than 1/4?
True
Let t = -4051 + 5492. Is 1441 != t?
False
Let k be (13/(-26)*8)/(-14). Which is smaller: 168 or k?
k
Let i = -57 - -98. Let z = 70 - i. Let d = z - 25. Is d != 6?
True
Let r be (-190)/(-6)*(-64923)/(-335). Do 6137 and r have different values?
False
Suppose 16*o = 11*o - 44*o + 36652. Is 748 != o?
False
Suppose 4*b + 1425 = f, 13*f + 1409 = 14*f + 4*b. Is f not equal to 1418?
True
Let y(f) = -f**2 + 3*f. Let a = 12 + -8. Let g be y(a). Which is smaller: g or -24?
-24
Let z = 795 - 12297. Which is smaller: -1 or z?
z
Let q(x) = -2*x**3 - 20*x**2 + 23*x - 60. Let s be q(-11). Does s = -71?
True
Let h = 2008/11 + -11217/55. Let f be -1*681*(-6)/(-190). Let o = f - h. Is 1 >= o?
True
Let d be 21/(-77) - 9948/(-37444). Let c = d + 144688/2553. Is 58 greater than c?
True
Let o = -6419 - -6421. Which is bigger: o or 112?
112
Let k = 8238 + -8236. Is k at most 100/39?
True
Let a(g) = 50*g**2 - 24*g + 13. Let l be a(-5). Is 1383 at most as big as l?
True
Let f = 231307/39 + -5931. Let r = -16.04 + 13. Let j = -0.04 - r. Do f and j have the same value?
False
Let x(y) be the third derivative of -y**6/120 - y**5/10 - 7*y**4/24 - 2*y**3 + 3*y**2 - 32. Let b be x(-5). Which is bigger: b or 2?
2
Let n = 90 - 50. Let s = -43.9 + n. Let l = s + 4. Is l > 0.4?
False
Let v = -370.104 + 370. Let d = -122.304 + 117. Let h = v - d. Is 1 equal to h?
False
Suppose 0 = -2*m - 3*m + 3*g - 22, -m - 2 = -3*g. Let x be (m/10)/((-3)/(-222)). Let i be -2*(-2)/(-10) - x/555. Are i and 11 non-equal?
True
Let q = -61 - -63. Let n = -89135/28 - -3184. Is q less than n?
False
Let c = -378 + 624. Suppose 274816*f - 274808*f - 1968 = 0. Is f bigger than c?
False
Let u = 0 - 1. Let y be (-50)/885*36/30. Which is bigger: u or y?
y
Let h(w) = -w**2 + 15*w + 2. Let d be h(15). Let f be (-4)/d - (-6 - -29). Let j = f + 18. Are j and -2 equal?
False
Let p = -60679 - -666851/11. Let v = 5065/88 + p. Let h(a) = -8*a - 54. Let l be h(-7). Is v != l?
True
Suppose -39 = -b - 41. Let j be (-1446)/(-1450) - (-4 + b + 7). Is 0 > j?
True
Let f(z) = z**3 + 4*z**2 - 29*z + 26. Let s be f(-8). Suppose -2*b - s*w + 738 = 0, 8*b - 3*w + 739 = 10*b. Is b >= 369?
False
Let i = 524 + -595. Do i and -62 have different values?
True
Let q = -130 - -84. Let c = q + 131. Let n = 63 - c. Which is bigger: n or -21?
-21
Suppose -5*r = 3*o - 159, -5*o = -36 - 4. Are 696/25 and r nonequal?
True
Let r = 14 - 7. Let p = -47518 - -47524. Which is smaller: r or p?
p
Let v = 160 - 159.1. Let j = 1.06 + -0.06. Is j at least as big as v?
True
Let p(u) = u**3 + u. Let o be p(1). Let y be 36/12 + 7/(14/(-24)). Let f be ((-8)/12)/(y/3)*9. Is o <= f?
True
Let x(y) = -y**3 - 10*y**2 - 6. Let k be x(-10). Let h(l) = -l**3 - 6*l**2 + 2. Let g be h(k). Let o = -1758 - -1761.3. Which is bigger: o or g?
o
Let b = -85243 - -85193.943. Let z = b - -49. Is z < -0.1?
False
Let x = -126.44 - -126.74. Are x and 530 equal?
False
Suppose -7*u - 187 = 254. Let s = u + 62. Let b = -307