 = -4592. Is t a multiple of 11?
True
Let a(s) be the first derivative of 2*s**3/3 + 2*s**2 - 5*s + 19. Let d = -2 - -7. Is a(d) a multiple of 35?
False
Is (-6 - -2)/(34/(-255)) a multiple of 3?
True
Let w(y) be the first derivative of -y**7/168 - y**6/180 - y**5/120 + 2*y**3 - 2. Let v(r) be the third derivative of w(r). Does 3 divide v(-1)?
False
Let w(t) = t**3 - 6*t**2 + t - 4. Let f be w(6). Suppose f*x + 0*q = q + 123, -5*x = -5*q - 315. Is 29 a factor of x?
False
Suppose 0 = -3*r - 55 + 415. Suppose 4*z = 9*z + 45. Is 18/(-4)*r/z a multiple of 15?
True
Suppose 2*j + 0 = h + 8, 0 = -3*h + 4*j - 16. Suppose 5*b - 44 = 4*p - 378, 3*b + 4*p + 194 = h. Let v = b + 115. Is 15 a factor of v?
False
Suppose 3*a + 2*f - 239 = 641, 0 = 5*a + 2*f - 1468. Does 36 divide a?
False
Let u(g) = -2*g**3 + 102*g**2 - 101*g + 113. Does 21 divide u(50)?
True
Suppose -4*h = 2*z - 1438, 0 = 3*z + 4*h - 2067 - 100. Is z a multiple of 81?
True
Suppose p = 9*g - 12*g + 381, 0 = -p - g + 375. Does 9 divide p?
False
Let c(h) = -h + 22. Let s(m) = 2*m - 13. Let k be s(7). Suppose 0 = 2*x - y - k, -3*x + 2*y + 1 = y. Does 19 divide c(x)?
False
Does 49 divide 3/12 + 8706/24?
False
Suppose 2*o - 16 = 54. Let y = 87 - o. Does 8 divide y?
False
Let q(w) = -w**3 - 5*w**2 + 8*w + 8. Let z be q(-6). Suppose k = 2*r - 9, -19*k = -24*k + 3*r - 10. Is 23 a factor of 43 - (k + 0) - z?
True
Suppose -647 = -7*v + 1803. Is 25 a factor of v?
True
Suppose -1430 = -4*i + 5*p, -4*i + 5*p - 2*p = -1434. Suppose 7*b = 3*b + i. Is 15 a factor of b?
True
Suppose -4*c = 3*o - o, -3*c = 5*o. Suppose 50 = -o*k + 5*k. Is 5 a factor of k?
True
Let u(a) = 11*a**2 - 25*a - 54. Is 39 a factor of u(11)?
False
Suppose -2*c = 2*c. Suppose -4*y - w + 45 = 0, c = -5*y - 4*w + 36 + 34. Suppose s - y = 3. Does 13 divide s?
True
Suppose 725*o - 10752 = 718*o. Does 96 divide o?
True
Suppose 4*q = 2*f - 3*f + 16, -5*q - 2*f + 17 = 0. Suppose 2*x = x + q. Suppose 2*d - 41 = x*j, -4*d + 120 = d + 5*j. Is d a multiple of 11?
False
Let w be (1395/(-6) + 0)/(7/(-14)). Let q = w - 315. Is 13 a factor of q?
False
Is 11 a factor of (3 - 2)*1/((-1)/(-161))?
False
Let j(d) = 4*d + 10. Let z(f) = f**2 + 5*f - 10. Let r be z(-7). Suppose 1 = n - 4*t + 3, -r*t + 12 = 0. Does 10 divide j(n)?
True
Let p = -2505 - -7149. Is p a multiple of 14?
False
Let n(o) = 4*o**3 + 9 - 4 - 13*o**2 + 3*o**2 - 3*o**3. Let f(v) = v**3 + 9*v**2 + 8*v + 10. Let s be f(-8). Is n(s) a multiple of 5?
True
Is 4 a factor of ((-3)/2)/((-81)/26784)?
True
Let v be 2/(((-8)/(-22))/4). Let u = 40 + v. Suppose 3*l - 132 - u = -4*w, 3*w + 333 = 5*l. Is 11 a factor of l?
True
Let u(b) = -b**3 + 17*b**2 + b + 9. Let n(y) = y**3 - 11*y**2 + y + 6. Let p(w) = -3*w - 1. Let o be p(-4). Let h be n(o). Is 26 a factor of u(h)?
True
Let m(l) = -1924*l - 54. Is 37 a factor of m(-1)?
False
Suppose 55*c - 22021 = 12464. Is c a multiple of 11?
True
Let w(z) = z**3 - 4*z**2 - 35*z - 18. Is w(9) a multiple of 13?
False
Suppose -k + 5*k = 0. Suppose k = -2*w + 3*y + 21, -4*w - 2*y + 2 = -0*w. Suppose -i + 14 = 4*v, 4*i = i + w*v + 42. Is i a multiple of 7?
True
Let w(x) = 1. Let b(a) = -7*a**2 - 27*a - 19. Let v(y) = b(y) + 2*w(y). Let m(q) = -3*q**2 - 13*q - 8. Let o(r) = 5*m(r) - 2*v(r). Is o(-4) a multiple of 7?
False
Let x(i) = -2*i**2 - 22*i - 24. Let h be x(-9). Let q = 67 - h. Is 11 a factor of q?
True
Let v(d) = -d**3 + d + 12. Let t be v(0). Let b be 2/(-4) + 668/8. Suppose -2*a - b = -3*k, 21 = k - 2*a - t. Is 12 a factor of k?
False
Let h(d) = -d**2. Let s(x) be the third derivative of -x**5/12 + x**4/8 - 7*x**3/6 + 4*x**2. Let v(z) = 4*h(z) - s(z). Is v(5) a multiple of 7?
False
Suppose 0 = 26*y - 35*y + 5400. Is y a multiple of 15?
True
Suppose 2*i - 1044 = -3*p, 4*p - 1388 = -0*p - 4*i. Is p a multiple of 25?
True
Let g = -35 + 47. Let r(i) = -i**2 + 13*i - 3. Is 9 a factor of r(g)?
True
Let u = -184 - -259. Suppose u + 117 = 3*a. Is a a multiple of 16?
True
Let o(k) = 2*k**2 - 5*k - 13. Let d be o(-2). Suppose 3145 = 12*z + d*z. Is z a multiple of 12?
False
Let i be (-502)/(-10) - (-1)/(-5). Suppose q + 0*m - 40 = 2*m, -3*m = q - i. Is q a multiple of 5?
False
Suppose 479 = r + 3*h, -2*r = -4*h - 529 - 479. Does 19 divide r?
True
Suppose 2*j - 5*l + 17 = 0, -3*l + 2*l = -3. Let n = j - -4. Suppose -n*a - 2*b = -5*a + 38, -b = 5*a - 77. Is a a multiple of 8?
True
Let u(b) = -b + 5. Let c be ((-5)/(-4))/((-5)/(-20)). Let i be u(c). Suppose 4*y - 11 = -5*v, -2*y + v = -i*y - 23. Does 2 divide y?
False
Let v = 4 + 3. Let b = -172 - v. Let a = -121 - b. Does 11 divide a?
False
Suppose 4*l - 1493 = 5*w + 802, 2*l + 2*w = 1152. Does 5 divide l?
True
Let c(w) = 15 + w**2 - 2*w - 7 - 9 + 6*w**2. Is 14 a factor of c(3)?
True
Let j be -6*(1/1)/(-3). Suppose 1 = -j*i + g, -5*g + 3 = 4*i - 2*g. Suppose o - 18 - 7 = i. Is o a multiple of 8?
False
Suppose 5*x - 45 = 3*f + f, 0 = -4*x - 2*f + 10. Suppose -417 = -x*b - 117. Is b a multiple of 12?
True
Suppose 2*a - l + 18 = 85, 0 = a - 3*l - 31. Suppose 0 = z - 11. Let g = a - z. Is 10 a factor of g?
False
Let b(x) = -x**3 + 14*x**2 - 2*x - 95. Does 43 divide b(8)?
False
Let l = 659 - 464. Is l a multiple of 10?
False
Let n be (-7)/(-2)*200/140. Suppose n*x + 0*r = 3*r + 834, -3*r + 6 = 0. Does 8 divide x?
True
Let u = 44 + -44. Suppose 4*p + 2*z - 116 = 0, 0*p - p - 5*z + 47 = u. Does 11 divide p?
False
Suppose -6 = 5*x + 14, 0 = -4*k + 5*x + 8. Let q be (7 - 4)*4/k. Is 47/2*(6 + q) a multiple of 17?
False
Let b(r) = 6*r**2 - 3*r - 2. Let c be b(-2). Let l = c + -8. Does 18 divide l?
False
Let q be 301 - (2/(-1) - -2). Suppose -4*w + 2*d = -272, 4*w + 5*d - q = -15. Is w a multiple of 25?
False
Let u be ((15 + -8)/(-7))/((-1)/5). Let h(i) = 7*i**2 + 12*i - 3. Is 29 a factor of h(u)?
True
Let r = 2085 + -1417. Is r a multiple of 7?
False
Let u(i) = -2*i**2 + 51*i - 25. Let n be u(25). Suppose n = -f - 11*f + 660. Is f a multiple of 12?
False
Suppose -3*z + 0*z = -4*l - 31, -4*z = l - 16. Let a(p) = -p + 4. Let f be a(z). Is f/(-3) - (-40)/6 a multiple of 7?
True
Let l(c) = 8*c**2 - 15*c - 9. Is l(-11) a multiple of 52?
False
Let u(a) = -2*a**2 - 2*a. Let k be u(-1). Suppose p + 2 = k, 3*p = 3*w - 6*w + 159. Is 28 a factor of w?
False
Let z(x) = x**3 - 4*x**2 - x. Let k(s) = -3*s**3 + 11*s**2 + 3*s - 1. Let r(y) = 6*k(y) + 17*z(y). Is r(-4) a multiple of 3?
False
Suppose -4*a + 2 - 10 = -4*o, -8 = 2*a. Is 176 + (32/(-4))/o a multiple of 30?
True
Suppose 3*a + 2484 = t + 4*t, a - 987 = -2*t. Is t a multiple of 5?
True
Suppose -4*v + 11*v = 28. Is v a multiple of 4?
True
Suppose -8 = -8*x + 8. Is x/2*15*9 a multiple of 38?
False
Is 2*(59147/22)/19 a multiple of 6?
False
Let q(h) = 3*h**3 - 16*h**2 - 13*h + 11. Let f(m) = 13*m**3 - 65*m**2 - 53*m + 45. Let b(o) = 2*f(o) - 9*q(o). Is b(14) a multiple of 19?
False
Let t(z) = z**3 - 6*z**2 + 2. Let f be t(6). Let a(x) = 3*x**f - x - 3*x - 6*x - x**2 + 11. Is a(6) a multiple of 16?
False
Suppose 0 = 3*s - 0*s - 6. Let j(y) = -5*y + y + 3*y - 2 + y**2 + 3*y**s + y**3. Is 3 a factor of j(-3)?
False
Suppose 5*m = 23 - 13. Let o be m*(6 + -1) + 2. Does 16 divide (1 - 16/o)*-69?
False
Let u(b) = 5*b**3 + 4*b**2 + 2*b - 1. Let p be u(-3). Let z = p - -280. Suppose 4*o - z = -30. Is o a multiple of 9?
True
Let d be 1/((-118)/40 - -3). Suppose -2*s + d = -2*c, c - 4*c = 0. Is 14 a factor of 1 + s*3 + -3?
True
Let r = 6508 - 3601. Is 75 a factor of r?
False
Let w(m) = 2*m**2 - 7*m - 2. Let s be w(5). Suppose -2*o = 1 - s. Is 4 a factor of o?
False
Let f be -1 + -1 + -2 + 94. Suppose f = 2*s - 18. Does 9 divide s?
True
Let p(n) = 2*n**2 - 2*n + 2*n**3 - 4 - n**3 - n**2 + 2*n**2. Let z be p(3). Suppose 5*b + 6 + 33 = 4*u, 0 = 4*u - 4*b - z. Does 8 divide u?
True
Let v = 11 + -10. Suppose 2*r = 2*j + 254, j - 6 + v = 0. Let z = r + -78. Is z a multiple of 18?
True
Let y(d) = 3*d**2 - 19*d - 20. Let l(m) = m**2 - 10*m - 10. Let t(x) = 5*l(x) - 2*y(x). Is t(-8) a multiple of 11?
True
Let u be 1/(-4) - (-392)/32. Let l = -12 + u. Suppose l = 8*c - c - 161. Does 9 divide c?
False
Let r be (-21392)/(-35) + 1*(-1)/5. Suppose 348 = 4*j - f - r, -3*f - 717 = -3*j. Does 30 divide j?
True
Is (-2)/(-21) + 156285/189 a multiple of 73?
False
Let s(c) = 28*c + 25. Let k(v) = 7*v + 6. Let i(n) = 9*