 of 9?
True
Let q be (-8 - 3)/((-12)/3 - -5). Let v be 4/(-2) + (2*q)/(-2). Does 12 divide 36/(v/(-12)*-2)?
True
Let h(s) be the third derivative of -s**5/60 - 3*s**4/8 + 11*s**3/6 - 16*s**2. Let u be h(-6). Suppose -u*r - 400 = -31*r. Is r a multiple of 24?
False
Suppose 3*v + 2214 = -2970. Let l = -817 - v. Does 36 divide l?
False
Let q(c) = -c**2 + 25*c + 76. Let f(x) = -x**2 + 24*x + 80. Let i(r) = 4*f(r) - 5*q(r). Does 84 divide i(-19)?
False
Let m(f) be the second derivative of f**4/12 + f**3/3 + 153*f**2 - 11*f. Let d be m(0). Suppose -4*l + d = 5*l. Is l a multiple of 8?
False
Suppose -8246 = -100*l + 86*l. Let a = 1547 - l. Is 16 a factor of a?
False
Let l = 44 + -42. Suppose i = -2*n + 8, -l*i = 2*n - 2 - 8. Suppose 0 = n*m + 79 - 220. Is m a multiple of 38?
False
Suppose -5*u - 3*c + 271 = -13565, 5*u = c + 13848. Is u a multiple of 18?
False
Suppose 8*i = 35*i - 6291. Is i a multiple of 33?
False
Let l be (-1 + 10/6)*1446/(-4). Let k = -145 - l. Is 16 a factor of k?
True
Let d(f) = -60*f - 1869. Is 15 a factor of d(-76)?
False
Let x be 52 + -49 - -1*(3 + -1). Does 32 divide ((-128)/20 + 0)/(x/(-175))?
True
Let x(l) = -l**2 - 32*l - 152. Let o be x(-26). Suppose 3*d - o*n = 2937, 0*d - 4*d = 4*n - 3944. Is d a multiple of 50?
False
Suppose -17*i + 21671 = -5334 + 2015. Does 15 divide i?
True
Let c(j) = -915*j**2 + 2*j - 2. Let r be c(-1). Let t = -637 - r. Is 29 a factor of t?
False
Suppose 0*c = -3*c - 5*r + 100, -4*c + 5*r = -110. Suppose 0 = c*z - 56*z + 22464. Is z a multiple of 24?
True
Suppose 123*w - 134*w = -15147. Does 17 divide w?
True
Let q(n) = 43*n + 5. Let m be q(-2). Let b(c) = -59*c + 2. Let z be b(3). Let t = m - z. Does 18 divide t?
False
Suppose -c - 5*p + 11916 = 0, 4*p = 4*c - 73926 + 26262. Suppose 7*q = c - 4482. Does 27 divide q?
False
Suppose -2048 = 8*u + 760. Let j = u + 676. Is 18 a factor of j?
False
Let h be (1/6)/(1/3)*562. Let m = h + -260. Is 2 a factor of m?
False
Let g = 5459 - 383. Is g a multiple of 47?
True
Let a = -7696 - -16597. Is a a multiple of 3?
True
Let k = 11 + 3. Suppose 0 = -3*h + 2*c + k, -h + 6*h - 3*c = 22. Suppose 0*b + 5*n + 177 = 4*b, -h*b + 108 = 4*n. Does 12 divide b?
True
Let l = 32 - 10. Is 7/(2 - l*15/170) a multiple of 7?
True
Let w = 7960 - 3770. Does 11 divide w?
False
Suppose -24*m + 417831 = 19*m. Does 12 divide m?
False
Let q = -21 + 24. Let u = q - -7. Suppose -u*c = -7*c - 60. Does 6 divide c?
False
Suppose 2*u - 2*s - 2 = 0, u + s - 5*s + 8 = 0. Let z(o) = 170*o + 20. Is 43 a factor of z(u)?
False
Is 25 a factor of (76/(-6)*(-50283)/(-444))/((-1)/2)?
False
Suppose 5*a - 6455 = -5*c, 5*a - 2*c - 5146 = a. Suppose 508 = 2*w + 4*s, -4*s + a = 8*w - 3*w. Does 18 divide w?
False
Suppose -2*u - 12024 + 72373 = v, -v + 90521 = 3*u. Does 14 divide u?
False
Suppose -4*l - 11 = c + l, 4*l = -4*c - 28. Does 10 divide 12/((-228)/(-672) - c/(-21))?
False
Suppose 0 = -2*x - 2 + 4. Suppose 0 = -d + x, 0 = -3*p - 5*d + d - 2. Is (20 - 10 - (p + 1))*7 a multiple of 6?
False
Let t(i) = -i - 4. Let d be t(-7). Let q be 3/(9/4)*d. Suppose -q*y + 77 = -111. Is y a multiple of 14?
False
Let j = 334 + -238. Is 45 a factor of j + -6 + 0/2?
True
Let v(p) = 3*p + 1572. Is 3 a factor of v(14)?
True
Let x = 6122 - 3926. Does 4 divide x?
True
Let k = 379 + -327. Suppose 4760 = -38*g + k*g. Is 5 a factor of g?
True
Does 10 divide 19930/6*(-130 - -136)?
True
Let z = -368 - -119. Let a = -184 - z. Is a a multiple of 2?
False
Suppose 0 = -2*f + 4*m + 2974, 379*m - 2967 = -2*f + 382*m. Is f a multiple of 107?
False
Suppose -8*i + 3*u - 1308 = -11*i, -3*u = 6. Let m = -408 + i. Is 5 a factor of m?
True
Suppose 369*n + 45853 = 372*n + p, 0 = -n - p + 15279. Is n a multiple of 3?
False
Is (11162 + -920)*1*(-2)/(-6) a multiple of 96?
False
Does 20 divide ((-84)/(-168))/(1/7794)?
False
Let g(v) = -v**3 + 32*v**2 + 428*v + 272. Is 41 a factor of g(36)?
True
Suppose 0 = -4*s - 4726*h + 4727*h + 17400, -s + h + 4356 = 0. Does 31 divide s?
False
Suppose 3*c - a = 14, -3*c + 0*a = a - 16. Suppose 0 = -c*j + 77 + 133. Is j a multiple of 14?
True
Let d be -3 + 5 + -2 - -23. Suppose 0 = r + 5*u - 8, -2*u = 4*r - 9 - d. Suppose -8*a + r = -6*a. Is a a multiple of 3?
False
Suppose 684756 = 94333*k - 94310*k. Is 45 a factor of k?
False
Suppose 4*m - 91*h - 120712 = -90*h, -90524 = -3*m + 2*h. Is m a multiple of 10?
True
Is 38 a factor of (190/(35 + -45))/((-1)/526)?
True
Let p(m) = -3*m**3 - 35*m**2 + 109*m - 86. Is 31 a factor of p(-29)?
False
Let d = 13 - 9. Let r be (-3 + 1 - -5) + 49. Suppose -4*z - 18 = 3*m - r, -16 = -2*m - d*z. Is m a multiple of 6?
True
Suppose -30*s - 46973264 = -878*s. Is s a multiple of 12?
False
Let c be (135/(-20))/9 + 33/12. Is 664 + (-6 - -3 - c/(-1)) a multiple of 57?
False
Let r = -48 - -74. Let s = 31 - r. Is 2 a factor of (4 - s)*1 + 3?
True
Let a = 2621 + 5403. Does 17 divide a?
True
Let h = 18 + 394. Let u = 711 - h. Is u a multiple of 15?
False
Let a = 361 - 646. Let d = a - -306. Is d a multiple of 3?
True
Let t(j) be the first derivative of -9 + 3*j**2 + 2/3*j**3 - 25*j. Is 23 a factor of t(-10)?
True
Let m(o) = 4*o + 4 - 4 - 1. Suppose 7*a - 7 = -4*s + 10*a, 0 = -5*a + 15. Does 5 divide m(s)?
True
Let i be (12/9)/((-6)/(-9)). Does 21 divide -7 + i - (1 + -31)?
False
Is 24 a factor of (-7 - -1) + 4 + 2319?
False
Let u = -1108 - -2774. Is u a multiple of 24?
False
Let w be 365/2 + (-24)/(-16). Let u = -8 + w. Is 24 a factor of u?
False
Let q be (-292)/(9 + (-85)/10). Let s = -107 - q. Is 4 a factor of s?
False
Suppose 3*f + 6*f - 18 = 0. Suppose -p + 477 = 4*q, -f*q - p = -0*q - 237. Suppose q = 5*g - 0*g + 3*h, 3*g - 5*h - 72 = 0. Does 8 divide g?
True
Suppose 0 = -33*q + 34*q - 2. Suppose -502 = -3*s - q*s + p, -2*s + 5*p = -210. Is 5 a factor of s?
True
Suppose -3*t = 98 - 101. Suppose 4*z + t = 5*z, -5*m = -5*z - 2235. Is m a multiple of 56?
True
Suppose 0 = -4*t - 127 + 403. Let r = t + -127. Let u = 11 - r. Is 23 a factor of u?
True
Let o be (0 + 0)/(2/1). Let u(l) = -141*l + 1548. Let p be u(11). Is 94 - (p - (-6 - (o + -1))) a multiple of 21?
False
Let z(f) = -4*f**3 + 13*f**2 - 9*f - 136. Let h(u) = u**3 - 3*u**2 + 2*u + 34. Let v = 80 - 78. Let o(n) = v*z(n) + 9*h(n). Is o(0) a multiple of 14?
False
Let f(a) = 11231*a**2 - 149*a + 280. Is f(2) a multiple of 7?
False
Let p = 31 + 82. Let x be ((-1)/(-12)*-4)/((-1)/(-69)). Let j = x + p. Is j a multiple of 18?
True
Is (-1)/(-5) - (-300590)/50 a multiple of 5?
False
Suppose -13*j = 6*j - 171. Suppose j*r - 228 = 3822. Is r a multiple of 50?
True
Let c(n) = -7*n. Let d be c(-1). Let u(a) = -a**3 + 6*a**2 + 5*a + 10. Let f be u(d). Is (-11)/44 + (-85)/f a multiple of 11?
False
Let j = -243 - -241. Does 10 divide (132/18)/(((-20)/195)/j)?
False
Let q(g) = -2 - 7 - 9 + g**2 + 4*g. Let d(f) = -2*f**3 - 14*f**2 - 23*f - 9. Let u be d(-5). Does 11 divide q(u)?
False
Let c be 6 + -6 - -1*6/3. Suppose 2*n + c*s + 3*s = 511, -4*s + 510 = 2*n. Does 23 divide n?
True
Let u = -428 + 1028. Suppose l - 120 = u. Is 16 a factor of l?
True
Let s = -22 - -124. Suppose -3*g + 30 = -s. Is g a multiple of 11?
True
Let o = 3310 + -2449. Is 18 a factor of o?
False
Let u = -14 - -23. Suppose -2*m + u = 2*f - f, m = -4*f + 1. Suppose -4*h = v - 2*v + 31, -m*h - 80 = -5*v. Is 7 a factor of v?
False
Suppose 34*t + 2*c - 25670 = 30*t, c = 3*t - 19240. Does 8 divide t?
False
Let z be (2 - (-3 + 3) - -14)/2. Let t(y) = y**2 + 8 + 13 + z*y + 3*y - 1. Is t(-12) a multiple of 12?
False
Let p(l) = -398*l**2 + l - 2. Let m be p(1). Let h = -88 - m. Is 25 a factor of h?
False
Suppose 3*h = 15 - 12. Does 11 divide (-20)/8*2 - (h - 360)?
False
Let r(s) = -s**2 + 14*s + 63. Let f be r(19). Is f/(-40) - 581/(-5) a multiple of 13?
True
Let v = 325 + -174. Suppose 6*q - 35 - v = 0. Does 20 divide q?
False
Suppose -2*j + j = 2*m - 5, -5 = -3*m + j. Suppose 4*h = -i, m*i - 7*i + 3*h + 23 = 0. Suppose i*y = y + 513. Is y a multiple of 27?
False
Let s(o) be the second derivative of -23*o**6/720 - o**5/12 - 23*o**4/12 + 8*o. Let k(u) be the third derivative of s(u). Is k(-2) a multiple of 25?
False
Let m = -53 + 1110. Is 9 a factor of m?
False
Suppose 4*q = -3*g + 5160, 5*g - 1307 = 13*q - 14*q. Does 117 divide q?
True
Suppose 8654 = 46*s - 18486. Is s a multi