 (-11)/22. Is 8 a factor of 257/4 - (-5 + 147/p)?
True
Suppose 2*t = -2*t + 5*m + 20, 2*m = -t + 5. Let n be 0 + 2 + 2 - (t + -2). Is ((-4)/2)/(n/(-38)) a multiple of 10?
False
Let n = 6638 + -6628. Is 10 a factor of n?
True
Let v(z) = 9*z**2 - 7*z - 64. Let f(x) = 5*x + 31. Let i be f(-7). Does 15 divide v(i)?
False
Let y be 5 + 13/(-3) - (-13)/3. Suppose -o - 2203 = -y*c, 0*o = -c + o + 439. Is c a multiple of 21?
True
Suppose -2*l = 3*s - 2 + 5, -4*l + 14 = 2*s. Suppose -2*p = -l - 2. Suppose -4*d + 4*j + 56 = 0, p*j + 4 = 12. Is d even?
True
Suppose -5*i + 3*w - 41 = -10*i, -2*w - 10 = -2*i. Is 7 a factor of (2 - 2) + i/((-28)/(-188))?
False
Let q be 3/((-54)/40 - (-18)/12). Let d = q + -16. Suppose 7*p - d*p - 702 = 0. Is 39 a factor of p?
True
Let x = 72774 + -51165. Is x a multiple of 42?
False
Suppose -8*i - 10129 = 3*i - 23945. Is 157 a factor of i?
True
Suppose 5*j - 2*n = 13, j - 2*j + 5 = 2*n. Suppose -2*p + 4*b + 40 = 0, -j*p + 19 = -b - 16. Is p a multiple of 2?
True
Let a(n) = n**3 - 7*n**2 + 7*n - 3. Let y be a(5). Suppose 0 = -7*k + 46 - 326. Let x = y - k. Is 11 a factor of x?
True
Suppose 6*w + 2*w = 3*w. Let y = w + -1. Is 17 a factor of (6/(-18))/(y/321)?
False
Suppose 3*w = -2*j + 260, 3*j + 519 - 54 = 5*w. Does 30 divide w?
True
Let o(t) be the third derivative of t**5/60 + 5*t**4/12 + 2*t**3/3 - 12*t**2. Let i be o(-9). Is -32*(-3 - 5/i) a multiple of 16?
True
Let y(x) = -278*x - 1932. Is 53 a factor of y(-10)?
True
Suppose -21*m - 97145 = -148054 - 100816. Does 85 divide m?
True
Suppose 4*p - 53 = -253. Let w = 715 - p. Does 51 divide w?
True
Let h = -53 + 57. Suppose -5 = -s, 3*d + 2*s - 1 = -0. Is 26 a factor of 2 - (159/d*2 + h)?
True
Let x(h) = -1453*h**2. Let q be x(1). Let c = q - -3269. Does 60 divide c?
False
Suppose 2*b = -5*k + 28866, 6*b = 5*k + 50426 + 36012. Is b a multiple of 27?
False
Let r = -15958 - -24374. Is r a multiple of 32?
True
Suppose -8*h + 487 = 1439. Let f = h + 145. Is f a multiple of 14?
False
Let j = 84 + -64. Is 20 a factor of j?
True
Let t be -198 + 196 - (4*-1)/2. Suppose 4*v - 169 = -3*r, 2*r + 5*v - 124 + 23 = t. Does 7 divide r?
True
Let d(f) = 27*f**2 + 13*f + 406. Does 15 divide d(17)?
True
Let b be 5/1 + ((-6)/(-3) - 5). Let o(g) = 112*g**3 - 54*g**3 + 19*g**b + 15 - 20*g - 57*g**3. Is o(-20) a multiple of 12?
False
Let x = 7137 - -5715. Does 14 divide x?
True
Suppose -3*c + 5124 - 33 = 0. Suppose -c = -5*u + 3603. Is u a multiple of 98?
False
Let g = 37417 - 22346. Does 130 divide g?
False
Let y(c) = c**2 + 8*c + 14. Let m be y(-6). Suppose -2*p + m*q = -1640, q - 5*q - 805 = -p. Does 25 divide p?
True
Suppose 5*f - 5 = -0. Let v(b) = -11*b**2 - 2*b + 3 + 4*b**3 - 2 + 12*b**3 + 12*b**2. Does 4 divide v(f)?
True
Suppose 63639 = 5*s + 6*w - 5*w, -3*w + 50898 = 4*s. Is 23 a factor of s?
False
Suppose -4*k + 22 = -2*j, -5*j = 5*k - 16 - 49. Suppose -k*h + 1149 = 69. Is h a multiple of 9?
True
Let s(a) = a**3 + 22*a**2 + 32*a + 96. Suppose 5*y = 15, 9*y + 86 = -4*n + 11*y. Does 95 divide s(n)?
False
Suppose -31*w + 170023 + 335147 = -91704. Does 17 divide w?
False
Suppose 139 = i - 3*u, i = -i + 4*u + 284. Suppose -838 = -5*x - i. Is x a multiple of 6?
True
Let y be (-3)/7 + (-4504)/(-56). Suppose -87*z + y*z = -1624. Does 8 divide z?
True
Suppose -5*t = 2*g - 22, -4*g + 23 = t - 3. Suppose g*u - 19*u + 4771 = 0. Is 14 a factor of u?
False
Suppose 0 = -41*u - 9368 + 19485 + 287953. Is u a multiple of 28?
False
Let v(n) = 32 + 136*n + 120*n - 279*n. Does 72 divide v(-8)?
True
Let o(u) = u**2 - 32*u + 90. Let s be o(29). Does 14 divide 86 - (21/(-28) - s/12)?
False
Let q(y) = y**3 + 20*y**2 - 32*y - 74. Suppose -282*w + 278*w - 84 = 0. Does 8 divide q(w)?
False
Does 110 divide (-191 - -70)*(0 + -29 + -1)?
True
Let v(z) = 6*z**2 - 15*z - 26. Let h be v(10). Let o = h + -121. Does 12 divide o?
False
Let d = 151 - -45. Does 49 divide d?
True
Let l(t) = t + 3. Let m be l(-3). Suppose -i + 9*i = 2592. Suppose m = 3*a - i - 204. Is a a multiple of 16?
True
Let q be 18/4*16*(-8)/(-192). Suppose 0*s - 74 = -3*s - 5*m, s - 2*m = 43. Suppose q*g - s = 39. Is g a multiple of 19?
False
Let k be (-7)/14*90/(-3). Suppose 0 = m - k + 11. Does 21 divide (1309/(-22))/((-6)/m - -1)?
False
Suppose -7*c + 10*c + 2*z = 158181, 4*c - 2*z - 210894 = 0. Is c a multiple of 111?
True
Let d be (-5*8/3)/((-26)/39). Is -1 + 3256/d + 4/20 a multiple of 27?
True
Suppose 4*k = 8*k - 4*f - 52, 0 = 2*k + 2*f - 42. Let u(r) = -r**3 + 18*r**2 - 17*r - 5. Let p be u(k). Let l(d) = -11*d - 15. Is l(p) a multiple of 8?
True
Suppose -2*m = 3*m - 4*v + 31, -3*v = 4*m. Let r be (m/6)/(2/(-500)). Suppose 8*w = r + 19. Is w a multiple of 9?
True
Let z be -7 + 3 + (2/2 - 3). Let c = z - -28. Suppose 4*d = 4*v + 16, 0*d - d + c = 5*v. Is d a multiple of 7?
True
Is 17 a factor of 82*5025/40 + (-81)/(-108)?
True
Let p = -19254 - -36399. Does 27 divide p?
True
Let z(d) = 13*d**2 - 215*d + 3012. Is 9 a factor of z(13)?
False
Suppose 120 = 39*h - 29*h. Suppose 0 = 20*a - h*a - 1848. Is 6 a factor of a?
False
Let p = -473 - -478. Let g(f) = 13*f**2 + 8*f + 20. Does 11 divide g(p)?
True
Let q(i) = 4*i + 36. Suppose 2*k + 3*k - 95 = 0. Suppose -19 = l - k. Is 9 a factor of q(l)?
True
Let v be (-14)/6 - -2 - 26/(-6). Suppose 0 = -2*a + d + 27, 5*d - v*d = a - 13. Is 7 a factor of a/(-70) + (-526)/(-5)?
True
Suppose 21 = -4*q + 37, 0 = x - 3*q - 3940. Does 47 divide x?
False
Suppose -687866 + 149504 = -22*p. Is p a multiple of 17?
False
Let s(t) be the second derivative of 2*t**4/3 + 3*t**3/2 + 53*t**2/2 + 14*t + 1. Does 62 divide s(-9)?
True
Let p(a) = a**2 - 23*a + 47. Let m be p(21). Suppose m*u + 36 = 161. Let b = u + 15. Does 18 divide b?
False
Suppose -231*q + 1345339 = -65*q - 2378373. Is 42 a factor of q?
False
Suppose -2*i - 5352 = 5*w - 14692, w = -2*i + 9356. Is 24 a factor of i?
True
Let f(a) = 3*a**2 + 14*a + 6. Let p(r) = 2*r**3 + 11*r**2 + 6*r + 7. Let t be p(-5). Suppose 5*b = t*c + 7, b + 0 + 1 = 0. Does 10 divide f(c)?
True
Suppose u - 237 = 2*b, b = -5*u - 92 - 54. Let s = b + 33. Is (-340)/(-7) - s/(-154) a multiple of 19?
False
Let g be ((-2)/4)/((-2)/(-4)). Suppose 3*t = -5*y + 161, -4*y + 99 = -y + 3*t. Let r = y - g. Is r a multiple of 11?
False
Suppose -2*q - 2240 = -2*r, 4444 = 4*r - 3*q + 8*q. Suppose 8*f = -4*f + r. Let z = f + -83. Is z a multiple of 5?
True
Suppose g + p - 1053 = 0, -3*p + 8*p - 1045 = -g. Let s = g - 426. Does 28 divide s?
False
Let i(k) = k**2 + 3*k - 2. Let v be (8/2 - 7)*-1. Let j be i(v). Suppose -y + j = -16. Is y a multiple of 16?
True
Let u = 1215 + -623. Suppose 7*r = 2*n + 3*r - u, -n + 305 = r. Is 8 a factor of n?
False
Let j be 2/6 - (40/(-6) - -4). Let r be -244 - (j - (4 + -4)). Let s = r - -367. Does 24 divide s?
True
Let c(m) = 3*m**2 - 20*m + 14. Let v be c(6). Suppose -532 = -v*w + 116. Is w a multiple of 12?
True
Let y be (-2)/(-4 + 10 + -4)*-4. Does 6 divide (y*(-3)/(-16))/((-1)/(-104))?
True
Let r(h) = 4*h**2 - 2*h - 1. Let z be r(2). Suppose z*a = 7*a + 24. Suppose 0 = -3*y - 3*n + 84, -n = -a*n. Is y a multiple of 14?
True
Is (-2502305)/(-260) - 90/(-24) a multiple of 166?
True
Let n(j) = j**3 - 11*j**2 - 179*j - 29. Let a be n(20). Does 21 divide 210*-18*a/135?
True
Suppose 7*d - 272 = -10*d. Let c(x) = x**2 - 6*x - 66. Is 14 a factor of c(d)?
False
Let d = 21 - -44. Let y = -1105 - -1210. Let t = y - d. Is t a multiple of 10?
True
Suppose -a = 135 - 127. Is 6 a factor of a/((-48)/306) - 6?
False
Suppose 5*y + q - 485 = 0, -91 = 354*y - 355*y + q. Does 3 divide y?
True
Suppose -5*i + 4*x = 9*x + 60, 3*i + 4*x + 39 = 0. Does 12 divide (-33 + -7)*(3 - i/(-2))?
True
Let c = 886 - 136. Is 25 a factor of c?
True
Is (-378)/(-18) + -31 + 408 a multiple of 6?
False
Does 8 divide 200910/35 + -4 + (-8 - 594/(-77))?
True
Suppose -10*r + 4176 = 996. Let k = 477 - r. Is 14 a factor of k?
False
Let t be 14/(-1 + 6/3). Let u(c) = -c**3 - 11*c**2 - 19*c - 10. Let d be u(-10). Suppose -12*x - d = -t*x. Is 6 a factor of x?
False
Let y(f) = -32*f**3 + 74*f**2 + 513*f - 11. Does 22 divide y(-7)?
True
Suppose 13*k = 16 + 49. Suppose -v + 76 = k*h, 4*h = h - 6. Is v a multiple of 11?
False
Let i = 4578 + -1402. Does 30 divide i?
False
Suppose -3*n + 7*n - 5*d = 5, -5*d = 4*n + 45. Let h 