93. Let m(r) be the third derivative of r**4/8 - 7*r**3/2 - 12*r**2. Let y be m(5). Is y greater than or equal to s?
True
Let k be (24/(-39))/(4/(-9114)*7*3). Which is smaller: 67 or k?
k
Let l = 12179370/1697 - 7177. Which is smaller: l or 0?
0
Let n(k) = k**3 - 10*k**2 + 10*k + 1. Let u be ((-6)/(-5))/((-20)/(-150)). Let x be n(u). Let a be x*(0 + (-3)/(-2))*2. Is 28 at most as big as a?
True
Let s be (148/6)/((-2794)/(-165) - 17). Which is smaller: s or -367?
s
Let p(g) = 60*g - 2759. Let r be p(98). Is r at least 3121?
True
Let n = -16159/10330300 - 2/135925. Which is smaller: 0 or n?
n
Let p be 8*(-4)/(-12)*2/(-8). Is p at least as big as 118/5?
False
Suppose -6*s + 24 = -4*s. Suppose 6*o = -s*o - 216. Let h be 50/o + (-17)/(-102). Are -5 and h unequal?
True
Let v(r) = r**3 - 4*r**2 + 16*r + 11. Let i be v(-6). Let n = -449 - i. Is n at least as big as -3.9?
False
Let c = 2621 - 1510. Is 1112 greater than c?
True
Let g = -1888/15 + 90499/720. Which is smaller: -1 or g?
-1
Let u be (-21)/(-2)*2208/144. Suppose 142*w - 19 = u*w. Let t = -51/2 - -24. Is t >= w?
False
Suppose 5*l = s + 16, 26 = 4*s - l + 33. Which is greater: s or -1/4558?
-1/4558
Let o(f) = -7*f**2 + 19*f - 37. Let b be o(-18). Let c = 362637/137 + b. Is c < 0?
True
Suppose 7*r - 111 = -2330. Let t be 1584/r - (0 + 0 - 5). Is t not equal to -1?
True
Let o be (-73 + 53)*2052/5. Is o > -8208?
False
Let w = 169 + -134. Let t(l) = 2*l**2 - l - 1. Let f be t(-2). Suppose 2*j - f*j = -w. Which is bigger: j or 6?
6
Suppose -2*v = r + 13372, r + 2055 = 4*v - 11341. Let n = r - -548606/41. Is 1 != n?
True
Suppose 1099 - 263 = 2*t. Let r be (956/(-1195))/((-18)/15). Do t and r have the same value?
False
Suppose -49 = 18*r + 5. Let q = -3.6566 - -0.0566. Which is smaller: r or q?
q
Let l be 7 + -6 + -1 + (9 - -1). Suppose 65 = t - 4*d + 211, 2*d = -l. Is -166 < t?
False
Let t = -21711 + 21710. Suppose -5*o + 2*v - 3*v = -13, 5*o = -2*v + 11. Suppose -o = -r - 1. Which is bigger: t or r?
r
Let u(y) = 2199*y + 13736. Let w be u(-6). Which is smaller: 544 or w?
w
Let k = 159 + -99. Let o = k - 60.07. Let q = -0.33 + o. Is q at most as big as -0.03?
True
Let z = -70 + 23. Let k = 47 + z. Let a = 14/3 + -53/12. Is a greater than k?
True
Suppose -5*s + 0*s = -75. Let o be (-12)/s*(-525)/10. Let i = -42 + o. Which is bigger: 2/67 or i?
2/67
Suppose -7*d = -19*d + 12. Let q be ((-3)/(-44))/(612/(-1077)). Let l = q - 1/816. Is d not equal to l?
True
Let t be (-373)/(((-12)/30)/((-8)/(-10))). Let l be (6/t)/((-39)/26). Which is bigger: 0 or l?
0
Let z = -82 + 75. Let q be 2/((-64)/28 + 2)*z. Let u = -341/7 + q. Is u bigger than -52/3?
True
Let g be 16354/1989 - 4*2. Which is smaller: -846 or g?
-846
Suppose 11*p = -732 + 2349 + 2255. Which is smaller: p or 350?
350
Suppose 701 = 3*f - 4*j - 819, -5*j + 475 = f. Suppose -32 + f = -36*m. Let n = -7/20 - -1/10. Is n smaller than m?
False
Suppose -48 = -4*i - 3*f, -7*i + 28 = -3*i - 2*f. Let v be (i/18)/(10/(-4)). Do -3 and v have different values?
True
Let c be 2910/11627*(-427)/63. Let m = 56/33 + c. Is m bigger than -1?
True
Let k = -1 - -61. Let r be 2 + 146/24 - (-15)/k. Let i = -8 + r. Is -14/5 less than i?
True
Let n be (236336/22440 - 16/(-88)) + (-4)/10. Do 9 and n have the same value?
False
Let q(g) = 8*g - 232. Let j be q(29). Let x(p) = 17*p + 327. Let b be x(j). Is 326 >= b?
False
Suppose -4*j - 45 = 27. Let w = 27 + j. Suppose -18 = -w*z + 27. Which is bigger: z or 31/5?
31/5
Let c be (-12144)/(-27060) - 6/15. Which is smaller: -13 or c?
-13
Let h(t) = -2*t**2 + 47*t + 56. Let p be (4 - -25) + ((-64)/(-4))/(-4). Let o be h(p). Is -12 bigger than o?
True
Suppose 3*u + 4*z = 6, -4*z - 4 = -4*u - 24. Let v be (-1 - -4) + u/(-4)*18. Suppose -3*i - v = -3*w, -2*w + 2 = -i - 5. Are -19 and i unequal?
True
Suppose -24*k = -18*k - 66. Suppose -k*g = -12*g - 11. Which is smaller: g or -4?
g
Let m(n) = n**3 - 127*n**2 - n - 316. Let q be m(127). Is q equal to -1331/3?
False
Let m(c) = -c**2 - 14*c + 34. Let h be m(-16). Suppose -x = -4*l - 2, 3*x + h*l - 26 = 2*x. Is 19 at most as big as x?
False
Suppose 4*r - 3 = 33. Let b = 24 - r. Let x be (1 - 10/b)*0. Is 2/9 at most x?
False
Suppose 26*y = 15*y + 209. Suppose 0 = 4*b - 5*n + y, -2*n = -b + 2*b - 5. Is 2/561 bigger than b?
True
Let s = -6.19 + 5.59. Let j = -0.22 - -0.18. Let f = j + 0.14. Is s bigger than f?
False
Let l = 30111/4 - 10629323/1412. Do l and 0 have the same value?
False
Let l = 12940.91 - 12941. Which is smaller: l or 129?
l
Let z = -0.043 + -1.047. Let r = -0.1201 + 0.3201. Is z not equal to r?
True
Let a be -1 - 10*(-5)/10. Let l be (2805/50)/11 - (-2)/a. Suppose n + 3*n - 24 = 0. Which is bigger: l or n?
n
Let b be (4624/7002)/(-2) - 82/(-369). Are 1 and b unequal?
True
Let c be (-31)/(-75) - (304/16)/(-19). Is 0 bigger than c?
False
Let c be ((-2)/105)/((-8)/(-1156)). Let n = c - -3/35. Let u(r) = -r**3 - 54*r**2 + 236*r + 228. Let y be u(-58). Which is bigger: y or n?
n
Let w be (32/1416)/((-120)/36). Which is smaller: 0 or w?
w
Let n be (-53)/(-4)*4 - -3. Let p = -26 + 84. Is n > p?
False
Suppose -5*c + 39 - 7 = 4*z, -3*c + 9 = -z. Suppose 13 = t - 2*u - 2, 3*t = 2*u + 41. Suppose -z*x + t = -5*x + s, -x - 5*s = 23. Is x <= -10?
False
Let v = -1880 + 1894. Let u(s) = -s + 15. Let p be u(0). Is v equal to p?
False
Let n(b) = b - 3. Let d be n(6). Suppose -2*z = d*g + 23, 2*g - z + 12 = -4*z. Let v = -0.03 - -1.03. Which is bigger: v or g?
v
Let s = 137.5 - 23.5. Let j = s + -113.7. Which is smaller: j or -1.1?
-1.1
Let r = 0.14 + -0.3. Let h = r - -0.26. Let k = 13 - 93/7. Which is bigger: k or h?
h
Suppose 114 + 0 = 2*t - 5*j, 0 = -2*j + 8. Suppose t = 5*l - 223. Let q = l + -112. Is -55 at most as big as q?
True
Suppose -99*d + 122*d - 1564 = 0. Is d smaller than 51?
False
Let j be ((-36)/18*(-2)/24)/(9/(-606)). Which is greater: j or -0.2?
-0.2
Let h = 50 - -14. Let f be h/(-18) + (-7 + 4 - -5). Let k = 32 + -33. Which is greater: f or k?
k
Suppose i - 53 = -5*y, -3*i + 3*y + 2*y + 159 = 0. Suppose i = -37*t - 21. Which is bigger: -3/5 or t?
-3/5
Suppose -28*h + 26*h - 18 = 0. Suppose -5*d - q = 4*q - 80, -4*q + 22 = 2*d. Let c = 14 - d. Is h at least as big as c?
False
Suppose 691*c = 665*c - 38844. Which is greater: c or -1495?
c
Let i = 109 + -108. Let u be i + -2 + (-3)/((-168)/875). Which is smaller: 16 or u?
u
Let y be 432/(-6) - (-1 + 3). Let p be (-89053)/1204 + 10/(-280). Is y greater than p?
False
Let i = 8.02 + -4.75. Let c = -3.27 + i. Which is smaller: 27 or c?
c
Let h be (-60)/(-312) + (-5)/10. Let t be (-7)/4 - 1/4. Let q be -2 - ((-2)/t)/(-1). Which is smaller: q or h?
q
Suppose -4*a - 7 = -g, 5*g = 11*a - 14*a + 35. Let s be g/((-42)/(-30)) - -13. Are s and 19 non-equal?
True
Let a be (-18)/(-24) - (-134)/120. Suppose 496*q = 498*q - 4, -5*q + 13 = 3*r. Is a <= r?
False
Let y = -52 + 20. Let k = 38 + y. Let t(o) = o**2 + 5*o + 7. Let w be t(-5). Is w at most k?
False
Let p be (-164)/(-1656)*-3 - 2/(-12). Let i = p + 70/713. Which is smaller: i or -1?
-1
Let j(c) = 10*c + 15. Let y = -37 + 42. Let r be j(y). Which is greater: r or 67?
67
Suppose -4*h = -p - 4686, -4*p = h - 249 - 897. Which is greater: h or 1171?
1171
Suppose -235 = -61*m + 6567 + 396. Which is bigger: 18 or m?
m
Suppose -f = -3*t + 1493, -2*t = -4*f - 412 - 600. Let p = t - 484. Is p <= 9?
False
Let u be (-16 + 6)*(-14)/(-4). Let m = u - -29. Let n be 22/(-9) - (-8 - m). Does -1 = n?
False
Let d = -17691 - -17644. Is d < 0.1?
True
Let g(d) = -d**2 + 2. Let z be g(-3). Suppose n - 12 = r, 2*r + 6 = 5*n - 51. Suppose -4*h + 5*v = 9 + n, 5*h + 5*v = -70. Is z > h?
True
Let i = -40 + 56. Let a = i + -17. Let b be (75/(-10))/(-15) - 21/10. Which is bigger: b or a?
a
Suppose -f = -4*f + 9. Suppose 2*i = -0*i + f*i. Suppose 9 = 3*w + 2*p, i*w - w - p = -2. Is -2 at most w?
True
Let x be 93804/(-608)*14 - -5. Let h = 2155 + x. Which is bigger: h or 1?
1
Let h be (828/(-210) - -4)/((-17)/(-85)). Which is greater: 0.563 or h?
0.563
Let j be (-2)/(-13) - (-612)/78. Let v(b) = -b**3 - 18*b**2 - b - 22. Let p be v(-18). Let o be p + (j/4 - 22). Which is bigger: -25 or o?
o
Suppose 5*b = 2*m + 25, 65*b - 69*b + 20 = 4*m. Which is greater: m or 3/8?
3/8
Suppose 4*c + 585 = a, 573 + 26 = a - 2*c.