 21*i + 15455 = -11*i. Does 4 divide i?
False
Let r(x) be the first derivative of -20*x**2 + 69*x + 5. Is 35 a factor of r(-5)?
False
Let t = 2323 + -1236. Suppose -3*l + 2978 = -t. Does 19 divide l?
False
Let z be (17/2)/((-1)/(-14)). Let t be (z/(-2)*-4)/(-6 + 8). Is 12 a factor of 3060/t - 2/(-7)?
False
Let c(r) = r**2 + r - 2. Let z be c(2). Let l = 468 + -186. Suppose l = z*g - 370. Is 31 a factor of g?
False
Let v be (30/(-18))/(3/((-36)/2)). Suppose -v*w + 55 = -55. Suppose 13*b = w*b + 130. Is b a multiple of 29?
False
Let v(s) = -1 + 18*s**2 + 14*s**2 + 5*s - 5 - s**3. Suppose 0 = -778*b + 811*b - 1056. Is 14 a factor of v(b)?
True
Let w = 53 - 59. Is 19 a factor of ((-1535)/10)/(w/12)?
False
Let o(l) = 405*l - 1591. Does 3 divide o(8)?
False
Let l be (48/(-32))/((-2)/(-8)). Let h be 6/9*l/4*-5. Suppose 0 = -4*p + w + 123 + 77, w = h*p - 250. Does 15 divide p?
False
Let h = -32189 - -56064. Does 125 divide h?
True
Suppose -17*m = -89 - 64. Suppose 26*k - m*k = 2805. Is 27 a factor of k?
False
Let y(g) = 2*g**3 - g**2 - 3*g - 7. Let t be y(4). Suppose j = t + 4. Let n = -57 + j. Does 8 divide n?
True
Suppose -24*k + 28*k - 20 = 0. Suppose s + k*p = 1105, -354 = -s - p + 763. Is 16 a factor of s?
True
Let y be ((-4)/(-5))/(4/(-20)). Let a be y/(-7) + (-2 - 8550/42). Let f = -145 - a. Is f a multiple of 12?
True
Let s(g) = 4*g**3 - 24*g**2 - 29*g + 67. Is 134 a factor of s(13)?
True
Suppose -2957 = 14*n + 4603. Is n/9*3/(-5) a multiple of 6?
True
Suppose 32*m + 6139 = 33*m. Is m a multiple of 13?
False
Let q = 1607 - 817. Suppose -2*w + d + d + 792 = 0, 4*d + q = 2*w. Is 10 a factor of w?
False
Let h(n) = 343*n - 1640. Does 5 divide h(10)?
True
Suppose -o + 5 = 0, -f + 9447 = -0*o + 5*o. Does 13 divide f?
False
Let u(k) = -k - 17. Let m be u(-19). Suppose -2*y - 16 = -4*v, 2*v + y = 5*v - 14. Suppose -2*t - 414 = m*j - v*j, 0 = 2*t + 6. Does 15 divide j?
False
Suppose -2*b - 6534 = -2*u, 2*u - 6516 = 2*b - 6*b. Suppose -33*j + 41*j - u = 0. Is 17 a factor of j?
True
Suppose -68*h = -189955 - 35669. Is 79 a factor of h?
True
Let d = 3645 - -1105. Is d a multiple of 25?
True
Is 40 a factor of 588/12*-4*20/(1 - 3)?
True
Let y(o) = -60*o**3 + 1 + o + 19*o**3 + 94278*o**2 + 0 - 94277*o**2. Let r(c) = c + 1. Let s be r(-2). Is 21 a factor of y(s)?
True
Suppose -2*g + 3*a - 3 - 2 = 0, -2*g + 4*a = 10. Suppose 3*f = 4*o + g, 3*f = 2*f + 4*o - 1. Suppose w + 58 = f*w. Is 7 a factor of w?
False
Let s be ((-16)/3)/2*(0 - 3). Is 10 a factor of (s + -11)/(3/(-105)*1)?
False
Suppose -14*r + 20*r = -12. Does 65 divide -5 - (96/r)/((-23)/(-345))?
True
Let h(a) = 287*a**2 + 109*a - 103. Does 193 divide h(5)?
False
Let c be (-20)/(-70) + (2 - (-65382)/(-7)). Does 13 divide 4/(-14) + c/(-98)?
False
Let j(k) = -4*k + 10. Let q be -1 - (-34*2)/4. Suppose 2*b + q = 4. Is 20 a factor of j(b)?
False
Suppose 40 = 3*x - 5*q, -2*q = 3*x - 8 + 3. Let g be (-156)/(x/5 - 3). Suppose 5*d - g = -n, 5*d + 135 + 159 = 3*n. Is 14 a factor of n?
False
Let q(m) = -m**2 - 3*m - 4. Let i be q(-3). Let v(p) be the third derivative of -p**6/120 - p**5/30 + p**4/4 + 8*p**3/3 - 151*p**2. Is 4 a factor of v(i)?
True
Suppose -b = 4*h + 737 - 3757, 3084 = b - 4*h. Does 20 divide b?
False
Let y(u) be the third derivative of u**5/60 + u**4/6 + 5*u**3/6 + u**2. Let q be y(-4). Suppose 0 = -3*d + q*p + 42 + 338, 4*d + 4*p = 528. Does 32 divide d?
False
Suppose 1213*z - 5338 = 1211*z + 2*h, -3*h = -4*z + 10683. Is 11 a factor of z?
False
Does 32 divide (-292)/365*(-6198 - 2)?
True
Let f be (-32 - 0)*((-40)/(-5) + -16). Does 5 divide -15*(f/(-24))/2?
True
Suppose -2*d - d - 380 = -2*u, d = 4. Suppose -u = 3*t - 7*t + 4*m, t - 3*m = 47. Is t even?
True
Suppose 8*s = -8 + 56. Suppose 10*r - 4*r - s = 0. Is r*((-8)/12 - 1)*-3 a multiple of 2?
False
Let p = 10 + -25. Let i be (2 - 5)/(5/p). Suppose 1215 = -0*l + i*l. Does 27 divide l?
True
Suppose -v = 3*f - 406, 9*v + 3*f - 1194 = 6*v. Let h = 717 - v. Is 19 a factor of h?
True
Let p(x) = -41*x + 184. Let u be p(4). Suppose u = -5*n, -804 = -3*s + s + 5*n. Is 7 a factor of s?
True
Let v be (-1)/(-8) - 188/(-32). Suppose -4*j = -3*n - 1423, 3*j - n + v*n - 1031 = 0. Is 32 a factor of j?
True
Suppose -442*r + 455*r = 99840. Does 25 divide r?
False
Is 36 a factor of 9 - ((-59395)/13 - -6) - (-6)/39?
True
Suppose 2*g = -c + 465, c + g - 15 = 452. Suppose 0 = 4*v - 5*v - 1, 0 = -5*d + 4*v + c. Does 31 divide d?
True
Let j(d) = 2*d**3 + 47*d**2 + 33*d + 494. Does 20 divide j(-21)?
False
Suppose 4*n + 0*g = -3*g - 1, 5*g = 5*n - 25. Let c = 75 + -78. Is c - -182 - (-2)/n a multiple of 30?
True
Is 257*((-20 - -14) + 28) a multiple of 11?
True
Let a = 298 + -200. Suppose -2*m - 3*z + 320 = 0, -2*m = 5*z - 121 - 195. Let s = m - a. Is 15 a factor of s?
False
Let j(k) = k**3 - 6*k**2 - 2*k. Let b be j(7). Suppose 2 = 4*z - 53*i + 55*i, -2*z + 5*i = -7. Is 4 a factor of z - (-2 - -2) - b*-1?
True
Suppose 0 = -0*b + b - 4*j, b - 2 = 2*j. Suppose -b*p = -5*x - 38 - 384, 3*x - 330 = -3*p. Is 4 a factor of p?
True
Suppose 4*o = -3*a + 1766 + 1843, o + 2395 = 2*a. Does 6 divide a?
False
Let w(a) = a**2 + 53*a - 44. Let o be w(-31). Let u = -590 - o. Is u a multiple of 8?
True
Suppose -j - 3*j - 5*a = 272, j - 3*a = -68. Is -7*((-34)/(-3))/(j/510) a multiple of 79?
False
Let j be (-23 - 0)/(2/(-2)). Let x = -597 + 562. Let d = j - x. Is 17 a factor of d?
False
Let m = -155 + 157. Does 7 divide (-5175)/18*(m - 4)?
False
Let c = -3300 - -5712. Is 12 a factor of c?
True
Let v(p) = 2*p**2 + 20*p + 18. Let r be v(17). Suppose -r = 4*i - 4416. Is 15 a factor of i?
True
Let v = 5470 - 3454. Does 21 divide v?
True
Suppose -2*y + 5*w - 1790 = 0, -4 = -w - 2. Is 5 a factor of y/(-5) + (-3 - -3 - -2)?
True
Suppose -3*b - 12 = -18. Suppose -2*t - 2*r + b = 0, 0 = 4*t + 5*r - 2 + 1. Suppose -688 = -t*w - 3*u, 3*w = -4*u - 131 + 647. Is 23 a factor of w?
False
Let t be (-4)/6 - (-3 + 35/15). Suppose 0 = 2*g + 2, -3*q + t*q + 137 = -5*g. Is q a multiple of 3?
False
Suppose 2*z - 2*x - 2*x + 10 = 0, -4*z = -x - 1. Let o be (((-1)/z)/(-2))/((-2)/664). Is 2 a factor of (4/(-3))/(3 + o/54)?
True
Let x(d) = -6*d + 3. Let q be x(-5). Let t(h) = h**3 + 20*h**2 - h + 20. Let k be t(-20). Let l = k - q. Is l even?
False
Let g = 14958 - 7886. Is 26 a factor of g?
True
Suppose 25*m + 368 = 68. Does 27 divide (12/(-8))/(m/632) - -2?
True
Let m(s) = -4*s**2 - 28*s + 23. Let z be m(-8). Is 4 a factor of (-18 + (-4)/2)*z?
True
Let s(m) = 4*m - 10 + 55 + 66. Is 6 a factor of s(-21)?
False
Let g(u) = u**3 + 4*u**2 - 20*u - 62. Let a be g(-5). Is 16 a factor of (0 - -4 - a) + 157?
False
Let l be ((-7)/(-2))/((-2)/(-8) + 0). Suppose -v + l = -q, q - 2*q = v - 4. Suppose 596 - 128 = v*m. Does 23 divide m?
False
Let b = 28 - 22. Let k(p) = -p**3 + 8*p**2 - 10*p - 6. Let d be k(b). Is ((-80)/d)/4*-15 a multiple of 11?
False
Let b(p) = 108 + 2 - 577*p + 9. Is b(-2) a multiple of 85?
False
Let c(o) = o**3 - 35*o**2 + 82*o - 72. Let h be c(32). Is (-13)/(h/1376) + (-6)/(-10) a multiple of 12?
False
Suppose -4*p = 2*a - 574, -5*a - 5*p + 7*p = -1507. Does 3 divide a?
False
Suppose -3*r + 44044 = 10*r. Does 26 divide r?
False
Let a = -6263 + 9703. Is a a multiple of 86?
True
Let b(d) be the third derivative of -d**4/24 + 2*d**3/3 + 10*d**2. Let j be b(3). Let r(q) = 40*q**3 + 3*q**2 - 1. Is 11 a factor of r(j)?
False
Let t(j) = j**2 - j - 13. Let v be t(4). Let g be (v/4)/(-1) + 589/124. Suppose -g*l - 278 = -4*d, 0*l + 282 = 4*d - 3*l. Is 9 a factor of d?
True
Suppose -13*j = -2*d - 12*j + 15, -4*d - 5*j = -23. Suppose 0 = c - 3*c. Does 3 divide (50/(-2))/((c - 8) + d)?
False
Suppose 5*k - 8556 = -t, -37*k + 17112 = 2*t - 39*k. Is t a multiple of 12?
True
Let h(b) = -6*b - 1. Let s be h(-6). Does 17 divide -2 - -1 - 1 - (-14420)/s?
False
Let l = 76 + -95. Let b(p) = -20*p - 131. Is 15 a factor of b(l)?
False
Suppose 0 = w - 20 - 5. Let b be (-9170)/(-25) - 20/w. Let x = -217 + b. Is 24 a factor of x?
False
Suppose 0*v - 5*v - 800 = -5*r, 3*v + 324 = 2*r. Suppose 4*l - 2*i = 2*i - r, 3*i = -5*l - 171. Let g = l + 71. Does 5 divide g?
True
Let h(f) = 158*f**2 + 5*f + 2. Let g = 364 - 363. Does 55 divide h(g)?
True
Let i = -23972 - -62393. Does 82 divide i?
False
Let l = -57 + 101. Let i = l - 39.