se
Let d(l) be the first derivative of -5*l**2/2 - l + 6. Let h be d(-1). Suppose 2*u - 202 = -n - 0*n, h*u + 5*n = 416. Is u a multiple of 12?
False
Let d(k) = k**3 + 16*k**2 - 20*k + 19. Let l be d(-17). Does 8 divide (-56)/l + 1848/10?
True
Let g(i) = -4*i + 2. Suppose 0 = 4*o - 6 - 6. Suppose u - o = -12. Does 10 divide g(u)?
False
Suppose -26 = -9*g + 28. Suppose g*m + 12*m - 9594 = 0. Is m a multiple of 38?
False
Let v(q) = -2 - 5033301*q**2 - 3*q + 5033309*q**2 - 4. Let s = -8 + 5. Is 10 a factor of v(s)?
False
Let w = 9 + -8. Let l(f) = -272*f**3 + f**2 - f. Let n be l(w). Does 9 divide (54/(-8))/(51/n)?
True
Suppose b = 6 - 8, 5*v + 4*b = 702. Is 3 a factor of v?
False
Does 25 divide (-4)/1 + (867364/48 - (-27)/(-324))?
False
Is ((-552)/(-10))/(((-8)/10320)/(4/(-18))) a multiple of 368?
True
Let l(t) = -t**3 + 7*t**2 - t - 5. Let p be l(5). Suppose y = -p - 61. Let x = -51 - y. Is 25 a factor of x?
True
Suppose 0 = 4*s - 2*c - 86012, 0 = -906*s + 901*s + 5*c + 107530. Does 157 divide s?
False
Let l(n) = n**2 - 13*n + 17226. Let w be l(0). Suppose -150*h = -161*h + w. Is 29 a factor of h?
True
Let y be 6*(3 - 5/(-2)). Let g = y + -30. Suppose 10 - 130 = -g*d. Is 6 a factor of d?
False
Let r be (-20)/(-11) + ((-40)/44)/(-5). Suppose -r*l - y - 283 = 0, 0 = -l - l + y - 273. Let x = 4 - l. Does 18 divide x?
False
Is 313*2*-2*(-10 - (-300)/80) a multiple of 35?
False
Suppose n = -18 + 55. Let u = -28 + n. Does 3 divide u?
True
Let i be (1 + -27)/((-9 + -1)/(-5)). Let b = 18 + i. Suppose b*g - 68 = 107. Does 6 divide g?
False
Let p be (-726)/3 + (1 - 3). Let f = p - -526. Is 13 a factor of f?
False
Let o(j) be the second derivative of 2*j**4/3 - 11*j**3/3 + 89*j**2/2 - 2*j + 22. Is o(6) a multiple of 16?
False
Let y(t) = -8*t**2 + 29*t - 97. Let a(q) = -3*q**2 + 10*q - 32. Let b(w) = 11*a(w) - 4*y(w). Let p be b(-10). Is p/(((-1)/(-14))/(-1)) a multiple of 7?
True
Suppose 4*x + 336 = 2*b, 3*b + 2*x = 3*x + 484. Is 27 a factor of (2 + b)/((-3)/(-2))?
True
Let r(q) = 3*q**3 - 4*q**2 - 5*q - 1. Let t = 37 + -39. Let c be r(t). Let b = 83 + c. Is 9 a factor of b?
False
Suppose 84*m - 532288 + 230633 = 248629. Is m a multiple of 2?
False
Let t be 1/4 + 203/4. Let y = -32 - -26. Is 2*(-1)/y*t a multiple of 17?
True
Let w(a) be the first derivative of 3*a**4/4 + 2*a**3 - 5*a**2/2 + 3*a - 108. Is w(2) a multiple of 13?
False
Let g(r) = r**3 + 14*r**2 + 15*r - 3. Let s be g(-11). Let u(y) = y**3 + 4*y**2 - 8*y - 13. Let q be u(-7). Let k = q + s. Is 13 a factor of k?
True
Let z = -35 + 39. Let q(c) = -8*c**2 - 5*c - 2. Let s be q(z). Does 46 divide (276/15)/(4/s*-5)?
True
Let i(x) = -4 + 2 - 1 - 2*x**3 - 4*x**2 - 2. Let a be i(-4). Suppose -3*f + 4*f = -2*o + 50, -f + a = -o. Does 14 divide f?
True
Suppose 4*b = 6*h - 4*h - 84, 4*b = 3*h - 116. Let c = -31 + h. Does 19 divide (-10944)/(-160)*-5*c/(-2)?
True
Suppose -5*c - 333 = -78. Let u = 12 + c. Let n = -30 - u. Does 3 divide n?
True
Let q = -2 + -8. Let k(l) = 2*l**2 + 18*l - 20. Let s be k(q). Suppose s = -y + 5*z + 10 + 11, -y + 21 = -2*z. Is 4 a factor of y?
False
Let k be 1 - (-4)/(2 + -4). Let i be 4 - (1 + k) - 0. Suppose 658 = i*q + 3*q. Is 10 a factor of q?
False
Suppose -v = 5*y - 4729 - 5652, -5*v + 8*y + 51674 = 0. Does 18 divide v?
False
Suppose 3*o - 26 = -5*y, -16 = -2*y - y - 2*o. Suppose -2*j + y*r = 202 - 692, -r = 1. Does 13 divide j?
False
Suppose 7*m - 1646 = 10281 + 34217. Is m a multiple of 120?
False
Let c(m) = -m**3 - 12*m**2 - 8*m + 48. Is c(-15) a multiple of 14?
False
Suppose -5*z + 7633 = 5*g + 2533, 0 = 4*g - z - 4070. Is 3 a factor of g?
False
Let g be (-1)/(2 - (-459)/(-231)). Let w = g + 77. Suppose -4*a + 5*p + 301 = w, -5*a - 5*p = -0*a - 365. Does 7 divide a?
False
Suppose n - 3*u = 519 + 499, 2*u = 10. Is 4 a factor of n?
False
Let b(m) be the third derivative of 1/3*m**3 + 0*m - 7/24*m**4 - 2/15*m**5 - 3*m**2 + 0 + 1/120*m**6. Does 4 divide b(9)?
True
Suppose 2*d + 3*j = 2361, -437*d + 433*d = -j - 4701. Does 4 divide d?
True
Let k = -33833 + 47529. Does 137 divide k?
False
Let c = 12240 - 6080. Does 16 divide c?
True
Let i = 158 - 79. Suppose -d + 89 = 2*h, h = -h - 3*d + i. Suppose -6*a + 5*s = -3*a - h, a + s - 29 = 0. Is 24 a factor of a?
True
Let p(n) = -n**2 - 21*n + 42. Let c be p(-23). Let g be (-1 - 1) + 7/((-14)/c). Suppose 0 = 3*a - g*a - 513. Does 18 divide a?
False
Is (-1338)/8*((-25345)/111 - 5) a multiple of 35?
True
Let v = 9293 - 5197. Does 88 divide v?
False
Let f(l) = 3 - 6*l + 7*l - 5*l - 3*l**2 + 3*l. Let r be f(2). Let n = r + 173. Does 11 divide n?
False
Let k be -7 - (-190 + (-35)/(-7)). Let c = -104 + k. Is 2 a factor of c?
True
Suppose -r + 119 = 4. Is r a multiple of 8?
False
Suppose 228865 = -156*n + 191*n. Does 32 divide n?
False
Suppose 28 = 8*d + 4. Let p = 61 + -61. Suppose p = -4*c - 4, -3*c + 207 = d*m - 0*c. Is m a multiple of 10?
True
Does 14 divide (-336008)/(-140) + 48/(-840)?
False
Is 41 a factor of (2599/69 - -22)*27?
False
Let m = -913 - -1687. Suppose 2*d + m = -4*t, 399 = d - 2*d - 5*t. Let o = 541 + d. Is 31 a factor of o?
False
Suppose 25 = -10*r + 5*r. Is 16 a factor of 21 + 2/(-1 + r/(-10))?
False
Let r(x) = 3*x - 33. Let v(t) = 2*t - 33. Let h(q) = -4*r(q) + 3*v(q). Let s be h(5). Is 5 a factor of s + 0 - 4/(-1)?
False
Let z(w) = -10*w - 46. Suppose -58*k = -55*k + 81. Is 8 a factor of z(k)?
True
Let w be (-73)/(-4) + 7/(-28). Is 18 a factor of ((-12)/w)/((-2)/219)?
False
Is 38983040/2272 - (-16)/(-568) a multiple of 58?
False
Let x(n) = 87*n**2 - 59*n + 6. Does 58 divide x(6)?
True
Suppose 6778 = 3*n - 2*l + 1578, 3*l + 3475 = 2*n. Does 7 divide n?
False
Let q(s) = -197*s**3 - 4*s**2 - 6*s + 6. Let c(a) = 393*a**3 + 9*a**2 + 13*a - 15. Let r(n) = 3*c(n) + 7*q(n). Is r(-1) a multiple of 20?
False
Let t be (-4)/6*1 - 61/3. Suppose 5*j + 4*a - 525 = 0, -j - 5*a - 30 + 135 = 0. Let h = t + j. Is 10 a factor of h?
False
Suppose -6*m + 20 = 4*m. Suppose -4 = -n - m, -4*n + 170 = j. Is 8 a factor of j?
False
Let q be (1 - (489 - -9)) + 4*1. Let s = q + 528. Does 7 divide s?
True
Suppose -9*a + 14*a = 2050. Suppose a = 3*h + 5*d, -7*d + 136 = h - 6*d. Does 3 divide h?
True
Let i be -9 + (-38319)/(-15) - 6/10. Let d = i + -1518. Is d a multiple of 13?
True
Suppose -140291 = -53*u + 144955. Does 135 divide u?
False
Suppose -404*h - 21 = -411*h. Suppose -15 = h*n, 0 = -3*u + 2*n + 790 + 300. Is u a multiple of 90?
True
Let w(o) = -3*o - 1 - 13*o + 0 - o**2 - 4. Let k be w(-9). Suppose 20 = 2*j - k. Does 9 divide j?
False
Let q = 187 + -189. Is 26 a factor of 5 + (q - 4) + 136?
False
Let i = 7234 - 4309. Is 13 a factor of i?
True
Let f = -3781 - -3941. Does 10 divide f?
True
Suppose a - 2*f = 118, -3*a = -a + 3*f - 208. Suppose 790 = 10*j - a. Is j a multiple of 5?
True
Suppose 4*m = -5*s + 19 + 238, 5*m - 334 = -2*s. Let k = 152 - m. Does 28 divide k?
True
Suppose i - 2*i + 2 = 0. Let t be (-6)/(-4)*580/(-87). Is 7 a factor of t/i - (11 + -121)?
True
Suppose -5*g + 36 = 821. Let m = -714 + 633. Let t = m - g. Does 32 divide t?
False
Let l(q) = q. Let t(s) = 3*s - 5. Let w(n) = -l(n) - t(n). Let d be w(21). Let z = d - -164. Does 17 divide z?
True
Suppose 2*t + 5*h - 15 = 0, -4*h = -3*t - 61 + 49. Let l = 12 - 7. Suppose t = l*w - 2*i - 394, w + 6*i - 4*i - 74 = 0. Is w a multiple of 26?
True
Let w(i) = -i**3 + 13*i**2 + 31*i - 44. Let o be w(15). Let s(q) = -q**2 - 37*q + 88. Is 80 a factor of s(o)?
True
Let c be (6/14 - -3)*28/8. Suppose -c = 4*x - 600. Is x a multiple of 60?
False
Suppose -8*c = -12*c. Suppose c*q = 3*q - 399. Let o = q - 82. Is o a multiple of 17?
True
Suppose 649*v - 584*v - 164320 = 0. Is 32 a factor of v?
True
Let f(u) = 2*u**3 - 19*u**2 + 61*u - 87. Is f(14) a multiple of 5?
False
Let p(r) be the third derivative of 3*r**5/20 + 11*r**4/8 + 2*r**3/3 + 29*r**2. Let g be p(11). Does 24 divide 3/((-4)/(g/(-12)))?
False
Let w(m) = m**2 - 10*m - 23. Let y be w(16). Let g(v) = 4*v**3 - 2*v**2 - 6*v + 7. Let s be g(4). Let a = s - y. Is a a multiple of 33?
False
Let h = -1183 - -3427. Is 4 a factor of h?
True
Suppose 20 = o + 3*s, -4*o + 11 = 2*s - 19. Suppose 1238 = o*w + 428. Suppose h - w = -53. Is 16 a factor of h?
False
Let l = 1567 - 486. Let p = -414 + l. Does 40 divide p?
False
Let s be (-116