se p = 5*p - 340. Is 15 a factor of p?
False
Let g(u) be the third derivative of -u**7/280 - u**6/180 + u**5/60 + u**4/12 - u**3/6 - u**2. Let k(r) be the first derivative of g(r). Is 7 a factor of k(-2)?
True
Suppose -2 = -i + 3*h, -h - 4 = 3*i + 30. Let r be i*(2 + 84/(-15)). Suppose 4*b - b - r = 0. Is 12 a factor of b?
True
Let g be (-4)/(-6) - 921/(-9). Suppose 0 = 5*m + 2*a - 158, 0 = -4*m - 5*a + 37 + g. Is m a multiple of 13?
False
Suppose 0 = -3*z + a + 13 - 5, -2 = 4*z + 5*a. Is 2 a factor of z?
True
Suppose 0 = -4*g, 60 + 60 = 5*s + 3*g. Suppose r - s = -5. Is r a multiple of 8?
False
Let p = 109 - 25. Does 21 divide p?
True
Suppose 3*i = 5*t - 175, -3*t - 2*i = -63 - 23. Is 16 a factor of t?
True
Suppose -5*w = -9*w - 36. Let z(n) = n**3 + 9*n**2 - n + 13. Is z(w) a multiple of 9?
False
Suppose p = -7 - 5. Let c = p + 30. Does 9 divide c?
True
Let u(i) = i**3 - i**2 + 2*i - 3. Let k be u(2). Suppose -4*x - f = -73, k*f - 20 = 4*x - 63. Is 14 a factor of x?
False
Let w(i) = -i**2 - 7*i - 7. Let t be w(-5). Suppose 42 = t*u - 0*u. Let j = 0 + u. Is 14 a factor of j?
True
Let t(l) = -2*l - 10. Let s be t(-7). Let m(c) = -c**3 + 0*c**2 + 3*c + s*c - 7*c**2 + 2*c**3. Is 6 a factor of m(6)?
True
Let n = -2 - -17. Does 10 divide (6/n)/(4/100)?
True
Is 26 a factor of ((-78)/(-4))/(-5 + 63/12)?
True
Suppose 0 = -2*q - 2*p, 4*q - 5*p = -0*q + 18. Is 2 a factor of q?
True
Suppose 4*z - 3*x - 209 = -6*x, 4*x + 138 = 3*z. Does 22 divide z?
False
Suppose 0 = -3*q + 2 + 10, -4*h - 4*q + 1116 = 0. Suppose u = 6*u - 4*s - h, 4*s = 0. Does 16 divide u?
False
Suppose 0 = -5*d - 10, -3*d + 4 + 5 = 5*w. Suppose 0 = 5*r + 4*f - 90, -w*r - 5*f + 69 = 15. Is (2*2)/(6/r) a multiple of 9?
False
Let z(x) = -x - 5. Let o be z(-5). Suppose 4*u + 4*r - 36 = o, -3*u - 4*r - 28 = -7*u. Let f = u + 0. Does 8 divide f?
True
Let w(v) = 10*v**2 - 11*v + 7. Let j be w(7). Let z be (-2)/4*j/(-6). Suppose -4*g + 1 + z = 0. Does 9 divide g?
True
Let n = 29 - 19. Let z be (n/(-3))/(4/(-18)). Suppose -o = 2*y - 2*o - 97, 3*o = -z. Is y a multiple of 23?
True
Let s(r) = -5*r**3 - 1. Let t(q) = q**3 - 4*q**2 - 2. Let p be t(4). Is 13 a factor of s(p)?
True
Suppose -4*a + 171 = -69. Does 9 divide a?
False
Suppose 0 = -2*k - 3*k + 30. Suppose f - k*f = -10. Suppose f*j = 4*o, -j - 5 = -3*o - 2. Is j a multiple of 3?
True
Suppose 0 = -3*o + 4*v + 4, v = -4*o - 3*v + 24. Suppose -o*u = -2*u - 116. Does 23 divide u?
False
Suppose -6*i + 3*i + 252 = 0. Is 6 a factor of i?
True
Suppose -3*q + 162 = -5*x, -9 - 77 = 3*x + q. Does 20 divide (-2)/(-3) + (-580)/x?
True
Suppose -8*x = 550 - 2854. Is 24 a factor of x?
True
Let y be (-2)/(-1 + -1 + 4). Let g(u) be the second derivative of 5*u**4/6 + u**3/6 - u. Is 9 a factor of g(y)?
True
Suppose 5*u = 4*u + 9. Is u even?
False
Let a = 10 + -19. Let c(q) = -q**2 - 8*q + 7. Let r be c(a). Is 6/4*r + 37 a multiple of 11?
False
Let j(h) = h**2 - h + 35. Does 11 divide j(0)?
False
Let g be (-1 - (-1 - 0)) + 1. Let o(u) = -56*u - 1. Let w be o(g). Let i = -39 - w. Is 9 a factor of i?
True
Let c(g) = -g**3 + 5*g**2 + 7*g - 3. Let h be c(6). Does 11 divide 45 - 3/(9/h)?
True
Let k(s) = 5*s. Let v be k(9). Suppose -5*o = 3*r - v, 9*r - 35 = 4*r + 5*o. Does 6 divide r?
False
Suppose 20 = -5*s - 0. Let y = s + 39. Does 9 divide y?
False
Suppose 0*f = -5*f + 30. Suppose f*u = u + 100. Is 9 a factor of u?
False
Let h = 80 - 18. Is h a multiple of 8?
False
Does 18 divide 35/20 - (-1)/4 - -86?
False
Suppose 4*f - 4*w = 64, 3*f - 2*w + 7 - 59 = 0. Is f a multiple of 20?
True
Let r be (40/30)/((-4)/(-6)). Suppose 0 = -3*m + 8*m - 15. Suppose -p + 4*i = -2, m*i - 1 = p - r*i. Does 7 divide p?
True
Let f(y) = -y**2 - 8*y - 4. Let o be f(-6). Suppose -2*j - 4*l = 14, 3*l + 8 - 2 = 0. Let a = o + j. Does 5 divide a?
True
Let v be 12/(4 + -1) - 0. Suppose -v*x = x - 15. Suppose x*h + 54 - 186 = 0. Is h a multiple of 20?
False
Let z(a) = 3*a**2 - a**3 + 4*a - 7*a**2 + 2 - 4*a**2 + 2*a. Does 9 divide z(-9)?
False
Let i = -10 + 14. Suppose -i*c + 28 = 2*z, -35 = -5*c - 3*z - z. Suppose -c*p = -2*p - 100. Is 8 a factor of p?
False
Let g = 15 + 45. Does 15 divide g?
True
Let a = -72 + 420. Let u = a - 236. Is 30 a factor of u?
False
Let m = 14 - 12. Suppose 4*q + 5*p - 12 = 0, -3*q + m*p + 21 + 11 = 0. Does 3 divide q?
False
Let k be (4 + 1)/1 + 0. Suppose -k = 5*d - 25. Is 2 a factor of d?
True
Let l be 1/(-2)*(-4)/1. Let g be l/(2/1)*37. Suppose -p = -4*p + x + g, 3*p - 45 = 3*x. Is p a multiple of 7?
False
Let p(x) = -9*x**2 + 5*x - 4*x - 1 - x**3 + 2*x**2 + x. Does 17 divide p(-8)?
False
Suppose 0 = -10*b + 5*b + 525. Is 15 a factor of b?
True
Let b = 15 + -19. Is 14 a factor of b/16*0 - -16?
False
Let y(u) = -2 + 19 - 39*u + 40*u - 1. Is y(12) a multiple of 8?
False
Let z(w) = w**2 - 7*w + 3. Let p be z(8). Let a = -5 + p. Is 6 a factor of ((-13)/2)/((-3)/a)?
False
Suppose -5*s = 11 + 4. Is -2 - s - (-4 - 39) a multiple of 22?
True
Suppose 40 + 90 = 10*k. Is k a multiple of 13?
True
Suppose -9 = -3*u, -m - m + 527 = 5*u. Suppose 0 = 3*n + n - m. Let z = n + -42. Does 11 divide z?
True
Suppose 0*v - 2*v + 4 = 0. Suppose 0 = v*x - 2*d - 26, 4*d + 0*d = -5*x + 56. Does 12 divide x?
True
Let h(p) = p**2 + p + 5. Let w be 1/(-3) - (-2)/6. Let i be h(w). Let x = -1 + i. Does 4 divide x?
True
Suppose -10 = -3*w + 5. Suppose -3*x + 99 = -0*x + 2*h, -h = -w*x + 165. Is x a multiple of 13?
False
Is 24 a factor of 4 + -5 + 1 + 24?
True
Suppose 6*p - 9*p + 165 = 0. Is p a multiple of 11?
True
Is 6 a factor of 224/22 - (-2)/(-11)?
False
Suppose 6*f = -4*p + 10*f + 96, 3*f = 6. Suppose 5*i + v + 89 = 9, -2*v = 5*i + 80. Let k = p + i. Does 6 divide k?
False
Let u(g) = 12*g + 9. Let t be u(3). Let f = -27 + t. Is 9 a factor of f?
True
Suppose 2*q + 1 = -5. Let g = -11 + q. Does 6 divide g/((-1 + 3)/(-1))?
False
Suppose 4*i - 360 = -4*b, -3 = -3*i - 0*i. Does 21 divide b?
False
Let i be (-2 - -10)*(14 - 4). Suppose -4*h + i - 24 = 0. Is 14 a factor of h?
True
Suppose t + 3*b = 5*b - 11, 4*b = t + 11. Does 23 divide -1*1 + (t - -56)?
False
Let t(a) = 29*a - 1. Does 24 divide t(2)?
False
Let a(n) = -n**3 - n**2 + n - 1. Let d be a(0). Is 8 a factor of 4*(-1 + d)*-2?
True
Let x = -3 + 8. Let g(h) = -12*h + 8. Let v(m) = 11*m - 7. Let a(l) = 6*g(l) + 7*v(l). Is a(x) a multiple of 12?
True
Let q = -4 - -4. Let c(d) = d**2 + 2*d + 92. Does 28 divide c(q)?
False
Let u(q) = q**2 + 5*q + 4. Suppose -5*k - 17 = 3. Let v be u(k). Suppose -2*p - 21 + 87 = v. Does 11 divide p?
True
Does 2 divide 31 - 3*5/(-3)?
True
Let v(h) = -h**3 - 3*h**2 - 3. Suppose -5*p + 7 + 93 = 0. Let m be p/(-4) + (-1 - -2). Does 9 divide v(m)?
False
Suppose -h - 2*h + w = 15, -h - 3 = -w. Let p(f) be the first derivative of -f**3/3 - 7*f**2/2 - 2*f + 3. Is 2 a factor of p(h)?
True
Let s(v) = v**3 - 4*v**2 + 4*v - 16. Does 16 divide s(6)?
True
Let g = 46 - 21. Is 3 a factor of g?
False
Let c be (2/4)/((-1)/(-2)). Let d be c/(-2)*-1*4. Suppose -3*m - 1 = -2*b, -d*m + 0*m = -10. Is b a multiple of 6?
False
Let a(p) = -3*p. Does 6 divide a(-2)?
True
Let w(k) = -k**3 + 9*k**2 - 7*k - 11. Let t be w(8). Let u(i) = 2*i**2 + 3*i - 4. Let a be u(t). Suppose -12 - 158 = -a*s. Is s a multiple of 9?
False
Suppose 2*g = -2*n + 12, 4*g + 2*n = 13 + 3. Is 2 a factor of g?
True
Suppose -3*k + 3*v = -0*k - 219, 0 = -4*k - v + 287. Does 9 divide k?
True
Suppose 13*a + 728 = 20*a. Is 13 a factor of a?
True
Let u = -14 + 44. Is u a multiple of 5?
True
Let b = -2 - -3. Let j(o) = -3*o + b + 7*o**2 - 2 - o**3 + 0. Is 17 a factor of j(5)?
True
Is 4 a factor of (-1)/(5/14 + 6/(-12))?
False
Let z(v) = v**2 - 16*v - 2. Let c(a) = 2*a**2 - 33*a - 5. Let i(n) = 6*c(n) - 13*z(n). Let k be (3/4)/(2/24). Is i(k) a multiple of 3?
False
Let t(a) be the third derivative of -7*a**4/24 - 7*a**3/6 - 6*a**2. Suppose 3*o + 14 = o. Is t(o) a multiple of 21?
True
Let w(v) = -v - 9. Let y be w(-6). Let q be ((-6)/(-10))/(y/(-15)). Is q/(-4) + (-345)/(-12) a multiple of 13?
False
Let j(n) = -n + 4. Let s(t) = -1. Let y = -13 - -9. Let f(z) = y*j(z) - 22*s(z). Is f(5) a multiple of 13?
True
Let m(x) = x**2. Let b be m(2). Let n be (-1)/b + 17/4. Let g(y) = 2*y**3 - 6*y**2 + y - 4. Is 15 a factor of g(n)?
False
Let q be -2 + 6/(-9)*-48. Suppose 3*l - 