6*s - 276*s + 0. Does 26 divide p(a)?
False
Let a be ((-50)/(-4))/((-5)/10). Let u = a + 5. Does 32 divide 6/8 - 2085/u?
False
Suppose -2629 = -2*v + 3789. Suppose 1047 = 8*g - v. Does 14 divide g?
True
Suppose -62*a = -30300 - 980300. Does 5 divide a?
True
Suppose 7*g + 2 = -5. Let j = g - -5. Suppose -15 = -3*z, -4*z - z = -j*b + 171. Is b a multiple of 8?
False
Let m(n) = n**3 - 43*n**2 + 247*n - 341. Is 119 a factor of m(44)?
False
Let k(u) = 338*u + 11. Let c be 36/10 - 15/25. Does 17 divide k(c)?
False
Suppose 30432 = 158*u - 150*u. Is 6 a factor of u?
True
Let f be (-598)/(-130) + (-6)/10. Let t(y) = 22*y**3 - 6*y**2 + 3*y - 19. Is t(f) a multiple of 29?
True
Let r(t) = -806*t - 12. Let l be r(-2). Suppose 108*d - 104*d = l. Is 40 a factor of d?
True
Suppose 123 = w + 121. Suppose r + w*s = 52, -5*r - 6*s = -3*s - 288. Is 11 a factor of r?
False
Let p(g) = 228*g**2 - 59*g - 8. Is 11 a factor of p(11)?
False
Suppose -n + 30 = 4*n - 5*j, -4 = j. Suppose -288 = -n*y + 20. Does 6 divide y?
False
Let b be (0/(-2))/(19 - 17) + 10. Let n be (-4)/(-28) - (-43)/(-7). Does 7 divide (n/(-10) - -1)/(b/175)?
True
Let l(y) = -295*y - 361. Does 31 divide l(-10)?
False
Let n(w) = w**3 - 32*w**2 - 36*w + 92. Let i be n(33). Is i/(-21) + (-5705)/(-21) a multiple of 19?
False
Suppose -5*p = -2*g - 33, 5*g + 30 = p + 4*p. Suppose 2*o + 15 = p*o. Is 52 + 2/(-6)*o a multiple of 17?
True
Let y = -52 - -197. Let p = 285 - y. Does 5 divide p?
True
Suppose 2229*m = 2209*m + 541320. Is m a multiple of 13?
True
Let f = 11231 - 8891. Is f a multiple of 20?
True
Is (-12 - -20 - 5)/(3*(-1)/(-7191)) a multiple of 47?
True
Let z = 435 - 440. Does 5 divide 3/z + (-213)/(-5)?
False
Suppose 0 = -10*z + z + 13050. Suppose 92*j + z = 97*j. Does 29 divide j?
True
Let g be (-64)/12 + (-3)/36*-4. Let t(i) be the third derivative of -i**4/6 - i**3 + 4*i**2. Is t(g) a multiple of 8?
False
Is (-47230)/(-4) + ((-4)/10)/((-672)/840) a multiple of 72?
True
Let k(u) = -271*u - 3760. Is 60 a factor of k(-40)?
True
Let s = -21 - 7. Let q be s/8*4/(-7). Does 13 divide -1 + -4 + 94 + q?
True
Let i = -18357 - -30937. Does 74 divide i?
True
Suppose 0 = -4*q + 2*r + 2*r + 12, 0 = 5*q + 5*r - 45. Let y = -7 + q. Let b(d) = -80*d**3 - 2*d**2 - 3*d - 1. Is b(y) a multiple of 34?
False
Is (-449450)/404*(-168)/10 a multiple of 70?
True
Let u(t) = 57*t**2 - 2*t + 313 - 625 - 6*t + 309. Is u(3) a multiple of 32?
False
Let j(g) = -3*g**2 - 16*g - 7. Let w be j(-4). Suppose 5*u = -w - 6. Is (61 + -6)*u/(-5) a multiple of 6?
False
Let k be (54 + -45)/(1*3). Is 93 + (18/k - 0) a multiple of 30?
False
Does 63 divide (-1 - -1060 - -14) + -2?
True
Suppose 243*v = 180*v + 460404. Does 12 divide v?
True
Let j(h) = 22*h**3 - 241*h**2 + h - 16. Is j(13) a multiple of 163?
False
Let q = -270 - -274. Suppose 3*t - 882 = 3*l, t = q*l - 6*l + 285. Is t a multiple of 6?
False
Suppose 7*p - 3*p + 12378 = h, 0 = 2*h + 4*p - 24756. Does 42 divide h?
False
Let u(f) = -f**3 - 8*f**2 - f + 8. Let r be u(-8). Let m be 4/(r/(-4)) + 6 + 0. Suppose 4*n + 756 = 5*x, m*x - n - 762 = -3*n. Does 19 divide x?
True
Suppose 4*p - 16 = -2*i + 36, 2*p + 5*i = 34. Let b(l) = l**2 - l - 13. Is 16 a factor of b(p)?
False
Suppose 3*x + 4*u + 24 = x, -3*x - 27 = 3*u. Let g be 85 + (3/6)/((-3)/x). Suppose v - 62 = -2*z - 2*v, 2*z - g = 3*v. Is z a multiple of 7?
False
Let m be 0/(3*(-10)/6). Let t be (m - (0 + 0))*3/(-6). Suppose t = 3*p - f - 181, 2*p + 5*f - 118 = -3. Is p a multiple of 10?
True
Does 30 divide (-5)/(-3)*(-220500)/(-49)?
True
Suppose -23 = 14*i - 79. Suppose 5*r = 206 + i. Does 11 divide r?
False
Let p(q) = -q**3 - q**2 - q + 2. Let g be p(0). Suppose 20 = 28*d - 27*d. Suppose d = g*w - 74. Is w a multiple of 20?
False
Let s(a) = -12*a + 4*a**2 - 9*a - 13*a + 32*a. Let n be s(1). Suppose -n*c - 4*p + 406 = 0, 5*c + 3*p - 653 = 369. Does 41 divide c?
True
Let w(b) = 51*b + 1577 - 3114 + 1580. Is w(3) a multiple of 3?
False
Suppose 1 = -r, -8*r + 202 = w - 9*r. Is 2 a factor of w?
False
Suppose 801 - 18597 = -11*y + 42891. Is 6 a factor of y?
False
Let y(l) = 5*l**3 - 42*l + 35. Suppose 28*q = 24*q + 28. Does 13 divide y(q)?
True
Suppose -2*t + 507 = 1333. Let i = -83 - t. Is 33 a factor of i?
True
Let i = -22752 - -56227. Is i a multiple of 13?
True
Let a = -2808 - -7099. Is a a multiple of 66?
False
Let f = 1935 - 972. Let a = f - 684. Is 31 a factor of a?
True
Suppose -18*z = -109 + 19. Suppose -3*g = -5*n - 97 - 265, z*g = -3*n + 626. Is 11 a factor of g?
False
Let l(k) = 0 + 110*k**3 - 108*k**3 + 4*k**2 + 3*k - 3*k - 11*k - 3. Let s(q) = 2*q - 7. Let z be s(5). Does 14 divide l(z)?
False
Let y = 42 - 39. Suppose -79 = -2*v - 3*a, v + y*v - 2*a = 118. Suppose -2*r = -v - 56. Is 11 a factor of r?
True
Is 26 a factor of (-2)/(-23) - (-48900)/920*(-248)/(-3)?
True
Suppose -3*l - 11*u = -13*u - 39008, -3*l - 4*u + 39002 = 0. Suppose -29*v - 4795 = -l. Is v a multiple of 14?
False
Let q = -667 - -667. Suppose -2*o + 5*m + 2355 = 0, 0 = -5*o - q*o + 3*m + 5916. Is 12 a factor of o?
False
Let p(u) = 8*u - 44. Let r be p(6). Suppose -z + 3*z - 3*i = 690, r*z - 1380 = i. Does 15 divide z?
True
Suppose -7*u + 13 = -15. Suppose 3*s = -u*s - 679. Let f = s - -225. Does 16 divide f?
True
Let o(z) = -4*z**2 + 299*z + 423. Does 8 divide o(68)?
False
Let r(l) = -68*l + 6. Let n(g) = 66*g - 4. Let b(s) = 5*n(s) + 4*r(s). Is 12 a factor of b(2)?
True
Let n = 39 + -41. Let d(s) = -5*s - 10. Let r be d(-6). Is 6 a factor of -6*n/r - (-2148)/20?
True
Let z(f) = f**3 + 7*f**2 + 6*f + 5. Let j be z(-3). Suppose -416 = j*o - 25*o. Is 13 a factor of o?
True
Suppose 4 = -4*l - 2*f - 6, 5*l = -2*f - 11. Let h(x) = -318*x - 14. Is h(l) a multiple of 9?
False
Let a(c) = -744*c - 10228. Is a(-17) even?
True
Suppose 2*p = 4*p - 5*m, -3*p = -2*m. Suppose b - 3*f - 194 = f, p = -3*b + 5*f + 568. Suppose -62 = -4*i + b. Is 25 a factor of i?
False
Let y(g) = -2*g + 22. Let m be y(10). Let z be m/(-5)*(-4 + 34)*-1. Suppose 0 = -2*s - 0*a + 4*a + z, 0 = 5*a. Is 3 a factor of s?
True
Let g(v) = 62*v + 3. Let n(m) be the third derivative of m**6/60 - 13*m**5/15 - m**4/24 + 16*m**3/3 + 3*m**2 - 4. Let t be n(26). Is g(t) a multiple of 15?
True
Let n = -33 + 22. Let p(d) = -2*d**3 + 48*d**2 - 45*d - 2. Let b be p(23). Let r = b + n. Is 10 a factor of r?
True
Let k = 5977 + -4220. Is 12 a factor of k?
False
Suppose 3*s + 224 = 2*q, -5*s - 4*q - 83 = 261. Let x = s - -112. Suppose j - 53 = x. Is 31 a factor of j?
True
Suppose 2*g = 3*l - 618, 6*g = 4*l + 11*g - 824. Suppose -s = -322 - l. Is 88 a factor of s?
True
Suppose 624 = -3*s + 6*s. Let f = 440 - s. Suppose 2*k + f = 5*m - 122, 3*k = -2*m + 153. Does 4 divide m?
True
Let l(z) = -40*z**2 - 16*z + 26 - 18 - z**3 + 126. Is l(-40) a multiple of 18?
True
Let w = 3 + 0. Let d = -2239 - -2234. Does 38 divide (-122)/(0 + w + (d - 0))?
False
Suppose 5*q = 2*z + 11098, -299*q = -302*q - 4*z + 6638. Is q a multiple of 5?
False
Suppose 5*a = 3*t + 165939, 4*a - 518*t = -522*t + 132796. Does 8 divide a?
True
Is (2/4)/(715638/5362560 - 2/15) a multiple of 56?
True
Suppose -3*a - o = -2*a - 509, 3*o = -15. Let w = 974 - a. Does 115 divide w?
True
Let j(w) be the third derivative of w**5/60 - w**4/8 + 868*w**2. Suppose -7*k + 3*k + 3*f - 24 = 0, 4*k + 16 = f. Is 8 a factor of j(k)?
False
Let k(j) = 334*j - 77. Let p be k(3). Let o = p + -511. Is 23 a factor of o?
True
Suppose -3*n = 5*u - 4090, -4 = -4*n + 16. Suppose 4*f = 9*f - u. Does 13 divide f?
False
Let a(d) = 11*d + 12. Let g be a(-3). Let u = -18 - g. Suppose 8*r - 4*l = u*r + 546, -444 = -4*r - 4*l. Does 10 divide r?
True
Let w = 28518 - 14928. Is 18 a factor of w?
True
Let k(a) = -6*a + 70 - 6*a**2 - 45 - 55 - 7*a**3. Does 25 divide k(-5)?
True
Let c(x) = 2*x - 4*x + x + 7. Let z be c(2). Suppose -i + 2*v + 322 = 2*i, 0 = -z*i - 3*v + 505. Is 8 a factor of i?
True
Let x(k) = 41*k**2 - 27*k - 158. Is 23 a factor of x(-11)?
False
Suppose -18374 = -2*s + 4*r, 11*s - 4*r = 16*s - 45837. Is s a multiple of 11?
False
Let j(r) = -132*r**3 + r**2 + 2*r - 2. Let l be j(-2). Is l*((14 - 4) + -9) a multiple of 34?
True
Let w = 56 - -12. Suppose 0 = -3*q - 2*c + w, -c + 1 = q - 23. Does 12 divide q?
False
Let h(t) = -t**3 - 33*t**2 - 217*t - 86. Does 9 divide h(-30