 of -v**5/20 - 5*v**4/6 + 8*v**3/3 - 2*v**2 + 17*v. Is 3 a factor of i(-12)?
False
Let p(k) = 16*k**2 + 2*k - 24. Let m be p(13). Suppose -14*o = -8*o - m. Suppose -196 = -3*y - l + o, 3*y - 5*l - 635 = 0. Is y a multiple of 41?
False
Let y(t) = t**3 - 421*t**2 + 430*t**2 - 2 - 12*t - 21*t + 6*t. Suppose 0*o - 44 = 4*o. Does 5 divide y(o)?
False
Suppose -3*n = -5*x + 16, 0*n = -2*n - 4. Suppose 4*z - 365 = -0*z + 5*a, x*z - 3*a - 183 = 0. Suppose i + i = z. Is i a multiple of 30?
False
Let s(q) = -3*q**2 - 2*q + 6. Let g(d) = 13*d**2 + 8*d - 24. Let n be 3/(0 - 4/24). Let z(u) = n*s(u) - 4*g(u). Does 9 divide z(-9)?
False
Let z(i) = -15*i**3 + 10*i**2 - 10*i + 6. Let d be z(-5). Suppose 19*c + 167 = d. Is c a multiple of 5?
False
Let m be 8/(-2) + (-35)/(-7). Let y be (-1 + (-175)/(-10))*2. Let j = y + m. Is 34 a factor of j?
True
Let c(i) = -5*i**3 + 3*i**2 - 3*i. Let y(b) = -5*b + 8*b - 7*b**2 - 3 - 12*b**3 + 14*b**3. Let x be y(3). Is 57 a factor of c(x)?
True
Let l = 7327 + -5472. Is 3 a factor of l?
False
Is 24 a factor of -40*2/1*(-2196)/120?
True
Suppose -3*s + 66 = -3*p, 0*p - 100 = -4*s + p. Let r = 3 + s. Suppose 3*c - r = 79. Is c a multiple of 4?
True
Suppose -20*b + 17*b - 29358 = 0. Is 32 a factor of 1/3 - 6/(108/b)?
True
Let p(j) = 21*j + 224. Is 8 a factor of p(-8)?
True
Let q be (4 + -18)/(-1 + -1). Suppose q*z - 4*z + 18 = 0. Does 12 divide 12/(-5)*140/z?
False
Let z = -15 - -27. Suppose -4*l = -z*l + 504. Suppose 8*w = w + l. Does 3 divide w?
True
Let f = 3176 - 1758. Is 28 a factor of f?
False
Let x be 5/(-4)*(-4 - 0). Let r(u) = 7 + 10 + 4*u + x*u + 2*u. Is 47 a factor of r(7)?
True
Suppose 0 = -5*x - 10, 3*v - 19234 = -4*x + 11187. Does 77 divide v?
False
Let j(q) = 298*q - 99. Let r be j(3). Suppose 5*y - 3*x = r, -7*y + 10*y = -5*x + 511. Does 22 divide y?
False
Let w be 8/(-3 - (-262)/86). Let d = 197 - w. Is d a multiple of 5?
True
Suppose 2*c = 3*c - 5*q + 395, 3*c = 5*q - 1145. Let r(o) = -2*o**3 - 28*o**2 - 4*o + 185. Let h be r(-15). Let g = h + c. Is 20 a factor of g?
True
Suppose -2*v - 2339 = -4*z - z, -1407 = -3*z + 3*v. Let y = -212 + z. Does 51 divide y?
True
Let j = -2556 - -6828. Is 48 a factor of j?
True
Let p be 4 - (-24)/((-2)/1). Let x = -4 - p. Suppose 0 = x*h - 3*o - 362 + 45, -2*h = -3*o - 157. Does 13 divide h?
False
Let u = -5 - -8. Let z be (-3*11/5 + 1)/((-2)/30). Suppose z + 69 = 2*y + 3*x, -y = -u*x - 63. Is y a multiple of 8?
True
Let u be ((-68)/(-102))/((-2)/(-63)). Suppose f - u = -g, f = -4*f + 4*g + 69. Does 10 divide f?
False
Let c be (1302/(-24))/7*8. Let i be c/((-28)/6 - -4). Let s = i + -41. Does 3 divide s?
False
Suppose 3*d + 6*d = 189. Let n(l) = -l**2 - 11. Let w be n(0). Let v = w + d. Is v a multiple of 5?
True
Let s(t) = -254*t + 14080. Does 12 divide s(-54)?
False
Suppose -7*a + 3*o + 7905 = -6*a, 31635 = 4*a + 3*o. Is 11 a factor of a?
False
Let l = -399 + 404. Suppose n = l*m - 2313, 2*m - n + 2307 = 7*m. Is 33 a factor of m?
True
Let z = 15728 - 975. Is 38 a factor of z?
False
Suppose -w = -4*w + 750. Let v = w - 198. Is 5 a factor of v?
False
Let r(d) = 21*d + 39. Let y be r(21). Is (-6 + 0)/(5*(-9)/y) a multiple of 4?
True
Let l = 1611 - 1401. Does 70 divide l?
True
Suppose -z = -31 - 1. Suppose 41*j + 12*j + 3*j - 1792 = 0. Suppose z*s = 30*s + j. Does 2 divide s?
True
Let j(n) = 7*n**2 - n - 8. Let t(x) = -13*x**2 + 2*x + 17. Let h(r) = -11*j(r) - 6*t(r). Let k be 7/(28/(-20)) + 13. Does 14 divide h(k)?
True
Is 16 a factor of 13 + -2 - ((5 - 7698) + 8)?
True
Suppose 0 = 19*m - 15*m + 328. Let y = -66 - m. Let t(r) = -r**3 + 17*r**2 + 3*r - 27. Is 14 a factor of t(y)?
False
Suppose 35*w = -115*w + 60000. Is 25 a factor of w?
True
Let c be (-6 + 0)*(-6 + 8). Let f be (-1)/(((-9)/c)/(-3)). Suppose -4*x = -f*n - 224, -44 = -x - 3*n + 7*n. Is 20 a factor of x?
True
Suppose 6*u - 7*u = -3*m - 294, m + 1132 = 4*u. Suppose -u = -4*x + 1518. Does 4 divide x?
False
Let u(r) = 547*r - 734. Is u(2) a multiple of 40?
True
Let d(j) = 12*j**3 - 4*j**2 + 15*j - 125. Is 13 a factor of d(7)?
True
Suppose 21*d = 28*d + 392. Let g = -42 - d. Does 7 divide g?
True
Is 26 a factor of 217364/10 + (-1 - -4)*(-172)/1290?
True
Let m = 2950 + -1925. Is m a multiple of 41?
True
Let l(s) = s**3 - 10*s + 3. Let u be l(3). Suppose w = u, 7*w = b + 8*w - 31. Is b a multiple of 8?
False
Let v = -33563 + 47611. Is v a multiple of 5?
False
Let c = 3600 + -1203. Does 141 divide c?
True
Let l(g) = 107*g + 541. Does 50 divide l(37)?
True
Suppose -572886 - 916316 = -35*a - 92*a. Does 121 divide a?
False
Let s(w) = 79*w**2 + 2*w + 150. Is s(12) a multiple of 154?
True
Let a = 100 + -92. Suppose 664 = 3*r - k, 0 = 3*r - a*r + k + 1104. Does 11 divide r?
True
Let o(n) = n**3 - 58*n**2 + 32*n - 361. Is 301 a factor of o(65)?
False
Suppose 5*x + 5*d = 95 + 30, -40 = -x + 2*d. Suppose 285 = n + x. Is 5 a factor of n?
True
Suppose 0 = 138*y - 72214 - 3962. Is y a multiple of 92?
True
Suppose 0 = -4*q + 17 + 3, 3*o - 3*q + 336 = 0. Is (-2459)/(-2) + o/(-214) a multiple of 10?
True
Suppose 3*w + 1182 = -3*w. Let m = 574 + w. Is m a multiple of 6?
False
Let b be (2 + -20)/(2 + 252/(-129)). Does 32 divide b/(-2) - 4/((-72)/(-27))?
True
Let y(i) = -i**3 + 59*i**2 - 346*i + 4. Does 80 divide y(46)?
False
Suppose -11*q - 55127 = -374545. Is 231 a factor of q?
False
Suppose 0 = -3*j - 9, -5*h + 31 = -2*j - 0*j. Suppose 2*k - 2698 = -5*r - 211, 5*r = -h*k + 6255. Does 9 divide k?
False
Let s(h) = -720*h - 1030. Is 18 a factor of s(-3)?
False
Let x = 17812 - 8634. Suppose 30*m + x = 33118. Does 42 divide m?
True
Let a = 211 + -124. Let h = a - 82. Is ((-12)/4 - -2) + h - -78 a multiple of 15?
False
Suppose -1062*a - 2619 = -1065*a. Suppose 6*x - 7485 + a = 0. Is x a multiple of 58?
True
Let z = -22898 - -26954. Does 52 divide z?
True
Suppose -36*v + 7695 = -9*v. Is v a multiple of 19?
True
Let q(c) = -c**2 - c + 13. Let h be q(-5). Is 1755 - (-1*8 - 28/h) a multiple of 93?
False
Suppose -f - 2*d = -5298, 17*f + 3*d - 26518 = 12*f. Is f a multiple of 17?
False
Let m = 260 - 239. Suppose -m*z = -0*z - 3969. Is 63 a factor of z?
True
Let t(j) = 813*j**2 + 7*j + 3. Is t(-2) a multiple of 7?
True
Suppose -2*r + 2*i = -10, 2*r - 12 + 0 = 3*i. Suppose -3*k - 4*a + 107 = -0*a, -2*a + 103 = r*k. Suppose -9*z = -204 + k. Is 3 a factor of z?
False
Let s(t) = 197*t**2 + 496*t - 20. Is s(-8) a multiple of 11?
False
Suppose -9*z - 119343 + 221146 = -119759. Is 264 a factor of z?
False
Let h(t) = -t**2 + 7*t - 8. Let m(c) = -c**2 + 6*c - 8. Let o(u) = 5*h(u) - 6*m(u). Is o(12) a multiple of 35?
True
Suppose 4*j = -4*f + 25532, 5*f - 58*j + 54*j - 31942 = 0. Is 62 a factor of f?
True
Let b(q) = q**3 - 22*q**2 + 23*q + 9. Let a = 79 - 58. Suppose 143*m - 142*m = a. Is b(m) a multiple of 10?
False
Suppose -7780 = 204*u - 208*u. Let q = u + -1266. Is q a multiple of 49?
False
Suppose 26*w - 615 = 14023. Let i = 683 - w. Is i a multiple of 6?
True
Let y(o) be the third derivative of 5*o**5/12 + o**4/3 + 2*o**3 - 30*o**2. Is 45 a factor of y(-3)?
False
Let y = 540 + -176. Is y a multiple of 16?
False
Suppose -9*w + 12*w - 5 = o, -5*o + 5*w + 5 = 0. Suppose -5*h = f - 116, -o*f + 407 = h - 0*h. Is f a multiple of 8?
False
Suppose -3*c + 15502 = 4*u, -5172 = -c + 18*u - 17*u. Is c a multiple of 11?
True
Let t = -5 - -8. Suppose t*d - 10 = -1. Is (100 + 7)/(d/3) a multiple of 16?
False
Let h(a) be the first derivative of -75*a**2 + 45*a + 182. Does 15 divide h(-8)?
True
Let k = 66 + -36. Suppose 0 = -5*y - 8*i + 3*i + k, y - 5*i = 30. Is 18 a factor of 1264/y + 12/20 + -1?
True
Suppose -5*v = -6*v - 3. Let c(k) = 17 - 5*k - 2 - 2 + 0*k. Does 28 divide c(v)?
True
Let h = -8522 + 29182. Is h a multiple of 32?
False
Suppose -7*s + 159469 + 181503 = -160193. Is 185 a factor of s?
True
Let n(y) = -y**2 - 41*y - 170*y**3 + 1 + 79*y - 5 - 44*y. Is 3 a factor of n(-1)?
True
Let j(h) be the second derivative of 17*h + h**3 + 0 - 33/2*h**2. Does 21 divide j(16)?
True
Suppose 0 = 4*v + 12, 1983 = 13*k - 11*k - v. Suppose -454*f = -451*f - k. Is f a multiple of 15?
True
Let j(a) = 14*a**2 - 2*a - 85. Let t be j(-8). Let h = t - 640. Does 2 divide h?
False
Let x(c) = 24*c**2 + 6*c + 223. Let r(q) = -14*q**2 - 3*q - 112. Let d(t) = 7*r(t) + 4*x(t). Is d(0)