s) be the second derivative of -s**4/4 + 14*s**3/3 - 17*s**2 - 95*s. Let p be x(8). Let y = -21 - -44. Which is smaller: y or p?
p
Let v be (-30*16/(-20000))/(-1*(-57)/(-4)). Is 1 greater than v?
True
Suppose 4*g + 17*p - 12*p - 1215 = 0, -3 = 3*p. Is g equal to 306?
False
Let q = -95 + 83. Let i be (8/q)/(24/(-18)). Let s(l) = -l + 2. Let v be s(-2). Is i != v?
True
Let v(g) = 471*g + 839. Let b be v(-2). Is -107 bigger than b?
False
Let q = 749432 + -30792562/41. Let w = q + 1606. Is w less than or equal to -1?
False
Let d(k) = -k**2 + 9*k - 5. Let x be d(7). Suppose 0 = -11*l + 52 - 8. Suppose -x*z + 20 = -l*z. Which is smaller: 32/7 or z?
z
Let l be (426 - -32) + 2*6/(-3). Which is greater: 455 or l?
455
Let y be (4 - 5 - 1)*33795/(-90). Is y less than 752?
True
Suppose -74*s + 1758 + 813 = -3571. Suppose -5*p + 5*w = -383 - 62, 182 = 2*p - 3*w. Which is greater: p or s?
p
Let x = 126 + -96. Let u = 30.2 - x. Is 23 at least u?
True
Let x = -47 + 61. Suppose -x*a = -4*a. Is a >= 4/31?
False
Suppose -v = -2*l + 13, 0 = -3*v + 491*l - 488*l - 27. Which is smaller: -11 or v?
-11
Let o(q) = 104*q - 5. Let g be o(0). Which is greater: -42/11 or g?
-42/11
Suppose 405*n = -8*r + 401*n - 12660, -r - 1578 = 2*n. Which is smaller: r or -1590?
-1590
Let k be (-2167)/(-22) - (-2)/4. Suppose -k = -3*s + 15. Let i = -51 + 88. Is s greater than or equal to i?
True
Suppose 0 = 9*j - 70 + 43. Let q = 140 - 133. Which is bigger: q or j?
q
Let p = 181 + 15. Let h = p + -202. Is 11 less than h?
False
Suppose -11*i = i - 4080. Let h be (-4)/(-14) - i/(-3220). Is h greater than or equal to 1?
False
Let v(r) = r**2 + 6*r - 6. Let i be v(-7). Let l be (i + (-1 - 3))*(-4)/(-28). Suppose 0 = -3*h + 2*o - 3, -5*h + 7*o - 4 = 4*o. Is l bigger than h?
False
Let p = -2 + 1. Let q be (-740)/(-374) - -1 - -120*79/(-3160). Is q at most as big as p?
False
Let n(h) = -38*h + 153. Let k be n(-1). Let z be (3 - 370/(-4))*2. Is z greater than or equal to k?
True
Let g = 6101 + -6101. Let z(k) = 3*k + 1. Let w be z(2). Suppose 0 = w*s - 2*s + 5. Are g and s unequal?
True
Let h = 2/4549 - -1123563/90980. Let z be 346/35 - (-2)/(-7). Let m = h - z. Which is smaller: m or 2?
2
Suppose 0 = 6*x + 1 - 13. Suppose x*r + 0*r = -6. Let a be r/(-9) + -4*38/12. Which is greater: a or -11?
-11
Let t(i) = 219*i**2 - 3. Let l be t(3). Suppose -17*w - 24*w = -l. Which is greater: w or 2?
w
Let x = -3 + 2.9. Let d(g) = -324*g**2 - 97202*g - 409. Let a be d(-300). Which is smaller: a or x?
x
Let a = -3869 - -1818431/470. Suppose -5*b + 17*d - 204 = 0, -3*b + 38 = 3*d + 2. Is a greater than b?
True
Let k = 25199.3 + -25199. Is k not equal to -4570?
True
Let m = -2.677 + -0.023. Let d = -128 + 128. Suppose d = 2*v + 3*g + 6, 3*g + 6 = 5*v. Is m greater than v?
False
Let o(w) = -48*w + 5331. Let q be o(113). Which is smaller: -80 or q?
q
Suppose -48017*y - 247518 = -48035*y. Is 13752 not equal to y?
True
Let a(r) = 32*r - 1. Let k be a(-1). Let z be (-2)/(-11) + (-64320)/440. Let h = z + 146. Which is bigger: k or h?
h
Let i(o) = -2*o**3 + 5*o**2 - 25*o - 73. Let s be i(9). Are s and -1349 equal?
False
Let l = 1.286 - 1.586. Is l greater than 3/56?
False
Let s(r) = -3*r + 20. Let d be (2 - 14/4)*(-24)/9. Let a be d - 3 - -2 - -3. Let t be s(a). Is 11 not equal to t?
True
Let z be ((-99)/(-22))/(3/(-126)). Let b = 58 + z. Are -132 and b nonequal?
True
Let c = 3186 - 54202/17. Let n(q) = -q**2 + 26*q - 49. Let u be n(24). Are u and c nonequal?
True
Let m = 63 - 57. Suppose -6*w + 30 = m. Suppose 3*i - w = -n - 10, 0 = -n + 5*i - 6. Is -14 equal to n?
False
Let a = 48 - 91. Let k = a - -42.9. Let v = 3.19 + -0.19. Is k less than or equal to v?
True
Suppose 5*y - b = -10, -3*y + 2*b = -8*y + 5. Let n be (-36405)/5220 - (2 + -9). Is n greater than or equal to y?
True
Let k be 9 + -5 + (1 - 7). Let a be 3/(-6)*k + 4. Let r be 0*2/(1 - a). Which is smaller: r or -2/227?
-2/227
Let d = 226.965 + -0.465. Let v = -226 + d. Do v and -33 have different values?
True
Let y = -10394 + 10656. Is y at most as big as 2/39?
False
Let n(f) = f**3 + 12*f**2 + 47*f - 1. Let k be n(-12). Let a = k + 569. Which is bigger: -8 or a?
a
Suppose 5*j - 38*d + 6359 = -36*d, -5*d + 3804 = -3*j. Which is greater: j or -1271?
-1271
Let x = -27581/4 + 6854. Let n(y) = -y**3 - 32*y**2 - 118*y - 2737. Let j be n(-31). Is x at least j?
False
Let n be 77/(-22)*(-3 - 11). Is -103 less than or equal to n?
True
Suppose 172 + 52 = -4*v. Let f = 842/15 + v. Let t be (-28)/(-9) + (13 - 16). Is f > t?
True
Let m be 4 - (11 + 4 + -3). Let r be 2*30/m*8/(-20). Suppose -r*z - z = -24. Is z at most 6?
True
Suppose 0 = -3*s - 74 + 1229. Let i = s - 385. Is i bigger than -24/23?
True
Let t = -1061.1229 + -2.8771. Is t bigger than 1.3?
False
Let n be ((0 + -2)/2)/13. Let g = 63 - 64. Let q = g + 0. Does q = n?
False
Let a = 138994/3801 + 2/543. Let t = -31369 - -31407. Do t and a have different values?
True
Suppose 5*v = 2*q - 7 - 4, 0 = v + 3*q + 9. Let u be (-33098)/(-16) - v/8. Let x = u - 415867/201. Is x bigger than -1?
True
Suppose -5*n = -68*l + 69*l - 22, 0 = -2*n + 2*l + 16. Suppose 4*q + 108 = -5*z + 4*z, 135 = -n*q - 5*z. Is q less than or equal to -34?
False
Let j = -0.6575 - 0.0525. Let r = j - 38.29. Is 0 >= r?
True
Let t = 0.0445 - 2.8445. Suppose -i = -4*d + 12, 2*i - 7*i - 20 = 0. Suppose -5*z = -d*a + 15, 2*a = -z - 0*z + 9. Which is greater: z or t?
z
Let y(j) be the second derivative of 5*j**3/6 - 4*j**2 + 16*j. Let x be y(12). Let f = x + -51. Which is greater: 0 or f?
f
Let k = -63 - -31. Let n = 1293 - 1328. Which is smaller: k or n?
n
Let n(x) = x**3 + 8*x**2 + 15. Suppose -2*q = -5*s + 50 - 7, -4*s + 65 = -5*q. Let p be n(q). Which is smaller: p or -65?
p
Let r = 379 - 378. Is r bigger than -2/1451?
True
Suppose -2*m - 54 = m. Let n be ((-1081)/46)/(m/(-8)). Let w = n - -56/45. Which is smaller: w or -8?
w
Let k be (5 + (-6 - (-5)/((-45)/(-6))))*3. Let g be (-2)/5*(2676/1336 + -2). Which is smaller: k or g?
k
Suppose -4008 = 3*p - 3*x, -6688 = 5*p + 48*x - 51*x. Is 4 equal to p?
False
Let d(r) = 3*r**2 - 16*r - 747. Let a be d(18). Does -128 = a?
False
Suppose -2*j - 2*p - 6 = 0, -124*p = j - 120*p + 9. Is 3/30509 greater than j?
True
Let y = 0.41757 - 5.41757. Is 525 equal to y?
False
Let o = -4.4266 - -0.0266. Let w = -99.7 + 104. Let l = w + o. Do l and -35 have the same value?
False
Let u(b) = 3*b - 3. Let l be u(2). Let w be l*10/(-225) - 296/30. Let j be -2 + 77/35 + (-134)/w. Is 13 smaller than j?
True
Suppose 8 = 10*h - 142. Suppose -5*r - 17 = -3*l, -2*l - h = -6*l - r. Which is smaller: 3 or l?
3
Suppose -5*l - 5*k = 5, 44*l + 8 = 40*l - 2*k. Let z be l/((-22)/44 - (-7)/2). Is -4/71 equal to z?
False
Let w = -559 - -563.66. Let c = -48.74 - w. Let l = c + 52. Which is bigger: l or 0?
0
Suppose 0*c = 5*c + 5*s + 200, 5*s = -2*c - 95. Let r(t) = -10 + 452*t - 452*t - t**2. Let w be r(5). Is w bigger than c?
False
Let m = -3924 - -3923.8. Is -702 >= m?
False
Suppose -21*n + 17 = -38*n. Which is smaller: -2/7961 or n?
n
Suppose 5*m + 0*p = -5*p + 25, 2*m + 2 = p. Let t = -71535 - -71537. Which is bigger: m or t?
t
Let c be (0 + 1)*(62 + -40 + 1209). Is 1232 less than or equal to c?
False
Suppose 597*j - 448*j + 3725 = 0. Which is smaller: 27 or j?
j
Suppose -3*k - 5*r = -497, -4*k + 659 = -9*r + 12*r. Is k > 174?
False
Suppose 16*h - 3 = -147. Let l be ((-3)/(-4))/(h + (-749)/(-84)). Which is greater: -10 or l?
l
Let u be (-2)/3 + 1328/1938. Let a = 870255 - 870254. Which is smaller: a or u?
u
Let y be -4*15/(-112) - 4/14. Let o = y - 7/12. Let x = 28 + -5. Are x and o non-equal?
True
Let b = 5830103/4257 + -12325/9. Which is smaller: b or -1?
-1
Let b be 1 + 2/(-1) + 1. Suppose -5*y = 4*j - 4411, j + 0*y = 3*y + 1107. Let c be 24/88 + j/(-1144). Is c smaller than b?
True
Let g = -43466/28497 - -2/1357. Are 5 and g equal?
False
Let w(q) = -428*q + 426. Let y be w(1). Let k = -9 + -4. Let z = k + 12.7. Which is smaller: y or z?
y
Let j = 22103607/181 + -122119. Which is smaller: 1 or j?
j
Suppose 3*y - 2*f - 47 = 0, -2*f + 5 = 5*y - 4*y. Suppose 0 = y*t - 3*t. Is 19 != t?
True
Suppose -9*x = -13*x + 20. Suppose -2*t + x = 3*q, -2*q + 16 = 14. Let o be (-6)/8 - (-469)/252. Which is bigger: o or t?
o
Let n = -18395 + 