Let k(a) = 2*a**3. Let u(h) = -i(h) + 7*k(h). Does 32 divide u(d)?
False
Suppose 6*p + 9534 = 27*p. Let g = p - -5. Is g a multiple of 29?
False
Suppose 0 = -41*a - 150 - 96. Let s be (761 - 1)/2 - 2. Is 10 a factor of (-49)/(-3)*(s/(-7))/a?
False
Let r = 5202 - 856. Is r a multiple of 41?
True
Let y(p) be the third derivative of -p**5/60 - 7*p**4/8 + 23*p**3/6 - 12*p**2. Let z be y(-13). Suppose -4*d = -z - 273. Does 10 divide d?
True
Let d = -7121 + 10289. Does 36 divide d?
True
Let d be (21/14)/(6/(-4)). Let n(i) = i**2 + i - 1. Let p(f) = -10*f**2 - 8*f - 11. Let r(j) = d*p(j) + 3*n(j). Is r(-3) a multiple of 23?
True
Suppose 4*c - 28 = 3*o, 5*o = 5*c + 2*o - 32. Suppose 5*n + 5*f = 180, -4*n + c*f + 144 = f. Does 9 divide n?
True
Let y(n) = n**3 - 8*n**2 - 3*n + 27. Let x be y(8). Suppose x*t - 227 = -3*j + 490, 0 = -5*j - 2*t + 1192. Does 16 divide j?
False
Suppose -7*t + 45 = -2*t + 5*x, -3 = -3*t + 3*x. Let n(p) = 1 + 203*p**2 + 2*p - 11 + 12 - t*p. Does 37 divide n(1)?
False
Let c = -7995 - -10617. Is c a multiple of 23?
True
Let l = -157 - -19. Let v = l - -565. Is v a multiple of 61?
True
Suppose -4*c + 0*p = p - 1125, 282 = c + p. Suppose 4*v = c + 727. Is 6 a factor of v?
True
Let a(x) = -66*x + 1452. Is 4 a factor of a(-70)?
True
Let f = 18283 - 53. Does 10 divide f?
True
Suppose -16*a - 5*x = -20*a + 10500, x = 5*a - 13125. Does 41 divide a?
False
Suppose 3442 = 11*u + 2339 - 3814. Is 4 a factor of u?
False
Let h be (-2)/(-6) - 38/(-57). Is 688/8 + h + -1 a multiple of 5?
False
Suppose 44*j = -43*j + 389*j - 2494218. Does 175 divide j?
False
Let h(c) = 2*c**2 - 2*c + 3. Let w(z) = z**3 + 6*z**2 + 2*z - 5. Let n be w(-5). Suppose n*j - j - 27 = 0. Is h(j) a multiple of 6?
False
Let d = 3346 + -1264. Is d a multiple of 6?
True
Let s = 181 + -134. Suppose 6*b - 241 = s. Does 12 divide b?
True
Suppose 5*v - 18*h = -19*h + 202299, -h = -9. Does 22 divide v?
True
Let k = -925 + 2172. Is 29 a factor of k?
True
Let x(j) = -12*j + 6944. Is x(-72) a multiple of 87?
False
Suppose 4*l = 3*g + 112, -g - 32 = 20*l - 16*l. Suppose -2*o + 3 = o. Is o/(2*(-2)/g) a multiple of 5?
False
Suppose -b = -3, -4*c - 4*b + 1112 = -0*c. Let j = c + -723. Is (j/(-21))/(2/9) a multiple of 24?
True
Let h = 37 + -26. Suppose 16*n = -h*n + 3564. Does 19 divide n?
False
Let d(j) be the first derivative of 4*j**3/3 - 75*j**2/2 + 20*j + 193. Is d(24) a multiple of 21?
False
Suppose 3 = -8*v + 3. Does 13 divide 171 - (-6 + 8 - v)?
True
Suppose 4*a = -g - 10, 3*a + 20 = g + a. Is 29*6 + -1 + g + -4 a multiple of 23?
False
Let b = 405 + -141. Does 12 divide (b/42)/(2/7)?
False
Is (-27)/(270/2660)*-28 a multiple of 49?
True
Suppose -6*v + 10*v = -300. Let o = -10 - v. Does 7 divide o?
False
Let l be (-8)/10 - (-306)/5*9. Let v = l - -1082. Is 17 a factor of (((-5)/(-2))/(-5))/((-4)/v)?
True
Let u(m) = 198*m**2 - 53*m - 665. Does 15 divide u(-10)?
True
Let f be (-3 - (-1 + 0)) + 6419/7. Suppose -87 = 3*p - f. Is 10 a factor of p?
False
Let w(b) = -29*b + 16*b + 5*b + 13*b - 2*b**3 + 20*b**2 - 7. Does 25 divide w(9)?
True
Let w be 484/12 - -3*(-1)/9. Let q be 40/(-6)*9/(-6). Suppose -q*k = -200 - w. Does 5 divide k?
False
Let c(t) = 93*t + 2. Let j be c(-4). Suppose -3*m - 550 = -5*q, 3*m + 590 = -0*q - 5*q. Let w = m - j. Is 12 a factor of w?
True
Let l(g) be the third derivative of g**5/60 - g**4/24 - g**3/6 + 20*g**2. Let c be l(-2). Suppose 88 = -c*b + 853. Is 17 a factor of b?
True
Suppose b = -281 + 25. Let i = b - -53. Let h = 295 + i. Is h a multiple of 8?
False
Suppose 6 = 2*q, 4*p - 5*q + 173 = 618. Does 38 divide p?
False
Is 5 a factor of (-5 + -1893)/(-2) - -3 - (-6)/(-2)?
False
Suppose -709 + 724 = 5*t. Suppose 2675 + 1993 = t*d. Is d a multiple of 24?
False
Let k be 1*60 - (-13 + 13). Is 21 a factor of 75/k + (-7235)/(-20)?
False
Suppose 131 = 32*g - 125. Is ((-1714)/4)/(g/(-16)) a multiple of 61?
False
Suppose -f + 2792 + 3746 = 238. Is f a multiple of 30?
True
Is (-3)/3 + 2064/6 a multiple of 2?
False
Suppose 26*c = -22*c + 29*c + 5168. Is 4 a factor of c?
True
Suppose 1195 = 4*b - 5*f, f - 306 = -4*b + 919. Let a = b - 129. Does 6 divide a?
False
Let o(f) = f**3 + 12*f**2 - 15*f - 23. Let b be o(-13). Suppose 28 + 2 = -b*v. Let p = v + 20. Does 3 divide p?
False
Suppose 0 = 5*k + 5*m - 4760, 5*k - 22*m + 19*m - 4816 = 0. Is 30 a factor of k?
False
Suppose n = 2*z - 70485, 0 = 4*z + 4*n - 22505 - 118495. Suppose 29239 + z = 47*h. Does 14 divide h?
True
Let v(z) = -z**3 + 49*z**2 - 54*z - 61. Let y be v(48). Let o = y + 765. Is 15 a factor of o?
False
Let n(b) = b + 3. Let s(r) = -156*r + 73. Let g(w) = 4*n(w) + s(w). Does 21 divide g(-3)?
False
Suppose m - 6576 = -4*n, 3*m = -5*n + 7*n + 19812. Is m a multiple of 10?
True
Suppose -7769 = -5*v - 2059. Suppose 352 = 9*i - v. Is 6 a factor of i?
False
Suppose -5*w - 2*u + 15788 = 0, 4*w - 12636 = -72*u + 69*u. Does 72 divide w?
False
Let d = -157 - -84. Let x = -98 - d. Let n = x + 100. Is n a multiple of 6?
False
Is 122 a factor of (1820/78)/(6/4392)?
True
Does 123 divide (-2)/(4/(-7329)) - (175/(-25))/14?
False
Suppose 29*t - 33*t - 4 = 0. Is 7 a factor of (15/35)/t - (-1816)/7?
True
Let j be 1*(-4)/(8/(-14)). Suppose -4*a - m + 15 = -2*m, -a + j = 3*m. Suppose 2*z = -a*y + 86, -y = 3*y - z - 83. Does 5 divide y?
False
Suppose 0 = -588*t + 428*t + 198038 + 118122. Is 38 a factor of t?
True
Let b(w) = -w**3 - 6*w**2 + 13. Let h be b(-6). Suppose -40 = -h*r + 25. Suppose 213 = r*q + 48. Does 11 divide q?
True
Let f(v) = -86*v**2 + 40*v**2 + 47*v**2 - 26 - 16*v. Let l be f(18). Does 28 divide (-3)/6*1 + 345/l?
False
Let p(f) = -f**3 - 60*f**2 + 69*f + 6809. Does 37 divide p(-68)?
True
Let n = 38205 - -20677. Is 44 a factor of n?
False
Let r be 0/(9/(18/(-4))). Suppose r*m + 2*m - 3*c - 561 = 0, -2*c = 3*m - 822. Is 12 a factor of m?
True
Let u = 127 - 2. Suppose 442 + 491 = 4*c + 5*w, 2*c - 483 = 3*w. Let b = c - u. Does 24 divide b?
False
Suppose -20008*n - 38915 = -20013*n. Is n a multiple of 43?
True
Suppose -2*v + 5*q + 28106 - 8166 = 0, -2*q + 49792 = 5*v. Is 12 a factor of v?
True
Let a(f) = -f**2 - 5*f - 3. Let z be a(6). Let c = 69 + z. Suppose c = 4*k - 8, 248 = 4*h - 4*k + 80. Does 22 divide h?
True
Suppose 2*r + 5*g = 110, -5*g + 49 - 4 = r. Suppose r*t = 25*t + 8200. Does 15 divide t?
False
Let s(f) be the first derivative of -f**4/4 - 11*f**3/3 + 3*f**2/2 - 27*f - 6. Let m be s(-11). Let v = 125 + m. Does 10 divide v?
False
Let g = -176 - -389. Suppose g = 3*f - 2226. Is f a multiple of 76?
False
Let d be 2*3/(12/278). Suppose 0 = -d*y + 141*y - 850. Is y a multiple of 25?
True
Let n = 12612 - 9538. Is 58 a factor of n?
True
Let f = 11 + 8. Let w be (1 + 0)*(f + -3). Let t = w - -4. Is t a multiple of 3?
False
Let j(l) = -6*l - 16. Suppose 4*q + 20 = 4*r, 6 + 1 = -q - r. Let h be j(q). Is (7032/h)/6 - 2/(-5) a multiple of 20?
False
Suppose u + 8*u + 13426 = 354202. Is u a multiple of 8?
True
Let g(x) = 55*x + 77*x - 184*x + 53. Is 8 a factor of g(-5)?
False
Let k = 9442 + -2781. Does 4 divide k?
False
Let l = 97 + -76. Suppose c - l = 51. Does 6 divide c?
True
Let h(w) = 107*w + 34. Let l be h(3). Let u = 503 - l. Is 37 a factor of u?
True
Let j be (-9)/12 + 1 - (-5537)/28. Suppose 9 = 5*v - 1. Suppose -3*l - 5*r = -v*r - 177, 3*l = 4*r + j. Does 7 divide l?
False
Let f(u) = u**2 - 11. Let x be f(-4). Suppose 30 - 105 = -x*l. Let p = -1 + l. Is p a multiple of 7?
True
Let r = -46 + 49. Let w(u) = 24*u - 3. Let t be w(r). Let f = t - 43. Is 4 a factor of f?
False
Let u be 1/5 - 7839/195. Let j = u - -286. Is j a multiple of 32?
False
Does 18 divide ((-1675)/(-50) + -31)*2*5437?
False
Let u be (-2)/3*(-351)/2. Does 5 divide (1 + u)/((-5)/(-15))?
False
Let a(m) = 2633*m - 33. Does 23 divide a(3)?
True
Let t(m) = -3*m + 169. Let w(y) = 18*y**2 - 8*y - 9. Let k be w(-1). Is 2 a factor of t(k)?
True
Let o(v) = 13 + 13*v - 269*v**3 - 12*v**2 + 270*v**3 - 10*v. Does 11 divide o(14)?
False
Suppose -8*x + 1846 - 5726 = 0. Let i = -285 - x. Does 2 divide i?
True
Let f(b) be the third derivative of -b**5/60 - 2*b**4/3 - 19*b**3/6 - 37*b**2 - 2. Let i be (5 - (-1 - -27))*(-2)/(-6). Is f(i) a multiple of 6?
False
Suppose -5*z + 6219 + 7091 = 0. Suppose z = 11*k + 11*k. Is 11 a factor of k?
True
Let r = 