Let i(h) = -8*h**3 + 23*h**2 - 176*h + 81. Is 37 a factor of i(-19)?
True
Let y = 14 + -18. Is 11 a factor of ((-69)/y)/((-24)/(-352))?
True
Is 3 a factor of (-16215)/10*8/(-3)?
False
Let t(h) = -4*h - 19. Let j be t(-6). Suppose -4*q + 2 + 2 = 0, 0 = -j*p + 3*q + 1722. Is (p/(-9) - -1)*-3 a multiple of 28?
True
Let w be 97 + (2 - 2) - -2. Let s = w + -44. Is (-704)/s*(-5)/2*6 a multiple of 45?
False
Let c = -61654 - -100527. Is 8 a factor of c?
False
Suppose 26*m - 32 = 24*m. Suppose m + 4 = 5*y. Suppose 3*j + 38 = y*j. Does 7 divide j?
False
Let o(d) = 1227*d**2 + 19. Is o(-2) a multiple of 16?
False
Let a be (-4 + -3 + 4 - -41) + -4. Suppose c = -a - 35. Let k = c + 89. Does 10 divide k?
True
Let x = -1506 - -828. Is x/(-16) - 21/56 a multiple of 15?
False
Let a = 7455 - 3675. Is 36 a factor of a?
True
Suppose 27259*p - 27240*p = 66766. Is p a multiple of 14?
True
Suppose l + 351 = b - 0*b, 0 = 2*b + 4*l - 714. Let h = 697 - b. Does 16 divide h?
False
Is 1/2*4 - (-7 - 7 - 10479) a multiple of 176?
False
Suppose -3*u + 9 = -3*c, -2*u - 3 = 5*c - 3*u. Suppose -341*x + 346*x - 2770 = c. Does 55 divide x?
False
Let g = 13 - 2. Suppose -7*b + g*b = 12. Suppose 1 = -b*z - 2, 5*u - 4*z = 444. Is u a multiple of 9?
False
Let l(s) = -3*s + 30. Let b(d) = 3*d - 28. Let f(t) = -3*b(t) - 2*l(t). Let r(z) = 3*z**3 - z**2 - 3*z - 2. Let y be r(-2). Is f(y) a multiple of 12?
True
Let u be (-296)/(-16)*6 + 2. Suppose 2*n - 112*h = -u*h + 1833, 919 = n + h. Is 9 a factor of n?
False
Let i(b) = 73*b + 402. Does 18 divide i(12)?
True
Let d = 201 - 200. Is 49 + -48 - (d + -510) a multiple of 10?
True
Let r(k) = -12*k - 126. Let c be r(-11). Suppose -3345 = -c*q + q + 2*p, 0 = -2*q - 5*p + 1367. Is q a multiple of 11?
True
Let z be (16/(-6))/(2 + (-56)/21). Let g(l) = 21*l**2 - 9*l**2 + 0*l**2 - 11*l**2 + z*l. Is g(4) a multiple of 10?
False
Let j(u) = 461*u**3 + 10*u**2 - 50*u - 6. Is j(3) a multiple of 22?
False
Suppose 4*p = -5*l - 280, -5*l = 2*p - p + 265. Let q = -30 - l. Does 12 divide q - 1 - (-12)/4?
True
Let b = 147 + -144. Suppose -a - a = -b*m - 252, 0 = -5*a - 2*m + 649. Is a a multiple of 31?
False
Let j = 26881 + -8301. Is 6 a factor of j?
False
Let r(s) = 11*s**3 + 319*s**2 - 55*s - 32. Is r(-29) a multiple of 224?
False
Let o be 5 - 1 - 108/(-36). Does 25 divide 541 + (o + -6)*6?
False
Let z = 21616 - 19918. Is z a multiple of 4?
False
Does 7 divide ((-30)/35)/3 + 5/((-70)/(-280844))?
False
Let y = 37576 - 26521. Does 33 divide y?
True
Let v be (6/4)/((-6)/(-348)). Let x = -39 + v. Is x a multiple of 24?
True
Suppose -4*r - r - 14*r = -299364. Is r a multiple of 152?
False
Suppose -7*l + 6*l = -37. Let o(t) = -12 - 27 + 21*t - l*t. Is 11 a factor of o(-10)?
True
Let z(h) = h**3 + 11*h**2 + 13*h - 5. Let a be z(-11). Let k = -560 - a. Is k/(-5) + (-1)/((-15)/(-6)) a multiple of 11?
False
Suppose -3*n = -i - 59611 - 4398, -3*i = -5*n + 106691. Is n a multiple of 6?
False
Let c(v) = v**2 + 2 + 8*v - 4*v - 6 - 5 + 0. Does 27 divide c(-18)?
True
Let f(b) = b - 1. Let u(o) = -1. Let w(h) = -6*f(h) + 4*u(h). Let s be w(1). Does 11 divide ((3 + s)*2)/(4/(-330))?
True
Let k(f) be the first derivative of f**6/2 + f**4/24 + 14*f**2 + 23. Let q(c) be the second derivative of k(c). Is q(1) a multiple of 7?
False
Let w be 1/2 - 46/8*-138. Let h = 428 + w. Is h a multiple of 26?
True
Does 9 divide (54/144)/(1/(-36))*(5 + -119)?
True
Suppose 92*c = -70*c + 345384. Is 41 a factor of c?
True
Suppose -4*i + 3*f = -6027, 1512 = i - 112*f + 113*f. Is i a multiple of 16?
False
Let b(m) be the second derivative of 3*m**5/10 - 7*m**4/3 + m**3/2 + 3*m**2/2 - 103*m. Does 77 divide b(7)?
False
Let r = -248 - -246. Is 12 a factor of (-2)/4*130*18/r?
False
Let t(g) = -g**2 - 13*g. Let b be t(-10). Is 5/(2/(b/3)) a multiple of 13?
False
Is 44/16 + (-22404294)/(-792) a multiple of 66?
False
Let q(g) = g - 20. Let u(s) = -2*s + 60. Let p(z) = 11*q(z) + 4*u(z). Does 38 divide p(6)?
True
Is (-944895)/(-525) + 1/5 a multiple of 60?
True
Let f = 290 + -95. Let p = f - -8. Is 26 a factor of p?
False
Let l(k) = 2*k - 303*k**3 - 5 - 21*k**2 + 299*k**3 - 1 + 3*k + 0. Is 63 a factor of l(-7)?
False
Let y(l) = l - 8*l - 5*l - 21 - 7*l. Let q be ((-70)/30)/((-1)/(-3)). Does 18 divide y(q)?
False
Suppose 0 = -16*k + 3*k - 13. Does 19 divide k/2*(-13984)/92?
True
Let q(r) = -3*r**2 + 34*r + 8. Let c be q(11). Suppose 5*k + 3*h = 70 - c, 0 = 4*h + 12. Is (6/k*-3)/(6/(-40)) a multiple of 9?
False
Let x be 0 + 1 + (-120)/(-30). Let h(s) = 6*s**3 + 7*s**2 - 3*s + 9. Is h(x) a multiple of 45?
False
Let u(q) = 19*q**2 + q. Let l(m) = -m**3 + 5*m**2 - 3*m - 3. Let b be l(3). Suppose -8*x + 2 = -b*x. Does 5 divide u(x)?
True
Let o(s) = 9*s**2 + 107*s + 779. Is 73 a factor of o(-38)?
True
Let h = 6323 + -878. Is h a multiple of 30?
False
Let n(t) = 11*t**2 + 7*t + 81. Is 25 a factor of n(8)?
False
Let b(q) = 1005*q**2 + 224*q + 3. Is b(-2) a multiple of 25?
True
Let n = 23 + -36. Let v = 37 + n. Is -3 + (7/(-21))/((-1)/v) a multiple of 2?
False
Let x(l) = -3*l**3 - 3*l**2 + 15*l + 54. Does 21 divide x(-6)?
True
Let p(g) = -g**3 - 9*g**2 + 2*g + 60. Is p(-19) a multiple of 24?
False
Let v(y) = y**2 - 2*y + 2. Let c be v(2). Let k(z) = 7*z**2 + 5*z + 1. Let j(i) = -21*i**2 - 16*i - 3. Let a(f) = c*j(f) + 7*k(f). Is 20 a factor of a(3)?
False
Let o be 2/((-3)/100*(-8)/252). Suppose -4*u + o = u. Is u a multiple of 10?
True
Let o(y) = y**2 + 13*y - 30. Let z be o(-15). Suppose -3*g + 3*v + 93 = z, 0 = -2*g - 2*v + 94 - 16. Suppose -g + 0 = -p. Is p a multiple of 7?
True
Let g(n) = -n**3 - 3*n**2 - n + 1. Let h be g(-3). Suppose -284 = -5*y + h*m - 113, 0 = -4*m + 4. Let c = y - 10. Does 5 divide c?
True
Let n(h) be the first derivative of 26*h**3/3 + 8*h**2 + 10*h + 170. Is 6 a factor of n(-3)?
False
Let b = 150517 + -105459. Is b a multiple of 284?
False
Suppose 0 = -2*g - 3*t + 875, 3*g - t = -0*t + 1285. Let a = -213 + g. Does 28 divide a?
False
Suppose 6*n = 9*n + 46*n. Let i be ((-2)/(4/(-10)))/1. Suppose n = i*x + t - 64, -3*t = -x - 8*t + 32. Does 2 divide x?
True
Suppose -32423 = -65*r - 16*r + 22981. Does 18 divide r?
True
Let u(x) = 16*x**3 - 4*x**2 - 9*x + 21. Let p be u(3). Let n = -231 + p. Is n a multiple of 19?
False
Suppose 2*o - 70 = 2*q, -q - 9 = -4*q. Let t = o - 34. Suppose t*g = 2*r - 124, 0 = -4*r - 3*g + 443 - 140. Is 36 a factor of r?
True
Suppose 39*a - 35*a - 24 = 0. Suppose 10080 = a*c + 3*c. Suppose -106*u - c = -110*u. Does 20 divide u?
True
Suppose 6*k - 6 = 3*k, 0 = -4*d + 5*k + 434. Suppose 2*a = -5*c + 10, -62*a - 20 = -3*c - 66*a. Suppose -2*z + 445 + d = c. Is 44 a factor of z?
False
Is 21 a factor of -4 + 873 - (11 - 23)?
False
Let d be -1 - (-1 + 56*(1 + -2)). Let q = d + -46. Suppose 5*y = q*y - 390. Does 25 divide y?
False
Let f = 2 + -26. Let q be 2/(-3) + 8/f*-269. Let d = q + -66. Does 15 divide d?
False
Let z = 2734 + -1574. Is z a multiple of 145?
True
Let a(i) = -2*i**2 - 70*i - 13. Let v be 1/(-2)*(-10 - -6)*-2. Let w be (62/v)/(4 + 28/(-8)). Is a(w) a multiple of 35?
False
Let j = -422 - -392. Let s(t) = 2*t**2 + 43*t - 44. Is 16 a factor of s(j)?
False
Suppose 374136 = 109*d + 257202 - 327568. Is d a multiple of 63?
False
Suppose 3*l = 7*l - 48. Suppose 1200 = l*u - 0*u. Suppose 0 = -5*y - 5, -4*y - 40 = -2*n + u. Is 6 a factor of n?
False
Suppose -4*i = p - 155, -2*i + 2*p = 49 - 129. Suppose 3*j - 3*b - i = 0, 19*b = -j + 23*b + 7. Is j a multiple of 2?
False
Suppose 5*k + 11*k = 9888. Let o = k - 309. Is o a multiple of 21?
False
Let z(v) = 4*v**2 - 2*v - 87. Let c(b) = -4*b + 9. Let l be c(0). Is 73 a factor of z(l)?
True
Let p = 70 - 12. Let o = p + -8. Suppose o*x = 55*x - 180. Does 18 divide x?
True
Suppose 2069692 = 34*w + 119*w + 65*w. Is 19 a factor of w?
False
Suppose -5*q - 17 = 5*p - 57, -p - 3*q = -14. Suppose s = 38*j - 33*j - 38, 34 = p*j - 3*s. Is j a multiple of 6?
False
Let h be (2/4)/(5/260). Let i be 4/(-26) - (1 - 420/h). Suppose 4*s - 125 = i. Is 6 a factor of s?
False
Let x be (-150)/20*12/(-9). Suppose 0*q = -2*q, -5*b + x = 2*q. Suppose -498 = -3*r - b*a, -2*r - 4*a = a - 332. Is r a multiple of 12?
False
Let b be 6/(-5) - (-26622)/(-290). Let q = b + 161. Is q a multiple of 12?
False
Let j(x) = -41*x + 113. Let a be j(14).