 a = 0 + y. Does 14 divide a?
False
Let o = 2068 - 1674. Does 27 divide o?
False
Suppose 0 = -4*j - 5*p + 10111, 12617 = 9*j - 4*j - p. Is j a multiple of 65?
False
Suppose -3*d = d - 272. Let q = 419 - 309. Let b = q - d. Is b a multiple of 14?
True
Let d(l) = 5*l**2 + 5*l + 4. Let b be d(6). Suppose -q + 3*o + 69 = -0*q, 3*q - b = 2*o. Suppose 2*m - 2*n - 126 = 0, m + 4*n = 8*n + q. Does 15 divide m?
True
Let b be (5/3)/((-16)/(-48)). Suppose -3*c - 2*z - 46 = -b*c, z - 73 = -3*c. Does 22 divide c?
False
Suppose 0*m + 13 = -m. Let w(k) = k**3 + 12*k**2 - 14*k - 11. Let s be w(m). Suppose -2*r + q = s*q - 99, -r + 46 = 4*q. Does 13 divide r?
False
Let b(m) = m**3 + 12*m**2 - 4*m + 4. Let f(a) = -5*a**2 - 6*a + 2. Let d be f(-3). Let u = d - -13. Is 16 a factor of b(u)?
False
Let d(q) = 103*q**2 - 4*q + 3. Let l be d(1). Suppose 0*r + l = 6*r. Is r a multiple of 17?
True
Let b = 28 + -7. Suppose -2*g = 2*s - 12, -g + 2*s - b = -6*g. Suppose g*k - 2*f = 42, 0 = 4*k - f - 2*f - 56. Is 5 a factor of k?
False
Let h(m) = 8*m**2 + m**3 + 3*m**2 - 7*m - 6*m**2 - 4. Let w be h(-6). Suppose 2*c = -3*j + 26, -4*c - w*j + 32 = -j. Is 7 a factor of c?
True
Let r(q) = -q**3 - 29*q**2 - 35*q - 60. Is r(-28) a multiple of 3?
False
Let f(n) = n**3 + 6*n**2 + 6*n + 7. Suppose 0 = -i - 1 + 5. Let d be -5 + 0/(i + -3). Is f(d) a multiple of 2?
True
Suppose 0 = -8*u + 25 - 9. Suppose 17 = u*d - 343. Does 36 divide d?
True
Let v(q) be the second derivative of q**5/20 + 5*q**4/12 + q**3/3 + 3*q**2/2 - 4*q. Let t(f) = f + 9. Let s be t(-12). Does 5 divide v(s)?
True
Suppose 3009 + 1554 = 27*k. Does 14 divide k?
False
Is 18 a factor of (-1 + 1)*18/18 + 2610?
True
Let v(n) be the first derivative of -n**4/4 - n**2/2 + 5*n + 31. Does 5 divide v(0)?
True
Let n(j) = 16*j**2 - 156 - 3*j**2 + 155. Suppose -o + 4*g = g - 10, 2*o - 16 = 5*g. Is 17 a factor of n(o)?
True
Let l = 35 + -31. Suppose -4*k = -l*t - 152, 0*k - 34 = -k - t. Is 26 a factor of k?
False
Suppose 5*a + 2*q - 1895 = 0, 4*a - 1516 = 9*q - 5*q. Is 16 a factor of a?
False
Suppose -4*b + 76 = 3*x - 213, 5*x = -2*b + 491. Is 9 a factor of x?
True
Let v(a) = 2*a**2 - 6*a + 17. Suppose 5*r = -f + 29, 0 = 3*r - 1 - 14. Is v(f) a multiple of 5?
True
Let p = 159 - -1265. Is p a multiple of 104?
False
Suppose -2*j = -6*j - 96. Let b = j - -100. Does 9 divide b?
False
Let q = 617 - 21. Suppose -y + 2 = -2*y, 4*n - 2*y = q. Does 37 divide n?
True
Suppose 4*v - 3*w + 1197 = 0, 5*w - 54 + 1259 = -4*v. Let r be v/5 - (-1 + -3). Let k = -34 - r. Does 9 divide k?
False
Let i(w) = 2*w**3 - w**2 - w + 4. Let o(q) = 1. Let x(r) = i(r) - 3*o(r). Let h be x(1). Is (27 - -3 - 3)*h a multiple of 9?
True
Suppose -4*k + 0*k + 832 = 0. Is (-18)/(-63) - k/(-7) a multiple of 6?
True
Suppose 5*c - 11810 = -0*c + 4*w, 2362 = c + 3*w. Is c a multiple of 38?
False
Let z be (1/(-1)*(-6 - -7))/(-1). Does 23 divide 114/z*21/14?
False
Let t(c) = 3*c**2 + c + 1. Let i(l) = -l - 1. Let p(k) = 2*i(k) + t(k). Let z be p(-2). Let d = 28 - z. Is d a multiple of 6?
False
Let m(c) = c**2 - 11*c + 13. Let n be m(10). Let o be 9/2 + n/6. Suppose -97 = -o*z - 27. Is 14 a factor of z?
True
Suppose 2*h - 3*h = -5*t + 25, -2*h = t + 6. Suppose -t*v - v = -20. Suppose 4*p - v*f - 30 - 14 = 0, -2*p - 4*f = -34. Is 3 a factor of p?
False
Let i = -35 - -56. Let c(n) = i + 2 - 6*n + 7*n. Is c(-15) a multiple of 4?
True
Let b(i) = 3*i**2 + 3*i**2 + 2 - 3*i**2 + i**3 + i. Let l = 90 - 92. Is b(l) a multiple of 2?
True
Let m be (-21)/6*(-54 + -2 + 2). Suppose 3*d = 4*a - 7*a + m, 63 = a - d. Is a a multiple of 9?
True
Let a(c) = c**3 - 6*c**2 + 5*c - 5. Let l be 4 + (0 - (-1 + 2)). Suppose 9 = 3*b - 0*b, -l*b = 5*w - 39. Is a(w) a multiple of 25?
True
Let u be 1*(10 + 0)*-2. Suppose 4*o - 7*o + 81 = 0. Let p = u + o. Does 7 divide p?
True
Let q = -51 - -78. Suppose 4*r + q - 147 = 0. Suppose d + 3*f - 32 = 0, d - r = -4*f - 0*f. Does 11 divide d?
False
Suppose 7 = 3*q + 4*d - 139, -2*q - d = -104. Is 18 a factor of (-4 - 4)*q/(-4)?
True
Let f(i) = -i**2 - 17*i - 22. Suppose 10*x = 13*x - 12. Suppose 0 = 5*u + x*j + 58, -5*u + 9 = -4*j + 51. Does 16 divide f(u)?
True
Let a(i) = 55*i**2 - 11*i - 26. Is 34 a factor of a(-3)?
False
Let b(w) = -w**3 - 5*w**2 - 7*w - 22. Let a be b(-6). Is 2 a factor of -12*(-7)/a*(-82)/(-3)?
False
Suppose -4*y + 4*b + 3111 = -b, 0 = -4*y - b + 3117. Is 52 a factor of y?
False
Suppose 0 = 4*m - 4*n - 28, 0 = -4*n - 14 - 6. Suppose -3 = -m*p + 23. Is 4 a factor of p?
False
Suppose -7*l = 5*l. Is l + (136 - (-12)/3) a multiple of 20?
True
Suppose o - 5*o - 3*l = -219, 288 = 5*o - l. Let j = 49 + o. Is j a multiple of 14?
False
Is 50 a factor of (-11968)/(-40) + (-4)/(-5)?
True
Let o = -21 + 46. Let f = -16 + o. Is 3 a factor of f?
True
Suppose 4 = -r, -2*r + 1542 = 3*o - 5*r. Does 34 divide o?
True
Let t(v) = v**3 - 16*v**2 + 16*v - 11. Let d be t(15). Suppose -d*q = -2*g - 24, -5*q - 2*g + 30 = -7*g. Is 5 a factor of q?
False
Suppose 4*y - y - 741 = -4*u, 0 = -2*u - 4*y + 378. Is u a multiple of 19?
False
Does 4 divide (5*(-6)/(-20))/(3/318)?
False
Let o = 114 - 20. Is o a multiple of 9?
False
Let p(d) = -6*d - 6. Let z be p(-6). Suppose 2*l + 13 = 5*w, -3*l + 4*w = -0*w + z. Let q(k) = -k**2 - 16*k - 10. Is q(l) a multiple of 5?
False
Let h(b) = -b**3 - 3*b**2 + b - 5. Let u be h(-4). Let r be (u - (-1 - -4)) + -15. Let g = r - -28. Is g a multiple of 5?
False
Suppose 14*q = 5*q + 2772. Does 58 divide q?
False
Suppose 0*p - 120 = -2*p. Let s = -17 + p. Is s a multiple of 5?
False
Suppose -5*i = -11*i + 792. Suppose -3*r + i = -180. Is r a multiple of 13?
True
Let s(h) = 2 + 8 + 2 - 4 - 11*h. Is s(-5) a multiple of 24?
False
Let c = 71 - -111. Let x = 326 - c. Is 24 a factor of x?
True
Suppose 41*n - 37*n + 32 = 0. Let q(o) = o**3 + 11*o**2 + 15*o + 12. Is q(n) a multiple of 28?
True
Let l = 991 - 361. Is l a multiple of 63?
True
Suppose 111*j = 121*j - 1760. Does 5 divide j?
False
Suppose -4*m - 31 = -43. Let h(j) = -4*j - 2. Let r be h(-4). Suppose 2*u - m*u + r = 0. Is 4 a factor of u?
False
Suppose 0*z + 5*z + 1260 = 0. Let i = -146 - z. Suppose 5*p + 3*g - 70 - i = 0, -3*p = g - 104. Is 5 a factor of p?
False
Let r(l) be the third derivative of 61*l**5/30 - l**4/12 + l**3/2 + l**2 + 1. Is 41 a factor of r(1)?
True
Suppose -4*u = 2*p - 3*p + 20, 0 = 3*p - u - 16. Suppose 0 = y - p*y + 690. Suppose -5*z = -y + 20. Does 14 divide z?
True
Does 63 divide 2523/2 + (658/(-28) - -22)?
True
Let o = -59 + 162. Suppose 0 = 5*d - 20, -o - 174 = -5*m + 2*d. Is m a multiple of 48?
False
Let g(a) = 12*a + 110. Suppose 0 = -6*q - 14 + 14. Does 55 divide g(q)?
True
Let p(r) = -r + 66. Does 2 divide p(-19)?
False
Is (10160/(-120))/(4/(-6)) a multiple of 12?
False
Is 4 a factor of ((-3)/(-2))/((-5)/(3680/(-3)))?
True
Let r = -54 + 72. Is r a multiple of 2?
True
Let h be (7/(-21))/(1/(-12)). Suppose -o - 12 = 2*o. Is (h + (-18)/o)*2 a multiple of 9?
False
Let b be 1/(-2) + (-1)/2. Let m be 0*(-3)/6*b. Suppose 5*n + m*n = 175. Is 10 a factor of n?
False
Suppose 0 = -5*x - 5*q + 10, -2*x + 3*x + 3 = -2*q. Let v(i) = 17*i**2 + 2*i**3 - 8*i**2 - x*i**2. Is 6 a factor of v(2)?
True
Suppose 0 = -w + 4*d + 34, -5*d = 2*w + 3*w - 70. Is (-23 + w)/((-1)/11) a multiple of 10?
False
Let m(y) = -9 - 2*y - 4 + 39*y**2 + 4*y - 38*y**2. Suppose 23 + 1 = -4*x. Is 11 a factor of m(x)?
True
Does 28 divide 644 - (-4)/20*1*-5?
False
Let a(m) = 3*m**2 + 2*m + 14. Let k be 74/(-14) - 1/(21/(-6)). Does 8 divide a(k)?
False
Suppose -c + 4*s - 101 = 0, 3*c + 2*c + s + 442 = 0. Let g = -39 - c. Is 15 a factor of g?
False
Let d = -21 + 9. Suppose -85 = -3*x + 86. Let o = x - d. Is o a multiple of 12?
False
Let y = 195 - 102. Suppose 33 = 2*i - y. Is 21 a factor of i?
True
Is 16 a factor of 28*(-70)/(-4) + 4?
False
Let r(i) = 14*i**3 + 4*i**2 - 23*i + 14. Is r(7) a multiple of 43?
False
Suppose -32*m + 24*m = -4032. Does 28 divide m?
True
Let a = -41 + 50. Is a/(-5)*450/(-54) a multiple of 2?
False
Does 10 divide 307 + 4/((-28)/(-21))?
True
Let l(n) = -n**3 + 7*n**2 + 56*n - 44. Does 8 divide l(-10)?
True
Let z = 31 - 56. Let n(g) = -4*g**2 + 6*g. Let m be n(10). Is 17 a factor of (m/z)/(4/10)?
True
Let s(u) = u**2 + 3*u. Let p be s(-3). Suppose p = -7*w + 10*w - 222. Let x 