0 = -2*q - 5*c + 29, 5*q + a*c + 5 = 6*c. Suppose q*l - 159 = -9. Is 14 a factor of l?
False
Suppose 0 = -197*s + 30*s + 841680. Does 8 divide s?
True
Let k = -44 - -43. Let v be (242 + k - -1)*(-2)/(-4). Suppose -3*d = -233 - v. Is 14 a factor of d?
False
Let j(c) = -2*c**3 - 15*c**2 - 8*c - 29. Let s be (5/15)/(4/(-120)). Is 18 a factor of j(s)?
False
Let b(r) = 4*r**3 - 2*r**2 + 2*r. Let d be 8/(-28) + 9/7. Let a be b(d). Suppose -5*y + 0*y - 20 = 0, 2*i + a*y - 82 = 0. Is 11 a factor of i?
False
Let m(h) = -h**3 + 15*h**2 + 21*h. Suppose -5*d - 21 = -3*x, -32*x = -30*x + 5*d - 14. Does 7 divide m(x)?
True
Suppose s = 960 + 495. Let z(q) = 3*q**2 + 25*q + 53. Let j be z(-5). Is 27 a factor of s/j*((-4)/5)/(-2)?
False
Let a(f) = -f**3 + 35*f**2 + 21*f - 110. Does 40 divide a(34)?
True
Let n = 120 + -93. Does 40 divide 15846/n - (-4)/36?
False
Let u be ((-3)/(-12))/(26/312). Is (-18)/(-4)*2*u*17 a multiple of 27?
True
Let n(l) = -l**3 + 15*l**2 - 21*l. Let h be n(14). Let t = h - -503. Is 15 a factor of t?
True
Let q = 115 + 65. Let h be 3/2*40/12. Suppose -l + h*l - 5*f = 694, l - q = -2*f. Is l a multiple of 38?
False
Let l(k) = 31*k - 9. Let p be (-1)/2*(0 - 3)*2. Does 10 divide l(p)?
False
Let k(m) = 20*m - 14. Let z be k(10). Suppose 0 = -3*r + 3*w + 726, -904 + z = -3*r + w. Does 20 divide r?
False
Let o = -6415 + 12119. Does 62 divide o?
True
Suppose -3*g - 15 = -4*j, -3*g + 0*g = 3*j - 6. Suppose -j*l = -0*v - 2*v - 174, -118 = -2*l + 2*v. Is l a multiple of 8?
True
Let b(s) = -3*s**3 + 3*s**2 + 4*s + 2. Let u be b(-1). Suppose -6*w = -u*n - 3*w + 1273, -w - 1594 = -5*n. Is n a multiple of 17?
False
Let b be (165/(-60))/((-1)/4). Let y(m) = -m**3 + 11*m**2 + 5*m + 29. Let q be y(b). Suppose -3*u - u + j + 168 = 0, -2*u - 5*j = -q. Does 11 divide u?
False
Let x(v) = v**2 + 2*v + 12. Let j(c) = c**3 - 13*c**2 - 16. Let u(n) = n**2 - 1. Let r(q) = j(q) - 5*u(q). Let l be r(18). Is x(l) a multiple of 38?
False
Let s(d) = -d**2 - d + 49. Suppose -3*y = m + 26, -13 = 3*y - m + 3. Let x be s(y). Is 32 a factor of ((7/3)/x)/((-3)/(-1278))?
False
Suppose 0 = u - 4*g + 10, -3*g = -4*u - g + 30. Suppose -4*r - 3*d + 60 = 0, 0 = -2*r + 6*d - u*d + 40. Does 5 divide 16/r*3/(-12)*-18?
False
Let h be (6*(-3)/(-27))/((-1)/(-9)). Let n(y) = y**2 - 7*y + 9. Let k be n(h). Suppose 3*l - 156 = 4*b, 3*l - 5*l = k*b - 121. Is 28 a factor of l?
True
Let g = -2 - -44. Suppose 3*h = 274*b - 275*b + 153, 0 = -3*b + 5*h + 529. Suppose g - b = -3*a. Is 23 a factor of a?
False
Let j(s) = 89*s**3 + s**2 - 2*s + 1. Let m = 42 + -41. Let v be j(m). Let a = -47 + v. Is 6 a factor of a?
True
Let x(i) = 20*i**2 + 9*i + 5. Suppose -3 = -8*s + 9*s - 4*n, 3 = -s - 4*n. Does 8 divide x(s)?
False
Let y = -601 - -733. Is y a multiple of 44?
True
Let f(y) = -7*y + 48. Let p be f(6). Suppose -7*k - 3*w = -p*k - 75, -w - 55 = -k. Is 15 a factor of k?
True
Let o be (-15)/(-4) + ((-8)/(-4))/8. Let y = 145 - o. Does 12 divide y?
False
Suppose 8*i - 21664 - 10808 = -3*i. Is i a multiple of 11?
False
Let u(v) = -6 + 1074*v**3 - 1037*v**3 + 2*v**2 + 2*v**2. Is u(2) a multiple of 34?
True
Suppose -4*t + 3 = 23, 0 = 3*a + t - 1. Is (a - (10 - 7))*9*-67 a multiple of 52?
False
Let a(f) be the second derivative of f**4/12 + 3*f**3/2 - 2*f**2 + 7*f. Let d(q) = -q**2 - 9*q + 3. Let o(p) = 5*a(p) + 6*d(p). Is 4 a factor of o(-8)?
False
Let k(w) = -3*w**2 - 1. Let p(l) = 14*l**2 - 13*l + 17. Let b(g) = -6*k(g) - p(g). Does 8 divide b(-5)?
True
Let j(o) = -o**3 - 8*o**2 - 5*o + 7. Let z be j(-7). Let w(a) = a**3 + 0*a**2 - 736*a + 7*a**2 + 0*a**3 + 731*a - 5. Is 9 a factor of w(z)?
False
Let b(k) = 120*k**2 + 379*k - 102. Does 340 divide b(-22)?
True
Suppose 4*r - 6064 = -68*h + 65*h, 5*r = 5*h - 10060. Does 18 divide h?
True
Suppose -5*w + 33 = -82. Let l = -22 - w. Is 45 a factor of l/2*(-4 - -2 - 4)?
True
Suppose -76*h + 1013220 = -92*h + 76*h. Is h a multiple of 8?
False
Let a be (-13224)/(-9) - 6/(-9). Suppose 6*c - 12*c = -a. Is c a multiple of 35?
True
Let a(h) = 300*h**2 - 2*h - 4. Let p be (-42)/12*(-12)/(-21). Is a(p) a multiple of 75?
True
Suppose -11*j + 23 = u - 15*j, 2*j = -5*u + 5. Suppose -4*s - 1758 = -2*l, u*l + 23*s = 19*s + 2687. Is 12 a factor of l?
False
Let s(x) = 1 - x + 0*x**2 + 5*x**2 - 4*x. Let w = -100 + 106. Is 16 a factor of s(w)?
False
Let i(g) = 1135*g - 1636. Is i(31) a multiple of 77?
False
Let n(w) = -253*w**2 - 2*w + 2. Let d be n(-1). Let c be d/(-9) - (-1)/9*3. Is 28 a factor of (-3)/(-1 - c/(-16)) + 284?
True
Let a(h) = -4*h + 5. Let y be a(2). Let o be (5 + -5)/y + 10718*-1. Does 11 divide (-6)/(-14) + o/(-161)?
False
Suppose -5*f = -5*d + 52 + 208, 0 = 3*d + 5*f - 164. Let a = d + -48. Suppose 3*n = -a*b - 9 + 73, -6 = -b - 4*n. Is 14 a factor of b?
True
Suppose 0 = 66*j - 77*j - 616. Is 4 a factor of (-84)/j*50/3 + 2?
False
Let u be (33/(-9) + 6)*3. Let t(k) = k**3 + k**2 - 4*k - 49. Is 11 a factor of t(u)?
False
Let y be (-2)/(-18)*-1 - 542/(-18). Does 7 divide (-1 - 122/(-10))/(y/75)?
True
Does 121 divide 8 - 12/(72/78) - 20688/(-4)?
False
Suppose 0*r + 525 = -5*r + 5*g, 5*g - 89 = r. Let h = r - -265. Does 9 divide h?
False
Let m(f) be the second derivative of f**4/12 - f**3/2 + 8*f**2 + 131*f + 1. Suppose 0*x + 9 = 3*x. Is m(x) a multiple of 5?
False
Suppose 43*c = 47*c - 88. Let d be c*-3*(58/(-6) + 0). Suppose 7*f - 1329 = d. Does 19 divide f?
False
Let s(y) = y**2 + 8*y + 22. Let l be s(-5). Let n = l - -4. Is 15 a factor of n + -13 + (74 + 2 - -1)?
True
Let a(o) = -o**2 - 14*o + 4. Let q be a(-14). Suppose -5*t + q + 1 = 0. Does 18 divide 0 + 2 - t/((-4)/152)?
False
Let i(f) = 10*f**2 + 100*f + 2242. Does 8 divide i(-61)?
True
Let i be (5 - (-114)/(-18))*2133/(-2). Suppose 3*l + i = 9*l. Let b = -141 + l. Is 15 a factor of b?
False
Let f be (411/15 - 3)/((-2)/(-5)). Suppose 2*p - f = 3. Let d = p - -69. Is 11 a factor of d?
False
Let z be (-5)/(15/(-6))*1 - 388. Let v = 339 - z. Suppose 3*s - 4*j - v = 0, 545 + 166 = 3*s + 3*j. Does 36 divide s?
False
Is 5 a factor of 24/(-1 - 3) + (-11295)/(-45)?
True
Suppose -m - 20 = -6*m. Does 6 divide ((-2)/m)/1 + (-976)/(-32)?
True
Let s be 84/35*(-20)/(-3). Suppose s = i - w, 3*i - 2*w = -i + 66. Suppose -2*f = -3*h - i, 4*f + 2*h = -h + 79. Is f a multiple of 12?
False
Let r = -1968 - -4077. Does 34 divide r?
False
Let j = 2216 + 184. Is j a multiple of 48?
True
Let s = -19800 - -37185. Is s a multiple of 285?
True
Let v = 45452 + -13268. Does 18 divide v?
True
Suppose -3*v - 17 - 5 = -5*p, 4*p - 2*v - 16 = 0. Suppose p*l - 4*q = 3*l - 170, -15 = 5*q. Does 13 divide l?
True
Does 57 divide 49*((-30)/50)/(1/(-60))?
False
Suppose 0 = p - 2*x - 1663, 110*p - 113*p + x + 4964 = 0. Does 57 divide p?
True
Let m(a) = -a**3 + 15*a**2 + 17*a - 14. Let q be m(16). Suppose 5*r - 4*d + 184 = 0, 3*r = -q*r - 5*d - 175. Is ((-5)/(70/r))/(15/350) a multiple of 10?
True
Let c be ((-3354)/4)/(6*1/8). Let z = c + 1611. Is z a multiple of 29?
True
Let n = 1222 - 300. Is n a multiple of 61?
False
Suppose -2*c = -4*b - 668, -718 = 5*c + b - 2421. Let l = c + -287. Is 3 a factor of l?
False
Suppose 0 = -c + 5*v - 26, 4*c + 4*v - 13 = 3. Let a(w) = -286*w**3 - 2*w**2 - 4*w - 3. Is 57 a factor of a(c)?
True
Suppose 0 = -3*i - 9 + 75. Let t = i + -19. Is 16 - (-2 - (t - 4)) a multiple of 3?
False
Suppose 16*r = -47*r + 16065. Does 15 divide r?
True
Suppose 3*x + 3*n - 3420 = 0, x + 8*n - 1160 = 3*n. Let v = x + -489. Is v a multiple of 17?
True
Suppose -2*c = c - 2*j + 84, -116 = 4*c - 4*j. Let s = c + 41. Suppose -s*x + 14*x + 116 = 0. Does 13 divide x?
False
Let y = -1768 + 1043. Let r = 100 - y. Is r a multiple of 33?
True
Suppose 5*o - 4*y = -2 + 6, -2*o - 3*y = 3. Suppose 3*c - c - 1057 = 5*p, o = -4*c - 2*p + 2054. Does 32 divide c?
False
Let s = -757 + 1101. Does 25 divide (126/56)/(3/s)?
False
Suppose z = k + 8, 21 = 3*z - 5*k - 13. Let m = z - -317. Is 11 a factor of m?
False
Let z be (7 + 1)/4*192. Suppose -3*i - i = -z. Is i a multiple of 24?
True
Let c = 18513 + -11996. Is c a multiple of 19?
True
Suppose -36 = 2*s - a + 38, -s + 3*a - 27 = 0. Is 2 - (5 + -9) - s a multiple of 9?
True
Suppose 605 = 5*r + 5*s, 4*r - 2*s - 3*s = 538. Is r even?
False
Suppose -1247 + 293 = 2*x. Let j = 841 + x. Does 19 divide j?
F