212. Suppose -2*j - 3*j + q = 4*c, 4*j + 4*c = 1724. Suppose -2*b + j = 97. Is 24 a factor of b?
True
Suppose 22*h - 18*h = -k + 7736, 0 = h + 3. Is k a multiple of 298?
True
Let y(s) = -3 + 4 - 4 - 15 + 3*s. Let r be y(7). Suppose f = -r*x + 6*x - 89, x + 3*f - 33 = 0. Is 10 a factor of x?
True
Suppose -822804 - 146808 = -679*c. Does 3 divide c?
True
Let p = -9 - -312. Let l = -171 + p. Is l a multiple of 28?
False
Let t be (-12)/54 + (-76)/(-18). Let j = 629 + -164. Is 22 a factor of t/(-8) - j/(-6)?
False
Let c be ((-175)/3 + 3)*(-21)/2. Let r = c + -350. Does 57 divide r?
False
Let m = 14593 + -10106. Is m a multiple of 7?
True
Suppose -5*b - 4*x = -1105 - 525, 4*x + 350 = b. Suppose 0 = 43*d - 49*d + b. Is d a multiple of 4?
False
Let j = -33154 - -39735. Does 33 divide j?
False
Let l(x) = -159*x - 374. Is 149 a factor of l(-9)?
False
Let z(v) be the first derivative of 14*v**3/3 + 25*v**2/2 - 5*v + 78. Does 14 divide z(-5)?
False
Let j = 191 + -191. Let r = -42 + 92. Let q = r - j. Is 10 a factor of q?
True
Let y(a) = -3*a**3 + 57*a - 30. Does 70 divide y(-8)?
True
Suppose y = -x - 488, 2*x + 4*y = -3*x - 2443. Let c = x - -764. Is c a multiple of 21?
True
Let c(f) = f**2 + 15*f - 3. Let d be c(-11). Let g = d - -19. Let l = g + 58. Is 10 a factor of l?
True
Let l(k) = -144*k**2 + 6*k + 7. Let g be l(-2). Does 12 divide (-7)/((-21)/(-12)) - g?
False
Suppose -207*l + 923290 = -548127 + 278062. Does 5 divide l?
True
Let i(t) = t**3 - 29*t**2 - 115*t + 82. Is 14 a factor of i(33)?
False
Let n = 303 + -274. Suppose 2*u + 11934 = n*u. Does 15 divide u?
False
Let s = -38 + 51. Suppose -18*j + s*j = 2235. Does 29 divide (2 - j/(-6))*(-9 - -7)?
True
Let o(a) = 101*a**2 + 18*a + 172. Does 24 divide o(-6)?
False
Suppose -7 = -2*z - 5*t + 4, -2 = -2*t. Suppose -z = -l - 0*l. Suppose 2*m = 51 - l. Is 6 a factor of m?
True
Let w = -242 + 228. Is 179 + 5 + w + 5 a multiple of 46?
False
Let p = 165 + -163. Suppose -4*z = 2*w - 112, 4*z - 152 = -3*w + p*z. Is 6 a factor of w?
True
Let u be 101 + (8 + -3)/(-1). Is (26/8)/(100/u + -1) a multiple of 67?
False
Suppose -19*p - 26*p + 158928 = 41*p. Is p a multiple of 44?
True
Let y = -60 - -57. Let z be (-28)/4 - y - (-2 + 2). Is 40 a factor of (254*2/z)/(-1)?
False
Let h(x) = x**2 + 32*x + 121. Let y be h(-29). Suppose -8976 = y*m - 42*m. Is m a multiple of 18?
False
Is 14/2 + (51186/(-285))/(6/(-345)) a multiple of 41?
False
Suppose 0 = -3*r + 88 - 85, 0 = -4*c + r + 40051. Does 17 divide c?
True
Let u be (-518)/(-3)*99/(-22). Let t = -387 - u. Suppose 3*d = 4*g + t, 4*g - g = 4*d - 527. Is d a multiple of 14?
False
Suppose -x - 2*i = -6*i + 3498, x = -3*i - 3533. Let f = -2242 - x. Is f a multiple of 44?
True
Suppose 29*w + 309549 = 2052304. Is (-4)/(-9) + w/765 a multiple of 29?
False
Let q = -369 - -755. Let r = -354 + q. Does 3 divide r?
False
Let q be (-26)/10 - ((-30)/25)/(-3). Let b be (q - -3)*(-4)/8. Suppose -5 = -k + 5*h, b*k + 20 = k - 2*h. Does 30 divide k?
True
Let y = 428 - 13. Let u = 523 - y. Is 8 a factor of u?
False
Suppose -2*c + 12 = -i, 2*c - i - 30 = -3*c. Suppose c*p + 1004 = 236. Let f = p + 347. Is f a multiple of 9?
False
Suppose -z - 5 = 3*i, -4*z = -2*i + i - 45. Suppose z = 3*w - k, -w - 6*k + k = -30. Suppose -4*h + 2*h = -w*s - 171, -4*h = 4*s - 384. Does 19 divide h?
False
Let f be (-51)/357 + 194/(-14). Let t(x) = -22 + x - 10*x + 8. Is t(f) a multiple of 14?
True
Let v be ((0 + -1)*1)/(1/(-33)). Let c = 48 - v. Suppose -f = -1, -4*q + 3*f + c = 6*f. Is 3 a factor of q?
True
Let c(j) = 7775*j**2 + 6*j + 7. Does 9 divide c(-1)?
True
Suppose 4*o - h = 3063, 5*o - 14*h = -11*h + 3834. Suppose 3*q + 0*j - 455 = j, -3*j - o = -5*q. Is q a multiple of 15?
True
Let c(t) = t**3 + 19*t**2 - 73*t + 68. Suppose -11*i - 279 = -37. Is 37 a factor of c(i)?
True
Suppose -4*s + 350820 = -4*h, 2659*s - 2*h = 2662*s - 263100. Does 21 divide s?
False
Suppose 5*c = 2*c + 4*n - 121, 3*n = 2*c + 82. Is 10/35 + -2 + (-4400)/c a multiple of 10?
False
Let u = 63 - 45. Let b(a) = -60*a + 954. Let m be b(16). Is 5 a factor of (-2)/(-3) + (m - (-852)/u)?
False
Let w(b) = b. Let p(f) be the second derivative of -f**4/12 + 29*f**3/6 + 2*f**2 + 3*f. Let n(j) = p(j) - 5*w(j). Is n(19) a multiple of 18?
False
Let b(o) = 17*o - 8. Let a be b(-3). Let u = a - -61. Is u*1/(-4)*(-100)/2 a multiple of 9?
False
Let m = 20823 + -17504. Does 73 divide m?
False
Suppose -10208 = -5*s + 3*i - 0*i, -5*i = -2*s + 4068. Suppose 0 = 27*c + c - s. Is 3 a factor of c?
False
Suppose 795440 = -167*s + 207*s. Does 65 divide s?
False
Is (-2)/(-3*6/90) - -1768 a multiple of 2?
True
Let x(u) = -u**3 + 39*u**2 - 43*u + 116. Let j be (16/(-24))/((-672)/333 - -2). Is x(j) a multiple of 60?
False
Let c be (-2)/((-30)/(-9) - 4) - 243. Let q = c + 391. Does 14 divide q?
False
Suppose -13*c = -9*c. Suppose 0 = 4*i - w - 17, c*w = 2*i - 2*w - 16. Is -8*(2 + -5)/i a multiple of 3?
False
Let a(b) = -18*b - 341. Is 4 a factor of a(-26)?
False
Suppose -b + 8*c - 3*c = -13035, 5*c = -3*b + 39105. Does 79 divide b?
True
Let q(p) = 84*p - 12. Let s be q(1). Suppose -s*a + 75*a - 1989 = 0. Is a a multiple of 17?
True
Suppose 5*v = 5*s + 35, -7*v - 4*s = -2*v - 8. Suppose 2*z - 3489 - 95 = -v*n, 2*n - 5*z - 1792 = 0. Is 28 a factor of n?
True
Let a = 39126 - 28434. Is 27 a factor of a?
True
Does 46 divide (3/1)/(534/2984882)?
False
Let t(w) = -179*w - 1479. Is 145 a factor of t(-25)?
False
Is 46 a factor of (-1132833)/(-62)*(-18)/(-27)?
False
Is (8378/(-3))/((-30)/5*10/90) a multiple of 31?
False
Let g = 147513 + -100269. Is 124 a factor of g?
True
Let c be (0 - (2 + -4)) + 2. Suppose 0 = 3*n + c*a + 1, 11 = 3*n - a + 2*a. Suppose 8*k - n*s - 210 = 3*k, -2*k = -s - 83. Does 14 divide k?
False
Does 7 divide ((-602)/3)/((-72)/1188)?
True
Let z be (-10 - (-448)/49)/(2/602). Let m = -150 - z. Is m even?
True
Let x(k) = -27 - 12 - 2*k + 13. Let s be x(-13). Suppose s = 2*g + g - 84. Is 7 a factor of g?
True
Let d be (-3)/(9/(-6))*(-892)/(-8). Let h = 34 + d. Is 23 a factor of h?
False
Let q(z) = z**2 + 4*z - 8. Let n be q(-6). Suppose 1184 = -27*v + 43*v. Is v + n*(5 - 6) a multiple of 14?
True
Let u be (38/10 + (-1)/(-5))*-1. Let q(g) = -20*g**2 - 2*g - 15. Let b be q(u). Let f = -119 - b. Is f a multiple of 26?
True
Suppose 0 = 3*r - 4*w + 22, -2*w = 5*r - r. Is (-39)/r*126/27 a multiple of 13?
True
Suppose 5*k = 4*w - 7604, -2*k + 6082 = -6*k + 2*w. Let i be 144/20*k/(-6). Suppose -9*s + 48 = -i. Does 18 divide s?
False
Suppose 734*j - 1010*j = -17124144. Is j a multiple of 211?
False
Suppose -31*u = -35*u + 6500. Suppose -u = -0*w - 25*w. Is 14 a factor of w?
False
Let o = -87 - -67. Let g(l) = -l**2 - 23*l + 10. Let v be g(o). Suppose 3*s = -2*s + v. Does 11 divide s?
False
Suppose -6*s + 873 = -189. Suppose -3*z + s = 3*j - 0*z, 3*j + z - 171 = 0. Let a = j - 45. Is a even?
False
Let h(b) = -b**2 - 7*b + 6. Let r be h(-7). Suppose 142 = y - 2*k, k = -3*y + r*k + 428. Suppose -5*c - y = -926. Is c a multiple of 36?
False
Suppose 12 = 16*z - 20. Suppose -657 = -z*s - 91. Is 22 a factor of s?
False
Let b(g) = 7*g + 3. Let a be b(1). Does 50 divide (-5)/(a/16) + 58?
True
Does 82 divide 2/(-9) + (-321079)/(-99)?
False
Let t(k) = 6*k**3 - 2*k**2 - 3*k - 3. Let v be t(-2). Let f = 56 + v. Suppose -3*a - 2*j + 343 = 0, -4*j - 424 = -7*a + f*a. Is 37 a factor of a?
True
Let f = 76 - 74. Is -4 - f - (-14 - 2) a multiple of 2?
True
Let q(z) = 40*z**3 - 2*z**2 + z + 1. Suppose 0 = -7*v + 2*v + 3*y - 212, 2*y - 8 = 0. Let a be ((v/(-70))/((-4)/(-14)))/2. Is q(a) a multiple of 10?
True
Suppose -4*m + 2 = -6. Suppose 5*s + 9 = m*u, -4*s - 15 = -s. Is 2/u + (-444)/(-48) a multiple of 9?
True
Let h(f) = f**3 - 4*f**2 + 8*f. Let j = 103 + -56. Suppose 0 = 16*s - j - 49. Is 12 a factor of h(s)?
True
Let x = -10 + 12. Suppose -3*b = -4*p - 338, p + 220 = x*b - 3*p. Suppose k = 3*o + 74, k = -k - 4*o + b. Is k a multiple of 13?
True
Let n(a) = 5*a**3 + 25*a**2 - 96*a + 92. Is 9 a factor of n(13)?
False
Suppose 0 = -60*g - 3*g - 172500 + 1206204. Is g a multiple of 14?
True
Suppose -5*g - 10 = 0, -2*i + 11*g = 15*g - 7866. Does 8 divide i?
False
Suppose 0 = 4*s - 21 - 1587. Suppose 7*f = 3*r + 2*f - 1239, 0 = -r - 2*f + s. Is 17 a factor of r?
True
Let z(l) = 5