d derivative of -d**3/6 + d + 42. Let x(b) = -b - 4. Let s be x(6). Does 6 divide t(s)?
False
Suppose -4*z + 5*x + 0*x + 2121 = 0, 1 = -x. Is 23 a factor of z?
True
Suppose 2*h - 7 = -s - 1, 0 = -4*h + 4*s. Suppose y - 71 = -2*t - t, -h*y = 3*t - 76. Is 11 a factor of t?
True
Let p(d) = -25*d - 2. Let h(a) = a**2 - a - 1. Let y(w) = 7*w**2 - 8*w - 6. Let q(i) = -6*h(i) + y(i). Let g be q(1). Does 14 divide p(g)?
False
Let h = -51 - 30. Is 19 a factor of (-1521)/h + 2/9?
True
Let g be 1/((-118)/(-58) + -2). Suppose g - 35 = -3*d. Is d a multiple of 2?
True
Let w(j) = -j**3 + 2*j**2 + 8*j + 3. Let l be w(-4). Suppose 5*o - 60 = -2*u, -3*o - l = -3*u + o. Suppose 5*c - u - 30 = 0. Is 3 a factor of c?
False
Does 11 divide (-18795)/(-12) - (1/4 + 0)?
False
Let n = 33 + -19. Let y be 0 + -5 + (-12)/(-4). Let u = y + n. Does 12 divide u?
True
Let b(n) = -n + 15. Let i be b(0). Let l be -2 - (0*(-1)/(-4) + 0). Let u = l + i. Does 4 divide u?
False
Suppose -9863 = -32*m + 10553. Does 5 divide m?
False
Let t(d) = 8*d**2 - 2*d + 4. Let s be t(2). Let k = s + -19. Let b = k + 1. Is b a multiple of 7?
True
Suppose s - 3*o - 5 = -5*o, -s + 5*o + 26 = 0. Let k be (1 - -228)/(s + -10). Suppose 4*z + 3*q + 46 - 238 = 0, -5*z = q - k. Is 9 a factor of z?
True
Suppose 18*b - 36 = 6*b. Suppose 80 = b*c + 4*x, 2*x - 37 = -c - 13. Is 4 a factor of c?
True
Suppose 54*n - 6340 = -3*l + 52*n, 0 = n - 2. Does 32 divide l?
True
Suppose -42*a = -49*a + 32144. Does 14 divide a?
True
Let i(u) = -u + 9. Let a(f) = -1. Let k(r) = -22*a(r) - 2*i(r). Is 6 a factor of k(4)?
True
Suppose 3*q - 5 = 1. Suppose -3*y = -y - 2*p - 292, q*p = 2. Suppose -4*h = -y - 29. Is 22 a factor of h?
True
Let w(f) = -f + 3. Let g be w(1). Let t(b) = -b**3 + b**2 + 3*b - 1. Let s be t(g). Does 6 divide 0 - (3 + -33 + s)?
False
Is (2 - (7 - 2))*(1 - 288) a multiple of 12?
False
Let w = 99 - 16. Suppose 4*p = p + 3, 3*p = 2*x - w. Is x a multiple of 8?
False
Let i = 711 - 425. Is 26 a factor of i?
True
Is (-4 - (-39)/52)*-188 a multiple of 13?
True
Suppose -i - 256 = -2*o, -9*o + 3*i - 384 = -12*o. Does 73 divide o?
False
Suppose -2*q - 4*r - 167 + 43 = 0, -3*r = -6. Let m = q + 115. Is m a multiple of 29?
False
Suppose -5*t + 1926 = -3*t. Let m = -667 + t. Does 37 divide m?
True
Suppose b + 65 = -3*u, 3*u + 0*u - 2*b = -77. Let o = 59 + u. Let p = o + -2. Does 9 divide p?
False
Let d be 3*((-48)/14 - 21/(-49)). Let x(o) be the second derivative of -o**3/3 + 4*o**2 + 2*o. Does 7 divide x(d)?
False
Let p be 6/(-8)*16/(-6) + 131. Is 5 a factor of (6/4)/(1 - p/140)?
True
Let m = -52 + 93. Let i be (m/4)/(1/8). Suppose -2*l - 2*p + i = 32, 5*l + 4*p - 129 = 0. Is 26 a factor of l?
False
Let t = 11 - 8. Let u be 0/3*t/(-9). Suppose 6*x + u*x = 168. Is 6 a factor of x?
False
Suppose 5*z - 5*f - 8 = -3*f, -z - 3*f + 5 = 0. Is 3052/49 + z/(-7) a multiple of 18?
False
Suppose 2 + 4 = 3*k. Suppose -3*i + k*d + 454 = 131, -d + 206 = 2*i. Is 13 a factor of i?
False
Let m(p) = 3*p + 18. Let t be m(-6). Let f be 313/4 - (-13)/(-52). Let h = t + f. Does 13 divide h?
True
Let r(s) = s**2 - 20*s - 28. Is r(-28) a multiple of 46?
False
Let p = 0 + 1. Let n = -203 + 225. Suppose r - n = p. Is 8 a factor of r?
False
Let s be (-11)/(-22) - 1/(-2). Suppose -4*n + 7 = -s. Suppose n*b = i - 8, 0 = 4*i - b + 4*b - 65. Does 7 divide i?
True
Let g be (42/5)/((-5)/(-25)). Suppose 25*q = 28*q - g. Does 14 divide q?
True
Suppose 0 = -3*p + 3*f + 9, p + 6 = -2*f + 21. Let o be p - (-2 + 2)*-1. Is 18 a factor of (-2)/(-7) - (-292)/o?
False
Let p = -149 - -92. Let z = p - -109. Is z a multiple of 17?
False
Suppose -916 = 10*x - 12*x + 4*o, 0 = -2*x + 5*o + 918. Is 26 a factor of x?
False
Let x(z) = z**2 + 8*z - 7. Let u be x(-9). Suppose 0 = -g + 5*c - 89, 0 = -2*g + u*c - 66 - 96. Let m = g - -133. Does 27 divide m?
True
Suppose -4*g + 35 + 18 = 3*q, -g = 2*q - 12. Suppose -11*r = -g*r + 336. Does 11 divide r?
False
Let g = 1339 + 131. Is g a multiple of 10?
True
Suppose p + 2*j + 30 = 0, -24 = 3*j - 9. Let d be p/(-50) + (-548)/(-5). Let y = d - 74. Is y a multiple of 15?
False
Let b(c) = 16 + c + 14 + 0. Let i be b(0). Let j = 60 - i. Is 16 a factor of j?
False
Suppose 6 = 4*w - 2. Let l(z) be the second derivative of 3*z**5/20 - z**4/12 + z**2 + 29*z. Is l(w) a multiple of 22?
True
Does 25 divide ((-10304)/(-21) + 5)*3 - 3?
False
Let n(r) be the second derivative of 14*r**2 + 0 - 1/12*r**4 - 7*r + 13/6*r**3. Is 12 a factor of n(12)?
False
Suppose -3*i + 669 = -o, -i - 3*o = -2*o - 227. Suppose -7*z = -224 - i. Is z a multiple of 16?
True
Let l(g) = -4*g + 1. Let k be l(4). Does 22 divide 4/(-6) + (-2500)/k?
False
Let h(a) = -a**3 + 24*a**2 - 25*a + 42. Is 12 a factor of h(21)?
True
Let t(z) = 1. Let j(d) = 2*d - 25. Let h(m) = -j(m) - 3*t(m). Does 7 divide h(-10)?
True
Let v be 1/(-2)*(-12 - -14). Suppose -4*p + 58 + 46 = 0. Does 13 divide 3/((-24)/p - v)?
True
Let n(u) = 2*u**3 - 3*u**2 + 2*u - 1. Suppose 10 + 11 = 7*h. Does 32 divide n(h)?
True
Let d = -51 + 59. Does 13 divide 2/3*1092/d?
True
Let l(a) = -10*a + 127. Is 14 a factor of l(8)?
False
Let y = -13 - -50. Suppose 0*x - 4*x = 0. Does 19 divide y/(x/1 - -1)?
False
Let u(v) = v + 6. Let a be u(15). Suppose 26*q - 660 = a*q. Is q a multiple of 12?
True
Let o = -13 + 18. Suppose -5*x + o = 55. Let l = 19 + x. Is l a multiple of 9?
True
Let z(q) = 22*q**2 - 2*q + 1. Let i be z(1). Suppose 717 = 9*n - i. Is n a multiple of 6?
False
Suppose 11 - 17 = -3*h. Suppose -3*r + 144 = h*t, -61 = -r - t - 4*t. Is 36 a factor of r?
False
Let v(m) be the second derivative of -m**7/420 - m**6/180 + m**5/40 + 7*m**4/24 - m**3 + 7*m. Let y(o) be the second derivative of v(o). Does 17 divide y(-3)?
True
Let g(p) = -p**2 + 48*p - 289. Is 4 a factor of g(29)?
False
Suppose -5*b = -4*f - f - 5, 7 = 2*b - f. Let n(z) = 10*z + 5. Does 13 divide n(b)?
True
Let z(o) = -o**3 + 8*o**2 - 3*o + 8. Let u(f) = -f**2 - 9*f + 26. Let x be u(-11). Is z(x) a multiple of 20?
True
Let k be ((-13)/2)/(2/(-4)). Let r(i) = -i + 15. Let f be r(k). Suppose -a - 305 = -4*a - f*d, 4*a + 4*d - 412 = 0. Is a a multiple of 33?
True
Suppose -3*i + 2*i - 3*s + 519 = 0, 2059 = 4*i - 5*s. Suppose -13*v + 7*v + i = 0. Does 10 divide v?
False
Suppose -4 - 16 = -5*l. Suppose -5*q + 3*h = -0*h + 18, -h = l*q + 28. Is (-171)/q*(-8)/(-6) a multiple of 12?
False
Let v(h) = h**3 - 4*h**2 - 14*h - 1. Let m be v(-3). Let d(p) = -9*p - 98. Is 50 a factor of d(m)?
True
Let z = -37 - -157. Suppose 4*r - z = r. Is r a multiple of 40?
True
Let l be (-6)/(-39) + 736/(-52). Suppose z + 9 + 9 = 0. Is 15 a factor of (z/(-10))/(l/(-350))?
True
Suppose 0 = 3*z - 576 - 150. Is 18 a factor of 6054/22 + (-44)/z?
False
Let m(c) = -c**2 - 6*c + 3. Let q = -4 + -2. Let h be m(q). Suppose -h*b + 6 = -30. Is b a multiple of 7?
False
Let q = -113 - -113. Suppose q = -7*u - 0*u + 1813. Is 37 a factor of u?
True
Suppose -2*y + 3*y + 71 = 0. Let v(b) = 74*b + 16. Let h be v(-2). Let c = y - h. Does 17 divide c?
False
Let o = 5 + -3. Let y(f) = f - 7. Let x be y(13). Suppose -o*m + 6 = -x. Is m a multiple of 3?
True
Let g be (-3 - -2 - 2)*-1. Suppose 16 = -g*r + 13. Does 3 divide r*2 - (0 - 7)?
False
Suppose -5*j - 3*v + 0*v = 48, 23 = -2*j - 5*v. Is 3/(j/(-418)) - 74/(-111) a multiple of 35?
True
Let k = 350 - -31. Is k a multiple of 20?
False
Suppose -f + 16 = 3*f. Suppose -6 = -l + f. Let v(k) = k**2 - 4*k + 12. Is 21 a factor of v(l)?
False
Let b = 1021 - -83. Is 24 a factor of b?
True
Suppose 0 = -0*w - 4*w - 3*t + 429, -2*w + 4*t + 220 = 0. Is 9 a factor of w?
True
Let n(d) = -d**2 + 22*d + 39. Let m(i) = -6*i + 84. Let y be m(11). Does 8 divide n(y)?
False
Suppose -7*d + 2*d + 20 = 0. Suppose g + d*s + 25 = 2*g, -s - 43 = -2*g. Is 21 a factor of g?
True
Let b(p) be the third derivative of p**5/15 - 11*p**4/24 - 7*p**3/2 + 9*p**2. Let d be b(15). Suppose -3*u = 4*u - d. Does 34 divide u?
True
Is 12 a factor of (-22112)/64*(1 - -1)*-3?
False
Suppose 5*p = 3*t - 7*t + 1213, -995 = -4*p + 5*t. Is p a multiple of 7?
True
Does 38 divide -1*(1034/(-2) + 0)?
False
Let q = 29 + -41. Let j(i) be the third derivative of -i**4/24 - 5*i**3/6 - 9*i**2. Does 2 divide j(q)?
False
Let t = 32 - 42. Is 12 a factor of (-12)/((1/t)/(8 - 7))?
True
Suppose -1937*x