*m = 5*p + 44, -4*p + 49*m = 51*m + 30. Is 3 a factor of x(p)?
False
Let j(k) = -3*k + 273. Is j(74) a multiple of 51?
True
Suppose 14*w = 16*w + 10, -5*m = 3*w - 11220. Is 3 a factor of m?
True
Suppose -2*i - 8 = k, 3*k + 3*i + 23 = 11. Suppose k = 101*r - 108*r + 3668. Is 51 a factor of r?
False
Suppose -20 = -2*a - 22. Let s = 171 - a. Does 7 divide s?
False
Let i(p) be the second derivative of -p**3/2 + 45*p**2/2 - 14*p. Suppose 5*k = 15, 60 = -5*g + g + 4*k. Is i(g) a multiple of 32?
False
Suppose 3*c + 33 = 5*x, -2*c - 3*x = 18 + 23. Let b(k) = -8*k**2 + 52*k + 18. Let n be b(7). Does 21 divide -2*(-40)/n*42/c?
True
Suppose -16*u = -13*u - 5*f - 24, -3*u + 3 = 2*f. Suppose -u*k = 2*k - 35. Does 2 divide k?
False
Let o(i) = 34 + 9*i + 6 - 3*i. Let b be o(-7). Let k = b - -134. Does 22 divide k?
True
Let w = 79 - -21. Let h = 424 - w. Does 9 divide h?
True
Suppose 3*v - 15*v = -156. Let i = v + -106. Let l = i - -223. Does 13 divide l?
True
Suppose 39 = 11*s - 16. Suppose -3*y - s = -5*c, 2*y + 3*c - 7*c = -4. Suppose -4*a + 2*a - 40 = -h, y = -4*a + 8. Is 11 a factor of h?
True
Suppose -5*b - w = -131, -8*b + 5*w + 99 = -4*b. Suppose 0*f + f - b = 0. Is f even?
True
Suppose -5*m - 125 = v, m - 4*m - 97 = 5*v. Let h be 2416/m + 3/(-9). Let i = -56 - h. Does 9 divide i?
True
Let c be -2*(31/(-14) + 4/(-14)). Let x(k) = k**3 - 8*k**2 + 6*k. Let d be x(c). Does 8 divide (-1)/3 + (-1455)/d?
True
Does 151 divide ((-3522904)/76)/(0 + (-2 - -1))?
False
Let a be ((-300)/(-5))/10*-12. Is (-6)/(-4)*(-8016)/a a multiple of 12?
False
Suppose -l = 3*v - 351, 10*l = 5*l + 4*v + 1660. Suppose -4*r - k = -1057, r + 2*k = l - 63. Is r a multiple of 5?
False
Let m(p) be the first derivative of -17*p**2/2 + p + 9. Let o be m(-1). Let k(c) = c**3 - 19*c**2 + 23*c - 8. Does 15 divide k(o)?
False
Suppose -2*n - 5*c = -100, -15*c = -2*n - 14*c + 52. Does 23 divide n?
False
Let r(a) = -a**3 - 8*a**2 - 4*a - 11. Let v(p) be the third derivative of p**4/8 - 16*p**3/3 + 14*p**2. Let j be v(8). Does 7 divide r(j)?
True
Let j = -74 - -70. Let d be j/(-3) - 22/(-33). Suppose 0 = d*u + 2*m - 32, 0 = 2*u - 7*u - m + 72. Is 10 a factor of u?
False
Suppose 2*m - 4567 = -3*n, 9128 = 4*m + 19*n - 15*n. Is 53 a factor of m?
True
Suppose 5*y = 4*y. Let i(t) = 6 - t**2 + 3*t**2 + t**2 - 12*t + y. Is 14 a factor of i(6)?
True
Is 5 a factor of (-138798)/(-990) - (-2)/(-10)?
True
Let l(k) = k**3 - 20*k**2 + 17*k + 34. Let u be l(19). Let w be 4/(16/20) - u. Does 9 divide ((-27)/w)/(-3)*(46 - 1)?
True
Suppose 13*c - 20*c + 28 = 0. Suppose f = 4*o - 392, c*f = -3 - 13. Is o a multiple of 14?
False
Is (-18)/(((-1)/856)/(186/279)) a multiple of 321?
True
Suppose -685*b = -667*b - 245286. Is b a multiple of 112?
False
Let o(z) be the third derivative of z**6/120 + z**5/6 + 11*z**4/24 - 3*z**3 - 23*z**2. Let c be o(-9). Is (-12)/c*165/1 a multiple of 20?
False
Let c(a) = 2*a**3 + 40*a**2 + 24*a - 42. Let w be c(-17). Suppose 4*r - w = 11*x - 9*x, r - 321 = 5*x. Is r a multiple of 40?
False
Let a(w) = 41*w**2 + 157*w + 281. Is 176 a factor of a(18)?
False
Let t(y) be the first derivative of y**4/12 + 5*y**3/6 - 10*y**2 + 4*y - 20. Let j(f) be the first derivative of t(f). Is 5 a factor of j(-10)?
True
Suppose 24*r = 28*r - 16, 0 = -5*l - 5*r + 8490. Does 60 divide l?
False
Let z(i) = -1026*i - 736. Is 65 a factor of z(-7)?
False
Let l = -83 + 89. Let z be (-2)/l + 73*6/18. Suppose -18*g = -17*g - z. Is 5 a factor of g?
False
Let k(z) = 5*z**2 + 9 - 4*z**2 + z - 26. Let n be k(4). Let r(v) = 2*v**3 - v**2 - v - 9. Is r(n) a multiple of 8?
False
Let h(r) = -r**3 + 2*r**2 + 4*r + 2. Let y be h(-9). Suppose 0 = -3*n - y + 248. Let x = n + 352. Is x a multiple of 8?
False
Suppose o = 76*o - 375. Suppose -j = -5*k - 77, 5*j - 5*k = j + 383. Suppose -2*f = -2*d - 0*f + 36, o*d - j = -f. Does 10 divide d?
True
Let a(z) = -z**2 - 8*z - 14. Let c be a(-8). Does 48 divide (-3)/1 + 153 + c?
False
Let u(k) = -3*k - 10. Let z(t) = -t**2 - 4*t + 7. Suppose 3*v - 3*q = 0, -v + 6 = 4*v - 2*q. Let d be z(v). Is u(d) even?
False
Let w = 10013 - 5099. Suppose -658 = 19*c - w. Does 56 divide c?
True
Let h(b) = 13 - 10*b**2 + 14*b**2 - 5*b**2 + 8*b. Let f be h(10). Does 6 divide (480/56)/((-2)/f)?
True
Let g(k) = 12*k**3 - 14*k**2 + 35*k - 28. Does 10 divide g(6)?
True
Suppose 3*k + 6788 = 4*z + 5*k, 0 = z - 2*k - 1687. Is z a multiple of 25?
False
Let k be 84 + 3/9*(-13 + 1). Suppose -82*g = -k*g - 18. Is g a multiple of 9?
True
Let i(m) = -m**2 - 15*m - 27. Let n be i(-2). Let l(h) = -1 - 2*h - 9*h - 72*h. Is 15 a factor of l(n)?
False
Suppose -y + 315 = 3*h, -21*y + 17*y + 1300 = 2*h. Suppose 0 = 7*l - y - 1185. Is l a multiple of 54?
True
Let i(d) = -38*d**3 + 5*d**2 - 16*d + 159. Is i(-10) a multiple of 99?
False
Let h(v) = -49*v + 646. Is 17 a factor of h(12)?
False
Let p be -1 + 1 + (-10)/(-5) + -23. Let h = p + 129. Suppose 291 = 3*n + h. Is n a multiple of 5?
False
Suppose 5*v + 137635 = 5*t, 2*v - 110090 = -12*t + 8*t. Does 14 divide t?
True
Let q(s) = s + 20. Let y be q(-12). Let l(z) = -y*z**2 + z**3 - 18 - 2*z**2 + 2147*z - 2140*z. Does 30 divide l(11)?
True
Suppose 4*c - 3*n = 3*c + 260, 791 = 3*c + 2*n. Let w = -101 + c. Does 8 divide w?
False
Let l = 2810 - 577. Is 50 a factor of l?
False
Suppose 23 = 6*w - 19. Suppose -w*c = -113 - 454. Does 18 divide c?
False
Let j be 36/27*3*1 + 65. Suppose 0 = -j*u + 72*u - 120. Is u a multiple of 6?
False
Suppose -83*m + 4998563 = 39*m + 1135067. Is 21 a factor of m?
True
Let h(o) = 13*o + 15. Let q be h(-2). Let g(j) = j**2 - 14*j + 24. Does 3 divide g(q)?
False
Suppose f - 2*p + 4*p - 190 = 0, -2*f + 408 = -3*p. Suppose 1339*d - 1337*d = f. Does 21 divide d?
False
Suppose -i = 4*h - 1, 2*h - 4*i + 2 = -2*i. Let n(y) = -4*y**2 - 26*y - 14. Let p be n(-7). Is 9 a factor of (h - 2/1)*(p - 10)?
False
Suppose -11*f + 28*f - 34629 = 0. Is f a multiple of 11?
False
Let j be (-1)/(2/(16/(-12)*-6)). Is (-55 + 81)*(-110)/j a multiple of 13?
True
Let w = -3441 - -4414. Does 3 divide w?
False
Suppose 3*w - 33 + 6 = 0. Is 51 a factor of (597/w)/(-2 - 14/(-6))?
False
Let d = 4830 - 2769. Is d a multiple of 41?
False
Let j = 22911 - 14947. Is j a multiple of 3?
False
Let f = -24983 + 27079. Is 4 a factor of f?
True
Suppose 4*y - 388 - 270 = -2*s, -3*y + 1321 = 4*s. Let q = s - 255. Is 8 a factor of q?
False
Is 16 a factor of (8 + 0)*(266228/209 + (-2)/(-11))?
True
Let r be (-7)/((-14)/120)*(-25116)/(-130). Suppose -11*o = 35*o - r. Is o a multiple of 11?
False
Let u be -1 - (-23 - (-7)/1). Suppose -20*v + u*v + 2705 = 0. Is v a multiple of 39?
False
Let t be (4 + -26)*(5 + -3) + 3. Let h = t + 153. Is 19 a factor of h?
False
Suppose p - 5*p = 292. Let i be (-518)/18 + (-4)/18. Let h = i - p. Is 26 a factor of h?
False
Suppose 33*y = 44*y + 176. Is 12 a factor of (-42)/35 + y/20 - -104?
False
Suppose -1670 = 14*u + 836. Suppose -60 = -3*m - 1197. Let n = u - m. Does 27 divide n?
False
Suppose 378 - 1702 = -4*a. Suppose -4*b + a - 111 = 0. Does 9 divide (-5)/((b/(-40))/11)?
False
Let l = 107845 + -59358. Is l a multiple of 53?
False
Let o = 363 - 361. Suppose o*h + 335 - 1325 = 0. Does 15 divide h?
True
Let n be (-4)/(-18) + (-1232)/36. Let i = n - -16. Is ((-13)/(-2))/((-3)/i) a multiple of 39?
True
Let r(l) = -513*l + 4290. Does 12 divide r(-74)?
True
Let g(s) = 14*s**2 - 37*s - 56. Let t(o) = 5*o**2 - 12*o - 19. Let x(i) = 3*g(i) - 8*t(i). Let b be (-4)/14 + (-1008)/(-98). Is x(b) a multiple of 3?
False
Let d = 1012 - 1008. Is 55 a factor of (20/(-6) + d)/((-3)/(-6435))?
True
Let r = 217 + 410. Let a = r + -219. Does 18 divide a?
False
Let b be 24 + -30 + 366*2. Suppose 4*w + 4*x - 1464 = -0*x, 0 = 2*w - x - b. Is w a multiple of 52?
True
Let p = 410 + -186. Let m = p + -118. Is 17 a factor of m?
False
Let j = 103 - 100. Suppose 4*k = k + j*v - 39, -k - v - 13 = 0. Is 0/k + 213*1 a multiple of 40?
False
Let h be (-197)/(-13) + (-6)/39. Suppose h*v - 12*v = 9. Suppose 76 = v*q + 2*q - 4*b, -5*b = -5. Is q a multiple of 8?
True
Suppose -4818 = -25*w + 15507. Let s = -513 + w. Does 10 divide s?
True
Let o(q) = 3*q**2 - 3*q. Let h(n) = -2*n**2 - 15*n - 21. Let f be h(-9). Let k be (-18)/f + 58/16. Does 18 divide o(k)?
True
Suppose 4*i - 5*y = 3757, 5*i - 4171 = 2*y 