= -5*x + 9*p. Is 17 a factor of x?
False
Let i(g) = g**3 - g**2 - 3*g + 3. Let y be i(2). Let t be 1/y - 1*-649. Let n = t + -417. Is 35 a factor of n?
False
Let d(z) = -2*z**3 - 2*z**2 + z - 2. Let y be d(-2). Suppose y*p = -9*p + 2262. Is p a multiple of 29?
True
Let x(v) = -v**3 - 41*v**2 + 30*v - 49. Let d be x(-43). Suppose 4*k - d = -t, -t + 2*t = 4*k - 2353. Is 19 a factor of k?
True
Let u = -8 - -95. Suppose 0 = -2*c - 51 - 7. Let x = c + u. Is x a multiple of 5?
False
Suppose 0 = -3*k - 2*k - 130. Let r = -446 + 490. Let a = r + k. Is a a multiple of 9?
True
Suppose 3*p - 34628 = -2*v, -2*p + 14175 + 8921 = -4*v. Does 6 divide p?
True
Let v(z) be the first derivative of -16*z**2 - 155*z - 17. Is 15 a factor of v(-17)?
False
Suppose -257600 = 3744*r - 3767*r. Is 35 a factor of r?
True
Let q(y) = -y**2 + 21*y + 8. Let i(z) = -2*z**2 + 32*z + 12. Let w(k) = -5*i(k) + 8*q(k). Is 3 a factor of w(-5)?
False
Is 36009/(-6)*-1 + (-35)/10 a multiple of 56?
False
Suppose 19 = -o + 3*i - 0, 4*i = o + 22. Let c(s) = 5*s**2 + 13*s - 17. Let a be c(o). Suppose -10*w + 1263 = a. Is w a multiple of 13?
True
Let k = -18 - -20. Suppose -k*s + 16 = -10*s. Is -7*((-9 - -9) + -1 + s) a multiple of 7?
True
Let z be ((-587)/(-2)*-1)/((-4)/8). Suppose k - 171 = 3*m, 3*k = m + z - 82. Is k a multiple of 28?
True
Suppose -6*k + 7*k = 0. Suppose k*b + 5*b = 0. Suppose b*l = 2*l - 60. Does 15 divide l?
True
Let j = 2028 - 627. Let z = j + -570. Is z a multiple of 5?
False
Suppose -38*l - 149445 = -568547. Is l a multiple of 9?
False
Is 6/1 + 20193/159 a multiple of 19?
True
Let f = -299 + -67. Let z = f + 1488. Does 51 divide z?
True
Let s = 21757 + -8118. Is s a multiple of 28?
False
Let a = -3272 + 7727. Is 11 a factor of a?
True
Let n be (108/(-135))/((-12)/10)*1659/(-14). Let j be 9*-13 + 0/(-1). Let f = n - j. Is 10 a factor of f?
False
Let u = 140 - 135. Suppose -5*s = u*p - 45 - 120, 3*s + 4*p - 96 = 0. Is s a multiple of 4?
True
Let j be (-3)/(63/(-14) + 4). Suppose 0 = -0*u + j*u - 1326. Is u a multiple of 17?
True
Let y(m) be the first derivative of 8*m**2 + 12*m + 15. Does 3 divide y(7)?
False
Suppose x - 2234 = 4*i, 4*x - 2*i - 5313 = 3679. Does 50 divide x?
True
Suppose 637*j - 1346148 = 393*j. Is j a multiple of 7?
False
Let f = -118 - -91. Let r = f + 28. Does 10 divide (380/50)/(r/10)?
False
Suppose 0 = -4*p + 20 - 0. Suppose 2*x + 4 = 6*x, -p*q = 5*x - 380. Suppose 4*y - q - 117 = 0. Is 8 a factor of y?
True
Suppose l = 5*d - 75364, 4*d - l = 91482 - 31190. Is 34 a factor of d?
False
Let v(a) = -29 - 6*a + 35 + 3*a + 278. Let z be v(0). Suppose -6*d + z = -766. Does 25 divide d?
True
Suppose 2*x - 180 = 22. Let s = x - 91. Is 3 a factor of s?
False
Suppose 2*z + 59*q - 13667 = 62*q, -5*q = 3*z - 20491. Is z a multiple of 14?
True
Let q = 455 + 165. Let g = q - 356. Is g a multiple of 24?
True
Suppose 4*y - 3 = 2*l + 1, 2*y - 4*l = -10. Suppose x = -y*x - 120. Is 12 a factor of ((-76)/(-10))/((24/(-4))/x)?
False
Let s = -12 - 0. Let u be (18 - 1) + -26 + (-19 - -45). Let r = u + s. Is 2 a factor of r?
False
Let g be (2 - (7 - 4))*1. Let b be (g + -1)/4*(87 - 7). Is ((9 - 3) + -5)/((-2)/b) a multiple of 5?
True
Let o(c) = 5*c + 1951. Does 12 divide o(37)?
True
Suppose -72 = -r + 88. Suppose -920 - r = -12*a. Does 45 divide a?
True
Let k(j) = 35*j + 280. Is k(99) a multiple of 35?
True
Suppose 95 = 3*p - 5*g, -p - g + 18 + 3 = 0. Let x(h) = 11 + p - 3*h + h + 19. Does 2 divide x(16)?
False
Let d = -3709 - -4732. Is d a multiple of 2?
False
Suppose 4*r - 301 = z + 8*r, -z + 5*r - 292 = 0. Let k be z/(-4) - 8/32. Suppose 2*q + 20 = k. Is q a multiple of 14?
False
Let l = -492 + 497. Is 537 + -2 - (12 - l) a multiple of 6?
True
Let b(v) = 2*v**2 + 46*v - 33. Let d be b(-25). Suppose 120 = -4*l - 4*a - 0*a, 0 = -2*l + 5*a - d. Let s = -16 - l. Is s a multiple of 3?
True
Let c(g) = g**2 + 3*g + 32. Let n be c(-16). Suppose -2*z - n = -2*q, q - 124 = 7*z - 2*z. Does 21 divide 16354/q - 8/(-14)?
False
Suppose 0 = -2*v - c + 44 + 122, v = 3*c + 76. Suppose 79*y - v*y + 2112 = 0. Does 11 divide y?
True
Let s(u) = 5*u**3 - 17*u**2 + 10*u - 33. Let m be -24 - -25 - (1/1 + -7). Does 44 divide s(m)?
False
Suppose 4*x - 8*x + 8 = 0. Let n = 3 + x. Suppose 2*j - 92 = -s - 3*j, -2*s + 244 = -n*j. Does 14 divide s?
True
Let g = -517 - -531. Suppose g*k - k = 1560. Does 10 divide k?
True
Let j = 8479 + -2615. Does 48 divide j?
False
Let b = 9097 - 5293. Is b a multiple of 42?
False
Suppose 679 - 31 = 2*v. Let z = -89 + v. Does 47 divide z?
True
Suppose 35 + 53 = 22*a. Suppose -a*k + 823 = -673. Does 32 divide k?
False
Let d be 449 + 0/(-2) - -2. Suppose 88*q - 119 = 497. Suppose q*l - d = 39. Does 5 divide l?
True
Let h = 91 - 89. Suppose s = -h*l + 4, s - l = 3*s + 7. Let k(j) = 2*j**2 + 3*j + 18. Is k(s) a multiple of 8?
True
Let w be (-176)/(161/21 - 8). Suppose -w = -3*j - 63. Is 10 a factor of j?
False
Let q(a) = 277*a - 14530. Does 15 divide q(146)?
False
Suppose -11*t - 2 = -10*t. Let s be -31*((-3 - t) + 3 + -3). Suppose p - 8*d + 4*d = s, -3*p + 23 = 2*d. Does 2 divide p?
False
Let q(k) = 65*k + 250. Is q(9) a multiple of 109?
False
Let p = 28174 - 14375. Is 161 a factor of p?
False
Let w(k) = 4*k**2 - 21*k - 9. Let y be (4/8 - 4)*-2. Does 8 divide w(y)?
True
Suppose 2*c - 11299 = 3*t, 377*t - 376*t + 16945 = 3*c. Does 30 divide c?
False
Let h = -202 + 200. Does 32 divide (7 + -5)*(-1027)/h?
False
Suppose 2*i + 66 = 4*u, -2*u - 8*i + 12*i = -24. Suppose 15*m + 972 = u*m. Is 4 a factor of m?
True
Let d = -41 + 44. Suppose 727 = 3*v + 5*w + 247, 2*v - d*w = 301. Suppose 2*r = 4*r + 4*h - 316, r = -5*h + v. Is 32 a factor of r?
True
Let i(n) = -25*n**2 - 2*n + 3248. Is 32 a factor of i(0)?
False
Let s = 415 + -201. Let o = -187 + s. Is o a multiple of 19?
False
Let t(q) = -q**3 + 6*q**2 - 345. Let i be t(0). Let c = -161 - i. Is c a multiple of 90?
False
Suppose 5*z + 2*d - 6*d = -48, -z = 2*d + 4. Let f be (z/(-12))/(2*(-3)/(-18)). Is 110 - (f/(-2) + 3) a multiple of 18?
True
Let y(n) = n**2 + 20*n**2 + 0*n**2 + 7*n + 5 - 7*n**2 - 5*n**2. Is 27 a factor of y(-2)?
True
Let t(z) = 1946*z - 122. Let y be t(-12). Is 4 a factor of y/(-143) - 1*8/52?
True
Suppose 47 = 15*z - 13. Is 32 a factor of 32*(-1 + 13 + z)?
True
Suppose 3*s = 5*s - 66. Let f = -31 + s. Let t(v) = 14*v**2 + 5*v - 4. Does 4 divide t(f)?
False
Suppose -71345 = -69*n + 251230. Is 31 a factor of n?
False
Let w be (8/10)/((-21)/(-15) - 1). Suppose w*f = -3*f - 4*a + 163, 4*a = -3*f + 93. Is 20 a factor of 3350/f - (-2)/7?
False
Let s be 2*(5 + -4) - -1054. Let u be ((-2)/(-3))/((-4)/s). Let w = -70 - u. Is 37 a factor of w?
False
Suppose -5*x = 3*l + 3290, 4*l = 8*l - 3*x + 4348. Let h = l + 1798. Is h a multiple of 68?
False
Suppose 102559 = -151*h + 153*h - l, 205091 = 4*h + l. Is h a multiple of 25?
True
Let j(l) = -79*l**3 - 6*l**2 + 15*l + 32. Is 5 a factor of j(-3)?
False
Let m = 6609 + -849. Is m a multiple of 84?
False
Suppose 2*h = -6*h + 32. Suppose 2*k - x = h*k - 2, -4*k = 3*x - 4. Does 17 divide 55*k + (3 - 4) + 1?
False
Is (0 - 1072/(-10))*((-4018)/(-28) - 21) a multiple of 49?
True
Is 11 a factor of 305802/50 - (-256)/(-6400)?
True
Suppose i - 964 = 892 - 200. Is i a multiple of 31?
False
Let x(a) = -2499*a**3 - 8*a**2 + 12*a + 32. Is x(-2) a multiple of 48?
True
Suppose 373 = 46*f + 1276 + 1397. Let p be (-1*15)/(1 + 0). Is 2 a factor of (2 + 1)*f/p?
True
Suppose -n + 5*l = -6507, -3*n + 487*l - 486*l = -19409. Is n a multiple of 41?
False
Let a be (1/(1/(-106)))/(20/(-80)). Does 25 divide a - (-3 - 39)/(-6)?
False
Suppose 5*b + 3*x + 7 = 1, -5*b + 3*x + 6 = 0. Suppose 0 = 3*k - 4*g - 7, 2*k + b*g + 18 = -3*g. Is 11 a factor of 374/33 - (-1)/k?
True
Let x = 64 - 37. Let q = x - 24. Suppose q*b - 35 - 46 = 0. Is 27 a factor of b?
True
Suppose 486 = m + m - 2*w, w = 4*m - 981. Suppose 2*r + 276 = -m. Let v = -159 - r. Does 5 divide v?
False
Let z = 530 - 527. Is 47 a factor of (-658)/(-28)*(z - (-1)/(-1))?
True
Let p = 77 + -65. Let o = -4 + p. Suppose 5*i = o*i - 210. Does 7 divide i?
True
Suppose 40510 = 13*f - 47977 - 116341. Is 7 a factor of f?
False
Let q = -403 - -11811. Is 23 a factor of q?
True
Suppose -84 = 15*r - 234. Suppose 0 = -r*v + 8*v + 504. Suppose -4*i + v = -23