3*j = -n*h + 2, 0 = -j - 4. Is 3 - h - (-9 + 5) a multiple of 4?
False
Let m = -375 + 1027. Let s = 917 - m. Does 39 divide s?
False
Suppose -4*g + 5*s + 36 = 0, 0*g - 4 = -3*g - 2*s. Suppose -g*f - f + 25 = 0. Suppose 0 = -f*q - 4*j + 144, 5*q - 52 - 91 = -3*j. Is q a multiple of 23?
False
Let w be 2 - ((-1221)/3 + -6). Suppose 2*y = z + 265, -7*y + w = -4*y + 2*z. Is y a multiple of 41?
False
Suppose 10*k + 19*k - 32081 - 10346 = 0. Does 5 divide k?
False
Suppose 14*n - 15*n + 353 = 3*s, -15 = -3*n. Is 2 a factor of s?
True
Suppose -3*t + 4*y - 118 + 0 = 0, 4*y = -3*t - 86. Let a be 3/(-1) - t - -4. Let p = a - 30. Does 5 divide p?
True
Let d = -159 - -300. Suppose -11*t + d = -8*t. Suppose 0 = -t*v + 43*v + 48. Does 6 divide v?
True
Let w be (18/54)/((0 - 1)/(-6)). Is 482*(3 - w - 5/10) a multiple of 11?
False
Let c(p) = -p**3 + 12*p**2 - 9*p + 6. Let n be c(5). Is n - ((-4)/(-7))/((-4)/(-28)) a multiple of 25?
False
Let z(q) = -9*q + 51. Let p = -530 - -508. Does 19 divide z(p)?
False
Does 47 divide (7/28)/((-3)/(-3684))?
False
Suppose -11*r - 12 = -210. Let n(l) = -8*l + 179. Does 25 divide n(r)?
False
Let a(f) = -8. Let r(o) = o**2 + 18*o + 55. Let t(u) = -4*a(u) - r(u). Suppose 2*s = -0*s - 32. Is 9 a factor of t(s)?
True
Let z(y) = -14*y + 11. Let h(i) = -i**2 + 3. Let b(a) = h(a) + z(a). Is 3 a factor of b(-12)?
False
Suppose 35*c + 70411 = 72*c. Does 13 divide c?
False
Let d be -6 - -12*664/16. Suppose 10*o - 2688 = d. Is o a multiple of 6?
True
Let k = 23 + -13. Suppose 15030 = k*x + 20*x. Does 6 divide x?
False
Let l = -128 - -133. Suppose -l*n + 20 = 0, 5*r = 8*r + 4*n - 781. Is r a multiple of 15?
True
Let h be (18/10)/(0 + (-12)/(-40)). Let i be (20/h)/((-14)/21)*19. Let r = i + 250. Is r a multiple of 31?
True
Let c(n) = 2252*n + 1307. Does 9 divide c(9)?
False
Let h(f) = 2*f**2 - 15*f + 10. Let n be h(7). Suppose -p + 2*q = -1218, -p - p + n*q = -2432. Does 22 divide p?
True
Let b = 187 - 45. Let q = b - 51. Is 17 a factor of q?
False
Let x(j) = 2334*j**3 - j**2 - 3*j + 5. Is x(1) a multiple of 55?
False
Suppose -2*g - 4*g + 1248 = 0. Let x = g + 166. Is x a multiple of 11?
True
Let o = 333 + -333. Suppose 2*y = f - 298, o*y = 4*f - 3*y - 1217. Is f a multiple of 44?
True
Let w = -100 + -276. Let a = 429 + w. Does 7 divide a?
False
Let f = 23035 - 13039. Is 102 a factor of f?
True
Suppose 410 = v - 5*c, 23*c = -2*v + 25*c + 820. Suppose -v - 130 = -6*s. Does 9 divide s?
True
Let d(p) = -p**3 - 12*p**2 - 9*p + 25. Let b be d(-11). Suppose 4*i + b*x = -x + 8, 5*i = 3*x + 10. Is -1 + 4 + -2 - -19*i a multiple of 15?
False
Let k(v) = 56*v**2 + 329*v + 6338. Does 6 divide k(-19)?
False
Let g = 413 + -301. Suppose l = -3*c + 574 - 210, 0 = -c + 2*l + g. Does 40 divide c?
True
Suppose -3*w = -18 + 15. Is 7 a factor of 840 + (8 + -2 - 5)/w?
False
Suppose 0*q - 3*x + 6 = 5*q, 3*q + 4*x = -3. Suppose 41 = v - q. Let w = v - 26. Is 5 a factor of w?
False
Let r(w) = -232*w**2 + 4*w - 8. Let b be r(2). Let s = 1810 + b. Is s a multiple of 43?
False
Suppose -10*n - 545 = -4435. Let r = 773 - n. Is 48 a factor of r?
True
Does 16 divide 3606/4*(-204)/(-18) - (-7 - -6)?
False
Let p(q) = 1721*q + 172. Let g be p(15). Suppose 8137 = -21*s + g. Is s a multiple of 10?
True
Let h(p) = -p**3 + 44*p**2 - 72*p + 102. Is 69 a factor of h(39)?
True
Let z = 8382 - -1353. Is z a multiple of 55?
True
Suppose 2*h + 3*q - 29821 = 4494, q = h - 17175. Is h a multiple of 74?
True
Suppose -6*u + 5363 = -15517. Suppose -4 = 2*f, 6*o + 3*f + 126 = u. Is o a multiple of 56?
True
Suppose 0 = 20*l - 132096 - 257084. Is l a multiple of 61?
True
Let w(s) = s**2 - 7*s + 21. Let y = 6 + -6. Suppose y = -4*m + 16 + 24. Is w(m) a multiple of 6?
False
Is ((-2340)/54)/((8/(-66))/(1 + 13)) a multiple of 80?
False
Let w(y) = -44*y**2 + 9*y**3 + 1 + 43*y**2 - 48*y**3. Let r be w(-3). Does 13 divide r/15 - 2*1/(-6)?
False
Let c(n) be the third derivative of -48*n**2 - 2/15*n**5 + 0*n - 17/6*n**3 + 1/12*n**4 + 1/120*n**6 + 0. Is c(9) a multiple of 4?
False
Let r(i) = i**3 + 54*i**2 + i + 33. Let u be r(-54). Does 68 divide 10/(-35) + -1905*6/u?
True
Suppose 2*o + 14*m = 19*m + 22, 5*o - 5*m - 25 = 0. Is (-169)/o*((-6)/2)/1 a multiple of 22?
False
Suppose 14*h - 240 = -16*h. Does 5 divide -2 - (h + -7)*-137?
True
Is 8 a factor of ((-390)/(-105))/(-13) + 165370/7?
True
Let l(u) be the first derivative of 4*u**3/3 - 33*u**2/2 + 3*u - 113. Is 10 a factor of l(9)?
True
Let i = -5 - -19. Let t be (-3)/12*-2 + i/4. Suppose -66 = -2*g - t*g. Is 4 a factor of g?
False
Let c(x) = 16*x - 204. Let o be c(8). Let n(t) = t**3 - 10*t**2 + 12*t - 14. Let f be n(10). Let b = f - o. Is b a multiple of 14?
True
Let k(g) = -g**2 + 12. Let f be k(6). Let x = -21 - f. Suppose 5*c - x*w = 724, 5*w + 51 + 107 = c. Is c a multiple of 11?
True
Let w be (1 - (-12)/(-8))*56/(-7). Suppose 130 = 5*i + 2*d, 6*i + 100 = 11*i - w*d. Does 8 divide i?
True
Suppose 3*w = 2*q - 20554 - 6926, q + w - 13760 = 0. Is q a multiple of 8?
True
Suppose 6*r - 11796 - 2676 = -0*r. Does 9 divide r?
True
Let f(o) = o**3 + 18*o**2 + 19*o - 12. Let z be f(14). Suppose 20131 = 23*n - z. Is 19 a factor of n?
True
Let h = 1484 - 545. Is 2 a factor of h?
False
Let u be ((-4)/(-6))/(4/30). Let r(f) = 0 + 18*f - 2 + 1 + 2*f. Is r(u) a multiple of 17?
False
Let c = 6635 - 4648. Suppose 20*f - c = 2473. Is f a multiple of 23?
False
Let y be (-3)/(-5) - (-60444)/60. Suppose 16*p = 13*p + y. Is 41 a factor of p?
False
Suppose 0 = -23*s + 149 - 34. Suppose -s*p = 2*a - 390, -6*p = a - 2*p - 201. Is 6 a factor of a?
False
Let l(g) = -2*g**2 + 5. Let k be l(2). Let j be k*10/6*1. Does 35 divide (-12)/(-5) + -2 + (-848)/j?
False
Suppose 0 = 6*x - 3*x - 1896. Let t = x + -425. Is 8 a factor of t?
False
Let s = -5824 + 13213. Is s a multiple of 8?
False
Suppose u = -2*u - 3*w - 12, 0 = -4*u - w - 1. Let c be 5*(-3 + u + -3). Let k = c + 33. Does 2 divide k?
True
Let n(w) = -58*w - 93. Let p be n(6). Let b = p + 924. Does 21 divide b?
True
Let a(d) = -120*d**3 + 2*d**2 + 10*d - 6. Does 6 divide a(-4)?
False
Suppose 2*o - 2*z = 2888 + 3474, 5*o - 15945 = -3*z. Does 59 divide (o/24)/(21/112)?
True
Let b = -2498 + 4835. Does 41 divide b?
True
Let u(o) = -o. Let t(s) = 20*s - 7. Let p(j) = -t(j) - 4*u(j). Let g be p(-2). Suppose -37*h - 60 = -g*h. Is h a multiple of 7?
False
Let q = 309 + -120. Suppose -q = -m - 0*m - 3*f, -609 = -3*m + 5*f. Does 9 divide m?
True
Let r(a) = -a**3 + 28*a**2 - 45*a - 13. Is 33 a factor of r(20)?
False
Let c = 164 + -104. Suppose -5*p - 100 = 3*a + 2*a, -5*a + p = 100. Is c - 8/a*-10 a multiple of 11?
False
Let n = 4214 - -526. Suppose -508*f + n = -503*f. Is f a multiple of 66?
False
Suppose -r - r = 5*d + 260, 2*r = d - 236. Suppose 1136 = 7*z - 23*z. Let y = z - r. Is 11 a factor of y?
False
Let l = 302 - 294. Suppose l*a = 38*a - 600. Is a a multiple of 5?
True
Let a = -24 - -16. Let t = -11 + a. Is 0/8 + (2 - t) a multiple of 6?
False
Suppose 2*z = -2*z + 32. Let d(f) = f**2 - 9*f + 10. Let q be d(z). Suppose 0 = -g - q*g + 363. Is 13 a factor of g?
False
Let q(a) = -2*a**2 - 20*a + 5. Suppose -5*v + 22 - 72 = 0. Let u be q(v). Suppose -325 = -7*p + 2*p - u*j, -5*p - 2*j = -319. Does 10 divide p?
False
Suppose 385 = 6*x + 29*x. Suppose 5*w - 2304 = -x*w. Is w a multiple of 16?
True
Suppose 3*w + 5*y + 0*y = 22531, y = -2*w + 15030. Is 73 a factor of w?
False
Let s = -6085 + 6925. Is 6 a factor of s?
True
Let d be (-195)/(-130) - 2257/(-2). Suppose 11*m = 322 + d. Is 10 a factor of m?
False
Suppose -3*q = 5*h - 21, q + 3*h - 9 = 2. Suppose 2*m - n - 33 = 0, -13 = -q*m - 4*n + 5. Suppose m*f - 11*f - 524 = 0. Does 37 divide f?
False
Suppose -33*w + 8993 - 27566 + 225747 = 0. Does 68 divide w?
False
Let h(i) = -i**3 - 17*i**2 + 19*i + 19. Let q be h(-18). Let y = -115 - -116. Suppose -q = g + y, -g = -o + 235. Is 37 a factor of o?
False
Suppose -1802 = -19*i + 2*i. Suppose 154 = 20*q - i. Does 3 divide q?
False
Let u(y) be the third derivative of y**5/60 - y**4/3 + 7*y**3/2 + 5*y**2. Let z be u(5). Suppose 0 = -z*p - 3*p + 1134. Is 14 a factor of p?
True
Is 12/(-6) - 2 - (-14855 - (10 + -8)) a multiple of 28?
False
Let b(r) = -64*r**2 + 8*r - 10. Let o(u) = -193*u**2 + 23*u - 28. Let j(l) = 11*b(l) - 4*o(l). Is 