k**3 + 7*k**2 + 16*k + 20. Does 2 divide n(9)?
True
Let c = 3 - 4. Let v be (-3)/((-3)/c) - -19. Let b = v + 0. Is 8 a factor of b?
False
Let d = -5 + 11. Let r(i) = i - 2. Let z be r(d). Suppose z*p - 338 = -5*j, -3*p + 192 = 3*j - 6*p. Is j a multiple of 24?
False
Let p(h) = -2*h**3 - 20*h**2 - 4*h - 12. Is 3 a factor of p(-10)?
False
Let x(r) = -r**3 - 3*r**2 + r + 2. Let u be x(-6). Let b = u + -70. Is b a multiple of 17?
True
Let p(b) be the first derivative of b**4/4 + 4*b**3/3 - 2*b**2 + 4*b + 3. Let g(m) = m**2 - 5*m + 2. Let z be g(3). Is p(z) a multiple of 10?
True
Let i(l) = -24*l + 33. Is i(-5) a multiple of 17?
True
Let p be (-374)/(-3) - 1/(-3). Let v = p - 73. Let j = 73 - v. Does 21 divide j?
True
Let w = -25 + 44. Is w a multiple of 19?
True
Suppose 257 = 2*p - d + 74, 375 = 4*p - 5*d. Suppose l - 7 = 8. Suppose -5*q = -p + l. Does 15 divide q?
True
Let z = 26 - -28. Suppose 5*p - 355 = -4*k, 2 = -p + 3*k + z. Does 17 divide p?
False
Suppose -2*k + 4*z + 103 = k, 95 = 3*k - 2*z. Is 15 a factor of k?
False
Let x = -120 - -176. Does 14 divide x?
True
Suppose 4*y + 5*u - 183 = 0, 4*y - 152 = u + 61. Is y a multiple of 13?
True
Let b(g) = -11*g + 13. Is b(-3) a multiple of 8?
False
Let h = 65 - 39. Let p = h - 2. Does 10 divide p?
False
Let v = 16 - -123. Is 40 a factor of v?
False
Let b(q) = 4*q**2 - q**2 - 4 + 5 + 6*q. Does 23 divide b(-5)?
True
Let d(h) = 2*h**2 + 0*h - 30*h**3 + h - h**2. Let u be d(-1). Suppose -96 = -3*b - u. Is b a multiple of 11?
True
Does 11 divide (160/(-48))/((-2)/24)?
False
Let m = -4 + 8. Suppose u = -2*u. Suppose -m*p + 64 = -u*p. Is p a multiple of 6?
False
Suppose -47 = 4*l - 175. Is 8 a factor of l?
True
Suppose g = -3*x + 5*g + 18, 3 = 3*x + g. Let c be (51/85)/((-1)/(-5)). Suppose c*q = -4*a + 143, 5*a = 3*q + x*a - 129. Does 15 divide q?
True
Let w(b) = -b**3 + 8*b**2 + 6*b - 6. Let g be w(4). Suppose 4*m - 364 = 5*c, c - g = -m - 0*c. Is m a multiple of 19?
False
Is (-557)/(-5) + 8/(-20) a multiple of 15?
False
Let p be (-12)/(-8) - 1/(-2). Suppose -3*q = -p*j - 6, -5*q + 3*q - j + 11 = 0. Is q a multiple of 4?
True
Suppose 5*w + 46 + 15 = 4*m, 0 = 4*m + 5*w - 91. Is 19 a factor of m?
True
Let v = -3 - -8. Suppose -s + 4*m = -8, -m = -v*s + 4*m + 40. Does 3 divide s?
False
Let d = 32 - -20. Is d a multiple of 13?
True
Suppose -24 = -4*q + 4*w, -2*w + 14 = q - 7*w. Suppose 68 = 2*t - 5*g, 6*g - q = -t + g. Does 9 divide t?
False
Suppose -3*b + 174 = 5*p, 5*b - 2*b - 204 = 5*p. Is b a multiple of 9?
True
Let v be (-2)/(4/6*-1). Let d(p) = 6 - 8 + 6*p + 5. Is 10 a factor of d(v)?
False
Let d be -2*1/(-2)*0. Suppose 4*q - 28 = -d*q. Is q a multiple of 7?
True
Suppose 0 = -q - 14 + 49. Does 5 divide q?
True
Suppose -3*i + 14 = -o + 134, -3*o - 5*i = -360. Does 12 divide o?
True
Let o(x) = x**2 + 6*x. Let j be o(-6). Suppose -9 = -2*y + 13. Suppose j = h - 3 - y. Is h a multiple of 7?
True
Let h(d) = -7*d**3 - 2*d**2 + 5*d + 21. Let i(m) = 3*m**3 + m**2 - 2*m - 10. Let r(j) = -2*h(j) - 5*i(j). Is r(0) a multiple of 4?
True
Let n(a) be the second derivative of a**5/60 - a**4/4 - a**3/3 - a. Let l(i) be the second derivative of n(i). Does 10 divide l(8)?
True
Let h = 102 + -51. Does 12 divide h + (2 - 1)*-3?
True
Let d = -15 - -19. Let p = -42 + 27. Let u = d - p. Is u a multiple of 10?
False
Let p be (-1)/((-1)/(-7))*1. Let d = 22 - 33. Let f = p - d. Is 4 a factor of f?
True
Suppose -5*r + 4*u = -244, 5*u = 2*r + 2*u - 92. Is 13 a factor of r?
True
Let f(r) = 2*r**2 - 5*r**2 + 2*r**3 + 0*r**2 - 3*r**3 - r. Let b be f(-3). Suppose b + 9 = p. Does 8 divide p?
False
Suppose -5*m - t + 15 = 0, 0 = -3*m + 2*m + 4*t - 18. Let b = 10 - m. Is 2 a factor of b?
True
Let u be 3 - (2 + 0)/2. Suppose -u*r = 33 + 47. Is (-2)/(-7) - r/7 a multiple of 4?
False
Let m = 90 - 15. Let v be 0 + m - (2 - 0). Is 2/(-8) - v/(-4) a multiple of 8?
False
Let g(c) = c + 16. Let j = -4 + 4. Is 16 a factor of g(j)?
True
Let t(k) = k**2 - 3*k - 16. Let h be -3*(60/9 + -4). Does 18 divide t(h)?
True
Let o be (-172)/14 + (-4)/(-14). Let l = 17 + o. Suppose 2*c - 87 = -l*h, 0*c - 5*c - 2*h = -186. Is c a multiple of 18?
True
Let b = 8 - -20. Does 6 divide b?
False
Let b = -5 - -4. Let m be 41 + 1*(b - -3). Suppose 11 = -4*d + m. Does 8 divide d?
True
Let i = 16 - 9. Let a = i - 4. Is 3 a factor of a?
True
Suppose 0*d = 5*d + 30. Is 10 a factor of (d/(-5))/(2/40)?
False
Is 7/((-196)/624)*-7 a multiple of 39?
True
Suppose 0 = -2*c - 12 + 30. Suppose -m - c = -5*m + 3*b, -3*m - 2*b + 11 = 0. Suppose -25 = 5*l + m*f - 158, -21 = -l + 5*f. Is l a multiple of 24?
False
Is 28 a factor of (2 + -287)*(-30)/25?
False
Is (-2)/1 - -10 - 2 a multiple of 3?
True
Let i(k) be the third derivative of -k**6/360 - k**5/15 - k**4/6 + k**3/2 + k**2. Let j(g) be the first derivative of i(g). Is j(-6) a multiple of 5?
False
Is 18 a factor of 845/15 + 2/(-6)?
False
Let v(p) be the second derivative of -1/12*p**4 + 0 + 2*p + 3*p**2 + 11/6*p**3. Does 16 divide v(10)?
True
Let d = 0 - 4. Let c be 3*(d/(-2) - 16). Is 12 a factor of 10/3*c/(-5)?
False
Let o = 89 + -59. Does 6 divide o?
True
Let y(i) = -17*i - 1. Is y(-2) a multiple of 10?
False
Suppose -5*l = -31 + 1. Let d = l + -13. Is 7/(d/6)*-1 a multiple of 5?
False
Suppose -118 - 386 = -6*a. Does 20 divide a?
False
Let h(l) = -l + 3. Is 5 a factor of h(-7)?
True
Suppose -7*l - 205 = -590. Suppose 0*z - 5*z = -l. Is z a multiple of 5?
False
Let t be (-2)/(-4)*2*1. Let p = t - -1. Is p/4*2 - -10 a multiple of 4?
False
Let p(w) = -w**2 - 7*w + 4. Suppose 17 = t - 3. Suppose -3*b - t = 5*o, -2*b = -0*o + o + 11. Does 14 divide p(b)?
True
Let d(r) = -r. Let z(m) = 5*m - 9. Let n(u) = -u**3 + 5*u**2 + 7*u - 5. Let j be n(6). Let s(b) = j*z(b) + 3*d(b). Does 6 divide s(12)?
False
Suppose 4*b = -5 + 13. Suppose 2*n = -b*n + 28. Is 6 a factor of n?
False
Let b(s) = 7*s - 20. Suppose -5*g - 24 = 5*c - 89, -5*c + 5*g + 15 = 0. Is 13 a factor of b(c)?
False
Let x(a) = 42*a. Is x(1) a multiple of 9?
False
Suppose 9*i - 2*i - 294 = 0. Does 21 divide i?
True
Let b = -93 + 218. Let d = b - 2. Suppose -3*y + 15 = -d. Is 23 a factor of y?
True
Let i(r) = -4*r + 4. Let n be i(2). Let m(q) = -1 - 2*q + q + 0*q. Does 3 divide m(n)?
True
Let p(q) = 5*q - 7. Suppose -g + 5*g = 36. Does 19 divide p(g)?
True
Let m = -4 - -2. Let i = 4 + m. Suppose 8 = 5*z - i. Is z a multiple of 2?
True
Suppose -2*v + 4*v = 4*y + 22, 2*v - 5*y = 25. Let m(x) = -x - 6. Let t be m(-9). Let d = v + t. Is d a multiple of 8?
True
Let y be (-1)/(2 - (-10)/(-4)). Suppose -3*z = -y*z + 3*q - 38, -2*q = 5*z - 177. Is 13 a factor of z?
False
Suppose -183 = 4*n + 133. Let k(x) = -45*x - 2. Let s be k(3). Let c = n - s. Does 23 divide c?
False
Suppose 146 = -3*g + g. Let b = g - -128. Is b a multiple of 26?
False
Suppose 5*p - 15 = -5*c, 3*c = -4*p + c + 4. Is 11 a factor of (-2)/p*(-22)/(-4)?
True
Let p(w) = w - 5. Let b be p(-13). Let d = 18 - b. Is 18 a factor of d?
True
Let t = 0 + 0. Suppose -3*q + 6*q - 51 = t. Suppose q = m - 13. Does 13 divide m?
False
Let v(w) = w**2 + 5*w - 6. Let u be v(-6). Suppose 102 = 3*m - u*m. Does 17 divide m?
True
Let p = 352 + -182. Suppose 4*r + 4*z = 0, -r = 4*r + z - 20. Suppose 0*a = r*a - p. Is 17 a factor of a?
True
Let w(t) = t**3 + 9*t**2 + 10*t + 8. Is w(-7) a multiple of 9?
True
Let m(u) = -u**2 + 12*u. Is m(6) a multiple of 18?
True
Does 13 divide 882/12 + -4 - (-2)/(-4)?
False
Suppose 4*i + 40 = 6*i. Is 3 a factor of i?
False
Is 25 a factor of 4/8 + 221/2?
False
Let c(r) be the second derivative of r**5/20 - r**4/6 + r**3/6 + r**2 + r. Let b(a) = -a**3 + a**2 + 6*a + 3. Let j be b(3). Does 5 divide c(j)?
False
Suppose 3*f - 280 = -f. Does 4 divide f?
False
Suppose 2*j - 12 = -2*j. Suppose w + 90 = j*w - 2*y, -3*w - y = -115. Is w a multiple of 25?
False
Suppose -2*x + 6*i = i - 64, 0 = 4*x - 4*i - 140. Is 11 a factor of x?
False
Let o = 67 + 33. Is o a multiple of 20?
True
Suppose 0 = -2*d + 5*r + 68, -3*r - 6 = d - 51. Does 11 divide d?
False
Let z(n) = n**3 - 5*n**2 + 4. Let f(j) = j**3 + 6*j**2 - 9*j - 9. Let v be f(-7). Let k be z(v). Let q(a) = a**2 - 2. Does 6 divide q(k)?
False
Let f = 1 + -6. Let q = -3 - f. Suppose 0 = -0*o + o - q. Is o even?
True
Does 17 divide 128*((-22)/(-8) - 2)?
False
Let d