iple of 16?
False
Suppose -9*j = -2*j + 119. Is (j + 20)/(6/274) a multiple of 9?
False
Suppose -2*q = 3*w - 4*w - 56, -w = -5*q + 71. Let u = -46 - w. Suppose 0 = 2*p - 3*a - 61, u*p = -p + 5*a + 41. Does 2 divide p?
True
Let z = 8 + 3. Suppose 3*g - 44 + z = 0. Suppose -t + 28 = -g. Is t a multiple of 13?
True
Let v(x) = 2*x**2 + 31*x + 70. Let f be v(-13). Suppose -2*o + f*i - 274 = -3*o, -4*o + 1096 = -5*i. Is 5 a factor of o?
False
Let h(s) = 3929*s - 2799. Is h(6) a multiple of 128?
False
Let u(o) = 871*o**3 + 8*o**2 - 26*o - 3. Does 25 divide u(3)?
False
Let w = 602 + 121. Suppose 6*p - 315 = w. Is p a multiple of 40?
False
Suppose -3*x - 3*t + 1625 = -2086, -9 = 3*t. Is x a multiple of 31?
True
Let r be (3 + -11)/(-2 - 0). Let a(b) = -r + 5*b**2 - 2*b**2 - 41*b**3 - 2 - 2*b**2 - 5*b. Is a(-1) a multiple of 6?
False
Let w = -53 - -71. Let f = -16 + w. Suppose -20 = -f*s - 0*s. Is 5 a factor of s?
True
Let j(f) = 776*f**2 - 387*f - 2360. Is 26 a factor of j(-6)?
True
Let i be (-2)/(-26)*0 + 431 + 0. Let r = i - -190. Is r a multiple of 27?
True
Let f = -12014 - -15995. Is 3 a factor of f?
True
Let q be (-21*(1 + 4 + -4))/(-1). Suppose 3*l - q = -0. Is (-1142)/(-6) + l/(-21) a multiple of 38?
True
Suppose 2*z = 4*k - 11100, -3*k - 4542 = -z - 12864. Is k a multiple of 23?
False
Let y = 66 - 60. Suppose 1548 = 18*j - y*j. Is 5 a factor of j?
False
Let r = 8421 - 7338. Does 3 divide r?
True
Let d(i) = -4*i - 40. Let y be d(-29). Suppose -y*f = -74*f. Is 19 a factor of (18*(-9)/(-2))/(f - -1)?
False
Suppose -217 - 15 = 4*f. Let j = -9 - f. Suppose 0 = -2*h + 23 + j. Is h a multiple of 6?
True
Let g = 924 - 918. Let m(v) be the third derivative of v**5/20 - v**4/2 - 11*v**3/6 - v**2. Is 25 a factor of m(g)?
True
Suppose -297 = -7*t + 123. Suppose -3*f + 24 = -t. Suppose 31*j - f*j = 66. Is 7 a factor of j?
False
Let c = -905 - -898. Let o(t) = -t**3 - 13*t - 8. Is 71 a factor of o(c)?
True
Suppose 99750 = 13*b + 62*b. Is 19 a factor of b?
True
Let y(u) = -1037*u + 2074. Let z be y(2). Suppose -5*c + 79 = 3*d, -4*d - 24 = 3*c - 133. Suppose z = s - 51 + d. Is 6 a factor of s?
False
Let g(h) be the second derivative of -h**5/20 + 31*h**4/12 + 73*h**3/6 - 32*h**2 - 5*h - 17. Does 5 divide g(33)?
False
Let t(c) = 0*c + c + 31 + 6*c + 19*c**2 + c**3 + 7*c. Is 7 a factor of t(-18)?
False
Let r(s) = 65*s - 45. Let p be r(14). Let i = -370 + p. Is i a multiple of 11?
True
Suppose -c - n = -10 - 100, -446 = -4*c - n. Let q = c + 652. Is 8 a factor of q?
False
Does 12 divide 136/60*-129*75*(-6)/15?
True
Suppose 7*g = -2*u + 9*g - 118, 0 = -4*g + 12. Let r = u - -106. Is r a multiple of 8?
False
Suppose 32*z - 185*z + 697033 = -814607. Does 130 divide z?
True
Suppose 21*a = 59*a + 7*a - 161955. Does 9 divide a?
False
Let m(q) = q**2 + q. Let t(f) = 4*f**3 + 3*f**2 - 6*f + 11. Let p(v) = -2*m(v) + t(v). Let r be ((-5)/(-40))/(7/168). Is p(r) a multiple of 13?
True
Let r(h) = 830*h**2 + 128*h - 552. Is r(4) a multiple of 20?
True
Let p = -111 - -261. Let j be -4 + 12/(9/((-216)/(-32))). Suppose -p = -5*i - j*i. Is i a multiple of 9?
False
Let v be (-139 - -2)*2/(-2). Suppose 87*f + 52 - 378 - 1240 = 0. Let w = v - f. Does 17 divide w?
True
Suppose -u - 3*u = -4*w - 24, 4*w - 75 = -5*u. Let j(x) be the second derivative of x**3/6 + 10*x**2 - 28*x. Does 16 divide j(u)?
False
Let y be 30/(-8)*(6 - -2 - -8). Is y/(-3*(-7)/(-147)) a multiple of 60?
True
Let c = -661 - -647. Let s(u) = -2*u**2 - 51*u - 29. Is s(c) a multiple of 8?
False
Suppose 10*o = -o + 6809. Suppose 2*r - o = -19. Is r a multiple of 30?
True
Suppose 8*b = 13633 + 11690 + 22773. Does 7 divide b?
False
Let g = -29228 + 42620. Is g a multiple of 144?
True
Let f be (5 - (-2 - -5)) + 1/1. Suppose 2*y + 4*w + 8 = 0, 3*y = -f*w + w. Is (4/(-12))/(y*2/(-96)) a multiple of 2?
True
Suppose -18*v + 4*c = -23*v + 900, 2*c = 5*v - 900. Is 3 a factor of v?
True
Suppose 19*i - 3*i + 96 = 0. Let l(w) = -57*w - 50. Is 28 a factor of l(i)?
False
Does 32 divide 147/30 + -5 + (-42910)/(-100)?
False
Is 46 a factor of (902902/(-861))/((-26)/12 + 3 + -1)?
False
Let k be (77/11 - 143) + 8/(-2). Let d = k - -236. Is d a multiple of 3?
True
Let h be (-4)/(-14) + 122/14. Let o(x) = 54*x - 10. Does 29 divide o(h)?
False
Let x(f) = f**3 + 4*f**2 - 6*f - 9. Let t be x(-2). Suppose t*l = 47 + 393. Is 18 a factor of l?
False
Suppose p = -5*d + 142, 2*p = -p - 9. Suppose 4*m + 7300 = d*m. Is m a multiple of 20?
False
Let t be (-2180)/(-14) + (-2)/(-7). Let l = -368 + 375. Is (7 - t/21) + 1676/l a multiple of 16?
False
Let q(o) = -24*o - 3. Let v be q(3). Let p(k) = -10*k + 42. Let i be p(12). Does 13 divide (i/(-10))/((-5)/v)?
True
Let x = 5165 + -5228. Let c be 10*(1 + 101/5). Is 10 a factor of c/7 - (-18)/x?
True
Let z = 2681 - 1533. Let n = z - 400. Is n a multiple of 17?
True
Let q = 14928 + -11531. Is q a multiple of 79?
True
Let t(r) be the first derivative of r**3/3 + 15*r**2/2 + 5*r + 11. Let w be t(-10). Let y = -18 - w. Does 15 divide y?
False
Suppose -3*i + i = -118. Let x = 148 - 145. Suppose -p + t = p - 36, x*p = -t + i. Does 19 divide p?
True
Let z(h) = -h**3 - 18*h**2 - 23*h - 25. Let v be z(-17). Suppose v = 2*m - 299. Is m a multiple of 25?
False
Let s(t) = -2728*t**3 + t**2 - 34*t - 60. Is s(-2) a multiple of 106?
True
Let r = 212 + -211. Does 26 divide (24/(-4))/(-2) + 426*r?
False
Suppose -3*t + 2*o - 4653 = -13906, 2*o - 3071 = -t. Is t a multiple of 39?
True
Let y = 604 + -485. Suppose 0 = -y*k + 117*k + 288. Does 8 divide k?
True
Let y(u) = u**3 + 27*u**2 - 13*u - 60. Let d = -60 + 34. Is 18 a factor of y(d)?
True
Let x = -104 + 108. Suppose -2*q + 2 = 2*y + x, 3*y - 2*q - 12 = 0. Suppose 2*g = 5*b - 1019, -y*b + 5*g + 190 = -b. Does 17 divide b?
False
Suppose 3*m = 3*p + 99, -5*m + 6*m - 24 = -2*p. Let x(c) = 18*c + 28. Is 26 a factor of x(m)?
False
Let p(v) = 46*v**2 + 12*v + 36. Let u be p(-3). Let j = -282 + u. Is 4 a factor of j?
True
Is 9 a factor of ((80520/36)/22 + -11)*303/4?
False
Let z = -769 + 776. Suppose -4*w - z*q = -4*q - 369, w = -3*q + 99. Is 5 a factor of w?
True
Let r = -595 - -579. Let y(v) = -69*v - 324. Does 30 divide y(r)?
True
Let r be ((-96)/5)/(4/50). Let d = 689 + -333. Let w = d + r. Does 16 divide w?
False
Let g = 13492 + -3602. Is g a multiple of 121?
False
Let l(s) be the first derivative of s**4/4 + 20*s**3/3 + 11*s**2/2 - 67*s + 102. Is 11 a factor of l(-19)?
False
Let b = -39 - -40. Suppose i - 1 = b. Suppose i*m = 3*w - 76, 3*w + m - 96 = -2*m. Is 21 a factor of w?
False
Let m(k) = -k**3 - k**2 - 2*k + 7. Let v be m(0). Suppose 0 = w - 2, -y - 3*w + v = -2*w. Suppose -a - 330 = -y*r, -r + 8 + 58 = 5*a. Is r a multiple of 12?
False
Let m = -24 - -28. Let o be (96/36)/(m/30). Suppose -5*s - o = 0, 2*s = 2*r - r - 20. Is r a multiple of 4?
True
Suppose 0 = -15*o + 6677 + 33778. Does 29 divide o?
True
Let u = -242 + 352. Is u - 8/12*-3 a multiple of 16?
True
Suppose -4*u = 2*b - 315 - 193, 0 = 8*b + 5*u - 2087. Does 6 divide b?
True
Let w(z) = -4*z + 7. Let f be w(0). Let r be 0 + (f - 10/2). Suppose 3*k + r = -d, 5*k = -d - 11 - 1. Is 13 a factor of d?
True
Let w = 834 - 836. Suppose 5*l = 104 - 489. Is (l/w)/((-5)/(-10)) a multiple of 7?
True
Suppose 472 = -35*x + 37*x. Suppose 5*w = 4*u - 236, -w + 2*w - x = -4*u. Suppose u = 5*t - 81. Does 5 divide t?
False
Let i(m) = 2*m**2 - 8*m - 12. Let a be i(-4). Suppose -160 - a = -g. Suppose -667 + g = -5*z. Is z a multiple of 10?
False
Suppose -7*p = -13*p + 30. Suppose p*b - 1284 = -4*x, 2*x = b - 4*b + 772. Let c = -74 + b. Does 21 divide c?
False
Does 24 divide 35/(-21) - (-83868)/36?
True
Suppose -26 = -4*q - 2*d, -q - d + 2 + 6 = 0. Let o be 2*2/4 + 77. Is 4 a factor of (-55)/(-22)*o/q?
False
Let z(o) = -228*o**3 + 44*o**2 + 11*o - 16. Is z(-5) a multiple of 153?
True
Suppose 1375 = 5*u + q + 247, -u = -q - 228. Let a = u + -72. Does 22 divide a?
True
Suppose -w - 3*c + 2910 = 0, 6043 + 5665 = 4*w - 5*c. Is 82 a factor of w?
False
Let z(s) = 18*s**2 + 2*s + 830. Let o be (-2)/(-9) + (-16)/72. Is 27 a factor of z(o)?
False
Let r be (-17650)/(-275) - (-2)/(-11). Is 56 a factor of 4926/8 - (-16)/r?
True
Let o be 102/187 - (-78)/(-22). Does 8 divide (753/(-21) - o)/((-3)/42)?
False
Suppose 5*t + 9349 = -810*d + 813*