0 divide t?
True
Let o = 26523 - 5951. Is o a multiple of 278?
True
Suppose 4*q + 15 - 55 = 0. Suppose -q*z - 21 = -331. Let r = z - 21. Is r a multiple of 3?
False
Let k(i) = -3433*i + 650. Is k(-4) a multiple of 6?
True
Suppose 118163 = 43*z - 223386. Is z a multiple of 13?
True
Suppose -29*r + 23*r + 241458 = 0. Does 65 divide r?
False
Suppose 6*z = 3*z - t - 1, 4*z - 4*t = -28. Is (1/z)/(-6 - (-50433)/8406) a multiple of 13?
False
Suppose -5*k + 7*c + 325 = 2*c, -2*c = 6. Suppose -85690 = -k*i + 676. Is i a multiple of 15?
False
Suppose -7*q = -8*q - 413. Does 15 divide (-25)/5 - q/14*20?
True
Let x(q) be the first derivative of 76*q**3 + 8*q**2 - 14*q - 162. Is 5 a factor of x(1)?
True
Suppose 2*t = -5*q + 670, -2*q - 22*t = -23*t - 259. Is q a multiple of 12?
True
Let c be 171/27 - (-4)/(-3). Suppose -4*v = -4*i - 424, -6*i = 4*v - c*i - 429. Does 17 divide v?
False
Let w(t) = -t**3 + 32*t**2 - 17*t - 76. Let k = 675 - 644. Is 15 a factor of w(k)?
False
Suppose -y + 2786 = 4*c, -21*c + 2791 = y - 22*c. Is y a multiple of 90?
True
Let g(s) = 3*s**3 - 98*s**2 + 16*s + 75. Is 11 a factor of g(34)?
False
Suppose 3 = 2*h - 5*q, -4*h - 4*q = q + 9. Let i(d) be the first derivative of -83*d**4/4 + d**3 - 2*d + 3. Is i(h) a multiple of 31?
False
Let w = 43 - 33. Let x be -4*-2*5/w. Suppose 24 = x*o - 380. Is o a multiple of 6?
False
Let z(n) be the second derivative of n**5/20 + n**4/2 + 11*n**3/6 + 10*n**2 + 32*n. Let r(k) be the first derivative of z(k). Is r(-9) a multiple of 16?
False
Let g(a) be the first derivative of 7 - 3/2*a**2 + 10*a. Is 5 a factor of g(-6)?
False
Let g(w) = 298*w**2 - 34*w - 120. Is 52 a factor of g(-4)?
True
Let p(y) be the third derivative of 0*y**4 + 0*y - 1/2*y**3 + 0 - 10*y**2 - 1/60*y**5 - 1/40*y**6. Is 18 a factor of p(-3)?
False
Suppose -3*l + 5*l = 32. Let h be 367/(-1)*l/(-8). Suppose 8*o + 214 = h. Does 14 divide o?
False
Let k(j) = -7940*j + 6426. Does 8 divide k(-6)?
False
Let n(z) = -135*z - 465. Does 23 divide n(-45)?
False
Let u(p) = -28*p**3 - 3*p**2 + 4*p - 2. Suppose 0 = -q - 4*y + 17, 13 = 4*q - 48*y + 53*y. Is u(q) a multiple of 13?
True
Suppose -30*f - 39*f = -1897875 + 468885. Is f a multiple of 38?
True
Is 2/63 + 377308778/7497 a multiple of 36?
True
Let x(s) = 4*s**3 - 8*s**2 - 34*s + 116. Does 13 divide x(12)?
False
Suppose 28*n + 61*n = 5*n + 299376. Is 25 a factor of n?
False
Let q(v) = 10*v + 589. Is 6 a factor of q(-43)?
False
Let d(i) = 37*i**2 - 27*i + 17. Is d(-14) a multiple of 20?
False
Let j be -7 - (-49 + 5) - 0. Let i = 227 + j. Does 11 divide i?
True
Let y be (-1)/(-4) - (738/72 + -10). Let w be 557/2 + (-2)/4. Suppose -m + 34 + w = y. Does 16 divide m?
False
Let d(a) = a**2 - a + 4. Let s(q) = 4*q**2 - 7*q + 19. Let o(f) = 33*d(f) - 6*s(f). Is 16 a factor of o(-6)?
True
Let z(y) = y + 7. Let a(t) = -2*t + 0*t**3 - 1 + t**3 + 7*t**2 + 11*t - 1. Let k be a(-4). Is 17 a factor of z(k)?
True
Suppose -63748 = -2*a - 4*x, -a + 306*x + 31859 = 305*x. Is a a multiple of 131?
False
Let x = 4842 - 4501. Suppose -2 - 18 = -4*w. Suppose -w*r + 3*u = -x, -u = -r + 60 + 9. Does 8 divide r?
False
Let n be (-8)/(-5*(-2)/(-20)). Suppose -3208 = -n*d - 744. Is d a multiple of 17?
False
Let h(c) = 4*c - 26. Let d be h(10). Let f(k) = -k**3 + 11*k**2 + 16*k - 19. Let m be f(d). Let q = m - -596. Is 21 a factor of q?
False
Let s = 23799 - -1189. Is s a multiple of 36?
False
Let l(m) = -7*m**2 - 2*m + 3. Let a be l(1). Is 7 a factor of -69*a/3 + 6/3?
True
Suppose 0 = 2*k + 3*k - 69187 - 2938. Is 47 a factor of k?
False
Suppose 5*n = b - 1618 - 4586, -4*b + 2*n + 24708 = 0. Is 126 a factor of b?
True
Let p(l) = -l**3 + 11*l**2 - l + 5. Let q be p(11). Let h be 4/q*27/(-6). Suppose -h*z + 88 = -32. Is z a multiple of 26?
False
Does 132 divide 3/(1/178*2)?
False
Does 87 divide (-2)/(-3) - 58722*(-20)/90?
True
Suppose -5*n + 114 = -6. Let q = 26 - n. Suppose 2*d + 3*d = -3*w + 132, -3*d = q*w - 88. Is w a multiple of 9?
False
Suppose -7*b + 44*o = 41*o - 242525, -69293 = -2*b + o. Is b a multiple of 17?
True
Suppose -34*v + 126 = -37*v. Let r = v + 38. Does 30 divide -7 + 41 + r*3/(-6)?
False
Let b(w) = w**3 + 4*w**2 - 7*w - 6. Let d be b(-5). Suppose -d*a + 59 = 5*c, c - 65 = -4*a + 2*c. Let j(p) = p**2 - 12*p - 14. Is 5 a factor of j(a)?
True
Let q = 73 + -61. Suppose x + 8*s - 5*s - 570 = 0, 4*s + q = 0. Is 31 a factor of x?
False
Suppose 17*p = 2*c + 20*p - 1137, c - 569 = -2*p. Let r = 123 + c. Is 53 a factor of r?
False
Let m(u) be the second derivative of u**5/10 - 13*u**4/6 - 2*u**3 + 39*u**2/2 + u - 22. Is 13 a factor of m(14)?
False
Let l(g) = 2*g**3 - 5*g**2 + 92*g - 22. Does 9 divide l(10)?
False
Is -6 + 17/4 - 79564/(-16) a multiple of 29?
False
Let m be 15*(-5 - (-87)/18)*-2. Suppose 895 = 2*f + 3*x, -4*f + m*x = -3*f - 480. Is f a multiple of 65?
True
Let k(m) = -2 + 6*m**2 - 13*m**2 - m**3 - 17*m + 1. Does 5 divide k(-7)?
False
Let v(u) = -2*u**2 - 2*u + 8. Let w = 18 + -24. Let b be v(w). Let k = 56 - b. Is 27 a factor of k?
True
Let b = -1078 + 2023. Let q = b + -566. Does 13 divide q?
False
Is -10 - (-1 - 6 - (-19 - -3795)) a multiple of 4?
False
Suppose -14187 = -5*n + h, -39*h + 40*h = 3. Is 66 a factor of n?
True
Suppose -r + 448 = 5*f, f - 3*r + 7 = 103. Suppose -6 = -n - 1. Suppose 4*c + 27 = i, 4*i = -i + n*c + f. Is 3 a factor of i?
True
Let t = 80 + -83. Let i be t - -8*(-284)/16*1. Let c = i + 205. Is 6 a factor of c?
True
Suppose -3*u - 4*a = -5*a - 4, -a = -5. Suppose -5*r = -g + 370, u*r - r = -4*g + 1392. Does 10 divide g?
True
Does 92 divide 63/(-21) + 22 - -31169?
True
Suppose -4*m = 4*l - 20, 2*m + 0 = 2*l - 2. Suppose -2*y = m*q - 66, 2*y - 12 = -2*y. Does 12 divide q?
False
Let o(t) = -55*t**3 + t**2. Let i(w) = 3*w - 5. Let b(s) = 4*s - 5. Let m(l) = 4*b(l) - 5*i(l). Let z be m(-6). Is 6 a factor of o(z)?
False
Let b(v) = 84*v**3 - 5*v**2 - 2*v - 22. Let u be b(5). Suppose 33*r + 1433 - u = 0. Is 10 a factor of r?
True
Let a(v) = -2*v**2 + 30*v + 75. Let t be a(17). Suppose -t*i + 251 = -1940. Is i a multiple of 22?
False
Suppose 0*l - 10*l = -30. Suppose v + l*i = 47, 3*v + v - i - 123 = 0. Is v a multiple of 4?
True
Suppose 21*j = 22*j - 3. Suppose 4*x + 4*n - 176 = 0, 0*x - x = j*n - 38. Suppose 0 = -3*s + x + 28. Is 6 a factor of s?
False
Let z(o) = -o**3 + 9*o**2 + 7*o - 3. Let x be z(9). Suppose x + 185 = 5*u. Is 8 a factor of u?
False
Let c(f) = 15*f**2 + 312*f + 87. Is 6 a factor of c(-29)?
True
Let l = 75 + -58. Suppose -l*j = -3633 - 1263. Let t = j + -173. Is t a multiple of 8?
False
Let v(t) = 46 + 0 + t - 2*t**3 + t**3. Let q(k) = k**3 + 3*k**2 + 16. Let g be q(-4). Is 28 a factor of v(g)?
False
Let o(b) = 2*b**3 + 177*b**2 + 26*b + 131. Is 51 a factor of o(-88)?
False
Let b(h) = -h**2 + 7*h + 8. Let t be b(8). Suppose t*g = -g + 45. Let i = -22 + g. Is i a multiple of 5?
False
Does 16 divide ((-18)/(-54))/((-33196)/(-33192) - 1)?
False
Suppose 0 = 34*h + 7*h - 160556. Does 89 divide h?
True
Let x(g) = 62*g - 6. Let w be x(-3). Let b = -120 - w. Suppose -4*k - 4*z = -552, -k - 3*z + b = -76. Is k a multiple of 19?
True
Let l = 2056 + -1541. Is l a multiple of 2?
False
Let o(i) = 22*i**2 - 166*i - 1541. Is o(-9) a multiple of 26?
False
Let b(z) = 7*z**2 - 138 + 10*z + 0*z - 38*z. Does 14 divide b(-11)?
False
Is (-108)/234 + (-1932285)/(-65) a multiple of 187?
False
Let b be (-10)/6*(-151 - 8). Let j = 87 - -6. Let y = b - j. Is y a multiple of 52?
False
Let x be 2 - 5/10*-4. Suppose -2*k + 4 = -x*k - 2*m, 0 = -5*k + 4*m + 35. Suppose -34 - 257 = -k*w. Is w a multiple of 23?
False
Suppose 4*k - 162 = 3*k - 3*g, k - 3*g = 162. Suppose m - 90 = k. Suppose -3*x - 4*x + m = 0. Does 9 divide x?
True
Suppose -19093 = -13*p + 45369 + 41033. Is 15 a factor of p?
True
Let c = 10480 + -1656. Does 9 divide c?
False
Suppose 0 = k - 5*n - 4792, 4*k - 24602 = -4*n - 5530. Is k a multiple of 33?
False
Let l(t) be the first derivative of t**5/60 + 5*t**4/6 - 4*t**3/3 + 2. Let k(c) be the third derivative of l(c). Is k(7) a multiple of 17?
True
Let h(n) = -n + 16. Let w be h(9). Suppose 3*y = -w + 82. Is 4 a factor of y?
False
Suppose -23*l + 22*l + m = -5856, -2*l + 3*m + 11710 = 0. Is l a multiple of 101?
True
Let w(t) = 24*t**2 + 3*t + 21. Let n be w(4). Does 13 di