*k - 1593*k - 8294 = 0. Suppose -u = -3*t - 784, -5*t + 4674 - k = 5*u. Is u a multiple of 16?
True
Let v = 1389 + 706. Is v a multiple of 31?
False
Let i be 2/(-16)*2 + 45033/68. Let o = i + -434. Is 37 a factor of o?
False
Suppose n - 928 = -3*h, 5*h + 2*n + 54 - 1599 = 0. Suppose 3*d + 4*i = i + 429, 0 = 2*d - 3*i - h. Is d a multiple of 33?
False
Suppose 20*u + 4*u + 92073 = 286377. Is 13 a factor of u?
False
Let v be 658/(-5) + 14/(-35). Let y = v + 115. Let s = y - -42. Is 14 a factor of s?
False
Let y = 2 - -16. Suppose -y*u + 13*u = -15. Suppose 0 = n + 5*h - u - 39, h - 26 = -n. Is n a multiple of 11?
True
Let x be (-4)/14*(-10 - -3). Suppose 4*s + 358 = 5*t, 3*s = -4*t + x*s + 278. Does 3 divide t?
False
Let a = 16223 - 14223. Is 40 a factor of a?
True
Let f(b) be the first derivative of b**3/3 + 3*b**2/2 + 450*b + 107. Is f(0) a multiple of 39?
False
Suppose -3*c = 2*o - 28478, -521 = o - 519. Is c a multiple of 4?
False
Suppose -5*c + 20 = g, -2*c + 6*c = -g + 17. Suppose -2*x = c*z - 16, -x = 2*x - z - 2. Is x/(-18) + (-1516)/(-36) a multiple of 7?
True
Let f(t) be the second derivative of -t**4/12 - 13*t**3/6 - 11*t**2/2 - 16*t. Let j be f(-12). Is -6*j/((-15)/40) a multiple of 8?
True
Suppose -2*i = -21*i. Suppose o - k + 3*k + 4 = i, -k = o + 1. Suppose -118 - 108 = -o*t. Does 7 divide t?
False
Let l(s) = -s**2 - 14*s - 4. Let t be l(-13). Let x be 32/12*t/6. Suppose 5*j - 764 = 2*h - 63, -x*j + 5*h = -554. Is 47 a factor of j?
True
Suppose -1659 = -5*q + 406. Suppose -3*n = -4*z - 612, -2*n - 5*z = -6*z - q. Suppose 4*d + 5*o - 73 = n, 3*o = -2*d + 139. Does 37 divide d?
True
Let w = -25008 + 35828. Does 14 divide w?
False
Let f be 11/(154/(-4)) + 74/14. Suppose -4*j + f*j + 40 = i, -3*j - 202 = -5*i. Is 3 a factor of i?
False
Suppose 0 = l + 4*l - 3*y + 68, 0 = -4*l - y - 51. Let g(o) = -o**3 - 12*o**2 + 15*o + 20. Let a be g(l). Is 12 a factor of ((-598)/(-39))/((-1)/a)?
False
Let q(h) = h**3 + 10*h**2 - h. Let y be q(-10). Is 527/5 + y/(-25) a multiple of 5?
True
Suppose -2*q = 4*q - 54. Suppose 13 = 3*l - h, -l - 4*h + q*h + 9 = 0. Does 19 divide (-645)/(-10) + 2/l?
False
Suppose 196075 = 141*k + 27180 - 225905. Is k a multiple of 35?
True
Let b(z) = 8*z + 25 - 35*z - 4*z. Is 15 a factor of b(-5)?
True
Suppose 11 = 4*h - 5, 2*p - 76 = -4*h. Suppose -28*d + p*d = 1008. Is 37 a factor of d?
False
Is 117 a factor of (-326)/(1/((-105)/30))?
False
Let c = 64 + -61. Suppose -c*g - 4*k = -40, -4*g + 2*k + 70 = -k. Does 13 divide (-2106)/(-15) + g/(-40)?
False
Let t = -1461 - -3672. Suppose 0 = -55*g + 22*g + t. Is g a multiple of 2?
False
Let t(s) be the first derivative of s**3/3 + 19*s**2/2 - 27*s + 119. Does 4 divide t(-22)?
False
Suppose -7*t - 2*f + 6 = -4*t, 0 = 3*t + f - 6. Is 10 a factor of ((-3)/12)/(t/(-2792))?
False
Let t be (3/(-6)*2 - 0) + 23. Suppose 257 = 5*l - 4*j + j, -3*j = 3*l - 135. Suppose -l - t = -w. Is 11 a factor of w?
False
Let y be 57148/(-130) + (-3)/(-5). Let o = -283 - y. Is 6 a factor of o?
True
Let f(t) be the second derivative of 11*t**5/10 - t**4/3 + 2*t**3/3 - 3*t**2/2 - 2*t. Suppose -41 = -18*a - 5. Is 33 a factor of f(a)?
True
Suppose 2*h - 8*t - 9498 = -6*t, 3*h - 4*t = 14240. Does 13 divide h?
False
Let l be (116/14)/(-1) - 6/(-21). Is 65 a factor of 450 + l - (1 + -5)?
False
Let k = -2923 - -3812. Is 127 a factor of k?
True
Let c(b) = b**3 + 18*b**2 + 12*b - 86. Let x be c(-17). Let o = 85 - 32. Let p = o - x. Does 6 divide p?
True
Let l = 3932 + -2654. Is 46 a factor of l?
False
Let g be -7 + (-6)/2 + -32. Suppose 38 = 4*v + 286. Let m = g - v. Does 3 divide m?
False
Is -2 - 1 - 1316528/(-214) a multiple of 23?
False
Suppose -4*m = m - 15. Suppose -6*r = -4*r - 2*j - 680, 0 = -5*r - m*j + 1708. Suppose 0 = 3*w - r - 61. Is 11 a factor of w?
False
Is 9207/(-2)*(-8)/6 a multiple of 15?
False
Let r(p) = -3*p**3 - 65*p**2 + 22*p - 45. Let q be r(-22). Is 92 a factor of ((-15)/q)/(0 - (-2)/9666)?
False
Let v(x) = 3*x**2 + 8*x + 11. Let l be v(-2). Suppose -8*h + 42 = -l*h. Suppose -4 = 3*g - u - 40, h = 3*g - 3*u. Does 3 divide g?
False
Let f(g) = -g**2 + 11*g - 19. Let z be f(8). Let q(p) = -22*p - 4. Let u(k) = -15*k - 3. Let t(i) = -5*q(i) + 7*u(i). Is t(z) a multiple of 6?
True
Let y be 7/4 - 15/240*-4. Let c(n) = 183*n**2 + n + 6. Is 37 a factor of c(y)?
True
Let u = 787 + -345. Suppose -u = -p + 153. Is p a multiple of 17?
True
Let o(v) be the first derivative of -v**4/4 + 14*v**3/3 + 23*v**2/2 - 48*v + 289. Is o(13) a multiple of 30?
True
Let s(w) = -2*w**3 - 30*w**2 - 108*w - 53. Is s(-18) a multiple of 33?
False
Let m(p) = 1 + p - p + 129*p**2 - 30*p**2. Let y be m(1). Let i = -11 + y. Does 18 divide i?
False
Suppose 3*u - s - 16 = 0, 3*s + 1 = -11. Suppose 2*o - 1416 = -u*t, 5*t - 4*t = -3*o + 364. Is t a multiple of 16?
True
Let k = -243 - -193. Let o be 3/(4/4)*-10. Let l = o - k. Is l a multiple of 15?
False
Let t(a) = 159*a**2 + 3*a + 1. Let w be t(-1). Suppose -2*m = 3 - w. Is 7 a factor of m?
True
Suppose 0 = 2*y - 3*c - 21 + 3, 2*y = c + 14. Let d(p) = 6*p**2 - 9*p + 11. Does 66 divide d(y)?
False
Let g = 587 + -402. Is g a multiple of 5?
True
Suppose -4*f - 35*a + 36*a = -20099, -5*f - a = -25135. Is 31 a factor of f?
False
Suppose 0 = -z - 9*c + 7*c + 2, 0 = 4*c. Let w(p) = 4*p - 3. Let n be w(z). Suppose d - 547 = -5*b, b - 4*b + 317 = -n*d. Does 12 divide b?
False
Let t(w) = -w**3 - 2*w**2 - 7*w - 18. Let z be t(-4). Let v be z/63 - (-13)/3. Suppose 7*f - 2*f - 642 = m, -3*m - 646 = -v*f. Does 32 divide f?
True
Suppose 23*p - 25*p + 2*o + 1788 = 0, -3*o = -p + 888. Is p a multiple of 69?
True
Let a(d) = 22*d + 6. Let t be a(9). Let o = t - 131. Is o a multiple of 3?
False
Suppose -4*v = 22*a - 26*a + 20, a - 5 = 0. Suppose v = 5*h - 1393 - 172. Is 42 a factor of h?
False
Suppose -67*z - 20*z = -17*z - 906360. Is 6 a factor of z?
True
Let p(f) = f**2 + 4*f - 5. Let i be p(-6). Let h(y) = y**3 - 26*y**2 - 29*y + 55. Let a be h(27). Does 11 divide a/((35/1045)/i)?
True
Let t(h) = h**3 - 37*h**2 - 33*h - 64. Let p be 8/1 + 16 + 14. Is 3 a factor of t(p)?
True
Let j = -31472 - -41520. Is j a multiple of 16?
True
Let g(i) be the first derivative of 8*i**3/3 + 11*i**2/2 - 47*i - 73. Does 79 divide g(8)?
True
Let q be (-7 - -9)/(4/(-6)) - 1. Let a be (6/q)/((-7)/14). Suppose 2*b = 5*b - x - 57, -57 = -a*b - 3*x. Is b a multiple of 19?
True
Is 6048/5*200/30 a multiple of 128?
True
Let c = 8612 + 5353. Is 105 a factor of c?
True
Let m be (-14)/(-5) - 3 - (-12)/10. Is 8 a factor of ((-3990)/(-168))/(m/4)?
False
Let m = 621 + -143. Let b = m + 205. Does 71 divide b?
False
Let p = -9529 - -14965. Is p a multiple of 18?
True
Suppose 3*w = 123 - 111. Suppose -w*d - 1452 = -15*d. Is 12 a factor of d?
True
Let z(d) = d**3 - 2*d**2 + d + 1. Let b be z(2). Suppose 0 = b*a - 0*a. Suppose a = 5*w + 47 - 317. Is w a multiple of 18?
True
Let b = 29609 + -27079. Is 110 a factor of b?
True
Suppose 77*m - 75*m + 40543 = 3*o, 2*o - 27016 = -5*m. Is o a multiple of 136?
False
Let r = -54456 - -76686. Does 53 divide r?
False
Let u be (6/(-5))/(63/210). Let q be -3 - (u + 2)*3. Suppose -q*y = 4*g - 222, -8*y + 4*y = 8. Is g a multiple of 6?
False
Let v(y) = -12*y**2 - 8*y + 9. Let r be v(2). Does 5 divide (-20)/5 - 11/(r/1040)?
False
Let h(m) = 10*m**2 - 512*m + 78. Is 152 a factor of h(71)?
True
Let n = -2931 - -1818. Does 14 divide (-10)/(70/n) - 6?
False
Let a be (-12)/28 + (-937914)/21*1. Is 7 a factor of a/(-649) - ((-8)/(-22))/(-2)?
False
Let c = 2373 - -1253. Is 49 a factor of c?
True
Let p(b) = -b**3 + 27*b**2 + 73*b + 33. Does 18 divide p(21)?
True
Let g(b) = b**3 - 10*b**2 - 39*b - 30. Let u be g(13). Is (708/(-10))/(9/u + 0) a multiple of 27?
False
Let m(a) = -10*a + 125. Let s be m(14). Is 59 a factor of 18/(-90) + (-13563)/s?
False
Let j(v) be the second derivative of 19*v**4/12 + 23*v**3/6 + 40*v**2 - 18*v + 5. Does 13 divide j(-6)?
False
Let o = 1993 - -725. Let h = 5158 - o. Suppose 0 = -29*b + 19*b + h. Is 15 a factor of b?
False
Does 16 divide 4 - 244651/(-33) - 15/9?
False
Suppose 3*b = -15*b - 738. Let k = 25 + 23. Let f = b + k. Does 3 divide f?
False
Suppose 6*y + 3*x = 5*y - 49, -3*y - 3*x - 129 = 0. Does 15 divide (-1 - (3 - y))*-3?
False
Let y(m) be the second derivative of