)?
False
Let f = 1447 - -3055. Is 4 a factor of f?
False
Let y be ((-64)/48)/(6/(-45)). Suppose -5000 = y*m - 35*m. Is m a multiple of 8?
True
Suppose 5*g = -74*g + 355579. Is 20 a factor of g?
False
Let z be 3*(18/(-4))/(2/12). Let p = 83 + z. Suppose -3*u + 910 = p*u. Does 26 divide u?
True
Suppose -5*n - 2*z + 26 = -n, 5*z - 37 = -3*n. Suppose -u - 4*c = -2*u + 6, -3*u - n*c + 2 = 0. Is -2*(u*201/(-4) - -1) a multiple of 8?
False
Let x(j) = -j**2 + 76*j + 1325. Is x(0) a multiple of 3?
False
Let h(m) = -18*m**2 - 5*m + 5. Let o be h(-3). Let l be 2*635/(-5) + -5. Let y = o - l. Does 13 divide y?
True
Let t = -119 - -117. Let r(n) = n**2 - 2. Let z be r(t). Suppose -4*a = -z*m + 70, 0*m + a = m - 38. Does 41 divide m?
True
Let j = 30 - -2. Suppose 0 = -i - 2, 23 = 3*f - 3*i + 11. Suppose f*p = -4*x + j, 31 = 5*p + x - 4. Does 6 divide p?
True
Suppose 0 = 22*k - 17*k - 4160. Let a = -122 + k. Suppose -4*s - 9 + 25 = 0, -3*f = 5*s - a. Does 37 divide f?
False
Let f = 4248 - 2753. Is f a multiple of 13?
True
Let f = 878 + -303. Is 5 a factor of f?
True
Suppose 0 = -2*q - 76 - 266. Is ((-189)/q - 4/38) + 411 a multiple of 28?
False
Let w = 8000 - 7280. Is 80 a factor of w?
True
Suppose 4*o + 192 + 12470 = 2*t, t - 3*o = 6332. Is 37 a factor of t?
False
Let w = -423 - -289. Let m = -56 - w. Does 24 divide m?
False
Suppose 2*r + 1265 = 7*r. Suppose 5*n - 15 = 4*c, c - 12 = -4*n + 2*c. Suppose 88 - r = -n*d. Is 11 a factor of d?
True
Let y be (-19 - -1)*((-445)/(-15) - -2). Let i = y + 928. Is 25 a factor of i?
False
Let h(q) = 869*q**2 + 130*q - 129. Does 5 divide h(1)?
True
Let k(t) = -59*t**2 - 2*t**3 + 162*t**2 - 32*t**2 - 3*t - 50*t**2. Does 24 divide k(9)?
True
Suppose v - 6 - 5 = -2*j, v = j - 4. Let i be (((-8)/(-5))/(v/(-30)))/1. Is (129/4)/((-6)/i) a multiple of 27?
False
Suppose -5702 = -6*j + 32210 - 5428. Is j a multiple of 28?
False
Suppose 68*m - 59*m = 90. Suppose m*r = 642 + 58. Is r a multiple of 14?
True
Suppose -28550 = 9*i - 19*i. Suppose -k = -d - 954, -14*k + 11*k - 4*d = -i. Does 14 divide k?
False
Suppose 6*p - 13 = 17. Suppose -5*x + 4*x - p*r = -109, -4*r = x - 110. Let w = x - -77. Does 31 divide w?
False
Let h = 271 + -313. Is (5 - 2)*(196 - h/(-6)) a multiple of 55?
False
Suppose 3*t = 20*t - 204. Suppose t + 9 = 7*c. Suppose 0 = -c*w, -2*w + 20 + 26 = z. Does 4 divide z?
False
Suppose -r + 30 + 7 = 5*j, 76 = 4*r + 2*j. Suppose r*b = 16*b + 247. Does 11 divide b?
False
Suppose 0*a + 4268 = 10*a - 10582. Is 39 a factor of a?
False
Suppose -166 = -11*h + 76. Suppose -t + 2714 = h*t. Is 10 a factor of t?
False
Let k = -359 + 360. Is k/(-3 - 741/(-246)) a multiple of 41?
True
Suppose -2206 = -2*v + 3*t + 840, 0 = -5*t. Is 36 a factor of v?
False
Let w(r) = -2*r - 10. Let k be w(6). Let b = k - -22. Suppose -s - s + 2*t + 204 = 0, -3*t - 6 = b. Is 10 a factor of s?
True
Let j(r) be the second derivative of -47*r + 0*r**2 + 0 - 1/3*r**3 + 1/6*r**4. Is 14 a factor of j(7)?
True
Let k = 6604 - 4224. Does 15 divide k?
False
Let b(s) = 1 + 2*s**2 - s**2 - 2 - s - 13. Let c be b(11). Let p = c - 1. Does 19 divide p?
True
Let w be -128*9/((-72)/(-32)). Let t = w + 532. Is t a multiple of 2?
True
Let y(z) = z**2 + 18*z + 636. Is y(-16) a multiple of 36?
False
Suppose 53*n - 54*n = 3*c - 8341, 3*c = 3. Is 40 a factor of n?
False
Suppose 10*f + 1525 - 34236 + 2551 = 0. Is 6 a factor of f?
False
Does 24 divide 139 + 442 + 1*-3?
False
Let v(n) = 577*n - 1263. Does 20 divide v(24)?
False
Suppose 204 + 382 = 3*o + 4*g, 3*o + 5*g = 584. Suppose 3*l - o = 201. Is 19 a factor of l?
True
Suppose 2*b + b = 4*y + 1422, -4*y + 1952 = 4*b. Is 22 a factor of b?
False
Let t(x) = 8*x**2 - 71*x - 67. Is t(-22) a multiple of 6?
False
Let y = 52 + -52. Suppose 0 = -j - 5*o - 42, y = -2*j - 2*j + 2*o - 80. Does 3 divide (-6 - j)*6/8?
True
Let p = -3359 - -36497. Does 18 divide p?
True
Let w = -78 - -81. Let s be w + 135/(-6)*(-24)/10. Let r = s + -29. Does 15 divide r?
False
Suppose -20577 = -4*h + j, 39*h + 5*j + 20581 = 43*h. Is 35 a factor of h?
False
Suppose -5884 = 6*i - 53764. Does 20 divide i?
True
Suppose 42000 = u - 4*s, 3*u + 52650 = s + 178727. Is 316 a factor of u?
True
Is (4/(-7))/((-15632)/(-102284) + 24/(-156)) a multiple of 20?
False
Let k(b) = 5*b**2 - 17*b + 37. Is 175 a factor of k(-24)?
True
Is 37 a factor of 185/(-2*8/(-944))?
True
Let a(h) = -104*h**3 - 4*h**2 - 4*h + 6. Let s be a(-3). Let d = -1894 + s. Is d a multiple of 8?
True
Suppose -2*r + 6988 = 2*w, 0 = 125*w - 123*w - r - 6982. Does 45 divide w?
False
Suppose 0 = 8*s - 2 - 14. Suppose 134 = s*r - 48. Suppose -3*b + 395 = -r. Is b a multiple of 37?
False
Let k(a) = 35 + 29 - 5*a - 23. Is 2 a factor of k(0)?
False
Suppose 2*a + 34 = 2*p - p, 5*p = 5*a + 75. Let k = a - -11. Does 4 divide k/(-16) - 63/(-6)?
False
Let t(u) = 84*u - 204. Let c = -304 + 312. Does 26 divide t(c)?
True
Let s = 567 + 4579. Is 31 a factor of s?
True
Suppose 150*f - 126*f - 706663 = 621689. Does 274 divide f?
True
Let h(k) = k**2 + 25*k - 26. Let i be h(-26). Suppose i = 5*s + 3*g - 293 - 294, -349 = -3*s - g. Is 9 a factor of s?
False
Let q(b) = b**2 - 18*b - 14. Is q(-106) a multiple of 26?
True
Let d = -3647 + 5039. Does 16 divide d?
True
Let s(y) = 7*y**2 + y - 4. Let v be s(-3). Let g be 361384/v - (-2)/(-7). Suppose -g = -11*q - 2658. Does 58 divide q?
False
Let a = 46975 + -16390. Is a a multiple of 273?
False
Suppose 18*r = 9*r + 153. Suppose 0 = -r*i + 18*i - n - 45, -2*n = -10. Does 5 divide i?
True
Let f be 2/(5*(-8)/(-65180)). Suppose -3*u = -5*c - 1356, 0 = -5*u + 3*c - 983 + f. Let w = -296 + u. Does 46 divide w?
False
Suppose 39*m - 37*m = 372. Suppose -195*x = -m*x - 1728. Is 12 a factor of x?
True
Let v(r) = -36*r - 24. Suppose 94 = -5*w - 7*a + 10*a, 4*a - 12 = 0. Is 49 a factor of v(w)?
True
Suppose 23*h - 460940 + 125774 = -16*h. Is 26 a factor of h?
False
Let v(w) = -w**3 - w**2 + w - 1. Let p(c) = -17*c**2 - 9*c + 97. Let q(z) = p(z) + v(z). Does 29 divide q(-19)?
True
Suppose -11*f - 5*f = -8*f. Suppose f = 15*u - 918 - 1542. Is 17 a factor of u?
False
Suppose -4*y - 25*o + 29*o + 5748 = 0, o = -y + 1435. Does 92 divide y?
False
Suppose -6 = -2*y - 2*x, -1 = y + 3*x + 2. Suppose -17*k = -y*k - 99. Is k a multiple of 7?
False
Suppose u = -4*k + 5*u + 20, 13 = 5*k - u. Suppose 0 = 4*i + k*l - 86, -5*i = -5*l - 9 - 76. Does 10 divide i?
True
Let o = -601 - -2719. Does 6 divide o?
True
Let v = 93 + -90. Let l = v + 3. Does 17 divide 3068/36 - l/27?
True
Let f(i) = 7*i - 49. Let j = 81 + -74. Let x be f(j). Is (-5)/25*-5 - (x + -11) a multiple of 6?
True
Suppose -3*c = -0*c - 93. Let b be (5 - 9) + c + -2. Does 9 divide 1165/b - 6/10?
False
Let w(c) be the first derivative of -29*c**2/2 + 149*c + 97. Is 10 a factor of w(-14)?
False
Let c be (-2)/((-4)/258*3/101). Suppose -5*k - 5*a = -c + 1228, -3*a = 3. Is k a multiple of 52?
True
Let s(k) = -2*k**3 + 6*k + k**2 + k**3 + 5 - 5*k**2. Let i be s(-5). Suppose 3*a - 6 = -i*a, 20 = v + 3*a. Is 7 a factor of v?
True
Let k = 107 - 101. Let y(v) = 12*v**2 - 14*v - 6. Is 19 a factor of y(k)?
True
Let l be (-3)/(-1) - (-3 + 13). Let o be 8 + l - (2 + -1). Let i(u) = u**2 - 2*u + 37. Is i(o) a multiple of 16?
False
Suppose 0 = 11*t - 20 - 2. Suppose 4*o + 3*n = t*n + 108, 3*o = -2*n + 86. Is 13 a factor of o?
True
Let y = 25220 + -17032. Is y a multiple of 23?
True
Let g(x) = 4*x**2 - 7*x + 6. Let h(b) = b**2 + b + 1. Let v(u) = g(u) - 2*h(u). Let q be v(6). Suppose q*s = 24*s - 88. Is s a multiple of 22?
True
Let a = -309 - -404. Let d = a + 261. Does 57 divide d?
False
Suppose 4*f + 5385 = -5*v, 37*f = 4*v + 41*f + 4304. Let d = v + 2929. Is d a multiple of 33?
True
Suppose 23 = -4*b + 3*g, b = 2*g - 8 + 1. Let f = 11 + b. Is 8 a factor of 1326/42 - f/(-14)?
True
Does 162 divide (288/108)/(1/2430)?
True
Let h be ((-8)/(-5))/((-8)/380) - 1. Let i = 355 - h. Is 16 a factor of i?
True
Suppose -24*h + 23592 = 6888. Does 6 divide h?
True
Let w = 136 - 114. Let c be (w/(-8))/((-1)/76). Suppose -5*b = -c - 146. Does 17 divide b?
False
Suppose 5260 = 5*r - h - 2503, 4*r + h - 6214 = 0. Does 35 divide r?
False
Suppose -3*i - 3*c + 52014 = -4605, 2*i = 4*c + 37764. Is 11 a factor of i?
True
Suppose -166977 = 64*j - 1373057. Is 7 a factor of j?