 Is 6 a factor of p?
True
Suppose -5*f - 71*c + 9114 = -73*c, 3*f + 2*c = 5462. Does 13 divide f?
False
Let n = -429 + 426. Is ((-91)/(-2) + n)*(-16)/(-10) a multiple of 26?
False
Let m(f) = -9308*f - 6195. Is m(-6) a multiple of 304?
False
Let p(b) be the third derivative of -b**6/120 - b**5/60 + b**4/24 - b**3/3 + b**2. Let m be p(-3). Let d = m - -5. Does 6 divide d?
True
Is 7/((-315)/(-10)) + (-834464)/(-72) + 2 a multiple of 9?
True
Let w be (-40)/50*70/(-4). Let o = w + -17. Let h(f) = 4*f**2 - f - 4. Does 15 divide h(o)?
False
Let a = -137 + 720. Is 13 a factor of a?
False
Let d(a) = -a**2 - 14*a + 24. Let y be d(-18). Let f = y - -87. Let i = f - 28. Does 7 divide i?
False
Does 25 divide (-9)/45 - (26232/(-10) - 6/3)?
True
Suppose 4*m - 4 + 0 = 0, m = -3*f + 337. Suppose -d = -401 + f. Is d a multiple of 37?
False
Let j be (27/18)/((-15)/(-20)). Suppose j*z = 2*k - 254, -4*k - 2*z + 63 + 451 = 0. Is 8 a factor of k?
True
Suppose 6784 = 3*u + 5*c + 1190, -5*u = -c - 9286. Does 10 divide u?
False
Suppose 5*t - 8*b - 88844 = -9*b, 3*t + 2*b - 53298 = 0. Does 51 divide t?
False
Let v(q) = -70*q**2 + 2*q - 2. Let t(f) = -144*f**2 + 3*f - 4. Let o(z) = -3*t(z) + 5*v(z). Does 5 divide o(1)?
True
Suppose 14*q - 104408 = 7*q - 30712. Is 47 a factor of q?
True
Is 21 a factor of 327308/(-235)*30/(-12)?
False
Does 28 divide -7728*(24/4)/6*(-1)/2?
True
Suppose 152 = -5*i - 178. Let y = i + 67. Is 18 a factor of (-3*y)/((-8)/336)?
True
Suppose 0 = 614*l - 609*l - 1090. Suppose 4*u - 718 = -2*z, -2*z + u + 520 = -203. Let g = z - l. Is 13 a factor of g?
True
Let a = -2232 - -2708. Is a a multiple of 7?
True
Suppose -w = 3, 0*w + 3*w = k - 9. Suppose 12*y - 7*y + 25 = k, 285 = j - 3*y. Is j a multiple of 18?
True
Let d(y) = -34008*y**3 + 13*y**2 - 3*y - 4. Is d(-1) a multiple of 140?
True
Let c(q) = -q**2 + 2*q + 3. Let t be c(0). Suppose 3*p = -5*b + 14, -5*b + t*b - 4*p = 0. Does 2 divide (b/2)/((-5)/(-2) - 2)?
True
Let j(o) = -4*o - 12. Let b = 109 - 111. Let d be j(b). Is 22 a factor of 170/51*(-42)/d?
False
Let j = 39 + -79. Let c = 43 + j. Suppose -3*s - 5*i = -0*i - 97, -105 = -c*s + 3*i. Is 11 a factor of s?
False
Suppose -15425 = 41*f - 5667. Let v = f + 767. Is v a multiple of 8?
False
Let m = -19188 + 19843. Does 3 divide m?
False
Let g(s) = 5*s**2 - 5*s + 4. Let o be g(4). Suppose -2*d - o = 4*y, 4*y + y + d + 86 = 0. Does 6 divide (-98)/(-8) - y/24?
False
Suppose u - 429 = -2*d, -2*u = -7*d + 10*d - 857. Suppose -2*z + u = -p + 2*p, -5*z = 5. Is p a multiple of 39?
True
Let r(d) = 4*d + 7. Let g be r(0). Suppose 2*o + g = 5*o + f, 0 = -5*f - 10. Suppose -92 = -l - 4*s, -3*l + 234 = o*s - 5*s. Does 8 divide l?
True
Let g(j) = j**2 + 12*j + 31. Let t be g(-4). Let k be (t/(-6)*2)/(30/22860). Let m = -166 + k. Is 11 a factor of m?
True
Suppose 0 = 2*v + 4*x - 11344, -11380 = -v - v + 5*x. Is 16 a factor of v?
True
Suppose -13*a + 14 = -38. Suppose a + 220 = 8*l. Does 28 divide l?
True
Let a(s) = 9*s**2 - s + 1274. Is 19 a factor of a(0)?
False
Suppose -u = -l - 9530, -6908 - 21664 = -3*u - 3*l. Is u a multiple of 10?
False
Let y(z) = 3*z**3 - 29*z**2 - 7*z - 27. Let a be y(10). Is (-15)/(-2)*(61 + a) a multiple of 10?
True
Let j be ((-3)/(-4))/(3/360). Let a(o) = -49 - 4*o + 3*o + j. Is a(21) a multiple of 6?
False
Suppose 0 = 171*m - 120*m - 74919. Does 167 divide m?
False
Let s(l) = -23*l - 8. Let k be s(-1). Let p(i) = -7*i - k*i**3 + 5*i**3 + 12*i**3 + 2 - 4*i**2 - 7. Does 57 divide p(7)?
False
Suppose -5*j = -2*y - 25000, -235*j = -234*j + y - 5000. Is 8 a factor of j?
True
Suppose b = 23*b + 198. Is 1/(6/(-304))*b/2 a multiple of 18?
False
Let q(p) = -p. Let a(h) = 45*h - 360. Let f(m) = -a(m) - 30*q(m). Does 36 divide f(0)?
True
Suppose 0 = 4*d - 27090 - 29302. Is d a multiple of 7?
True
Let g = -1621 + 23382. Is g a multiple of 47?
True
Suppose -y - 2*y + 2*i + 10 = 0, 4*y - 2*i - 14 = 0. Let a(f) = -f**2 + f + 3. Let u be a(y). Does 49 divide ((-1)/(-1) + u)*(-28 + 4)?
False
Let d(o) = 4*o**2 + 8*o + 12. Let k(s) = -5*s**2 + s - 2. Let w(j) = 4*j**2 - 2*j + 2. Let f(n) = 3*k(n) + 4*w(n). Let b be f(3). Does 7 divide d(b)?
False
Suppose 4*o - 237 = 5*y, -249 = -2*o - 2*o + y. Suppose o*t = 66*t - 867. Is 44 a factor of t?
False
Let q(d) be the first derivative of 28*d**3/3 - 10*d**2 + 5*d - 10. Let u(k) = 9*k**2 - 7*k + 2. Let l(g) = -2*q(g) + 7*u(g). Is l(3) a multiple of 11?
False
Let z = -260 + 250. Let n(c) = -c**2 - 15*c + 52. Does 12 divide n(z)?
False
Suppose 34*z + 59676 = 2*u + 30*z, 59718 = 2*u + 3*z. Is u a multiple of 150?
True
Suppose -109625 = 43*b - 17*b - 451603. Is 48 a factor of b?
False
Is 20 a factor of -29 + 22 + 9007 + 0?
True
Let k = 7 - 17. Suppose 18*q = -202 - 2102. Let l = k - q. Does 17 divide l?
False
Let t(i) be the first derivative of 2*i**4 - i**2 + 3*i + 18. Let z = 16 - 14. Is t(z) a multiple of 19?
False
Suppose z + 11 = 2*w, 5*w + 15 - 5 = -5*z. Let g = w - 5. Does 5 divide 75*(24/16)/((-3)/g)?
True
Let n be (2 - (860/12 - 3))*-48. Is (-1)/2*n/(4 + -14) a multiple of 16?
True
Let t = -12 + 13. Suppose 11 = 10*y + t. Is (128/(-4))/(y/(-2)) a multiple of 8?
True
Let i = -7615 - -13141. Does 15 divide i?
False
Let h(p) = 12*p**2 - 7*p - 12. Let g be h(-4). Suppose g*y = 205*y + 390. Does 3 divide y?
False
Let n = 6 + -26. Let r = -22 - n. Does 14 divide r - (9/(-3))/(5/90)?
False
Let j(l) = -6*l + 23 - l + 19*l - 42*l. Is 44 a factor of j(-24)?
False
Let r be ((-17)/(-51))/(2/(-9))*250. Let h = r + 703. Is h a multiple of 8?
True
Let x(w) = -w**2 - 12*w + 13. Let t be x(-10). Suppose 4*n = 55 + t. Let v = 31 - n. Is v a multiple of 7?
False
Suppose 3*a + 15 = 0, 4*k - 2*a = -a + 41. Let t(p) = -2*p**2 + 20*p - 3. Let u be t(k). Suppose n - u = 56. Does 15 divide n?
False
Let q be (0 - -9) + -4 - 4/(-2). Suppose -10*m = -q*m. Suppose m = 14*d - 17*d + 303. Is d a multiple of 7?
False
Let v(k) be the second derivative of -29*k**5/10 - k**4/4 - k**3 - 3*k**2/2 + 301*k. Does 6 divide v(-2)?
False
Suppose 5*c = 49 + 1. Let j(p) = -91*p + 1724. Let m be j(19). Is c/m - 3*-43 a multiple of 17?
False
Let r(p) = -6*p - 61. Let v be r(-11). Let i(z) = -6 - v - 56*z + 79*z. Is 12 a factor of i(5)?
False
Suppose -13458 = -u - 4*d, -282*d + 285*d + 40464 = 3*u. Is 107 a factor of u?
True
Suppose 3*y = -2*y - c - 184, -152 = 4*y + 2*c. Let f(o) = o**2 - 69*o - 757. Let u be f(79). Let w = u - y. Is w a multiple of 28?
False
Let a(m) = m**2 + 0*m**2 + 27 - 6*m - 15 - 28. Does 5 divide a(13)?
True
Suppose -2*g - 5*u + 26 = -2*u, 3*u + 70 = 4*g. Suppose 0 = g*t + 100 - 1252. Is t a multiple of 12?
True
Let g(u) = -2*u - 97 - 15*u - 51*u + 3*u + 4*u. Is g(-18) a multiple of 91?
True
Let b(m) = -39*m**3 - 2*m**2 - 2*m + 1. Let o(k) = -40*k**3 - 2*k**2 - 2*k + 2. Let l(y) = -3*b(y) + 4*o(y). Does 23 divide l(-2)?
True
Suppose 3*b - 2*a + 2 - 23 = 0, 4*b + a - 28 = 0. Suppose y = q - b - 175, -y = -3*q + 556. Is q a multiple of 17?
True
Suppose 93532 + 55961 = 3*g + 19083. Does 230 divide g?
True
Let j be (-812)/(-377) + (-2)/13. Suppose 0 = 5*f - 2*u - 195, j*f + u = 59 + 10. Is 11 a factor of f?
False
Suppose -211 - 109 = 4*o. Is 2 + o/(-24)*75 a multiple of 28?
True
Suppose 4*b = -b - 30. Let p be -14 + b - (4 + -1). Let n = p - -39. Does 8 divide n?
True
Let s = -64 - -70. Suppose -r = -s*r + 60. Is (r/20)/((-1)/(-190)) a multiple of 19?
True
Is 8/3*(-7032)/(-16) a multiple of 87?
False
Does 59 divide (-8)/18 + 3884070/270?
False
Let a be (-5 + 2 + 2)/((-1)/5). Suppose a*b = -w - 19, -3*b = -0*b + 6. Is 12 a factor of 686/9 + ((-52)/w - 6)?
False
Let b(u) = -7 + 22 - u**3 + 15*u**2 - 9 - 2*u - 3. Does 9 divide b(-5)?
True
Let f be ((-13)/1)/(-1 - (-2)/1). Is 16 a factor of f/((-13)/(-2)) - (-401)/1?
False
Let f(a) = -2*a**3 - 7*a**2 + 2*a + 27. Let s(z) = 2*z**3 + 6*z**2 - 3*z - 27. Let u(p) = 4*f(p) + 3*s(p). Does 5 divide u(-7)?
True
Suppose 3*l - 4*z - 104 + 17 = 0, 2*z + 6 = 0. Let a = -19 + l. Suppose a*f = 28 + 26. Is f a multiple of 2?
False
Suppose -1598 = -4*o + d, -2*o + 0*d + 2*d = -796. Suppose -y + t + 1265 = 2*y, y + 4*t - o = 0. Does 21 divide y?
True
Suppose 6314 = -16*i + 19690. Does 11 divide i?
True
Suppose 0 = -3*g - 2*r - 19, 4*r = 2*g - g - 3. Let k be (23/(-3))/(g/90). Suppose -q - q + k = 