10 divide (-4)/6 + c/(-54)?
False
Let t(i) = -12*i**3 - 4*i**2 - 34*i - 40. Does 12 divide t(-6)?
False
Suppose 3*k - 5*a - 3931 = 0, 22*k - 19*k - 2*a - 3934 = 0. Is 42 a factor of k?
False
Let a = -14 - -16. Suppose q = a*q - 122. Is 10 a factor of q?
False
Let v be 5/10*4/2 + -659. Is 9 a factor of (-20)/30 + v/(-6)?
False
Let q(p) = -p**3 - 2*p**2 - 2*p + 6. Let a be q(-3). Let g be 2/(-10) - a/(-5). Suppose 0 = -4*d - g + 40. Does 3 divide d?
True
Suppose 5*u - u = -164. Let k = u - -76. Is 27 a factor of k?
False
Let q(s) = 2*s - 1. Let y be q(8). Suppose 2*w - y = 15. Suppose 5*c - w = 25. Is 3 a factor of c?
False
Suppose -3*u = 9, 4*u - 135 = -3*h + 9. Let m = 20 + h. Does 10 divide m?
False
Let o = -202 + 1189. Does 86 divide o?
False
Suppose -2*p = -15 + 325. Let j = 292 + p. Is 63 a factor of j?
False
Let g(w) = 1 + 0*w - 15 - w. Is 2 a factor of g(-18)?
True
Let v(o) = o**3 + 11*o**2 + 25*o + 16. Let p be v(-8). Suppose 46 = g - p*y + 6*y, 56 = g - 4*y. Does 4 divide g?
True
Let c(v) be the third derivative of 7*v**4/24 + v**3/6 - 5*v**2. Let x be c(-1). Is 9 a factor of (-2)/3 - 58/x?
True
Does 27 divide (0 - (22408/(-40) - -7))*5?
False
Let n = 54 - 54. Suppose 5*d + 3*b = 406, -2*d + 3*b = -n*b - 154. Is d a multiple of 10?
True
Suppose -13*b + 14*b - 80 = 0. Let u = b - 42. Does 38 divide u?
True
Suppose b + 47 = -36. Let y be (-1 - 0)/(1/(-127)). Let x = b + y. Is 19 a factor of x?
False
Suppose 3*s = 6*s - 9. Suppose -3*w - 9 = -0*c + s*c, 5*w - 27 = 2*c. Does 13 divide 26/(3 - (-15)/c)?
True
Let z = -397 + 869. Is z a multiple of 30?
False
Let o(l) = -2*l**3 - 9*l**2 - 4*l - 24. Let h be o(-6). Suppose 0*b = -b + 6. Suppose b*s - 3*s = h. Is s a multiple of 12?
True
Let d be (-14)/(-8) - (-16)/64. Let s be (-28)/d*(-2)/4. Let l(m) = m**3 - 5*m**2 - 11*m + 4. Does 11 divide l(s)?
False
Does 12 divide (-132)/(6/(-4)*(-6)/(-117))?
True
Let v = -57 - -99. Is ((-14)/6)/((-14)/v) a multiple of 7?
True
Let i(f) = 23*f - 42. Suppose 4*d - 5*k + 2 - 14 = 0, d - k - 4 = 0. Is i(d) a multiple of 9?
False
Suppose -46*v = -5*m - 41*v + 3790, -748 = -m + 3*v. Is m a multiple of 7?
True
Let y(d) = d**2 - 8*d - 5. Let s be y(-7). Suppose 6*a - a = s. Is 20 a factor of a?
True
Let i = 147 - 336. Let v = i + 296. Is 15 a factor of v?
False
Let t = 15 - 11. Let k be ((-2)/t)/(2/(-20)). Suppose -5*y = 5*r - 100, -3*y + y + k*r = -33. Does 19 divide y?
True
Let g = -865 - -1251. Let n = -266 + g. Is 30 a factor of n?
True
Let y be (2*-1)/(22/(-33)). Suppose -y*z = -65 - 31. Does 16 divide z?
True
Suppose -3*q = 5*t + 2*q - 40, 2*q - 22 = -4*t. Does 17 divide t/6 + (-321)/(-6)?
False
Let f(p) = p**3 - 14*p**2 + 13*p + 4. Let t be f(13). Suppose 4 = 4*v - t. Suppose -4*g + 88 = 5*w, -v*g + 2 = -2. Does 8 divide w?
True
Suppose 4*i - 5*a - 380 = 0, 0 = 3*a + 2*a + 20. Let h = i + -63. Is 12 a factor of h?
False
Suppose 10 = 2*o + 4. Let d be 13/(0 + o/(-9)). Let v = d - -59. Is 13 a factor of v?
False
Let o(b) = 34*b - 4. Let y be o(14). Suppose 94*r + y = 98*r. Is 33 a factor of r?
False
Let t = -337 + 198. Let r = t - -199. Is 6 a factor of r?
True
Let t(c) = -280*c. Does 14 divide t(-1)?
True
Does 14 divide 21 + 182/(-7) - (-478 + -1)?
False
Suppose -39*d - 667 = -40*d. Is 29 a factor of d?
True
Let j be 8/14*(-14)/(-4). Let p(f) = 24*f**2 + 2*f - 5. Is 19 a factor of p(j)?
True
Suppose 2*n = -0*n + 90. Suppose -2*f = 3*f - n. Let v(u) = 2*u**2 - 12*u + 6. Does 20 divide v(f)?
True
Let u = 442 + -198. Does 10 divide u?
False
Suppose -7*b + 4*b + 18 = 0. Let i be (-10)/15 - (-46)/b. Let n = 43 + i. Is 13 a factor of n?
False
Let i(n) be the third derivative of -5*n**2 + 0*n + 0 + 1/8*n**4 - n**3 + 1/120*n**6 - 1/12*n**5. Does 3 divide i(5)?
True
Let h = 61 - 70. Let s = h + 31. Does 5 divide s?
False
Let m(s) = 231*s**2 - 6 + 2 + 3 + 8*s**2. Does 14 divide m(1)?
True
Let m = -376 - -421. Is m a multiple of 8?
False
Suppose 0 = -4*p - 2*t - 138, 205 = -5*p + 5*t - t. Let v = p + 66. Is v a multiple of 29?
True
Let l be 6*20/1*(-5)/(-4). Suppose -f - 9*f + l = 0. Is 3 a factor of f?
True
Let o(k) = -15*k - 22. Let v be o(-5). Suppose -3*p + 2*u = 3*u - 143, v = p - 5*u. Is p a multiple of 13?
False
Suppose 14*k - 5*k = 756. Is k a multiple of 28?
True
Suppose 5*w - 278 + 128 = 0. Does 15 divide w?
True
Let a(k) = 2*k + 14. Let o be a(-7). Suppose o = -4*u + 68 - 4. Is 1*(u/(-2))/(-2) a multiple of 4?
True
Is -6*8/(-12) - -489 a multiple of 3?
False
Let l = 11 - 11. Does 2 divide (l + 1)*63/9?
False
Let d(h) be the second derivative of 11*h**5/10 - h**4/3 + h**3/2 + 14*h. Does 2 divide d(1)?
False
Let n = 26 + -14. Suppose 13*c - n*c = 95. Does 19 divide c?
True
Let k be 2*(-1 - -18) - 0. Does 10 divide 5130/255 + (-4)/k?
True
Suppose -40*g + 20*g + 140 = 0. Does 7 divide g?
True
Suppose -6*h = -3*h - 78. Suppose -3*o + 20 = h. Does 3 divide 12*(o + 22/8)?
True
Suppose 93 - 360 = -k. Is 28 a factor of k?
False
Suppose -5*d - 390 = 2*y, 2*d - 6 = 5*d. Let z = -76 - y. Suppose 5*i - z = 3*i. Is i a multiple of 16?
False
Suppose z - 7 = -b + 2*z, -5*z = -4*b + 33. Suppose -5*t - 3 - 10 = r, 5*r = -t + 7. Suppose r*q + 0*q = -4*u + 16, 3*q - 24 = b*u. Is q a multiple of 5?
False
Suppose 4*r - 6 = 2. Suppose -4*c = f + 37, 99 = -r*f - 0*f - 3*c. Let t = f - -103. Is 23 a factor of t?
True
Suppose -2*y - 3756 = -2*p, 406 = -p - 3*y + 2276. Is p a multiple of 14?
True
Let f = -16 + 18. Suppose 4*o + f*v + 1790 = 0, -669 - 672 = 3*o + v. Is 10 a factor of (-3)/(-21) - o/14?
False
Let s(k) = -4*k**3 - 5*k**2 + 3*k + 13. Is 59 a factor of s(-4)?
True
Let f be -2 - (-4 + 180)/(-4). Let k = f - 6. Is k a multiple of 10?
False
Let f(l) = -35*l + 2. Let c(r) = -1. Let g(h) = 3*c(h) + f(h). Does 15 divide g(-3)?
False
Let i(d) = 3*d**3 - 3*d**2 - 2*d + 14. Is i(5) a multiple of 16?
True
Let w = 216 + -89. Is 12 a factor of w?
False
Let g be 1/(-6) + 3460/(-120). Let o = g + 47. Is o a multiple of 9?
True
Suppose -92 = -5*c + 3*i, 2*c - 4*c + 2*i + 36 = 0. Suppose -2*p + c = -2*a + 109, -a + 3*p = -35. Does 17 divide a?
False
Let l = -15 - -10. Suppose -4 = 6*b + 50. Is 4 a factor of l - -7 - (2 + b)?
False
Let z = 664 + -73. Is 5 a factor of z?
False
Let u(v) = 541*v**2 + 1. Is u(1) a multiple of 57?
False
Suppose 5*m = -10, 4*v - 6*m - 3576 = -2*m. Is v a multiple of 18?
False
Let p(y) = y + 1. Let i be p(-4). Let n(u) be the first derivative of -7*u**2/2 + 6*u - 36. Does 10 divide n(i)?
False
Suppose -c - c = -30. Suppose 0 = -3*x - 3*p - 5 + 2, -6 = 3*p. Let f = c + x. Is f a multiple of 8?
True
Is 4 a factor of (-2 + (-26)/(-6))/((-2)/(-48))?
True
Let t be (-8)/5*10/(-4). Suppose 0*q + t*q - 3*r - 70 = 0, 0 = -2*q + 3*r + 38. Does 3 divide q?
False
Let v be (5 + 240/3)*-1. Let n = 88 + v. Does 2 divide n?
False
Let v(f) = f**2 - 5*f + 6. Let h be v(4). Suppose -h*i - 16 = -6*i. Suppose -i*j - 31 = -179. Is j a multiple of 8?
False
Suppose 3*f - 3*h = 17 + 1, 3*h + 20 = 4*f. Suppose -2*y + f*c = -104, -4*y + 2*c + 92 + 116 = 0. Is y a multiple of 13?
True
Let d = -66 + 68. Is (-2750)/(-70) - d/7 a multiple of 13?
True
Suppose 0 = -5*z - 3*l - 17, -8 = -2*z + 6*z + l. Let a be (-31 + z)*(-65)/(-20). Does 17 divide -4*(-3)/(-6) - a?
True
Let w = 2516 - -2198. Does 30 divide w?
False
Let u(k) = 16*k**3 - 1. Let o be u(1). Suppose 27 = l - o. Suppose -3*b = 2*j - 82, 0*b - 5*j - l = -2*b. Is b a multiple of 9?
False
Let k(f) = -f**3 + 17*f**2 - 31*f + 15. Let j be k(15). Suppose y - 2*g - 151 = j, -4*y + 4*g + 141 = -3*y. Does 19 divide y?
False
Suppose 0 = 245*c - 237*c - 10152. Does 81 divide c?
False
Let l(g) = g**3 + 6*g**2 + 5*g - 7. Let s be l(7). Is 8 a factor of s/21 - 2/(-6)?
True
Let t = -19 + 11. Let m(g) = g**2 + 10*g + 19. Let u be m(t). Let p = u + 21. Is 15 a factor of p?
False
Let r = 861 + -567. Is r a multiple of 14?
True
Let x(v) = v**3 - 14*v**2 - 63*v + 51. Is 15 a factor of x(21)?
True
Suppose 2*k - 4*z = -374, -z + 12 = 2*z. Let b = -50 - k. Let t = -71 + b. Does 34 divide t?
False
Let l(n) = n**3 + 27*n**2 - 127*n - 105. Does 15 divide l(-30)?
True
Let t be 11*35 + 6/1 + -2. Suppose 0*q - 3*q = -5*v + 687, -3*v - 4*q = -t. Does 15 divide v?
True
Let s(h) be the first derivative of h**4/4 - h**3/3 + h**2/2 + 21*h - 6. Suppose -20 = -4*m