e
Let l(x) = -2*x**3 + 18*x**2 - 5*x - 14. Is 9 a factor of l(8)?
False
Suppose -3*q - 3*u = -318, 0 = -5*q + u + 4*u + 520. Let k = q - 88. Is 10 a factor of k?
False
Let g(c) = c**2 - 13*c + 6. Let i(l) = -2*l**2 + 16*l - 7. Let y(m) = -4*g(m) - 3*i(m). Suppose -4*v + 2*t - 3 = -11, 8 = 4*t. Is 9 a factor of y(v)?
True
Let u be 2/6 - 40/(-15). Suppose -3*o + u*r - 5 + 71 = 0, -5*r = -3*o + 64. Does 23 divide o?
True
Let v(h) be the first derivative of -h**7/840 + h**5/60 - h**4/6 - 5*h**3/3 - 6. Let k(r) be the third derivative of v(r). Is 11 a factor of k(-3)?
False
Let j = -1 - -4. Suppose -2*l - j*l - 15 = 0, 47 = f + l. Does 5 divide f?
True
Suppose i + y = -2*y - 10, 0 = -2*y - 8. Suppose i*s - 8 = -16. Does 11 divide (-107)/s + (-12)/16?
False
Let r = -246 + 455. Does 17 divide r?
False
Let p(u) = -u**2 + 5*u + 8. Suppose -6 = -3*n + n. Suppose 2*b = -4*z + z + 21, -n*b = -2*z - 12. Does 2 divide p(b)?
True
Let w = 563 + 790. Is w a multiple of 11?
True
Suppose 5*n - 15 = -45. Let p = n + 1. Is (-106)/p + (-7)/35 a multiple of 12?
False
Suppose o + 188 = 5*o. Let p = o + -29. Is p a multiple of 10?
False
Suppose -2*a - a = 3. Let v(c) = -3 - 4*c**2 + 20*c**2 - 18*c**2 - 30*c**3 + 4. Is 11 a factor of v(a)?
False
Suppose -3*q + 50 = 2*s + 5, -5*s = -3*q + 45. Let w = -9 + q. Does 2 divide w?
True
Let f(g) = 14*g**2 + 2*g + 8. Let z(n) = n + 3. Let q be z(-6). Is 17 a factor of f(q)?
False
Suppose 7*w + 4 = 8*w. Suppose -l + 5*l - 4*h - 488 = 0, -2*l = -w*h - 236. Is 9 a factor of l?
True
Let w(d) = 15*d**2 + 16*d - 130. Is 45 a factor of w(10)?
True
Does 33 divide 515 + (-6)/(-6)*-2?
False
Let o be (-2)/3 + (-2045)/15. Let q = -97 - o. Is q a multiple of 20?
True
Suppose -5*o - 3*i + 495 = -o, 10 = 2*i. Is 18 a factor of (o/25)/((-9)/(-570))?
False
Let c = 55 - 51. Is (50 + 2)*(-4)/(c/(-3)) a multiple of 18?
False
Let b be (-1 + 88/(-3))/((-3)/(-9)). Let d = b - -127. Is d a multiple of 7?
False
Suppose -54*p + 28965 = 291. Is 9 a factor of p?
True
Suppose 0 = -12*o - 11*o + 26358. Is 14 a factor of 2/(6*2/o)?
False
Suppose -3*v + 332 = x, 2*v + 233 = 5*x - 1410. Does 66 divide x?
False
Let a be 0/(-7) + 3/((-6)/(-4)). Does 9 divide (-4 + 101/2)*a?
False
Let c be (-16)/(-56) + (-214)/14. Does 11 divide 28 + 3/(c/(-25))?
True
Suppose -19*t + 8480 = -11*t. Is t a multiple of 53?
True
Suppose b - 81 = -y, -y - 4*b = -b - 91. Does 19 divide y?
True
Let b be 2 - (3 + -6)*(-249)/(-9). Suppose 5*o - b - 295 = 0. Is 6 a factor of o?
False
Let i(x) = -5*x**3 - 4*x**2 - 3*x - 4. Let z(a) = -3*a**2 - 2*a + 2. Let s be z(1). Is 21 a factor of i(s)?
False
Suppose 3*q = -0*q + 4002. Is q a multiple of 16?
False
Let o(n) = 3 + 3*n - n**2 + 2*n + 5. Let j be o(6). Is (-5 + 7)*(10 + j) a multiple of 7?
False
Let g = -6 - -9. Does 8 divide -3 + (g - 2 - -42)?
True
Let q be -3 - -6 - (1 + 0 + -13). Is 2 a factor of 5 - (-175)/q - 4/6?
True
Let z = 100 - 66. Is 10 a factor of z?
False
Let o(v) = -v + 9. Let j be o(7). Suppose 16 = -4*p, -4*p - 4 - 42 = j*m. Let t(k) = -2*k - 14. Does 5 divide t(m)?
False
Is (-15047)/(-164) - (-1)/4 a multiple of 29?
False
Let m(i) = i - 1. Let v(p) = -8*p + 14. Let b(o) = 20*m(o) + 2*v(o). Is 20 a factor of b(7)?
False
Let h be 4/(-14) + 5 + 24/(-14). Suppose 0 = -h*b + j + 792, 0*j = 4*b + 5*j - 1056. Is 33 a factor of b?
True
Suppose -16*o = -7*o - 8910. Suppose -v - o = -6*v. Is v a multiple of 33?
True
Let d(o) = 3*o - 4. Let y be d(2). Suppose 0*f - 2*u = f - 73, 0 = -y*f + 5*u + 110. Is 13 a factor of f?
True
Suppose 2*y + 137 = 3*p, 200 + 60 = 5*p + 3*y. Is 8 a factor of p?
False
Suppose 0*z + 6*z = -60. Let s be (-88)/(-9) - z/45. Does 21 divide s/2*(-91)/(-5)?
False
Let p(l) = 5*l**2 + 9*l + 24. Let z(v) = -9*v**2 - 17*v - 48. Let d(u) = -7*p(u) - 4*z(u). Does 43 divide d(-18)?
True
Suppose -3*g = -s - 12, g = -4*s - 5 + 22. Suppose v - 5*v + 62 = 3*c, 24 = 2*v + g*c. Is v a multiple of 4?
False
Suppose 0 = o + o - 0*o. Suppose -5*q + 29 + 371 = o. Is q a multiple of 10?
True
Let z = -52 + 92. Suppose 0 = 4*t + 5*v - z, -4*t - v = -2*t - 26. Let f = t - 6. Is 5 a factor of f?
False
Let y = 243 - 57. Is 6 a factor of y?
True
Suppose -5*p + 2760 = 235. Does 8 divide p?
False
Let d(z) = -10*z**2 - 5*z + 14. Let h be d(2). Let m = 123 + h. Is m a multiple of 29?
True
Let z = 1 + 8. Is 2835/25 + z/15 a multiple of 38?
True
Suppose -5*a + 11 = 3*i - 1, -i = a - 4. Let u(d) = 7*d**2 - 4*d + 2. Is 27 a factor of u(i)?
False
Let f(n) = 6*n + 24. Suppose 5*k = -2*o + 103, -o - 62 = -3*k - 2*o. Is 15 a factor of f(k)?
True
Let i(q) = q**2 + 9*q. Let r be i(-9). Let x(h) = -h - 2*h**3 - 3 + 3*h + r*h**3 + 6*h**3 - 3*h**2. Is x(2) a multiple of 12?
False
Does 5 divide 316 + ((-2)/3)/((-6)/36)?
True
Suppose 4*r + 2*t = -3*t - 224, 3*t + 49 = -r. Let x = 82 + r. Is 21 a factor of x?
True
Suppose 9*i - 1584 = -2*i. Does 18 divide i?
True
Let n be ((-15)/(-2) - 0)*2. Let a be (-17 - 3)*(-12)/n. Is a/2*(-40)/(-16) a multiple of 9?
False
Suppose -v - 2*v + 6 = 0, 12 = 2*b + v. Is 4 a factor of 4/(-6)*(b + -2) - -18?
True
Let f(g) = -2*g**3 + 2*g**2 + 17*g - 4. Does 24 divide f(-6)?
False
Suppose 5*p - 15 = 5. Suppose -3*w + 0*w + 4*g = -175, 345 = 5*w + p*g. Let j = 115 - w. Is 19 a factor of j?
False
Let p = -651 + 1013. Does 49 divide p?
False
Suppose -43*i + 2679 = -24*i. Does 58 divide i?
False
Let i be (-6)/(-24) - 474/8. Let h = i - -108. Does 6 divide h?
False
Let u be 5/(-25) - (-834)/(-5). Let v = u + 235. Is v a multiple of 17?
True
Let s = -2 - -9. Let m be (1 + s)*(3 - 0). Let r = 64 - m. Is 20 a factor of r?
True
Does 16 divide ((-224)/(-40))/(-7) + 6252/15?
True
Let y(w) = 5*w - 22. Let b be y(12). Suppose -4*d + 5*d = b. Is d a multiple of 6?
False
Let k(x) = 2*x**2 + 18*x + 88. Is 27 a factor of k(19)?
False
Let i(r) = 40*r**2 - r - 2. Let m be i(-2). Let o = 31 - 27. Does 8 divide (m*1)/o - 0?
True
Let j be 105/10*2/1. Let s = j + -16. Suppose s*z - 2*o = -4*o + 177, -2*z - 3*o = -73. Is z a multiple of 7?
True
Let w be 114/24 - 3/4. Suppose 2*i - w*i - 2 = 0. Does 4 divide (2*-7)/i + -2?
True
Suppose -3*d = 2*k - 582, -6*d = -10*d - k + 776. Does 2 divide d?
True
Let u(q) = q**3 + 5*q**2 + 2. Suppose 3*a = -l - 9, 4*a = -0*a + 4*l - 28. Is u(a) a multiple of 5?
False
Let h(x) = -6*x**2 - 8*x**3 - 12 + 9*x**3 + 7*x + 0*x**3. Is h(6) a multiple of 8?
False
Let w(c) = c**3 - 9*c**2 - 11*c + 24. Let m be w(10). Suppose -4*j + 69 = 3*y, -2*y = -j - m - 32. Does 23 divide y?
True
Let k be (-1380)/(-28) - 0 - 2/7. Let g = 80 - k. Is 13 a factor of g?
False
Suppose -2*t + 193 = 5*n - 1275, -760 = -t + 4*n. Is 12 a factor of t?
True
Let p = -28 - -28. Suppose p = k - 2*k, 0 = 3*c - 4*k - 576. Is 32 a factor of c?
True
Let k = 171 + -171. Does 13 divide (k/(-2) + -1)/((-1)/52)?
True
Let j(q) = 16*q + 20. Is 29 a factor of j(6)?
True
Suppose -2*v + 10 = -5*p, 9*p + 10 = 4*p - 4*v. Let z(r) = -6*r**3 + 3*r - 3. Is z(p) a multiple of 13?
True
Let v(z) = -z**3 + 2*z. Let n be v(2). Is (-2)/n - (2 + 694/(-4)) a multiple of 43?
True
Suppose 65*n - 62*n + 3*t = 1332, -2*n + 5*t = -867. Is n a multiple of 7?
True
Suppose 3*w - 272 = -w. Suppose -20 + w = p. Is p a multiple of 15?
False
Let r be ((-4)/2)/2*8. Let f be ((-1 - -15) + 1)/1. Let o = f + r. Is o a multiple of 2?
False
Suppose -k + 0*v - 5*v = -72, 0 = -3*k - v + 160. Let q be -1*2 - k/(-13). Suppose -q*f - 105 = -7*f. Does 7 divide f?
True
Let u(k) = k**3 - 8*k**2 + 8*k - 5. Let q be u(7). Let z be q/(-6) + (-6)/(-18). Suppose 6*f + m - 231 = 2*f, z = 2*m - 6. Is f a multiple of 19?
True
Let a(k) = -k**2 - 5*k + 6. Let v be a(-5). Let u be -4*(-3)/v*1. Suppose 94 = u*f + 10. Does 14 divide f?
True
Let j be (2 + (-54)/12)*(-84)/10. Suppose 20*s = j*s - 102. Is 18 a factor of s?
False
Suppose -4*b - 16 = -40. Suppose b*r + 3*r = 2259. Is 18 a factor of r?
False
Suppose 0 = -3*p - 320 - 79. Let z = 169 + p. Is z a multiple of 9?
True
Suppose -4*c - 314 = 3*s, -5*c - 387 = -0*c + s. Let b = -37 - c. Is b a multiple of 2?
True
Let j be 4*((-9)/(-6) - 1). Is 11 a factor of (76/(-2))/((1 - j)/2)?
False
Let b be (-237)/(-21) + (-2)/7. Let x = -11 + b. Suppose -5*r + 7 = -2*i + 37, i - r - 9 = x. Does 2 divide i?
False
Let i(k) = 13*k**3 - 4*k**2 - 15*k + 36. Is i(3) a multip