a multiple of 14?
True
Let o(s) be the third derivative of s**5/60 + 5*s**3/6 - 2*s**2. Let m be o(-5). Suppose -n = 2*n - m. Does 10 divide n?
True
Suppose -u - 5*y = -47, -y = 2*u + 3*u - 115. Suppose 4*n - 3*n = -5*m + u, -3*n + m + 98 = 0. Does 8 divide n?
True
Suppose -2*b - 7 = -3*k - 42, 3*b + 2*k - 20 = 0. Let f = b - 12. Does 15 divide (-1)/(f*(-1)/(-104))?
False
Does 14 divide (662/(3 - 4))/((-2)/3)?
False
Suppose 18*i - 20*i + 1944 = 0. Is i a multiple of 28?
False
Let z(l) be the third derivative of l**6/60 - l**5/12 - l**3/6 - 8*l**2. Let n = 3 + 1. Does 13 divide z(n)?
False
Suppose -5*u + 37 = 4*b - 0*u, -7 = -4*b + u. Suppose 2*x - 4*x = b*n - 150, 255 = 5*n + 5*x. Is 25 a factor of n?
False
Let d(o) = o**3 + 7*o**2 + 3*o - 13. Let s be d(-6). Suppose -q = -s*q + 40. Let h = q + 9. Does 6 divide h?
False
Let c be (1 + -1)*(-3)/(-6) + 5. Suppose -5*i + 3*r + 601 = 0, c*r - 18 + 3 = 0. Is 21 a factor of i?
False
Suppose -j = 4*l - 38 + 16, -4*j = l - 28. Let z be (-16)/48 + 212/j. Let g = z - 21. Is g a multiple of 5?
False
Let k(u) be the third derivative of -5*u**4/6 + 7*u**3/6 - 12*u**2. Does 12 divide k(-1)?
False
Suppose 5*y - 2*y = 60. Suppose r + 1 = -3*c, -16 + 0 = 3*r - 4*c. Let o = y - r. Is 22 a factor of o?
False
Suppose 0*k + k = -3*n + 162, -4*n + 461 = 3*k. Is 34 a factor of k?
False
Let j(c) = -20*c**3 + 9*c**2 - 15*c + 4. Let p(h) = -10*h**3 + 4*h**2 - 7*h + 2. Let f(v) = 4*j(v) - 9*p(v). Is 14 a factor of f(2)?
True
Suppose 3170 = 8*n - 1870. Is n a multiple of 6?
True
Suppose 4*p + 4*g - 136 = 0, -15 = -2*g - 7. Does 10 divide p/(-4)*(-1)/(-3)*-52?
True
Let z be (-11 + 2)/(-3)*9. Let d = -25 + z. Suppose 0 = 2*v + y - 157, -3*v - 4*y = d*v - 397. Is v a multiple of 22?
False
Is 70 a factor of (-3)/(27/(-628)) - (-78)/351?
True
Let z = 49 + -43. Is 46 a factor of -1 - -89 - (-8 + (z - 2))?
True
Suppose y - 69 = 70. Let i = -46 + y. Suppose -5*g = -92 - i. Does 10 divide g?
False
Suppose 0 = d - 3, j = 3*d - 2*d - 4. Let i be (-1 - -1) + (-2)/j. Suppose i*u = 6*u - 64. Is 4 a factor of u?
True
Let z be ((-790)/(-20))/((-1)/(-2)). Suppose 5*t - 71 - z = 0. Suppose 4*f - t = f. Does 10 divide f?
True
Let v = 117 + -49. Let y be (v/3)/(6/9). Suppose 4*q - y = 86. Is q a multiple of 10?
True
Let m = -30 + -107. Let c = m + 173. Is 4 a factor of c?
True
Let l(v) = -3*v**2 + 11*v + 3. Let x be l(8). Let o = 163 + x. Is o a multiple of 31?
True
Suppose -37 = -3*y - 4*c, -6*c + 2*c + 15 = y. Suppose 5*j + 26 = y. Let b(s) = -9*s + 9. Is 12 a factor of b(j)?
True
Let m be ((-4)/(-8))/((-4)/(-8)). Let u(x) be the third derivative of 19*x**5/30 + x**4/8 - x**3/3 + 3*x**2. Is u(m) a multiple of 39?
True
Let i(v) = 2*v - 5. Let d be i(14). Let l = 21 - d. Let g = 37 + l. Does 8 divide g?
False
Let w be (3 - 4)/((-3)/186). Let d be w - 6/(-4)*2. Let o = -46 + d. Is o a multiple of 6?
False
Suppose 26*c + 30 = 31*c. Suppose 15 = m + c. Is 2 a factor of m?
False
Let r be 112/21*(-3)/2. Let z = r + 12. Suppose -5*u = -z + 19, 0 = -5*y + 4*u + 67. Does 11 divide y?
True
Let n(r) = -27*r**3 - 3*r**2 - 5*r - 5. Is n(-2) a multiple of 11?
True
Suppose -3*f + 108 = 102. Is f even?
True
Let h = 16 + -14. Suppose -2*b - 7 = h*l - l, 3*l + 5*b + 17 = 0. Suppose 4*w + d - 113 = -4*d, l = d. Does 15 divide w?
False
Let f be 12 + ((-3)/(-6))/((-2)/(-12)). Let q(o) = -o**2 + 19*o + 5. Does 9 divide q(f)?
False
Let p = -8 + 9. Suppose b + 2 = -p. Is 2 - b/(-3) - -6 a multiple of 7?
True
Let h(v) = 2*v**3 + 2*v**2 - 2*v + 1. Let c be h(1). Let k = 6 - c. Suppose -k*n + 2*n = -37. Is 15 a factor of n?
False
Suppose y - 3*y = u + 6, 0 = -2*u + 4*y + 12. Suppose 5*a + 23 + 67 = u. Does 20 divide (a/4)/((-21)/280)?
True
Suppose q - 5*h + 3*h = 2, 5*q + 17 = h. Let z(o) = -6*o. Let t be z(q). Suppose 112 = 4*c + t. Does 10 divide c?
False
Suppose -3*z - 5*z + 8 = 0. Is 26 a factor of ((-4753)/(-42) - 2/12) + z?
False
Let j be 9 + 3/3 - -1. Let p(q) = -q**3 + 11*q**2 + q - 3. Let o be p(j). Is 4 a factor of -2*(-2)/(o/10)?
False
Let c(u) be the first derivative of u**2/2 - 4*u + 6. Let i be c(3). Does 11 divide ((-44)/10)/(i/10)?
True
Let c(r) = 210*r**2 + 2*r - 4. Is 28 a factor of c(2)?
True
Suppose -1302 = -6*u + 18. Is u a multiple of 22?
True
Does 54 divide 258 + 6 + -8 + -4?
False
Suppose 0 = -2*j + 4*q + q + 421, -4*j + 797 = 5*q. Does 49 divide j?
False
Does 26 divide (156/(-24))/(2 + 411/(-204))?
True
Suppose -3*b - 15 = -63. Does 2 divide 8/6*72/b?
True
Suppose 9 = 10*j - 121. Suppose -209 = -j*f + 2*f. Does 3 divide f?
False
Does 12 divide (-2988)/(-30) + (-2)/(-5)?
False
Let t(g) = 31 + 3*g**3 - 2*g**2 + 7*g - 8*g**3 - 26. Let u(n) = -n**3 - n**2 + n + 1. Let y(b) = -t(b) + 4*u(b). Is 9 a factor of y(4)?
False
Is (-15084)/(-26) + (-144)/936 a multiple of 10?
True
Let i(j) = -3*j**3 + 15*j**2 - 5*j - 19. Let w(y) = y**3 - 7*y**2 + 3*y + 9. Suppose 4*f + 12 = -8. Let q(o) = f*w(o) - 2*i(o). Is 6 a factor of q(-5)?
True
Suppose 3*o = 254 - 68. Suppose -3*c - 5*j + o = -3*j, -2*c = -j - 39. Is c a multiple of 2?
True
Let n(l) = 24*l**3 + l**2 - 1. Is n(1) a multiple of 3?
True
Let s(j) = j**3 - 12*j**2 - 22*j + 9. Let i be s(15). Let d = i - 174. Is d a multiple of 18?
True
Let d = -74 - -24. Let w = 206 + d. Is 52 a factor of w?
True
Suppose 0 = 5*z + 5*m, 4*z - 2*m + 2 = -4. Is 12 a factor of z/(15/(-917)) + 4/(-30)?
False
Let b = 342 - 225. Is b a multiple of 9?
True
Let q(y) = 43*y - 266. Does 9 divide q(20)?
True
Let o be (-78)/(-10) - (-16)/80. Suppose -3*m + 20 = m. Suppose 3*u - o*u - 59 = -3*n, -n - m*u = -13. Does 18 divide n?
True
Let t(x) = -x**2 + 9*x - 9. Let z be t(7). Suppose 3*i = -5*f - 0 + 7, z*i - 18 = -2*f. Suppose -i*c - 34 = -5*c. Is 27 a factor of c?
False
Let q be (12 + -32)/((-1)/6). Suppose -g + 2*g = q. Is 24 a factor of g?
True
Suppose 2*f - 1645 - 535 = 0. Is 4 a factor of f?
False
Suppose 0 = 2*y - 3*l - 926, 693 = 4*y + l - 1159. Is y a multiple of 16?
False
Let v(h) = h**3 + h**2 + h + 4. Let f be v(-2). Is 8 a factor of ((-18464)/18)/(-8) - f/(-9)?
True
Suppose i + 1802 = 3*x, 5*x + 5*i - 1818 - 1152 = 0. Suppose -10*o = -731 - x. Does 19 divide o?
True
Let z(h) = h**3 + 7*h**2 - 3*h - 10. Suppose -u + 41 = -7*m + 2*m, -5*u = 2*m - 97. Let b be 2/(78/u + -4). Does 4 divide z(b)?
False
Is 6/(-4)*(26334/9)/(-7) a multiple of 11?
True
Let w(o) = -o**2 + 36*o - 63. Does 61 divide w(31)?
False
Is (1043/(-5))/((-52)/260) a multiple of 25?
False
Let z = 44 - 40. Suppose 0 = z*a + 20, -3*r + a = -2*a - 687. Is 8 a factor of r?
True
Let y(m) = 3*m**2 + 4*m - 12. Let b be y(6). Is (-78)/(-10) + (-6)/b*-4 even?
True
Let w(c) = 13*c**2 + 3*c + 8. Does 10 divide w(-5)?
False
Let y be (-1)/(1/15*-3). Suppose 2*i + 3*o = -3*i - 59, -y*i - 5*o - 65 = 0. Let c(b) = -4*b + 4. Does 9 divide c(i)?
False
Suppose 15*k = 12999 + 36516. Is k a multiple of 71?
False
Suppose 5*n = -4*t + 67, 0 = -3*n + 2*n + 3. Let s = t + -4. Is 2 a factor of s?
False
Let d = 40 + -44. Let q(a) = -a**3 + 7*a**2 + 7*a - 9. Is q(d) a multiple of 28?
False
Let p(s) = 13*s**2 + 2*s - 24. Does 32 divide p(-12)?
True
Let j(s) = -s + 14. Let l be j(10). Suppose -4 = l*p - 0*p. Is 5 + p/((-1)/2) a multiple of 7?
True
Suppose -3*k - 3 = 0, 2*f - 3*k = -7*k. Let y be 5/f*84/10. Let m = y + -15. Is 2 a factor of m?
True
Does 22 divide (-1)/(-2) - 25/(-10) - -305?
True
Suppose w = -3*w + 68. Suppose 5*y = y - 3*a - 56, 5*y = -a - 70. Let d = w + y. Is 3 a factor of d?
True
Suppose 9*k - 27 = 2*t + 8*k, 2*t + 3*k + 15 = 0. Does 39 divide (t - 144)/(2/(-3))?
True
Let a(j) = -5*j - 25. Let s = 18 - 28. Does 5 divide a(s)?
True
Suppose 0 = -5*d + 3*d. Suppose -3*w - w - n + 433 = d, -2*w + 2*n = -224. Let b = 213 - w. Does 13 divide b?
True
Let t(x) = -101 + 39 + 36 - 3*x. Does 13 divide t(-13)?
True
Suppose 0 = f + 20 - 77. Let v = f - 12. Does 2 divide (-1)/1*v/(-9)?
False
Let p = 22 + -11. Suppose 0 = p*q + 415 - 3055. Does 39 divide q?
False
Suppose -10*v = -8*v - 208. Does 4 divide v?
True
Is ((-3)/(-6))/((-17)/(-102)) - -785 a multiple of 11?
False
Is 19 a factor of 5 + (10276/42 - 2/(-6))?
False
Suppose f - 5 = 0, 5*f - 247 = -5*t + 143. Is t a multiple of 44?
False
Let p = 4 - 6. Suppose 80 = -12*r - 256. Let s = p - r. Is s a multiple of 26?
True
Let 