(o) be the second derivative of -o**5/20 - 3*o**4/4 - 11*o. Let c be m(-9). Suppose c = -4*j - 2*j + 384. Is 17 a factor of j?
False
Let c = -5792 - -8328. Is c a multiple of 186?
False
Let k be 2*2*2/(-4). Suppose 189*m = 199*m - 870. Does 27 divide k/(m/(-81) + -2 + 3)?
True
Let o = -3 - -6. Let g(w) = 2*w**2 - w - 5. Let q be g(o). Suppose -q*m + 1053 = -117. Is m a multiple of 9?
True
Let l(t) = 7103*t + 16. Let d be l(2). Suppose -63*j = -76*j + d. Is 40 a factor of j?
False
Suppose -273*v = -271*v - 18. Suppose 4*z - 4*p - 600 = 0, 6*z + p = 2*z + 590. Suppose -z = v*n - 11*n. Is n a multiple of 9?
False
Suppose i - 8 = -14. Let g = 36 - i. Is g/28 + (-2)/(-4)*23 a multiple of 2?
False
Suppose 58 = -3*a + 67. Let f(d) = d - 5*d + d**2 + 5*d - a*d - 1. Is 16 a factor of f(-5)?
False
Let c(y) = -150*y + 899. Does 7 divide c(-6)?
True
Suppose 2*t + 47 = 157. Suppose 2*j - t = -9*j. Suppose 2*l - 113 = j*v, v - 98 = -5*l + 117. Does 4 divide l?
True
Let l be (36/(-16))/((-3)/16*2). Suppose 3*d = l*d - 15. Is d a multiple of 4?
False
Let f(j) = -2*j**3 + 2*j + 3. Let n be ((-5)/10)/((-5)/(-10)). Let w be f(n). Does 14 divide 37/2 + w/2?
False
Suppose -3*q + 4*q - 34 = 0. Let v(x) = -x + 13. Let r be v(11). Suppose 0 - q = -r*h. Is h a multiple of 7?
False
Let z(i) be the third derivative of -i**6/40 - 13*i**5/60 - 7*i**4/24 - i**3/2 + 28*i**2 - 2. Is 41 a factor of z(-5)?
True
Suppose 4*x - 9668 = 4*p, -2090 = -5*x + 2*p + 9989. Is 69 a factor of x?
True
Suppose -13*u + 14*u = 5. Suppose 3*z - u*a - 808 = 0, -4*z - 278 + 1297 = 5*a. Is z a multiple of 29?
True
Suppose 57338 = 31*q - 25*q - 17506. Does 66 divide q?
True
Suppose 0 = -2*x - 2108 - 48. Let k = 1679 + x. Let m = k - 241. Is 40 a factor of m?
True
Let t(x) = 43*x**2 - 46*x + 560. Is 8 a factor of t(10)?
True
Let x(z) = 531*z - 3715. Let f be x(7). Let a = 0 - -3. Suppose -o = -5*c + o + 650, 0 = a*c - f*o - 394. Does 8 divide c?
True
Suppose 0 = 18*a - 14*a - 3*z, 3*a + 2*z = 0. Suppose a = -2*j - 23*j + 2075. Does 20 divide j?
False
Suppose 30 = -7*n - 12. Is ((-25)/n)/(13/78) a multiple of 8?
False
Let h(v) = v**2 - 24*v - 37. Let j be h(21). Is 4/(99/j - -1) a multiple of 50?
True
Suppose -14*i + 6896 + 18192 = 0. Does 22 divide (0 - -1)/(8/i)?
False
Let o(i) = 5*i**2 + i - 40. Let j be o(-19). Suppose -60 = -3*b + j. Does 24 divide b?
False
Suppose -3*w = -5*i + 23175, 5*w + 12584 = 3*i - 1337. Is 27 a factor of i?
False
Let b be (-30)/50 - ((-4)/(-10))/1. Let w = b - -5. Let i(q) = 56*q - 9. Does 43 divide i(w)?
True
Let k(j) be the second derivative of 277*j**3/6 + 118*j**2 + 5*j + 21. Is k(4) a multiple of 28?
True
Suppose -f = -0*f - 2. Suppose -22*k - 30 = -25*k - 5*u, 0 = 5*u. Is (51/f)/(k/20) a multiple of 10?
False
Let f = 8742 - 4965. Does 60 divide (-7)/(-3) - 2 - f/(-9)?
True
Suppose 7*r - 27*r + 3545 = -53175. Does 28 divide r?
False
Suppose -v = 2*m - 166, 4*v + 271 = 2*m + m. Let w = m - 52. Does 27 divide (-4)/(-22) + (-72)/w - -56?
True
Suppose 996*k - 1001*k + 4*l + 6046 = 0, -k + 2*l + 1202 = 0. Is k even?
True
Suppose 0 = -5*f + 2597 + 283. Suppose -13*g + 5*g + f = 0. Suppose -3 = -a + n + g, 0 = -4*n + 12. Is 13 a factor of a?
True
Suppose 23*o = 69 + 92. Suppose -629 - 967 = -o*z. Is 76 a factor of z?
True
Let h(v) = 4*v**2 - 5*v + 5. Let x be h(3). Suppose -4*g + 0*g + x = 2*r, -19 = -3*r - 2*g. Does 17 divide 244/14 - r/7?
True
Let y(p) = -p + 2. Let q(r) = -r**3 - 14*r**2 - 13*r - 5. Let i be q(-13). Let t be y(i). Suppose t*d - 5*d - 120 = 0. Is 10 a factor of d?
True
Let i be -1 + 6 - (-2 - (-5)/1). Is 19 a factor of 25/10 + 3/i + 296?
False
Let g(s) = -229*s**2 - 2*s - 3. Let w be g(-1). Let p = -38 - w. Is 16 a factor of p?
True
Suppose 27 + 6 = 3*a. Suppose -4*o + a + 1 = 0. Suppose -3*c = -3*g - c + 216, 5*g = o*c + 360. Is 18 a factor of g?
True
Let w(y) be the first derivative of 4*y**3 + 15*y**3 - 39*y**2 + 38*y**2 - 6*y**3 - 20. Does 40 divide w(-2)?
True
Suppose -402690 = 266*k - 296*k. Is k a multiple of 12?
False
Let p(c) = -4844*c - 11898. Is 15 a factor of p(-8)?
False
Let p = 527 + -523. Suppose 2*d - 450 = -h, 3*h = -d + 167 + 1203. Suppose 5*q - h = 5*b + 457, p*b - 183 = -q. Is q a multiple of 37?
False
Let b = 60 - 57. Let y(g) = g**2 - 4 - 186*g + 188*g + 2 + b - 36*g**3. Is y(-1) a multiple of 9?
True
Does 97 divide 277986/123 - 164/3362?
False
Suppose -4*a - 2*p = -836, 7*a - 4*p - 638 = 4*a. Let i = -147 + a. Suppose 27 = s - i. Is s a multiple of 16?
False
Suppose -4*y + 6*y = 3*j + 27236, 54560 = 4*y + 5*j. Is y a multiple of 110?
False
Suppose 1174 = 25*v - 201. Does 43 divide v?
False
Suppose 3*p = -5*h + 4260, p - 2841 = -p - 3*h. Suppose -2*n + 586 = 2*i - 4*n, -3*n + p = 5*i. Is 18 a factor of i?
True
Suppose 4*q - 90306 = 5*d, 5*d = -7 - 3. Is q a multiple of 44?
False
Suppose -15*z + 1820 = -11*z. Suppose -5*o + 490 = -z. Let f = -124 + o. Does 13 divide f?
True
Suppose 128 - 168 = 5*s. Does 10 divide (5008/(-4))/(s + 4)?
False
Let f(j) = 2*j**2 + 37*j + 14. Let s be 18 + 4/(-3)*3. Suppose d + s = -7. Is f(d) a multiple of 11?
False
Let g(m) = 2*m**3 - 5*m**2 - 48*m + 630. Is 50 a factor of g(22)?
True
Let c = 161 - 156. Suppose -4*d - 135 = -o, -c*o + 698 = -d + 4*d. Is o a multiple of 3?
False
Suppose -5*o + 847 = 2*z, -z - 859 = -o - 4*o. Does 20 divide o?
False
Let q be (-6)/51 - (-280)/68. Is (q - 5) + -1 - -65 a multiple of 7?
True
Suppose 0 = -l - 2*n + 430, 0*l + 4*l + 2*n = 1732. Suppose 29*t - l = 13051. Does 31 divide t?
True
Let j(x) = 3855*x - 3171. Is j(5) a multiple of 11?
True
Suppose -2*j = 15*o - 16*o + 7374, 14754 = 2*o + 2*j. Does 16 divide o?
True
Let b(r) = 272*r + 1995. Is b(39) a multiple of 11?
False
Let h = 3998 - 3016. Is h even?
True
Let y = -177 - -183. Suppose 0 = -y*f + 109 - 37. Is f a multiple of 12?
True
Let i be 5 - (-217 - 0)/(-1). Let z = i + 392. Is z a multiple of 12?
True
Let b(c) = 5*c - 5*c + 5*c**2 + c**3 - c - 3*c + 9. Is b(-5) a multiple of 2?
False
Let f(y) = 6*y**2 + 38*y - 14. Let k be f(-13). Suppose 7*v + k = 1976. Is v a multiple of 42?
True
Let o = 4371 + 9728. Is o a multiple of 54?
False
Let b(d) = -330*d + 1342. Is b(-121) a multiple of 56?
True
Suppose 0*g + 4*g = 20. Let a(p) = -2*p**2 - 26*p - 21. Let u be a(-12). Suppose -2*t + 2*l + 0*l = -112, -u*l = -g*t + 288. Is 20 a factor of t?
True
Let s(a) = -a**2 - 60*a - 67. Let t be s(-50). Let f(c) = 32*c - 17. Let d be f(-7). Let m = d + t. Does 30 divide m?
False
Let z = -10961 - -19196. Is 9 a factor of z?
True
Suppose 83082 + 164654 + 24024 = 43*i. Is 40 a factor of i?
True
Let d(i) be the second derivative of 13*i**3/2 + 22*i**2 - 157*i. Does 7 divide d(17)?
True
Is 88 a factor of (-3)/(-10) - 1298187/(-110)?
False
Let y be (-1 + -138)/(-1 + 2 + -2). Let g = -60 + y. Is 3 a factor of g?
False
Suppose -3 = -h, -507 = -w + 5*h + 1308. Does 30 divide w?
True
Let m(d) = -2*d + 16. Let l be m(7). Is 24 a factor of (-5)/10 - l/((-12)/2439)?
False
Suppose -11*f - 1009 = 1202. Let o = f - -217. Is 8 a factor of o?
True
Let l(k) = 2*k**2 + 17*k - 99. Let v be l(5). Let h = 162 + v. Does 10 divide h?
False
Suppose 0 = -2*c - 2*c + 4*f + 336, -4*c - 2*f + 342 = 0. Suppose 3*t + 27 + 42 = 0. Let i = c + t. Is i a multiple of 17?
False
Let l = -68 - -71. Let z(m) = 569*m**2 + 4*m**3 - 567*m**2 + 29*m**3 - l*m + 1. Is 10 a factor of z(1)?
False
Let z(k) = -k**3 + 11*k**2 + 3*k - 24. Let s be z(11). Let o(i) = -i**3 + 8*i**2 + 11*i - 11. Let t be o(s). Suppose -t = 2*u - 173. Is u a multiple of 30?
False
Let j(t) = 18*t**2 - 3*t - 3. Let l be ((-1 - 4)*-1)/1. Suppose 21 = 2*h + 3*p, -h + 0*p + 28 = l*p. Is j(h) a multiple of 12?
False
Let d(r) = -15*r**2 - 10*r - 10. Let x be d(-4). Let v = x - -277. Is v a multiple of 7?
False
Suppose -13*w + 15 = -14*w. Suppose 2*y = 5 - 3. Is -2 - (w + 2) - y even?
True
Let c be (0*12/(-24))/(-1 + 0). Suppose c = -5*w + 26 + 424. Is w a multiple of 32?
False
Let p(t) = -13*t**3 - 9*t**2 + 10*t - 6. Let x(l) = 9*l**3 + 6*l**2 - 7*l + 4. Let s(f) = 5*p(f) + 7*x(f). Let d be s(-5). Let o = d - 31. Is 34 a factor of o?
False
Let w be 1*-1 - -4 - (-47)/(-47). Suppose -4*q + 454 - 2370 = -4*n, 5*q - 986 = -w*n. Is n a multiple of 21?
True
Suppose -61*j - 37*j = -60098 + 11000. Is j a multipl