s + 1. Let f(y) be the first derivative of p(y). Is 13 a factor of f(3)?
False
Is 11 a factor of (2 - (-1)/(-5))*(14 + 61)?
False
Let j = 786 + -214. Does 26 divide j?
True
Let p = -15 - -17. Let m be (1 + 0)*p/2. Does 13 divide 1/(3/117*m)?
True
Suppose -5*c + 220 = 3*r, -3*c = -4*c + 2*r + 44. Suppose 4*s - 32 = c. Does 6 divide s?
False
Suppose x = -4*w + 1399, x - 1049 = -w - 2*w. Suppose 3*h - i + 2*i = w, 2*i + 2 = 0. Does 11 divide h?
False
Let b(l) = l + 7. Let z be b(-7). Suppose -h + z = -3. Suppose 48 = -h*m + 6*m. Is m a multiple of 8?
True
Let n be 2*(-4 + 3 + 2). Suppose -2*t = -3*a + 19, -18 = -4*a - n*t - 2. Suppose -15 = -a*s + 50. Does 11 divide s?
False
Let k(g) = -40*g**2 + 2*g + 1. Let s be k(-1). Let c = s + 29. Does 8 divide 18 - 3/(c/(-8))?
True
Let j = -295 - -364. Does 2 divide j?
False
Suppose -4*z - 3*y = -4233, 0 = z - 3*z + y + 2109. Does 66 divide z?
True
Let q be (3/3 - 0)*-4. Let m be 80/8 + q + 1. Is 3 a factor of m/14*(1 - -5)?
True
Suppose 22 + 23 = 5*l. Suppose 0 = -4*m + 3 + l. Suppose -m*o + 0*c = -4*c - 76, -5*c = 5. Is o a multiple of 11?
False
Let o(j) = j**2 + 14*j. Let z be (28 - (-3 - -1))/(-1). Let h = z - -15. Is 12 a factor of o(h)?
False
Suppose 9*g + 2*d = 4*g - 39, 0 = -g - d - 6. Let s(k) = -k - 4. Let w be s(g). Let h(n) = 11*n - 13. Is h(w) a multiple of 16?
False
Let d(u) = -8*u + 72. Does 13 divide d(-6)?
False
Suppose 2*h + 0*h + 6 = 0. Let a be 2*h/12*-18. Let k = a + 36. Is 15 a factor of k?
True
Suppose 3*u + 55 = -2. Let a(g) = -g**3 + 10*g**2 + 4*g - 7. Let j be a(10). Let p = j + u. Does 10 divide p?
False
Let k(h) = -67*h - 139. Is 4 a factor of k(-5)?
True
Let i be ((4 - 1) + 9)*2. Let x = i - 48. Let s = x - -37. Is s a multiple of 13?
True
Suppose 6 - 21 = 5*q. Is 16 a factor of ((-8)/q)/((-3)/(-81))?
False
Is ((-44)/8)/((-9)/1386) a multiple of 6?
False
Suppose 0 = 2*u + 5*s - 1610, u - s + 511 = 1316. Is 35 a factor of u?
True
Let z(r) = -3*r**3 - r**2 + 2*r - 4. Let n(t) = -2*t + 6. Let u be n(6). Let m(d) = d + 3. Let p be m(u). Does 18 divide z(p)?
False
Suppose -13*i = -2*i + 198. Let a = 50 + i. Is a a multiple of 2?
True
Let x(j) = 12*j**2 + 16*j + 50. Is 2 a factor of x(4)?
True
Suppose -18*b = -19*b + 2. Let c = 5 - 1. Suppose -c*q = -5*u + 92, -b*u + 0*u + 4*q = -32. Is 5 a factor of u?
True
Is 8 a factor of (7040/66)/(2 - 164/84)?
True
Let t = 127 + -124. Let c be (-52)/(-6) - (-4)/(-6). Is 15 a factor of (-10)/t*(-36)/c?
True
Let p(b) = b**3 + 5*b**2 + 6*b + 6. Let y(c) = c - 15. Let h be y(11). Let n be p(h). Let w(u) = -6*u**3 - 2*u**2 - 2*u - 3. Is 11 a factor of w(n)?
False
Let b(t) = 1179*t**2 - 2*t - 1. Does 16 divide b(1)?
False
Let w(g) = g**3 - 10*g**2 + 2*g + 1. Is w(11) a multiple of 24?
True
Suppose m - 2*m = -3. Suppose -4*n = a + 3*a - 60, -m*a + 3*n + 75 = 0. Is 20 a factor of a?
True
Let j(i) = 3*i**3 - 8*i**2 - 2*i - 17. Let k be j(7). Suppose -30*x = -27*x - k. Does 17 divide x?
False
Let l(w) = -12*w + 5. Let g(y) = -y + 1. Let n(b) = 4*g(b) + l(b). Is n(-5) a multiple of 13?
False
Suppose 12 = 2*y - 8. Let x = y + -4. Suppose -74 + 2 = -x*c. Is c a multiple of 5?
False
Let u(q) be the third derivative of 13*q**4/24 - 17*q**3/6 + 34*q**2. Is 20 a factor of u(9)?
True
Let a = 247 + -158. Let c = a + -64. Let u = 11 + c. Does 18 divide u?
True
Let v(l) = -297*l**3 - l**2 - 2*l. Let q be v(-1). Suppose 2*o + 3*g = 2*g + q, 606 = 4*o - 3*g. Is 15 a factor of o?
True
Is ((-2)/(-8))/(26/6344) a multiple of 6?
False
Let f(h) = -8*h - 22. Let w be f(-3). Suppose 121 + 13 = 5*l - n, w*l - n = 56. Is l even?
True
Suppose 60*g = 62*g - 94. Is 9 a factor of g?
False
Suppose 536*v + 414 = 542*v. Is v a multiple of 16?
False
Suppose 85 = -3*b - 170. Let k = b - -46. Let p = k + 75. Does 8 divide p?
False
Let m(j) = -j**2 - 11*j - 21. Let z be m(-9). Let i = z - -8. Suppose i*t = 4*h - 116, 0 = -3*h + 2*t + 105 - 18. Does 15 divide h?
False
Suppose -4*j = y - 33, 132 = 2*y + 2*y + 3*j. Suppose 387 + y = 5*w. Does 12 divide w?
True
Let g(f) be the third derivative of f**6/120 + 11*f**5/60 + 2*f**4/3 - f**3/2 + 4*f**2. Does 5 divide g(-9)?
True
Is (-6 - -5) + -2 - (1 - 264) a multiple of 26?
True
Suppose -4*p + 320 = p. Let v = 174 - 184. Let h = v + p. Does 15 divide h?
False
Suppose -22*d = -21*d. Suppose -2*q - 5*q + 840 = d. Is 20 a factor of q?
True
Suppose 4*t - 20 = -0*t. Suppose -t*w - 4*p = -33, -5*p + 4*p + 2 = 0. Suppose w*q + 3*x = 70, 0*q + 28 = 2*q - x. Does 6 divide q?
False
Suppose 4*r + 44 = 4*k, 3*k + k + 4*r = 52. Let j be 2/11 - k/66. Suppose j = -2*f - 2*f + 156. Is 13 a factor of f?
True
Let w(d) = d**3 - 8*d**2 + 24*d - 52. Is 49 a factor of w(9)?
True
Let h(o) = -o**2 - 7*o - 6. Let m be h(-5). Suppose 2*q = -4*s - 2692, -m*s + 4*q - 712 = 1968. Does 6 divide s/(-36) - 4/6?
True
Suppose 4*u - 1450 = 9*f - 14*f, -3*f + 868 = 2*u. Is f a multiple of 52?
False
Suppose -1888 = -3*a - 175*b + 171*b, 1868 = 3*a - b. Is 4 a factor of a?
True
Suppose b + 68 = -4*t, 2*t = 5*b - 2*t + 412. Let o be -2 - (-10)/(10/(-117)). Let y = b - o. Is y a multiple of 27?
False
Let r be 210/(-28) - 6/(-4). Let t = 22 + r. Does 16 divide t?
True
Does 11 divide (-8)/((-8)/755)*1?
False
Let h(n) be the third derivative of -n**6/60 - n**5/30 + n**4/8 + n**3/6 + n**2. Let k be (-16)/(-3 + 7) - 0. Is 25 a factor of h(k)?
False
Suppose -4*d + 23 = 3*l, 2*d + 74 - 1 = 5*l. Let t = 25 + l. Does 11 divide t?
False
Let y be (-4)/6*(-198)/(-11). Let i = 80 - y. Is i a multiple of 15?
False
Suppose 3*g - 16 = -1, x = 2*g - 4. Let t(c) = -c**2 + 6*c - 3. Let k be t(x). Does 3 divide 2/k - 28/(-6)?
False
Let d = 1563 + -927. Does 53 divide d?
True
Let r = 560 + 330. Does 31 divide r?
False
Is 456/4 + -6 + -4 a multiple of 52?
True
Suppose 0*h + 5*h = 395. Let w = 299 - h. Suppose -5*r - 4*c + w = -r, -4*r = -3*c - 248. Is 15 a factor of r?
False
Suppose 4*g + g + 2*c - 21 = 0, -g - 12 = -5*c. Suppose 0 = -0*u + u + z - 74, 0 = -5*u + g*z + 370. Does 5 divide u?
False
Let o(k) = k - 2. Let x be o(4). Let n be x/11 + (-64)/(-11). Let m = 12 - n. Is m a multiple of 6?
True
Let m be (-10)/55 + (-24)/(-11). Is -20*((-385)/m)/11 a multiple of 50?
True
Let t(u) = 8*u - 307. Does 29 divide t(42)?
True
Let o be (-7)/2*(-50)/35. Is (-592)/(-10) - 1/o a multiple of 15?
False
Suppose -60*w + 50*w + 7920 = 0. Does 11 divide w?
True
Let c(h) be the first derivative of -h**2/2 + 6*h - 5. Let q be c(6). Suppose q = -2*z + 4 + 28. Is 13 a factor of z?
False
Let n = 3021 - 2671. Is n a multiple of 3?
False
Let i(t) = 6*t - 5 + 5*t**2 - 6*t - 3*t. Let r be i(5). Is ((-4)/(-10))/(3/r) a multiple of 7?
True
Suppose -5*l - 4*o + 35 = 0, -l - 2*o = 2*l - 19. Suppose 35 = s - l*v, 39 = 3*s - 2*s - 5*v. Is 12 a factor of s?
False
Let f(h) = h**2 + h + 449. Let n be f(0). Let g = -709 + n. Is 11 a factor of (16/20)/((-8)/g)?
False
Let z(u) = -u - 13. Let d be z(-16). Suppose -d*o + 2*o = 5*r - 195, 2*r - 75 = -o. Is 26 a factor of r?
False
Let d(l) = -9 + 5 + l - 3*l. Let p be d(-13). Let t = 27 + p. Does 17 divide t?
False
Let p(y) = 27*y**2 + 3*y - 5. Suppose 0 = -0*k + 2*k - 4, 14 = 4*z + 3*k. Is p(z) a multiple of 17?
False
Suppose -2*z = -0*z + 328. Let k be (-16)/40 - z/10. Let d = k + -4. Is d a multiple of 12?
True
Let b(z) = -z**3 + 9*z**2 - 1. Suppose 0 = -12*p + 11*p + 6. Is 9 a factor of b(p)?
False
Let n(c) = c**2 - 2*c + 5. Let o(b) = -b + 1. Let w(s) = 5*n(s) - 15*o(s). Is 6 a factor of w(-5)?
False
Suppose 4*v = -2*t + 3 + 83, -5*v + 37 = t. Suppose 8*n = t + 289. Is 7 a factor of n?
True
Let m be (-42)/(-4)*(-12)/(-9). Suppose 0 = t - 18 - m. Does 14 divide t?
False
Let k = 378 - 130. Is k a multiple of 20?
False
Suppose -2*v - 101 = -387. Suppose 613 + v = 7*d. Does 54 divide d?
True
Let z = 771 + -71. Is z a multiple of 64?
False
Let p(r) = 4*r**2 + r. Let z(w) = -w**2 + w - 1. Suppose 2*a - 3*g = -3*a + 20, a - 5*g - 26 = 0. Let f be z(a). Is 3 a factor of p(f)?
True
Suppose -1 = -x, -k + 7*x = 6*x - 1421. Is 9 a factor of k?
True
Let v(f) = 12 + 3*f - f**2 + 3*f - 2*f**2 - 2*f. Let r(x) = 16*x**2 - 19*x - 61. Let k(z) = 2*r(z) + 11*v(z). Is 2 a factor of k(5)?
False
Suppose -4*x + 119 = -461. Suppose 685 = 5*d - 2*s, 0 = -3*d + 4*d - 2*s - x. Is d a multiple of 20?
False
Let i