 Is r a multiple of 3?
False
Let g be 0/(-7) + (2/(-1) - -6). Suppose -3*p - 729 = -g*s, -2*s + 172 + 191 = -p. Suppose s = 7*b - 5*b. Does 9 divide b?
True
Suppose -23*b = -16*b - 0*b - 41398. Does 8 divide b?
False
Let d(t) = 11*t**2 + 104*t - 34. Does 54 divide d(46)?
True
Is (-5 - -19 - -36)*2*61 a multiple of 61?
True
Suppose 0 = 5*b - 10*b, 0 = 7*v + b - 36113. Is v a multiple of 67?
True
Let i be 3*(-14)/6*-1. Let d be 7 + (-1 - (i - 3)). Suppose -429 = d*a - 4*a + g, 3*a - 2*g = 641. Does 31 divide a?
True
Let t(n) be the second derivative of -18*n**5 + n**4/12 - 7*n**3/6 - 4*n**2 - 7*n. Does 10 divide t(-1)?
True
Let l be -1 + 37671/45 + (-2)/15. Suppose l = -4*z - 4*g, 0 = -4*g + 12. Let s = 337 + z. Is s a multiple of 12?
False
Let a be ((-20)/(-15))/((-4)/2994). Let u = -22 - -34. Does 8 divide -4 - a/u - (-3)/(-18)?
False
Suppose 4*f - 4*x = 68528, -82*x + 77*x + 51428 = 3*f. Does 27 divide f?
False
Suppose -2*w - 4*d = -28, w = 2*w - d - 2. Let m be (-9)/15*(w/(-3) - 3). Suppose 4*n + 2*q = 266, -m = 3*q - 12. Does 13 divide n?
True
Let p be -2*(0 + -124)/4. Suppose -39 + p = -i. Let a(d) = -d**3 - 24*d**2 - 27*d - 3. Is 21 a factor of a(i)?
False
Let z = 48288 - 30109. Is 53 a factor of z?
True
Let o(d) = -3*d**3 - 4*d**2 + 71*d + 71. Does 241 divide o(-8)?
False
Let s(b) = -9*b - 14. Let w be s(-2). Suppose -2*n - 4*y - 10 = 0, 3*n + 4 = y - w. Let g(c) = -5*c + 20. Does 5 divide g(n)?
True
Suppose 10*n = -3*n + 26. Suppose 3*h = 4*s + 161, s + 99 = n*h - 0*s. Suppose h = 4*z + 35. Is 2 a factor of z?
False
Suppose -2*r = 87 - 19. Is 8 a factor of (-2)/(5 + 26*r/176)?
True
Suppose 5*a - q = -3, 0*q + 2*q = -3*a + 6. Suppose -3*j + 0*j - 4*u + 4140 = a, 2*j - 2*u - 2760 = 0. Is j a multiple of 13?
False
Suppose 28*j - 42390 - 11542 + 4344 = 0. Is j a multiple of 18?
False
Let f be 5 - 4/8*-2598. Let d = 2024 - f. Is d a multiple of 48?
True
Suppose 3*z + 69*t = 73*t + 6122, 5*t - 8204 = -4*z. Is z a multiple of 93?
True
Let x(w) = 11*w**2 + 10*w + 37. Suppose 0*s + 40 = -8*s. Is x(s) a multiple of 12?
False
Suppose 13 - 45 = -16*r. Suppose r*b - 2*m - 123 = 91, -5*b + 3*m + 529 = 0. Is b a multiple of 11?
False
Let m(v) = 19*v**3 - v**2 + 16*v + 26. Let b be m(-3). Let a = -658 - -1427. Let w = b + a. Is 25 a factor of w?
True
Suppose 14*a = -12*a + 14*a + 7440. Is 20 a factor of a?
True
Let h(q) = 15*q**2 - 2*q**3 - 15*q - 232 + q**3 + 250 + 0*q**3. Let n be h(14). Suppose n*c = -4, -2*u + 4*c = -163 - 57. Is 32 a factor of u?
False
Let h be (6/12)/(1/10). Suppose -881 + 301 = -h*g. Is g a multiple of 6?
False
Suppose 3*d + 2*y - 7581 = 0, 12*y - 14*y = -4*d + 10136. Does 5 divide d?
False
Let j be (-25 + 4)*(-1)/3. Suppose 1890 = j*t - 3164. Let n = t + -456. Is 19 a factor of n?
True
Suppose 786*a = 4*z + 783*a - 226582, z = -2*a + 56640. Is 14 a factor of z?
True
Let c = 6277 + -1219. Is 18 a factor of c?
True
Let v(w) = 21*w + 35. Let a be v(-6). Let l = a + 217. Does 9 divide l?
True
Let o(k) = -542 + 562 + 10*k - 2*k**2 + 4*k**2. Let x be o(-5). Suppose 124 = b - x. Does 36 divide b?
True
Suppose 11423 = u - x - 599, 0 = 4*u - 3*x - 48081. Does 24 divide u?
False
Let y be (-14 + 18)/(0 - -2). Suppose 2*j = -5*z + 904, y*j = -0*j - 4*z + 904. Suppose -192 = -4*s + j. Is s a multiple of 18?
False
Let n(q) = 1356*q**2 - 116*q + 3. Is n(1) a multiple of 5?
False
Suppose 0 = -6*y - 3*y + 360. Suppose -y + 25 = 3*m. Is 13 a factor of m/((0 - 5)/20)?
False
Does 7 divide 14546/3*(-15)/(-5)*(1 + 0)?
True
Let t be ((-128)/(-12) - 3) + (-3)/(-9). Suppose 1295 = t*m - 1345. Is 30 a factor of m?
True
Suppose 32340 - 8045 = 24*z - 89945. Does 40 divide z?
True
Let i(t) = t + 1. Let q(k) = 1 + 211*k - 206*k - 19. Let x(h) = 3*i(h) + q(h). Does 11 divide x(6)?
True
Suppose 8 = i + 11. Let b(x) = 4*x**2 + x + 2. Let v be b(i). Let s = 62 - v. Does 9 divide s?
True
Let q be 12/(-20) - (-5015)/25. Is (16/q*35)/((-4)/(-10)) a multiple of 7?
True
Let t = 7 + -6. Suppose 5*y = 11 - t. Suppose 2 = a, 215 = 5*u - y*a - 3*a. Is 7 a factor of u?
False
Suppose -1935*i = -1892*i - 1413152. Is 316 a factor of i?
True
Let b(a) = 2087*a**3 - 318*a**2 + 2*a - 11. Is 15 a factor of b(3)?
False
Let x(h) = 20*h**2 - 317*h - 98. Does 20 divide x(34)?
False
Let y(i) = 4*i**3 - 29*i**2 - 51*i + 351. Does 15 divide y(21)?
True
Suppose -2*d - 350 = -4*s, -4*d - 17*s + 22*s = 688. Let l = d + 562. Is l a multiple of 5?
True
Suppose 163*b - 148142 = -14645. Does 5 divide b?
False
Suppose -15732*j + 15713*j = -35169. Is j a multiple of 5?
False
Suppose 0 = -22*r - 13*r - 25305. Let a = r - -1035. Does 34 divide a?
False
Let s(l) = l**3 + 31*l**2 + 62*l + 120. Let p be s(-29). Suppose 5*w - 1323 - 648 = -3*n, 0 = p*w + 5*n - 1569. Is 9 a factor of w?
True
Let s = -211 - -33. Let c = -299 - s. Let u = -11 - c. Is 11 a factor of u?
True
Suppose -8*m + 5*m + 81 = -5*h, -54 = -2*m - 5*h. Does 3 divide (72/(-10))/(m/(-720))?
True
Let i be (-2 - -7)*(4 + (-12)/4). Is 20 a factor of 520/6*(8 - i)?
True
Is (-67 - -66) + 5836 + (-4 - -7) a multiple of 42?
True
Let a be -9*3/3 + (11 - 8). Let k be 26800/48 - ((-8)/a + 0). Suppose -4*o + 2*j = -428, 5*o + 4*j - k = j. Is o a multiple of 11?
False
Let h be 20/4 + 2 - 5. Suppose -h*z - r = z - 605, 5*z - r = 1019. Does 20 divide z?
False
Let w = 2520 + -1600. Is 13 a factor of w?
False
Is 16 a factor of 18 + -12 - (-5579 + -14)?
False
Let m = -16 - -467. Let n = 865 - m. Is n a multiple of 23?
True
Let d(k) = k**3 - 26*k**2 + 23*k - 118. Is 4 a factor of d(28)?
False
Let m(b) = 5*b**2 - 20*b + 341. Is m(-48) a multiple of 21?
False
Let i(m) = 182*m - 4. Let j(t) = t**3 + 13*t**2 + 13*t + 13. Let x be j(-12). Let u be i(x). Is (u/(-10))/(16/(-80)) a multiple of 27?
False
Suppose -4*b + 16*j + 25796 = 18*j, -b = 2*j - 6455. Does 29 divide b?
False
Suppose 5*z - 174 = 2*m, -2*m - 111 - 59 = -4*z. Let y = -60 - m. Suppose -y = -4*f + 43. Is 2 a factor of f?
False
Let h = 81 + 656. Let d = h + -371. Is d a multiple of 90?
False
Let j(l) = 22*l**3 - 483*l**2 + 6*l + 74. Is j(22) a multiple of 46?
True
Suppose 124 = -118*m + 122*m. Suppose -37*d + 384 = -m*d. Suppose r - d = 48. Does 8 divide r?
True
Suppose 6*q + 4*h + 9 = 11*q, 0 = q - 3*h + 7. Suppose 155 = l + q*o, 4*o - 146 = -l + 2*o. Suppose 4*s = 2*b + 560, -3*s - l = -4*s - 3*b. Does 28 divide s?
True
Let w(c) = -23*c**3 - 21*c - 13*c**2 - 2*c + 10 - 17*c**3 + 41*c**3. Does 23 divide w(15)?
True
Let p = -5 + -10. Is 20 a factor of (4 - (23 + -4))*40/p?
True
Is 13 a factor of (1/((-1)/9))/(21/17346*-7)?
False
Let l(z) = 92*z**2 - 115*z + 1401. Is 35 a factor of l(13)?
False
Let n be 6/(-4)*20/15. Does 12 divide n/(-3)*(1*216)/3?
True
Let d(i) = 6*i**2 - 2*i - 20. Let m be d(-10). Suppose 2*r - 240 = p, 5*r + 0*r - 4*p = m. Is (54/(-15))/((-9)/r) a multiple of 16?
True
Suppose 5*o - 49380 + 19841 = h, 0 = 3*o + 2*h - 17726. Does 53 divide o?
False
Let j = 19808 - 6891. Is 29 a factor of j?
False
Let i(j) = 159*j - j + 6548 - 6601 - 30*j. Is 32 a factor of i(5)?
False
Let r = 168 - 164. Suppose -r*c - 62 = -3*d + 41, 3*d = 5*c + 101. Is d a multiple of 37?
True
Suppose 0 = -5*g - t - 13497 + 41281, 2*t = -2*g + 11112. Suppose -g = -29*q + 330. Is q a multiple of 5?
False
Let k = -12163 - -17122. Is 9 a factor of k?
True
Let v = -5072 - -13262. Is v a multiple of 18?
True
Suppose 41400 = 5*c - 22*n + 27*n, -2*n - 33120 = -4*c. Is c a multiple of 90?
True
Let y = -5284 - -14180. Is 64 a factor of y?
True
Let n = -38 - -22. Let m be 8/(-6)*(-24)/n. Is 4 a factor of -2 - -2 - (-11 - m)?
False
Suppose 4*g = 5*v + 35, 5*g - 3*v = 18 + 16. Let h be 3 + 4854/(-4)*4/(-6). Suppose g*k + 2*k - h = 0. Does 17 divide k?
False
Let i = -487 + 743. Let h = -142 + i. Is 10 a factor of h?
False
Let j(y) = 24*y**2 + 97*y - 1076. Is j(14) a multiple of 11?
False
Suppose 0 = -x - 4*l + 13, 5*l + 3 = x + 4*l. Is 23 a factor of ((-609)/x)/((-18)/210)?
False
Suppose 136*t = 137*t + 2*w - 1744, -2*t + 3487 = 3*w. Is t a multiple of 26?
True
Let n(u) = -u**2 + 9*u - 10. Let m be n(9). Let d(b) = 14*b**2 + 34*b + 20. Is d(m) a multiple of 18?
True
Suppose 15*r + 27982 - 101932 = 0. Is 34 a factor of r?
True
Let z be -6 + 8 + (3 - -8). Let q = z - -9. Suppose q - 174 = -2*o. Does 7 divide o?
False
Let