206. Does 12 divide b?
False
Suppose 1801065 + 1347279 = -30*i + 103*i. Is 9 a factor of i?
True
Let i(m) = -454*m + 993. Does 15 divide i(-78)?
True
Let k(u) = 2746*u**2 + 441*u - 1315. Is k(3) a multiple of 94?
True
Let n = -37207 + 66379. Is n a multiple of 17?
True
Suppose -18*p - 20 = -14*p, 5*f + 2*p = 9665. Is f a multiple of 4?
False
Is 16 a factor of (1944128/222)/(-1*(-3)/(-27)*-6)?
True
Let x = 723 - 191. Suppose -x = 12*s - 19*s. Is s a multiple of 51?
False
Suppose 4*h = -28, -4*v = -826*h + 831*h - 31549. Does 24 divide v?
True
Let i(l) = -8*l - 20. Suppose 2*r - p = r + 20, 5*r = -p + 118. Let y be i(r). Is 9 a factor of 1 + y/(-3) + 3?
True
Suppose -4*s - 3*q = -30658, -2*q - 8020 = -2*s + 7330. Does 2 divide s?
False
Let y(d) be the second derivative of -d**5/10 - d**4/6 - 7*d**3 + 2*d**2 - 24*d - 1. Is y(-6) a multiple of 8?
True
Let i(j) be the second derivative of -j**5/4 + j**4/12 + j**3/3 - j**2 - 16*j. Let z be i(-3). Let c = -45 + z. Is 51 a factor of c?
False
Let f = -678 - -1112. Let i = f - 285. Is i a multiple of 12?
False
Suppose -44 = -3*d - b, -4*d + 0*b + 37 = -3*b. Let p(i) = -i**3 + 28*i**2 - 60*i - 253. Let z be p(25). Let y = z - d. Does 9 divide y?
False
Suppose 3*q - 65 = -5*b, 3*q + 2*b = -27 + 80. Suppose 2*w = q*w - 2028. Does 12 divide w?
True
Let a be (-10)/(-3)*(-9702)/(-55). Suppose -7*k + a - 84 = 0. Suppose -72 = -2*t - 0*g + 5*g, -k = -2*t + 2*g. Does 12 divide t?
True
Let p = 501 + 4857. Is 35 a factor of p?
False
Suppose -38*v + 222411 - 36401 = 0. Is v a multiple of 13?
False
Let c(q) = -q**2 + 17*q - 39. Let g be c(3). Suppose 3*d = -g*d + 2472. Is 35 a factor of d?
False
Let v be (-69)/(-15) + (-18)/(-45)*1. Suppose 2*p = -v*g + 6*g - 290, 0 = -3*g - 4*p + 830. Is g a multiple of 5?
False
Suppose -4*d + 136 + 52 = 0. Suppose -33 = 5*s + d. Let m = 45 + s. Does 29 divide m?
True
Let d = 24 + -29. Let i be (-3 - d) + (2 - 5). Does 27 divide i/(-2) + (-1206)/(-12)?
False
Suppose 0 = 4*m + 31 - 511. Suppose -m + 144 = b. Does 7 divide b?
False
Let f(n) = 35*n + 8. Let g(x) = -18*x - 4. Let c(i) = 2*f(i) + 5*g(i). Let d be c(-2). Does 12 divide (d/15)/((-2)/(-55))?
False
Does 20 divide ((-70108)/5)/(-4) + (212/20 - 10)?
False
Suppose 4*s = 2*d + 22, 0*s + 2 = s. Let m(n) = 8*n - 9. Let w(t) = -t + 1. Let y(k) = -2*m(k) - 2*w(k). Is 19 a factor of y(d)?
True
Let v = 53 - 45. Suppose 0 = 2*u - d - v, -7*u + d + 16 = -3*u. Does 14 divide 156 - ((-14)/7 + (u - 2))?
False
Let q be 8 + (-1)/(-2)*-10. Is 8 a factor of q/18 - (-30360)/144?
False
Is 126 a factor of (-56806)/(-7) - ((-608)/56 + 11)?
False
Let v(k) = -k**3 + 4*k**2 + 2*k - 2. Let r be v(4). Let b be (-2440)/16*r/(-15). Suppose -4*j - 3*p + b = 0, 2*j - 29 = -0*p - p. Is 6 a factor of j?
False
Let f be 60/50 + (-9056)/(-20). Let r = f - 124. Is r a multiple of 10?
True
Suppose 6*o = -30, 40*q - 44*q + 3*o + 39139 = 0. Does 6 divide q?
False
Let b(n) = -n**2 + 2*n + 1. Let u(q) = 5*q**2 - 29*q - 12. Let w(l) = 6*b(l) + u(l). Does 6 divide w(-11)?
True
Let a = 302 - 263. Suppose m - 39 = -2*c - 4*m, -c = -4*m - a. Is c a multiple of 18?
False
Let c(t) = -1502*t + 5033. Does 13 divide c(-20)?
False
Let r(k) be the second derivative of k**5/20 + k**4 - 14*k**3/3 + 3*k**2 - 21*k. Let l be r(-14). Suppose -l*m = -m - 1115. Is 11 a factor of m?
False
Suppose -4*k - 516 = -20. Is 3 a factor of (k/18)/((-18)/(-27))*-3?
False
Suppose 5*c - 104 = c. Let f be 2*173/14 - (-2 - 60/(-35)). Suppose -c*s + f*s + 210 = 0. Is s a multiple of 35?
True
Let p(x) = -433*x - 793. Is p(-12) a multiple of 7?
True
Does 6 divide (-3 - -1)/(2 - (-4)/(13560/(-6782)))?
True
Let a = -34 - -44. Suppose a = -p + 5. Let u(q) = -21*q - 11. Is 10 a factor of u(p)?
False
Let m = 45 + -43. Suppose -m*r = 341 + 115. Is 20/100 - r/10 a multiple of 23?
True
Let g = -3267 + 4169. Is 34 a factor of g?
False
Suppose 4*c - 3304 = -4*k, -3*c = -k + 726 + 116. Let b = k - 708. Does 11 divide b?
False
Let o(p) = p**3 + 27*p**2 + 35*p - 6. Does 14 divide o(-10)?
True
Suppose -5*f - 14 + 46 = 3*h, 5*f = 20. Suppose 807 = h*v - 3*l, 0 = -5*v + 4*l + 291 + 717. Does 11 divide (22 - 0)/(24/v)?
True
Let a(f) = 5*f**2 - 138*f + 1221. Is 138 a factor of a(54)?
False
Suppose 22 = 23*w - 22*w. Let n = 157 - w. Does 27 divide n?
True
Let s = 2639 - -17226. Does 29 divide s?
True
Does 30 divide (-558 - -3)/(12 + 457/(-38))?
True
Suppose -118*l + 3200376 + 2022953 = 105*l. Is l a multiple of 18?
False
Suppose 761 = 4*q + 3*r, 13*r - 8*r = -5. Suppose 0 = -2*f + q + 149. Does 15 divide f?
False
Let h be (-4 + 5)/((-2)/(-16 + -2)). Suppose 10*c = h*c. Is 27 a factor of 79 + (c - -3)*(-10)/(-15)?
True
Let l(y) be the first derivative of -y**2 + 18 - 3*y + 5*y - 3*y**2. Does 17 divide l(-4)?
True
Let x = -555 + 373. Let o be 2/8 - (x/8 - 4). Does 12 divide (o*10/4)/(9/18)?
False
Suppose -12*b = 22*b - 7752. Suppose -q + b = w - 5*w, -2*w = 5*q - 1074. Does 24 divide q?
True
Let k(y) = -4*y**3 - 42*y**2 - 146*y. Does 22 divide k(-20)?
False
Let c(p) = -2*p**2 + 24*p - 22. Let r be c(8). Let q be ((-20)/(-7))/((-4)/(-14)). Let u = r + q. Is u a multiple of 14?
False
Let f = 961 - 1360. Let p = -66 - f. Does 21 divide p?
False
Is (-2*193/(-3))/(-42*17/(-201348)) a multiple of 104?
False
Suppose -2*l = r - 82, r - l - 319 = -3*r. Suppose -13*u - 9693 = -9823. Suppose u*b = 12*b - r. Is b a multiple of 8?
True
Suppose -7*z - 3797 = -8956. Suppose 925 = -5*q + 5*y, -3*y + z = -4*q - 0*y. Is -5*(q/60 + 1/(-6)) a multiple of 4?
True
Is 8 a factor of 4840 + ((-4)/(336/36) - (-3)/7)?
True
Let i = 19 - 14. Suppose 4*z + 344 = -v + 2*v, 0 = v + i*z - 362. Suppose v = 2*m - 2*d + 3*d, 0 = 4*d. Is m a multiple of 11?
True
Suppose -15*j + 42*j = 151632. Suppose 0 = -30*d - 9*d + j. Is 4 a factor of d?
True
Suppose 26*y - 7*y - 339598 = 5*y. Does 20 divide y?
False
Let a be ((-1)/(-4))/(((-15)/12)/(-5)). Suppose 2*y + 15 = -a. Let g(j) = -j**3 - 9*j**2 - 10*j + 13. Is g(y) a multiple of 5?
False
Let g(q) be the third derivative of 0 + 1/2*q**3 + 0*q + 137/60*q**5 - 21*q**2 - 1/12*q**4. Is g(1) a multiple of 23?
True
Suppose -17*f = -71542 - 19935. Suppose -1881 + f = 5*n. Is 70 a factor of n?
True
Is (3 - -1)/(147/47922) a multiple of 8?
True
Let f(d) = d**3 + 17*d**2 + 11*d + 36. Let y be f(-16). Let s = 200 - y. Is 4 a factor of s?
True
Let i(t) = 7*t + 3. Let u(q) = -19*q - 8. Let r(b) = -11*i(b) - 4*u(b). Let g(h) = 28. Let v(f) = -g(f) + 3*r(f). Is v(-21) a multiple of 5?
False
Let t = 11315 + -2524. Is 149 a factor of t?
True
Let p = -217 - -225. Suppose -404 = -p*h + 2196. Is h a multiple of 13?
True
Let q(o) = 207*o + 2794. Does 29 divide q(12)?
True
Let v(f) = f**3 + 46*f**2 - 76*f - 160. Does 48 divide v(-40)?
True
Suppose -6*h = -2*h - 4*q - 76, -q + 15 = h. Let l = 59 + -58. Let c = h - l. Is 2 a factor of c?
True
Suppose -96*a + 119835 = -16*a + 22395. Is 6 a factor of a?
True
Suppose 5*d = 17 - 7. Suppose 2*h - 224 = -2*m, -h = -2*h + d*m + 118. Is 19 a factor of h?
True
Let z(u) = u**2 + 49*u + 10. Let q be z(-13). Is 9 a factor of (-8 - 0 - -2) + (-19 - q)?
False
Suppose -561 = -126*n - 61*n. Let f be (-11 + 0)/((-2)/12). Suppose s = 2*o + o + f, -n*s + 198 = -4*o. Is s a multiple of 19?
False
Let i(l) = 83*l**2 - 73*l - 231. Does 59 divide i(-8)?
False
Suppose -6 = 3*m - 4*n, 3*m - 3 = 4*n - 3*n. Is (-433542)/(-532) - m/(-28) a multiple of 60?
False
Let x be 3600/14 - 23/161. Let a = 583 - x. Is 5 a factor of a?
False
Suppose -357*d - 16 = -361*d. Suppose u + 2 = i - 12, 4*u - d = -i. Is i a multiple of 12?
True
Let k = 381 - -2833. Is k a multiple of 7?
False
Suppose -6*m + 0*m = -1248. Suppose 0 = -203*n + m*n - 1320. Does 13 divide n?
False
Let a(f) = f**3 - 4*f**2 + 5*f - 3. Let u be a(5). Let h = -2156 - -2185. Let j = u - h. Is j a multiple of 3?
True
Suppose -584 = 6*q - 4484. Let b = -246 + q. Is 13 a factor of b?
False
Let r(i) = 2*i**2 + 90*i + 20. Let g be r(-40). Let y = g + 510. Does 3 divide y?
False
Let w(o) = o + 1. Let s(z) be the second derivative of 6*z**3 + 10*z**2 + 17*z. Let u(l) = 2*s(l) - 40*w(l). Is 7 a factor of u(2)?
False
Suppose -188 = 5*x + 7. Let b = -34 - x. Suppose 5*y + 5 = 0, -b*y - 60 = -m + 37. Is 18 a factor of m?
False
Let d(p) = -72*p - 12. Suppose -8*l - 12 = 