(x) = -x**2 - 25*x + 42. Is 6 a factor of c(-25)?
True
Let m be (2/6)/(2/6). Let q = 24 - 32. Is (q - m)*(-160)/30 a multiple of 13?
False
Let n(c) = -5*c**3 - 14*c**2 + 20*c + 32. Let u(a) = -a**3 + 1. Let l(f) = n(f) - 6*u(f). Does 17 divide l(13)?
False
Let q(s) = s**2 + 11*s - 1. Let u = -23 + 11. Does 2 divide q(u)?
False
Let q = 28 - 18. Let u = -10 + q. Suppose 0 = -n - u*n + 15. Does 7 divide n?
False
Suppose -10*v + 15*v = 10. Suppose -18 = -2*a - v. Does 4 divide a?
True
Does 23 divide (-58)/116 - 1657/(-2)?
True
Suppose 4*l + 15*u = 14*u + 5740, 4*u + 7154 = 5*l. Is 96 a factor of l?
False
Let z = 4 + -6. Let p be 76 - (z + 2 - 3). Let i = p - 47. Does 8 divide i?
True
Let p = 125 - 19. Suppose -p = -r + 8. Is r a multiple of 18?
False
Let x(d) = 23*d - 170. Is 11 a factor of x(22)?
False
Let s be ((-438)/(-24))/(2/8). Suppose -602 = -5*c - 3*r, 5*r = -c - 3*c + 492. Let d = c - s. Is 8 a factor of d?
False
Let n(y) = -y**3 - 20*y**2 + 2*y - 29. Let f be n(-21). Suppose 14*o = 4*o + f. Is o a multiple of 6?
False
Let t(x) = -x**2 + 1. Let r(o) = -4*o**2 + 11*o - 5. Let y(s) = r(s) - 3*t(s). Let p be y(10). Let a = p - -7. Is a a multiple of 9?
True
Let k = 1897 - 1309. Suppose -4*m + k = 2*m. Is m a multiple of 14?
True
Does 11 divide ((-1032)/72)/(1/(-21))?
False
Let w be 2/(-2) + (-1 - -1). Is 14 a factor of 0 + (-2 - 41/w)?
False
Let o(n) = -n**3 + 7*n**2 + 4*n - 3. Let x(l) = l**3 + 5*l**2 - 4. Let y be x(-2). Let p be o(y). Is 9 a factor of p/(-2) - 2/(-4)?
True
Suppose 2*c - 56 = -0*c. Let s be (-6)/8 + 161/c. Suppose -36 = -3*v - 0*g - s*g, -4*g + 36 = 3*v. Is v a multiple of 12?
True
Let o(h) be the second derivative of h**5/20 + 7*h**4/12 - h**3/6 - 2*h**2 - 4*h. Let z be o(-7). Suppose -50 = -z*n + 52. Is n a multiple of 9?
False
Does 11 divide 21 + 3 + (-3 + 4 - 3)?
True
Let i be (2 - -3)/(2/(-18)). Let j = i + 81. Does 8 divide j?
False
Let w(l) be the third derivative of -l**4/3 + 4*l**3/3 - 38*l**2. Is w(-5) a multiple of 4?
True
Is 8/(-6) - (-10200)/36 a multiple of 6?
True
Let z(c) = -8*c**3 - 7*c**2 - 4*c + 4. Let h be z(-4). Is 22 a factor of 15*(h/25)/7?
False
Is 526/2 - 828/(-92) a multiple of 17?
True
Is -27*(8 + (-2431)/33) a multiple of 17?
False
Let u = 31 - 38. Is 4 + u - (1 + -21) even?
False
Does 33 divide (-15)/12*(22*18)/(-3)?
True
Let y be (-3)/(2 + -5)*1. Does 2 divide 840/(-80)*((-8)/14)/y?
True
Let m = -7 - -2. Let t(y) = -3*y**3 - 5 + 4*y + 2*y**3 - y**2 + 5*y**3 - 5*y**3. Is 26 a factor of t(m)?
False
Suppose 17*s + 2249 = 10953. Is 8 a factor of s?
True
Suppose 0 = 5*o - 74 + 14. Suppose 0 = 4*n - 0*n - o. Does 24 divide 65*3*n/9?
False
Let p(h) = -7*h + 35. Let z be p(6). Let c(m) = 2*m**2 - 9*m + 5. Is 22 a factor of c(z)?
False
Let f = 2176 - 1180. Is 12 a factor of f?
True
Let o = 1101 - 438. Is 17 a factor of o?
True
Let f(d) = -d**3 + d - 24. Let z be f(0). Let b be (-172)/14 + z/(-84). Is 12 a factor of (2*-13)/(b/6)?
False
Let o(n) be the second derivative of 0 + 1/2*n**2 + 1/3*n**4 + n + 1/6*n**3 - 1/20*n**5. Is 5 a factor of o(4)?
True
Suppose -2*p - 22 = -2*j, -37 = -2*j - 3*p + 8*p. Let s be (-20)/(-30) + 20/j. Suppose s*m - 48 = 20. Is 12 a factor of m?
False
Let g(k) = 26*k - 7. Does 2 divide g(1)?
False
Suppose 0 = -y + 8. Suppose -613 = y*b - 9*b. Suppose 5*v + 103 = b. Does 17 divide v?
True
Let d(y) = -y**3 - 22*y**2 + 20*y - 19. Let q be d(-23). Does 4 divide (-290)/(-25) - (-5)/(q/4)?
True
Let c(v) = -v**3 + 7*v**2 - 8*v + 10. Let l be c(6). Let r be (l - 1)/3 + 1. Suppose r = -2*h + h + 30. Is 5 a factor of h?
True
Suppose l + 540 = 5*l. Does 45 divide l?
True
Let v(x) = -x**3 - 5*x**2 - 6*x + 4. Let y be 3 - (2 - 0) - 4. Is v(y) a multiple of 4?
True
Let q = 171 + 21. Let g = q + -28. Is g a multiple of 41?
True
Let j be 87/27 - 10/45. Suppose 2*m - 4*y + 5 = -7, 3*y = -j*m. Is -48*-1*(m - -3) a multiple of 16?
True
Suppose -9*l + 8*l - 15 = 0. Let q be (4/(-6))/(1/l). Does 22 divide ((-126)/q)/((-7)/35)?
False
Let k = 219 - 141. Let w = 144 - k. Is 19 a factor of w?
False
Let n be (21/3)/(1/4). Let o(r) = -2*r**3 - 40*r**2 + 2*r + 41. Let u be o(-20). Let m = n - u. Is m a multiple of 6?
False
Does 47 divide (6/(-14))/(20/(-35980))?
False
Suppose 12 = -15*r + 9*r. Does 26 divide ((-91)/(-28))/(r/80*-1)?
True
Let r(w) = w**3 - 2*w**2 + 5*w - 4. Is r(4) a multiple of 6?
True
Does 28 divide 110/(-22) + 15*17?
False
Let m(b) = -b**3 - 16*b**2 + 22*b - 28. Let p be m(-19). Suppose -6*t = 241 - p. Is 11 a factor of t?
True
Let y(k) = -k**3 + 55*k**2 - 40*k - 261. Is 55 a factor of y(54)?
True
Let p = 8 - 13. Let u be (-4)/(16/4) - p. Suppose -2*c - 169 = -5*q, 0*q + u*c = -q + 47. Does 7 divide q?
True
Let a be (-2)/(((-2)/142)/1). Let x = 389 - a. Is 19 a factor of x?
True
Let i = -921 - -2025. Is i a multiple of 16?
True
Let t(d) = d**3 + 15*d**2 - 19*d - 49. Is 7 a factor of t(-10)?
False
Suppose -2*l + 1 = 5. Let r be (0/(0 + l))/2. Suppose 7*u - 5*u - 64 = r. Is 16 a factor of u?
True
Suppose -3*f = 3*c + 87, 0*c = -4*c - 2*f - 122. Is 22 a factor of (2 + -5)*(-4 + c)?
False
Let q be ((-1)/2)/(9/18) - -3. Let y = 16 + -16. Suppose -3*t - d = -y*d - 61, -4*t + q*d = -68. Does 3 divide t?
False
Let t(a) = a**3 + 10*a**2 - 9*a + 6. Let i(n) = -n**3 - 12*n**2 - 11. Let j be i(-12). Let m be t(j). Does 21 divide (m/(-12) + -1)*195?
False
Is ((-4 + 3)*15)/(12/(-440)) a multiple of 50?
True
Suppose 0 = 23*m - 20*m - 6. Suppose 3*n = m*n + 3. Suppose -n*l + l + 254 = 5*b, 43 = b + 3*l. Does 14 divide b?
False
Let c = 2666 - 1355. Does 23 divide c?
True
Let h(i) = i**2 - 4. Let m be h(-3). Suppose -3*l = -5*p + 266, -l = m*p - 7*p + 107. Does 5 divide 54/10 + (-22)/p?
True
Let d = 498 - 342. Is d a multiple of 13?
True
Suppose 20*u - 1400 - 4680 = 0. Is 5 a factor of u?
False
Let o = 25 - 32. Let j(f) = -2*f - 17. Let z be j(o). Does 11 divide 216/45*(-50)/z?
False
Let n(v) = 70*v**2 + 9*v - 26. Does 16 divide n(2)?
True
Does 22 divide 24012/78 + 1*12/78?
True
Let d(h) = -3*h + 39. Let q be d(-14). Let f = q + 27. Is 27 a factor of f?
True
Suppose -8*t = -5126 - 3610. Does 78 divide t?
True
Suppose -4*z = 0, 12*y - 4*z = 7*y + 275. Is 3 a factor of y?
False
Suppose 83*v = 81*v + 1624. Is 74 a factor of v?
False
Let d(l) = 10*l**3 - l**2 - 7*l + 4. Does 75 divide d(4)?
True
Let d = 22 + -20. Suppose -d*c + a + 140 = 0, c + 5*a - 9 = 61. Suppose 3*f - 5*f = -c. Is f a multiple of 7?
True
Let w = 14 - -130. Suppose 51 - w = 3*l. Let b = 55 + l. Is 12 a factor of b?
True
Let k(u) = u + 4. Let y be k(-1). Suppose 2*m + 274 = -p + 5*p, 348 = 5*p + y*m. Does 5 divide p?
False
Suppose -2*s - 3*s = -20. Suppose -s*p = -5*p + 85. Is p a multiple of 17?
True
Does 7 divide 3*(572/39 + (-5)/(-3))?
True
Suppose -5*c + 4*c + 4 = 0. Suppose c*m - 110 = 214. Let g = m + -40. Is 9 a factor of g?
False
Let k be ((-2)/2)/((21/(-225))/(-7)). Does 24 divide 3 + ((-12405)/k - 2/5)?
True
Suppose -5*y - 5 = 0, 29*y = f + 33*y - 173. Is 58 a factor of f?
False
Let c(y) = 6*y + 28. Let u be c(-4). Let n be 2/(2/(-6) - -1). Does 18 divide (n - u)/((-2)/156)?
False
Suppose -4*b + 12 - 27 = -5*n, -5*b - 21 = -4*n. Does 31 divide (-5049)/(-54) + n/2?
True
Let h = 4 + -4. Does 40 divide (40 - h)*(-1 + 3)?
True
Let z(d) = 12*d**2 - 221*d - 19. Is z(21) a multiple of 31?
False
Let l(b) be the first derivative of -b**3/3 + 5*b**2/2 + 3*b - 2. Let s be l(5). Suppose s*n - 65 = -2*n. Is n a multiple of 13?
True
Let q(o) = -o + 10. Let d be q(10). Suppose 2*b - 48 - 40 = d. Suppose -17*z = -19*z + b. Does 5 divide z?
False
Let k be (12/(-8))/(2/(-12)). Let v = 69 + k. Let a = v - 30. Is 12 a factor of a?
True
Let l(h) = -h - 15. Let o be l(-18). Let c be (-93*2)/((-3)/2). Suppose -9 = 2*z + o*d - c, z + d = 55. Is 13 a factor of z?
False
Let d(s) = -s**2 - s - 49. Let n be d(0). Let g = -40 + 157. Let w = n + g. Does 34 divide w?
True
Is 3*(-40570)/(-45) + (-16)/(-48) a multiple of 10?
False
Suppose 5*x - 44 = 1. Suppose 8*a + 356 = x*a. Is 47 a factor of a?
False
Suppose 4*u + 14 = 11*u. Suppose 204 = 4*k - 3*l, 166 = 5*k - u*k + l. Does 18 divide k?
True
Suppose 8*g + 55*g = 25263. Is 45 a factor of g?
False
Let f(i) = 2*i**2 + 5*i + 4. Let a be 6/(-2*(-6)/(-16)). Does 13 divide f(a)?
False
Let q(w) = -106*w - 276.