5. Is 4 a factor of n?
False
Let g = 332 - -60. Is g a multiple of 6?
False
Let m(c) = -c**3 + 9*c**2 - 5*c - 19. Let i be m(8). Suppose i*x + 2 = -3. Is x/2 + 177/6 a multiple of 16?
False
Let m be (-14)/(-8) + 18/8 + -2. Suppose -5*j - 3*z = -m*z - 525, j - 5*z - 79 = 0. Does 13 divide j?
True
Let h(m) be the first derivative of -5*m**2/2 + 8*m - 2. Suppose -26*f + 7 = -27*f. Is 25 a factor of h(f)?
False
Suppose -2*g = 3*s + g - 15, -4*s + 3*g + 20 = 0. Let j be (4/(-6))/(8/(-1092)). Suppose -j - 14 = -s*t. Is 10 a factor of t?
False
Suppose 101*m - 111*m + 1650 = 0. Does 10 divide m?
False
Suppose 4*z + 2*i = 18, -z + 2*i = -2*i - 9. Suppose 35 = -4*b - z. Does 3 divide (-142)/b + 7/(-35)?
False
Does 2 divide 3 - (13 - 9) - -126?
False
Let b(g) = 13*g**2 + 4. Let l be (-100)/45 + 2/9. Does 10 divide b(l)?
False
Suppose 6*i = 2*i. Let o(m) = m**3 - m**2 - m - 68. Let u be o(i). Let k = u - -101. Is 13 a factor of k?
False
Let v be 1/(-2)*-586 - 3. Let r = v - 197. Is 31 a factor of r?
True
Suppose 3*k - 5*s = 49, 0 = 5*k - 2*s + 7*s - 135. Is 11 a factor of 3 - 3 - 1 - -5*k?
False
Let c be (-4)/(-6)*(-9)/6. Let v be c + 5 + 90/(-15). Is v/2 - (-75 - -13) a multiple of 19?
False
Suppose 11*p = 7*p + 8. Let s(f) = 80*f + 6. Is s(p) a multiple of 9?
False
Let g = -3477 + 5201. Is g a multiple of 17?
False
Let a = 23 - 19. Let k be a/26 - (-29772)/156. Let j = k - 114. Is j a multiple of 14?
False
Suppose -4*v + 4*w = -4, -4*v - 35 = -9*v - w. Suppose n + 4 = -v. Is ((-624)/(-40))/((-2)/n) a multiple of 11?
False
Suppose -2754 - 6521 = -25*m. Does 5 divide m?
False
Let k(m) = -104*m + 40. Is 12 a factor of k(-4)?
True
Suppose 5*o + 8*z - 150 = 13*z, 0 = 3*o - z - 90. Does 2 divide o?
True
Let y be 1/(-2) + (-635)/(-10). Does 21 divide (-108)/y*49/(-2)?
True
Let q = -14 + 18. Let c(v) = v**2 - 4*v + 5. Let y be c(q). Suppose -y = 2*u + 5, -3*n + 96 = 3*u. Is 12 a factor of n?
False
Let c(k) = 11*k**2 - 2*k + 6. Let q be c(-4). Suppose 0*d - 5*d + q = f, 0 = 5*f + 3*d - 950. Does 22 divide f?
False
Suppose -37*h + 12923 = -26778. Is 32 a factor of h?
False
Is 2/(32/14548) - (-13)/(-52) a multiple of 10?
False
Is 10 a factor of ((-19329)/(-34))/((-5)/(600/(-18)))?
True
Let p = 73 + -60. Let r = 8 + p. Does 3 divide r?
True
Suppose 29 = -3*v + 59. Suppose 12*t = v*t + 18. Suppose -3*y - t = -2*b + 9, -2*b - 3*y = -6. Is 2 a factor of b?
True
Let a = 720 - 490. Let r = 329 - a. Is r a multiple of 9?
True
Let p(k) = 11*k**2 - 7*k + 6. Let o be p(6). Let h = -34 - -34. Suppose 5*r + h*r = o. Is r a multiple of 15?
False
Let t(l) = -5*l**2 + 5*l - 2. Let i be t(3). Let h = i - -48. Does 16 divide h?
True
Let g be ((-40)/(-6))/(-2)*21. Does 10 divide (-10)/((-12)/28 + (-16)/g)?
True
Is 12 a factor of 0 + 1296/10*(-50)/(-15)?
True
Let p(v) be the third derivative of 2*v**2 - 1/24*v**4 + 0*v + 0*v**3 + 11/30*v**5 + 0. Does 13 divide p(1)?
False
Suppose 1400*o + 315 = 1407*o. Is o a multiple of 4?
False
Suppose 0*j + 16 = 4*j. Suppose -357 - 183 = -j*u. Let h = -75 + u. Is 12 a factor of h?
True
Suppose 15 = 3*k, 4*x + 5 = -3*k + 24. Let c(d) be the third derivative of d**4/6 + d**3/6 + d**2. Does 3 divide c(x)?
False
Suppose -3*w = -4*c - 1513, -4*w + 2*c + 240 = -1784. Is w a multiple of 13?
True
Suppose -143 = -3*w + 133. Let n = w + 128. Suppose 0 = -3*p + 4*m + 347, p + p = -3*m + n. Is p a multiple of 24?
False
Is 24 a factor of (-9)/(6/(-18) - (-88)/273)?
False
Let j(x) be the second derivative of -x**4/12 + x**3 + x**2 - 6*x. Let z be j(4). Let v(s) = -s**2 + 11*s + 2. Does 6 divide v(z)?
True
Suppose -9*k + 22113 = 12*k. Does 27 divide k?
True
Suppose 5*r = 9179 - 2419. Is 104 a factor of r?
True
Let f(y) = -y**3 - 10*y**2 + 25*y + 17. Let r be f(-12). Suppose n + r*g = 41, -5*g + g + 12 = 0. Is n a multiple of 4?
False
Suppose 4*d + 4 = 0, -1262 = -3*k + 6*d - 4*d. Is k a multiple of 12?
True
Suppose 279 = u + r - 5*r, -5*u + 1326 = 3*r. Let w = u + -176. Is w a multiple of 11?
False
Let o(v) = v**3 - 23*v**2 - 6*v + 52. Does 6 divide o(25)?
True
Is 9 a factor of (-30)/(-20) + 2004/8?
True
Suppose -11*q + 814 = -2046. Does 12 divide q?
False
Let c(f) = 4*f**2 - 28*f + 57. Is c(9) a multiple of 9?
False
Let f = 149 + -393. Let y = f - -394. Suppose -3*m + 20 = m, 0 = 5*g - 2*m - y. Is g a multiple of 10?
False
Let x(d) = 7*d**2 + 15*d + 24. Is x(-3) even?
True
Let o(r) = r**2 - 6*r. Let k = 1 + 5. Let x be o(k). Suppose x = -2*i + 3*a + 76, 2*i + a = -2*i + 124. Does 8 divide i?
True
Let v(p) = -p**2 + 12*p + 18. Let y be v(14). Let l(o) = -o**3 - 8*o**2 - 4*o - 6. Is 26 a factor of l(y)?
True
Let f(k) = 5*k**2 - 51*k - 5. Is f(17) a multiple of 7?
False
Let z(d) = -62*d + 2. Let q be z(-1). Let k = -23 + q. Does 18 divide k?
False
Suppose -8148 - 3724 = -32*v. Is v a multiple of 4?
False
Let t = -816 + 1626. Suppose 4*w + t = 13*w. Is 12 a factor of w?
False
Let c(j) = -j**3 + 8*j**2 - j - 6. Let v = -46 + 52. Does 12 divide c(v)?
True
Let g(f) be the third derivative of -f**5/60 - 5*f**4/8 - f**3/6 - 19*f**2. Is g(-11) a multiple of 18?
False
Let l(u) = -u**2 - u + 1. Let m(h) = 5*h**2 + 29*h - 15. Let v(q) = -4*l(q) - m(q). Is 21 a factor of v(-17)?
True
Let j(p) = 28*p**2 + 4*p + 4. Let y be j(-4). Suppose 9*l + y = 11*l. Suppose -5*r + l = 4*z, -5*r + 4*z - 6*z = -224. Is 13 a factor of r?
False
Suppose 3*n - 9 = 0, 4*a = -3*n - n + 12. Let u = 469 + -465. Suppose -p = -u*q + 334, q = -a*p - 3*p + 77. Is 17 a factor of q?
False
Let v(w) = 7*w**2 - 21*w + 50. Is 12 a factor of v(5)?
True
Let r(n) = -n + 1. Let q be r(-1). Suppose q*h = -6*y + y + 7, 5*y + 3*h = 3. Let d(c) = 2*c**3 - 3*c**2 + 3*c - 2. Does 8 divide d(y)?
False
Let h(q) = q**3 + 10*q**2 + 4*q + 5. Suppose -4*w - 48 = 4*r + r, 3*r + 33 = -3*w. Let y be h(w). Let o = y + -85. Is 13 a factor of o?
True
Let y(w) = -w**2 - w + 8. Let b be y(-3). Suppose 0 = b*h - 2*t + t - 208, 3*h - 5*t = 326. Let m = h + -72. Is m a multiple of 4?
False
Let v(w) = 2*w + 41. Let u be v(-19). Does 2 divide 21/4*u*(-8)/(-6)?
False
Let s be (-3 + (-7)/(-2))*0. Suppose s*j + j = 4. Is 4 a factor of 1/(((-12)/(-21))/j)?
False
Let b(m) = -m**2 - m + 2. Let i be b(-3). Let k = 18 - 12. Is 28/k*(5 - i) a multiple of 14?
True
Let w(k) = -k - 6 - 3 - 1. Let o be w(-12). Suppose -u = 5*z - 17, 0*u + o*u + z = 43. Does 9 divide u?
False
Let g be ((32/20)/(-2))/((-1)/5). Suppose 0 = k - g, 0*z = -z - k + 59. Is z a multiple of 7?
False
Suppose 2796 = 19*i - 1992. Is i a multiple of 6?
True
Suppose -97 = -5*s + i, -3*i + 7*i + 8 = s. Suppose -v - s = -3*v - 2*q, 4*v = -2*q + 36. Suppose w - v = -4. Is 4 a factor of w?
True
Let m(b) = 227*b**2 - 2*b - 4. Does 45 divide m(2)?
True
Suppose -4*b - 185 = 311. Does 20 divide (-1 - b) + (2 - 4)?
False
Let z be (9 + -3)*(0 - 1). Does 3 divide (1 - -3)/((-1)/(z/4))?
True
Let c(a) = a**2 + 11*a - 15. Let t be c(-12). Let q be t/2 - 4/8. Does 10 divide (-9)/6 + (-47)/q?
False
Let i(y) = 3*y + 14. Let p be i(-6). Let g be -382 - (p + -2 - -4). Does 19 divide ((-8)/(-10))/((-4)/g)?
True
Let h be 24/(-8) + 22 + 1. Suppose 0*p + h = 5*p. Suppose -4*m = -3*d - 112, p*m - d - 112 = -0*m. Is m a multiple of 17?
False
Let a(l) = -5*l + 17. Let t(n) = n**3 + 5*n**2 + 8*n + 8. Let c be t(-4). Does 19 divide a(c)?
True
Let m be (-1)/(-5) - 228/15. Let r be -3 + 4/((-4)/m). Let o = r - 1. Is o a multiple of 3?
False
Suppose 4*j = 3*o - 2989, 5*o - 4976 = 6*j - 5*j. Is 13 a factor of o?
False
Suppose 2*i = 4*i - 36. Let o = i + -64. Let q = o - -77. Does 16 divide q?
False
Let a be -6*6/12 - (-3 - 0). Suppose a = 4*y + 2*w - 518, -5*y + 0*y + 647 = 3*w. Is 24 a factor of y?
False
Let p = -1973 + 3353. Does 6 divide p?
True
Let c be 1/5 - (-1879)/5. Suppose 3*x + 40 = c. Does 31 divide x?
False
Let a = 24 + -36. Let w(n) = -n**2 - 16*n - 10. Is w(a) a multiple of 38?
True
Let a = 13 - -2. Let p be 106/6 + (-1)/(-3). Let i = p - a. Is i a multiple of 3?
True
Let y(x) = 3*x - 30. Let v be y(10). Suppose v = -3*s - 9, -2*k + 766 = 2*k - 2*s. Is 32 a factor of k?
False
Let i(d) = -2*d**3 - 75*d**2 - 73*d + 63. Does 9 divide i(-37)?
True
Let g = -26 + 29. Suppose g*q - 8*q = -130. Does 6 divide q?
False
Suppose 13*g = 149 + 1580. Does 19 divide g?
True
Suppose 3*z - 24*d + 23*d = 1156, 