6. Does 11 divide d?
False
Suppose 194 = -3*v - 1. Let q be -2*-4*(-259)/(-28). Let c = q + v. Is 3 a factor of c?
True
Let q = 9 + -14. Let u(o) = -2*o**2 - 10*o. Let s be u(q). Suppose s = -2*n - 3*c + 46, -5*n + 4*c + 9 = -60. Is 6 a factor of n?
False
Let i be (-6 - 4/(12/(-15)))/(-1). Let y(v) = 2 + 78*v - 2. Is y(i) a multiple of 13?
True
Suppose 3*r + 316 = -86. Let i = 349 + r. Is i a multiple of 5?
True
Suppose 4*g = 4*a + 1082 + 8694, -2*g + 4892 = -a. Is 102 a factor of g?
True
Suppose -133*b - 58*b + 60444 = -45*b. Is b a multiple of 2?
True
Let v(c) = -c**3 - c**2 - c + 8. Let i be v(-6). Let b(s) = 64*s + 35. Let l be b(-2). Let m = i + l. Does 8 divide m?
False
Suppose 4*l + 8 = 0, q - 850 = -34*l + 32*l. Is q a multiple of 19?
False
Let i = -116 - -155. Suppose 18 = -2*d + j, -6*d = -3*d - 4*j + 22. Is 13 a factor of d/(2 + i/(-18))?
False
Let u be (-4 - (-35)/10)*0. Suppose 492 = 4*p - u*p. Let h = p + -63. Is h a multiple of 12?
True
Suppose -146*p + 13 = -152*p + 5*h, 5 = -5*p + 3*h. Let z = 0 - 0. Suppose -p*u + 202 - 78 = z. Is 31 a factor of u?
True
Let g = -4953 + 9296. Does 3 divide g?
False
Let q(c) = 13*c**2 - 10*c - 9. Let f be q(-4). Let m = f - -86. Is 8 a factor of m?
False
Suppose 0 = -20*k + 18*k + 8. Suppose 2*v + 2*v + 4*c = 604, -2*c = k*v - 606. Is v a multiple of 19?
True
Suppose -7566 = -5*a - 2*i - 2071, 0 = a - 3*i - 1116. Does 2 divide a?
False
Suppose 0*s + 20 = -4*s, 2*s + 1480 = r. Suppose -11*z - r = -17*z. Is z/((8 - 4) + (-5 - -2)) a multiple of 31?
False
Let m(v) = -6*v**3 + 27*v**2 - 31*v - 378. Does 48 divide m(-18)?
True
Let h = -61 - -61. Suppose h = -2*j - j + 6. Does 28 divide -2*(j + -12*6)?
True
Let n = 327 - 323. Is 2238*n/40 - 3/(-15) a multiple of 5?
False
Let r be (-6 + 18 + -8)*(-19454)/(-8). Suppose 29*p - 70685 = -r. Does 28 divide p?
False
Let r(q) = -q**3 + q**2 - 3*q + 4. Let w be r(0). Suppose 1560 = 12*z - 8*z + w*d, -2*d = 4*z - 1554. Is 43 a factor of z?
True
Let c be ((-36)/(-14) + -2)/((-1)/(-28)). Let g = -9 + 46. Let b = c + g. Is b a multiple of 10?
False
Let w(y) = 5*y - 5. Let r = -38 - -40. Let g be w(r). Suppose -55 - 155 = -g*i. Is i a multiple of 7?
True
Let j(d) be the third derivative of -25*d**4/24 - 19*d**3/2 - 62*d**2. Does 21 divide j(-4)?
False
Suppose 2*d = 35 + 5. Suppose -3*f = h + 4, -6*h - d = -h. Suppose f*q = 4*q - 124. Is 5 a factor of q?
False
Let m be 407 - ((-2)/(-1) - 9). Suppose -m = -z - 88. Is 12 a factor of z?
False
Suppose 2*q + 48117 = 12*q - 244023. Is q a multiple of 245?
False
Let m(l) = 31*l**2 + 584*l - 29. Does 3 divide m(14)?
True
Let p = -63 + 226. Let s = 460 - p. Does 11 divide s?
True
Does 12 divide (-11 - -7 - -3) + 3574?
False
Let y(m) be the second derivative of 0 + 24*m - 13/6*m**3 + 8*m**2. Is 43 a factor of y(-12)?
True
Let j be ((-37)/(-37))/(1/687). Let m = -596 + j. Is 47 a factor of m?
False
Let c be 1/(-4)*(15 - 59). Let v(y) = -8*y - 13. Let p be v(-5). Let s = p - c. Does 8 divide s?
True
Suppose -6*g = 605 + 1. Let i = 100 + g. Let s(k) = -206*k + 2. Is 16 a factor of s(i)?
True
Suppose -70*b + 4526784 = 104*b. Is 96 a factor of b?
True
Suppose 2*i + 6 = 0, 4*i - 403 + 65 = -2*h. Is 6*((-340)/(-42) + 100/h) even?
True
Let x(d) = 21*d**2 - 61*d + 440. Does 27 divide x(9)?
False
Is 12/54 + 3936540/270 a multiple of 27?
True
Let c be 2/(-5) + (-21)/35. Let r = 28 + c. Suppose 537 = 5*o + r. Is 12 a factor of o?
False
Is 39 a factor of 7631 + 1 - (-26 + 3)?
False
Let i(d) = -d**2 - 12*d + 12. Let u = -16 - 26. Let l = u + 33. Does 18 divide i(l)?
False
Let m = 40020 - 2400. Does 33 divide m?
True
Suppose 6*n = 4*n, 5*n + 265 = k. Let q = -66 + k. Let c = q - 97. Is c a multiple of 7?
False
Suppose 48177 = 4*y - 6*a + 7*a, 0 = -5*y + 2*a + 60218. Is y a multiple of 46?
False
Let b(k) = -k**3 + 10*k**2 - 8. Let a(s) = s + 3. Let d be a(7). Let u be b(d). Let h(z) = -2*z - 12. Does 4 divide h(u)?
True
Let d be (-254849)/(-392) + (-2)/16. Suppose -4*c + 483 = -5*r - 37, 5*c - d = -r. Is c a multiple of 10?
True
Suppose x = 5*y - 2*x - 3023, 5*x = 2*y - 1213. Let u = 1084 - y. Is 6 a factor of u?
True
Let n = -16 - -14. Let h be ((-1)/n - 0)*0. Suppose h = -v - 0*v - 5*a + 77, 0 = -4*a. Is v a multiple of 11?
True
Let p(f) be the third derivative of f**5/15 + f**4/6 - 2*f**3/3 - 2*f**2 - 12. Does 5 divide p(-3)?
True
Let d(o) = 7*o + 35. Let v be d(-4). Is v/42 + (-428)/(-24) a multiple of 18?
True
Let w = 7138 - 10986. Is 36 a factor of 15/(-6) + w/(-16)?
False
Let d(i) = 411*i - 4737. Is 12 a factor of d(31)?
True
Let r(b) = 2*b**3 - 30*b**2 + 44*b - 92. Is r(19) a multiple of 86?
False
Let q = 1143 - 569. Suppose 4*j + 19*z = 21*z + q, -4*z = 5*j - 750. Does 73 divide j?
True
Let v = 240 - 235. Suppose -d - 288 = -z, v*d - 1448 = -5*z + 8*d. Is z a multiple of 44?
False
Let d = -64 - -146. Let a = d + -84. Is 7 a factor of 85/a*10/(-25)?
False
Let x be (-1)/6*-3*2154. Suppose -11*f - 131 + x = 0. Is f a multiple of 9?
False
Let u(d) = d**2 - 4*d + 4. Let w(z) = z**2 - 4*z - 16. Let a be w(7). Let o be u(a). Does 20 divide ((-9)/6)/(o/12) + 122?
True
Suppose -27 = n - 92. Suppose n = 8*h + 273. Let b = h - -58. Is b a multiple of 32?
True
Let v = 50 + -55. Let c be 5 + v + -3 - 25*-7. Does 20 divide c + -1 + (4 - -2 - 4)?
False
Let z(j) = 2*j - 27. Let h be z(17). Suppose 0 = -5*f - h*u + 2*u + 1810, 5*u - 1094 = -3*f. Suppose -5*a + f = -692. Does 42 divide a?
True
Suppose 0 = 3*v - 3*k + 3, 4*v - 2*k - 14 = -12. Suppose -5*s + 5508 = -p, -v*s - s = 5*p - 3316. Is 43 a factor of s?
False
Let j = -1123 + 2219. Is j a multiple of 8?
True
Is 4/30 - (-1459848)/2340 a multiple of 24?
True
Suppose 3655 + 100 = l. Is 119 a factor of l?
False
Let s(z) = 46*z - 1. Let d be s(1). Let p = 543 - 491. Suppose p*g - 644 = d*g. Is 14 a factor of g?
False
Suppose 4*d = -3*w + 8743, -42 = 2*d - 5*w - 4407. Is 95 a factor of d?
True
Suppose -3*t + 7*n - 102 = 3*n, n = -t - 27. Let m = -27 - t. Is 16 a factor of m*(23 + -4 + -3)?
True
Is 88 a factor of (4015/44)/(1/352)?
True
Let q = -435 + 797. Is 3 a factor of q?
False
Let o(y) = 1. Let v(r) = 99*r + 87. Let j(b) = 2*o(b) + v(b). Does 17 divide j(4)?
False
Suppose -4*d + 7504 = 3*u, 4*u - 3*u + 2*d - 2502 = 0. Suppose 7*o = -3*o + u. Does 10 divide o?
True
Does 19 divide 28690*(372/(-24))/(-31)?
True
Let s be ((-7)/1)/((-2 + -2)/(-52)). Let o = s + 99. Does 6 divide o?
False
Let m(a) = a**2 + 14*a - 19. Let f be m(-15). Let t be f*(5 - (-55)/(-2)). Suppose -17*z = -7*z - t. Does 3 divide z?
True
Is 9*(1001 - (-540)/27) a multiple of 2?
False
Let k = 149 - 105. Suppose k*c - 82 = 43*c. Is 2 a factor of c?
True
Suppose -79748 + 21676 = -61*b + 384788. Is b a multiple of 132?
True
Let r(y) = -2*y**3 + 11*y**2 - 6*y + 12. Suppose -5*c = -a - 24, c + 3*a = -4*c + 28. Let q be r(c). Suppose q*p - 1659 = 672. Is p a multiple of 19?
False
Suppose 56*m - 445834 = 200406. Is 196 a factor of m?
False
Let j(o) = -29*o**3 - 50*o**2 + 20*o + 27. Is j(-7) a multiple of 71?
True
Suppose 0 = -3*l - 21, 0 = -66*b + 71*b + 4*l - 4532. Is b a multiple of 19?
True
Suppose m - 7469 = -4*u + 9331, -3*m = 0. Is 70 a factor of u?
True
Suppose o + 1 = 0, 2*v = -4*o + 197 + 259. Is v a multiple of 23?
True
Let f(n) be the third derivative of n**6/120 - 13*n**5/30 - 7*n**4/4 + 12*n**3 - 170*n**2. Is f(28) a multiple of 28?
False
Let i be 4/18 + (-4664)/(-72). Suppose 0 = 7*d - i - 33. Is 43 a factor of (341 + -1)/(d/7)?
False
Let g be 8/((-80)/50) - (-59 - -1). Let s = g + 356. Is s a multiple of 6?
False
Let r(u) = 11*u + 28 + 2*u**2 - 8 - 8. Is r(-6) a multiple of 3?
True
Let w(z) = -53*z - 45. Is 41 a factor of w(-14)?
True
Let c = -1634 - -3128. Does 18 divide c?
True
Is (-6743)/(-2) - (1/1 - (-5)/(-10)) a multiple of 8?
False
Suppose -p - 7 = 5*g - 0, p + 5 = -4*g. Suppose 4*u + 28622 = p*u. Does 27 divide -3*(-2)/(-39) - u/143?
False
Let q = -324 + 464. Is 11*(q/5 - -3) a multiple of 26?
False
Let u = -17310 + 18321. Does 2 divide u?
False
Let o(y) = 2*y**2 - 24*y - 17. Let v be o(13). Suppose -29 = -v*k + 7. Is 16 a factor of -3 - (-4 + (k - 35))?
True
Suppose -16045 = -2*d + 5*f, 24075 = 3*d + 26*f - 31*f. Is d a multiple of 55?
True
Let v = 347 + -463. Let n = 434 + v. Does 6 divide n?
True
Let x = 90