et r be k(17). Let f be i(r). Let q(z) = -z**3 - 14*z**2 - 21*z - 24. Does 8 divide q(f)?
True
Let f(n) = -14*n + 16. Let x be f(3). Let q = -24 - x. Suppose -z + 19 = -q*h, -5*z - h + 137 = 3*h. Is 25 a factor of z?
True
Suppose 60*s - 64*s + 3*o + 75479 = 0, 94369 = 5*s + 3*o. Does 56 divide s?
True
Let u(m) = -2*m**3 - m**2 + 7*m + 299. Does 51 divide u(0)?
False
Let i(k) = -3*k**3 - 3*k. Let l(a) = 13*a**3 + 13*a. Let s(j) = 9*i(j) + 2*l(j). Let n be s(0). Suppose n*h = 2*h - 98. Is 7 a factor of h?
True
Is 16 a factor of -12 - (1 - (-17 - -11274))?
False
Does 18 divide ((-34572)/36 - 13)*-6?
False
Let o(l) = 6*l**2 - 114. Is o(-13) a multiple of 3?
True
Suppose 29*c + 71 = -3*h + 30*c, -3*c = -2*h - 59. Let j = 73 - h. Does 3 divide j?
False
Let i = 11265 - 3841. Is i a multiple of 56?
False
Let h(o) be the second derivative of -25*o**3/3 + 89*o**2 + 49*o. Does 16 divide h(-7)?
True
Let l(z) = 6*z**2 + z - 96. Let w be l(9). Let n(s) = 121*s**2 + s + 1. Let y be n(-1). Suppose w + y = 5*b. Does 19 divide b?
False
Let x(l) = -l**2 + l + 2. Let n be x(0). Let i(t) = 13*t**3 - 3*t**2 + t + 2. Let b be i(n). Let v = b - 73. Is v a multiple of 2?
False
Suppose 60*o + 1275 = 9*o. Does 4 divide (10/o + (-326)/(-40))*60?
False
Let j(b) = b**3 + 21*b**2 + 21*b - 4. Let l be j(-20). Let h(f) = f**2 + 2*f + 32. Let s be h(l). Suppose -7*m - 7*m = -s. Is 20 a factor of m?
True
Suppose -c = -13*c + 1452. Let n be 1/(-7) + 1292/28. Let x = c - n. Is 15 a factor of x?
True
Let o(m) = 15*m - 4. Let h be o(-20). Does 58 divide (-1)/(2/h + 0)?
False
Suppose 837 = -22*q - 9*q. Is (-30*1)/(33/q + 1) a multiple of 9?
True
Suppose 5*t = 3*x + 2780, -16*t + 15*t + 556 = -3*x. Suppose -4*k - 2*i + t = 0, k - 6*i = -2*i + 130. Is 20 a factor of k?
False
Let y = -35 + 40. Suppose 3*q - u - 51 - 18 = 0, 81 = 4*q - y*u. Is 23 a factor of ((-24)/14)/(q/(-1932))?
True
Let f(d) = 961*d**2 - 9*d + 4. Let r(a) = -961*a**2 + 8*a - 2. Let u(g) = 5*f(g) + 4*r(g). Is u(1) a multiple of 15?
True
Let p be 1804 + -1 + 124/(-62). Suppose -6*k + p - 541 = 0. Is k a multiple of 10?
True
Suppose -4779 + 28453 = 40*v - 12726. Is v a multiple of 14?
True
Suppose -145 = -40*a + 69*a. Does 7 divide (19340/(-22))/a + (-14)/(-77)?
False
Let z = 5 + 19. Suppose 20*p - z*p = -208. Does 13 divide p?
True
Suppose 4*s - 2848 = -2*z, 0 = 3*z - s + 2*s - 4297. Suppose -5*j + 0*j + 2*g = -z, -4*j = 3*g - 1161. Does 24 divide j?
True
Let w = -57 + 232. Let x = w - -91. Is 14 a factor of x?
True
Let p = 48668 - 77596. Does 16 divide 13/((-585)/6) + p/(-60)?
False
Is -18 - (-7 - 7) - -8312 a multiple of 25?
False
Let k(d) = 25 - 5*d - d**3 - 11*d**2 + 0*d + 7*d - 1. Is k(-12) a multiple of 6?
True
Let i(p) = -p**2 + 5*p - 3. Let b be i(3). Let f = 5229 - 5225. Suppose -b*k - 33 = -v, 2*v - 34 = -v - f*k. Is v a multiple of 3?
True
Let c(p) = -p**3 - 14*p**2 + 51*p - 3. Let k be c(-17). Let f(a) = a**2 + 3*a + 4. Does 2 divide f(k)?
True
Suppose -6*l - 622 + 3148 = -2214. Is 24 a factor of l?
False
Let g(q) = 2*q**3 + 21*q**2 - 13*q - 22. Let r be g(-11). Does 2 divide (5 - 0)*(r - (-27)/15)?
False
Let k be 1638/(-27) - (2/6 - 1). Let x = k - -42. Is 18 a factor of 1/(0/1 - 1/x)?
True
Let m(c) = c**3 + 6*c**2 + 8*c + 17. Let v be m(-5). Suppose a - 1368 = -v*a. Is a a multiple of 30?
False
Let h = 15 + -21. Let n(z) = -z + 5. Let f be n(-4). Is (h/f)/2*-36 a multiple of 5?
False
Let o = -4653 - -13338. Is o a multiple of 6?
False
Let c(z) be the first derivative of 3*z**4/4 - z**3 - z**2 + 4*z - 114. Let o = 0 - -3. Does 16 divide c(o)?
False
Let r(l) = 2*l**2 + 127*l + 530. Is r(-72) a multiple of 21?
False
Does 83 divide -10*(-1 - 0) - -17171?
True
Is -7 + (-40)/(-6) + -681*(-1233)/81 a multiple of 22?
False
Suppose -57*f + 29*f = -532. Suppose f*m - 562 = 17*m. Does 19 divide m?
False
Let g be (-32 + 2)/(-1*18/9). Does 6 divide (-2 - -394)/2 + (15 - g)?
False
Suppose -4*q = 2*l, q + l + l = 0. Suppose 4*m - 107 + 127 = q. Let p(y) = -14*y - 1. Does 5 divide p(m)?
False
Suppose -4*m - 12*x + 41483 = -15*x, -31105 = -3*m - 5*x. Is m a multiple of 7?
False
Let n = 89 - 87. Suppose -5*m - n*m = -3185. Suppose -m = s - 8*s. Is 15 a factor of s?
False
Let w be 981/6*(-12)/18. Suppose -5*y + 158 = z + 11, 0 = 3*z - y - 409. Let d = w + z. Does 7 divide d?
True
Let d = -134 + 139. Suppose -5*h = -5*c - 1636 + 221, 0 = -d*h + 4*c + 1417. Is 22 a factor of h?
False
Let l(n) = -n**2 - 18*n + 264. Let v be l(-28). Is 7 a factor of v/36 - (-8541)/81?
True
Let c be 21/35*10/(-8)*4. Is (c - -1)/(20/(-70)) a multiple of 7?
True
Suppose 2*s + 67*c - 70*c = 2994, -2*c + 2984 = 2*s. Is 9 a factor of s?
True
Suppose 0 = 3*c - 3*m, 0*c + m + 6 = 3*c. Suppose -4*n = c*q - 387, n - 7*q = -12*q + 101. Is 6 a factor of n?
True
Let r = -2663 + 5215. Is r a multiple of 6?
False
Suppose 4*p - 17*l - 137595 = 0, 37153 = p - 3*l + 2758. Is 11 a factor of p?
True
Suppose 5*g = x - 7600, -11699 = -4*x - 3*g + 18793. Is 89 a factor of x?
False
Suppose -g - 3*g + 64 = 0. Let b = g - -49. Let z = b - -70. Does 23 divide z?
False
Suppose -5*o + g = -611, -1 = -3*g + 11. Suppose 0 = 2*v + 861 + o. Is v/(-42) - 4/(-14) a multiple of 12?
True
Suppose 3*g - 13 - 8 = 0. Does 21 divide 1260/3*(-3 + g + -3)?
True
Suppose 6*l + 135 = -3*l. Is 46/(-345) - 4307/l a multiple of 3?
False
Suppose 13*t - 22956 = -5*k + 16*t, 13760 = 3*k + 5*t. Is k a multiple of 85?
True
Let w(m) = m**3 - 9*m**2 + 18*m - 6. Let c = -401 - -410. Does 26 divide w(c)?
True
Let i = 784 - -29516. Is i a multiple of 60?
True
Suppose -r = 3*r - 4*q - 4, -5*r + 2*q = -11. Let o(s) = 19*s**3 + s**2 - 2. Let c be o(r). Suppose 4*g + 0 = -20, 4*i + 4*g - c = 0. Does 27 divide i?
True
Let u be ((-74)/185)/(1/(-1220)). Let r(c) = 51*c - 7. Let g be r(-6). Let z = g + u. Is z a multiple of 23?
False
Suppose -6*b = -236 + 218. Suppose 3*c + l = 5*c - 167, b*c + 5*l - 218 = 0. Is c a multiple of 9?
True
Let g(f) = -18*f - 80*f - 174 - 27 - 66. Is 34 a factor of g(-16)?
False
Is 39 a factor of (-26519*1 - (-1)/(-1))*15759/(-10506)?
True
Suppose 0 = -24*g + 5567 + 29161. Is g a multiple of 3?
False
Let t(i) = -2*i**3 + 6*i**2 - i - 1. Let u be t(5). Suppose 1104 = -8*r + 4*r. Let y = u - r. Is y a multiple of 17?
True
Let m = -337 - -793. Let a = m - 350. Is a a multiple of 3?
False
Suppose -1391 = -3*h - 2*s + 4*s, -s + 1862 = 4*h. Let n = h + 86. Is 29 a factor of n?
True
Let o = 43 + -37. Suppose -o*v + 12*v = 6. Is 4 a factor of (v + 4)*(-12 - -25)?
False
Let o(p) = -48*p**3 + 63*p**2 + 391*p + 12. Does 11 divide o(-5)?
True
Suppose 27*l = 33*l - 4434. Suppose -8*k + 4*n + 736 = -4*k, -4*k + 3*n = -l. Is 17 a factor of k?
True
Let n = 314 - 306. Does 19 divide n/(-20) - 17585/(-25)?
True
Suppose 13 = 2*o + 3*y, 0 = y - 1. Suppose o - 5 = 4*m. Suppose m = -2*k - 9*k + 1771. Does 19 divide k?
False
Let z(h) = 26*h - 148. Let u = -337 - -344. Is 9 a factor of z(u)?
False
Let z(n) = -53*n + 17. Let v be z(-2). Let q = 948 + v. Does 21 divide q?
True
Let u(p) = -2*p**2 + 9*p. Suppose 10 + 2 = 3*k. Let a be u(k). Suppose -a*b + 8 = -3*b. Is 4 a factor of b?
True
Let q be 9713/(-33) + (-10)/6 + 1. Let v = -81 - q. Let p = v + -153. Does 5 divide p?
False
Let b be (-19859)/(-63) - 4/18. Suppose -b = -2*m + 3*u + 2*u, -3*m + 515 = u. Is 34 a factor of m?
True
Let a be -2 - (-900 + (-28)/7). Let g = 1517 - a. Is g a multiple of 17?
False
Is (-1502084)/(-644) + 6/(-14) a multiple of 44?
True
Suppose 2*r + 0 = -5*y - 5, 2*y = -3*r - 2. Suppose w + 4*k - 68 = r, -2*w - k + 145 = 4*k. Is w a multiple of 10?
True
Suppose -6428 = -2*y - 12*d + 10*d, -3*d = -15. Is y a multiple of 211?
False
Is 79 a factor of (((-4)/(-6))/((-10)/(-345)))/(20/58780)?
False
Suppose -19*p - m - 2 = -23*p, 4*p + 8 = -4*m. Suppose 2*s - 6*s = 0. Suppose -4*c - 4*x + 585 + 255 = p, -2*c + x + 426 = s. Does 44 divide c?
False
Let w(u) = 409*u**2 + 477*u + 6. Is w(-5) a multiple of 2?
True
Suppose 30*b = 249*b - 12356856. Does 12 divide b?
True
Let v(z) = 125*z + 2223. Does 47 divide v(89)?
True
Let t(x) = 113*x + 2229. Does 116 divide t(47)?
True
Let p = -164 - -169. Suppose p*h - a - 1999 = 0, a + a + 1198 = 3*h. Is h a multiple of 14?
False
Suppose 3*n + 2*u + 11350 = 0, n + 4*n - 3*u + 18904 = 0. Does 9 divi