1 divide p(-4)?
True
Let o = -165 + 251. Suppose -4*d + o = -2*d. Is 5 a factor of d?
False
Let y = 59 + -14. Let h = y + -45. Suppose h = 3*z - 7 + 1, -5*z = -2*k + 168. Is k a multiple of 13?
False
Let k be (3 - ((-15)/(-6) + 0))*8. Let p = k - -73. Is 7 a factor of p?
True
Let x(k) = 23*k - 2. Let c be 34/((-2)/4 + (-5)/(-2)). Suppose 2*g - c = -5*w, 0 = 3*g - 8*g - 5*w + 20. Does 2 divide x(g)?
False
Let g(d) = -7*d + 67. Let k be g(9). Suppose -4*x = -k*z - 1028, 4*x + 5*z - 432 = 578. Is 7 a factor of x?
False
Let i be 4/(5 - (-27)/(-9)). Suppose 0 = 5*x - 4*v - 2592, -2*v = -i*x - 6*v + 1048. Is 33 a factor of x?
False
Suppose 0 = 4*x - 4, -3*k + 8*k = -2*x + 22. Suppose k*n - 5*n = -11. Does 11 divide n?
True
Suppose -222*u = 2*j - 225*u - 30585, 76382 = 5*j + 4*u. Is 133 a factor of j?
False
Let x(r) = 7308*r**2 + 12*r + 6. Is 6 a factor of x(-1)?
True
Suppose 221*t - 217*t + 98 = -2*f, 0 = -5*f + 4*t - 301. Let h be ((-98)/(-4))/(1/4). Let m = h + f. Is 8 a factor of m?
False
Is 118 a factor of (-5)/((-15)/(-3)) - 2 - -3558?
False
Let n = 2205 + -3168. Is (-1 + n/27)*(-13 + 1) a multiple of 16?
False
Suppose -2*j = -4875 - 179. Suppose -5*y + j = 4*s, 698 = 4*s - y - 1859. Is (1*(-1)/1)/((-11)/s) a multiple of 15?
False
Suppose -3*t + 19 = 3*h - 2, -5*h - 3*t + 33 = 0. Suppose h*z - 104 - 4 = 0. Is 515/6 + 3/z a multiple of 43?
True
Let l(i) = -5*i**3 - 8*i**2 - 19*i + 1. Let c(y) = y**3 + y - 1. Let a(b) = 4*c(b) + l(b). Is 31 a factor of a(-10)?
False
Let r = 75 - 67. Suppose -987 = -r*l + 2325. Is l a multiple of 23?
True
Suppose -4*k - 17*k + 390440 = 19*k. Is 43 a factor of k?
True
Let x be 4/(-3 + 6 - 1). Let v be (-493)/(-145) - x/5. Suppose 6*q + 31 = b + 2*q, 0 = -v*b - q + 106. Is b a multiple of 7?
True
Suppose -2*v - 4 = 0, g + 5*v = -10 + 2. Suppose -5*z + 13 = -g. Is 8 a factor of z - 138/(2 + -4)?
True
Suppose -202*w + 201*w - 2*z + 903 = 0, -3*z = -3. Is w a multiple of 6?
False
Let k(s) = -1183*s**3 - 19*s**2 - 42*s - 8. Is 28 a factor of k(-2)?
True
Let c = 17 - -24. Let z = 45 - c. Suppose -3*s - 186 = -3*i, 3*s = z*i - 174 - 72. Is i a multiple of 30?
True
Let q(i) = -i**3 + 6*i**2 + 2*i + 14. Let j = -612 + 616. Does 3 divide q(j)?
True
Let i = 13 - 1. Let w(g) = -10*g**2 + 10*g - 24. Let y be w(3). Let h = i - y. Is 17 a factor of h?
False
Let b = -624 + 626. Suppose -2*f - k + 1595 = 0, 17*f = 12*f + b*k + 3965. Is f a multiple of 63?
False
Let a(b) = -10*b - 227. Let z be a(-23). Suppose 398 = 3*y + h, -289 = -z*y - 4*h + 115. Does 12 divide y?
True
Let z(m) = 3*m - 17. Suppose 2*v - 14 = 3*j, 5*j + 3 = 2*v - 3. Is z(v) even?
True
Let i be (-746)/(-12) - 21/126. Suppose -2*s = -11 + 57. Let c = i + s. Is c a multiple of 15?
False
Let c = 35 + -35. Suppose -u + 28 = 2*u + p, 5*u + 2*p - 46 = c. Does 5 divide u?
True
Let p be (-96)/18 - (-2)/6. Let k(t) be the third derivative of t**5/60 + t**4/12 - 5*t**3/3 + 5*t**2. Does 5 divide k(p)?
True
Let p(r) = -728*r + 213. Does 13 divide p(-9)?
False
Suppose -36 = 12*x - 18*x. Suppose x*f - 420 = -2*c + 5*f, 5*f = 0. Does 21 divide c?
True
Suppose 7*q = 3*q - 3*z, -5*q = -3*z. Suppose q = t - 3*v - 131, v + 4*v = 2*t - 266. Is t a multiple of 11?
True
Let w(n) be the second derivative of 2*n**3/3 + 6*n**2 - 17*n. Let g be w(-3). Suppose g = j + 6*j - 294. Is j a multiple of 21?
True
Is 2 a factor of (-26)/(78/(-15)) - -1625?
True
Let g(p) = -17*p**3 + p. Let y be g(1). Let h = y - -23. Let c(t) = t**2 - 4*t - 1. Does 5 divide c(h)?
True
Let s = -477 + 493. Suppose -s*t + 27347 = 25*t. Is t a multiple of 23?
True
Let a = -219 - -223. Does 11 divide a + (46 - (5 - 3)/2)?
False
Let j = 1 - 5. Let c be 9/1*j/(-12). Suppose 2*b = -i + c*i - 200, -4*b = -2*i + 192. Is i a multiple of 26?
True
Is ((-268)/(-3))/(291/(-3564) - 11/(-121)) a multiple of 268?
True
Let y = -1835 - -2364. Is 23 a factor of y?
True
Let a(t) = -6 - 12 - 5*t**2 + 0*t**3 + 5*t + t**2 + t**3. Let h be a(4). Is -1 + 2 - (h + -169) a multiple of 21?
True
Is 76 a factor of (-324)/54 + (-12)/(-3) + 1618?
False
Suppose -4*w + 20 = 0, 15*b - 5*w + 14409 = 19*b. Is 50 a factor of b?
False
Let y(o) = 915*o**2 + 5554*o - 5. Is y(-7) a multiple of 3?
True
Let o(t) = t + 4. Let h be o(-3). Let n be ((-2 - -5)/(6/(-356)))/1. Is 8 a factor of h/(-4) + n/(-8)?
False
Suppose -308 + 306 = -x. Suppose -3*u = -5*s + 1885, 148 = 2*s + x*u - 606. Is 41 a factor of s?
False
Let c(p) = -38*p**3 - 10*p**2 - 54*p - 72. Is c(-6) a multiple of 25?
True
Suppose w - 3490 = 320*l - 318*l, w - l - 3488 = 0. Does 166 divide w?
True
Let o = -289 + 610. Let u = o - 4. Does 20 divide u?
False
Let o = 25 - 5. Suppose 4*x - 17 = w, -5*x = -0*x - o. Is (0 + 4)*w - -102 a multiple of 14?
True
Suppose -6820*q + 6811*q = -13311. Is q a multiple of 14?
False
Let j = -1 + 217. Let t = -124 + j. Is t a multiple of 16?
False
Suppose -6482 = -5*u + p, 14*u = 18*u - 3*p - 5179. Does 5 divide u?
False
Let f(a) = a**2 + 6*a + 5. Suppose 0*d + 2*r = 2*d + 16, r + 36 = -3*d. Does 6 divide f(d)?
True
Let d(k) = 11 - k**3 - 9*k**2 + 17 - 10*k - 39. Let i be d(-8). Suppose i*q = 513 - 73. Is 16 a factor of q?
False
Let q be ((22 + -23)/(1/5))/(-1). Suppose -2*v - 3*w + 488 = 0, 0 = 3*v - q*w + w - 766. Does 5 divide v?
True
Let n be 4/10 - (-2392)/20. Suppose 0*f - n = 4*y + 3*f, -5*f = -3*y - 119. Is 16 a factor of 44/y - 554/(-6)?
False
Suppose 3*z = 2*z + 2*i + 71, -306 = -4*z - 3*i. Let l = z + -55. Is l a multiple of 6?
False
Let p = 217 - 213. Suppose -5*c = v - 8659 + 825, -2*v = -p*c + 6270. Is c a multiple of 32?
False
Suppose -p + 260250 = 24*p. Is p a multiple of 273?
False
Let v = 29125 - 19486. Is 153 a factor of v?
True
Let h = -72 - -81. Suppose -17*w = -20*w + h. Does 24 divide 63 + -8 - 9/w?
False
Let x = 67 + -66. Let r be (x/(1/71))/((-12)/(-12)). Let t = 22 + r. Is 28 a factor of t?
False
Suppose 4*l = -b - 106, 0 = -5*b - 2*l - 60 - 416. Let j = -70 - b. Suppose -4*t + j = -2*t. Does 4 divide t?
True
Let h = -780 - -1130. Let y = 790 - h. Is 20 a factor of y?
True
Does 35 divide -907*(-19 + 2 + 12)?
False
Suppose -4*v - 3014 = -4*t + 4438, -5*v = 15. Does 31 divide t?
True
Suppose 0*n - 120 = -12*n. Is 19 a factor of n/15 - (-1371)/9?
False
Let s(o) = -37*o - 117. Let w be s(-3). Does 10 divide ((-208)/w)/(14*(-6)/(-126))?
False
Let z(d) = -2143*d + 29. Is 12 a factor of z(-1)?
True
Is (-17)/((4 - 8)/2876) - 5 a multiple of 81?
False
Let g(p) be the third derivative of p**5/60 + 5*p**4/12 + 19*p**3/2 - 44*p**2. Is g(0) a multiple of 25?
False
Let h(z) be the first derivative of z**4/4 - z**3/3 + 2*z**2 - 29*z - 27. Is 23 a factor of h(7)?
False
Suppose -2*w - 11 = -3*h - 6, -5*h = -5. Is (4 + 1727)/3 - (-1 - w) a multiple of 40?
False
Let w be (-2 + 4)*129/2. Suppose w + 219 = 3*k. Is k a multiple of 15?
False
Suppose 3 = t - 4*w - 3, 3*w = 0. Is t + (-3596)/(-8) + 2/(-4) a multiple of 35?
True
Suppose 3*h = -191*k + 188*k + 2424, -9 = -k. Does 72 divide h?
False
Let u(a) = -6*a**3 + 2*a**2 - 32*a + 4. Is u(-8) a multiple of 5?
True
Is (-39716)/(-7) + 0 + (-8)/(-28) a multiple of 15?
False
Let w = -178 - -136. Let k = w + 210. Is 28 a factor of k?
True
Suppose 321844 = 30*r + 27904. Does 71 divide r?
True
Let f = -1325 - -1925. Let a = -326 + f. Is 24 a factor of a?
False
Let w(t) = -6*t - 45. Let a be w(-12). Is 10 a factor of 12168/243 - 2/a?
True
Let i(h) = -h - 6. Let a be i(-12). Let s be 117/26*(-2)/3. Is 8 a factor of 249/a + s/2?
True
Let p(r) = 24*r**2 + 5*r + 4. Let i be p(-2). Does 38 divide 40848/i - -2 - 4/(-30)?
True
Does 35 divide ((45/(-6))/((-3)/(-4)))/((-508)/65532)?
False
Let q(v) = -5*v**2 - 2*v - 2. Let i be q(4). Suppose 162*z + 21056 = 55*z - 117*z. Let h = i - z. Is 2 a factor of h?
True
Is 95 a factor of (13486 - -4)*38/76?
True
Suppose -x = 53 - 19. Let p = 32 + x. Is ((-1260)/(-54))/(p/(-3)) a multiple of 16?
False
Is 24 a factor of ((-248)/186)/(5006/(-5004) + 1)?
True
Let l = -2 - -5. Suppose l*t - 23 - 1 = 0. Suppose t*g = 2*g + 360. Is 15 a factor of g?
True
Suppose 18*i - 3324 + 209532 = 26*i. Does 138 divide i?
False
Suppose l - z - 4817 = 0, -877*z + 882*z = -3*l + 14467. Does 55 divide l?
False
Let a(g) = g**3 - 4*g**2 + 6*g + 42. Let q be (4 + -6)/((-7 - -3)/20). Is 27 a factor of a(q)?
True
Le