ctor of t?
False
Let y(n) = -6 - 4*n - n + n - 8. Let v be y(-4). Suppose -v*b = -b - 41. Does 7 divide b?
False
Let y(t) = -t**3 - 12*t**2 - 5*t - 10. Let q be (-7 + 7)*(2 - (-6)/(-4)). Suppose -5*g - 68 = -2*c, q = -4*g - 4*c + 3*c - 44. Is y(g) a multiple of 25?
True
Suppose 5*k = 3*k + 8. Let h = 343 - 284. Suppose k*t + h = d, -2*d - d + 4*t + 209 = 0. Is d a multiple of 15?
True
Is 15 a factor of ((-3414)/(-15) + -2)/(3*20/2250)?
True
Suppose -4*d = -w - 31, d - 2*w = -4*d + 38. Suppose -d*z + 1138 + 926 = 0. Does 57 divide z?
False
Let r(d) = -d**2 - 12*d + 25. Let g be r(-7). Suppose g*c + 694 = 62*c. Does 24 divide c?
False
Suppose -14 = -3*y + 4. Suppose -9*q + y = -6*q. Let g = q + 19. Is 6 a factor of g?
False
Suppose 103*s - 213046 = 328940. Is s a multiple of 7?
False
Suppose 10*r - 989 = 5*r - 2*s, 0 = -4*r - 2*s + 790. Let q = 496 - r. Is q a multiple of 27?
True
Suppose -4*p - 3*z = 503 + 92, -p + z = 147. Is (-24)/3 - (p - 3) a multiple of 13?
True
Suppose -91*o + 1678540 = 73*o. Does 46 divide o?
False
Suppose 2796 + 1476 = 6*l. Suppose -4*o + 944 = -4*g, l = 2*o + o - g. Is 14 a factor of o?
True
Let l(k) = 3*k**3 + 14*k**2 - 19*k + 20. Let u be l(10). Suppose -12*a + 21*a = u. Is a a multiple of 47?
True
Suppose 3*f - 8404 + 178 = 0. Is 75 a factor of f?
False
Let x = 537 - 561. Does 95 divide -456*(-5 - 40/x)?
True
Is 77/14*-81*(-18)/9 a multiple of 45?
False
Let o = 387 - -1322. Is o a multiple of 75?
False
Let t = -136 + 140. Suppose k - 3 = -3*r + 20, -k + 24 = t*r. Does 20 divide k?
True
Suppose -38171 = -2*c + 3*r, c - 12213 = 3*r + 6862. Is c a multiple of 8?
True
Suppose 4*a - 30 = -a. Let j be (885/6 + 1)/(157/942). Suppose -5*y + j = a*y. Does 14 divide y?
False
Suppose 5*a = 20, -4*r - 4*a = -3*r - 35. Suppose 0 = -6*k - 1 + r. Suppose k*y - 2*h + h - 333 = 0, -5*y - h + 555 = 0. Is 34 a factor of y?
False
Suppose -8*d + 6526 + 6874 = 0. Is 67 a factor of d?
True
Suppose -4*v + 2*v = -2*c + 52, 4*c = 3*v + 104. Let n = -23 + c. Suppose -n = 3*r, -17 = -4*q + 3*r + 110. Is 31 a factor of q?
True
Is (-22)/(-5) + -4 + (-25056)/(-10) a multiple of 67?
False
Let r be -5 + 91/7 - -1788. Let q = 2732 - r. Is 39 a factor of q?
True
Let o(m) be the first derivative of -3*m**4/4 + m**3/3 + 3*m**2/2 + 2*m + 142. Is o(-3) a multiple of 3?
False
Let c(p) = p**2 + 8*p + 17. Let v be c(-3). Suppose -2*l = y - 2190, -7*y - 2196 = -v*l - 11*y. Is 50 a factor of l?
False
Let h(g) = -36*g + 48. Let i be h(-4). Suppose -i*b = -199*b + 1449. Is 6 a factor of b?
False
Let n(b) = -7 - b**2 + 526*b - 8 - 514*b. Let s be n(7). Suppose 32 = 2*u + 2*w, -2*u = -u + 5*w - s. Is 15 a factor of u?
True
Suppose -10*d - 210 = 380. Let m = 103 + d. Is 8 a factor of m?
False
Suppose 0 = -14*c + 33966 + 49894. Is c a multiple of 99?
False
Let p(g) = -2*g**3 - 15*g**2 + 17*g + 105. Does 17 divide p(-11)?
True
Does 67 divide (-235118)/(-78) + (-2)/(-3)?
True
Let u = 1864 - 1806. Does 26 divide u?
False
Suppose -24 = -11*q + 7*q. Suppose 0 = -5*r + 26 - q. Suppose -m = r*m - o - 91, -3*o = m - 15. Is 9 a factor of m?
True
Let p be -3*(6 + -1 - 6). Suppose 2*d - 368 = -4*w, -2*w - 722 = -4*d - p*w. Does 30 divide d?
True
Let b(j) = -j**3 + 70*j**2 + 903*j + 28. Does 8 divide b(81)?
True
Let w be 746 - (1*-6 - -4). Suppose 4*g + w = -4*v + 2*g, 0 = 2*v - 3*g + 390. Let o = v + 297. Is 18 a factor of o?
True
Let b(a) = 122*a + 135. Let x be b(2). Let l = x + 66. Is l a multiple of 12?
False
Let g be (2 + 40/(-15))*-6. Suppose -z = z - g. Suppose -z - 61 = -3*n. Does 7 divide n?
True
Suppose 76 = 5*c + 142 - 201. Is 5 a factor of c?
False
Let i(n) = 5 + n + 3*n - 3720*n**3 - 1 - 2*n**2 + 3722*n**3. Is 13 a factor of i(6)?
False
Let f(o) = 932*o + 116. Does 41 divide f(18)?
True
Let b = 647 + -715. Let x = 190 - 305. Let u = b - x. Does 14 divide u?
False
Let z = 24 + 441. Let s(d) = -18*d - 3*d**2 - z - d**2 + 485 + 3*d**2. Is s(-18) a multiple of 8?
False
Let a(f) = -f**3 + 2*f**2 + 23*f - 3. Let t(c) = c**3 - 2*c**2 - 23*c + 2. Let q(u) = -5*a(u) - 4*t(u). Does 34 divide q(9)?
False
Let k(q) = 11*q - 29. Let n be k(2). Is (-14 - n)/((-2)/50) a multiple of 35?
True
Let o(w) = 4*w**2 + 49*w + 781. Is 4 a factor of o(-31)?
False
Does 7 divide (-6)/9*1213779/(-98)?
False
Let g be -5*7/(70/(-4)). Suppose -g*r - r + 1801 = 4*q, -2231 = -5*q + 3*r. Suppose 0 = -0*l + 4*l - q. Is 28 a factor of l?
True
Suppose 3*p = -5*c + 21750, c - 290*p = -288*p + 4337. Is c a multiple of 3?
True
Let q(b) be the second derivative of -b**4/12 - 16*b**3/3 - 27*b**2 + 14*b + 1. Is 9 a factor of q(-16)?
False
Suppose -500*m - 2464488 = -9044210 - 3206278. Is m a multiple of 42?
True
Suppose 170 = o + 27. Let q be ((-6)/4*2)/(-1). Suppose -q*w + o = 35. Is 9 a factor of w?
True
Let z(s) = 5*s**2 - 15*s - 761. Is 8 a factor of z(28)?
False
Suppose 4*d = -12*c + 380156, -81*d = 5*c - 84*d - 158403. Does 72 divide c?
True
Let v = -2842 - -6067. Does 18 divide v?
False
Suppose 4*d - 6*d = -4. Let j be (-1 + d)*(-15 - -5). Does 11 divide (-72)/(-180) - (2632/j)/2?
True
Let o = 377 + -896. Let l = o - -569. Is l a multiple of 3?
False
Let g = -14355 + 24355. Is 12 a factor of g?
False
Let q(p) = -p**2 - 2*p + 158. Let f = -30 + -34. Let c = f + 64. Does 51 divide q(c)?
False
Suppose -238795 = -55*x + 465260. Does 17 divide x?
True
Let t(j) = -10*j - 3. Let v be t(-2). Suppose l + 2*z = -2*l - v, 3*z - 12 = 3*l. Is ((-240)/2)/(l - 14/(-4)) a multiple of 20?
True
Suppose -2*h = -4*h - 4. Let j(y) = 3*y**2 + 2*y + 14. Let c(g) = 7*g**2 + 4*g + 27. Let p(r) = h*c(r) + 5*j(r). Is p(-5) a multiple of 5?
False
Let h = 759 - 759. Suppose -3*d - r + 4947 = h, r - 6963 = -5*d + 1282. Is 45 a factor of d?
False
Let m = -499 - 265. Let h(w) = -3*w + 9. Let l be h(6). Does 14 divide m/6*(-7)/((-42)/l)?
False
Is (-3 + 76/2)*(-132494)/(-310) a multiple of 10?
False
Suppose -3*b - 12*i + 10*i = 14, 2*b = -3*i - 6. Is 3/9 - 184/b a multiple of 15?
False
Let j = 177 - 177. Suppose -398*n + 406*n - 896 = j. Does 16 divide n?
True
Let s(c) = 3*c + 102. Let a = -120 - -88. Let y be s(a). Is 39 a factor of (3 - 15/y)/(1/312)?
True
Let u(d) = 3*d - 69. Let q be u(23). Suppose -v - 12*a + 10*a + 478 = q, -4*v = -4*a - 1876. Is v a multiple of 11?
False
Suppose -721 - 3869 = 3*k. Let c = -828 - k. Is 78 a factor of c?
True
Let w be ((-39)/(-2))/(12/320). Suppose 0 = -6*l + 10*l + w. Does 2 divide 20/l - 145/(-13)?
False
Let k(m) = -m**3 + 78*m**2 - 119*m + 99. Does 11 divide k(76)?
True
Let q = -48 + 43. Let k be 7 - (-7)/(-35) - 1/q. Let i(n) = 5*n**2 - 11*n - 6. Is i(k) a multiple of 18?
True
Let p(q) be the third derivative of -13*q**6/120 - q**5/10 + q**4/4 + 11*q**3/2 - 76*q**2. Is 21 a factor of p(-4)?
False
Let r = 7225 + 596. Does 52 divide r?
False
Is -1*90*(-26676)/152 a multiple of 45?
True
Suppose 22*k - 28*k + 948 = 0. Let c = 440 - k. Does 25 divide c?
False
Suppose -5*v + 2*r + 24 = 0, 5*v - r = 39 - 12. Suppose -8*l = v*l. Suppose l*q + 282 = 6*q. Is 9 a factor of q?
False
Let s(j) = 2*j**2 - 4*j + 3. Let v be s(2). Let q(f) = 5*f**3 - 3. Let d be q(v). Suppose 144 = -2*m + 6*m - 2*x, -4*m + d = x. Does 6 divide m?
False
Let n(l) = -158*l - 2887. Is n(-45) a multiple of 23?
False
Suppose -22994*p + 23004*p - 44000 = 0. Is p a multiple of 44?
True
Let k(b) = -b**2 - 13*b - 30. Let q be k(-8). Is 12 a factor of -4 + (-390)/(q/(-2))?
False
Let p(h) be the first derivative of h**4/2 - 2*h**3 + 5*h**2/2 + 20. Let y be p(5). Let f = y + -71. Is f a multiple of 14?
False
Let k = -37729 + 56810. Is 40 a factor of k?
False
Let x(g) = g**2 + 4*g - 13. Let n be x(-7). Suppose 192 = n*o - 112. Is 38 a factor of o?
True
Let w(c) = -c**2 + 16*c - 24. Let t be w(12). Suppose t = -13*v - 41. Is 12 a factor of (-15)/v*91/3?
False
Let j be -36 + (-8)/(-30)*3*5. Let a be j/(-56) - (-30)/21. Let n(s) = 39*s**2 - 5*s + 4. Is n(a) a multiple of 8?
False
Let h(p) = p**2 - 11*p + 8. Suppose -5 + 27 = 2*y. Let z be h(y). Is 94/(-2*(28/z + -4)) a multiple of 21?
False
Let w = -108 - -35. Let g = -39 - w. Suppose b = 129 - g. Does 19 divide b?
True
Let y(s) = 4*s - 8 - 7*s + 22 - s**2 - 5*s. Let g be y(-9). Suppose -2*l = -10, 3*c - 2*l + 250 = g*c. Does 19 divide c?
False
Let p = -5660 + 29634. Is 17 a factor of p