et j be x(-5). Suppose -4*l = 4*r - j - 487, -4*r = -5*l - 505. Is 9 a factor of r?
False
Let h be (4*(-12)/(-32))/((-6)/(-136)). Suppose -95 = -35*s + h*s. Is 19 a factor of s?
True
Suppose 2*b + 37 = 185. Suppose -4*r + 56 + 8 = 0. Suppose 14*h + b = r*h. Is 18 a factor of h?
False
Let b(k) = k**3 - 30*k**2 + 57*k - 23. Let l be b(28). Does 6 divide l*((-32)/10 - -5)?
False
Let p(d) = 10*d - 6*d + 16*d**2 + 7*d + 8*d - 19 - d**3. Does 5 divide p(17)?
True
Suppose -9*u - 20 = -13*u. Suppose 64 = 3*m + m + 4*w, -u*w = -2*m + 32. Is 14 a factor of m?
False
Suppose -5*h + 0 = -s - 24, -h + 3 = -2*s. Let p = -171 - -227. Suppose 3*d + p = h*d. Does 14 divide d?
True
Suppose -152 = -7*q + 3*q. Let p be q/247 + 3844/26. Let w = p - 75. Is w a multiple of 22?
False
Let v(h) = -9*h**3 - 4*h**2 - h - 6. Let a be v(-3). Suppose m = -4*w + 39 - 7, -5*m + 2*w + a = 0. Does 8 divide m?
True
Let r(z) = 62*z**2 + 2*z + 1. Let s = -23 - -22. Is 11 a factor of r(s)?
False
Suppose -10 = 2*n, -5*i + 26 = -3*n - 1289. Does 13 divide i?
True
Suppose -3*r + 4*r - 68 = 5*p, 3*r + 62 = -4*p. Is ((-138)/4)/((7/p)/1) a multiple of 8?
False
Suppose u - 4 - 1 = 0. Suppose -19 = -u*o + 66. Is 17 a factor of o?
True
Let p(f) = -f - 2. Let w(d) = 5*d + 1. Let l be w(-1). Let u be p(l). Suppose 3*v + 3*m = 6, -2*v - u*m = -7*m - 32. Is 5 a factor of v?
False
Suppose -8422 - 5658 = -11*f. Is f a multiple of 40?
True
Suppose -675 = -18*f + 1647. Is f a multiple of 5?
False
Let x(i) be the first derivative of -3*i**4/2 + i**3 + 5*i**2/2 + 2*i - 10. Is 13 a factor of x(-2)?
True
Let u(p) = p**3 + 22*p**2 + 15*p - 61. Is u(-21) a multiple of 15?
False
Let a = 13 - 13. Suppose -5*y + 3*k = 2*k - 457, a = y - 5*k - 77. Is 21 a factor of y?
False
Let a = 3 + -11. Let d be 0 + 3 + (a - -8). Suppose 5*s = -d*p + 8*p + 330, 134 = 2*s - 4*p. Is 18 a factor of s?
False
Suppose -h = 2*h - 708. Suppose -4*v + 716 = h. Suppose -6*s = -10*s + v. Does 15 divide s?
True
Let r(k) = -40*k - 9. Let l be r(-3). Suppose 2*b + d - 53 = 190, b - l = -4*d. Suppose -o + 2*o = b. Does 41 divide o?
True
Suppose 5*c + 151 = -0*i + i, -4*i + 538 = 2*c. Is i a multiple of 4?
True
Suppose 4*k + a = 243, 2*a - 37 = -k + 29. Let o = 45 - 75. Let b = k + o. Is b a multiple of 26?
False
Let v(m) = m**3 + 9*m**2 - 11*m - 8. Let p be v(-10). Let k(o) = p*o - 6*o - 4 + 2*o + 0*o. Does 2 divide k(-4)?
True
Let o be (-3 - 5)*(-6)/(-8). Let d be ((-1)/2)/(o/(-72)). Does 18 divide 2/d - 282/(-9)?
False
Let n = 39 + 213. Is n a multiple of 36?
True
Suppose 79*h - 77*h - 6 = 0, -3*h + 1899 = 5*n. Is n a multiple of 9?
True
Suppose 2*m - 5 = -13, 0 = 3*k - 5*m - 29. Suppose 0 = k*l + 4*a - 318, -8*a = -l - 6*a + 96. Is 22 a factor of l?
False
Let g = 46 - 27. Let b = g - 18. Does 31 divide b*(39 - (2 - 5))?
False
Suppose -4*d - 11 = q, -17 = 6*q - 11*q - 2*d. Is 13 a factor of (-94)/(-3*q/15)?
False
Let w(y) = -10*y**3 + 6*y**2 + 16*y + 15. Does 20 divide w(-3)?
False
Suppose 71 = -d - 4*o, 0 = 2*d - 5*o + 69 + 73. Let x = -13 - d. Is x a multiple of 7?
False
Let v = -810 + 1215. Is 2 a factor of v?
False
Does 56 divide (-18)/4*24520/(-90)?
False
Let w be 0 + -1 - (252 - 2). Suppose 5*g + 8*s - 1832 = 9*s, 4*g = 4*s + 1472. Let a = g + w. Is 23 a factor of a?
True
Let l = 10 + -6. Let u(n) = -n + 4. Let j be u(l). Suppose -5*k + 196 - 76 = j. Is k a multiple of 8?
True
Does 10 divide 2/8 + (-19575)/(-36)?
False
Let o = -1 - -4. Let d(r) = 5*r - r**o + 4*r**3 + 1 + 8*r**2 - 2*r**3. Is d(-7) a multiple of 6?
False
Suppose 2*v - 76 = 64. Let r = v + -43. Is r a multiple of 9?
True
Suppose -3*r = -7*r + 12. Suppose -r*b + 181 = 2*z, -2*b + 3*z - z = -124. Is 17 a factor of b?
False
Let h be -2 - 1 - (-3 - 0). Let m(g) = -g**2 + 2. Let c be m(h). Suppose -c*u = -4*u + 2*d + 152, -2*u - 4*d = -146. Does 13 divide u?
False
Suppose 6*m = 527 + 37. Let h = 0 - 5. Is (h/(-10))/(1/m) a multiple of 13?
False
Suppose 0 = -10*h + 37*h - 16335. Is h a multiple of 11?
True
Let s = 1803 + -1051. Is s a multiple of 37?
False
Let d be (-1 - -1) + (-1 - 179)/(-4). Let y = 59 - d. Does 10 divide y?
False
Does 47 divide 8/(-84) - (-54287)/21?
True
Let m(v) = 2*v**3 - 7*v**2 + 2*v + 7. Let d be m(3). Suppose 4*n = d*c - 376, 4*n - 24 + 4 = 0. Is c a multiple of 11?
True
Let g(l) = -94*l - 1096. Is 3 a factor of g(-15)?
False
Let s(l) = l**3 - 3*l**2 + 2*l. Let r = -17 + 19. Let u be s(r). Does 23 divide -46*3/(-3) - u?
True
Let c be ((-4)/(-4))/((-2 + -1)/(-807)). Suppose 127 = v + v + q, -q = -4*v + c. Is v a multiple of 9?
False
Suppose -2*m = -h - 6*h + 2360, -2*h = 4*m - 656. Is 3 a factor of h?
True
Is 23 a factor of ((-138)/(-10))/(23/230)?
True
Is 17 a factor of (-92045)/(-95) + 216/(-114) + 2?
True
Suppose -916 = -6*j + 224. Is 8 a factor of j?
False
Let j(x) = 12*x + 2. Let t be j(13). Let c = -82 + t. Does 19 divide c?
True
Is (14/(-4))/((5 + -11)/348) a multiple of 9?
False
Let l = -347 - -213. Is 10 a factor of (-4 + l/(-10))*5?
False
Let a be 0*(-3 + 5/2). Suppose 2*x + 3*j - 55 = a, -3*x - 1 + 77 = -2*j. Does 13 divide x?
True
Suppose 3*a - 52 = 5*u, -3*u - 7 = -a + 13. Let l(m) = 3*m**2 - 112*m - 81. Let j be l(38). Let y = j + a. Is y a multiple of 9?
True
Let t = -35 - -22. Let l = t + 43. Is l a multiple of 12?
False
Let f(b) = 2*b + 34. Let o be f(-15). Suppose x = -11*t + 6*t + 250, 3*t = o*x + 173. Is t a multiple of 11?
False
Suppose 3*g + 304 = -2*r, r - 588 = 5*r - 4*g. Let w be 1*(-1 - 0) - -2. Does 20 divide r/(-2) - w/2?
False
Let m = 1877 + -1239. Is m a multiple of 22?
True
Let x(j) = -j**3 + 6*j**2 - 6*j - 6. Suppose 0 = 5*p - p - 3*l - 16, -3*l - 11 = p. Let q(c) = c**2 - 1. Let u(r) = p*x(r) + 4*q(r). Is 5 a factor of u(9)?
False
Let r be ((-48)/3 + 6)*2/5. Is (-4)/16*-3 + (-125)/r a multiple of 8?
True
Let z(k) be the third derivative of -k**5/60 + 5*k**4/12 - 7*k**3/6 - 34*k**2. Let s be (-29)/(-4) - (-1)/(-4). Does 14 divide z(s)?
True
Let b = 56 + -17. Suppose -g = 2*k + 21, k - b = 4*g - 0*k. Let o = 28 + g. Is o a multiple of 6?
False
Let j be 145/10 - (-1)/2. Let d(r) = -29*r**3 + 13*r**3 + 10 + j*r**3 + 7*r**2 + 12*r. Does 11 divide d(8)?
False
Let c(k) = -102*k + 9. Let g be c(4). Is g/(-9) + (-1)/3 a multiple of 11?
True
Suppose 4*j - 30 = -2. Let n be j*7/(7/(-2)). Let l = n + 68. Is l a multiple of 9?
True
Let s(b) = 4*b - 6. Let y(j) = j. Let f(z) = -s(z) + 2*y(z). Let t be f(3). Suppose t = -15*w + 13*w + 96. Is 12 a factor of w?
True
Let p = 1926 - 1090. Does 38 divide p?
True
Let s(r) = 5*r**2 + 4*r + 6. Let n be s(-9). Let l = n - 251. Does 11 divide 1*l/(-1 + 5)?
False
Let a = 2054 + -1226. Is 23 a factor of a?
True
Suppose 0 = -17*m - 12*m + 8178. Is m a multiple of 17?
False
Let h = 736 + 548. Does 12 divide h?
True
Does 22 divide (-3 + 1866/(-4))*6/(-9)?
False
Does 38 divide ((-273)/28 + 10)*5012?
False
Let i(m) = 46*m. Let g be i(-1). Suppose -6*o = -2*o + 2*y + 394, -2*o - 206 = 4*y. Let k = g - o. Is 17 a factor of k?
True
Suppose 11*m = 68 + 240. Is m a multiple of 28?
True
Suppose 0*d - 4*d = i + 7, 2*i = -d. Does 15 divide (-1196)/(-16) + i/4?
True
Let z(u) be the first derivative of -3*u**5/20 - u**4/6 - u**3/2 - u**2/2 - 3*u - 7. Let o(f) be the first derivative of z(f). Is o(-2) a multiple of 21?
True
Suppose 7*z = 5251 + 6901. Does 17 divide z?
False
Let u(x) = 12*x**3 - 9*x**2 + x + 12. Does 16 divide u(4)?
True
Let c = 87 - -573. Is c a multiple of 60?
True
Suppose 2*a = 0, 2*u - 4*a + 23 = 1. Let y(t) = -7*t + 11*t**2 + t**3 + 6*t - 101 + 112. Is 11 a factor of y(u)?
True
Let s(f) = -2*f - 10. Let b be s(-9). Let g = b - 2. Does 6 divide g?
True
Suppose 0 = 5*q + 111 - 31. Suppose 2*h - 79 + 7 = -4*k, -152 = -5*h + 4*k. Let l = q + h. Is l a multiple of 7?
False
Let s(x) = x + 4. Suppose 5*f + 4*v = 3*f + 14, -v + 14 = 2*f. Does 11 divide s(f)?
True
Suppose 2*q + 3*s - 6*s - 17 = 0, q - 5*s - 5 = 0. Let y be 3*(3 + q/(-6)). Suppose -6*w + y*w + 114 = 0. Is 16 a factor of w?
False
Let m be (-10)/(-7) + (-12)/(-21). Let x(v) = 56*v - m - 30*v + 7*v. Is x(4) a multiple of 29?
False
Let g(x) = -98*x - 1344. Is 34 a factor of g(-38)?
True
Let g(f) = 36*f**2 + 7*f - 15. Is g(5) a multiple of 12?
False
Let g(x) = -2*x + 5. Suppose 1 = -z - 5*w - 2, -45 = -5*z + 5*w. Let d be g(z).