Is d a multiple of 12?
False
Let m = -4 - -11. Let y(v) = v**3 - 7*v**2 + 3*v - 17. Let i be y(m). Suppose -i*s = -414 + 78. Does 7 divide s?
True
Suppose 11293 + 8643 = 8*t. Does 7 divide t?
True
Is 37 a factor of 259*(-581)/(-49) - 6?
False
Let x(u) = 6*u**2 - 278*u - 579. Is x(69) a multiple of 32?
False
Is 6 a factor of 4/(-6) + 1 + 742820/390?
False
Suppose 971 = -5*s + 246. Let b = -339 - s. Let u = -74 - b. Is 10 a factor of u?
True
Let z(r) = 2*r**2 + 18*r + 14. Let j be z(-8). Let x(h) = 9*h + 6. Let k be x(j). Let f(o) = -o**3 - 14*o**2 - 25*o + 5. Is 7 a factor of f(k)?
False
Let f = 24 - 0. Let q(y) = -22 - f - y**2 + 80 - 4*y - 22. Does 7 divide q(-5)?
True
Suppose 6*q - 735 = 1065. Suppose -895 = -t - q. Does 56 divide t?
False
Suppose -13*k - 234 = -7*k. Let j(u) = -2*u**3 - 77*u**2 + 33*u - 56. Is 10 a factor of j(k)?
False
Suppose -5*q = -4*a - 36, -2*q = a + 4*a + 12. Suppose 4*f + 8 = -q*g, 36 - 16 = -4*f. Suppose 0 = -g*l - 3*u + 374 - 71, 3*l - 5*u - 335 = 0. Does 14 divide l?
False
Suppose 202 = 14*j + 832. Does 15 divide -1140*(7 - j/(-6))?
True
Let c(x) = 8055*x**3 + x**2 - 10*x + 8. Let p be c(1). Suppose 14*z - 4854 = p. Is 49 a factor of z?
False
Suppose -2*g + 2*k - k = -226, g + 5*k = 124. Let o = -335 + 388. Suppose -b - g = -4*b + 3*r, -4*r = -b + o. Is 13 a factor of b?
False
Let z be -3*(-2)/15 - 11968/20. Is 4/26 + (-364090)/z a multiple of 11?
False
Suppose 6538 = 2*o + 3*o - 3*b, 0 = -5*o + b + 6536. Let i = o + -857. Is 48 a factor of i?
False
Let x = -6147 - -7064. Does 131 divide x?
True
Let w(r) = -34*r - 13. Let y(t) = -69*t - 26. Let d(m) = 7*w(m) - 4*y(m). Let v be d(-6). Let i = -110 - v. Is i a multiple of 19?
False
Suppose 0 = 3*b - 2*q - 14 + 5, -3*q - 3 = -b. Suppose 0 = 4*f - 5*c - 1620, b*c = 6*f - 3*f - 1215. Does 41 divide f?
False
Suppose 25020 = 4*x + 2*v, 410*x = 406*x - v + 25022. Is 7 a factor of x?
False
Suppose 5*p - 7*p = -30. Let a(v) = -v**3 + 16*v**2 - 14*v + 7. Let k be a(p). Let g = 82 - k. Is g a multiple of 20?
True
Let g(y) = 6*y - 30. Let h be g(6). Suppose -57 = h*s - 15. Let p(m) = m**2 - 8*m - 9. Does 32 divide p(s)?
True
Suppose -4*t + 5 = r, 4 = -0*t + 3*t + r. Suppose 5*k - 4*z - 22 = 0, -2*k + 2*z = t - 11. Suppose 0 = -k*l + 7*l - 100. Is 10 a factor of l?
True
Let j(n) = -n**2 + 23*n - 28. Let d be j(16). Does 9 divide (48/42 + -2)/((-1)/d)?
True
Let k(v) be the third derivative of v**4/12 - 4*v**3/3 + 17*v**2. Let f be k(5). Does 23 divide 3/(f + 16) + (-1210)/(-12)?
False
Let x = 4479 - 3376. Does 100 divide x?
False
Let s(k) = 162*k**3 - k**2 - k + 2. Let z be s(1). Let f = -55 + z. Does 15 divide f?
False
Let r = 264 + -219. Suppose -3*v + 459 = -r. Does 12 divide v?
True
Let i(s) be the third derivative of -s**5/60 + 13*s**4/24 + 3*s**3 + 28*s**2. Let g be i(14). Let m(u) = 37*u - 35. Is 18 a factor of m(g)?
False
Suppose 3*u = -4*r - 23, 4*u - r = 4*r + 21. Suppose -15 = -3*j, 14*a = 15*a - 5*j - 246. Does 18 divide a - (-1 + (-3)/u + -1)?
True
Suppose 46*k - 16*k = 18*k + 124980. Is k a multiple of 177?
False
Let t(l) = -l**3 + 27*l**2 - 5*l - 15. Is 186 a factor of t(25)?
False
Let p = -99 + 102. Does 65 divide p*(15/(-2))/(2/(-20))?
False
Suppose 3*k + 5*p = 14 + 7, 2*k - 2*p + 2 = 0. Does 8 divide 10/(-3)*(-14 + 4/k)?
True
Suppose 0 = 54*s - 49*s - 3*j + 39, 2*s + 4*j = 0. Let z(a) be the second derivative of -a**3/3 + a**2 - a. Is z(s) a multiple of 14?
True
Let s(y) = 118*y - 1508. Is 14 a factor of s(46)?
True
Is 65 a factor of (-2)/20*-520684 - (-22)/(-55)?
False
Let k = 6985 + -4607. Does 10 divide k?
False
Let o(x) = 109*x + 1509. Is o(15) a multiple of 8?
True
Let t = -20759 - -36712. Is 301 a factor of t?
True
Is (13527/21 - (-18)/(-126)) + -4 a multiple of 4?
True
Suppose 0 = 9*h - 742 - 446. Let y = h + -52. Is 20 a factor of y?
True
Let c be (-24 - -19) + 1 + (-18)/(-2). Suppose -c*y = -5*i + 3*i + 971, -995 = -2*i - 3*y. Is 17 a factor of i?
True
Suppose -5*n + 46 = -n - 5*b, -2*n - 5*b + 8 = 0. Let q be 30/n - (4/3 - 2). Let z(d) = d**3 - 4*d**2 + 8*d + 4. Is 16 a factor of z(q)?
False
Suppose -5*w = -2*i - 697, 5*i - 2*w + 4*w = -1757. Let h(j) = 3*j**3 - 4*j**2 - 7*j - 6. Let r be h(-4). Let d = r - i. Does 11 divide d?
False
Let y(p) = p**2 + 10*p - 34. Let k be y(3). Suppose 3*t - 3*o - o - 607 = 0, 0 = t + k*o - 234. Is 11 a factor of t?
True
Let k = 440 - 441. Let c(n) = -304*n - 7. Does 7 divide c(k)?
False
Is (98888/12 - -3) + (-25)/(-75) a multiple of 6?
True
Let c = -81 - -159. Suppose 3*s = -x + 240, 5*s = 4*s - x + c. Let n = s - 50. Is 3 a factor of n?
False
Let f = 4413 + -3738. Is f a multiple of 45?
True
Let l(d) = 310*d**2 + 5. Let f be l(2). Let w = f + -665. Does 29 divide w?
True
Let b(r) = r**2 + 23*r - 20. Let y be b(-24). Suppose 2*p + 9 = 3*p + x, 0 = -3*p - y*x + 32. Suppose 0 = -p*f + 2*f + 40. Is f a multiple of 8?
False
Let l(z) = 11*z - 14. Let x(t) = t + 2. Let g(f) = l(f) - 6*x(f). Let y be g(8). Is 3 a factor of ((-5)/((-35)/y))/((-4)/(-6))?
True
Let k be (-6)/10*(-10)/6. Suppose -5*h + k = -3794. Is 69 a factor of h?
True
Let o(q) = -2*q**3 - 11*q**2 + 6*q + 4. Let s be o(-6). Suppose 5*c = 5*v + 5490, 3*c - s*v - v = 3292. Is 53 a factor of c?
False
Let l(j) = -6*j**2 + 5*j - 9. Let b be l(6). Let m be 28/182 + (-660)/65. Is 35/m + 4 - b/2 a multiple of 18?
False
Let x = -22153 + 40963. Is 45 a factor of x?
True
Suppose -45*m + 224604 = 51*m - 78*m. Is m a multiple of 173?
False
Suppose -4*r = -2 + 2. Suppose 4*o + 0*o + 2*j - 234 = r, -4*o + j = -225. Let q = -44 + o. Is q a multiple of 2?
False
Does 12 divide 87544/96 + 22/(-24) + (4 - 3)?
True
Let o = 97 + 459. Let y = 898 - o. Does 19 divide y?
True
Let x = -8774 + 22469. Is 18 a factor of x?
False
Let j be (273/14)/(7/(-210)). Let k = j + 1106. Is k a multiple of 17?
False
Is (10/220)/(4/8) - (-252064)/11 a multiple of 6?
False
Suppose -68*j = -80*j + 159096. Is j a multiple of 14?
True
Let o = 5095 + 601. Is 16 a factor of o?
True
Is 8/(293776/29376 - (0 + 10)) a multiple of 22?
False
Is 12 a factor of (5/(100/(-30)))/((-6)/6784)?
False
Suppose -h + 1239 = -346. Suppose 1361 + 219 = 3*r - 5*l, 3*r - 4*l - h = 0. Suppose 30*q - 35*q + r = 0. Does 10 divide q?
False
Suppose -5*m - 4*y = -41191, -50*y + 52*y = -2. Does 107 divide m?
True
Suppose -94119 + 394128 + 235331 = 290*s. Does 11 divide s?
False
Let u(y) = 3*y - 16. Let p be u(7). Suppose 2*n - 4 = n, -k - 5*n + p = 0. Is 17 a factor of (k + 0)*-8 + -1?
True
Let v = 438 - 837. Let s = v + 677. Does 21 divide s?
False
Let p be 56 - 0*(-1)/2. Let i = -7681 + 7775. Let k = i - p. Does 6 divide k?
False
Let d(g) = 25*g - 95. Let q be d(5). Is q - ((-7 - -11) + (-5 - 1)) a multiple of 4?
True
Suppose 0 = -3*r - 4*c + 91, -c + 4*c + 15 = 0. Let s = r + -29. Let m(n) = 4*n**2 + 6*n - 17. Does 41 divide m(s)?
True
Let s(o) = 12*o + 37. Let x be s(10). Let c = x + 96. Is c a multiple of 23?
True
Let b = 573 - 567. Is 9 a factor of (768/80 - b)*20/6?
False
Suppose 7097 = 2*j - 5*u, 3*u = -3*j - u + 10588. Does 8 divide j?
True
Suppose 25 = 5*s + 5*h, -s - 2*s + h + 7 = 0. Suppose -d = -3*d - s*d. Suppose 2*p = -d*w + w + 228, 0 = -4*w. Is p a multiple of 19?
True
Let g = 14246 + -9961. Is 74 a factor of g?
False
Suppose 0 = 3*m + 5*y + 2621, -5*m - 3492 = -m + 4*y. Let a = m - -1325. Is 31 a factor of a?
False
Let k = -13047 - -25899. Is 28 a factor of k?
True
Let z = -17074 - -24929. Does 56 divide z?
False
Let x(v) = 117*v**2 - 4*v + 2. Let m(u) = u**3 - 5*u**2 + 1. Let q(l) = l**3 - 18*l**2 + 33*l - 11. Let j be q(16). Let z be m(j). Is 10 a factor of x(z)?
False
Suppose 4*g - 6*g - 5*a = 147, 0 = -5*g - 3*a - 377. Let t = g + 284. Suppose l - 6*x + x = 63, -t = -4*l - 2*x. Does 45 divide l?
False
Suppose -1575 = -43*k + 7061 - 251. Let g = 1156 - 801. Let f = g - k. Is f a multiple of 20?
True
Let m(u) = -5*u**3 - 22*u**2 - 21*u - 109. Is 50 a factor of m(-15)?
False
Let k be (2 - 5/10)*18. Let b = k + 69. Does 12 divide b?
True
Let q = 389 + -130. Suppose -2*s + 5*y = -q - 28, 2*s - 307 = y. Is 13 a factor of s?
True
Let r(u) = 180*u**2 - 10*u + 19. Does 5 divide r(-2)?
False
Let h(k) = -k**2 - 5*k + 15 + 6*k - 15*k. Suppose 2*f - 2*b = 6*f + 60, -38 = 3*f - 2*b. Does 8 divide h(f)?
False
Suppose 0 = 