e of 5?
True
Let f(l) be the second derivative of -l**5/4 - 2*l**4/3 - 5*l**3 + l**2/2 - 168*l - 1. Is 24 a factor of f(-5)?
True
Let c = 73 + -16. Suppose c*l - 50*l - 3374 = 0. Is 24 a factor of l?
False
Suppose 112*s = 110*s - 92. Suppose 0 = -3*t - 2*t + 235. Is 17 a factor of s + t - (-1 - -238)/(-1)?
True
Suppose 13*b = -0*b - 104. Does 6 divide 6*b/(-32)*60?
True
Suppose -6*o - 169 = 413. Let m = o - -174. Suppose -189 = m*s - 80*s. Is s a multiple of 9?
True
Suppose 0 = -o - 4*o + 20. Does 4 divide 321/4*(o - (-56)/(-21))?
False
Let c(y) = y + 20. Let r be c(-17). Suppose -r*m + w - 163 = 0, 6*m - 5*w = 2*m - 232. Let a = m + 58. Is a a multiple of 5?
True
Suppose 8*a - 8 = 4*a. Suppose -a*n + 780 = -4*n - 4*g, -9 = 3*g. Does 7 divide 3/(-1) - n/4?
False
Suppose 6 = -2*l + 2*i, -l + 5 = 2*i - 7. Suppose -w + 0*g = l*g - 345, -4*g = 0. Suppose 0 = 5*n - 0*n - w. Is n a multiple of 23?
True
Let v(y) = -2*y**2 - 19*y + 39. Let i be v(-10). Suppose 2*l - 3*g = 182, -484 = -5*l - 5*g - i. Is 13 a factor of l?
True
Suppose -4*g - 33 - 3 = 0. Let k(b) = 611 - 644 + 2*b - 8*b. Is 17 a factor of k(g)?
False
Let g(u) = u**2 - 13*u + 26. Let h = 31 - 28. Let z(m) = -3*m**2 + 40*m - 79. Let s(c) = h*z(c) + 8*g(c). Does 10 divide s(8)?
False
Suppose w = -3*u - 2914, -2*u - w - 3*w - 1936 = 0. Is 6 a factor of ((-4)/(-8))/((-3)/u)?
True
Let r = 15969 - 15966. Let k be ((-412)/(-2))/((-4)/(-6)). Suppose p - 107 = 2*g + r*g, 0 = -3*p + 3*g + k. Is p a multiple of 34?
True
Suppose -4*j + 3*j - 2*c = -5, -5*j - c - 2 = 0. Does 27 divide ((-3382)/57)/(j/9)?
False
Let s = 5045 - 375. Is 11 a factor of s?
False
Does 259 divide 6068*(2772/(-24))/(-33)?
True
Let u(c) = 4*c**3 + 4*c**2 - 17*c + 32. Let j be u(4). Suppose 3*d + 6*l - 852 = 2*l, -2*l - j = -d. Is d a multiple of 31?
False
Let r(x) = -29*x - 64. Let t(k) = 86*k + 192. Let y = 36 - 34. Let a(w) = y*t(w) + 7*r(w). Is 23 a factor of a(-7)?
False
Let d = -1287 + 1354. Let u(i) = 7*i - 1. Let l be u(5). Let p = d - l. Does 10 divide p?
False
Suppose -6*u - 4*p + 938 = -5*u, 2*u + p - 1841 = 0. Suppose 56*c - 59*c = -u. Is 9 a factor of c?
True
Suppose -5*l - 6115 = -i - 4*i, -4*l = -2*i + 2444. Is 68 a factor of i?
True
Suppose 3*s - 7*s - 52 = 0. Let x(j) = 10 + 29 - 26 - j**2 + 8 - 14*j. Does 34 divide x(s)?
True
Let x(t) = 3*t**2 - 96*t + 6. Let w be x(32). Is 18 a factor of (-7329)/(-11) - w/22?
True
Let z = 730 - -641. Does 4 divide z?
False
Does 95 divide -16 + (20 + -521192)/(-12)?
True
Let c = 2333 - -12018. Is c a multiple of 127?
True
Let f = -1116 + 2339. Suppose -f = -5*k + 127. Is 19 a factor of k?
False
Let c(t) = 7*t**2 - 28*t - 696. Does 10 divide c(25)?
False
Suppose 23 = 5*b + 8. Suppose -2*z = 2*j - 486, -b*z = 4*j - 2*z - 969. Is 14 a factor of j?
False
Suppose -3*j = -84*c + 80*c + 27516, -c - 3*j + 6864 = 0. Is c a multiple of 18?
True
Let p be (-6 + 3)/((-2)/640*3). Suppose -4*c + 20 = 0, a - 4*c + p = -2*a. Is 15 a factor of (-36)/5*a/6?
True
Does 11 divide ((-777)/63)/(634/318 - 2)?
False
Let k(t) = t**2 - 9*t + 3. Let i(c) = 1. Suppose -4*g + 9 = -5*u - 15, -g - 15 = 4*u. Let r(f) = g*k(f) - 5*i(f). Is r(-6) a multiple of 22?
True
Suppose -y = -2*l + 3, 2 = -4*l + y + 5. Suppose l*z = -9*z + 45. Suppose 0 = -3*s + 5*o + 47, o - 69 = -z*s. Does 14 divide s?
True
Let a(y) = -y**3 - 78*y**2 - 434*y - 34. Is 5 a factor of a(-72)?
True
Let x = -111 + 114. Suppose 240 = x*f + 216. Suppose f*j - 336 = -4*j. Is 4 a factor of j?
True
Let i be (21/7)/(7/(-6) - -1). Let q(g) = -53*g - 158. Is 8 a factor of q(i)?
False
Let o = 5248 + -1073. Is o a multiple of 21?
False
Suppose -2*b = -10073 + 1927. Is b a multiple of 38?
False
Suppose 0 = 61*b - 183*b - 1821120 + 8134376. Does 65 divide b?
False
Does 28 divide (209 + -215)*(-2)/(8/150)?
False
Suppose 0 = -j + 11*j - 320. Let t be (3 - 27/6)*j/(-6). Suppose t = -2*q + 28. Does 4 divide q?
False
Let j(z) = 2371*z**2 + 363*z - 732. Is j(2) a multiple of 210?
False
Let k = -100 - -94. Is 21 a factor of -6*(-105)/k*2/(-5)?
True
Let g = 91 + -18. Let z be -2*((-18)/42 - 391/(-14)). Let b = g + z. Is b a multiple of 2?
True
Let m(f) = 142*f**2 + 17*f + 126. Is m(-14) a multiple of 21?
True
Suppose -2*b + 5*a + 104 = 0, -3*b + 43 = 2*a - 94. Suppose -437 = -3*n - b. Suppose n = 5*d - 0*d. Is 7 a factor of d?
False
Let g = 6991 - -4465. Is g a multiple of 64?
True
Let j(o) = 146*o**3 + 5*o - 6. Let u be j(1). Let d = 111 + u. Is d a multiple of 8?
True
Suppose 1956 = 5*i - 574. Let j = i + -286. Is j a multiple of 11?
True
Let p(t) = -1812*t**3 + 5*t**2 - 36*t - 74. Is 123 a factor of p(-2)?
True
Let q be -1 - 6/(-1) - 5. Suppose q = -5*j + 230 - 60. Does 3 divide j?
False
Let x(n) = -n**2 - 9*n - 6. Let i = 42 + -49. Let k be x(i). Is k/(-2) + 103 + -8 a multiple of 7?
True
Let m = -71 - -74. Suppose 2950 = m*k + 4*z, 5*k = 8*z - 7*z + 4886. Is k a multiple of 59?
False
Let x = 323 + 646. Is 17 a factor of x?
True
Let b(g) = -g**3 + 12*g**2 + 10*g + 37. Let a be b(13). Is 21 a factor of 63/(27/13 + a)?
True
Let x(b) = -81*b**2 - 4*b + 5. Let v be x(1). Let c = 0 - v. Does 8 divide c?
True
Let x be (5/2)/((-3)/(-6)). Let q(y) = 19*y - 6. Let k(a) = -19*a + 7. Let w(c) = 6*k(c) + 7*q(c). Is 19 a factor of w(x)?
True
Let z(s) = -2*s**2 + 20*s - 39. Let v be z(6). Suppose -v*j = -12*j + n + 2061, 0 = 4*j - 4*n - 2740. Is 62 a factor of j?
False
Suppose -2 - 6 = 4*l, 3*l - 269 = -5*f. Suppose s - 3*b = 575 + f, 0 = -2*s + 5*b + 1260. Is 18 a factor of s?
True
Suppose -14 = 2*z, -r = -6*r + 4*z + 28973. Is 7 a factor of r?
True
Suppose 2*o + q - 3*q = 12, -4*q = 5*o - 39. Suppose 11*u = o*u. Suppose u = 7*b - 13*b + 462. Does 18 divide b?
False
Suppose 9*j - 52 = -16. Let g(s) = -s**2 + 16*s - 1. Let i be g(j). Suppose -2*l + 47 = m - 0*l, m - 3*l = i. Does 10 divide m?
False
Is 8 a factor of ((18/(-4) - -2) + (-3114)/60)*-30?
True
Let m(l) = -l**3 - 56*l**2 + 139*l - 127. Is 5 a factor of m(-59)?
True
Suppose -923*z + 778*z = -1115920. Is 60 a factor of z?
False
Let t(w) = -w + 10. Let o be t(17). Let h(n) = 3*n**2 - 35. Let p be h(o). Suppose 9*r - 2*r = p. Is r a multiple of 4?
True
Let z(m) = 2*m**2 - 101*m + 436. Is 16 a factor of z(68)?
True
Let a = -14654 - -26101. Is 16 a factor of a?
False
Let f(m) = m**3 + 11*m**2 - 11*m + 17. Let k be f(-12). Suppose -h = k*v + 2*h + 2, -4*v - 3*h - 1 = 0. Is 5 a factor of 156/4*v/(-3)?
False
Suppose 92*h - 89*h - 9 = 0. Suppose 120 + 12 = h*u. Is 12 a factor of u?
False
Let y be 40/70 - (-108)/7. Suppose -1505 = -23*h + y*h. Does 43 divide h?
True
Let f be ((16 - 20) + 5/2)*(-2 - 0). Let x be (2 + 0 + -1)*569. Suppose c + x = 3*t, -c = 5*t + f*c - 937. Is t a multiple of 21?
True
Let w = -347 - -375. Suppose 15*a = w*a - 2548. Is a a multiple of 14?
True
Suppose -20*c + 27*c + 2506 = 0. Let v = 494 + c. Is v a multiple of 53?
False
Suppose 184*a + 13536 = 192*a. Is a a multiple of 118?
False
Suppose s = -1, 15*p - 11*p - s = 19009. Does 22 divide p?
True
Let b(r) = 20*r + 20. Let u be b(-1). Suppose u = 29*k - 9805 + 3193. Is k a multiple of 38?
True
Let h(l) = 40*l + 78. Let x be h(-2). Does 55 divide x*(-2 - -4) + (-2232)/(-3)?
False
Let h(s) be the second derivative of 2*s**4 - 11*s**3/6 - 3*s**2 + 67*s - 1. Is 9 a factor of h(-3)?
True
Let y = 197515 + -132193. Is y a multiple of 114?
True
Suppose 1477 = 2*q - 5*d, -19*d - 3 = -18*d. Is 3 a factor of q?
False
Let w be (59/(-4) + 4)/(2/8). Is 17 + -11 - 1*w a multiple of 7?
True
Let n = 34 + -31. Suppose -3*y - 1189 = 5*p, 2*p + n*p + 2*y = -1186. Let k = 380 + p. Is k a multiple of 19?
False
Suppose -560 = 8*u - 23048. Does 24 divide u?
False
Does 29 divide 1/((-1)/(-5910)) - (717 - 726)?
False
Let g be (19/38)/(2/20). Suppose 10 = -5*b + 4*v + 126, -g*v = 4*b - 101. Is 3 a factor of b?
True
Let l = 46 + -53. Let u(f) = -f**3 - 6*f**2 + 11. Does 6 divide u(l)?
True
Let a = -32293 + 57945. Is 44 a factor of a?
True
Suppose -4*o = 2*k + 73 + 149, 3*o + 159 = -3*k. Let c = o - -61. Suppose -264 + 57 = -c*u. Is u a multiple of 13?
False
Let v(k) = 8*k**3 + 3*k**2 - 15*k + 10. Let q be v(4). Is 0 + 175 + q/(-85) a multiple of 13?
True
Let z(v) be the third derivative of 2*v**5/15 - 5*v**4/24 - 19*v**3/2 + 61*v**2 + 2*v. Does 53 divide z(-9)?
True
Supp