True
Let c = 19 - 5. Let x(p) be the third derivative of p**5/60 - 11*p**4/24 - 19*p**3/6 - 4*p**2. Does 6 divide x(c)?
False
Suppose 2*f - 686 + 2415 = 3*k, 0 = 3*k + 5*f - 1715. Suppose -2*d = 3*d - k. Is 19 a factor of d?
False
Suppose 0 = 3*z + 5*g - 4*g + 1128, -1517 = 4*z - 3*g. Let n = -241 - z. Does 8 divide n?
True
Suppose -110 = 6*h - 560. Is (33/15)/(3/h) a multiple of 5?
True
Suppose -69*t - 1544 = -73*t. Is t a multiple of 13?
False
Let v be (4 + -2)/(-8) + 33/4. Suppose 57 + 143 = v*t. Is t a multiple of 3?
False
Let z = 2529 + -1917. Does 36 divide z?
True
Let g(f) = -2*f - 8. Suppose 3*b - 10 = 5*j, 0 = 3*b - 0*b + 15. Let p be g(j). Suppose 0 = -p*t + 31 + 13. Does 8 divide t?
False
Let q be 4/1*(10 - 3). Suppose q*v - 32*v = -644. Does 15 divide v?
False
Let c(d) = -3*d**3 + 2*d**2 + 5. Let t(z) = 4*z**3 - 2*z**2 + z - 4. Let o(x) = -3*c(x) - 2*t(x). Suppose 0 = 3*j - 17 + 2. Is 16 a factor of o(j)?
False
Let b = -1611 + 1692. Is 27 a factor of b?
True
Suppose -5*c + 135 = -0*c. Let x be 8/(-6)*c/(-6). Suppose -x*y + 155 = -y. Is 8 a factor of y?
False
Let o be 2/(((-8)/4)/(-2)). Suppose 244 = 2*s - 0*s - 4*n, o*s - 245 = 5*n. Does 30 divide s?
True
Suppose -521 = 6*q + 43. Let o = q + 156. Is o a multiple of 11?
False
Let m(i) = -i**2 - 18*i + 28. Does 31 divide m(-13)?
True
Suppose -5*w - 5*s = -920, -178 = -2*w + w - 4*s. Is 31 a factor of w?
True
Suppose -3*f - o = -559, 0 = -3*f - o + 2*o + 557. Suppose -2*l = l - f. Let r = -42 + l. Is 6 a factor of r?
False
Suppose 0 = -4*z + 9*z + 130. Let g = -18 - z. Does 8 divide g?
True
Let x(y) = 10*y + 6. Let p be x(-4). Let b = 2 - p. Does 6 divide 1*b + -12 + 8?
False
Suppose 7*g - x + 3*x = 399, 0 = 5*g + 2*x - 285. Does 26 divide g?
False
Suppose 5*m + 4*r = -198, -2*m - 3*r - 84 = r. Is 4 a factor of -1 + (-3)/1 - m?
False
Suppose -3*y - 2*o + 3860 = 0, 1131 = y - o - 154. Does 44 divide y?
False
Let z(w) be the second derivative of 5*w**4/12 + w**3/6 + w**2/2 + 2*w. Let o be z(-1). Suppose 4*c - o*b = 6 + 3, 3*b - 9 = 0. Is 3 a factor of c?
True
Let g(d) = 2*d**3 - 9*d**2 - 24*d + 12. Is 155 a factor of g(8)?
False
Suppose 4 = 2*s, -4*s + 0 = 2*n - 22. Let o = n - 1. Suppose -o*d + 124 = 28. Is 16 a factor of d?
True
Suppose 6*o + 0*o = 78. Let h = o - 21. Is 2/h + 826/8 a multiple of 20?
False
Suppose 0 = -27*w + 30*w - 402. Is 23 a factor of w?
False
Suppose 13*l - 15 = -93. Let v(h) = h. Let w(s) = 2*s - 8. Let z(a) = -5*v(a) + w(a). Is z(l) a multiple of 5?
True
Let l(h) = h**2 + 3*h - 9. Let c = -17 - -19. Let t be (-21)/2 - (-1)/c. Does 19 divide l(t)?
False
Let r = 210 + -107. Suppose -r - 111 = 2*y. Let c = -44 - y. Does 21 divide c?
True
Let t(l) = 3*l**2 + 3*l. Let w(f) = 2*f + 14. Let d be w(-9). Is 10 a factor of t(d)?
False
Suppose -2*v = 2*n + 4 - 6, -n - 4*v - 2 = 0. Let r(f) = -2*f**3 + 3*f**2 - 4*f + 3. Let x be r(n). Is -3*6/x - -20 a multiple of 22?
True
Let a = -96 + 764. Is 15 a factor of a?
False
Suppose -4*n + 941 + 631 = 0. Suppose 8*q - 5*q = n. Does 16 divide q?
False
Let p(v) = -3*v - 4*v - 2 + 4*v + v. Let g be p(-4). Let d(t) = 2*t**2 + 4*t - 3. Is 31 a factor of d(g)?
True
Suppose 4*f - y = -10, -2*y - 2 = -2*f - 10. Does 9 divide (-2035)/(-66) - f/12?
False
Let j(y) = 10*y**2 - 16*y - 18. Does 15 divide j(12)?
True
Let b(p) = -p + 10. Let z(i) = i**3 + 9*i**2 + 6. Let y be z(-9). Let t be b(y). Suppose 2*h = -3*s + 145, -5*s + 280 = t*h - s. Is h a multiple of 21?
False
Suppose -376 = 4*v - 1772. Let x = v - 204. Does 32 divide x?
False
Let p = -68 - -86. Does 3 divide (-284)/(-18) - (-4)/p?
False
Let m(p) = -p**3 - 7*p**2 - 5*p + 17. Suppose 11 = 2*c - 5*k - 0, -4*c - 2*k - 38 = 0. Is 13 a factor of m(c)?
True
Suppose -4*s - 4*s - 4*y + 9324 = 0, -5*s = 3*y - 5828. Is s a multiple of 124?
False
Suppose 108*m = 87*m + 18480. Is 15 a factor of m?
False
Suppose 6 = 3*i - 0. Suppose n + 16 = i*n. Is n a multiple of 6?
False
Suppose -22*g + 16*g + 84 = 0. Let p be 1*(-2 + 3)*2. Is 15 a factor of 4 + g - (1 + p)?
True
Suppose 3*x = 22 - 16. Suppose q + x*j + 2 = 0, 3*q - 5*q + 3*j + 3 = 0. Suppose q = -2*v - 0*v, 3*v + 102 = w. Does 26 divide w?
False
Let d = -146 - -222. Is d a multiple of 9?
False
Is 6/(-14) + ((-4437)/(-21))/3 a multiple of 6?
False
Let q = -409 - -1230. Does 64 divide q?
False
Let l be 4/(-6)*(-108)/24. Let t be -2 - l - (4 + -1). Let k(x) = x**3 + 8*x**2 - x + 6. Is 6 a factor of k(t)?
False
Suppose -3*s + 47 = 2. Suppose -s*r = -8*r - 196. Does 3 divide r?
False
Let c = 36 - 11. Suppose v = -5*a - 0 - 8, 0 = 5*a + c. Is v a multiple of 17?
True
Suppose 6*h - 4*h = 20. Suppose 3*u = -p - 3, 4*p + 4*u - h = 3*u. Suppose s + 95 = 2*j + 2*j, -j = p*s - 40. Does 20 divide j?
False
Suppose u = 2*u - 4, u = -4*o + 200. Suppose -q + o + 39 = 0. Is 14 a factor of q?
False
Suppose -4*i - 97 = a, 35 + 272 = -3*a + 4*i. Suppose 52 = -5*w - 213. Let q = w - a. Is q a multiple of 24?
True
Let u(k) = k**3 + 4*k**2 - 9*k - 10. Let y = -39 - -34. Is u(y) even?
True
Let c = -139 - -39. Let h be (120/4)/(-5) - 64. Let d = h - c. Does 10 divide d?
True
Suppose 5*z - 5*x = 3*z + 684, 0 = 5*x - 10. Does 47 divide z?
False
Let t be (0 - 244/(-16))*(4 - 0). Let j = 110 - t. Is 31 a factor of j?
False
Suppose 2*u + 1328 = 6*u. Suppose -3*v + u = 110. Suppose 5*a = v + 46. Does 24 divide a?
True
Let r(j) = 82*j + 2. Let b be r(-1). Let g = 141 + b. Is g a multiple of 14?
False
Is 21 a factor of 83847/33 - (-30)/165?
True
Let g(i) = i**3 - i**2 - 3*i - 1. Let x be g(-2). Let z = 33 - -1. Let p = x + z. Is 23 a factor of p?
False
Suppose -6*k - 2*k = -8. Is (-4 + 6 - (k - -3)) + 114 a multiple of 7?
True
Let u = -494 + 818. Does 9 divide u?
True
Let p(u) = -u**3 + 22*u + 13. Is 17 a factor of p(-9)?
True
Suppose 5917 + 2583 = 10*n. Does 85 divide n?
True
Let m be (2 + -3)/((-2)/4). Let o(u) = 7*u - 6 + 4 + 1 + m. Is o(3) a multiple of 11?
True
Let m(p) = 7*p**2 + 3*p - 14. Let t(s) = 10*s**2 + 5*s - 20. Let a(j) = 7*m(j) - 5*t(j). Let r be 1*-3 - 0/(-1). Does 3 divide a(r)?
False
Let n(d) = -d**3 - 6*d**2 - 7*d + 8. Suppose 5*o = p - 37, -7*p + 7 = -2*o - 4*p. Is n(o) a multiple of 24?
True
Suppose 7585 = 49*u - 16229. Does 54 divide u?
True
Let a(i) = -148*i - 12. Let y be a(-5). Does 6 divide y/36 + 4/(-18)?
False
Suppose 2*n = 2 + 4. Suppose 104 = 4*m + p, -n*p = -5*m + 9*m - 112. Does 5 divide m?
True
Is 9 a factor of 51/(-34)*(-4808)/12?
False
Suppose -39048 = -27*d + 29208. Is d a multiple of 79?
True
Let u be 6/9*9/6. Let l = u - -3. Suppose -4*g = -3*v + 4 - 1, 0 = l*g - 12. Is v a multiple of 5?
True
Suppose n + 38 = -2*k, -k - 123 = 3*n - 14. Let p be (-16)/3*n/16. Is 148/p + (-6)/(-9) a multiple of 6?
False
Let s = 486 - -130. Is s a multiple of 28?
True
Suppose 22 + 44 = c - z, z = -3*c + 194. Does 22 divide c?
False
Let i be 4/6*3 - 0. Let s = 41 - 39. Suppose z - 12 = -s*z - i*c, -c - 21 = -3*z. Does 6 divide z?
True
Is (-2172)/(-5) - (-14)/(-35) a multiple of 14?
True
Let v(m) = 5*m**2 - m - 1. Suppose -7*x = -4*x + 3. Is v(x) a multiple of 5?
True
Suppose -2*k = 3*k - 10. Suppose -210*d + 102 = -208*d. Suppose k*h - d = h. Is 17 a factor of h?
True
Is ((-864)/21)/((-2)/7) a multiple of 72?
True
Let f = 25 - -39. Does 4 divide (f/(-6))/4*(-2 + -1)?
True
Suppose -153 = -9*u + 333. Does 9 divide u?
True
Suppose -3*x - 2*k = -594, 5*x = 3*k - 2*k + 977. Let s be (12/(-14))/((-4)/x). Is (8/12)/(4/s) a multiple of 3?
False
Let x = -14 - -19. Suppose -1 = -d - x, 5*d = -2*t + 88. Does 18 divide t?
True
Let o be 3/((-6)/(-4))*-2. Let d be o*(-4 - 36/(-8)). Is 7 - (d/(-1) - -2) a multiple of 2?
False
Suppose -17*f - 26*f + 49192 = 0. Does 22 divide f?
True
Let l = 2890 + -1985. Does 2 divide l?
False
Let v be (-15)/(-4)*(-8)/(-3). Suppose 2*l - v = -2*z, -19 = -5*l - 2*z - 0*z. Suppose 5*s = 4*p - 97, -2*p + 4*s = l*s - 41. Is 9 a factor of p?
True
Let y = -20 + 23. Suppose -5*j - y*z + 300 = 0, -4*j + 2*z = j - 275. Is j a multiple of 19?
True
Let c be (-3 + -7*2)*-4. Suppose 0 = 3*x - 7*x + c. Is x a multiple of 5?
False
Let i(s) = -s**2 - 9*s - 12. Let n be i(-5). Does 8 divide 124/n*(0 + 2)?
False
Suppose -6 = -d + 62. Let y be (-6)/2 + -28 + 2. Let j = y + d. Does 13 divide j?
True
Let g = -117 - -63. Let j = 121 + g. Suppose -3*y = 2*