 Does 25 divide n?
True
Suppose 0 = 5*o - 576 - 724. Is 65 a factor of o?
True
Let o(x) = 17*x + 2. Let p be o(2). Let f(k) = -k**3 + 5*k**2 + 4*k + 14. Let l be f(6). Suppose l*b = -2*b + p. Is 3 a factor of b?
True
Suppose -d - 45*v = -48*v - 2169, 5*v + 4340 = 2*d. Is 87 a factor of d?
True
Let a(m) = 0*m**2 - 14*m**2 - 15*m - 6 - 2*m - m**3 + 14. Let w be a(-13). Suppose -3*z - w = -9*z. Is 2 a factor of z?
True
Let p be (-10)/4*(-1 - 5). Let h = -12 + p. Suppose o - h*f - 110 = -3*o, -f = -2. Does 7 divide o?
False
Let s(t) = -16*t**3 + 23*t**2 - 23*t - 8. Let m(j) = -5*j**3 + 8*j**2 - 8*j - 3. Let x(h) = 17*m(h) - 6*s(h). Is x(2) a multiple of 22?
False
Suppose 2*k - 620 = 140. Is 19 a factor of k?
True
Suppose 52 - 206 = -4*f - 2*r, 3*f = r + 128. Let a = f - 36. Is a even?
False
Let h(t) = -14*t - 9. Let n be h(-9). Let i = n + -21. Suppose 3*s = -0*s + i. Is s a multiple of 9?
False
Does 30 divide 5/2*238 + -5?
False
Is 10*(-1)/(-5) + (-1 - -2735) a multiple of 8?
True
Suppose 2044 = -2*q - 5*y + 5391, -3*y = 3*q - 5007. Is 98 a factor of q?
True
Suppose 2*u - 1014 = -4*q + 236, u + 4*q - 631 = 0. Is 43 a factor of u?
False
Let n(z) = -z**2 - 15*z + 10. Let b be 2*39/4*8/(-12). Is n(b) a multiple of 6?
True
Let n = 834 - 535. Is 15 a factor of n?
False
Let p(h) = 176*h + 793. Does 104 divide p(8)?
False
Let f(m) = 8*m - 92. Is 18 a factor of f(34)?
True
Let h be 2*(-1)/((-1)/2). Suppose 0 = -3*f + v + 12, -v = h*f - f - 18. Suppose -f*u + 3*p + 115 = 0, -u + 4*p + 10 = 6*p. Does 4 divide u?
True
Suppose 6*k - 8 = 4*k. Let o be (k - 1)*(1 - 0). Suppose o*c - c - 22 = 0. Is 6 a factor of c?
False
Suppose 0 = p - 150*x + 151*x - 317, x = 4*p - 1293. Does 44 divide p?
False
Does 110 divide (-2)/((-10)/20755*7)?
False
Let z be ((-379)/6 - 9/(-54)) + -3. Is z*(-3 + (-1)/(-8)*4) a multiple of 33?
True
Suppose -2*s - 4*i + 350 = s, 2*i - 560 = -5*s. Suppose -2*g + s = -120. Does 18 divide g?
False
Suppose -6*b = -31 - 41. Let l = -2 - -6. Suppose -l*h + b = 0, -4*n + 26 + 1 = 5*h. Is 2 a factor of n?
False
Let s = -20 - -11. Let v(u) = 10*u - 3 - 12*u + 2 - u. Is 7 a factor of v(s)?
False
Suppose 3*g + g + 7 = -5*y, -5*g + 1 = 3*y. Let j(l) = l + g + 1 + 8. Is 2 a factor of j(-6)?
False
Suppose 4*b - 12917 = -5*q, q + 6455 = -b + 3*b. Does 12 divide b?
True
Let h be -2*(-1)/(-5)*-35. Let n = h - -20. Suppose 2*w + a = n, 3*w + 3*a = w + 30. Is w a multiple of 5?
False
Let t(q) = -230*q + 6. Is 12 a factor of t(-2)?
False
Let j be -1*(4 - (-4 - -7)). Let m = 6 + j. Is 4 a factor of m?
False
Let u(d) = d**2 + 20*d - 6 + 2*d**2 - 4*d**2. Is u(15) a multiple of 10?
False
Suppose -5*h = -2*x - 1339, 5*x + 9 = 24. Is h a multiple of 8?
False
Let o = -27 - -35. Is 108*(52/o + -5) a multiple of 6?
True
Suppose -774 = 4*d - c + 6*c, 0 = -d + 4*c - 183. Let j = 490 + d. Is j a multiple of 23?
True
Is (3/2)/((-66)/(-7040)) a multiple of 10?
True
Suppose 16 = n - 4. Let f = 25 - n. Suppose -8*w + 198 = -f*w. Is w a multiple of 22?
True
Is (81/1)/((-27)/(-135)) a multiple of 22?
False
Let t be (-25)/10*(-54)/5. Let r be -4*2/3*6. Let w = t + r. Is 6 a factor of w?
False
Suppose 0 = t + 5*r + 2, 0 = -4*t + 4*r + 16. Suppose -15 = 3*v, -2*m + m = t*v - 12. Does 10 divide m?
False
Let i = 672 + -252. Suppose -13*t + i = -308. Does 8 divide t?
True
Let x(m) = 3*m**2 + 8*m - 47. Does 23 divide x(11)?
False
Let x = -751 + 1883. Does 48 divide x?
False
Let k be 16/(-6)*(-315)/84. Suppose b + k = 2*b. Let z = b - 1. Is z a multiple of 3?
True
Suppose -j - u + 23 = 0, 4*j - 2*j + u = 44. Let n = j - 9. Does 2 divide n?
True
Suppose -15*y + 256 = -13*y. Let f = -56 + y. Does 24 divide f?
True
Suppose -12*n + 11*n + 97 = 0. Let s = n - 69. Does 5 divide s/(-154) + 156/11?
False
Suppose -5*f + 219 = -461. Let n = f - 13. Is n a multiple of 25?
False
Let n = 524 + -299. Is n a multiple of 15?
True
Suppose 0 = -4*c + 8*c - 116. Suppose 0 = 5*y + 2*x - 55, -5*y + x + 32 = -38. Suppose i + h - c = y, 3*i - 144 = 3*h. Is i a multiple of 9?
True
Let i be (164 - 0)*(-16)/(-64). Let h = 84 - i. Does 12 divide h?
False
Suppose -12 = -3*r, -2*v + 0*v = 3*r - 20. Does 7 divide 42/(-56) - (-311)/v?
True
Let n be 8/16 + 39/(-2). Let q = -16 - n. Suppose -2*x - f + 72 = -4*f, 5*f + 110 = q*x. Is 11 a factor of x?
False
Suppose -3*d = -4*d + 5, -2*w = -2*d + 20. Let i = -2 - w. Let v(k) = 2*k**3 - 2*k**2 - 2*k + 3. Is v(i) a multiple of 23?
False
Let b = -6 + -4. Let v be ((-4)/b)/(4/40). Suppose -4*h = -v*o - 0*o - 164, -3*h - 3*o = -93. Is 8 a factor of h?
False
Let d = 3292 - 1575. Is 71 a factor of d?
False
Suppose 3426 = 2*i + 50*m - 54*m, -1693 = -i - 2*m. Is 13 a factor of i?
True
Let y = 1440 + -720. Is 79 a factor of y?
False
Let n(z) = z**3 - 17*z**2 - 15*z - 4. Let q = 55 + -37. Does 50 divide n(q)?
True
Let f(b) = -b**3 + 8*b**2 - 7*b + 6. Suppose 0 = 4*g + 95 - 35. Let a = g - -22. Does 6 divide f(a)?
True
Suppose -480*r - 594 = -481*r. Is r a multiple of 7?
False
Let r = -655 - -943. Is 16 a factor of r?
True
Let h(y) = 2*y + 38. Let u be h(-16). Suppose 9*x = u*x + 96. Does 16 divide x?
True
Let d(g) = 113*g - 907. Does 34 divide d(19)?
False
Let z = 1240 + -722. Is 37 a factor of z?
True
Does 6 divide 13/((-130)/(-2140)) + -6?
False
Let w = -38 + 42. Let c = w + 95. Is c a multiple of 33?
True
Suppose 0 = -t + 4*t - 186. Suppose 43 + t = 5*y. Is y a multiple of 4?
False
Suppose 5*b - 3*i = 3179, 0*b - 5*i = 3*b - 1921. Is 14 a factor of b?
False
Let g(a) be the third derivative of -a**6/15 - a**3/6 - 5*a**2. Let x be g(1). Let k = 69 + x. Is 13 a factor of k?
False
Let f = -8 + 5. Is 12 a factor of (-2 + 2 - (21 - f))*-6?
True
Let f = -1258 - -2185. Does 3 divide f?
True
Suppose -y = 3*o - 286, 5*y = 7*y - o - 572. Is y a multiple of 40?
False
Suppose 11 - 7 = 2*x. Suppose -4*j + 72 = 2*t, -x*t - 144 = -6*t - j. Is 13 a factor of t?
False
Suppose -39 = -3*f - 2*a, 2*f = -2*a + 23 + 5. Suppose -h + 0*h = 3*v + 3, 3*v = -15. Suppose h*s - 45 = f*s. Is s a multiple of 9?
True
Let p = 88 + 40. Is p even?
True
Let o be (-4)/(-16) - (-23)/4. Suppose o*w = w + 75. Suppose -f + 18 + w = 0. Does 11 divide f?
True
Let f be 10*1 + 3/(-1). Let w(y) = -1 + f*y - y - 2. Is 8 a factor of w(3)?
False
Let h(y) = 5*y**3 + 4*y**2 - 7*y + 2. Let x be h(-5). Suppose -3*o = 2*p - 17 - 4, -5*p = 3*o - 12. Is 18 a factor of (-2)/o + x/(-9)?
True
Let p be -6 + 231/6 - (-2)/4. Suppose 0 = p*w - 38*w + 815. Does 14 divide w?
False
Let v(x) be the third derivative of x**6/120 + x**5/15 - x**4/6 - 3*x**2. Let n be v(-5). Let q = n + 40. Is q a multiple of 19?
False
Let h(r) = r**3 + 24*r**2 - r - 13. Let s be h(-24). Suppose s*t = 10*t + 130. Is t a multiple of 13?
True
Let c = -33 + 46. Suppose -3*s = -65 - c. Let p = s - 1. Is 10 a factor of p?
False
Suppose 0 = -4*j + 5*y + 6209, -2*y = 5*j + 2*y - 7792. Is 36 a factor of j?
False
Let r = 548 - 508. Does 20 divide r?
True
Let k = 1445 + -1102. Is 2 a factor of k?
False
Suppose 0 = -3*j + 6*j - 4*l + 49, j - 5*l + 20 = 0. Let r = j + 21. Suppose 279 + 435 = r*x. Does 37 divide x?
False
Let h = -43 - 7. Let l = 61 + h. Is l a multiple of 5?
False
Suppose -5*c = -517 - 3128. Is 20 a factor of c?
False
Let r(j) = -6*j**2 - 10*j - 5*j**2 - 19*j + 12*j**2 + 46. Is 27 a factor of r(34)?
True
Let v(d) be the third derivative of -d**6/20 - d**5/30 + d**4/4 + 7*d**3/6 - 6*d**2. Is 7 a factor of v(-3)?
True
Let f be ((-9)/7)/(-3) + 58860/252. Suppose -5*o - 68 = -j, -5*j + f = -2*o - 152. Is 14 a factor of j?
False
Let t = -3 + -3. Let o be -1 + 1 - (4 + t). Does 2 divide 4 + (-3 - -5)/o?
False
Let d(i) = -2*i - 9. Let p be d(-7). Suppose p*r - 3*z - 3 = 26, -5*r - 2*z + 14 = 0. Suppose -2*a = -t - 3*t - r, -t = 2*a - 14. Is a a multiple of 3?
True
Suppose -2*m + 209 = 9*m. Is m even?
False
Suppose -p - 6*t + 155 = -11*t, 0 = -5*p + 2*t + 706. Does 8 divide p?
False
Let d(r) = 28*r - 7. Does 10 divide d(1)?
False
Let f(d) = 38*d**2 + 17*d**2 + 4*d - 5*d. Is 18 a factor of f(2)?
False
Suppose -5*v = 5*o - 545, -4*v + 2*o = -7*v + 323. Does 15 divide v?
True
Let g(n) = -68*n + 21. Is g(-1) even?
False
Suppose -w + 538 = -222. Suppose 0 = -k - 4*k + w. Suppose -6 = -5*j + 3*j, 0 = 2*q + 2*j - k. Does 20 divide q?
False
Suppose 31 - 12 = 3*t + 5*v, -3