Let o(k) be the third derivative of w(k). Is o(-10) a multiple of 20?
True
Let d(m) = -8*m - 51. Let h be d(-7). Let o be h + 1788/30 + 2/5. Suppose 35*j - 30*j - o = 0. Is 9 a factor of j?
False
Suppose -2192*h = -2148*h - 609840. Does 45 divide h?
True
Suppose -5*i = -30, 467*i + 6582 = r + 468*i. Does 12 divide r?
True
Let l(p) = p**3 - p**2 - 2*p + 2. Suppose -8 = -4*f + 3*r, 2*r + 2 = -f + 2*f. Suppose -i = -f - 3. Does 12 divide l(i)?
False
Let h = 24 - 47. Let z(p) = -5*p - 48. Let j(y) = 10*y + 96. Let q(d) = 3*j(d) + 7*z(d). Is 19 a factor of q(h)?
False
Suppose 5*t - 37168 = -2*n, -3*t = -131*n + 132*n - 18584. Suppose 24*d - 47*d = -n. Is d a multiple of 28?
False
Suppose -10*v + 1937 + 2343 = 0. Suppose -j - v = -6*j + 3*b, -3*j - 4*b = -251. Suppose j = 3*w - 5*n, 4*w + 5*n = w + 95. Does 4 divide w?
False
Let h(k) = k + 4. Let g be h(5). Suppose -2*o = -g*o. Is 20 a factor of 9 - -35 - (-2 - o)?
False
Let s(l) = -20 + l**3 - 18*l**2 - 7*l + 30*l**2 - 6*l**2. Is 13 a factor of s(-6)?
False
Suppose 18 = -5*s - 2. Let t be 2*(-1 - (s - (1 + -3))). Suppose 9*c - 4*c - 3*m = 880, -2*c + 336 = t*m. Is 21 a factor of c?
False
Let u(s) = 2654*s - 380. Is 121 a factor of u(13)?
True
Let f(o) = -o - 21. Let y be f(-12). Let b be -4 - (-3)/(y/(-177)). Let d = b + -35. Does 4 divide d?
True
Let l(u) = 83*u + 13553. Is 52 a factor of l(-102)?
False
Let w(x) = x**2 + x + 7*x**2 + 23*x**2. Let p be w(1). Suppose -p = -v + 5*q, 2*q - 23 = -v + 2. Is 9 a factor of v?
True
Let i be 12/18 + 22/3. Suppose -v = -i*v. Suppose v*y - 3*y + 36 = 0. Is y a multiple of 2?
True
Let n(a) = 197*a + 53. Let p be n(-19). Let i be p/72 - (-2)/8. Let w = i - -138. Is w a multiple of 35?
False
Suppose 5*i - 4*x - 3610 = 23262, -5*x + 21473 = 4*i. Does 68 divide i?
True
Let j = 6038 - 5494. Does 22 divide j?
False
Let f(k) = -k + 18. Let m be f(13). Suppose -160 = -4*l + 4*y, -m*y - 112 = -2*l - l. Suppose l = q + q. Is 11 a factor of q?
True
Suppose -4*j + 3266 = -386. Let n = -636 + j. Is n a multiple of 35?
False
Let m(r) = -36*r**3 - 4*r**2 - 2*r + 1. Let w be m(-1). Let a be w/25 - 6/(-10). Suppose 0*z - 42 = -2*z - a*i, 3*z = -4*i + 63. Is 3 a factor of z?
True
Let n(o) = -11 - 3*o**2 + 25 - 19 + 0*o**3 + 31*o**3 + 6*o. Is n(2) a multiple of 6?
False
Does 67 divide 6960756/76 - (8/12)/((-19)/3)?
True
Let z(o) be the first derivative of o**3/3 - 27*o**2/2 - 9*o + 106. Does 9 divide z(36)?
True
Suppose -d - 442*q + 20514 = -446*q, 3*d + 2*q - 61458 = 0. Is 65 a factor of d?
False
Let n(m) = 4*m + 3590. Does 18 divide n(52)?
True
Suppose 5*d + 2*p = 7714, 18*d + 3073 = 20*d + 5*p. Is 4 a factor of d?
True
Let n(a) = -3*a**2 - 25*a + 52. Let g be n(10). Is 19 a factor of (39 + -7)*g/(-8) - 3?
False
Let f(l) = l**3 + 8*l**2 + 7*l + 4. Let i be f(-7). Suppose -4*q = -i*x + 412, -255 = 4*x + q - 652. Suppose 3*g - x = 8. Is g a multiple of 9?
True
Suppose -h - 2*y = -0*h - 45, -2*y - 230 = -4*h. Is 23 a factor of 5 - 285/h - 9464/(-22)?
False
Let s(a) = -a**3 - 7. Let k be s(4). Let o = 13 - k. Is 18 a factor of o?
False
Let d(s) = 467*s + 214. Let p(n) = -157*n - 71. Let i(u) = 3*d(u) + 8*p(u). Does 33 divide i(6)?
False
Suppose p + 7*p = 48. Suppose -a - 40 = -p*a. Let q(z) = -z**3 + 10*z**2 - 14*z. Is q(a) a multiple of 8?
True
Let t = -336 + 330. Let h be (-2)/(4 - 2) + 2. Does 4 divide 13 + t*h/2?
False
Suppose 277 = -2*x + 4*g - 465, 1849 = -5*x + 4*g. Let w = x - -813. Does 37 divide w?
True
Let x(r) = 1939*r + 1260. Does 46 divide x(4)?
True
Let q be (0 - 1904/20)/((-2)/(-10)). Let c = 848 + q. Does 12 divide c?
True
Suppose 2*b - w = 746, b = 4*b - 2*w - 1119. Is b a multiple of 9?
False
Let n(f) = -2*f**3 - 6*f**2 + 4*f + 3. Let b be n(1). Is 687 - (-2 + -4 - b) a multiple of 64?
False
Suppose 4*a + w + 5266 = 34413, -5*a = -2*w - 36424. Is a a multiple of 37?
False
Let y(a) = -217*a + 889. Let j(h) = 24*h - 99. Let b(d) = -28*j(d) - 3*y(d). Does 18 divide b(-19)?
True
Let v = -23 - -27. Suppose -v*f + t - 6 = -23, -2 = 2*t. Suppose -w + 205 = f*w. Does 11 divide w?
False
Suppose 28*d - 381 = 123. Let w(c) = 3*c**2 - 33*c + 25. Is w(d) a multiple of 27?
False
Let v = 503 - 296. Suppose 4*b = -5*l + 310, 3*b + l - 31 - v = 0. Is 10 a factor of b?
True
Suppose -2*z = 5*x - 5*z - 170, 2*x + 4*z = 94. Suppose -x*j - 78 = -43*j. Is 3 a factor of j?
False
Let q(z) = -204*z + 4289. Is q(-140) a multiple of 107?
True
Let o(k) = -63*k**3 + 8*k**2 - 32*k - 247. Does 31 divide o(-7)?
False
Suppose 260*t = 247*t + 171496. Is 34 a factor of t?
True
Let b be (-1)/(-2)*318/(-3). Let w be 9/2*(-3 - b/3). Suppose -26 + w = 2*a - h, -3*a + 4*h + 70 = 0. Is a a multiple of 4?
False
Let l = 38 - 74. Let j(x) = -2*x - 16. Is j(l) a multiple of 7?
True
Let u be (-6)/(-24) + (-64806)/24. Does 15 divide ((-18)/(-27))/((-3)/u)?
True
Let a = 150 + -151. Does 13 divide 1*(-12)/a*20/6?
False
Let q be -7 - (-5 + 2 - -2). Let c(r) = 1 - 40*r + 7*r - 3 - 2. Does 28 divide c(q)?
False
Let l(z) = 4*z**3 - 15*z**2 - 75*z - 3. Does 17 divide l(20)?
True
Let j be 6/(-2) - (-9)/(-27)*4035. Let x = -766 - j. Is 12 a factor of x?
False
Let n = -27941 + 38441. Is n a multiple of 60?
True
Suppose 9 + 209 = 2*g. Let b be 405/18 + 2/4. Let u = b + g. Is 33 a factor of u?
True
Let h(q) = -q**2 - 14*q - 18. Let t be h(-13). Let l be 3 + 1791/t - 1/(-5). Let p = 544 + l. Does 27 divide p?
True
Let g = -302 - -304. Suppose 25 = 5*v, 0*v + g*v = 2*t - 230. Does 13 divide t?
False
Suppose 4*n - 3*h = 7*n - 109056, 109014 = 3*n - 3*h. Is 15 a factor of n?
True
Let h(f) = 15*f**2 - 20*f + 39. Is 3 a factor of h(7)?
False
Let t(f) = f**3 + 16*f**2 - 2*f + 8. Let j be t(-16). Let x = 36 - j. Does 21 divide ((-12)/16)/(-3) + (-83)/x?
True
Suppose 0 = -5*x + 3*x + 4. Suppose 6*b = x*b. Suppose b = a + a - 58. Is 15 a factor of a?
False
Suppose 3*t + 15 = 0, 67*j = 64*j + 2*t + 10690. Is 40 a factor of j?
True
Does 54 divide (1242/75*5)/(1/15)?
True
Suppose 0 = -2*u - 69 + 81. Suppose -u*d = -161 - 559. Is d a multiple of 10?
True
Let d be ((-4401)/36)/((-6)/16). Let v = 477 - d. Suppose 2*o - v = 109. Does 24 divide o?
False
Let c = 945 - -1035. Is 99 a factor of c?
True
Is 31 a factor of 97644/(-8)*12/(-18)?
False
Let s = 248 - 243. Suppose a + 4*k = 34, 0 = s*a - a + 5*k - 125. Is a a multiple of 3?
True
Does 10 divide (25/(-5) - (4 + 5*-2))*500?
True
Let q(v) = v**3 + 7*v**2 + 7*v + 2. Let n be q(-5). Suppose 5*g = n*g - 7*g. Suppose g = -8*x - 105 + 489. Does 4 divide x?
True
Suppose -3*n = m + n - 3, -3*m = -n - 9. Suppose o - 636 = 4*t, 6*o + m*t = o + 3180. Does 12 divide o?
True
Is 11 a factor of -5*(-3)/60 - (223956/(-48) + -6)?
False
Let h be (-21 - -1)/((-1)/41). Suppose 389*n = 370*n + 152. Suppose 3*d = n*d - h. Is 47 a factor of d?
False
Suppose 11*h - 40 = 9*h. Suppose 0 = -0*x - 2*x + 2*u - h, 4*x + 35 = -u. Is 4/(-12) - 111/x a multiple of 3?
True
Suppose -10589 + 925 = -2*h. Does 16 divide h?
True
Suppose -781 = j - 3*s, 0*s = 5*j + 2*s + 3837. Let k = -150 - j. Is 12 a factor of k?
False
Suppose m + 0*m - 87 = -a, -159 = -2*a - 5*m. Let p = a - 90. Is 7 a factor of (-8)/(-2) + 17 + p + -2?
True
Let b be (-55)/30 - 1/6. Let p be 698/(-2) + 1 + b. Does 20 divide (1/((-15)/18))/(21/p)?
True
Let s(r) = r**3 - 8*r**2 - r + 52. Let f be s(7). Is 11 a factor of f - (-349 + -2)/1?
False
Is (-6)/((-315)/(-25578)*(-6)/20) a multiple of 4?
True
Suppose -5*r + 13330 = -2*a, 382*a = -2*r + 377*a + 5361. Is 116 a factor of r?
True
Let c(t) = t**2 - 66*t + 949. Does 4 divide c(21)?
True
Let s(d) = -d**3 + 38*d**2 - 18*d + 251. Is s(35) a multiple of 20?
False
Let n = -175 - -168. Does 41 divide 492 - (0 - 0/n)?
True
Let a be 24/(-56) + 34/14 + 1. Suppose 222 = 4*t + 2*k, 0 = -4*t - k - a*k + 216. Does 19 divide t?
True
Let r(o) = -36*o - 131. Let l be r(-5). Suppose -l*z - 7296 = -81*z. Is 57 a factor of z?
True
Suppose 0 = 230*i - 228*i - 5*p - 11054, -i - 4*p = -5566. Is i a multiple of 18?
False
Let j be -6 - 42/(-3) - -464. Suppose 5*f - j - 3 = 0. Is 3 a factor of f?
False
Suppose -4*j + 0*i - 5*i = 7, j + i = -1. Does 13 divide 462/(-11)*j/(-4)?
False
Suppose 4*g - 41176 = -4*l, -6*l - 41113 = -4*g - l. Does 81 divide g?
True
Is 13 a factor of 37331 - (0/(-6) - (8 + -3))?
True
Suppose -206*b + 2