10450. Does 11 divide n?
False
Let s = 0 + 4. Suppose -2*u - 16 = -2*c, -5*c - s*u + 15 = -16. Suppose -8*z + 20 = -c*z. Does 5 divide z?
True
Suppose -9*d = -5*k - 4*d + 330, 2*d + 272 = 4*k. Suppose 12 - k = -2*h. Is 8 a factor of h?
False
Let p = -356 + 342. Is (-15 - p)/((-2814)/(-939) - 3) a multiple of 9?
False
Let c be (14 + -15)*3/(-3)*133. Let z = -37 + c. Is z a multiple of 4?
True
Let v be -7 + -2 - -4 - 1/1. Let o be 1 + 1 - (-3)/(-9)*v. Suppose 4*x + o*d = -1 - 3, 0 = d + 4. Does 2 divide x?
False
Let k be (-7)/((-14)/80) - -5. Let p = 260 - k. Is p a multiple of 63?
False
Suppose 30545 = 3*h + 5*h - 5*p, h - 3835 = -5*p. Is h a multiple of 18?
False
Let a be ((924/9)/11)/((-2)/(-15)). Suppose -a*m = -78*m + 10456. Does 83 divide m?
False
Does 26 divide 25065/(-5)*26/(-117)?
False
Let a = 114 - 105. Let d(r) = -2*r**2 + 20*r - 13. Let g be d(a). Suppose 3*c - 348 = -3*w, g*w = 10*c - 6*c + 616. Is 15 a factor of w?
True
Suppose -7*l = -83*l - 228. Is 3 a factor of l*(-2)/39 - 609/(-13)?
False
Let g = -1082 - -2016. Suppose 15*v - g = 13*v. Is v a multiple of 38?
False
Let x(p) = p**2 - 33*p + 88*p - 44*p - 27. Does 3 divide x(-19)?
False
Let g(x) = 135*x - 807. Does 126 divide g(7)?
False
Let h be (-293625)/(-377) + (-4)/(-26). Suppose 10*g = 241 + h. Does 25 divide g?
False
Let h(k) = 10*k**2 - 35*k + 90. Does 10 divide h(24)?
True
Let w(s) = 3*s - 31. Let l be w(18). Suppose 2*j + 41 + l = 0. Does 20 divide 22/(8/j*(-1 - 0))?
False
Let c(h) = -7*h + 150. Let y be c(22). Is (y + 3 + -23)/(21/(-182)) a multiple of 4?
True
Suppose -21*s + s = 0. Suppose s = -15*v + 20*v - 640. Is v a multiple of 44?
False
Suppose -14 = -5*z + 36. Is (-4 + z + -13)*7*-13 a multiple of 13?
True
Is (-9 - -56)/(-2 + 3213/1602) a multiple of 10?
False
Suppose 0 = -5*i - 21 + 31. Suppose 5*l - 4*t - 581 = 0, -4*l + 2*t = -l - 349. Suppose 0 = i*c - c - l. Does 6 divide c?
False
Suppose 0*z - 5*z = -170. Suppose -26 - z = -12*h. Suppose m + 5*d - 71 = d, -h*d - 62 = -m. Is m a multiple of 5?
False
Let b = 22761 - 17496. Is b a multiple of 81?
True
Suppose 21 = -s + 26. Suppose -3*r = r - s*r. Suppose w + d = 3*d + 80, r = 3*w - 3*d - 240. Does 16 divide w?
True
Suppose 0 = 4*b + 3*y - 1658, -b + 174 = -4*y - 250. Suppose 12*n - b - 316 = 0. Is n a multiple of 8?
False
Let u = 3488 + -720. Is 32/72 + u/9 a multiple of 77?
True
Let d(u) = -7*u**2 - 4*u + 3. Let x be d(2). Suppose -3*q - 168 = 2*g + 2*q, -q = 5*g + 397. Let r = x - g. Is 23 a factor of r?
True
Let k = 409 - 41. Let n = 131 - 330. Let z = k + n. Is z a multiple of 15?
False
Let t(j) = 5*j**2 + 1. Let k be t(-1). Let w(a) be the second derivative of a**4/6 - 3*a**3/2 + 6*a**2 + 60*a. Does 10 divide w(k)?
True
Let g(p) = 16*p - 7. Let s be g(0). Let f = 102 - s. Is 8 a factor of f?
False
Suppose 0 = -3*o + 5 + 4. Suppose 33 - 12 = 3*l + 3*a, o*l - 23 = -a. Suppose -2*w = l - 114. Is 16 a factor of w?
False
Let y(j) = 28*j**2 - 16*j - 60. Let t be y(-4). Suppose 2*v - 2*n = v + t, 0 = -5*v - 3*n + 2273. Does 39 divide v?
False
Suppose 5521822 = 569*n - 34014005. Does 57 divide n?
True
Let y(d) = 78*d - 9. Let o(b) = 235*b - 26. Let t(q) = -2*o(q) + 7*y(q). Does 40 divide t(5)?
False
Let c = 219 + -217. Suppose 5*a + 3*q - 110 = 0, c*q = 3*a - 3*q - 100. Is a a multiple of 25?
True
Let g = -42883 + 84693. Does 37 divide g?
True
Suppose 1959390 = 207*p - 655168 + 499018. Is p a multiple of 292?
True
Suppose -12 = -2*g - 30. Let s(t) = -t**2 - 11*t - 16. Let k be s(g). Suppose 2*n = k*f - 24, -2 = n - 0. Does 10 divide f?
True
Suppose -2*t + 29287 = -5*s, -3*t - 26*s + 43976 = -27*s. Is t a multiple of 9?
True
Let y(p) = p**3 + 27*p**2 + 31*p - 19. Is y(-25) a multiple of 114?
True
Suppose 6*o - 4*o + 5*s = 24, 2*s - 8 = 0. Suppose o*y = 0, -5*y - 6 - 2 = -2*g. Suppose -g*n + 1413 = 5*n. Is n a multiple of 17?
False
Let y be ((-67)/(-3))/(256/48 + -5). Let s = 0 + 0. Let a = y + s. Is a a multiple of 24?
False
Let r(z) = -6*z - 6. Let h be r(-1). Suppose h*u - 4*w = -2*u + 520, -3*u = -4*w - 778. Is 43 a factor of u?
True
Suppose -38*o = -29*o - 17847. Suppose -2*g = 4*n - 2654, -n = 2*n - g - o. Is n a multiple of 15?
False
Suppose 0 = -1695*r + 1608*r + 2684385. Does 134 divide r?
False
Let q(p) be the third derivative of -p**6/120 - p**5/30 + p**3/3 - 14*p**2. Let j be q(-2). Suppose 0 = -j*s + 2*a + 44, 3*a + 5 = -4. Does 2 divide s?
False
Let m(n) = -2*n**3 - 30*n**2 - 46*n + 156. Does 15 divide m(-22)?
False
Suppose 84*d - 52574 = 65698. Is 12 a factor of d?
False
Let w(a) = 3*a**2 + 17*a + 6. Let b be w(14). Suppose -5*z + b = 3*z. Is z a multiple of 12?
False
Suppose 0 = 52*z - 10770 - 46149 - 73. Is z a multiple of 46?
False
Suppose -210 = -0*j - 6*j. Suppose 126 + j = y - 3*b, 684 = 4*y - 2*b. Is y a multiple of 14?
False
Let b be (((-5)/1)/10)/(1/(-4)). Suppose 3*q + 2118 = -2*k, 7*q + 3530 = b*q - 4*k. Let x = -404 - q. Is 18 a factor of x?
False
Suppose 54*y = 51*y - 450. Let w = -15 - y. Does 45 divide w?
True
Let c(n) = 51*n**2 + 334*n + 3888. Does 173 divide c(-12)?
False
Suppose -3*c + 2*c + 3*s + 469 = 0, -3*s = 3*c - 1431. Suppose 5*g + 5*k - c = 10*k, k = -3*g + 305. Let d = g + -87. Is d a multiple of 3?
False
Let y(p) = -2*p**2 + 2*p**2 - 7 + 97 + 0*p + 2*p**2 - 22*p. Is 30 a factor of y(26)?
True
Suppose 2*t + 0*t - m - 25677 = 0, 5*t - 2*m - 64194 = 0. Is 30 a factor of t?
True
Let m = 5964 - 5029. Does 4 divide m?
False
Is (-94 - (-633859)/76)/(-1 + (-11)/(-8)) a multiple of 15?
True
Is 26 a factor of 280/(-60)*3120/(-28)?
True
Let q = -40079 - -84047. Is q a multiple of 32?
True
Let s(l) be the third derivative of -27*l**4/2 - l**3/2 + 12*l**2. Let v be s(-1). Let y = v - 112. Is y a multiple of 14?
False
Let c be (-3 + 0 + 2 - -16)*1. Suppose 13 + c = s. Suppose -29*t + 25 = -s*t. Is t a multiple of 25?
True
Let t be 407 - -3*4/12. Let c = 51 - 24. Does 17 divide 90/c*t/10?
True
Suppose 4*k - 3*p + 6*p - 428 = 0, 3*p = 2*k - 214. Suppose -2*a + 4*c + 172 = 0, -9 = a + 4*c - k. Does 5 divide a?
True
Suppose -r - 77 = -572. Suppose -1763*h + 1762*h = -r. Does 55 divide h?
True
Let h(t) = 339*t - 116. Is 61 a factor of h(7)?
True
Suppose 1356202 + 1722022 = 272*g. Does 154 divide g?
False
Suppose 184102 = 54*u - 152858. Is 4 a factor of u?
True
Suppose -3*m - m - 3*x + 4371 = 0, 5*m = 3*x + 5457. Is 21 a factor of m?
True
Suppose -2*b + 18 = -3*b - 5*u, -4*b + 28 = -5*u. Suppose 7 = d - b. Suppose -d*t + 13*t - 336 = 0. Is t a multiple of 28?
True
Suppose -j + 2 = -4. Let b(s) = 4 + 4*s**2 - 4 - 2*s - 4 - j. Is b(5) a multiple of 40?
True
Let j(z) = 1144*z + 2885. Is j(20) a multiple of 225?
False
Suppose 3*f - 15623 = 5*j, 65*j = 2*f + 61*j - 10414. Does 193 divide f?
True
Let r(s) = -37*s + 13. Let o be (4 + 22/(-8))*4. Suppose -4*v - 5 = 3*l, -o*v - 5*l = -0*l + 5. Is 20 a factor of r(v)?
False
Let t(r) = -r**3 + r**2 + 7*r - 2. Let w(u) = u**2 - 9*u + 4. Let x be w(8). Let l be t(x). Suppose -l = 5*c - 10*c. Does 7 divide c?
False
Let s be (-2)/(-1)*(1 - 8 - -13). Let o(y) = -10*y + 144. Is o(s) a multiple of 6?
True
Suppose 5*b - 5*p - 44440 = 0, 5*b + p - 31937 = 12455. Is b a multiple of 120?
True
Let l(u) = -u**3 - 8*u**2 - 13*u - 199. Let m be l(-9). Let t = -2 + 23. Let d = m + t. Is d a multiple of 10?
True
Let q(m) = 4*m**2 + 4*m + 2. Let h = 3 + -5. Let i be q(h). Does 12 divide ((-12)/i)/3 - (-3302)/130?
False
Suppose 5*o - 6*o + 3713 = 2*g, 3*g - 3*o - 5547 = 0. Is g a multiple of 5?
False
Let f(m) = 4*m**2 - 17*m - 5. Let p(h) = 2*h**2 - 9*h - 2. Let i(s) = 6*f(s) - 11*p(s). Let n be i(-2). Is n/9*78*4 a multiple of 16?
True
Is 112 a factor of (-589836)/(-104) + 3/2?
False
Suppose 0 = -2*q + 5*q - 12. Suppose 8 = 3*a - q*l, -l - l = -a + 2. Suppose -10 + 90 = a*y. Is 5 a factor of y?
True
Let h(l) = 7 - 7*l**2 - 9 - 12*l**2 - 38*l + 18*l**2 + l**3 - 1. Is 15 a factor of h(7)?
False
Let c(b) = -b. Let x be c(-3). Let w(q) = 17337*q + 68*q**3 - 17334*q - 3*q**2 - 63*q**3 + 10. Does 14 divide w(x)?
False
Let g(r) be the first derivative of -6*r**2 + 184*r + 45. Is g(0) a multiple of 15?
False
Let k = 1815 - 2974. Let h = k + 2209. Is h a multiple of 70?
True
Let h(y) = y**2 - 4*y + 3. Let c be h(4). Suppose 2*d - c*d + 2*p + 7 = 0, -3*d = p - 35. Is 5 a fac