 of 11?
True
Let q be (-60)/(-130)*13 - 4*146. Is 46 a factor of 0*2/(-4) - (q + 26)?
True
Suppose 2*s = -5*a + 10764, -38 = 7*s - 17. Does 27 divide a?
False
Let b = 20 + 29. Let a(z) = -37*z**2 - z**3 + 0 - 10*z + 2 + b*z**2. Is a(11) a multiple of 13?
True
Suppose 4*y + 2*v + 27 = -v, 0 = 3*v + 15. Let u be (30/y)/(-5) + 362. Suppose z = -5*l - 0*l + u, 2*l - 355 = -z. Is 16 a factor of z?
False
Let t = 169 - 167. Suppose 118 = t*h - 3*v, -7*h + 177 = -4*h + 4*v. Is h a multiple of 59?
True
Suppose 5*n = 2*w + 20769, 2*n - 1030 = -2*w + 7286. Is 6 a factor of n?
False
Let s(u) = u**3 - 2*u**2 - 9*u + 3. Let v(z) = 0*z - 61 + z + 80. Let x be v(-13). Is 16 a factor of s(x)?
False
Let y = -3799 + 4500. Does 2 divide y?
False
Suppose 3*z + 8958 = -4*m + 7*m, -5*z = 5*m - 14930. Is m a multiple of 27?
False
Let t(v) = -35 + 3*v - v + 7*v**2 - v**3 + 2*v**2 - 6*v. Let i be t(8). Is 24 a factor of (24/i)/((5/105)/(-1))?
True
Let q(g) be the second derivative of g**4/3 - g**3 + 11*g**2/2 - 14*g. Let i(l) = l**3 + 12*l**2 + l + 15. Let y be i(-12). Is 5 a factor of q(y)?
False
Suppose -5*n = -3*g + 2620, 6*g - 4*g - 2*n = 1748. Suppose 0 = -4*y + g - 103. Let z = 353 - y. Is 25 a factor of z?
False
Is 4/34 + (-3341)/221 + 23 - -14410 a multiple of 3?
True
Let r = -25128 + 28848. Does 40 divide r?
True
Suppose 3*u + 5*l - 21 = 0, 2*u + 3*l = u + 11. Does 18 divide (u + 70)*1/2*2?
True
Let r(c) = 80*c + 19. Let s be r(13). Suppose 5*b - 2*i = -s + 4355, -b = 3*i - 666. Is 60 a factor of b?
True
Suppose 0 = 19*y + 747 + 450. Is 21 a factor of (-9044)/(-57)*y/(-12)?
False
Suppose 42*v + 42464 = 46*v - 2*p, 5*p = -3*v + 31822. Is v a multiple of 122?
True
Let h(f) be the third derivative of -f**5/60 + 4*f**4/3 + 124*f**3/3 + 197*f**2. Is h(29) a multiple of 20?
False
Let k(y) = -y**3 - 5*y**2 - 6*y + 2. Let s be k(-4). Is (-1988)/35*4/(-16)*s a multiple of 10?
False
Let i = 16497 - 10647. Does 18 divide i?
True
Let r(y) = 6*y**2 + 25*y + 35. Let p = 542 + -559. Is r(p) a multiple of 24?
True
Suppose 40*y - 77*y = -71*y + 1110950. Is 71 a factor of y?
False
Let p(u) = 4*u**2 - 2*u - 1. Let z be p(-1). Suppose -3*j - 2*f - z = 0, 2*j - 7*j + 2*f - 35 = 0. Let s(b) = 5*b**2 + 4*b + 3. Is 27 a factor of s(j)?
True
Suppose 3*j = 9, -2*j + 14 = 5*r - 4*j. Suppose -2*i = -r*i + 20. Let g = i - -28. Does 8 divide g?
False
Let k be 2/((-21)/15 - (-2)/2). Let j(l) = -l**2 - 3*l + 12. Let x be j(k). Suppose -x*c = -3*o + 358, 0 = 3*o - 3*c - 412 + 55. Is o a multiple of 12?
True
Let i(k) = -66*k**3 - 23*k**2 - 39*k + 4. Is i(-2) a multiple of 13?
False
Suppose -8*k = -10*k - 4*g + 3136, -5*k - 3*g + 7812 = 0. Suppose 2*u - 15*u = -k. Suppose 2*q - u = 2*w, -q = -2*q + 4*w + 75. Does 5 divide q?
True
Let k = -11117 + 40315. Is k a multiple of 126?
False
Let h = 34 - 28. Let j(c) = -8*c + 15. Let r be j(h). Let m = r - -39. Is m a multiple of 4?
False
Suppose -3*c + 22634 = 4*i, -48*c - i + 7545 = -47*c. Does 98 divide c?
True
Let b be 20*(-5)/30*18/(-15). Let v(u) = 88*u + 52. Is v(b) a multiple of 17?
False
Let a(d) = -8*d**3 - 3*d**2 + 29*d + 460. Is 44 a factor of a(-8)?
False
Suppose -4*o + 25992 = 2*p, -64950 = 26*p - 31*p + 5*o. Is 85 a factor of p?
False
Let g = 31 + -40. Let w(a) = a**3 + 8*a**2 - 7*a + 22. Let n be w(g). Suppose 2*q = n*q - u - 37, -5*q - 4*u = -112. Does 3 divide q?
False
Let f be (14615/15 + (-16)/12)/1. Suppose -5*x + 2634 = -h - 2199, -x = 3*h - f. Suppose x = 13*m - 788. Does 15 divide m?
True
Suppose 21*j + 150 = 24*j. Suppose y - 76 = j. Suppose 0 = -h - 3*i + y, 2*i + 232 = 2*h - 2*i. Does 44 divide h?
False
Suppose 2*a + 103 + 81 = 2*p, 0 = -5*p + 4*a + 464. Is ((-18)/(-8))/(p/11264) a multiple of 4?
True
Suppose -2*s + 3741 = 36*u - 35*u, -u = 3*s - 3744. Is u a multiple of 118?
False
Let r(c) = 4*c**3 - 3*c - 1. Let s(u) = -11*u**3 + 3*u**2 + 20*u + 12. Let h(b) = -3*r(b) - s(b). Let f(m) = 2*m + 4. Let o be f(-5). Is 22 a factor of h(o)?
False
Let q = -3563 + 6253. Suppose 6*u - 478 - q = 0. Is u a multiple of 24?
True
Let g(l) = l**3 - 28*l**2 - 134*l + 27. Does 15 divide g(33)?
True
Let h = 11705 - -1215. Does 76 divide h?
True
Suppose 3*y = 6*y - 54. Let u be ((-84)/y)/(1/(-12)). Suppose -4*h + 25 = 2*j - h, 0 = -4*j - 4*h + u. Does 17 divide j?
True
Suppose -4118 - 4432 = -3*i. Does 15 divide i?
True
Let b = -3 + 30. Let p = b + -46. Let g = -2 - p. Is g a multiple of 8?
False
Let q be ((-7596)/(-42))/((-3)/(-21)). Suppose 2*c + 920 = 2*k, 5*k - c - q = 1018. Is k a multiple of 14?
False
Let b = -49 - -49. Let l be 95*(b + -2 - (-13)/5). Let c = 24 + l. Does 20 divide c?
False
Suppose -351 = -2*k - 4*x + 53, 1052 = 5*k - 4*x. Suppose -k - 332 = -6*j. Is 45 a factor of j?
True
Suppose -q = 8 - 2. Let k be q/(-9) + 932/6. Suppose 27*s + k = 31*s. Is 13 a factor of s?
True
Suppose -27*h + 93*h = 31020. Does 10 divide h?
True
Let o = 2325 + -1501. Let p = o - 410. Is p a multiple of 6?
True
Suppose 17 = 4*g - 3. Let t = -13 - -13. Suppose t = 7*l - g*l - 90. Does 10 divide l?
False
Let s(b) = 706*b**2 - 133*b + 848. Does 8 divide s(6)?
False
Let n(h) = -678*h**3 - h**2 + 61*h + 183. Is n(-3) a multiple of 29?
False
Let a = 9 - 38. Let v = a - -65. Suppose 0 = -2*w + v + 24. Is 6 a factor of w?
True
Suppose 2673*y = 2677*y - 17656. Does 28 divide y?
False
Suppose 5*m + 4*x = 45186, -3*m + 106*x + 27138 = 104*x. Is 33 a factor of m?
True
Is 63 a factor of 18 + 7169 - 1*(4 - -1)?
True
Let m = 4044 + 774. Is m a multiple of 66?
True
Suppose 0 = 2*q - 5*n - 115, 3*q - 3*n = 105 + 54. Let v(k) = -2*k**2 - 9*k + 5. Let d be v(-7). Let w = d + q. Does 6 divide w?
False
Let a(y) = 166*y - 3106. Is 20 a factor of a(60)?
False
Let g = -58 - -114. Suppose 0 = -13*z - z + g. Does 11 divide (-12288)/(-112) + z/14?
True
Suppose -3*r = -3*d - 39771, 2*r + 53052 = 6*r + 4*d. Is 52 a factor of r?
True
Suppose 15*d + 161229 = -3*d + 455439. Does 5 divide d?
True
Let j(s) = -s**3 + 5*s**2 + 7*s - 1. Suppose 30 = -2*w + 7*w. Let d be j(w). Suppose 2*z + 0*h = -5*h + 59, -d*z + 4*h = -164. Is z a multiple of 18?
False
Let m(d) = -d**2 - 21*d - 3. Let n be m(-17). Let l be n/2 - 6/12. Suppose u + 4*f + l = 2*u, -5*u - f = -181. Is 18 a factor of u?
True
Let y = 122 + -112. Suppose 1012 + 288 = y*x. Is 5 a factor of x?
True
Suppose 5*t = -4*j + 2*t + 9541, -t = 3*j - 7162. Suppose -19*a - 299 + j = 0. Does 5 divide a?
True
Suppose -3*p - 51 = -219. Is 6/(230/p - (0 + 4)) a multiple of 7?
True
Suppose 12*w - 6298 = 6494. Is w a multiple of 8?
False
Let y(d) = 1 - 7*d + d + 45*d**2 + 5*d - 7. Suppose i = 3*v - 12 + 1, -3*v + 3 = 3*i. Does 11 divide y(i)?
True
Let w(i) = 681*i**2 - 264*i + 1887. Is w(7) a multiple of 32?
True
Let n(v) = v**2 + 6*v - 16. Let k be n(0). Let q = 20 + k. Let j(r) = r**3 + 6*r**2 + r + 1. Is j(q) a multiple of 55?
True
Let a(u) = 2*u + 268. Let i be a(0). Let y = 404 - i. Is y a multiple of 9?
False
Suppose -2*c = -n - 1237, 457 = 2*c + 3*n - 800. Let f = -583 + c. Is 22 a factor of f?
False
Let v(u) = u**2 - 7*u - 11. Suppose 0 = -4*d + y + 4*y + 197, -y - 50 = -d. Suppose -6*o + 49 + d = 0. Does 25 divide v(o)?
False
Suppose 5*s - 2*t = -7*t - 25, -4*t = -20. Let n(q) = -2*q**2. Let r(i) = -11*i**2 - 7*i - 5. Let u(c) = 5*n(c) - r(c). Is 8 a factor of u(s)?
False
Let p = 326 + -307. Let a(s) = 30*s + 24. Does 9 divide a(p)?
True
Suppose -5*k = -5*t + t + 443, -5*k - 92 = -t. Suppose -123*n + 678 = -t*n. Is 7 a factor of n?
False
Suppose -49*l + c = -45*l - 6057, 0 = -3*c - 15. Is 42 a factor of l?
False
Let z = 0 - -159. Let o = 3 + z. Is o a multiple of 18?
True
Suppose 6 = 3*n, 2*v - n + 4 = 3*n. Does 41 divide (614 - (-27)/9) + v + -4?
True
Let o(d) = -6*d + 0*d**2 - 18 - 6*d - d**2. Let h(t) = t**2 - 13*t - 177. Let g be h(21). Does 2 divide o(g)?
False
Let z = 6912 - 3624. Is 15 a factor of z?
False
Suppose 11*t = -21*t + 5056. Suppose o + t = 3*o. Is 3 a factor of o?
False
Suppose l + 16255 = 3*k, 4*l - 8600 = -3*k + 7695. Is k a multiple of 7?
False
Let v = 37928 - 14023. Is v a multiple of 35?
True
Let l = 735 + -732. Suppose 7*m = 4*m + 5*s + 3262, 2*s - 3227 = -l*m. Is 81 a factor of m?
False
Suppose -6*c + 3*c + 21*c - 44082 = 0. Is 98 a factor of c?
False
Suppose 2*x = 26 - 16. Suppose 2*i = 5*w - 10*w + 10