*2 + 10*s - 3 - s**3 - 4*s. Does 37 divide x(6)?
True
Suppose 2*x - 1635 = 5*g - 352, 2*g = -3*x + 1877. Does 53 divide x?
False
Let z(k) = -267*k**3 + 3*k**2 + 4*k. Does 19 divide z(-1)?
True
Suppose -11*p = -6*p - 2*q - 109, 0 = -2*p + 4*q + 34. Is 4 a factor of p?
False
Let f = 1436 + -395. Does 51 divide f?
False
Let k be (9/18)/((-2)/(-4)). Suppose 0 = -0*j - j + 3. Is 13 a factor of 30 + k/(j + -2)?
False
Suppose 0 = -7*b + 8335 + 24740. Is 158 a factor of b?
False
Let g(l) = 6 - 3*l - 3*l**2 + l + l**2. Let o be g(-9). Let r = 204 + o. Is 21 a factor of r?
False
Let u(o) be the third derivative of -o**5/60 + 13*o**4/12 - 3*o**3 - 9*o**2. Is u(17) a multiple of 15?
True
Let c be ((2 - 2)/2)/(-1). Suppose 3*h - h = c. Suppose -v - v + 10 = 0, f - 3*v - 7 = h. Does 11 divide f?
True
Suppose 0 = q + 3*q. Let c be (-2)/((-60)/14 - -4). Suppose 5*k - 3*b = 3*k + c, 2*k + b - 11 = q. Is 3 a factor of k?
False
Let j(q) = 3*q**2 + 4*q. Let r be j(-2). Suppose 0 = -2*n - 2*v + 134, -5*n + 2*n + 180 = -r*v. Is 16 a factor of n?
True
Let j(h) = 3*h**2 + 33*h - 12. Let q be j(-12). Suppose 0 = z - 1 - q. Does 16 divide z?
False
Let j(q) = 5*q**2 + 4 + 6*q - 6 - q**3 + 0*q**2. Let o be j(6). Is (-267)/(0 - 3) + o a multiple of 29?
True
Let f be 20 + (-2 - (-1 - -2) - -3). Suppose f*i - 17*i - 168 = 0. Does 14 divide i?
True
Suppose 5222 = 33*w + 1196. Is 10 a factor of w?
False
Let t(v) = -v**2 + v + 25. Let u be t(-4). Suppose -u*k + 397 + 68 = 0. Is k a multiple of 9?
False
Let b(z) = -2*z**3 - 4*z**2 - 4*z + 3. Is 23 a factor of b(-9)?
True
Let i = -22 + 256. Suppose -4*t + l = -i - 47, 0 = -4*t + 4*l + 296. Does 4 divide t?
False
Let b(k) = -k**3 + 20*k**2 - 10*k + 21. Does 32 divide b(19)?
True
Is 26865/15 - (0 + -3) a multiple of 12?
False
Let n = 2252 + -1935. Is 6 a factor of n?
False
Let a = 25 + -28. Does 2 divide -1 + 13 + (a - 1)?
True
Suppose 3*p = -17 - 7. Let w(x) = -6*x - 9. Is w(p) a multiple of 27?
False
Let v be (0 + -2)/4*-6. Let l be (-1*(0 + v))/(-1). Does 6 divide 4 - (l + 20/(-4))?
True
Let x = 60 - -122. Suppose -q + 2 = q, 0 = v + 2*q - x. Does 20 divide v?
True
Let g(x) = -x**2 - 20*x - 11. Let l be g(-9). Suppose 2*i - 3*i + l = 0. Is i a multiple of 23?
False
Let d = 1089 + -753. Is d a multiple of 8?
True
Suppose -4*d + 3*f + 1639 = 8*f, 0 = -4*d - 2*f + 1654. Is d a multiple of 37?
False
Let z(u) = 2*u**2 + 6*u - 6. Let x be z(8). Let j = x - 44. Is j a multiple of 21?
True
Suppose -a - 7 = -3*s, -5*s + 34 - 11 = 4*a. Suppose 0 = -4*w + s*w + 46. Let f = w + 9. Is 14 a factor of f?
False
Let k(m) = 2*m + 48. Let h(y) = y + 24. Let c(a) = -11*h(a) + 6*k(a). Let v(j) = -j**3 + j**2 - j + 1. Let x be v(1). Does 6 divide c(x)?
True
Let r(s) = s**3 + 13*s**2 - 26*s - 81. Is 12 a factor of r(-14)?
False
Is 20 a factor of -20*819/(-84) - 3*2?
False
Suppose -280 - 743 = -3*w. Does 11 divide w?
True
Let x be (-1 - 0) + 6 + -8. Does 19 divide 4/(-24)*38*x?
True
Suppose 29*m - 13745 = 41761. Is 87 a factor of m?
True
Let l(i) be the second derivative of i**5/20 - 19*i**4/12 + 13*i**3/6 - 15*i**2/2 - 38*i. Does 29 divide l(19)?
True
Let o be (-1)/(8/124)*-44. Let z = -438 + o. Suppose 6*v - 14 - z = 0. Is v a multiple of 12?
False
Let g = 176 + -68. Let k = 9 + g. Does 43 divide k?
False
Is (-41)/(-205) - (-5309)/5 a multiple of 18?
True
Suppose 2*r + 240 = i, 4*r + r - 507 = -2*i. Is 6 a factor of i?
True
Suppose -1 = -2*b + 3. Let o(m) = -2*m**3 + 12*m**2 + m. Let f be o(6). Suppose b*g - f*g = -48. Does 12 divide g?
True
Let z be (-3 - 12/4) + 3. Let t = z - -7. Suppose -2*u - 15 = t*d - 233, 0 = 5*d + 4*u - 280. Is d a multiple of 9?
False
Suppose 46*p = 2*c + 48*p - 574, 0 = -c + 3*p + 295. Does 17 divide c?
True
Let h(a) be the first derivative of -a**4/4 + 5*a**3/3 + 5*a**2/2 + 5*a + 4. Suppose s = 4*i + 17, -i = -5*s - 4*i + 16. Is 10 a factor of h(s)?
True
Is 22 a factor of 259/(-74)*(-472)/14?
False
Suppose m = -0*z - 2*z + 92, m = 2. Let l = -6 + z. Does 13 divide l?
True
Let u(h) = h**3 + 5 - 5*h**2 - 115*h + 115*h. Is 8 a factor of u(6)?
False
Suppose -3*n + 3120 = -0*n. Suppose m + m - n = -5*a, -2*a - m = -416. Suppose -p + a = 3*p. Is p a multiple of 13?
True
Suppose -207*m - 1208 = -215*m. Is m a multiple of 12?
False
Let r = 19 - -12. Suppose -q + 49 = -r. Let g = q + -54. Is g a multiple of 13?
True
Let s(j) = 123*j - 20. Is s(4) a multiple of 4?
True
Suppose -2*t + v = 241 - 17, -t - 134 = 5*v. Is (-14)/2 + 3 - t a multiple of 31?
False
Let z(g) = 2*g**3 + 2*g**2 + g. Let b be z(-3). Let i = -20 - b. Does 7 divide i?
False
Let h = -629 + 1429. Is h a multiple of 16?
True
Suppose 38 = 2*v - 38. Let j(x) = -24*x - 67. Let l be j(-3). Suppose -l*n = 4*t - v, 2*n = -2*n - t + 26. Does 6 divide n?
True
Let l = -247 - -355. Is l a multiple of 4?
True
Suppose -b - 273 = -2*b + 3*u, -3*b + 4*u + 804 = 0. Suppose 4*o - 2*f = 2*o + b, -o + 144 = -4*f. Does 32 divide o?
True
Let l = 6 - -2. Let n = l - -26. Is 34 a factor of n?
True
Let w(a) = 2*a + 29. Let c be w(-13). Let m be 1 + (c + -5 - 15). Let u = m + 57. Is u a multiple of 9?
False
Suppose -6*j + 8*j - 440 = 0. Suppose 9*b + j = 11*b. Does 38 divide b?
False
Let u be ((-11)/(-44) - (-3)/4)*3. Suppose i - z = 41, 4*i = -0*i + u*z + 168. Does 15 divide i?
True
Suppose 0 = -3*l - 4 - 5. Let u be l + 10 + (1 - 5). Suppose -u*q + 2*s = -68, -2 + 0 = -s. Does 8 divide q?
True
Suppose 3*m = 5*m - 56. Let h be 18/(-27) - m/(-6). Suppose h*o - 5 = 47. Is 11 a factor of o?
False
Does 11 divide (0 + 2)*((-402)/(-4) + 4)?
True
Let n(g) = 2*g**2 - 4*g + 3. Let x(j) = j**2 - j + 3. Let t be x(4). Let d = t - 11. Is n(d) a multiple of 5?
False
Let t(d) = d**3 + 16*d**2 + d - 10. Let h = -7 + -9. Let m be t(h). Is (-13)/(m/108) - -1 a multiple of 12?
False
Let m(h) = 7*h - 1. Let l be m(1). Let j be (-2)/4*-14 + -1 + -3. Suppose j*k - l = 2*k. Does 3 divide k?
True
Let n = 1019 - 93. Is 6 a factor of n?
False
Suppose -3*g + 64 = -2*g. Let p = 0 - -16. Let i = g - p. Is 16 a factor of i?
True
Suppose 3*f + 18 = -0*f. Let c(u) = 3*u - 7. Let k(p) = p**2 - 6*p + 15. Let q(l) = 5*c(l) + 2*k(l). Is 15 a factor of q(f)?
False
Let b(j) be the third derivative of j**7/5040 + j**6/18 - j**5/30 + 4*j**2. Let f(t) be the third derivative of b(t). Does 15 divide f(-19)?
False
Let g(i) = -1. Let q(f) = -2*f - 12. Let t(m) = -3*m - 18. Let p(v) = 7*q(v) - 5*t(v). Let h(x) = -3*g(x) - p(x). Is h(-8) a multiple of 2?
False
Let j be (0 - -2)*(-114)/(-6). Let s(r) = 21 - 2*r + j - 4. Is 11 a factor of s(0)?
True
Let b be 54/12 + 6/4. Suppose o = b - 2. Suppose o*g = 151 + 17. Does 14 divide g?
True
Suppose -8 = 4*c + 3*v, 0*c + 2*c - 5*v - 22 = 0. Does 34 divide (4/(-6))/((c + 2)/(-153))?
True
Let b(k) = -k**3 - 4*k**2 - 4*k - 10. Let p be b(-4). Suppose 0 = 5*q - 5*f - 790, -5*f + p*f + 4 = 0. Does 22 divide q?
True
Suppose 4*v + 2*g = 3*v + 13, 2*v - 25 = -5*g. Let p(i) = i**2 - 8*i - 31. Is 20 a factor of p(v)?
False
Let w = -52 - -60. Does 23 divide (-3 - 68/w)/((-3)/60)?
True
Let i = 7 - 0. Let z(c) be the first derivative of -c**4/4 + 7*c**3/3 + c**2 + 6*c - 17. Is 20 a factor of z(i)?
True
Let x(s) = -s**3 + 7*s**2 - 7*s + 7. Let c be x(7). Does 33 divide (-6)/(-21) + (-2928)/c?
False
Let x(l) = -4 - 21*l**2 + 10*l**2 + 4*l + 0*l + 9*l**2. Let j be x(4). Is 5 a factor of 9/(-3)*j/6?
True
Suppose -7665 = -10*f - 1505. Is 77 a factor of f?
True
Let u = 557 - 127. Is 43 a factor of u?
True
Is 23 a factor of -5*(-8)/(-8) + 166?
True
Is 390/20*3/(3/2) a multiple of 13?
True
Let m(o) = o**2 - o + 6. Is 14 a factor of m(15)?
False
Let p(m) = m**2 + 12*m + 6. Let l be p(-11). Let v(w) = w + 19. Is v(l) a multiple of 14?
True
Let w = -184 + 3841. Is w a multiple of 62?
False
Is 7 a factor of 7 + 0 - (-3213)/17?
True
Let i be ((-33)/(-44))/((-2)/(-8)). Suppose -i*q - 46 = -2*d + q, -3*d - 2*q + 61 = 0. Is 7 a factor of d?
True
Let k = 50 + -48. Let v(q) = 13*q - 9. Does 4 divide v(k)?
False
Let f = -1139 - -1661. Is f a multiple of 87?
True
Suppose -318 = -50*h + 44*h. Is 2 a factor of h?
False
Let t(p) = -4*p + 18. Let l be t(7). Let j = l - 4. Does 11 divide (-760)/j + (-18)/63?
False
Let i = -13 + -69. Let j = i - -167. Is 19 a factor of j?
False
Suppose -474 = -2*i - 4*i. Let d = -43 + i. Is