vide (546/(-28))/(v/(-16))?
False
Let c(b) = -11*b + 33. Let x = -26 - 27. Let k = x - -45. Is 11 a factor of c(k)?
True
Suppose 242*y = 152*y + 247680. Is y a multiple of 32?
True
Let h = 29 - 25. Let q be h/14 - 72/(-42). Suppose 3*g = q*l - 501, 2*l - 5*g = -4*g + 503. Is l a multiple of 34?
False
Suppose 32956 = 4*o - 2*t, 2*o - 21360 = -8*t - 4936. Does 71 divide o?
True
Let k(b) be the second derivative of 5*b**4/3 + b**3/3 + 10*b**2 + 104*b. Is 51 a factor of k(-5)?
True
Suppose 23*l - 24*l = 0. Let c(m) = 4*m + 66. Let r be c(l). Suppose 211 - r = 5*i. Is 4 a factor of i?
False
Does 2 divide ((-60)/8)/1*(2352/(-9) + 2)?
False
Is 278/3*(-19 + (-119)/(-2)) a multiple of 86?
False
Suppose 256 = -4*k - 4*d, -5*k + 3*d = 1 + 335. Let x = k + 66. Suppose 113*j - 108*j - 775 = x. Is j a multiple of 27?
False
Let g(c) = 441*c - 1084. Is g(6) a multiple of 71?
True
Let d(g) = 9*g**3 - 18*g**2 - 68*g + 76. Is d(10) a multiple of 194?
True
Suppose -171 = 5*l + f + 82, -5*l - 265 = -5*f. Let z = -81 - l. Does 19 divide (-1272)/z*5/2?
False
Suppose 5*i = -4*m + 1238 + 1833, 759 = m + 3*i. Does 6 divide m?
True
Let d(s) = -s**3 - 45*s**2 - 249*s + 34. Does 21 divide d(-41)?
False
Let i(m) = 26*m**2 - 7*m - 2. Let t be i(-4). Let w = 855 - t. Suppose -5*l + 2*l - 5*g = -318, -4*l = 3*g - w. Does 7 divide l?
False
Let p = -2656 + 3784. Let h = p - 767. Is h a multiple of 19?
True
Let i be (59 - 6)/(-1 + (-6)/(-5)). Suppose n = m - 2*n - 58, 4*m = n + i. Suppose 0 = 5*z - m - 153. Is 11 a factor of z?
True
Is 100 a factor of 19017 + 0 + -24 - -7?
True
Let w(l) = 2*l**2 - 19*l + 16. Let r = -123 + 116. Is w(r) a multiple of 45?
False
Let c = 143 + -128. Let p be (474/4)/(c/40). Let r = p - 116. Does 20 divide r?
True
Suppose -38*c = 7975 - 100885. Is 7 a factor of c?
False
Let x be 89/2*(4 + -10) + 70/10. Suppose 423 = -5*d + 2288. Let r = d + x. Is 18 a factor of r?
False
Let m be (-54)/15*((-1137)/9 - -3). Let w = -200 + m. Is 9 a factor of w?
False
Let o = -17 + 19. Suppose -o*h + 4*b = -194, -3*h - b + 286 = -2*b. Let c = h - 16. Is c a multiple of 18?
False
Let f = 13379 - 7991. Does 12 divide f?
True
Is ((0 - 2) + 1757)/(4 + 75/(-30)) a multiple of 6?
True
Let p(h) = h**3 + 9*h**2 - 5. Let o be p(-9). Let b be (-637)/(((-1)/(-5))/(1/o)). Suppose -2*z - 2*w + b = z, 3*z - 643 = 4*w. Is z a multiple of 28?
False
Let c(a) = -35*a**3 + a**2 - 2. Let y be c(1). Let b = y - -40. Suppose l + 228 = b*l. Does 17 divide l?
False
Suppose -2*h + 5*i = -h - 117, -562 = -5*h + 2*i. Suppose 16*p - 80 = h. Does 2 divide p?
True
Suppose n - 6450 = -m, -5*m + 3*n + 19475 + 12751 = 0. Does 7 divide m?
True
Does 44 divide 56 + -44 + (-1 - -2183)?
False
Suppose -523*l + 3065433 - 275793 = -195*l. Is l a multiple of 45?
True
Suppose -c - 2*n - 11 = 0, 2*n + 6 = -3*c - 7. Let a be 4 + 0 + (-3 - c). Is (-15575)/(-150) - a/(-12) a multiple of 15?
False
Suppose -30*j = -283*j + 1785168. Is j a multiple of 11?
False
Does 29 divide (14 - 4 - -16) + 46171?
True
Suppose n - 1101 - 5678 = -4*g, 7 = -7*n. Does 4 divide g?
False
Let k = 2532 + 384. Let j = -1785 + k. Is j a multiple of 13?
True
Let n = -652 - -637. Let y(r) = 2*r**2 + 13*r - 19. Does 79 divide y(n)?
False
Let d(z) = -15*z + 47. Let b be d(3). Suppose 4*w + 0 = -x + 39, 3*x = -b*w + 137. Is x a multiple of 7?
False
Suppose 42*p + 178 - 17566 = 0. Is p a multiple of 9?
True
Let b = -265 - -502. Suppose 1683 = 5*m - 4*s, -2*m - 4*s + b = -425. Does 29 divide m?
False
Suppose -2*u + 3*x - 14 = 0, -2*u + 5*x - 24 = 2*u. Let t be u*(-430 + -2 - -1). Suppose -9*p + 37 + t = 0. Does 4 divide p?
True
Let m(l) = -150*l**3 - 3*l**2 + 3*l - 1. Let a be m(1). Let y be 3574/10 + 30/50. Let k = a + y. Is k a multiple of 23?
True
Let f be (-6)/(-5)*2/(-6)*-5. Suppose 7*o = 6*o + f. Suppose 254 = 2*r - o*v + 6, 3*v + 622 = 5*r. Does 13 divide r?
False
Let k(x) be the first derivative of -5*x**2/2 + 223*x - 228. Does 3 divide k(-9)?
False
Is 4660733/189 - (-59)/1593 a multiple of 36?
True
Let q(k) = -4*k - 110. Let c be q(-28). Suppose 3*h - 366 = -c*u, 4*u + 28*h = 24*h + 728. Is 90 a factor of u?
True
Let w be 668*(4 - (-11)/(-4)). Let u = w + -185. Is u a multiple of 13?
True
Suppose -5*t + 0*r + 140 = -r, 2*t + 3*r - 73 = 0. Does 5 divide 2 + 160 + t + -31?
True
Let m = -1346 + 1353. Suppose -2825 - 6220 = -4*j + i, j - 3*i = 2253. Is 18 a factor of 1/m - j/(-42)?
True
Let m be (-18)/((-5)/5)*12. Let x = 169 - 167. Suppose -2*q + 5*v + 39 + 177 = 0, -x*q + 2*v + m = 0. Is 5 a factor of q?
False
Let o = 88 + -86. Suppose -5*x - 2 = -f + 4*f, 2*x = -o. Suppose -4*t = 20, -l + t + f = -24. Is l a multiple of 5?
True
Suppose 9920 = q - 4*t, 15022 = 4*q - t - 24703. Is q a multiple of 34?
False
Suppose 3*g - 5*t = -g + 17665, -t = -3*g + 13235. Is 63 a factor of g?
True
Let g(p) = 4*p**2 + 16*p - 77. Let l be g(-25). Let w = l + -1135. Is w a multiple of 24?
True
Suppose 2*w - 47757 = -3*x, 55 = -x + 62. Does 51 divide w?
True
Let d be 8 + (-16)/4 + (0 - 2). Suppose -g - d*g - w = -3276, 5*w = 5*g - 5480. Is g a multiple of 16?
False
Let p(f) = f**3 + 5*f**2 - 2*f - 7. Let l be p(-4). Let v be (-1 + 3)/((-2)/(-4)). Suppose -2*q = v*j + l - 99, 4*q - 184 = 2*j. Does 15 divide q?
True
Let y be (4*(-10)/(-24))/(1/9). Let c(g) = 8*g - 64. Is 7 a factor of c(y)?
True
Let n(z) = -z**3 + 6*z**2 + 6*z - 7. Let r be (5/2)/(1/2). Does 12 divide n(r)?
True
Let x = -17 - -17. Suppose x = t - 21. Let r = -7 + t. Does 14 divide r?
True
Suppose 0*l = 3*l - 135. Let m be (1 - (-15)/(-6))/(6/(-324)). Let v = m - l. Does 4 divide v?
True
Suppose 101*v - 2010904 = 50*v - 98*v. Does 25 divide v?
False
Suppose -89*p + 82295 = -80*p + 4076. Does 9 divide p?
False
Let j = -48 + 50. Let p = 0 - 0. Suppose p = -5*r - 2*g + 225, r + r + j*g - 90 = 0. Is 9 a factor of r?
True
Let n = 830 - 647. Suppose -g + 170 + n = 2*f, g - 4*f = 383. Does 33 divide g?
True
Suppose -3*i - 4*b + 16 = -4, -i = -3*b + 15. Suppose -3*r = -4*r - 4*p + 25, 45 = 3*r + 2*p. Is (i + 8 - -1)*(r + 0) a multiple of 13?
True
Let w(c) = -27*c - 22 + 11 + 137*c + 185. Is 59 a factor of w(7)?
True
Is 72/36 + (-3 - -27*31) a multiple of 101?
False
Let m(u) = -u + 140. Let p be m(-10). Let x = p + -120. Is 11 a factor of x?
False
Does 13 divide 1336270/156 + 63/54?
True
Let q be (-2)/8 + 1491/12. Let u(d) = -d**3 + 9*d**2 - d - 42. Let y be u(8). Let s = y + q. Is 46 a factor of s?
True
Let y(m) = -m**2 - 144 + 79 + 76 - 7*m. Let w be y(-9). Is 19 a factor of -110*w/((-70)/(-12))?
False
Suppose -434*c = -535*c + 539239. Does 6 divide c?
False
Let u be 3 - 4 - (0 + -1). Suppose u = -34*p + 37*p + 12, -3*p - 454 = -a. Does 26 divide a?
True
Is 16 a factor of 8/36 - 1600648/(-252)?
True
Let t(a) = 46*a**2 + 28*a - 163. Does 10 divide t(7)?
False
Suppose 7*s = 95167 + 33752. Does 21 divide s?
True
Let s(v) = 3*v**2 - 7*v - 12. Let x(o) = 5*o**2 - 14*o - 24. Let i(p) = 7*s(p) - 4*x(p). Suppose 0 = -273*a + 718 + 1193. Is i(a) a multiple of 24?
False
Let a(r) be the second derivative of 0 + 0*r**2 - 17/6*r**3 - 11*r. Is 3 a factor of a(-1)?
False
Suppose 8*a = 28447 + 2297. Suppose 158*l - a = 155*l. Is 21 a factor of l?
True
Suppose -389*a + 348*a + 138908 = 0. Does 7 divide a?
True
Let n = -41480 - -79428. Is n a multiple of 106?
True
Suppose 0*o = -6*o + 18. Suppose m - 130 = -o*p + p, m = p + 136. Suppose m = 2*j - 6. Is 14 a factor of j?
True
Does 8 divide (-3188)/14*(-2240)/80?
True
Suppose 19 - 8 = g. Suppose m - 15 + g = 0. Is m a multiple of 4?
True
Let d = 16 - 14. Suppose 0 = -5*w, 4*w + 0*w - 246 = -d*u. Is 40 a factor of u - (3 - (3 + -3))?
True
Suppose -686*o + 655*o + 367598 = 0. Is o a multiple of 121?
True
Suppose -4*f + 1839 = 39. Suppose -2*h + f = 3*h. Suppose -3*i + 4*c = -h, -3*i = 4*c - 66 - 24. Is i a multiple of 5?
True
Suppose 0 = -13*i + 2938 + 2262. Let t = 1439 - i. Is 16 a factor of t?
False
Let t(y) = 207*y - 1932. Is 58 a factor of t(62)?
False
Let t(z) = -19*z - 21. Let y be t(-1). Is 22 a factor of -88*(y/19 + (-1304)/608)?
True
Suppose -8*w + 54366 = 26*w. Let i = -45 + w. Is 37 a factor of i?
True
Suppose -3204 + 20105 = 17*f - 2207. Is f a multiple of 18?
False
Suppose -2*r = 2, -18063 = -6*n + 5*n + r. Is 14 a factor of n?
False
Let x(s) = 37*s**2 + 3*s 