 Is 7 a factor of f(19)?
True
Let n(y) = -3*y**2 - 112*y + 19260. Is 10 a factor of n(0)?
True
Let c(u) = u**3 + 11*u**2 - 47*u - 379. Is c(-11) a multiple of 56?
False
Suppose 4657*a = 4637*a + 80400. Does 80 divide a?
False
Suppose 124*f - 76439 = 113*f. Is 13 a factor of f?
False
Does 23 divide ((-21089)/7)/(-1) + 306/1071?
True
Let g be ((-7)/4)/(3/(-96)). Suppose 14 = 2*s + g. Is 2/(-7)*686/s*6 a multiple of 11?
False
Suppose y = -4*y + 3*p - 341, -2*p - 130 = 2*y. Let o = 21 + y. Let c = o - -126. Does 8 divide c?
True
Suppose 0 = -5*v + 7*v - 5*f - 9, -2*v + 21 = -f. Is 11 a factor of ((-69)/v)/(10/(-440))?
True
Suppose 0*z + 8 = -4*z, 4*z + 8 = 5*v. Suppose v = -6*m + 8*m - 54. Let r = m + -20. Is 4 a factor of r?
False
Suppose -59*q + 62*q = 3, 4*q - 3118 = -3*w. Let v = -228 + w. Is 15 a factor of v?
True
Let r(y) = -9*y - 131 - 5*y + 19*y + y**2 + 11. Is 23 a factor of r(-15)?
False
Suppose -13*n = -7*n - 840. Suppose n = 4*c + 4*j + 32, 3*c + j - 91 = 0. Does 16 divide c?
True
Let b(u) = 2*u**2 - 111*u - 71. Is b(76) a multiple of 29?
True
Let a be -13 + 7 - 8/(-4). Let r(s) be the first derivative of s**4/4 + 8*s**3/3 - 5*s**2/2 - 2*s - 4. Does 12 divide r(a)?
False
Suppose -130*c + 49*c + 158200 = -11*c. Is c a multiple of 4?
True
Suppose -4*k + 9788 = 3*v, 383*v = 385*v - k - 6540. Does 19 divide v?
True
Suppose 0 = -0*j - 33*j - 112761 + 331287. Does 14 divide j?
True
Suppose 0 = -3*v - v. Suppose 36*d - 145 = 35. Suppose 0*o - d*o + 70 = v. Is o a multiple of 7?
True
Suppose 5*b = -5*l + 94085, 8*b - 4*l - 18812 = 7*b. Is 16 a factor of b?
True
Suppose 0 = 4*y - 5*w - 14, -5*w - 4 = -y + 7. Let b be (8 - 7) + (3 - y). Suppose -255 = -5*q + 5*l, 36 = b*q + 4*l - 103. Is q a multiple of 5?
False
Let b = 4423 - 3966. Is 4 a factor of b?
False
Let r = -7 + 126. Suppose s = -5*y - 2*s - 496, -3*y + s = 306. Let i = y + r. Is i a multiple of 18?
True
Let s be (452/(-6))/(12/54). Let w = s - -189. Let v = -61 - w. Does 13 divide v?
False
Let k(m) = -m**3 - 3*m**2 - m - 1. Let j be k(-3). Let z be 4*1*(1425/60 + -23). Suppose -z*v - 2*u = 2*u - 196, v = -j*u + 64. Is v a multiple of 17?
True
Let f be ((-154)/28)/(3/(-6)). Suppose 14*i - 54 = f*i. Is 4 a factor of i?
False
Does 40 divide 41574/27 + -20 + 6/27?
True
Let a(b) = -b**3 + 4*b**2 - b - 5. Let g be (-21)/(-9) + 4/6. Let i be a(g). Let z(j) = 41*j**2 + 2. Is z(i) a multiple of 15?
False
Let b = -418 - -1731. Is b a multiple of 101?
True
Let p = -11637 + 17012. Does 5 divide p?
True
Suppose 11*f + 79 = 200. Suppose 8*h - 9633 = -f*h. Is 15 a factor of h?
False
Let c(n) = -2*n**3 + n**2 - 9*n + 840. Let q be 9*5/(-15) + (1 - -2). Is c(q) a multiple of 21?
True
Let s(n) be the second derivative of 37/2*n**2 + 0 + 1/6*n**3 + 2*n. Is s(-9) a multiple of 4?
True
Let h = -11 - -16. Suppose -5*o + 7 = -18, -2*o - 15 = -h*g. Suppose -c - 162 = -3*s, -g*s + c - 19 = -289. Does 18 divide s?
True
Let b(d) = -44*d**2 + 6*d - 1. Let g(c) = 88*c**2 - 13*c + 1. Let t(n) = -5*b(n) - 2*g(n). Does 21 divide t(2)?
False
Suppose -126568 - 177152 = -9*c - 21*c. Is c a multiple of 179?
False
Suppose 9*w - 12045 = -18*w + 54105. Is w a multiple of 5?
True
Let z = -24732 - -52724. Is 99 a factor of z?
False
Let u = 746 + -455. Let l = -142 + u. Is l a multiple of 8?
False
Let t(w) = 17*w**2 + 74*w - 693. Does 21 divide t(9)?
False
Suppose 4*k + 3*t - 147 = 0, -2*k + 0*k + 3*t = -51. Let b = -20 - 14. Let m = k - b. Is 24 a factor of m?
False
Let o(q) = -8*q - 4. Let f be o(-1). Suppose f*m + m - 20 = 0, 0 = -3*b - m + 1. Let a(d) = -44*d + 7. Is 21 a factor of a(b)?
False
Suppose -4*z - 9358 + 2000 = -3*k, 4 = -2*z. Is 10 a factor of k?
True
Suppose 3*d - 16 = 11*d. Let i(p) = -25*p**3 - 3*p**2 - 4*p - 4. Is i(d) a multiple of 32?
True
Suppose 0 = 5*l + 3*k - 138888, 5*l + k - 150387 = -11511. Is 9 a factor of l?
True
Suppose -3*n + p + 10 = 0, -34 + 24 = -4*n - 2*p. Suppose -122 = c - 584. Suppose 0 = -n*q + 126 + c. Is 49 a factor of q?
True
Suppose -2685597 - 3095200 = -214*w - 39*w. Is 188 a factor of w?
False
Let f(k) = 41*k - 2 - 31*k - 12 - 39 + k**2. Is 24 a factor of f(-28)?
False
Let y be 3 + 234 - (-55)/11. Let k = y + -193. Is 5 a factor of k?
False
Is 69 a factor of 147358/5 - (-56)/140 - 9?
True
Let n(a) = -a**2 - 7*a + 5. Let g be n(-7). Suppose 3*u = 2*s - 1062, g*s - 2*u - 2644 = -0*u. Is 66 a factor of s?
True
Let y(l) = -12*l + 7. Let o be y(-23). Let d = o - 211. Is d a multiple of 29?
False
Let x(d) = -37*d + 104. Suppose -p = 5*q + 35, 42 = 2*q - 4*p + 34. Is 5 a factor of x(q)?
False
Let p = -455 - -450. Is (p + 95)/(-4*(-1)/36) a multiple of 27?
True
Suppose 2*h - 30824 = -s + 74781, 211189 = 4*h + 9*s. Is 43 a factor of h?
True
Let m = 20 - 15. Suppose -3*r = m*o - 2*o - 21, -4*o + 4*r + 4 = 0. Suppose -4*u + 172 = -o*v, 5*u - 2*v = -0*v + 200. Does 19 divide u?
True
Let x be ((-42)/(-4))/(6/(-1840)). Let p be 2*(-9 - -8) - 0/1. Is 5 a factor of x/(-35) + (-2)/p?
False
Suppose 39*a - 639662 = 764338. Is a a multiple of 47?
False
Let d(o) = 151*o + 454. Is d(18) a multiple of 23?
False
Suppose -128 = -8*z - 0*z. Suppose a + 2 = -i - 7, i - 4*a - z = 0. Does 14 divide 2 - (-2 - (i - -48))?
False
Suppose 53*f - 51*f + 4*o = 23772, 4*o = -f + 11892. Does 110 divide f?
True
Suppose 30*z - 24*z = 330. Is (3 + 6831/z)*(-5)/(-2) a multiple of 12?
False
Suppose -9*f = -14*f - 3*w + 18216, 4*f - 14577 = -w. Is 15 a factor of f?
True
Let w = -81 - -77. Is 9 a factor of 481 + (w - (-1 + 37)/(-4))?
True
Suppose c - 4*x + 3*x - 3063 = 0, 2*x = -6. Suppose -4*a = -c - 1656. Does 23 divide a?
False
Let s(i) = -32*i + 1 + 90*i**2 + 1 + 17*i + 17*i. Let u be 1/2 + (-15)/10. Does 18 divide s(u)?
True
Let v(r) = 8*r + 34. Let y be v(-5). Let h(q) = -2*q**3 - 11*q**2 - 4*q - 3. Is 10 a factor of h(y)?
False
Let y = 2558 + -1478. Does 45 divide y?
True
Let v = -64 + 134. Let j be 56/v*(-5)/(-2). Is 21 a factor of (11 + -9 - 1)*398/j?
False
Suppose 50*l - 75594 = -73*l + 174. Does 3 divide l?
False
Suppose 59*p - 56*p = 0, 2*y = -5*p + 54160. Is y a multiple of 8?
True
Let l = 187 - 159. Suppose 5*h = 9*h - l. Does 2 divide h?
False
Does 13 divide 638/638*(1 + 867 + 1)?
False
Suppose 0*g - 21*g = 62*g - 531864. Does 22 divide g?
False
Let w = 30 - -109. Suppose w = -7*c + 13. Does 25 divide (-4)/c - (-2240)/45?
True
Suppose t - 3 = -7, -k + 4*t = -107. Let l be k/(-5) + 4/20. Is 4 a factor of (-390)/l + 2/(-3)?
False
Suppose 2*w = -2*u + 3752, u - 4*w = 348 + 1508. Is 36 a factor of u?
True
Let v = -4446 + 12074. Is 18 a factor of v?
False
Let u be (-1)/3 - 171/(-27). Suppose u*f - f = -60. Is f/9*-69 - 2 a multiple of 10?
True
Let f = 1722 + 2934. Is f a multiple of 23?
False
Let c be (-20)/25 + 52/(-10). Let i be (12 - 0)/((-6)/c). Is 29 + (i/(-7) - (-2)/(-7)) a multiple of 24?
False
Suppose 1 = 2*n - 1. Let t = 1 + n. Suppose -2*l - t*l + 28 = 0. Is l a multiple of 6?
False
Suppose 3*b = 0, -3*b - 15 = -10*w + 7*w. Suppose -w*v + 4*v + 74 = -5*u, 5*v - 430 = -5*u. Is v a multiple of 42?
True
Let z be (36/225*-5)/((-2)/50). Is (z/6)/(7 - 13470/1926) a multiple of 26?
False
Let p be 18*(5 - 56/12). Suppose p*y - 534 = 3*y. Is y a multiple of 13?
False
Let k(m) = -7*m**2 + 17*m - 2. Let n be k(5). Let l = 130 + n. Is l even?
True
Suppose 3*i + 4 = 85. Suppose z + 8 = 25*s - 28*s, 4*z - 16 = 0. Does 19 divide 114/i + s + 1436/18?
False
Is ((-5451)/161)/(2/(-98)) a multiple of 9?
False
Let r be 3/(36/6969) - (-13)/52. Suppose -3*s - 3*d + 561 = 0, 3*s + r = 6*s - d. Is 32 a factor of s?
True
Let f(s) = 3*s**2 + 2. Let z be f(-1). Suppose 4*t = z*t + 2*q - 72, 4*t + 4*q - 300 = 0. Is t a multiple of 26?
True
Suppose -277914 + 68978 = -28*b. Is b a multiple of 37?
False
Suppose -5*n - 5*x + 17970 = 0, -3819 = -n - 4*x - 219. Is 8 a factor of n?
True
Let c(k) = 80*k + 3. Let v(s) = 80*s + 3. Let b(z) = 3*c(z) - 4*v(z). Suppose -17 = 5*g + h, -g - 13 = -0*g + 5*h. Is 16 a factor of b(g)?
False
Let u = 64 - 59. Suppose 150 + 19 = -v + n, -5*n - u = 0. Let o = v + 253. Does 20 divide o?
False
Let i(w) = -w**3 + 19*w**2 + 44*w - 31. Let u be i(21). Let k(p) = p**3 - 9*p**2 - 6*p + 34. Is 42 a factor of k(u)?
True
Let u be 60/20 - (-2 + 3). Let d(y) = 5*y**3 - 4*y**2 + 2*y + 1. Does 2 divide d(u)?
False
