4*c. Does 23 divide a(14)?
True
Let g(a) = 2*a - 2. Let j be g(6). Let b(z) be the third derivative of z**4/6 - 5*z**3/6 + 2*z**2 + 9. Is 11 a factor of b(j)?
False
Let h be (2/9 + (-75)/(-27))/1. Suppose -3*s = -156 - h. Does 4 divide s?
False
Suppose 0*m = 4*m + 20. Let p be (-102)/m + 16/(-40). Suppose 0 = -5*h - p + 240. Does 22 divide h?
True
Let u(s) = s**2 - 10*s + 10. Let k be u(9). Let t be 0 + 6/(-3 + k). Let x(w) = 4*w**2 + 3*w + 1. Is 14 a factor of x(t)?
True
Let p = -729 + 1254. Does 4 divide p?
False
Let y(h) = h**2 - 12*h + 3. Let a be y(8). Let r = a - -73. Is 11 a factor of r?
True
Let z be (114*(2 + -5)/6)/(-1). Suppose -2*m = 5*k - z - 79, -m + 55 = 2*k. Is 10 a factor of k?
False
Is 8 a factor of (32 - 39 - (1 + 2978))/(-2)?
False
Let n(s) = 25*s - 8. Is n(14) a multiple of 6?
True
Let n = -151 - -299. Let r = n + -76. Does 24 divide r?
True
Let x be -4 + 2 + 2 + 43. Suppose -177 = -4*c + x. Does 11 divide c?
True
Let r(m) = -m**3 - 7*m**2 - 7*m - 7. Let l be r(-6). Let b be 3 + (-3)/3 + l. Suppose -5*y - b = -41. Is 5 a factor of y?
False
Let p = 0 - -11. Suppose -3*t = 2*m - p, 2*t - m - 5 = 7. Let b(n) = 4*n - 6. Does 14 divide b(t)?
True
Is 13 a factor of (18 - 12)/((-6)/(-206))?
False
Let f(h) be the first derivative of 11*h**2 - 12*h + 1. Let c be 4 + -3*(-3 + 2) + -2. Does 32 divide f(c)?
False
Let i be (-2 + 0)*8/16. Let n = i + 8. Let s(d) = -d**2 + 9*d + 8. Is s(n) a multiple of 11?
True
Suppose 4*b + 9 = 21, x - 84 = 4*b. Suppose 0 = -8*n + 11*n - x. Is n a multiple of 11?
False
Let c(v) = -v**3 - 8*v**2 - 30*v - 159. Does 37 divide c(-12)?
True
Suppose 5*c - 12 = -2*d, -3*c + 3 - 2 = -5*d. Let m(j) = -j**2 + 0*j**2 + 4*j**2 + 2 + c - j**3. Is 3 a factor of m(3)?
False
Suppose 0 = 4*h - 0*h + 28. Let f(t) = -t - 7 + 0 + 7*t**2 + t**3 - 2*t. Is 7 a factor of f(h)?
True
Suppose p - 4*u = -3, 3*u - 1 = 3*p + 17. Let z = p + 11. Suppose s + 43 = 4*m + 4*s, -20 = -z*s. Does 7 divide m?
True
Suppose 7*x - 25 = 3. Suppose 2*z - 3*j - 64 - 57 = 0, x = -4*j. Does 7 divide z?
False
Let o = 2 - 2. Suppose -4*w + o*w = 0. Suppose w = r - 1, -h - 5*r = 3*h - 77. Does 9 divide h?
True
Suppose 0 = -9*g - 2334 + 687. Let b = g - -283. Is b a multiple of 25?
True
Let w(d) = -d**2 - 10*d + 27. Does 9 divide w(-7)?
False
Let m be (-317133)/(-63) - 2/(-14). Let c be 9/(-15) - m/(-15). Suppose -6*f + c = 83. Is 14 a factor of f?
True
Let m(o) = 0*o**3 + 2*o**3 - 1 + 5 - 4*o**2 - 5. Does 17 divide m(3)?
True
Let l(f) = f**3 - 2*f**2 - 7*f + 4. Let g be l(5). Let z = g + 19. Does 6 divide z?
False
Let n = -17 + 11. Is (-75)/(((-2)/n)/(8/(-24))) a multiple of 15?
True
Let l = -4 - -12. Let s(q) = 3*q**2 - 13 - q + 35 - 18 - q**2 - 9*q. Is s(l) a multiple of 16?
False
Let y be (273*-1)/(18/12). Is 6 a factor of (7/(-2))/(13/y)?
False
Let c(z) = 11*z**3 + 3*z**2 - 3*z - 6. Suppose -k - 4*a = -2, 5*k + 5*a + 0 = -5. Let m be c(k). Does 9 divide 5/((-20)/m) - 1?
True
Is (-995)/(-5) + (-4 + 3 - -3) a multiple of 6?
False
Let w(a) = 6 + 4*a - 3 + 35*a. Let o be w(3). Suppose -4*r = -9*r + o. Does 5 divide r?
False
Suppose -6 = -2*a, -6 = -2*h - 5*a - 1. Let g = -3 - h. Suppose g*v = 3*v + 3*i - 7, 55 = 4*v + 3*i. Does 6 divide v?
False
Suppose -12*a + 43311 - 8103 = 0. Is a a multiple of 9?
True
Suppose 996 = -j + 4*j. Suppose -259 = -3*c - y, -7*c + 2*y + j = -3*c. Is c a multiple of 17?
True
Let i = 773 - -1019. Is 62 a factor of i?
False
Suppose 2*w + 77 = 87. Suppose -1231 = -w*k + 4*r - 77, -4*r + 456 = 2*k. Is 23 a factor of k?
True
Let k = -843 + 1525. Is k a multiple of 6?
False
Suppose z = 5*m + 103, 2*z + 29 = -4*m - 59. Let o be (m/14)/(1/28). Does 19 divide (-4 - o)*1/2?
True
Suppose 5*q = -r + 3225, 2*r + 31*q - 35*q = 6492. Does 45 divide r?
True
Let h(l) = -2*l**2 + 19*l + 17. Let a be h(11). Is 78/(3*(-4)/a) a multiple of 22?
False
Let i = -243 + 381. Is 4 a factor of i?
False
Let l be (-10 - -11)*(2 + 1). Let y be 1 + l/(12/272). Let i = 97 - y. Is 25 a factor of i?
False
Does 6 divide (-1)/(-2) - (-644)/8?
False
Let w(x) = 4*x + 8. Let t be w(0). Does 5 divide 3/t - (-884)/32?
False
Suppose 0 = -4*n + 16 - 4. Suppose -246 = -5*h - n*t, 0*t + 114 = 2*h - 4*t. Let y = -11 + h. Does 8 divide y?
True
Let b(m) = 6*m**3 - m**2 + 3*m - 2. Let g(y) = 5*y**3 - 2*y**2 + 4*y - 2. Let i(c) = 4*b(c) - 3*g(c). Is i(2) a multiple of 10?
False
Let d be (-3)/(-6) + (-1617)/14. Let m = -193 - d. Let p = m - -122. Is p a multiple of 16?
False
Let y = -48 - -43. Let a = y - -49. Is a a multiple of 8?
False
Let r = -13 + -5. Let f(x) = x**3 + 20*x**2 + 27*x + 18. Is f(r) a multiple of 33?
False
Suppose -4*a + 4*f = -2820, 2*a - 1418 = 3*f + f. Is a a multiple of 12?
False
Suppose 0 = 6*n + 9*n - 1395. Let o = -24 + n. Does 8 divide o?
False
Suppose 27 - 17 = 2*i. Suppose 0 = -12*u + 7*u - i*z + 1535, 3*u + 5*z = 915. Is u a multiple of 47?
False
Let m(i) = -40*i - 1. Let v be m(-4). Suppose -519 = 5*h - v. Let a = 114 + h. Is 14 a factor of a?
True
Let b(v) be the second derivative of -5*v + 5/6*v**3 + 5/2*v**2 + 0. Is 5 a factor of b(3)?
True
Let d(m) = 9*m + 11 + 0 + 8 - 3 + m**2. Let q be d(-7). Suppose 2*l = 10, 2*w - l = -q*w + 103. Does 7 divide w?
False
Let u(x) = -x**3 + x**2 - 2*x + 663. Does 51 divide u(0)?
True
Suppose 5*w = -43 - 147. Let s = 128 + w. Is 15 a factor of s?
True
Let s = 1 + 705. Is s a multiple of 17?
False
Let w(y) = -81*y - 2. Let k be w(2). Let t = -1623 + 1531. Let f = t - k. Is f a multiple of 18?
True
Let t(j) = -j**2 - 4*j + 5. Let x be t(-4). Let m be (-6)/(-2) + 32 + -31. Suppose x*f - m*f = 20. Does 20 divide f?
True
Suppose -5*h - 1696 = -2*f, -14*f + 19*f - 4202 = 3*h. Is f a multiple of 3?
False
Let m = 1276 + -524. Is m a multiple of 8?
True
Suppose 11*s = 12*s + 4*l - 1345, 0 = -3*l - 3. Does 11 divide s?
False
Suppose -184*q = -180*q - 1140. Suppose -q - 72 = -17*x. Is 21 a factor of x?
True
Let f = 251 - -7. Suppose 20*g = 17*g + f. Is g a multiple of 10?
False
Suppose -24 + 2 = -2*p. Suppose -4*h - p = -3*l + 7, h = 0. Does 2 divide l?
True
Let c = 644 + -588. Does 7 divide c?
True
Let b = 521 - 372. Suppose b = 4*n + 3*f, 4*n - 2*f = -f + 169. Is 18 a factor of n?
False
Let s(h) = -h + 4. Let l(a) = -a - 14. Let y be l(-14). Suppose y = -5*g - 6 - 34. Does 6 divide s(g)?
True
Let y(b) = 16*b**2 - 8*b - 89 + 173 - 91 - b**3. Is y(15) a multiple of 10?
False
Let p be -5*((-3024)/10 + 3). Suppose -7*c + p = 510. Does 13 divide c?
False
Suppose -7*p + 5404 = -1820. Does 6 divide p?
True
Does 32 divide 6*((-7510)/(-20) - -9)?
False
Let t(b) = 66*b**2 + 0 + b**3 - 64*b**2 + 2*b - 2 + b. Let w be (1 - 7)*(-2)/4. Does 12 divide t(w)?
False
Let i = -14 + 29. Let y be (6 + -8)*(-32)/2. Let w = y - i. Does 6 divide w?
False
Let j(p) = 104*p - 85. Does 20 divide j(5)?
False
Suppose -2*b - 4 = 4*n - 0, 4*b = 3*n + 3. Does 9 divide n/(-1)*537/(-9)*-3?
False
Let l(b) = 10*b - 20. Is l(23) a multiple of 21?
True
Let v(s) = -s**2 + 12*s - 6. Let l be v(11). Suppose 122 = c + 5*r, r + 2*r + 470 = l*c. Is c a multiple of 17?
False
Let s = -470 + 561. Does 6 divide s?
False
Let d(j) = -j**3 - 11*j**2 - 10*j + 12. Let r be d(-10). Let o be r/(-78) + 340/13. Suppose 1 = x + 3, 2*a = x + o. Is 4 a factor of a?
True
Suppose 0 = -3*z - 2*z + 15, -4*p + z + 5 = 0. Suppose -p*q + 44 + 144 = 0. Is q a multiple of 10?
False
Suppose -6*f + 5*f = -87. Let l = -45 + f. Does 10 divide l?
False
Let d be ((-1)/(-1))/(5/25). Suppose -6*x + x = -d*a - 255, 5*x - 267 = a. Is x a multiple of 19?
False
Let q = 975 + 921. Does 21 divide q?
False
Suppose -7*d + 1815 + 2294 = 0. Is 4 a factor of d?
False
Let l(t) = 3*t + 17. Let u(p) = -16*p - 86. Let j(i) = -11*l(i) - 2*u(i). Let a be j(-7). Is 6 a factor of 6/a*7*-8?
True
Let o(z) = -658*z + 1 + 7 + 666*z. Is o(1) a multiple of 8?
True
Suppose -412 - 277 = 5*u + 3*q, 5*q + 685 = -5*u. Let d = -55 - u. Is d a multiple of 10?
False
Let y(k) = -k**3 + 23*k**2 + 21*k + 48. Let v be y(24). Does 14 divide (v/14)/(7/(-245))?
False
Suppose 0 = 40*d - 54*d + 2268. Is 7 a factor of d?
False
Suppose 2*q + 0*q = 582. Let g = q + -93. Suppose -2*s = s + 6, 0 = 4*f + s - g. Does 10 divide f?
True
Let v(z) = -2*z**2 + 82*z - 35. Is v(25) a multiple of 8?
False
Suppose 0*s - 130 = -2*s - 5*r, 4*s - 5