5 = -6*c - 465. Let y = 21 + c. Is 6 a factor of (24/10)/(y/15 + 4)?
True
Suppose 6*y - 24 + 6 = 0. Let o(n) = 2*n**y - 4 - 31*n**2 - n - 2*n + 27. Does 27 divide o(16)?
False
Let i be (-2)/(-2)*0/(-3). Let o(r) be the third derivative of -r**5/60 - r**4/12 + 11*r**3/3 + 762*r**2. Is 11 a factor of o(i)?
True
Let k = -1308 + 686. Let o = 332 - k. Is o a multiple of 12?
False
Let o = -10 + 66. Let r be 6/(-8)*o/(-21). Suppose -2*u = 3*k - 67, k = r*u - u + 19. Does 7 divide k?
True
Let l be (8/(-4) + 5)/1. Suppose 4*h - 7*k + 10 = -5*k, -3*k = l. Is (3/h)/((-1)/65) a multiple of 21?
False
Let q(a) = -52*a + 13. Let c(p) = -3*p + 4. Let k be c(-1). Let g = k - 10. Is 13 a factor of q(g)?
True
Let i = 3 + -1. Suppose 29 = -i*t - 75. Let p = 92 + t. Is 8 a factor of p?
True
Let x be 2669/5 + (-4)/(-20). Let j be 5 + (-5 - -4) + x/2. Suppose w = -82 + j. Is w a multiple of 7?
True
Let g = -45 - -49. Is 11 a factor of (g - (-3)/(-9))*72/4?
True
Let k be 2 + 28/(-20) - 64/(-10). Let f(n) = n**3 - 3*n**2 + 44. Is f(k) a multiple of 15?
True
Let o be (-292)/(3 + -5) + -2 + -1. Suppose 100 = 147*p - o*p. Is 13 a factor of p?
False
Let y be (2/(-6)*-17)/((-23)/(-3657)). Let k = y - 417. Does 44 divide k?
True
Suppose -14*l + 30 = -4*l. Suppose -4*u - l*h + 36 = -289, 330 = 4*u + 2*h. Does 14 divide u?
False
Suppose -12*f = -34 + 10. Suppose 3*d = 2*k + 28 - 3, -23 = -f*d - 5*k. Is d a multiple of 9?
True
Let p = 402 - 396. Suppose p*v - 802 + 46 = 0. Does 42 divide v?
True
Let c = -98 - 323. Let b = c - -799. Let a = b + -189. Does 48 divide a?
False
Let w be ((-1)/2)/((0 - 2)/(-4)). Is 13 a factor of (w - (-5)/(-1)) + 130?
False
Let w be (-14)/(-4)*4/7*-5. Does 11 divide w*4/(-160) + 790/8?
True
Let l(f) be the first derivative of -7*f**2 - 136*f + 70. Is 32 a factor of l(-12)?
True
Suppose 0 = 2231*u - 2119*u - 386288. Is u a multiple of 7?
False
Let f(d) = 80*d**2 - 875*d + 21. Does 18 divide f(15)?
True
Suppose -40*q + 5777 + 45233 + 7270 = 0. Is 13 a factor of q?
False
Is 72180/63*(-70)/(-20) a multiple of 97?
False
Let t(p) = 38*p**2 + p + 89. Is 32 a factor of t(7)?
False
Let m(f) = -3*f**2 - 424*f - 953. Is 5 a factor of m(-117)?
False
Let z = -217 - -221. Suppose -19*r + 4860 = -z*r. Is r a multiple of 27?
True
Let a(q) = 272*q - 99. Let w be a(15). Suppose 12*j + 453 = w. Is 10 a factor of j?
False
Let k(p) = 5*p. Suppose -b = 4*h - 3*b - 4, -4*h + 20 = 2*b. Let w be k(h). Suppose -2*z + 5*s = -30, 0*z + z - w = 2*s. Does 14 divide z?
False
Let z = -1722 + 2339. Is z a multiple of 26?
False
Let u be 30*-4*3/(-9). Suppose -u*q + 48*q = 3248. Does 58 divide q?
True
Let t = 36204 - 14571. Does 13 divide t?
False
Suppose 1784 = 10*x - 7836. Is 37 a factor of x?
True
Let b be (-1*3)/(15/6 - 4). Let d(q) = 2*q**2 - 4. Let v be d(b). Is -1*v/(-1)*-20*-1 a multiple of 10?
True
Suppose -5*c = -4*w + 79, -95 = -5*w + 6*c - c. Let v = 16 - w. Suppose -157 - 97 = -3*h + 2*n, v = -2*h + 4*n + 156. Does 37 divide h?
False
Let x = 8693 - 5122. Is 44 a factor of x?
False
Suppose -6*o + 3*o = 0. Suppose 2*z + r + o*r = 6, -2*z - 4*r + 18 = 0. Does 4 divide z + (-2*23*-1)/2?
True
Let t be (-6)/(-7 + 1)*4. Suppose -33 = -5*m + t*m + b, -m - 4*b + 48 = 0. Does 18 divide m?
True
Let r be (-1)/(-5 + 19/4). Suppose -7*v = -r - 220. Is v a multiple of 3?
False
Is 12 a factor of (15/12*4/(-10))/((-5)/24560)?
False
Let t(w) = -w + 12. Let d(y) = -14*y - 5. Let b be d(-1). Let k be t(b). Suppose 3*i = -i - 2*z + 90, k*z - 15 = 0. Does 9 divide i?
False
Suppose 71 = -u + 185. Let g(w) = -w**3 + 3*w**2 + 4*w + 3. Let a be g(4). Suppose 9 = -a*y + u. Is y a multiple of 35?
True
Let i = 239 + -109. Suppose -4*c + 3*w - 12 = 0, 6*c - w = c - 26. Is 13 a factor of i/(-4)*c/5?
True
Let u(g) be the first derivative of -g**4/4 - 3*g**3 - 3*g**2/2 + 3*g - 2. Let r be u(-8). Let d = 114 + r. Is d a multiple of 19?
False
Suppose -4385 = -3*w - 755. Suppose 0 = -b - 642 + w. Is 8 a factor of b?
True
Suppose -27*s + 20 = 4*f - 23*s, 3*s = 2*f. Suppose 2*u = f*u - 246. Does 34 divide u?
False
Let u = 31 - -15. Let y = -882 - -854. Let s = y + u. Does 6 divide s?
True
Suppose 3641380 = 181*z + 131247. Is z a multiple of 11?
True
Let a(k) = -k**2 - k. Let m(z) = 4*z**3 + 5*z**2 - 3*z - 6. Let l(n) = -2*a(n) + m(n). Is l(3) a multiple of 81?
True
Suppose -17*w + 193 - 57 = 0. Suppose -5*d = -4*l - 1116 - 173, w = 2*l. Is 9 a factor of d?
True
Suppose 0*k = k - 10. Suppose 0 = -k*d + 246 + 5484. Does 24 divide d?
False
Suppose f + 3 = 4*p - 25, 3*p = -2*f + 21. Suppose p*r - 5*l = 2*r + 900, -4*l - 4 = 0. Is 18 a factor of r?
False
Let r = 2 - 3. Let f(y) = 52*y. Let u(q) = -158*q - 1. Let h(i) = 8*f(i) + 3*u(i). Is h(r) a multiple of 11?
True
Does 67 divide -3 + 558210/35 + (-1)/(-7)?
True
Let w be (6/4)/(-4 + 102/24). Suppose 3*g = -2*k + 10, 4*g - w - 2 = 0. Suppose -2*z + 346 = k*r, r + 479 = 3*z - 4*r. Is 42 a factor of z?
True
Let v = 859 - 857. Let r(q) = q**2 + 4*q + 2. Let o be r(-5). Suppose 548 = -2*i + o*i + v*x, 225 = 2*i - 5*x. Does 10 divide i?
True
Suppose 3*q = -3*r + 3, 2*q + 5*r - 3 + 13 = 0. Suppose 24*i - 2407 = -q*w + 28*i, -w + 489 = 3*i. Is 7 a factor of w?
True
Suppose s + 7 = 5. Let j be 2 + s + -3 - 17. Let t = 47 + j. Is 3 a factor of t?
True
Suppose -2*x - 2*x = 28. Let c be (-2018)/(-8) + x/28. Let j = c + -151. Is 18 a factor of j?
False
Suppose -2*k - 24 = 5*s + 23, 3*k - 45 = 3*s. Let o(c) = c**3 + c**2 + 1. Let d(w) = 3*w**3 + 13*w**2 + 8*w - 5. Let h(b) = -d(b) + 2*o(b). Does 20 divide h(s)?
False
Let o(u) = 35*u + 37. Let l be o(-31). Let i = l + 2101. Is 18 a factor of i?
False
Suppose 22*i = 23*i - 4. Suppose 1003 = i*o - 149. Is o a multiple of 36?
True
Suppose 2 = 14*o - 40. Suppose o*r = -8 + 11. Is (64 - -15) + (r - 3) a multiple of 9?
False
Let b = 3437 + -3043. Is b a multiple of 99?
False
Let t = -74 + 76. Suppose 578 = t*g - 232. Is 45 a factor of g?
True
Suppose 18 = -3*r + 4*q, 0 = 4*r + 5*q - 1 - 6. Let s(x) = 4*x**2 - 3*x - 15. Let p(t) = -3*t**2 + 2*t + 16. Let i(u) = r*s(u) - 3*p(u). Does 6 divide i(6)?
True
Suppose 0 = 2*l - 26*f + 25*f - 23829, 5*l - 2*f - 59572 = 0. Is 23 a factor of l?
True
Let o = 287 - 329. Is 30 a factor of (-2998)/(-10) - o/210?
True
Let k = -6516 + 11474. Does 86 divide k?
False
Let g = -12152 - -17417. Is g a multiple of 45?
True
Let w(v) = 4*v - 1612 - 5*v + 1613. Let q be w(-13). Does 28 divide (-1235)/(-35) - -3 - 4/q?
False
Let v = -47 - -838. Let r = v + -337. Is r a multiple of 14?
False
Suppose 6*h - 28 = -88. Let b = h - -23. Suppose 3*d - b = z, d - 3*z + z = 6. Does 4 divide d?
True
Let p = -494 - -517. Suppose 29*a - 8208 = p*a. Is a a multiple of 12?
True
Let k(b) = 46*b + 15. Let v(u) = -138*u - 46. Let g(a) = 7*k(a) + 2*v(a). Is 17 a factor of g(6)?
True
Suppose 4*n + 13*d - 145296 = 10*d, -181690 = -5*n + 5*d. Is n a multiple of 105?
True
Let u(t) = 3*t**3 + 3*t**2 + t. Let b be u(-3). Suppose 5*z - 46 = 2*m, 0 = -2*m - 3*z - z - 82. Let w = m - b. Is w a multiple of 9?
False
Suppose 0 = 22*c + 24 - 90. Suppose 4*h = -16, -c*v + 620 = 24*h - 20*h. Is v a multiple of 4?
True
Suppose -55755 = -4*w - 19*g + 16*g, 2*w + 4*g - 27870 = 0. Does 64 divide w?
False
Suppose -s = 1, 3*i - 14*s - 19640 = -15*s. Is 15 a factor of i?
False
Suppose 0 = l + 5*f - 10, -f + 2 = -0. Let o(j) = j**3 + 2*j**2 - j - 1. Let c be o(l). Let y = 47 + c. Is y a multiple of 8?
False
Let u be 2 + 1200 - (0 + -1). Suppose 0 = 18*s + 201 - 155 - 226. Suppose 477 = s*b - u. Is b a multiple of 28?
True
Let n be 272/96 - (-2)/12. Suppose 0 = -j - 5*t + 1168 - 339, -j + 845 = -n*t. Is 28 a factor of j?
False
Let f = -130 + 2641. Does 9 divide f?
True
Suppose 0 = 31*o - 353422 - 147698 + 162662. Does 106 divide o?
True
Let j(r) = -44*r - 49 + 22 - 52 - 63*r. Does 27 divide j(-6)?
False
Let o(s) = 51*s**3 - 70*s**2 + 10*s - 16. Does 14 divide o(6)?
True
Suppose g - 27 = 149. Let v = 25 - g. Let t = -87 - v. Does 8 divide t?
True
Suppose -42*v - 20*v + 1224 = -2930. Suppose -5*i - 72 = -2*i. Let g = v - i. Is 13 a factor of g?
True
Let b = -59 - -72. Suppose -3*w = -b*w + 2820. Suppose w = 2*s + 2*a, a + 711 = 5*s + 4*a. Is 27 a factor of s?
False
Let z = -13 - -23. Is 8 a factor of 454/z*(-4 - 0 - -9)?
False
Suppose -41*a + 40*a