t a(k) = 39*k**2 + 6*k - 17 + 3*k + 0 - 14*k**2 - 24*k**2. Let s be ((-16)/10)/(4/(-10)). Is 9 a factor of a(s)?
False
Let g(z) = -49*z - 1422. Is 14 a factor of g(-31)?
False
Suppose 39*g - 71874 - 746580 = 0. Is g a multiple of 15?
False
Suppose 4*p = -4*y + 272, 5*p = y - 4*y + 334. Suppose 7*f = 2*f + 295. Let z = p - f. Does 6 divide z?
True
Suppose 3*b + p - 2463 = 0, -5*b + 2*p + 0*p = -4105. Does 5 divide b?
False
Let w = -424 + 159. Let f = w - -541. Is f a multiple of 12?
True
Suppose -4*a = 4*y - 4528, -4*a + 2260 = 762*y - 760*y. Does 9 divide y?
True
Is 13 a factor of (-8)/10 + (-816634)/(-455)?
True
Let b(w) = w**3 + w**2 + 13*w + 3. Let h be b(-5). Let z = 268 + h. Is z a multiple of 38?
False
Let m(h) = -220*h + 212. Is 13 a factor of m(-10)?
False
Suppose 18*x = 3*u + 14*x - 6790, -2*u = 2*x - 4522. Does 13 divide u?
True
Let q(i) = 5*i**2 + 18*i + 16. Let r be q(-2). Suppose -26*j + 16*j + 1540 = r. Is j a multiple of 11?
True
Let p(t) = -3*t**3 - 15*t**2 + 15*t + 157. Does 5 divide p(-10)?
False
Suppose -5*q - 3*g - 554 = 0, g + 420 = -3*q + 86. Let v = 139 + q. Suppose -28*z + 4 = -v*z. Is z even?
True
Suppose 3*y - 63 = -4*d, -3*y + 4*d = -38 - 1. Suppose 2 = 5*w + 3*x + y, -5*x = -2*w + 25. Suppose 12*m - 10*m - 32 = w. Is 8 a factor of m?
True
Let q = 18 - -12. Let d be (q/3)/(4 + -2). Suppose 5*c + d*o = 2*o + 297, -3*o = -12. Is 19 a factor of c?
True
Is 39 a factor of 3*((-12)/(-20) - 68980/(-75))?
False
Let d be 2*2/(-1) + (-4938)/(-6). Suppose -875 = -5*a + 3*p, 4*a + 3*p - d = -92. Is 13 a factor of a?
False
Suppose -1502*w = -1519*w + 72624. Does 48 divide w?
True
Let c(i) = -2*i**2 - 4*i + 14. Let s(q) = 8*q**2 + 17*q - 57. Let f(p) = -9*c(p) - 2*s(p). Let b be f(-12). Suppose -7*z - b = -9*z. Is z a multiple of 27?
False
Suppose -2*y - g + 2939 = 0, 2320 + 623 = 2*y - 3*g. Is 15 a factor of y?
True
Let v(g) = 15 + g**3 + g**2 - 9*g**3 + 9*g**3 + 2*g. Let h be 4/(-14) + (-26)/(-91). Is v(h) a multiple of 10?
False
Is (2660/(-114))/(1/(-69)) a multiple of 14?
True
Suppose 3*f = -2*s + 20, -3*s - 4 = 2*f - 6*f. Suppose -3*x - f*q + 7*q + 726 = 0, 0 = x - 2*q - 238. Is 82 a factor of x?
True
Let j = 532 + -530. Suppose -5*k = j*l - 6343, 5*k + 18*l - 6346 = 19*l. Is 27 a factor of k?
True
Let g(d) = -d**3 + 68*d**2 - 98*d + 271. Is g(62) a multiple of 10?
False
Suppose 0 = -4*c + 64 + 44. Let u = -15 + c. Suppose 0*v = 2*m + v - 15, 0 = -4*v + u. Is m a multiple of 5?
False
Let h(t) = 305*t - 1817. Does 12 divide h(16)?
False
Let a be ((-84)/10)/(-2 + (-17)/(-10)). Suppose -11*f + 1287 = a*f. Does 11 divide f?
True
Let v(t) = 2*t**3 + 20*t**2 - 25*t - 23. Let x be v(-10). Suppose 2*m = -4*q + 846, -5*m - x = 3*q - 844. Is 6 a factor of q?
False
Suppose -3*k = -4*k + 5, -7594 = -t - 2*k. Is t a multiple of 79?
True
Let k(x) = 15*x - 9. Let f(r) = -18*r - 5. Suppose 3*l + 13 = 2*c, 3*c + c - 21 = 5*l. Let b be f(c). Does 31 divide k(b)?
True
Let t = -17509 + 19337. Does 2 divide t?
True
Suppose 0 = 3*j - 2*j - 3*q + 4, 5*j - q = -6. Let u be (-1 + 0)*1 + (-1317)/j. Suppose -196 + u = 16*w. Is w a multiple of 10?
True
Let v(x) = 93*x + 95. Let j be v(-1). Let q = -36 + 58. Suppose 2*g = j*p + 40, 2*p + q = -3*g + 4*g. Is g a multiple of 6?
True
Does 32 divide (-11 - -14)*(2 - 7 - 18992/(-12))?
False
Suppose 132*t - 145*t = -51597. Is t a multiple of 66?
False
Suppose 3*k + 15 = q, -2*k + 5 = -5*q - 7*k. Suppose 393 = q*h + 2*j, 0 = -h + 7*j - 2*j + 131. Does 20 divide h?
False
Let j = -3305 + 3624. Is 5 a factor of j?
False
Let p be -1 + (-12 + -1)*-1. Let o(a) = -20*a - 29*a**2 - 7*a + 8*a + p*a**2 - a**3. Is 24 a factor of o(-16)?
True
Is 38 a factor of 1 - -701 - (-6)/24*-28?
False
Let m(u) = 4*u**3 - 13*u**2 - 4*u - 9. Let v be 3*-2*1*(3 - 4). Is 11 a factor of m(v)?
True
Suppose -3*k + 4*k - 3*z + 6 = 0, -2 = k - 2*z. Suppose -k*i = -4*i. Suppose -2*q - 3*u + 223 = -i*q, -2*q - 5*u + 233 = 0. Is q a multiple of 15?
False
Let n be 1186/12 - (17/6 + -3). Suppose y = -2*y + n. Is 5 - ((5 - y) + -2) a multiple of 3?
False
Suppose -2*o + t + 1 = 0, -19*t + 18*t = 4*o - 11. Suppose -b - 27 = o*z - 3*z, 0 = -3*z - b + 101. Is z a multiple of 14?
False
Is 23205/221 + (0 - -15) a multiple of 30?
True
Suppose 72657 = 5*j - 2*z - 58229, -4*z = 4*j - 104748. Is j a multiple of 17?
True
Let g(i) = -93*i - 1918. Does 12 divide g(-33)?
False
Does 109 divide 40223 - (-40)/(22 - 27)?
False
Let k(z) = 7*z**3 - z**2 + 1. Let j be k(1). Let b(p) = -144*p - 2962. Let g be b(-21). Suppose j*r - 258 = -g. Does 7 divide r?
True
Let x be (-326)/(-6) - (-7)/(-21). Let a(u) = -u**3 - u**2 + 4*u - 1. Let o be a(-3). Suppose x = o*n - 11. Does 9 divide n?
False
Suppose 131*q - 147064 = -96*q + 111262. Is q a multiple of 103?
False
Does 46 divide (114/(-45)*6)/(2/(-230))?
True
Let t(l) = -6*l + 77. Let n be t(10). Let v(x) = 28*x - 92. Does 16 divide v(n)?
True
Let d(o) = 13*o - 159. Let c(r) = r**2 - 5*r + 25. Let g be c(5). Does 20 divide d(g)?
False
Let z(d) = -d**2 + 4*d + 2. Suppose 10*n - 6*n - 16 = 0. Let m be z(n). Is (-166)/(-2)*(4 - (m - -1)) a multiple of 12?
False
Let t be (1653/9 - -4)/(5/(-15)). Let a = -355 - t. Is a a multiple of 15?
False
Let o(q) = 51*q**3 + 2*q**2 - 2*q + 1. Let x be o(1). Suppose x + 91 = 11*f. Suppose 17*n - 28 = f*n. Is 7 a factor of n?
True
Let z(i) = -295*i**3 - 14*i**2 - 41*i + 4. Does 16 divide z(-3)?
False
Let o = 69 - 67. Suppose -498 = -5*a + 4*j, -o*a = -0*a - 5*j - 206. Is 0 + a - (2 + 0) a multiple of 6?
True
Let n be (4/4)/((-12)/(-36)). Suppose -n*v = x - 119, 4*x - 325 - 100 = 5*v. Is x a multiple of 4?
False
Is (-387088)/(-72) - (-8)/(-36) a multiple of 21?
True
Let x = 271 - 265. Is 2/(-2) - (-90)/x even?
True
Let p = 125 + -69. Suppose 0 = 2*z - z - p. Suppose 2*a - 92 = -4*l, 0*a + z = a - 3*l. Is a a multiple of 10?
True
Let v(q) = 4793*q - 132. Is 141 a factor of v(9)?
True
Suppose -5*h - 1078 - 912 = -5*p, -2*p = -6*h - 788. Is 16 a factor of p?
True
Let d = -2179 - -4938. Is d a multiple of 89?
True
Suppose 133399 - 94664 = -33*c + 499019. Does 26 divide c?
False
Let m(i) = 6*i + 21. Let z(q) = -q**3 + 3*q**2 + 8*q + 2. Let f be z(5). Let u = -1 - f. Is 29 a factor of m(u)?
False
Suppose -4*k - 24 = -8*k + 3*c, -5*c = -4*k + 24. Suppose k*a + 70 - 592 = 0. Let n = 203 - a. Is n a multiple of 29?
True
Is 11 a factor of 335/134*22*8?
True
Let h(w) = -8*w**2 - 16*w - 10. Let z be h(-6). Let n = z - -210. Does 7 divide n?
False
Suppose 4*y = 4, -12176 = -5*u + 70*y - 71*y. Is 23 a factor of u?
False
Suppose -5*r = -3*n - 0*n + 43, -n + 4*r + 12 = 0. Suppose 21*l = n*l + 995. Is l a multiple of 9?
False
Let u be (-38104)/(-48) + 8 + (-1)/(-6). Let z = u + -698. Does 2 divide z?
True
Suppose 62*h = 69227 - 8653. Is 9 a factor of h?
False
Let b = -579 - -584. Suppose 2*u - 7682 = -4*f, -f + 0*u - b*u + 1934 = 0. Is 101 a factor of f?
True
Suppose -138896 + 30686 = -3*j - 7*j. Is 99 a factor of j?
False
Let h(k) = -74*k**2 - 3*k + 1. Let s(d) = 3*d - 17. Let i be s(6). Let a be h(i). Is 3 a factor of (-2)/(8/a)*-1*-1?
False
Let s = 856 - 566. Does 17 divide s?
False
Let a be (-56)/(-6) - 3 - 4/(-6). Suppose -5*f - 3*p + 4008 = 0, a*p = -4*f + 3*p + 3200. Is 11 a factor of f?
False
Suppose 31*o - 27*o = 4. Let g(d) = 4 + o - 7 + 70*d. Is 46 a factor of g(2)?
True
Does 46 divide 11 - (-2521)/(1 - 208/221)?
False
Let b = -168 - -172. Suppose -3*r = b*i - 951, -r - 4*i + 92 = -225. Is 11 a factor of r?
False
Suppose s = 53 - 63. Let n be (-32)/s + 12/(-60) + 99. Let f = 156 - n. Is f a multiple of 18?
True
Suppose -f - 5898 = -x + 381, 5*x - 4*f - 31395 = 0. Does 13 divide x?
True
Does 8 divide (-3)/(15/(-80))*(1324 - 79)?
True
Does 159 divide (-25)/150 + (-527569)/(-42)?
True
Let c = -328 + 49. Let o = c - -319. Is o a multiple of 2?
True
Let h(x) = 2*x + 44. Let k be h(9). Suppose -14*t - k + 230 = 0. Is t a multiple of 4?
True
Suppose -12*u + 3*n = -9*u - 55467, -13*u + 240434 = -2*n. Does 8 divide u?
True
Does 45 divide (132/330 - (34/10)/1) + 2478?
True
Suppose -4*v - 5*q = -97, q + 26 = 4*v - 89. Suppose -231 - 301 = -v*m. Is 2 a factor of m?
False
Suppose 5*x = -5*z + 2735, 2*z - 6*x - 1059 = -x. Is 36 a factor of z/2 - (-5 + 2)?
False
Let m(q) = -1250*q**3 + 2*q**2 + 27*q + 35. Is 13