 Let c(m) = 6*b(m) - n(m). Is 6 a factor of c(17)?
True
Let r(w) = w**3 - 24*w**2 + 23*w + 19. Let g(f) = -f**3 + 23*f**2 - 22*f - 19. Let c(a) = -5*g(a) - 4*r(a). Is 7 a factor of c(18)?
False
Let s(l) = l**3 + 14*l**2 + 9. Let w be s(-14). Let q(k) = -k**2 + 5*k + 2*k + 6*k - 3. Does 10 divide q(w)?
False
Suppose -g = -4 - 3. Let c = -4 + g. Suppose -2 = -2*x, 10 + 11 = c*v - 3*x. Is 4 a factor of v?
True
Let k(w) = -2*w**2 + 24*w + 26. Let o be k(13). Suppose 0 = b + 4*z + 8, b + 5*z + 12 = -o*z. Does 8 divide b?
True
Suppose 0 = 4*j - 2*b - 3562, 711 = -2*j - 3*b + 2472. Is 37 a factor of j?
True
Let u(f) = 39*f - 17. Let p be u(4). Let b = 258 - p. Does 17 divide b?
True
Let f(s) = s**3 - 6*s**2 + 4*s + 4. Let m be 6 - -4*(4 + 45/(-12)). Is f(m) a multiple of 9?
True
Suppose -3*q = -826 + 61. Let d = q + -179. Is d a multiple of 13?
False
Suppose -109*q + 160698 = -298955. Does 22 divide q?
False
Suppose 15 + 10 = 5*s. Suppose d + 31 = 2*p, s*d - 5*p = -p - 143. Let c = d - -40. Is c a multiple of 13?
True
Suppose l - j + 1 = -0*l, -5*j = -25. Suppose -l = -h + 4. Suppose 13*q - h*q = 240. Is q a multiple of 23?
False
Let c(n) = 7*n - 12. Let j be c(-9). Does 6 divide (j/2)/((-9)/24) - -2?
True
Suppose 4*a + 5*g = 90, 0 = 5*a - 0*a + 5*g - 115. Is (-1 - -21)*10/a a multiple of 2?
True
Let b = -631 + 2031. Is 25 a factor of b?
True
Suppose 4*b = 4*c + 9*b - 6187, 0 = -c + 4*b + 1552. Is 12 a factor of c?
True
Is 71 a factor of 271/14*66 + 6/14?
True
Suppose -26*z + 12 = -23*z. Suppose 635 + 85 = z*y. Is 36 a factor of y?
True
Suppose o = 3 - 46. Let w = 74 + o. Does 7 divide w?
False
Let i(h) = -h**3 - 3*h**2 + 3. Let d be i(-3). Suppose 5*j = -4*t + 580, 5*t + 199 = -d*j + 5*j. Is 28 a factor of j?
True
Let c be -15*6/(-36)*-4. Is 18/c*(-8 + 7)*10 a multiple of 3?
True
Let h(f) = 9*f**2 + 8*f + 20. Is h(-6) a multiple of 37?
True
Suppose 4*j = -s + 1525, j - 3*s - 293 - 98 = 0. Is j a multiple of 10?
False
Suppose 13*h = 10*h + 612. Let m = h + -122. Does 8 divide m?
False
Let j(c) = -2*c**2 + 14*c + 11. Let f be j(8). Let g(r) = -r**3 - 2*r**2 - r - 5. Is 9 a factor of g(f)?
False
Let a = -3 + 1. Suppose 5*k = 4*k + 26. Let x = k - a. Is 14 a factor of x?
True
Let g(s) = -s**2 + 8*s. Let d be g(7). Let u = 0 + d. Suppose -2*o - u = -5*f + 2*f, -4*o + 10 = 2*f. Is f a multiple of 3?
True
Let c(p) = -202*p + 5. Is 27 a factor of c(-2)?
False
Suppose 0*d = 4*d - 1116. Let t = d - 198. Is 27 a factor of t?
True
Let v be ((-6)/(-2) - 3) + 111 + -10. Suppose 2*w - 337 = v. Does 8 divide w?
False
Let w be (-2)/(-4)*1/(3/30). Suppose 790 = -0*r + w*r + 2*v, 4*v + 604 = 4*r. Is r a multiple of 20?
False
Let g be (-60)/(-18) - -3 - (-2)/(-6). Suppose 3*k - g*k = -2*f + 174, -5*k = -5*f + 440. Is 18 a factor of f?
True
Let w(f) = -379*f - 5. Is w(-1) a multiple of 43?
False
Let n(d) = 143*d + 1. Let k be n(-3). Let r = 265 + -269. Is 27 a factor of r/(-8) - k/8?
True
Let l be 136/(-10) - (-4)/(-10). Let c(u) = 3*u - 50. Let v be c(18). Is l + 76 + v/(-1) a multiple of 12?
False
Let c = -31 - -33. Let z(n) = -c - 19*n + 4*n + 9 + 3 - n**2. Does 18 divide z(-11)?
True
Does 4 divide 292/(-3)*(-72)/48?
False
Suppose -4*b + 175 = b. Suppose -g = -6*g - b. Let w(j) = -j. Does 2 divide w(g)?
False
Suppose 0 = 56*f - 30*f - 104. Let y(c) = -7*c**2. Let i be y(-1). Is i/28 + 57/f a multiple of 7?
True
Let t = 8 - -7. Does 9 divide (-376)/(-20) - (-3)/t?
False
Let f(k) = k**3 - 10*k**2 + k + 16. Let u be f(8). Let y = u - -260. Is 13 a factor of y?
True
Let t be ((-1)/(-2))/(2/88). Let j = -15 + 62. Let i = j - t. Is 14 a factor of i?
False
Let d = -52 + 1165. Does 21 divide d?
True
Suppose 5*r = -y + 1039, 310 = 5*r + 5*y - 745. Does 9 divide r?
True
Let g be (3 - 0) + -46 + -2. Let b = g + 153. Suppose 2*j - b = -j. Is 18 a factor of j?
True
Suppose -a = 3*y - 3, 0 = 2*a - y + 11 + 11. Suppose -24 = 3*r - 5*f - 84, -80 = -4*r - f. Is (-30)/a*168/r a multiple of 17?
False
Suppose 2*f + 6*i = 3*i - 128, -i + 120 = -2*f. Let a = f - -97. Does 7 divide a?
False
Let l(t) = -t + 108. Is l(4) a multiple of 4?
True
Suppose 0 = -40*r + 38*r + 168. Is r a multiple of 8?
False
Suppose 5*i = 23 + 277. Let t = 130 - i. Suppose -w = -6*w + t. Is w a multiple of 6?
False
Does 25 divide 2517/18 - -2 - 1/(-6)?
False
Suppose -4*l + 16 = -0. Suppose 0 = k + l*k. Let v = 14 - k. Is v a multiple of 7?
True
Suppose -3*w = -7*w - 68. Let d = 15 + w. Does 11 divide (d + 3)*(-4 - -18)?
False
Let f(u) = u**3 + u + 3. Suppose -k = 3*k. Let m be f(k). Is 10 a factor of -6*(1 + (-19)/m)?
False
Let q(x) = 9 - 13*x - x**2 - 10*x + 22*x. Let n be q(-4). Is 12 a factor of (n + 54 - 3)/1?
True
Suppose -2*n = -3*b + 3*n - 52, 0 = 4*b + n + 54. Is (-20)/(-4) - b*2 a multiple of 27?
False
Is 534 + (-15 - (-6 - 3)) a multiple of 24?
True
Suppose -5*d + 1229 = 4*r, 0*r + 616 = 2*r + 4*d. Is r a multiple of 51?
True
Let w(g) = g**3 + 13*g**2 - 20*g - 13. Is w(-13) a multiple of 39?
False
Let v(o) = -o - 13. Let s(u) = -4*u - 39. Let k be 3/(-4) - (-135)/20. Let z(y) = k*s(y) - 17*v(y). Is 13 a factor of z(-6)?
False
Let t be (2400/9)/8*3. Suppose 5*z = -t + 220. Is z even?
True
Suppose 8 = -3*l - l. Let j(r) be the second derivative of -r**3/6 + 2*r**2 + r. Does 3 divide j(l)?
True
Let i(d) = -d**2 + 6*d - 4. Let a be i(3). Suppose a*v + 3*z = 105, v + 2*v - 4*z - 63 = 0. Suppose 2*r - 82 = 2*j, r - j - v = -4*j. Is r a multiple of 36?
True
Let w be -2 + 1 - -25*1. Suppose -3*v = 2*m + 31, -v + w = -4*m - 45. Let k = m - -28. Is 3 a factor of k?
False
Let c(x) = -x**3 + x**2 - 4*x - 4. Suppose -a = -0*a + 3. Does 14 divide c(a)?
False
Let b(m) = -39*m - 67. Is b(-8) a multiple of 35?
True
Let k be 20 + (0 - 2) + 3. Suppose 20*d - k = 21*d. Does 19 divide 16/(4 - d/(-6))?
False
Suppose 3*q = 12, -28 = -5*l - 0*q + 3*q. Suppose 6*x - 3*x - 5*v = 703, l = 2*v. Is 32 a factor of x?
False
Let r be 2168/40 - (-2)/(-20)*2. Suppose -36*z + 33*z + r = 0. Is z a multiple of 2?
True
Let t(p) = -p**2 + 1. Let x(i) = -4*i**2 - 10*i + 32. Let m(u) = 2*t(u) - x(u). Let a be m(-14). Suppose 3*k - k - a = 0. Does 25 divide k?
False
Let x(t) = -t**2 + 4. Let f be x(-2). Suppose z = 4*v + 34, -z + 2*v + 36 = -f*v. Does 4 divide z?
False
Is 58 a factor of (-3 + -1 + 3)/(1/(-1091))?
False
Let p(g) = g**3 - 5*g**2 + 3*g + 5. Let u(i) = i + 12. Let o = -12 - -5. Let c be u(o). Does 14 divide p(c)?
False
Suppose 0 = h - 2*h. Suppose -2*m + h = -6. Suppose 0 = -m*q + 5*u + 32, 0 = -4*u + 5 + 3. Is q a multiple of 14?
True
Let b = -141 + 415. Is b a multiple of 22?
False
Let f(y) = y**3 + 4*y**2 + y - 2. Suppose d + 2*i = -0 - 2, -3*d - 4*i + 4 = 0. Suppose d - 20 = 4*b. Does 4 divide f(b)?
True
Let i = 11 - -45. Let j = -9 + i. Is 7 a factor of j?
False
Let j = 195 - 113. Does 47 divide j + ((-30)/2)/5?
False
Let v(t) = -2*t**3 - t**2 + 2*t - 1. Let a(i) = i**3 + 12*i**2 + i + 9. Let z be a(-12). Does 9 divide v(z)?
False
Let u(a) = -a**3 - 6*a**2 - a - 3. Let y be u(-6). Suppose 102 = l + x, 0*l + y*x - 102 = -l. Is l a multiple of 17?
True
Let t = 591 + -413. Suppose 5*z - 4*q = 439, -q = 2*z - 2*q - t. Is 13 a factor of z?
True
Suppose -2*i = -3*q + 1, 0 = 4*q + 2*i - 5*i. Suppose -q*o + 24 = -3. Does 2 divide o?
False
Suppose -25*y = -22*y - 756. Is y a multiple of 42?
True
Let o = 71 - 71. Suppose y + 2*y - 2*r = 6, 0 = 2*y + 2*r - 4. Suppose o = -y*v - v + 36. Does 3 divide v?
True
Suppose 0 = -2*p + 165 + 133. Is 8 a factor of p?
False
Suppose 2*c = -3*c + 4*x + 16, -5*x = -c - 1. Suppose 0 = -p + c + 4. Let j = -6 + p. Is j even?
True
Let r be 12/28*14/(-8)*-1408. Suppose -18*y + 3804 = -r. Does 55 divide y?
False
Let r = 4 - 23. Let l = r - -21. Suppose z + l*h - 27 = 7*h, 0 = 3*z + 2*h - 47. Does 3 divide z?
False
Let p(h) = 2*h**2 + 31*h - 23. Let f be p(-17). Is 14 a factor of f - (-1)/((-5)/(-15))?
False
Suppose -10 + 55 = 5*w. Suppose 28 = -5*r + w*r. Suppose 2*q + 385 = r*q. Does 24 divide q?
False
Does 6 divide (-416 + -1)/((-10)/20)?
True
Suppose -r + 5 = 2. Let h = 10 - 5. Suppose 0 = -r*w + 6*w + h*b - 35, 4*w - 5*b = 0. Does 5 divide w?
True
Let o(n) = -n**2 - 24*n + 24. Does 7 divide o(-19)?
True
Suppose y + 19 = 5*i - 8, 3*i - 3*y = 21. Suppose -h - 40 = -3*b, b - 2*h = -b + 28. Let v = b - i.