ue
Let p(s) be the second derivative of -s**4/12 - 7*s**3/2 - 30*s**2 - 12*s - 2. Is p(-15) a multiple of 5?
True
Let m be (-18)/((-631)/(-2548) - (-5)/(-20)). Suppose 0 = -14*y - 0*y + m. Is y a multiple of 26?
True
Is (-15)/6 - (-8740)/8 a multiple of 7?
False
Suppose 4*n + 12 = -0*n, 0 = q - n - 24. Suppose 190 = -q*h + 22*h. Is 9 a factor of h?
False
Does 6 divide -4 + (-8916)/(-21) + 40/(-70)?
True
Let f(u) = -116*u + 8979. Is 89 a factor of f(26)?
True
Suppose -u = -5*n - 41, 5*u - 4*u = 3*n + 31. Suppose 17*r - 33 = u*r. Suppose 36*f = r*f + 243. Is 9 a factor of f?
True
Suppose -5*x + 20 + 3 = v, 31 = 5*v + 4*x. Let i be (1/v + 2577/(-9))*-1. Suppose 4*h - i = 274. Does 28 divide h?
True
Let w = 22 + 17. Let u = w - 51. Let i(k) = k + 53. Is i(u) a multiple of 4?
False
Suppose -2*l - 3*i = -7, -i + 7 = -l + i. Let h(o) = -106*o - 2. Does 7 divide h(l)?
False
Let w(d) = 2*d**2 + 19*d + 16. Let f be w(-15). Suppose 166 = 4*t - 2*v, -t - 5*v = -5*t + f. Does 39 divide t?
True
Let u = 36 - 30. Suppose u*f + 315 = -f. Let l = -33 - f. Does 2 divide l?
True
Suppose 10 = 2*w, -2*x + 4*w = -5*x - 58. Let g = x - -33. Suppose -c = f - 3*c - g, 2 = f - 3*c. Is f a multiple of 12?
False
Does 5 divide (16 + -15 + 191)/(3/6)?
False
Suppose 2*n - 135 + 113 = 0. Suppose 0 = -n*h + 6*h + 1175. Does 20 divide h?
False
Let f(j) = 11*j - 140. Let n be f(-28). Let i = n - -474. Is 10 a factor of i?
False
Let f(b) be the second derivative of -b**3/2 + 4*b. Let w(j) = -27*j + 5. Let p(h) = -15*f(h) + 3*w(h). Is 41 a factor of p(-3)?
True
Let s = 2629 + -1105. Is s a multiple of 22?
False
Is 31785/(-4)*(-112)/28 a multiple of 25?
False
Suppose 62240 = 24*u + 1400. Is 15 a factor of u?
True
Suppose 0 = -11*g + 17*g + 12. Let a be 45/g - 15/(-10) - -2. Let k = a - -24. Is 2 a factor of k?
False
Let h(c) = 20*c - 55. Let r be h(4). Let f(z) be the second derivative of z**4/12 - 11*z**3/3 + 35*z**2/2 + 2*z. Is f(r) a multiple of 22?
True
Suppose 4*b - 11 + 3 = 0. Suppose b = 3*l - 13. Let i(z) = 30*z - 1. Is i(l) a multiple of 17?
False
Suppose 4 = -3*g + 7, -i + 73 = -2*g. Suppose -83 = -4*q + 313. Let m = q - i. Is 3 a factor of m?
True
Let u(w) = 18*w**2 - 48*w + 636. Is 98 a factor of u(15)?
False
Let v = -177 - -344. Suppose 173*u - 3666 = v*u. Is u a multiple of 13?
True
Let y(l) = 8*l + 100. Let r be y(-14). Let f(t) = -t**3 - 9*t**2 + 12*t + 35. Does 42 divide f(r)?
False
Let o(i) = i**2 - 11*i - 10. Let q(y) = -26*y - 246. Let r be q(-10). Is 6 a factor of o(r)?
False
Suppose 3*o - 73 - 38 = 0. Suppose o*f - 19*f = 6282. Is f a multiple of 26?
False
Suppose 2*b - 1996 = -4*x, -8*b + 4*x - 2992 = -11*b. Is b a multiple of 6?
True
Is 39996/363 + (-2)/11 a multiple of 11?
True
Let i(z) = -19*z**3 + 3*z**2 - z - 3. Let b(p) = -2*p**3 - p**2 - 5*p - 5. Let f be b(-2). Suppose -3*o + 4*v + f = 0, -o - 4*v - 13 = 8. Does 4 divide i(o)?
True
Suppose -182*z + 23280 = -174*z. Is z a multiple of 28?
False
Suppose 5*f - 4*p - 36408 - 38030 = 0, -2*f = -2*p - 29774. Does 22 divide f?
False
Suppose 56*u - 59*u = 2*a - 31130, 4*u - 41520 = -a. Is 179 a factor of u?
True
Is 33 a factor of (-43)/(602/168)*(-1915)/10?
False
Suppose -6*b - 77 = 67. Does 13 divide 5/(30/b) - -125?
False
Let n(x) = -454*x + 886*x - 448*x - 171. Is 13 a factor of n(-32)?
False
Let g(c) = 364*c**2 + 308*c - 614. Does 27 divide g(2)?
True
Suppose 2*r + 52 = 2*n - 0*n, -n - r + 30 = 0. Suppose -z + 2*y + 31 = 0, 2*z - z - y = n. Is 25 a factor of z?
True
Let a = 1 - 1. Suppose 0 = 3*s - a*s + 3*t + 9, 0 = -3*s + 3*t + 3. Does 38 divide (-1)/(s/(-277)*-1)?
False
Let i(l) = l + 1. Let f(a) = -62*a**2. Let q(n) = -f(n) + i(n). Let d = 98 - 97. Is q(d) a multiple of 11?
False
Let k(r) = 11*r**2 + 21 - 3*r**2 + r**3 + 25*r - 11*r. Is k(8) a multiple of 26?
False
Let m(t) = 37*t - 208. Let f be m(6). Let d(h) be the third derivative of -h**6/120 + 7*h**5/30 + h**4/3 + 7*h**3/6 + 2*h**2. Does 17 divide d(f)?
True
Suppose -4*j + 14*u + 259057 = 9*u, -4*j + 3*u + 259047 = 0. Is j a multiple of 86?
True
Suppose -72611 = -115*q + 92*q. Is q a multiple of 41?
True
Let v = -37893 + 58773. Does 29 divide v?
True
Suppose -58511 = 11*w - 201598 - 125830. Does 8 divide w?
False
Suppose 2*o + 3*j - 2*j = 26, 0 = 2*o + 4*j - 26. Is 9 a factor of 9 + -12 + 4 + o?
False
Let y(f) = -f**2 + 33*f - 140. Let b be y(27). Suppose 5*h = 25, -25*h - 1125 = -3*z - b*h. Does 21 divide z?
False
Suppose 10*t - 9*t = -4*b + 6657, -4*t = -20. Suppose -3*c + 3*u - b + 5260 = 0, c - 1195 = 5*u. Does 14 divide c?
False
Suppose 4*h = -0*h + 4*m + 1536, 0 = 3*h + 5*m - 1152. Suppose 388*u = h*u + 2552. Is u a multiple of 44?
False
Let y = 17127 + -8051. Does 354 divide y?
False
Suppose 34 = u + 32. Suppose -171 + 61 = -u*y. Suppose 64*x - y = 63*x. Does 16 divide x?
False
Suppose 4*h + 2*m - 18134 = 0, 156 = -h - m + 4687. Is 3 a factor of h?
True
Suppose -2*s + u = 2 - 5, -5*s + 5*u = -15. Suppose 2*j + 2*k - 302 = 0, -3*j - 5*k = -s*j - 447. Does 16 divide j?
False
Suppose -12 = -5*u - 4*p - 140, -3*p = -3*u - 66. Let s be 2 + (1/6 - 44/u). Suppose 9 - 3 = 2*c - 2*z, -4*c - 4*z = -s. Is 2 a factor of c?
True
Let d(u) = -13*u - 32. Let o be d(-8). Suppose 8*b + b = o. Is (-465)/(-20) - (-6)/b a multiple of 21?
False
Let p be 1 - (-2 - (0/4)/(-6)). Suppose -4*s + 2849 = -5*u, -4*s = p*u - 2*u - 2819. Does 11 divide s?
False
Suppose -4*j - 2*n = -8*j + 41316, 5*n + 30987 = 3*j. Is 2/6*-2*j/(-22) a multiple of 30?
False
Suppose 3*l - 12 = 4*o, -17*o + 4*l = -19*o + 16. Suppose o = -h + x + 1053, 0 = -h - h + x + 2105. Is 20 a factor of h?
False
Let a be (-1503)/36 - (14/(-8) + 2). Let y be (30/a - -1) + (-5176)/(-14). Suppose -5*v + 168 + 202 = h, 5*v + 4*h - y = 0. Does 27 divide v?
False
Let z = 38 + -6. Let h = -25 + z. Suppose 85 + 41 = h*d. Is 9 a factor of d?
True
Let z(r) = -19*r - 35. Let x be (1 - -3 - 5) + -1*10. Does 12 divide z(x)?
False
Let m(f) = 5*f**2 - 39*f + 1. Let b be m(9). Let g = b - 63. Is 18 a factor of 10/(-5) - g*23/2?
True
Let w(c) = c**3 - 6*c**2 + 13*c - 8. Let l be w(3). Suppose 3*g - l*v - 3270 = 0, -2*g - 3*g + 4*v + 5450 = 0. Is 17 a factor of g?
False
Let w = -3418 + 3418. Let r(v) = -3*v - 1. Let i be r(-3). Is i/(-36) - (w - 3624/27) a multiple of 20?
False
Is -2 + (-5797)/(-3)*3 a multiple of 80?
False
Let g = -45 - -43. Let d = g - -8. Let j(m) = 3*m**2 - 7*m + 4. Is 43 a factor of j(d)?
False
Let i = -23190 + 34809. Is 82 a factor of i?
False
Suppose -3*w + 4*v + 1117 - 6 = 0, -5*w + 5*v + 1845 = 0. Suppose 357*s - w*s + 1520 = 0. Is 10 a factor of s?
True
Let f be (15/(-10))/((-3)/(-2)). Is 13/13 + (-974)/f a multiple of 15?
True
Let c(y) = -y - 3*y**3 + 4*y**3 - 4*y**2 + 7 + 9*y**2. Let t(q) = -q**3 - 4*q**2 + 5*q + 17. Let o be t(-4). Is c(o) a multiple of 18?
False
Let l(m) = m**3 - 4*m**2 - 6*m + 3. Let s = -62 - -70. Suppose 3*y + 35 = s*y. Does 36 divide l(y)?
True
Suppose 71079 = 67*f - 4441 - 58346. Is f a multiple of 3?
True
Let g(v) = -2*v**3 - 2*v**2 - 5*v + 1338. Does 43 divide g(0)?
False
Suppose -7*i + 5*p = -93127, 3*p + 44379 = 5*i - 22138. Is 47 a factor of i?
True
Let n = 17222 + -2636. Does 6 divide n?
True
Is ((-15)/3 - (-11 + 20)/(-9)) + 38522 a multiple of 17?
False
Let a be (-7 + 7)/(0 + 2) - -5. Suppose -17010 = -a*u - 13*u. Is u a multiple of 21?
True
Suppose v = 2*b - 2, -15*b + 20*b + v = 19. Suppose 0 = 4*d - 3*k - 2218 + 427, b*d - 1353 = -k. Is d a multiple of 54?
False
Let s be -2*2/(-16) + 67/4. Suppose -s*a + 273 = -14*a. Is 26 a factor of (6 - 2) + a + -2?
False
Let j be 4/7 + ((-175)/49 - -4). Is (j + (5 - (14 - 2)))*-55 a multiple of 6?
True
Suppose 2*t - 27124 = -4*g, 17*t - 22*t + 3*g = -67875. Is 26 a factor of t?
True
Let c be (6/(-9))/((-8)/(-12)). Let r be (50/3)/((-6)/9 - c). Is r/3*(-9)/12*-4 a multiple of 20?
False
Let u be (65/(-105) + (-6)/(-21))*381. Let g = u - -132. Suppose -6*n = -2*x - g*n + 23, 0 = 3*x - 3*n - 39. Does 10 divide x?
True
Does 114 divide (12325/(-45) + 7)/(-1 + 8/9)?
False
Suppose 380 = -5*h - 2920. Let n = -7797 - -6842. Let p = h - n. Is p a multiple of 59?
True
Let i(w) = w**3 + 21*w**2 + 35*w + 40. Let u(a) = 19*a + 117. Let p be u(-7). Is 10 a factor of i(p)?
True
Let a(v) = v**2 - 41*v + 77. Let n be a(22). Does 25 div