uppose 5*y - 10 = -m. Let l = y + 7. Is 5 a factor of l?
True
Let d(m) = 97*m**2 - 17*m - 13. Suppose 5*f - 2*r - 28 = 0, 11*r - 7*r = 4*f - 32. Does 17 divide d(f)?
False
Suppose 0 = -3*q + 10*q - 1491. Let d = q - -6. Suppose -p + 67 = 5*m, 3*p - 3*m - d = -0*m. Does 6 divide p?
True
Let u = 10752 + 10492. Does 46 divide u?
False
Let r be 24/(2 + 6) + 49. Let b(s) = -83*s + 3. Let c be b(-3). Let a = c - r. Does 20 divide a?
True
Let t = -183 - -189. Is 14 a factor of (-4 + 5 + -158)/(t/(-12))?
False
Let s(h) = 92*h + 12. Let c be s(3). Let m = -156 + c. Does 22 divide m?
True
Suppose 5*c - 6632 = h, 4*h - 2164 - 502 = -2*c. Let d = -326 + c. Is 13 a factor of d?
True
Let s(n) = 3*n**2 - 5*n - 57. Let r be s(7). Suppose 45*x - r*x = -4300. Does 86 divide x?
True
Let t = 25996 - 16675. Is t a multiple of 13?
True
Is (-18 + 69)*(-4291)/(-21) a multiple of 108?
False
Let n(a) = 15*a + 138. Let g be n(4). Is (-76)/57*g*22/(-8) a multiple of 22?
True
Suppose 4*k + 14 = 2*s, -3*s + 2*s - 3 = -4*k. Let t(a) = -a**3 - 53*a**2 - 194*a + 133. Let l be t(-49). Let d = l - s. Is 7 a factor of d?
False
Suppose 10*m + 52 = 9*m. Let k = -49 - m. Does 21 divide ((-2)/k)/((-19)/4731)?
False
Suppose -121*c + 1236368 = -72*c. Does 83 divide c?
True
Let s be (-16)/56 - 18/(-14). Let u = 46 + -8. Is s*u/2*(0 - -1) a multiple of 2?
False
Suppose 15*x = 106*x - 2639. Is 12 a factor of x?
False
Let z = 1876 + -950. Let t = z - 590. Is t a multiple of 24?
True
Let b(o) be the second derivative of -47*o**3/6 - 10*o**2 + 8*o. Does 64 divide b(-5)?
False
Let i = -30 - -28. Let s be i/(1*3/102). Let r = s + 95. Is r a multiple of 5?
False
Let y(h) = -85 - 3*h + 43 + 51. Let r be y(4). Let d(c) = 6*c**2 - 3*c + 1. Is 3 a factor of d(r)?
False
Let p(u) = -2534*u - 203. Is p(-3) a multiple of 8?
False
Suppose -3*b - 5*s = 204, -7*b - 4*s - 272 = -3*b. Let i = b + 772. Is i a multiple of 64?
True
Let k = -94 - -48. Let a(z) = -5*z + 19. Let y be a(-10). Let d = k + y. Does 4 divide d?
False
Suppose u - 4*t - 15 = 0, 2*t = -3*u - 2 - 9. Let y(q) = -149*q - 8. Let p be y(u). Let w = p + -103. Does 19 divide w?
True
Let i = -5608 - -12344. Is 16 a factor of i?
True
Suppose 0 = -8*w + 235*w - 374096. Does 206 divide w?
True
Let j be (-41 - -43)*4*(0 - -14). Is 8 a factor of (-2386)/(-14) + (j/49)/4?
False
Let r(f) = -6*f**2 + 30*f - 90. Let v be r(13). Let z = v - -1305. Is z a multiple of 10?
False
Let l = 79 + 670. Suppose -7*b = -791 - l. Does 44 divide b?
True
Suppose 0 = 277*l - 249*l - 10724. Let y = -3 + 5. Suppose y*n = -23 + l. Is 30 a factor of n?
True
Let h = -115 - -162. Let w = h + -41. Suppose 0*s + 180 = w*s. Is s a multiple of 3?
True
Let f(v) be the second derivative of -v**6/120 + 19*v**5/60 + v**4 + 9*v**3/2 - v**2/2 + 18*v. Let n(x) be the first derivative of f(x). Does 11 divide n(20)?
False
Let s(q) be the third derivative of 29*q**6/6 + q**5/20 - q**4/24 - q**3/3 - 60*q**2 - 1. Is s(1) a multiple of 20?
True
Let v = 224 + -215. Suppose -v*q = -1136 - 2338. Is q a multiple of 35?
False
Let p(d) = -d**3 + 32*d**2 - 32*d + 69. Let h be p(31). Let y(b) = 13*b - 14. Is 15 a factor of y(h)?
True
Let v(u) = -6*u**2 + 4*u + 1. Let z be v(2). Let k = z + 117. Let b = k - 94. Is 3 a factor of b?
False
Suppose 3*d - 4*y = -6*y + 9, 15 = 5*d - 4*y. Suppose -d*x + 25*x = 6776. Is x a multiple of 14?
True
Let g = 433 + -420. Suppose -1571 = -4*r + g*u - 10*u, 1179 = 3*r - 3*u. Is 49 a factor of r?
True
Let f be -6 + (1 - (-11 + 0)). Is (-708)/9*f/(-4) + 5 a multiple of 14?
False
Suppose -5300 = -2*i + o, 8*i - 2*o = 5*i + 7949. Let t = i - 1576. Does 43 divide t?
True
Let g(j) = j**2 - 143*j + 1956. Does 49 divide g(174)?
True
Is 34*(-3 - ((-1)/4 - 9163/28)) a multiple of 17?
True
Is 4857/(-6)*-10 - (-16)/(192/60) a multiple of 10?
True
Let x(g) be the first derivative of -2*g**5/15 + 14*g**3 + 24. Let u(w) be the third derivative of x(w). Is u(-4) a multiple of 22?
False
Let p(i) = -34*i + 13259. Does 37 divide p(19)?
False
Suppose -905301 = -395*a + 104*a. Is 28 a factor of a?
False
Suppose 0 = -61*a + 7*a + 99792. Does 13 divide a?
False
Suppose -l - 1 + 6 = d, 16 = -4*d + 5*l. Is (d/5)/((-75)/(-7125)) a multiple of 10?
False
Let v(r) = -15*r - 6. Let i be v(-1). Suppose -i*n + 240 = -7*n. Is n a multiple of 15?
True
Let c(n) = -4*n**2 + 1 - 42*n + 43*n - n**2 + n**2 - 7*n**3. Let l be c(-3). Suppose 0 = -150*q + l*q - 111. Is q a multiple of 7?
False
Let w(k) = 122*k**3 - 5*k**2 + 61*k - 556. Is 106 a factor of w(8)?
False
Suppose 0 = -r - 4*j, 5*r - 15 = 2*j + 7. Suppose -4*i - w + 382 = w, 274 = 3*i + r*w. Let k = 169 - i. Does 16 divide k?
False
Suppose 98 + 365 = 7*m + 106. Is m even?
False
Let o = -18 - 118. Suppose -35*d + 36*d = -3*z + 271, -5*z - 487 = -2*d. Let a = d + o. Does 15 divide a?
True
Let m be (-1 + 3)/(2/(-1)). Let x(i) = -80*i**3 + 4*i**2 + 2*i - 74. Let l(u) = 40*u**3 - 2*u**2 - u + 33. Let o(v) = -9*l(v) - 4*x(v). Is 25 a factor of o(m)?
False
Suppose -28*v + 3996 = -25*v. Does 8 divide (-1)/((114/v)/(-19))?
False
Suppose 12*x - 14481 = 1935. Does 24 divide x?
True
Suppose 0 = -2*x + 4*d + 7762 + 16272, d + 36076 = 3*x. Is x a multiple of 209?
False
Suppose -47 = -6*z + 73. Suppose -5*m + 3*l + 50 = 0, m - 3*m + 5*l = -z. Suppose -5*h - 680 = -m*h. Does 16 divide h?
False
Suppose -p = 4*p - 60. Suppose 2*u + 3 = 2*r - 5, -4*r = 3*u + p. Suppose -184 = -r*g - 3*g + 2*y, -2*g + 126 = -3*y. Is 12 a factor of g?
True
Let j(u) = u**3 + 9*u**2 + 7*u + 9. Let i be j(-8). Suppose 3*h - 1832 = 4*w, 2*w - i = -9. Does 11 divide h?
True
Suppose 5*c = 0, -c - 4*c = 4*l - 1460. Suppose -6*o + l = -61. Is 4 a factor of o?
False
Let u(v) = 1247*v**2 + 51*v - 79. Does 34 divide u(2)?
False
Suppose 2*p - 161 = 4*c - 15, 0 = -5*c - 2*p - 169. Is -5 - 185/(-35) - 26065/c a multiple of 8?
False
Let q(c) = -82*c + 1361. Is q(7) a multiple of 9?
False
Suppose 15*g - 17*g - 29816 = -6*o, -o + 4*g = -4962. Is o a multiple of 39?
False
Let o = -1504 + 2344. Does 40 divide o?
True
Let z(l) = -4942*l**3 + 2*l**2 - 49*l - 51. Is z(-1) a multiple of 14?
True
Let k be (0/1)/(-3) + -3. Is 52 a factor of (-117)/((-2)/((-4)/k))?
False
Let h be (1 + 0)/(2 + (-13)/7). Suppose -h*k = -3*k - 688. Is 44 a factor of k?
False
Let u = 459 - 779. Let v = -208 - u. Does 28 divide v?
True
Let f(z) = 10*z**2 + 4*z + 3. Let c be f(-2). Let b(d) = -12*d + 701. Let u be b(56). Suppose -c*l = -u*l - 210. Does 5 divide l?
True
Suppose -x + 23 = -2. Let k be (38 + -7)*(1 - -6). Suppose -2*w + k - 77 = 2*v, 5*v = x. Is 5 a factor of w?
True
Let g = -184 - -286. Suppose -242 - g = -4*u. Suppose -3*r + 226 = -u. Is r a multiple of 13?
True
Let c(o) = -89*o**3 - 2 + 88*o**3 - 29*o**2 + 19*o + 22*o**2. Does 12 divide c(-10)?
True
Let r = 309 + -183. Is 38 a factor of 6545/9 + (-28)/r?
False
Is (-1 + (-8)/(-24))*(-60330)/4 a multiple of 8?
False
Let u(d) = d**3 + 13*d**2 + 14*d - 6. Let m be u(-9). Suppose 4*o + 868 = 4*i - m, 0 = 4*i + o - 1070. Does 79 divide i?
False
Let u be 18786/12*(-9)/((-27)/6). Suppose 4*b - 5*p - 4181 = 0, 7*b + p - u = 4*b. Is b a multiple of 29?
True
Let a(v) = -7*v**3 - v**2 - 23*v + 67. Is 11 a factor of a(-8)?
False
Suppose 2*p + 0*p = -4, 2*b - 2*p - 1120 = 0. Is 20 a factor of 3/(-3) + b + 3?
True
Let n = 86 + 156. Suppose -4*p + n = 4*i - 238, -3*p - 2*i = -361. Suppose p = t + 5*b, 2*t + 2*b - 214 = -b. Is 29 a factor of t?
False
Let l(w) = -5*w + 73. Let d = 577 - 587. Does 3 divide l(d)?
True
Let h(v) = 34 - 13 + 0*v - v + 4*v. Let r be h(7). Suppose -51*t + 270 = -r*t. Does 3 divide t?
True
Let n(w) = -w - 15. Let a(q) = -q. Let d(m) = 2*a(m) - n(m). Let k be d(-4). Let u = k - -125. Is 36 a factor of u?
True
Let u(a) be the third derivative of -29*a**4/12 + a**3/3 + 5*a**2. Let j be u(-1). Let d = j + 12. Is 24 a factor of d?
True
Let y be (-18)/126 + (-26)/14. Let a be 0 + 2 - (2 + y). Suppose a*l = 4*t + 38, 0 = 3*l - 4*l + 5*t + 22. Does 17 divide l?
True
Let n(i) = -283*i**3 - 11*i - 9. Is n(-3) a multiple of 105?
True
Let t(a) = -5*a - 13 - 1 - 2 - 3. Let i be t(-7). Suppose -i*r = -11*r - 185. Is 8 a factor of r?
False
Let r(y) be the first derivative of 15*y**2/2 - 33*y + 36. Let k be r(12). Suppose -2*z - k + 491 = 0. Is z a multiple of 14?
False