
False
Let a = 16708 + -12045. Is 16 a factor of a?
False
Let r(m) = m**3 + 29*m**2 + 27*m - 23. Let i be r(-28). Suppose -5*w + i*d + 500 = 0, 5*w + 0*w = d + 508. Is 5 a factor of w?
False
Let c(i) be the second derivative of 117*i**5/20 - i**4/12 - i**3/3 + 3*i**2/2 + i. Let s = 10721 + -10720. Is 30 a factor of c(s)?
False
Suppose 21*t - 24*t = -11*m + 82225, -22425 = -3*m - 5*t. Is 65 a factor of m?
True
Let w(y) = -2*y**2 - 2*y + 5. Let r be w(2). Does 26 divide 185/((-1)/(r/1))?
False
Suppose 5*m + 3 = 6*m. Suppose -2*q - 5*i = -152, -m*q + q + 5*i + 152 = 0. Is q a multiple of 19?
True
Suppose -3*h + 18 - 66 = 0. Let n = h + 23. Suppose -n*l = -3*l - 64. Is l a multiple of 12?
False
Let m be 11187/44 + (-3)/(-4). Let o = m + -135. Does 10 divide o?
True
Suppose -11*i = -12 + 23. Is 20 a factor of (1/(i/4))/((-2)/80)?
True
Let r = -4826 + 6932. Suppose 4*g = 17*g + r. Let z = g - -297. Is 10 a factor of z?
False
Suppose -23*k - 19 = -5*j - 26*k, -2*j + 3*k + 16 = 0. Suppose -5*u + 33*t - 30*t + 800 = 0, j*t + 160 = u. Is u a multiple of 20?
True
Let w(n) = 2*n**2 - 6*n. Let r be (-49)/(-14) + (-1)/2. Let v be w(r). Is 37 a factor of (11 - 7) + 144 + v?
True
Let s = -20031 + 46993. Is 26 a factor of s?
True
Suppose -g = 7*g + 32. Let w be 1*(-1)/1 + -2 + -1. Is 10 a factor of 143 + 0 + -3*w/g?
True
Suppose 41*d = 37*d + 20, 3*o - d = 472. Does 50 divide o?
False
Let u(m) be the third derivative of 5*m**4/8 - 31*m**3/2 + 67*m**2. Is 8 a factor of u(21)?
False
Let y be 3/(-2)*(-28)/6. Is (-9)/(15/35*y/(-2)) a multiple of 2?
True
Let h = -209 + 165. Let o(g) = -g**3 - 42*g**2 + 70*g - 114. Is 42 a factor of o(h)?
False
Let h = 23420 - 14520. Is 89 a factor of h?
True
Let l(v) = 196*v**2 - 79*v - 20. Is 119 a factor of l(5)?
False
Let k(m) = 361*m - 3335. Is 40 a factor of k(15)?
True
Let k(a) = -18*a + 12. Let h = -88 + 87. Let u be -2 + h/(2/(-12)*-2). Is 11 a factor of k(u)?
False
Suppose -39*n + 9135 = -53109. Is 7 a factor of n?
True
Let m = -118 - -120. Does 4 divide 2*427/28*m?
False
Suppose 0 = 149*b - 17189 - 49116. Is 89 a factor of b?
True
Let g(j) = -j**3 + 15*j**2 - 22*j - 9. Let r be g(12). Suppose -6*h + 573 = r. Is 2 a factor of h?
False
Suppose 775*m = 766*m - 351. Let n(k) = k + 276. Does 17 divide n(m)?
False
Is 35 a factor of 7/((-22)/165*(-9)/366)?
True
Let z be ((1*-3)/(-3))/((-6)/(-12)). Suppose 3*f - 2*m = -394, -3*m + 49 = -z*f - 217. Let s = 286 + f. Is s a multiple of 20?
False
Suppose 3*u - 3*d - 6600 = -0*d, 5*u - 11015 = 2*d. Let m = 4249 - u. Is 73 a factor of m?
True
Let b(m) = -m - 67. Let v be b(49). Let o = 316 + v. Is o a multiple of 40?
True
Suppose 2*m - 11416 = -2*r, 7*m - 3*m - r - 22842 = 0. Is m a multiple of 171?
False
Suppose 4*m - 70*m = -449526. Is 24 a factor of m?
False
Let r = 494 + -514. Does 48 divide 291 - (r/(-35) + (-34)/(-14))?
True
Suppose -14*u + 2599 = -6459. Does 6 divide u?
False
Let n = 203 - 207. Is (-860)/50*(-16 + n) a multiple of 24?
False
Suppose -2*a - 5*y - 5 - 4 = 0, 4*a = -3*y - 25. Let i(s) = -s**3 - 3*s**2 + 11*s + 4. Is i(a) a multiple of 15?
False
Suppose 7682212 = 541*i - 3366631. Is 6 a factor of i?
False
Suppose -7*y = -4*u - 4*y + 17304, 0 = -2*u + y + 8652. Is u a multiple of 103?
True
Let d(n) be the second derivative of -n**5/10 - 17*n**4/4 - 9*n**3/2 + 51*n**2/2 + 4*n. Is d(-25) a multiple of 6?
False
Let s be ((-4104)/63)/(4/(-28)). Suppose -460*h + 560 = -s*h. Does 7 divide h?
True
Suppose 5*b = 38 - 13. Let y(x) = -1 - 476*x + 433*x + b. Is 18 a factor of y(-2)?
True
Let n(y) = 7*y + 22. Let b(v) = -8*v - 23. Let d(o) = 3*b(o) + 4*n(o). Suppose -56*a = -72*a + 224. Is d(a) a multiple of 11?
False
Suppose 64*y - 74566 = 18*y. Suppose -2*q - 3*d + 2703 = 3*q, 3*q + d - y = 0. Is q a multiple of 20?
True
Let g(h) = -4*h**3 - 4*h**2 + 12*h - 18. Let o(b) = -3*b**3 - 4*b**2 + 12*b - 17. Let s(j) = -4*g(j) + 5*o(j). Is 4 a factor of s(5)?
True
Let v(i) = -2*i - 24. Let c be v(-11). Let s be -2 + -2 + 126/9. Is 24 a factor of (2 - (s + -6))*43/c?
False
Let k(n) = 44*n + 577. Let f be k(-15). Let u(b) = 125*b - 1. Let p be u(-1). Let m = f - p. Is m a multiple of 23?
False
Let u(n) = 11*n**2 + 37*n + 83. Let d(a) = 5*a**2 + 19*a + 42. Let v(c) = 5*d(c) - 2*u(c). Is v(-12) a multiple of 47?
False
Suppose -5*m - 3*t - 2*t + 85 = 0, t + 4 = 0. Let x(k) = -k**3 + 22*k**2 - 17*k - 42. Is x(m) a multiple of 2?
True
Let n(o) = -2*o**2 - 16*o + 20. Let f be n(-9). Suppose -l = 5*r - 258, f*r + l - 50 - 52 = 0. Is 4 a factor of r?
True
Let g be 4721/(-10) - 17/(-170). Let k = -103 - g. Does 9 divide k?
True
Let h = 12630 + 2372. Is h a multiple of 60?
False
Let r(p) = -19*p - 44. Let g(n) = -20*n - 43. Let d(c) = 3*g(c) - 2*r(c). Let t be d(-14). Let z = 377 - t. Does 20 divide z?
False
Let d be (1 + -119)*(-18)/(-12). Let j = d - -314. Does 24 divide j?
False
Let z be 4/((-8)/(-10)) + 14. Let i(a) = -19*a - 15 - 12 - z + 4 - a**2. Is 14 a factor of i(-9)?
False
Let x be ((-8)/(-6))/2 - 10/(-3). Suppose 3*d + 18 = x*f, -3*d = f + 4 - 1. Is 8 a factor of d/(-22)*-2 - (-761)/11?
False
Let l = 6 - -38. Let v = -49 + l. Let q = 11 - v. Is 14 a factor of q?
False
Let w = -2481 - -4746. Is w a multiple of 12?
False
Let a be 20/14 - 24/56. Suppose -5*x + 4*i = -3, -i - 5 = -3*x + a. Suppose 24 = m + 2*u, -x*m + u + 39 = 2. Is m a multiple of 13?
False
Is 92 a factor of (-9805)/106*(-376)/15 - 2/3?
False
Does 31 divide (82999/(-6)*(-321)/(-1498))/(1/(-4))?
False
Let z(r) = r**2 - 2*r + 2. Let y(a) = a**2 + 10*a. Let w be y(-9). Let b(x) = 3*x + 21. Let k be b(w). Is z(k) a multiple of 5?
True
Suppose 5*k - 24 = -k. Suppose k*a - 133 = 507. Is a a multiple of 16?
True
Let r = -54 - -57. Suppose -324 = -r*d + 2*u + 285, 819 = 4*d - 5*u. Is 8 a factor of d?
False
Let n(h) = -66*h**3 + 61*h**2 - 2*h - 16. Does 11 divide n(-4)?
True
Let u(m) = -5*m**3 + 38*m**2 + 67*m + 128. Let a(h) = -h**3 - h**2 - 1. Let d(o) = 4*a(o) - u(o). Is 37 a factor of d(44)?
False
Let q be ((-17)/(-5) + -3)*450. Suppose -3*m = -621 + q. Is 18 a factor of m?
False
Suppose 7*i - 26*i + 75202 = 0. Is i/7 + (-330)/770 a multiple of 8?
False
Is (-2720)/(-560) - (-5)/(-1) - 160414/(-14) a multiple of 31?
False
Let i(n) = 3*n**2 + 13*n + 41. Let x be i(-7). Let b = -205 + 123. Let d = b + x. Is d even?
False
Suppose -157*v = -23*v - 1497450. Does 15 divide v?
True
Suppose 3*f - 35 = 2*v - 5, -3*f - 4*v + 48 = 0. Does 9 divide -3*(-4)/f - -8*10?
True
Is 8 a factor of (-5)/(-6) + (-23238)/(-108)?
True
Let x = -771 - -1774. Suppose -37 - x = -10*n. Does 13 divide (n/(-20))/((21/90)/(-7))?
True
Let n(g) = -117*g**3 + 8*g**2 + 2*g - 53. Does 22 divide n(-5)?
True
Let h = 7471 - 4582. Is 27 a factor of h?
True
Is (-24)/15 + (-279162)/(-195) a multiple of 5?
True
Let o = 52 + -61. Let k(m) = m**3 + 8*m**2 - 10*m - 7. Let p be k(o). Suppose 107 = 2*y - 3*s, 2*y - p*s + 36 = 3*y. Is 8 a factor of y?
False
Let p be -10*(-5)/(6 - -4). Suppose -p*m + 1780 = -5780. Suppose 10*w - w - m = 0. Is w a multiple of 14?
True
Suppose -5*l - 27 = 148. Let d = 37 + l. Suppose 0 = -s - d*s + 51. Is s a multiple of 3?
False
Suppose 0 = -l - 21*x + 26*x + 17, 0 = -3*x - 6. Let c be 1/(-2)*(-7 + -1). Suppose l = c*b - 13, 2*v = -2*b + 534. Is 38 a factor of v?
False
Let b(h) be the third derivative of -13*h**6/8 - h**4/8 - h**3/3 - 47*h**2. Is 19 a factor of b(-1)?
False
Let n(l) = 21*l - 3. Let r be n(1). Suppose -2 = 2*p - r. Does 6 divide p - 5 - (-19 + -2)?
True
Let y = 26279 - 23034. Is 7 a factor of y?
False
Let v = -10 - -19. Let k(w) = -w**3 + 12*w**2 - 14*w - 4. Let q be k(v). Let c = q + -44. Is 4 a factor of c?
False
Let m(t) be the third derivative of -2*t**2 + 1/3*t**3 - t**4 + 0*t + 0. Is 4 a factor of m(-4)?
False
Let f(y) = 22 + 13*y**2 - 21*y + 17*y - 4*y**3 + 2*y**3 + 3*y**3. Does 44 divide f(-11)?
True
Is 60 a factor of 870/(9*(-11)/(-990))?
True
Let y(m) = 3*m**2 + 58*m - 11. Suppose -454 = 20*r - 54. Is y(r) a multiple of 14?
False
Let v = -125 + 122. Let r = 181 + v. Does 31 divide r?
False
Is 23 a factor of ((-24)/(-66))/((-35)/(-15785))?
False
Let m = 18955 - 15057. Is m a multiple of 11?
False
Let l(n) = 6*n**2 + 20*n - 14. Let z = 26 - 37. Let t be l(z). Suppose -t + 52 = -4*i. Is i a multiple of 10?
True
Suppos