 j(c) = c**2 + 3*c + 32. Let b be j(-6). Let u = b + -64. Is ((-60)/u)/((-9)/(-126)) a multiple of 6?
True
Let v be -1 + (-4)/2 + -1 + 7. Suppose 18 = 7*b - v. Suppose 2*h - 264 = -c + b*c, -2*c = 2*h - 280. Does 17 divide h?
True
Let t = 11153 - 1235. Is t a multiple of 171?
True
Let v(w) = -w**3 - 6*w**2 + 25*w - 10. Suppose -21 = -2*i - 39. Let s be v(i). Suppose s*y - 13*y = -60. Is 2 a factor of y?
True
Let u(b) = 136*b**2 - 40. Let n be u(-10). Suppose 30*w + 5370 - n = 0. Does 25 divide w?
False
Suppose -2*k = 5*s + 22, 0 = -3*s - 3*k + 4*k - 11. Let r(q) = -10*q**3 + 3*q**2 + 10*q - 3. Does 59 divide r(s)?
False
Suppose 3*c = 2*l - c - 4, 3*c - 2 = -l. Suppose -4*i - 3*r + 2090 = 718, -l*i + 686 = 3*r. Suppose -2*p = 5*p - i. Does 11 divide p?
False
Let b = -62 + 640. Suppose -79*t = -84*t - 4*o + 959, -5*o + b = 3*t. Is 5 a factor of t?
False
Is 69 a factor of ((-2093)/182)/((-2)/3336)?
True
Suppose -4*h = 20, -3*d - 3*h = -4*d + 6658. Is 30 a factor of d?
False
Suppose -57*u + 58*u - 6595 = g, -2*u + g = -13184. Is u a multiple of 11?
True
Let k be (-2)/(-2) - (-12)/4. Suppose -4*j = -3*u + 27 + 205, 8 = k*j. Is 25 a factor of u?
False
Suppose -9*j = -5*j - b - 33132, -3*b - 12 = 0. Is j a multiple of 82?
True
Suppose 4*h - 216832 = -73*h. Is 4 a factor of h?
True
Let x = -596 - -587. Does 62 divide 15*(-3)/x + (-10 - -191)?
True
Suppose -13793 - 25587 = -44*p. Does 4 divide p?
False
Let q be (-41)/2*(3 + -1)/(-1). Is (q + -1)/(22/165) a multiple of 12?
True
Is 8/2 + -13 + (-804240)/(-30) a multiple of 106?
False
Suppose -5*x = -7*x + 4. Suppose -x*m - 5 = 3*g, -3*m - m = -4*g - 20. Suppose 17*s - m*s = 135. Does 6 divide s?
False
Is ((-20)/8 + (1701/(-18))/(-3))*661 a multiple of 117?
False
Let i = -89 + 170. Let w = i + -55. Does 4 divide w?
False
Let j(t) = -128*t**3 - 2*t**2 - 19*t - 37. Is j(-3) a multiple of 19?
True
Is 115 a factor of 11 + (-47957)/(-85) - 2/10?
True
Is (-34336)/(-34) - (-22 + (-7068)/(-323)) a multiple of 6?
False
Suppose 48 = 2*o - 22. Suppose -2*y + o = -y. Suppose -y + 101 = 3*c. Is c a multiple of 6?
False
Let k be 14/5 - 160/200. Suppose -5*r - 964 = -4*f, -2*f + r + 496 = k*r. Is f a multiple of 12?
False
Let y(x) = x**3 + 15*x**2 + 6*x + 9. Let m be y(-11). Suppose 2*t - 2*u = -t + 324, 4*t = u + m. Is 3 a factor of t?
False
Suppose 14*p = 1255 + 579. Let i = 5 + p. Is i a multiple of 11?
False
Let d(n) be the second derivative of -n**6/180 - n**5/120 - 13*n**4/12 - 11*n. Let t(y) be the third derivative of d(y). Is t(-10) a multiple of 13?
True
Let c(n) = 37065*n - 937. Does 18 divide c(2)?
False
Suppose -50928 = -24*j - 35*j + 50670. Does 42 divide j?
True
Let m(i) = -i**3 - 2*i**2 - 8*i - 10. Let o be m(5). Let s = -159 - o. Is 4 a factor of s?
False
Is -1*116/(-6)*7869/86 a multiple of 61?
True
Let u = -64 - -67. Suppose 0 = 4*t + 5*s - 456, s = t - u*t + 228. Is t a multiple of 7?
False
Suppose -u - 3*r + 6288 = 0, -4*r = -5*u + 11644 + 19853. Is 4 a factor of u?
False
Suppose 303 - 306 = 3*y, -17918 = -f + y. Is f a multiple of 41?
True
Let a(i) = 6*i**2 - 72*i - 30. Let p = 584 - 565. Does 24 divide a(p)?
True
Let l be 515*-6*7/70. Let q = 659 + l. Does 25 divide q?
True
Let s = 60 + -2. Suppose 2*f + 34 + s = 0. Let d = f + 64. Does 9 divide d?
True
Suppose -5*x + 14279 = -3*f - 0*f, 4*f + 5706 = 2*x. Does 13 divide x?
False
Let m = -732 + 1257. Is 2 a factor of m?
False
Let x = -1831 - -1803. Suppose -n = -0 - 2. Is 3 a factor of ((-3)/n + 1)*1*x?
False
Suppose -20149 = -7*t + 170384. Suppose -39897 = -47*h + t. Does 17 divide h?
True
Suppose -17*d + 7240 + 8944 = 0. Does 119 divide d?
True
Suppose 10*c - 4960 = -2*j + 6*c, 2*j - 2*c = 4966. Is j a multiple of 18?
False
Let q = 18782 + -3182. Does 130 divide q?
True
Suppose -l = -4*z + 8 - 6, -5*l + 3*z = -7. Suppose 2*d + i - 2765 = 0, -2*d - l*d + 5510 = -2*i. Does 12 divide d?
True
Is ((-805)/(-7))/(6 + -1*(-1705)/(-285)) a multiple of 6?
False
Suppose 0 = -264*y + 60*y + 5133864. Is y a multiple of 39?
False
Let l = 406 - 418. Let j(c) = -16*c - 10. Does 7 divide j(l)?
True
Let v(t) be the third derivative of t**6/120 + 11*t**5/30 - 7*t**4/12 - 29*t**3/6 + 27*t**2. Does 72 divide v(-21)?
False
Suppose 0 = -5*w - 3*s + 63378, -24001 = -2*w + 3*s + 1325. Does 12 divide w?
True
Let m = -524 - -526. Suppose 0 = 2*f - g - 1186, -f = -m*g - 238 - 358. Is f a multiple of 64?
False
Suppose -66*v = -81*v + 1470. Let r = 24 - 3. Let o = v - r. Does 14 divide o?
False
Let i(y) = -36*y**3 - 16*y**2 + 5*y - 4. Does 39 divide i(-5)?
False
Suppose -27*p = 10 + 17. Does 11 divide 68/(-85) + p/(5/(-1929))?
True
Let k = -75 + 78. Suppose -k*g = -51 - 180. Is g a multiple of 14?
False
Let y(v) = -v**3 - 3*v**2 - 7*v. Suppose -13*a + 9*a = 24. Is 12 a factor of y(a)?
False
Is (-5668764)/(-414) - 1/(-3) a multiple of 25?
False
Suppose -9*g - 24*g = -19*g - 199402. Is g a multiple of 21?
False
Let t(i) = 2*i**2 + i - 3. Let c be t(-2). Let o(m) = -3*m + 13. Let s be o(c). Suppose -h + 177 = -s*z + 584, -1 = -h. Is 13 a factor of z?
False
Let g(n) = -2*n - 12. Let k be g(-7). Let t(f) = -54 + 4*f**2 - k*f + 54. Is t(-3) a multiple of 29?
False
Suppose 4*u + 26668 = 4*w, 2*w - 4*u - 8988 = 4352. Is 56 a factor of w?
True
Suppose -1118 = -3*l + 2*r, -3*l - r - 420 = -1553. Let a = 586 - l. Is 14 a factor of a?
True
Suppose 804 = 4*w - k, -2*w + 2*k = -455 + 47. Suppose 3*n = n - w. Does 28 divide (2 - -1) + (3 - n)?
False
Let m be (-92)/(-8)*-1*152/2. Let v = 39 - m. Does 11 divide v?
True
Let i(y) be the first derivative of 7*y**2/2 - 38*y + 19. Let l be i(18). Is (-36)/8*l/(-3) a multiple of 11?
True
Let s(g) be the first derivative of -5*g**2 + 186*g + 296. Is 37 a factor of s(-48)?
True
Let d(g) = -3*g**2 - 12*g - 104. Let b be d(-7). Let s = 575 + b. Is s a multiple of 17?
True
Let b(x) = -2*x**2 - 10*x + 35. Let t be b(-8). Let p(w) = -15*w - 187. Does 7 divide p(t)?
False
Suppose 0 = 5*l + 2*n - 19208, 3848 = 394*l - 393*l + 2*n. Is 10 a factor of l?
True
Let z be (34580/(-78))/((-1)/3). Suppose 55*d - 74*d = -z. Is d a multiple of 12?
False
Let f = -2292 + 3206. Does 20 divide f?
False
Suppose 4*r + 12 - 52 = 0. Suppose 98 = r*a + 28. Suppose 178 = -a*d + 9*d. Is 21 a factor of d?
False
Suppose -g = -4, g = 4*u - 0*g - 8. Suppose 0 = 5*r + u*q - 653, -3*r = -8*q + 3*q - 419. Is 14 a factor of r?
False
Let w = 17873 - 16103. Is 15 a factor of w?
True
Suppose -2*s + 4*r = 3*s - 129, 4*r = -4. Suppose 24*t - s*t = -78. Is t a multiple of 13?
True
Suppose 106*k = 117*k - 8866. Does 3 divide k?
False
Suppose -25*b + 82799 = 80012 - 199738. Is b a multiple of 89?
False
Suppose -53*a - 33810 = -123*a. Is 7 a factor of a?
True
Let w(g) = -4*g + 28. Let d = 74 - 66. Suppose -47 + d = 3*y. Does 5 divide w(y)?
True
Let o(n) = n**3 + 11*n**2 + n - 16. Let r be o(-11). Let a be ((r/(-12))/3)/((-2)/(-1864)). Suppose -4*f = z - 0*z - a, 0 = -3*z - 3. Does 21 divide f?
False
Suppose -3*a + 6 = -6, 3*a - 18 = -2*m. Is (322/6 - m)*(-18)/(-12) a multiple of 12?
False
Let f be 2 + 2/(-4)*2. Let x(g) = 95*g**3 + g**2 + 2*g - 2. Let k be x(f). Is 11 a factor of 0 + 1 + k + 2?
True
Suppose 0 = -28*q + 24*q + 156. Let d be (-1 - q/(-21))/(6/(-42)). Is 15 a factor of (-1)/(d/(-4)) - (-9118)/141?
False
Suppose 39*l = 96*l - 1026. Let k(b) = b - 2. Let h be k(5). Does 20 divide -30*l/(h + -6)?
True
Is (191661/58)/(2 + 13/(-8)) a multiple of 107?
False
Let f = -1839 + 2950. Is f a multiple of 4?
False
Suppose -2*r = 4*a - r + 13, a - 11 = -5*r. Is 84 a factor of ((-8)/12)/(14/(-20265)) - a?
False
Suppose 733*t = 744*t - 84634. Is 55 a factor of t?
False
Suppose 3*y - x - 316 = 0, -y - 205 = -3*y - 5*x. Suppose 5*b + 325 = 5*i, 2*i - 4*i = 3*b - y. Is 12 a factor of i?
True
Suppose 54 = 7*f - 135. Let b = 11 + -13. Is 16 a factor of (-48)/f - b/(-9) - -37?
False
Suppose 2*n + 6 = 0, 3*n + 411 + 1732 = t. Does 22 divide t?
True
Let n be 15940/32 + ((-3)/1)/24. Suppose 0 = -7*x + 1903 + n. Is x a multiple of 8?
False
Suppose 0 = -2*c - x + 2732, -877*c + 3*x = -881*c + 5470. Is 47 a factor of c?
True
Suppose 58 = -h + 2*h + 2*w, -179 = -3*h - w. Suppose -g = -3*g + h. Suppose 4*i = -i + g. Does 2 divide i?
True
Let k(q) = 21*q**3 - 50*q**2 + 40*q + 49. Is 4 a factor of k(9)?
True
S