et j(t) = -11*t**3 - 26*t**2 - 9*t + 21. Let m(g) = -5*j(g) - 8*y(g). Does 31 divide m(-7)?
False
Let v(f) = -3*f - 34. Let j be v(-11). Let y be j/2 + 50/(-20). Let z(t) = -t**3 + 3*t**2 - 10*t - 18. Is 24 a factor of z(y)?
False
Let j = -8071 + 11460. Suppose -283 - j = -18*l. Is 37 a factor of l?
False
Let p be (-5880)/252 + 1/((-6)/4). Is (0 + p/20)*(-450 + 0) a multiple of 60?
True
Let m = 3466 + -2836. Does 138 divide m?
False
Let a(k) = -k**3 - 14*k**2 - k - 10. Let o be a(-14). Suppose -3*z - 222 = -6*z - o*q, 4*z = 2*q + 274. Suppose -4*p + z = 10. Is p a multiple of 3?
True
Is 48 a factor of -24 + 24 + 24 + 1752?
True
Let w(f) = 20*f + 39. Let p(n) = -42*n - 76. Let h(o) = 6*p(o) + 13*w(o). Is 17 a factor of h(17)?
True
Let b = -24 + 26. Suppose g - b*g = 34. Let f = -14 - g. Is f a multiple of 4?
True
Suppose -518*j = 3*q - 513*j - 15301, -5*q + 25445 = -3*j. Is q a multiple of 67?
True
Let q(o) = -65*o + 1211. Does 8 divide q(-35)?
False
Is (1/(-2) - 0) + ((-254358)/4)/(-13) a multiple of 24?
False
Does 203 divide (-61)/(-1 - (-28)/406*202/14)?
True
Let g(a) = 75*a - 31. Let p(o) = 3*o**2 + 22*o - 48. Let f be p(2). Is g(f) a multiple of 14?
False
Let r(y) = y**2 - 16*y + 16. Let u = -59 - -4. Let v = -39 - u. Does 10 divide r(v)?
False
Let q(v) = -11*v + 5*v - 2*v**2 + 9*v + 14. Let r be q(-4). Let o = r - -100. Is o a multiple of 14?
True
Let x = -70761 - -111486. Is 225 a factor of x?
True
Suppose -216 = -15*w + 159. Is 341 - -5*(-5)/w a multiple of 20?
True
Let v(z) be the third derivative of z**6/120 + z**5/60 + z**4/12 + 16*z**3 - 5*z**2 + 222. Suppose -2*l = -l. Does 9 divide v(l)?
False
Let h(f) = 2*f**3 + 22*f**2 + 21. Does 6 divide h(-9)?
False
Let h = -127 - -385. Let l be 710/(-4) - 10/20. Let g = l + h. Is g a multiple of 20?
True
Suppose 11*g + 68300 = -14*g. Is 12 a factor of g/9*(-261)/58?
False
Let z be (-2082)/8 + -5 + (-126)/(-24). Let o = -232 - z. Is o a multiple of 5?
False
Let i = -205 + -1548. Let g = -1137 - i. Is g a multiple of 11?
True
Let u = 14839 + -7302. Is u a multiple of 140?
False
Suppose -9*a + 25 = 4*i - 14*a, -2*i = -3*a - 13. Does 12 divide i/25*5 - (1 + -12)?
True
Let u = 5431 - 3743. Suppose 0 = l - 1 - 1, -4*k + 4*l + u = 0. Is 10 a factor of k?
False
Let v be 3/(-4) + 124/16. Suppose -12*g + v*g - 5 = 0. Is (-420)/(-8) + g/2 a multiple of 40?
False
Let h(p) = -46*p - 30. Let c be h(-2). Let g = c + 5. Is 5 a factor of g?
False
Let b(n) = -13262*n + 544. Is 134 a factor of b(-2)?
True
Let m be (-2)/(-4)*(6 + -2). Suppose m*n + 48 = 10*n. Suppose -9*y + 243 = -n*y. Is 27 a factor of y?
True
Let t be (465/6)/(1/2) + 2. Suppose 0 = 2*a - 3*i - 1109 + t, 2*i = -3*a + 1428. Is a a multiple of 34?
True
Let d = 778 - 785. Is 12 a factor of 1*22 - (1 + d)/3?
True
Let u(q) = 6*q**2 - 14*q + 26. Let l be u(5). Let j = -100 + l. Suppose j*c - 7*c + 55 = 0. Is c a multiple of 24?
False
Let i = -14717 + 22434. Does 23 divide i?
False
Let d(j) = 12*j**3 + j**2 - 5*j + 128. Is 15 a factor of d(11)?
False
Let c(p) = -p**3 + 36*p**2 + 44*p - 134. Let q be c(37). Let u be (16/(-10))/(5/(-350)). Let j = q - u. Is 13 a factor of j?
True
Let n(u) = 6*u + 5. Let q be n(-2). Let d be (2 + 29/5)*(q - -52). Suppose 4*g = g + d. Does 13 divide g?
True
Let v(n) = 2*n**3 - 2*n**2 - 4*n + 4. Let y(p) = 5*p + 6. Let u be y(2). Let d be (-12)/14*(-56)/u. Is v(d) a multiple of 16?
False
Let j(n) = -50*n**2 - n - 4. Let d be j(4). Let a = 413 + d. Let i = -275 - a. Is 20 a factor of i?
True
Suppose 5*b - 5*r = 1926 + 764, r + 1080 = 2*b. Suppose 11*j = -b + 2082. Is 35 a factor of j?
True
Let q be 4*(36/(-80))/(3/(-5)). Suppose 0*h = 5*w - 4*h - 1173, -q*h = w - 227. Is w a multiple of 27?
False
Let c(y) = -16*y**3 + 16*y**2 + 24*y - 4. Let b(n) = 3*n**3 - 3*n**2 - 5*n + 1. Let d(m) = 11*b(m) + 2*c(m). Suppose 3*k + 378 = 66*k. Is d(k) a multiple of 22?
False
Suppose -3354120 = 62*v - 26*v - 102*v. Does 14 divide v?
True
Suppose 2 - 14 = -6*n. Suppose -n*h - 309 = 229. Let m = h + 481. Is m a multiple of 10?
False
Suppose 96370 = 67*u + 181847 - 741407. Is u a multiple of 55?
True
Let v(b) = 5*b**2 + 154*b + 16446. Is v(0) a multiple of 22?
False
Suppose 0 = -4*b - k + 2238, 2*b + 21*k - 1128 = 25*k. Is b a multiple of 40?
True
Suppose -37*w = -64*w + 5832. Does 15 divide 2576/6*w/144?
False
Let a(t) = -30*t + 2171. Is 10 a factor of a(47)?
False
Suppose 16*o - 8411 = -1947. Is 31 a factor of o?
False
Let u be -3*(-5)/(-15) - 9. Let w = u - -890. Is w a multiple of 11?
True
Suppose 86 = 5*o + 1. Let t be (-52 - 1)/1*(-6 + 5). Let v = t - o. Is v a multiple of 3?
True
Does 30 divide (-12916398)/(-856) - (-6)/8?
True
Let l(t) = -t**3 - 10*t**2 - 14*t + 25. Suppose -7*c - 13 = 57. Is 33 a factor of l(c)?
True
Is 62 a factor of ((-2)/4)/((-60)/74400)?
True
Let w = 38 + -34. Suppose w*j - 3*a - 880 = 0, -2*a = -7*a. Is 44 a factor of ((-4)/5)/((-1)/j)?
True
Is 57 a factor of 46174/10 + 9*32/(-720)?
True
Let p(l) = 2*l**2 - 16*l - 30. Suppose -5*a + 51 = -4*k + 5*k, 0 = -4*a + 2*k + 38. Is p(a) a multiple of 7?
False
Is 16/((-272)/391) - -8255 a multiple of 21?
True
Let j(t) = -7*t + 10. Let n(y) = -2*y**2 - 2*y - 2. Let q be n(-1). Let o be ((-12)/9)/(q/(-3)). Is j(o) a multiple of 8?
True
Let l = -842 + 2051. Suppose 5*g - 3*m = 1199, 7*g + 2*m = 2*g + l. Is 40 a factor of g?
False
Let j(m) = 37*m**3 - 3*m**2 - 8*m + 9. Let k be j(4). Suppose -4*s + o = -k, -2*o + 1 = -5. Does 23 divide s?
True
Let w = -2306 + 1001. Let j = -746 - w. Is 43 a factor of j?
True
Suppose -5*x = 2*h - 57, 10*h - 7*h = -3*x + 72. Is 6 a factor of h/(-7) + (-717)/(3/(-1))?
False
Suppose 15*w = 18*w - 12. Suppose 11 = o + 13, -o = -w*m + 1410. Is m a multiple of 22?
True
Let h(b) = b - 398. Let j be h(-14). Let v = j - -1483. Is v a multiple of 21?
True
Let s(i) = 3*i**2 - 18*i + 18. Let d be s(5). Suppose d*p = 5*p - 532. Is 38 a factor of p?
True
Suppose 4493 = 10*b - 33*b + 49343. Is 25 a factor of b?
True
Suppose 0 = -99*i + 57*i + 268212. Is 51 a factor of i?
False
Let v = 10904 - 14. Is 165 a factor of v?
True
Let u = -12616 - -12919. Does 2 divide u?
False
Let r(z) = 242*z + 635. Is 15 a factor of r(50)?
True
Let t = -4197 - -6722. Is 86 a factor of t?
False
Suppose 8*d = 11*d + 282. Let p = d + 115. Is p a multiple of 21?
True
Suppose 0 = 4*a - 3*k - 66029, -154*k + 82475 = 5*a - 149*k. Is 25 a factor of a?
False
Suppose 38*j - 36*j = -4, x = -4*j + 1447. Is x a multiple of 15?
True
Let g(t) = t**3 - 17*t**2 - t + 15. Let k be g(17). Let y(d) = -203*d + 17. Is y(k) a multiple of 10?
False
Suppose -3*l + l + 90 = 0. Does 17 divide 1224/l*((-1260)/(-8))/7?
True
Let w = -9682 + 22332. Does 11 divide w?
True
Let d be ((-6)/(-7))/((-9)/(-84)). Suppose -20*z = -d*z - 3756. Is z a multiple of 11?
False
Let t = 6336 - 4572. Does 84 divide t?
True
Let p(j) = 5*j - 11. Let r be p(5). Let u(z) = -2*z**2 + 31*z - 16. Is u(r) a multiple of 8?
False
Suppose -2*h = -0*h - 60. Let q be h/12*(-3)/(-3)*6. Let z(r) = -r**2 + 25*r. Is 10 a factor of z(q)?
True
Let z = 65 - 48. Suppose 11*o = z*o. Suppose o = 2*d - 8*d + 150. Is d a multiple of 3?
False
Let x(f) = 30*f**2 + f - 4. Let v = 195 + -191. Is 53 a factor of x(v)?
False
Let r(u) = -u**2 + 15*u + 489. Is r(25) a multiple of 27?
False
Let u be (-1)/(-7) + -8*(-582)/42. Suppose 4*y + u - 717 = -2*n, 0 = 4*y - n - 609. Does 8 divide y?
True
Let s be 6/(-12)*(-47*1 + 1). Let g = s - -193. Does 14 divide g?
False
Let d(f) = 18*f**2 - 2*f - 3. Let h be d(-2). Let k = h - 61. Let m(i) = 7*i + 21. Does 15 divide m(k)?
True
Suppose 3*p = 4*p - 2. Does 17 divide p + 1 + -5 + 101 + 0?
False
Let w(z) = 21*z - 86. Let k be w(4). Does 28 divide 2 - (-3)/(k/((-2224)/12))?
True
Suppose 262*p = 110*p + 81776. Is p a multiple of 12?
False
Suppose 15*p - 82170 - 83055 = 0. Is 129 a factor of p?
False
Let g = -14970 + 16566. Does 38 divide g?
True
Suppose 3*i = -5*c - 30, 3*c - 4*c = -i + 6. Let a be (-9)/c*34/3. Suppose -19*m + a*m = -52. Does 20 divide m?
False
Suppose 2*x - 922 = 5*h, -x - 950 = -3*x - 2*h. Is (x/4)/((-12)/(-64)) a multiple of 12?
False
Suppose -2*y + 2 = -3*l, 0 = -y - 3*y + 16. Suppose 4*o + 1 = -s - 0*s, -l*o = 5*s - 13. Is (1 - 18/1)*o a multiple of 17?
True
Suppose -b = 3*b - 4, 4*b + 275 = -3*n