(j) be the second derivative of j**7/210 - j**6/180 - j**5/60 - j**4/8 - 16*j**3/3 + 26*j. Let c(k) be the second derivative of m(k). Does 21 divide c(3)?
False
Is -1 + 365 - (1296/(-24))/6 a multiple of 7?
False
Let c = 5477 - 4992. Does 97 divide c?
True
Suppose -2*p = -d - 18, -2*d + p = 2*p + 41. Let h be 1*(-5)/(d/4). Is h*124 + (-2 + 4)*1 a multiple of 20?
False
Does 140 divide ((-48)/27*-420)/(3/18)?
True
Let c(f) = 26*f - 28. Let n(q) = -13*q + 14. Let d(l) = 4*c(l) + 7*n(l). Let k be d(12). Suppose p + 1 = 2*p, 3*g - k = 2*p. Is g a multiple of 26?
False
Suppose 5*m + 3*h = 33096 + 28631, -h + 24690 = 2*m. Is 22 a factor of m?
False
Let j(k) = k**2 + 11*k. Let y be j(-4). Suppose c = -4, 2*r - 5*c = 1 + 3. Is 11 a factor of ((-96)/(-14))/((r/y)/2)?
False
Let o(i) be the third derivative of 13*i**4/6 - 3*i**3/2 - 33*i**2. Is 10 a factor of o(1)?
False
Suppose 2*s + s = 2*c - 1, -c - 3 = -5*s. Suppose -d = -v + c*d + 89, 3*v + 2*d - 245 = 0. Let p = v + -59. Is p a multiple of 13?
False
Suppose 22*s - 20*s = 0. Suppose i + 3*i + k - 1144 = s, 4*i - 1144 = -4*k. Is 22 a factor of i?
True
Let h(l) = -53*l + 57. Let x be h(-10). Suppose 3*q - 2962 = x. Suppose -24*v + q = -17*v. Is v a multiple of 31?
False
Let x(j) = -j + 22. Let l be x(16). Let p = 26 + -13. Suppose -l*f - 637 = -p*f. Is 13 a factor of f?
True
Let a(o) = -o**3 - 14*o**2 + 6*o + 56. Let u be a(-14). Is 20 a factor of (-14)/(u/354) - -1*3?
True
Suppose 344 = 4*h - 936. Is 40 a factor of h?
True
Let d(o) = o**2 + 3*o - 6. Suppose h - 3*t = 2*h - 5, 0 = -4*h + 2*t + 6. Let x be d(h). Suppose 1002 = x*k + 2*a, 3*k + 4*a - 753 = 3*a. Is 18 a factor of k?
True
Let v(m) = 4*m**2 + 2*m - 11. Let h(g) = -45*g - 1. Let u be h(-1). Let k = u - 50. Is 10 a factor of v(k)?
False
Let p(n) = 3*n + 6*n + 14*n**2 - 27 + 5*n - 13*n**2. Let r = 58 + -74. Is 4 a factor of p(r)?
False
Let t = 465 - 464. Is 22 a factor of -4 + (t - (-139 + -4 + 8))?
True
Let j = 2847 - 734. Is 54 a factor of j?
False
Let v be (-17118)/(-8) + 2/8. Suppose -3*n - v = -5*n. Suppose 24*b - n = 14*b. Does 19 divide b?
False
Let u be ((-68)/(-85))/(2/10). Let g be 1/(-1)*(u + -1). Does 17 divide 3/2*(7 + (-313)/g)?
False
Suppose -45 = -30*a + 21*a. Let w(b) = b - 4. Let q be w(6). Suppose -5*m - 115 = -q*j, m - 3*m + 215 = a*j. Does 18 divide j?
False
Let n be 0/(3 + -1*(-2 + 4)). Suppose -g - g + 128 = 3*o, n = 3*g - 12. Suppose 3*v + o - 217 = 0. Is v a multiple of 10?
False
Let u be (9 - (-2 + 0))/1. Let q be (-1)/(-2)*(-1 + 1). Suppose x = -q + u. Is 3 a factor of x?
False
Suppose 337*t + 20295 = 675*t - 335*t. Does 46 divide t?
False
Let r = -4218 - -4262. Is 44 a factor of r?
True
Let q be 20/40 - (-562)/4. Suppose 8*n = 7*n + 86. Let m = q - n. Is m a multiple of 4?
False
Let w be ((-6)/(-10))/(12/60). Suppose -3*u - 496 = -3*k - 139, 2*k = w*u + 240. Is k a multiple of 3?
True
Let p(u) = -392*u - 15. Let k be p(-3). Suppose -k = 18*y - 21*y. Let c = y + -162. Does 25 divide c?
True
Let x be (-11 - -7)*(-20)/16. Suppose -x*u = -16 - 44. Does 8 divide u?
False
Let c(w) = -2*w**2 - 7*w + 2. Let i be c(0). Suppose -4*g = i*r - 1664 + 90, -3*r = 15. Does 22 divide g?
True
Let v = -1264 - -703. Let d = 37 + v. Does 11 divide 9 - (-234)/(-27) - d/3?
False
Let d(f) = 11*f**2 + 2*f + 1. Let u be (0 + -2)*62/4. Let v = u + 33. Does 6 divide d(v)?
False
Let g = 501 - 476. Let p(c) = 44*c - 149. Is p(g) a multiple of 35?
False
Suppose 320*p - 324*p + 38728 = -4*c, 4*p - 5*c = 38735. Is p a multiple of 225?
True
Suppose -s + 2*s - 21 = -4*c, 2*c + 4*s - 28 = 0. Suppose c*r + 280 = -0*r. Let m = -4 - r. Is 8 a factor of m?
False
Let f = 4564 + -3517. Is f a multiple of 19?
False
Suppose -5*i = -2*q - 5250, 4*i - 160*q + 157*q - 4200 = 0. Is i a multiple of 175?
True
Let v = -6980 + 10727. Is v even?
False
Let l = 5826 - 4965. Is l a multiple of 10?
False
Let j(l) be the first derivative of -5*l**2/2 - 35*l + 1. Let c(g) = 38*g - 69. Let m be c(1). Is 60 a factor of j(m)?
True
Does 16 divide 3168/(-176) + (3747 - 1)?
True
Suppose 40 = -10*u + 14*u. Suppose 5*m - u = 3*m. Suppose -m*t + 4*t = -11. Is t a multiple of 7?
False
Let o(a) = -a**2 - 12*a - 31. Let h be o(-12). Let c = h + 33. Does 21 divide (-3)/(84/(-49))*24*c?
True
Let s(w) = 2*w**2 + 7*w + 3. Suppose 47 = 5*a + 2. Suppose a*m + 36 = 3*m. Does 5 divide s(m)?
False
Let s = 314 - 304. Suppose -s*p = -19 - 31. Is p even?
False
Suppose v - 20581 = -3*s, -v = 2081*s - 2086*s - 20573. Is 9 a factor of v?
False
Let u = 19 + -15. Suppose 7*n - u*n - 9 = 0. Suppose 3*q - 2*r + r = 359, 4*q = -n*r + 483. Does 24 divide q?
True
Let w = 315 + -329. Let f = 308 - w. Is f a multiple of 7?
True
Suppose 8*a - 84 = 10*a. Let l = a + 47. Suppose -78 = -2*j - 5*g, 182 = 4*j + 2*g - l*g. Is 7 a factor of j?
False
Suppose 3*j + 4*r - 8*r = -108, -r + 67 = -2*j. Let a = j + 36. Does 12 divide (a/(-2))/(-3*3/54)?
True
Let i(x) = 10*x + 12. Let y be i(-4). Let v be ((-1)/1)/(2/y). Is 10 a factor of v + 1 - (1 - 3 - 0)?
False
Suppose 0 = 2*f - 4, 5066 = 2*y - 3*f - 1360. Is 13 a factor of y?
False
Suppose 16376 = 2*z + 9*p - 11*p, 4*z = -2*p + 32782. Does 24 divide z?
False
Suppose -4*z = o - 7, -36*z = -34*z - 5*o - 9. Suppose -9*g + 1306 = -4*g + 3*i, -4*g + z*i + 1036 = 0. Is 37 a factor of g?
False
Suppose -1058 = 3*t - 227. Let x = 225 + -323. Let v = x - t. Is v a multiple of 36?
False
Let k(y) = y + 13. Let c be k(-9). Let v = -991 + 1038. Is 15 a factor of (-2 + v)*(-3 + c)?
True
Does 16 divide (-1358)/(-210)*1623 - 30/(-50)?
True
Suppose -34*w + 35*w = 2*s + 209, 3*s = -4*w + 869. Is w a multiple of 43?
True
Suppose 19969 = 34*h - 32*h + q, -39953 = -4*h + q. Is 57 a factor of h?
False
Suppose -3*k + 7077 = -3*l + 6*l, -3*k + 4*l + 7098 = 0. Is 32 a factor of k?
False
Suppose -4*b - 77 = 23. Let a be -2*(-1)/(-10) - (-845)/b. Let z = a + 139. Is 17 a factor of z?
False
Suppose -4*c = 12, 2*j = -2*c + 64 + 22. Suppose 0 = l - 3*d - 21, 2*l - 42 = 2*d - 5*d. Let k = j - l. Does 22 divide k?
False
Suppose 12*z - 200 = 160. Is 15 a factor of ((-168)/10)/((-2)/z) + 3?
True
Is (9/((-468)/26))/(1/(-79044)) + -3 a multiple of 63?
False
Let k(y) = -3*y - 29. Let i be k(-11). Suppose i*f - 1400 = -4*s, -4*s + f + 1045 = -350. Is s a multiple of 15?
False
Let x = 161 - 588. Let m = x + 917. Is 11 a factor of m?
False
Let h = -74 + 899. Suppose 0 = 2*l - 5*m - h, 4*l - 5*m = -0*l + 1665. Does 84 divide l?
True
Suppose -7*o - 2*o = -27. Suppose f - 206 = -q, 0*q = o*q + 6. Does 26 divide f?
True
Let f be ((-171)/(-36) - 5) + (-231)/(-12). Let b = 1 - 0. Suppose 0 = -i + b + f. Does 11 divide i?
False
Suppose -5*v + m + 263 = 0, -4*v + 21 = 4*m - 175. Suppose 6*d - v = 20. Let a = 20 - d. Is a a multiple of 5?
False
Let b = 29602 - 13242. Does 136 divide b?
False
Suppose k + 6 = 2*p, 4*p - k - 22 + 12 = 0. Let c(u) = 4*u - 10. Let i be c(8). Suppose -p = -3*z + i. Is 4 a factor of z?
True
Let h = -598 + 1332. Suppose 2*i - h = 2*d, 2*d + d + 1464 = 4*i. Does 5 divide i?
False
Let o(s) = 16*s + 2079. Let x be o(0). Suppose 6*z = -675 + x. Does 13 divide z?
True
Is 120 a factor of (1320/99)/((-2)/(-1395))*4/10?
True
Let i = -6939 + 11567. Is i a multiple of 26?
True
Suppose 2*o - 8 = 0, 18 = 2*y - 3*o + 7*o. Let v be (-6)/9 + y*(-318)/9. Is (-1 + 14)/(6/v*-2) a multiple of 13?
True
Suppose -8365*y = -8352*y - 194103. Does 27 divide y?
True
Let j be (12/(-3) - -6)/1. Suppose -j*b = 5*c - 3090, 4*c + 4*b = 5*b + 2459. Does 32 divide c?
False
Is 12 a factor of ((-9)/(-18) + 1/1)/(222/183964)?
False
Let w(k) be the third derivative of -7*k**4/12 + 145*k**3/6 + 253*k**2. Does 16 divide w(-10)?
False
Let h(z) = 3*z**2 + 179*z - 64. Is 10 a factor of h(19)?
True
Let r be (16/20)/(6/45). Suppose r*w = -8*w + 2436. Is 4 a factor of w?
False
Let p = -5348 - -21986. Is 118 a factor of p?
True
Suppose 1606 = -16*o + 30758. Is o a multiple of 6?
False
Let z be (-10923)/(-12) + (-49)/(-28) + -2. Suppose 5*n - z = -85. Does 11 divide n?
True
Suppose -3 = -3*n, -5*p - 23*n + 97996 = -22*n. Is p a multiple of 141?
True
Let d be -175 - ((-26)/(-7) + 4/14). Let r = d - -499. Is r a multiple of 10?
True
Suppose -728519 - 123467 = -318*d + 687134. Is 8 a factor of d?
True
Let i(r) be the third derivative of 