t u = -397 + 145. Let n be ((-2)/(-4))/((-9)/u). Does 21 divide (-3887)/(-91) - (-4)/n?
False
Let f = 808 - 548. Let p = 384 - f. Is 24 a factor of p?
False
Suppose 2*r - 170 - 92 = 0. Suppose 2*c - 4*m = 64, 3*m - 13 = 4*c - r. Is 13 a factor of c?
False
Let n = 30 + -25. Suppose n*y - 63 = 2. Is y a multiple of 13?
True
Let n(f) be the second derivative of 13*f**4/12 - f**3/6 - 28*f. Is 3 a factor of n(1)?
True
Let z(n) = -87*n + 16. Let q(s) = 29*s - 5. Let k(w) = 17*q(w) + 6*z(w). Is k(-8) a multiple of 27?
True
Suppose -5*n + 108 = -72. Is 13 a factor of (26/6)/(3/n)?
True
Let n = 82 - 87. Does 14 divide -4 + n/(20/(-96))?
False
Let h(r) = -6*r**2 + 51*r**3 - 9*r - 50*r**3 - 16 + 13*r + 4. Suppose 4*q = -5*f + 14 + 10, 0 = -4*f. Is 6 a factor of h(q)?
True
Is 99 - ((-31 - -33) + 0 + 1) a multiple of 48?
True
Suppose 459 = 7*g + 2*g. Suppose -8*p + 9*p = g. Is 17 a factor of p?
True
Suppose -4*o = j - 27 - 29, -4*o = 5*j - 56. Suppose -3*c = -7 - o. Is 2 a factor of c?
False
Let q(o) be the third derivative of 3*o**6/20 + o**5/30 - o**4/12 + o**3/6 + 5*o**2. Is q(1) a multiple of 16?
False
Does 25 divide -6*7/28*(-1100)/6?
True
Let s = 2731 - 1381. Does 25 divide s?
True
Let h = -89 + 557. Is h a multiple of 39?
True
Let s be 118/(6 + (-7 - -3)). Let j = s - 44. Is j a multiple of 5?
True
Does 22 divide 30/(-45) - (-1581)/9?
False
Suppose -3*a + 4*h = 46, 4*a = 2*a - 2*h - 26. Let y(w) = -w**2 + 19*w + 17. Let q(g) = g**2 - g. Let s(d) = -2*q(d) - y(d). Does 4 divide s(a)?
False
Suppose -154 - 80 = -6*f. Let n = f - -119. Is n a multiple of 43?
False
Let q = -105 - -104. Let k(p) = -5*p**2 + 4*p + 4. Let l be k(4). Is (q/(-2))/((-5)/l) a multiple of 3?
True
Suppose 2*a - h = 194, 2*a - 97 = a + 4*h. Is 4 a factor of a?
False
Suppose 0 = -3*b + 3*p + 510, 0*p = 5*b - 3*p - 852. Is 6 a factor of b?
False
Let r = -82 - -82. Suppose 3*m + 5*m - 440 = r. Is m a multiple of 5?
True
Let v(p) = 40*p - 25. Is 4 a factor of v(3)?
False
Let b(r) = 2*r + 20. Let h be b(-12). Let l(c) = -24*c + 3. Is l(h) a multiple of 18?
False
Suppose 0 = -4*c + 619 + 269. Let x = -84 + c. Is x a multiple of 23?
True
Let z(p) = 204*p - 493. Is 68 a factor of z(16)?
False
Let s = -40 + 42. Suppose h = 3*z + s*z + 98, 2*h = 3*z + 63. Let n = z + 98. Is n a multiple of 29?
False
Let o(d) = -17*d + 17. Does 8 divide o(-18)?
False
Suppose -4*l + n + 238 = 0, -3*l + 48 = -2*n - 128. Is l a multiple of 4?
True
Let y(o) = 183*o**2 + o. Let k = -3 + 4. Does 37 divide y(k)?
False
Let j be ((-55)/(-3))/(1/(-3)). Let w(v) = -v**2 + 6*v - 4. Let y be w(2). Is 4 + (y - (j + 3)) a multiple of 30?
True
Let l(p) = -p**2 + 13*p + 39. Let t be l(8). Suppose -6*q + 389 + t = 0. Is q a multiple of 13?
True
Is 111 a factor of (1 - 18/21) + (-9312)/(-84)?
True
Is 30*(-5 + 3)*-4 a multiple of 16?
True
Let t = 44 - 42. Suppose 117 = 3*z + 3*a - 4*a, z = t*a + 39. Is z a multiple of 23?
False
Suppose -d + 3*y = 3*d - 13, d - 2*y - 2 = 0. Let g be (-23)/d*-1*4. Let c = g - 14. Is 9 a factor of c?
True
Suppose 0 = 5*f - 333 - 17. Let d be (-18)/10*f/(-21). Suppose 5*r + 16 = d*r. Does 16 divide r?
True
Let f = 90 + -86. Suppose 0 = k - 4*n + 22 - 152, -f*k + 5*n + 498 = 0. Is k a multiple of 12?
False
Let b = 10 + -5. Suppose -b*q = -4*u - 137, 0*q = -2*q + u + 56. Suppose 4*t = -q + 137. Is 8 a factor of t?
False
Is 3 a factor of 29/5 + (-16)/20?
False
Suppose 0 = -2*b + a + 6, -4*a + 4 + 7 = -b. Is 16 a factor of (4 - -1)*159/b?
False
Let k(m) = -2*m**3 + m**2 - m + 7. Let w be k(0). Is 4 a factor of 44/6 - w/(21/(-2))?
True
Let f = 52 - 52. Suppose 2*w + 121 = 3*y, f*w = 5*w + 10. Is 10 a factor of y?
False
Suppose -217*t = -227*t + 1080. Is t a multiple of 9?
True
Let w be 1648/14 + 6 + 160/(-28). Is 2/(-2 + w/58) a multiple of 13?
False
Does 19 divide 9/(-6)*332*(-6 + 5)?
False
Let k = -34 - -45. Suppose 4*y + k = 151. Does 7 divide y?
True
Suppose 0 = -d + 3*u + 228, -3*d - u - 55 = -789. Is 9 a factor of d?
True
Let a = 11 - 7. Suppose 0 = -2*q + a*r + r - 13, r = q - 1. Suppose 3*v = q*v - 141. Is 13 a factor of v?
False
Does 8 divide (1/2)/(55/15840)?
True
Let x = 7 + -10. Let i(o) = 3*o + 43. Let y be i(-14). Is 1 - (-49 + x - y) a multiple of 18?
True
Suppose 4*g - s - 4268 = 0, -8*s = 5*g - 4*s - 5335. Does 11 divide g?
True
Let p(o) = 2*o**3 - 43*o**2 - 18*o - 74. Does 8 divide p(22)?
False
Suppose 4*n + 3*l - 12379 = 0, -3*l + 0*l = 2*n - 6191. Is 13 a factor of n?
True
Suppose -q + p = -601, q + 4*q - 2997 = 3*p. Is q/5 + (-24)/(-40) a multiple of 10?
True
Let i(j) = 8*j**2 - j - 2. Suppose 0 = -133*d + 136*d + 15. Is i(d) a multiple of 55?
False
Suppose -2 + 10 = 4*h. Suppose -2*v - 8 = 4*k, -8*v + k + h = -4*v. Suppose -2*g = -v*g - 10. Is g a multiple of 2?
False
Let v = 391 - 282. Is v a multiple of 22?
False
Suppose 5*g - 25 = -0*g, -2*g = 2*y - 64. Suppose -5*c - 3 = y. Is (c/3)/((-8)/44) a multiple of 11?
True
Let j be (52/78)/(2/15). Is -1*j/5 - -43 a multiple of 11?
False
Suppose 4*n - 13 = -5*q, -q = -3*q - n + 7. Let c(h) = -7*h - 8. Let g be c(-4). Suppose -t + q*t = g. Does 3 divide t?
False
Suppose 6*z = -2*d + 658, d = 6*z - 7*z + 109. Does 22 divide z?
True
Let p = -237 - -413. Is p a multiple of 16?
True
Suppose 7694 + 64906 = 40*m. Is 60 a factor of m?
False
Suppose 0 = -0*o - o + 74. Let j = o + -59. Is 8 a factor of j?
False
Let c = -61 + 77. Is 9 a factor of 1264/c - (1 + 1)*1?
False
Let x(r) = -5*r + 150. Is x(7) even?
False
Let k be 6/(4*5/10). Suppose -4*h = -4*l - 436, 322 = k*h - 6*l + 2*l. Is 38 a factor of h?
True
Suppose 18*b - 16*b + 5*r = 1121, 0 = -b - r + 559. Does 18 divide b?
True
Suppose -5*z + z = -300. Let c be (-1)/2 - z/30. Let j = 48 + c. Is j a multiple of 9?
True
Let t be (-15)/(-6)*4/(-5). Does 6 divide ((-16)/32)/(t/248)?
False
Suppose 3*t = 3*f, 5*f + 2*t = 2*f + 25. Suppose 145 = g + g - d, -f*d + 45 = g. Is 8 a factor of g?
False
Let g be (4 - 3)*4 + -4. Suppose -3*q - 2*n + 8 = 0, g = n + 13 - 8. Is q a multiple of 5?
False
Let f(j) = -j**3 + 4*j**2 + 3. Let p be f(4). Suppose 0 = -p*x + 9*x - 384. Let t = x + -28. Does 18 divide t?
True
Suppose 6*n - 2854 = 98. Is 13 a factor of n?
False
Let v be 2*(10/(-4) - -1). Is 18/60*-4*400/v a multiple of 40?
True
Suppose -k = 5*b - 175, -4*k + 5*b - 835 = -9*k. Does 6 divide k?
False
Suppose 0 = 3*h + 4*y - 9, 2*h - 2*y + 5 = 3*h. Let s be (-8 - -10) + h + 1. Suppose -57 = -s*q - c + 40, -142 = -3*q - 5*c. Is 10 a factor of q?
False
Let y(b) = -b**3 - 14*b**2 + 10*b + 6. Let w(h) = -3*h**3 + 4*h - 5*h - 6 + 13*h**2 - 8*h + 4*h**3. Let r(f) = 6*w(f) + 5*y(f). Does 12 divide r(-8)?
False
Suppose -3911 = -18*i + 1849. Is 32 a factor of i?
True
Suppose 16*v = -v + 16150. Is v a multiple of 20?
False
Let b(j) = -j**3 + 4*j**2 - 5*j + 6. Let i be b(4). Let h = 15 + i. Is (3 + -2)*9*h a multiple of 9?
True
Let s(h) be the first derivative of h**6/360 - 7*h**5/120 - h**4/4 - 2*h**3 + 3. Let n(x) be the third derivative of s(x). Does 6 divide n(10)?
True
Let k = 10 + -1. Suppose k = 4*x - 3. Is 3 a factor of x?
True
Suppose -3*x + 4 = -83. Let q(i) = i**3 + 17*i**2 - 17*i + 20. Let h be q(-18). Suppose -d + h*n + x = 0, 51 = 5*d - d + 5*n. Does 6 divide d?
False
Suppose 2*l = 4 - 18. Let m = l - -108. Does 16 divide m?
False
Let a(n) = -n**3 + 7*n**2 + 10*n - 11. Suppose 5*f + 32 = 4*w, 0 = 5*w - f - 21 - 19. Let t be a(w). Is 12 a factor of 32/80 - (-418)/t?
True
Suppose -18 = -2*b + 150. Is 10 a factor of b?
False
Suppose -5*q - 14*u = -11*u - 3639, 5*q - 3651 = 3*u. Is 12 a factor of q?
False
Suppose -8*t + 733 = 3*h - 13*t, 2*h = -t + 493. Is 16 a factor of h?
False
Suppose -4*a - 3*x + 5 = 0, 2*a + 1 = -5*x - 0*x. Suppose 7*p = a*p + c + 290, 3*p - 162 = 3*c. Is 41 a factor of p?
False
Let t be 0/(4 - 6)*1. Suppose -2*h - 3*h + 585 = t. Is h a multiple of 25?
False
Suppose -5*o + 6 = -2*o. Suppose 4*g = -5*p + 928, 3*g - 434 - 255 = -o*p. Is g a multiple of 25?
False
Suppose -263*p + 11376 = -251*p. Is 79 a factor of p?
True
Suppose 0 = -32*l + 36*l - 9972. Is 82 a factor of l?
False
Let g be (-5 - -4)/1*-5. Suppose 3 = 2*u - g. Suppose 2*b - 3 = -5*k, -2*b - 3*b + 24 = -u*k. Does 3 divide b?
False
Let d(s) = 7*s**2 + 9*s + 10. Let x(p) = 13*p**2 + 19*p + 19. Let m(j) = 9*d(j) - 4*x(j). I