74. Is 13 a factor of g(107)?
True
Let t(b) = b**3 + 3*b + 4. Let g be t(-1). Suppose g = 6*y - y - 215. Is 13 a factor of y?
False
Let a be (-20)/6*(-4428)/(-90). Is (-12833)/a + (-2)/8 a multiple of 18?
False
Let w(l) = l**3 + 13*l**2 - 9*l - 8. Let a be w(-8). Suppose -3*f + a = -3*g, -f - 4*g = 2*f - 398. Suppose 0 = 3*k - f - 35. Is 11 a factor of k?
True
Suppose 10083 = 3*a + 2*s, 4*s - 12147 = -4*a + 1305. Is a a multiple of 10?
False
Let i(l) be the third derivative of -7*l**6/10 - l**5/20 + 41*l**2 + l. Is i(-2) a multiple of 25?
False
Suppose 123*k - 4225542 = -0*k. Is 178 a factor of k?
True
Let b(y) = -2*y + 12. Let p(a) = -23*a - 12. Let f(j) = 2*b(j) + p(j). Suppose 13 = -3*d - 2. Does 21 divide f(d)?
True
Let l = -73 + 67. Let j(z) = -4*z**3 + 6*z**2 - 3*z + 22. Is 12 a factor of j(l)?
False
Let s(k) = 5241*k + 11929. Does 42 divide s(8)?
False
Let x be 7704/288 - 1*6/8. Let z(n) = n**3 - 22*n**2 - 88*n + 58. Does 7 divide z(x)?
False
Suppose 41*d - 3007 - 13188 = 0. Does 19 divide d?
False
Suppose -34*w - 32*w = 11*w - 488334. Is 14 a factor of w?
True
Let o = 3416 + -578. Does 43 divide o?
True
Suppose -3*z + 386 = 65. Suppose 13 = t - z. Let p = 214 - t. Does 13 divide p?
False
Let o(m) = -10*m**2 + 5 + 9*m**2 - 18 + 9*m. Let j be o(6). Let k(a) = 6*a - 16. Is k(j) a multiple of 7?
True
Suppose -y + 2*y = -2*a + 107, 4*a + y - 211 = 0. Suppose -7*o = -a - 18. Is 10 a factor of o?
True
Let r(w) = 10*w**2 - 4*w + 10. Let i be r(2). Suppose -52*k + 9460 = -i*k. Does 86 divide k?
True
Let c(x) be the third derivative of -x**6/60 - 3*x**5/10 - x**4/12 + 3*x**3 + x**2. Suppose -320 = -5*k - 365. Is c(k) a multiple of 9?
True
Let n(g) = 252*g + 78. Let r be n(7). Let q = r + -834. Does 72 divide q?
True
Let m(k) = -k**3 + 2. Let b be ((-6)/(-4))/(24/128). Suppose 0 = b*g - 5*g. Is m(g) a multiple of 2?
True
Let s = 99 + -158. Let o = s - -62. Let i(k) = 2*k**3 - 3*k**2 + 8*k + 1. Is i(o) a multiple of 7?
False
Let n = 2003 + -137. Let l = n + -658. Is l a multiple of 20?
False
Let a = 62 + -61. Is 20 a factor of a/(-4 + (-1898)/(-474))?
False
Suppose -3*s + 2417 = -5*m, -s + 789 = -0*s - 5*m. Suppose -3*c + 573 = u, -3*c + s - 253 = 5*u. Is c a multiple of 8?
True
Let s = -411 - -384. Does 42 divide -4 - 2373/s - 1/(-9)?
True
Let v = 5806 + -4794. Is 23 a factor of v?
True
Suppose -2*q - 3*h = -29814, -6*h + 10*h + 29786 = 2*q. Is 41 a factor of q?
False
Suppose -3*h + 23935 = -4*v, 8*h = 4*v + 3*h + 23945. Is 8 a factor of (12/10)/((-39)/v)?
True
Is ((-21549)/(-440)*-8)/((-2)/180) a multiple of 27?
True
Suppose -5 = 5*x, 9115 = -431*p + 435*p - 7*x. Is p a multiple of 9?
True
Let s(f) = 3*f**3 - 67*f**2 - 25*f - 345. Does 45 divide s(31)?
False
Let y = 69086 + -40638. Does 127 divide y?
True
Let d(a) = a**3 - 8*a**2 - 7*a - 15. Let h be d(9). Let f be h/(-6)*6 - -11. Is 12 a factor of f/(-3)*(-90)/4?
True
Let i(n) = n**3 + 55*n**2 + 44*n + 128. Let k be i(-54). Let r = 218 + k. Is r a multiple of 70?
False
Let y = -518 + 515. Is 16 a factor of (-2590)/(-20) + y + 3/2?
True
Let k be (-4)/14 - ((-4966)/(-14) - -1). Suppose h = -5*n - 0*h - 2, -h - 2 = n. Is ((-4)/(-8))/(n + (-2)/k) a multiple of 21?
False
Let a = 3640 + -2056. Is 34 a factor of a?
False
Suppose 2*y - 9 = z, 2*y + 4 = -3*z - 7. Suppose 2*i + 16 = -4*f, 2*f = 4*i + 4*f + 14. Does 4 divide (i - -9)*(-20)/z?
True
Let q(i) = -i**2 - 207*i + 50. Is 19 a factor of q(-56)?
False
Let h(w) = w**3 + 2*w**2 + 5*w - 11. Suppose 0 = -3*r - 17*r + 140. Is 15 a factor of h(r)?
True
Suppose 0 = -3*n + 4*n, 3*x - 4*n - 84 = 0. Is 10 a factor of (-2901)/(-9) + -4 + x/6?
False
Suppose 0 = 5*w + 13*w - 4986. Suppose 540 = g - w. Is 19 a factor of g?
True
Suppose -y - z - 3 = 0, -10*y = -12*y - 4*z - 14. Let g = 66 - y. Is g a multiple of 5?
True
Let y = 2226 - -21717. Is y a multiple of 69?
True
Suppose 2*c + 23*f + 560 = 20*f, 0 = -4*f - 8. Let p = c + 654. Is p a multiple of 5?
False
Let z(t) = 5*t**3 - 2*t**3 + 2*t + 9 + 2*t**3 - t**3 - 8*t**2. Let j = 1259 + -1254. Does 44 divide z(j)?
False
Let x(j) = -47*j + 954. Is x(-64) a multiple of 7?
True
Let q be (-150)/9*(-30)/20. Let j = 41 - q. Suppose b + j = 2*b. Is b a multiple of 8?
True
Let k(u) = 3*u**3 + 12*u**2 + 9*u - 129. Is 125 a factor of k(16)?
True
Suppose -21*o = -30*o + 738. Suppose 76*g - o*g = -4176. Is g a multiple of 45?
False
Is 140 a factor of (-1 - -7) + -17 + 6340?
False
Suppose 2 = -3*o + 8. Suppose z - 2 = -i + 2, -o*i + 3*z - 2 = 0. Suppose 3*j = -i*j + 500. Is j a multiple of 25?
True
Suppose 5*p = 6*l - 2*l - 12, -4*l = -2*p. Is (-288)/(l + 1)*222/296 a multiple of 8?
True
Suppose -v = 4*r - 29023, 5*v = -34*r + 39*r - 36235. Is 39 a factor of r?
True
Let b(y) = 2*y**2 - 30*y. Let j be b(15). Is 35/1*(1 - j) a multiple of 5?
True
Suppose y - 2776 = -3*i - 635, 8*y - 17078 = i. Does 51 divide y?
False
Let f(g) = -5*g**2 + 46*g - 20. Let u be f(16). Let h = 967 + u. Does 4 divide h?
False
Suppose 159 = -6*v + 7*v. Let t = 56 - v. Let p = 146 + t. Is 16 a factor of p?
False
Let g = -209 - -363. Let s = g + 13. Does 5 divide s?
False
Does 11 divide -1*191001/(-51) + (-716)/6086?
False
Let s(t) be the second derivative of -11*t**6/360 + t**5/6 + 4*t**4/3 + 18*t. Let p(f) be the third derivative of s(f). Is p(-6) a multiple of 8?
True
Suppose -20 = -4*z, 24*f + 4*z = 25*f + 32. Let k = f - -54. Is k a multiple of 6?
True
Let s be 2 - (-1 - 8) - 7. Suppose s*x = -2*p + 778, 4*p + 3*x = -740 + 2321. Does 7 divide p?
True
Suppose 423 = -2*f + 447. Does 48 divide (-7)/28*f + 1*896?
False
Let i be 11/(-11)*(-1 - -1)*-1. Let z(c) = i*c - 2 - c + 5*c + 7*c. Is z(4) a multiple of 6?
True
Suppose 427*y - 422*y - 77600 = 0. Does 16 divide y?
True
Suppose 0*b + 5*z + 13137 = 3*b, -5*z - 26274 = -6*b. Is b a multiple of 29?
True
Suppose -14*t = -9*t - 10. Let c be 10 - (6 - 0 - t). Suppose c*r = 5*r + 11. Does 2 divide r?
False
Let r(m) = 753*m**2 + 2*m + 2. Let n be r(-1). Suppose 0 = -5*h + 2*t + 2*t + n, -h + t = -151. Does 17 divide h?
False
Suppose -40*g = -32*g + 4816. Let x = g - -818. Is 72 a factor of x?
True
Is (1 - 4)*2*(-2258781)/261 a multiple of 15?
False
Let z be ((-14)/(-3 - -2))/((-68)/170). Let b = z - 11. Let d = b - -136. Is 18 a factor of d?
True
Let h = 6591 + -6183. Does 24 divide h?
True
Let z be 6 + (-170)/25 - 8/(-10). Suppose 3*j + 4*m + 11 = z, 40 = -4*j + 2*m - m. Does 11 divide ((-264)/j)/(2/9)?
True
Suppose -20 = -18*m + 16. Suppose -5*x = -m*x - 2*c - 1155, -3*x + 1155 = 4*c. Does 35 divide x?
True
Let o(v) = -v**2 + 17*v - 44. Let h be o(14). Does 31 divide 24574/99 + h/9?
True
Suppose -198*c + 1701387 = 1303221 - 1987338. Does 11 divide c?
False
Suppose 63*h - 415881 = 2032299. Does 67 divide h?
True
Is 82 a factor of 505*(3472/70)/8?
False
Let k = 2403 - -4666. Does 31 divide k*(-3)/(-12) - (-11)/(-44)?
True
Suppose 182139 + 669501 = 40*g. Does 25 divide g?
False
Suppose -4*x + 7*x - 28 = b, 4*b - 41 = -5*x. Let z = 98 + -52. Suppose x - z = -l. Is 6 a factor of l?
False
Let q(t) = 2*t + 14. Let i be q(-7). Suppose i = -14*p + 3*p - 4*p. Suppose o + b - 259 = -p*o, -3*b - 279 = -o. Does 24 divide o?
True
Let y(l) = -240*l - 240. Is 160 a factor of y(-13)?
True
Suppose 3*f = -b + 1499 + 5821, 0 = -4*f - 4*b + 9744. Does 88 divide f?
False
Let r(n) = 72*n - 2. Let i be r(1). Let q = i - 66. Suppose -4*h + 1848 = q*h. Is 21 a factor of h?
True
Let v = 7 + 37. Suppose -31340 = -v*i + 1264. Does 13 divide i?
True
Let f(t) = 9*t + 96. Let u be f(10). Suppose 1678 - u = 4*z. Is 34 a factor of z?
False
Suppose 13*v - 29487 - 18613 = 0. Does 10 divide v?
True
Let c(w) = -w**3 + 59*w**2 - 7*w + 1663. Is c(59) a multiple of 50?
True
Does 6 divide (-56*(-3393)/(-195))/(1/((-20)/6))?
False
Let z(r) be the first derivative of r**4/4 - 10*r**3 - 23*r**2/2 - 6*r + 69. Does 22 divide z(31)?
True
Let s(w) = 2*w**2 - 237*w + 676. Is s(127) a multiple of 76?
False
Suppose -42*p = -51*p + 24516. Is 11 a factor of p*(-5 - (-16)/3) - 6?
True
Suppose 4*x + 8*b - 49490 = 13*b, 3*x + 2*b = 37106. Is x a multiple of 17?
False
Suppose -7*f + 150 - 3 = -0*f. Is f even?
False
Let b(d) = -d + 212. Suppose 2*o = 5*g + 69, -5*o + 93 = 2*g - 7. Is 19 a factor of b(o)?
True
Suppose 3*f + 4*k = 2588, 294*f + 2*k = 297*f - 2