0*m = 23*m - g. Suppose -m = -6*d + 2*d. Is d a multiple of 13?
False
Let f = -80 - -76. Is -4*(-1 - (-195)/f) a multiple of 9?
False
Suppose 39*d - 850833 = 639878 + 498484. Is d a multiple of 102?
False
Suppose 3*f - 704 = -3*l + 20797, 35829 = 5*f - l. Is f a multiple of 5?
False
Let i be ((-18)/2)/((-6)/4). Let v be 1/(6/16)*i. Suppose 6*p - p = 2*j + 56, 4*j + v = 2*p. Does 8 divide p?
False
Let c(b) = 3*b**3 + 113*b**2 + 115*b - 28. Let o(r) = -r**3 - 38*r**2 - 39*r + 9. Let y(d) = 2*c(d) + 7*o(d). Is 12 a factor of y(-39)?
False
Suppose 109026 = -255*a + 524676. Is a a multiple of 326?
True
Let z be (-9)/(-4)*576/216. Suppose 0 = -7*c - z*c + 4797. Is c a multiple of 32?
False
Let o = -14536 + 18356. Does 15 divide o?
False
Let g(x) = -4*x - 28. Let i be g(-8). Suppose -277 = i*q - 325. Does 2 divide q?
True
Does 4 divide (-2 - -403) + -6 - (-1 - 2)?
False
Let o(u) = 14*u + 27. Let f be o(-2). Does 12 divide (1/f)/((-5)/3180)?
True
Does 55 divide 45*11/33 + 7080?
True
Suppose n - 835 = 4*k + 9356, 2*k = -5*n + 51065. Is 11 a factor of n?
False
Suppose x - 497 = 3*t, -3*t + 2*x = 126 + 373. Is (-4)/(t/(-602) + 10/(-35)) a multiple of 86?
True
Let y = -26187 - -40209. Does 82 divide y?
True
Is -983*(-9)/((-54)/(-12)) a multiple of 21?
False
Suppose 323*z = 365*z - 107478. Is 5 a factor of z?
False
Let j(m) = -m**3 + 6*m**2 + 9*m - 10. Let l be j(7). Let f be l/(-6) + 2*12/9. Suppose x = 5*g - 4 + 2, -58 = -4*x - f*g. Is 13 a factor of x?
True
Suppose -5*v + 5*m = -30140, 353*m + 12060 = 2*v + 352*m. Does 8 divide v?
True
Let i(f) be the second derivative of 3*f**3 + 4*f**2 + 2*f - 29. Suppose 0 = -4*h + 6 + 6. Is 7 a factor of i(h)?
False
Suppose 22 = 17*g - 29. Let p be 82*3*(35/(-10) + g). Let h = p + 285. Does 18 divide h?
True
Let d = -586 - -3128. Is d a multiple of 14?
False
Suppose 2*f = 3*h + 9351, 0 = 66*f - 69*f - 5*h + 13998. Does 22 divide f?
False
Suppose 3*m + 4*p = -m + 5100, p = -2*m + 2549. Does 49 divide m?
True
Suppose 2*q - 628 = -4*i - 2*q, -4*i + 5*q + 601 = 0. Suppose 0*n - 189 = 3*n. Let g = n + i. Is g a multiple of 23?
False
Let b = -92 + 103. Let h be -6*(93/(-33) - 2/b). Suppose 5*l = h + 87. Is l a multiple of 3?
True
Suppose 5*r = 4*q + 18, -3*r - 40*q = -44*q - 14. Suppose 4*m + 91*d - 587 = 92*d, r*d = 4*m - 582. Is 4 a factor of m?
True
Let l be 4*(178/8 - -2). Suppose -7*d = -43 - l. Is 10 a factor of d?
True
Suppose 0 = -36*g + 164024 - 6020. Does 57 divide g?
True
Suppose -8*v + 4798 = -26224 - 8602. Does 25 divide v?
False
Let i(u) be the first derivative of -u**3/3 - 7*u**2 + 5*u - 3. Let r be (-1 + 2)/((-2)/20). Is i(r) a multiple of 15?
True
Let r be (840/(-32))/(3/(-472)). Suppose 0*i - r = 14*i. Let d = 438 + i. Is d a multiple of 11?
True
Let p be (534 + 12/4)*(-1)/(-3). Suppose -2*x + 73 + p = 0. Is x a multiple of 21?
True
Let o(b) be the third derivative of -5*b**4/12 - 34*b**2. Let d be o(0). Suppose d = 14*q + 4*q - 5112. Does 30 divide q?
False
Let u(a) be the third derivative of a**6/120 - 23*a**5/60 + 11*a**4/8 - 14*a**3/3 + 64*a**2 - 2*a. Is u(22) a multiple of 6?
False
Let f be -10*(1 + 78/(-10)). Let l = 1417 - 1447. Let r = l + f. Is 38 a factor of r?
True
Let i(w) = -w**3 - 40*w**2 + 28*w - 38. Let c = -361 + 320. Does 33 divide i(c)?
True
Let z = 850 + -848. Suppose 529 = d - s, 5*d - 776 = z*s + 1884. Is d a multiple of 34?
False
Suppose -12*s + 7*s = -20, 3*a - 8989 = 5*s. Is a a multiple of 11?
True
Let w(z) be the third derivative of -73*z**4/12 - 33*z**3 - 147*z**2. Is w(-8) a multiple of 9?
False
Let q be 21 - 23 - 57/1. Let a be (-18)/(-15)*(-25)/(-10) - q. Let t = 20 + a. Does 41 divide t?
True
Suppose -2*z = -5*g - 21, 0 = 5*g - 32*z + 28*z + 27. Let b(i) = 90*i**2 + 13*i + 35. Is 26 a factor of b(g)?
True
Suppose -220*i - 1820200 + 3327413 + 3318267 = 0. Does 11 divide i?
True
Let h(l) = -15*l**3 + 12*l**2 + 11*l - 6. Is h(-6) a multiple of 123?
False
Let r = -7 - -9. Suppose -5*q = -r*x - 0 - 14, 0 = -4*q - x + 19. Suppose -20 = 5*a, 2*a - a = q*j - 152. Does 37 divide j?
True
Suppose -52*n - 54345 + 79213 = -134304. Is 15 a factor of n?
False
Suppose 1100 = -10*z + 21*z. Let j = z + 145. Does 49 divide j?
True
Let g(o) = o**2 + 7*o - 10. Let t(x) be the first derivative of -3*x**2 + 9*x + 6. Let w be t(3). Does 3 divide g(w)?
False
Let f be -1 + 2 - ((-3)/(-3) - 2). Suppose -f*h + t = -420, -t = -4*h + 3*h + 208. Is h a multiple of 27?
False
Let f be -5 + -5*1*(10 - 12). Suppose -2*o = -f*r + 220 + 66, r - 4*o = 68. Does 50 divide r?
False
Let q(g) = 15*g**2 - 4*g**3 - g - 8*g**3 - 31 + 13*g**3. Is q(-9) a multiple of 16?
True
Let z(h) = 522*h**2 + 39*h - 8. Is z(-4) a multiple of 16?
False
Is 15 a factor of (-4)/6 + 4 + 389455/33?
True
Suppose -6*s - 6489 = 15*s. Let u = -200 - s. Is 33 a factor of u?
False
Suppose -43*m - 29998 = -823219. Does 13 divide m?
True
Suppose 0 = -13*s + 693 - 2266. Let p = s - -150. Does 2 divide p?
False
Suppose 2159 = 25*d - 16*d - 4*n, 4*d + 3*n - 993 = 0. Is d a multiple of 9?
True
Is 85 a factor of (5/(-10))/((24/372608)/(-3))?
False
Let x(h) = -5*h**3 - 3*h**2 - 2*h - 8. Let r be x(-3). Let v = r - 104. Is 8 a factor of 6/15 + (-1236)/(-10) - v?
False
Is 53 a factor of (-64)/(-96) - ((-26894)/6 + 4)?
False
Let h = 46612 + -30794. Is 129 a factor of h?
False
Let f = -39 + 39. Suppose 3*d - 205 - 599 = f. Let i = -70 + d. Does 9 divide i?
True
Suppose -151*f + 7568 = -129*f. Is f even?
True
Let p(r) = r**3 - 5*r**2 - 12*r - 4. Let q be p(7). Suppose 3*z = 2*w - 367, -5*w + 955 = -5*z + q*z. Does 29 divide w?
False
Is 3 a factor of ((-4869)/5)/3*505/(-303)?
False
Suppose 10*c - 33994 = 53584 - 23828. Is c a multiple of 15?
True
Let u = -9 + 14. Let j = -6 + u. Does 24 divide (3 - 3) + j + 72?
False
Let n = -1890 - -2706. Does 16 divide n?
True
Let c = -3344 - -3797. Is 3 a factor of c?
True
Let y(w) = -w**2 - 11*w - 27. Let b be y(-6). Suppose -3*o + 2*o - 15 = -b*f, -2*f + 10 = -5*o. Suppose o = 4*i - 612 + 36. Is 36 a factor of i?
True
Let b = -1863 + 6087. Is b a multiple of 24?
True
Suppose 5*k - 4*f = 801, 5*k + 6*f - 3*f = 773. Suppose 25*m = 30*m + 70. Let s = k - m. Is 18 a factor of s?
False
Does 53 divide (-3)/((-15)/(-10)) - -3 - (-131016)/8?
False
Suppose 3*v - 81*d - 7544 = -85*d, 4*v + 5*d - 10059 = 0. Is 37 a factor of v?
True
Let b be ((-4)/8*6)/((-9)/204). Let s = 66 - b. Is 5 + -6 + s + 2 + 63 a multiple of 7?
False
Let n be (-8)/(-12)*(-27)/(-2). Suppose 12*d - 264 = n*d. Is 4 a factor of d/3*(-6)/(-4)?
True
Let a(o) = 52*o - 19. Let y = 12 + -12. Suppose -l - 2*w + 10 = y, -3*w + 10 = -0*l - l. Is a(l) a multiple of 32?
False
Let d be (-7934)/(-26) + (-3 - (-37)/13). Suppose x - s = d + 52, -2*x = -4*s - 714. Is x a multiple of 17?
True
Let u(k) = -506*k - 666. Does 7 divide u(-5)?
False
Let f = 4029 + -1149. Suppose 0 = -27*n - 5*n + f. Is 9 a factor of n?
True
Let x(c) = -27*c**2 - c - 10. Let g be x(-3). Let f = g - -355. Is f a multiple of 21?
True
Let w = -42 - -59. Suppose -3*k = -3*a - 3, -2*a + 3*k = -2*k + w. Suppose a*i = 3*n - 77, 3*n - 3*i - 2*i - 82 = 0. Is 2 a factor of n?
False
Suppose 18*b - 5*o = 15*b + 30223, 0 = 2*b - 2*o - 20158. Is b a multiple of 41?
True
Suppose -39*q + 55910 + 353239 = 0. Does 13 divide q?
True
Let x(a) = 22*a**3 - 4*a**2 + 2*a - 7. Let l be x(4). Suppose -7*b + 2*b + l = 0. Let w = b + -101. Does 42 divide w?
True
Suppose -9*x + 2*x + 56 = 0. Let f(c) = 4*c**2 + 11*c - 28. Is f(x) a multiple of 36?
False
Let g(h) = h**2 + 10*h + 21. Let b be g(-8). Suppose b*d - 1134 = -119. Suppose 0 = -5*r + 232 + d. Is 12 a factor of r?
False
Let u = -18 - -24. Suppose -u*c + 395 + 883 = 0. Is c a multiple of 24?
False
Let u = 1449 - 254. Suppose -25*z = -25420 + u. Is z a multiple of 51?
True
Suppose -62780 - 126413 = -31*n. Is 11 a factor of (n/68)/(1 + (-6)/8)?
False
Let d be -310*4/8*-1. Let f be (248/(-12) - -3)/((-4)/(-12)). Let t = f + d. Is t a multiple of 21?
False
Let i(a) = 6*a**2 + 40*a + 21. Let g be i(-24). Let y = -1375 + g. Does 34 divide y?
False
Let z = 386 - 394. Is -3 - (184/(-6))/(z/(-180)) a multiple of 13?
False
Suppose 15 = 2*y - a, -5*y + 4*a = -3*y - 30. Suppose 5*j - y = 0, -8*i + 4*i - 2*j + 202 = 0. Is 44 a factor of i?
False
Suppose 36*l - 31*l = 3*a + 1789