98)/((-2)/(-119)). Is ((-3)/2 - 0)/((-3)/c) a multiple of 17?
True
Let r(t) be the second derivative of -t**5/20 + 7*t**4/12 + 2*t**3 - 27*t**2/2 + 48*t. Does 5 divide r(8)?
True
Let i = -2 + 4. Suppose 3*n + 2240 = 17*n. Suppose -2*o + 713 = 5*x + 271, -i*x = 5*o - n. Is 14 a factor of x?
False
Let z(a) be the third derivative of 11*a**5/60 + 7*a**4/24 + 3*a**3/2 - 46*a**2. Is 3 a factor of z(-3)?
True
Suppose 29 - 3 = -4*j + 2*d, j - 4*d + 10 = 0. Is 3 a factor of (-632)/(-20)*(11 + j)?
False
Let x(c) = 5*c - 6*c**2 + 5 - c**2 + 8*c**2. Let q(f) = -f**3 + 3*f**2 - 6. Let h be q(3). Is x(h) a multiple of 4?
False
Let m(f) = 7*f + 13. Let p be m(20). Suppose q + 4*g - p = -0*g, -492 = -3*q - g. Is 33 a factor of q?
True
Let v(b) = 294*b**2 - 76*b + 362. Does 39 divide v(5)?
True
Let i(h) = h**3 - 12*h**2 + 10*h + 10. Let n be i(11). Let c be (-29 + n)*8/(-20). Suppose -6*m = -c*m + 90. Does 5 divide m?
True
Let r(f) = -f**2 + 2*f + 11. Let s be r(0). Let x = s + -8. Suppose -x*u = 2*u - v - 64, 4*u + 5*v = 28. Does 6 divide u?
True
Suppose -5*z + 5758 - 39501 = -3*u, 5*u + 3*z - 56159 = 0. Does 58 divide u?
False
Does 47 divide 405*(136/10 - 4)?
False
Suppose -5*c - 2*d - 348 - 143 = 0, -3*c - 3*d - 300 = 0. Let f = c + 185. Does 59 divide f?
False
Let x = 45 + -282. Let a = -69 - x. Is a a multiple of 28?
True
Let b be 1081/9 - 9/81. Suppose 3*o + 118 = k, -5*k + 60 = -5*o - b. Is 7 a factor of o*(-3)/2 - (-3)/(-2)?
False
Is 9 a factor of 1 - -4 - (17 - (-14 - -13736))?
False
Let z = 8570 - 3408. Is z a multiple of 89?
True
Suppose -27*i + 8*i = -114. Suppose -2*w + 842 - i = 0. Is w a multiple of 19?
True
Suppose 8765 + 34755 = 17*g. Is g a multiple of 16?
True
Suppose x + 6*i + 647 = 11*i, -i = 2. Let l = x - -993. Is 59 a factor of l?
False
Does 16 divide ((-104)/(-3) - 0)/(14 + (-59015)/4218)?
True
Let s = -8551 + 11919. Does 8 divide s?
True
Let c be ((-1)/2)/((-14)/(-168)). Let a(d) = 2*d**2 + 7*d. Let r be a(c). Let u = r - -6. Does 12 divide u?
True
Does 40 divide (4/(-18)*3)/(4 + 967714/(-241923))?
False
Suppose 38*n - 37*n - 5 = 0. Let k = -3 + 5. Suppose 0*d - 2*o = n*d - 230, k*o = -10. Is d a multiple of 14?
False
Let d(r) = r + 8. Let n be d(-4). Suppose -j - 40 = -4*j - 5*l, -2*l = n*j - 30. Suppose -j*z - 132 = -342. Is z a multiple of 4?
False
Let m(l) = 49*l**3 + 3*l**2 - 3*l + 10. Let r(x) = -x**3 - x + 2. Let g(y) = -m(y) + 5*r(y). Does 18 divide g(-1)?
False
Suppose 3*r - 33*l - 22934 = -29*l, r - 7630 = 5*l. Is 69 a factor of r?
False
Suppose 0 = -2*k + 82 - 18. Let i = 36 - k. Suppose 5*f = 4*v - 140, i*v - 2*f = 2*f + 140. Is 3 a factor of v?
False
Does 18 divide 102*(542/15 + (-3 - 215/(-75)))?
True
Let o = -293 + 297. Suppose -20 = -o*m, -4*q - 741 = -5*q + 5*m. Is q a multiple of 32?
False
Suppose -f = 4*n - 1 + 16, -2*f - 3*n - 5 = 0. Suppose -w - 17 = -f*z, 0 = 5*z - w - 2*w - 11. Suppose -z*r + 156 = 2*r. Is r a multiple of 9?
False
Let t = 289 + -369. Is (t/48)/((-20)/3144) a multiple of 27?
False
Suppose g + 4*i = -2, -3*g + i = -4 + 10. Let o be (-186)/(g/12*(-30)/(-20)). Suppose -5*a = -o + 64. Does 39 divide a?
False
Suppose -c = -2*m + 12551, -3*m + 16846 = -4*c - 1963. Does 69 divide m?
True
Let z(t) = 5*t - 12*t + 3 + 8*t + 50*t. Suppose 2*r = -3*r + 5. Is z(r) a multiple of 9?
True
Let x be (8/(-24))/((-1)/8868). Suppose -4*u + 2953 = f, 0*u + 4*u - x = -4*f. Does 12 divide u?
False
Let r = 199 + -195. Suppose -3*m + 3729 = 5*h, -r*h - h + 4*m + 3743 = 0. Is h a multiple of 62?
False
Let f be (-10)/(-4)*(-200)/(-125). Suppose f*t + 48 = 2*g - 0*g, 30 = g + 4*t. Let b = 5 + g. Is 4 a factor of b?
False
Let o = 2357 + -1882. Does 5 divide o?
True
Let j(u) = u**3 - 12*u**2 - u - 12. Let p be 11 + 4/4*2. Let q be j(p). Is 12 a factor of (-4)/32*-6*q?
True
Let f = 45 - 43. Suppose -3*g + 540 = f*u - 722, -4*u = 5*g - 2104. Suppose -j + g = 6*j. Does 12 divide j?
True
Suppose -5*d + 38 = g + 7, 0 = 2*g + d - 17. Suppose -g*o + 5858 = 3*u - o, 4 = -2*o. Is 14 a factor of u?
False
Suppose -12 = 2*l - 4*l. Let f be 2/l + (-19)/3. Does 4 divide (4 - (-27)/f)*-24?
True
Let d = 28 - 14. Suppose -5*q - d = -12*q. Is (1 - 293)/(-4) - q a multiple of 14?
False
Let s be 6/8 + (-70588)/(-112). Let q = 642 - s. Does 11 divide q?
True
Let d(x) = 156*x**3 - 7*x**2 + x - 36. Does 16 divide d(4)?
True
Suppose -13*q - 30 = -8*q. Let x be 240/32*(-8)/q. Suppose 0 = -n + 3 + x. Is n a multiple of 13?
True
Let y(i) = -5*i**3 - 6*i**2 - 12*i - 17. Let m be y(-4). Let q = -199 + m. Is 12 a factor of q?
False
Let c = -401 + 286. Let b(l) = 18*l**2 + l + 13. Let h be b(4). Let r = h + c. Is 38 a factor of r?
True
Suppose 17*z - 12*z - 330 = 0. Let w = z + -60. Is 6 a factor of w?
True
Suppose -25*o - 28*o - 79104 = -56*o. Is 32 a factor of o?
True
Let z(f) = -8*f**3 + 29*f**2 - 8*f + 62. Does 27 divide z(-14)?
True
Let y(p) = -23 + 2*p + 5*p**2 + p**2 - 8*p**2 + 21*p. Let l = -1535 - -1544. Is 11 a factor of y(l)?
True
Let q = -321 + 326. Suppose -q*z + 9*z - 2940 = 0. Is z a multiple of 49?
True
Does 27 divide (-40)/(-22) + -2 - -2428*368/704?
True
Let f(s) = 36*s**2. Suppose q + 35 = 34. Let w be f(q). Does 4 divide 964/w - 2/(-9)?
False
Is (-24545)/(-7) + 405/(-945) a multiple of 35?
False
Is 2 a factor of ((-73998)/(-54) - 19)*3?
True
Let j(s) = -24*s**3 - 8*s**2 - 19*s + 8. Suppose 2*m - 4*h + 5 + 1 = 0, -5*m - 15 = -3*h. Is j(m) a multiple of 9?
False
Let z = -1635 + 2082. Does 149 divide z?
True
Let f be 14/(-21) - 5/((-30)/(-56)). Let h(r) = r**2 + 7*r - 4. Let w be h(f). Suppose 2*y - v - 59 = w, 180 = 4*y - 4*v. Is 10 a factor of y?
True
Suppose 9*l + 9*l - 28390 = 13*l. Is l a multiple of 17?
True
Does 4 divide (35077/21)/(((-32)/12)/(-8))?
False
Suppose 46 = -4*v + 502. Let u = v - -44. Let k = 285 - u. Is 10 a factor of k?
False
Suppose 26*j = 29*j + 27. Is (-3)/6 + ((-5859)/2)/j a multiple of 13?
True
Suppose 42*u + 41*u + 163328 = 94*u. Is u a multiple of 20?
False
Let p(w) = 976*w**2. Suppose -4*j - 3*n + 7 = -3*j, 5*n - 13 = -3*j. Let r be p(j). Does 9 divide r/18 - 18/81?
True
Suppose 5*g - 20 = r, 25 = 4*g + 4*r - 3*r. Suppose 5*b + q = 424, -4*q - g = -1. Suppose -b = -6*f - 1. Is 3 a factor of f?
False
Suppose 232 = 154*p - 150*p. Suppose p*y - 1599 = 17*y. Is 2 a factor of y?
False
Let d(s) = 106*s**2 + 447*s - 2728. Is 29 a factor of d(6)?
True
Let q(n) = -2*n**2 + 6*n**2 + 14*n - 25 - 3*n**2. Is 13 a factor of q(9)?
True
Let p = 23 - 23. Suppose p = -8*c - 0*c + 112. Suppose c*v - 16*v + 40 = 0. Is v a multiple of 5?
True
Let w = -1299 - -3365. Is w a multiple of 76?
False
Let r = 61821 - 34501. Does 40 divide r?
True
Let m(c) = -154*c - 11. Let p be m(-5). Let u be p/22 + (-3)/(-2). Suppose 0 = -2*b + 124 - u. Is 9 a factor of b?
False
Let x = 244 + -166. Let y = 21 + x. Let b = y + -75. Does 14 divide b?
False
Let g(h) = -20*h**2 + 7*h + 3. Let v be g(-1). Is 9 a factor of (v/(6 + 2))/((-6)/358)?
False
Suppose -g + 1837 = 3*z - 1160, 3*z - 15009 = -5*g. Is 11 a factor of g?
True
Let t(o) = 3*o**3 - 4*o**2 + 9*o - 1. Let g(x) = -2*x**3 + 2*x**2 - 4*x. Let k(h) = -5*g(h) - 2*t(h). Is k(4) a multiple of 52?
False
Suppose 84*v = 89*v - 21490. Suppose 3*z + 11*z = v. Does 33 divide z?
False
Suppose 4552*j - 4634*j + 516600 = 0. Is 15 a factor of j?
True
Let c(l) = 39*l + 2908. Is 2 a factor of c(-54)?
True
Let d(q) = q**2 - 32*q + 85. Let r be d(29). Let h(c) = -69*c - 42. Is 12 a factor of h(r)?
True
Let y = 59 - -22. Suppose 83*v - y*v - 20 = 0. Is 10 a factor of v?
True
Suppose 11*b - 66 = -11. Suppose 4*z = 4*n - 124, -5*n + z - b*z = -119. Suppose -d = -9 - n. Does 12 divide d?
True
Let r(z) = -z**2 - z + 23. Let a be 0 - ((-313)/3 - (-8)/(-12)). Let v = -105 + a. Is 10 a factor of r(v)?
False
Let i(y) = -15*y + 12*y**2 - 6*y + y**3 + 6 - 11 + 3*y. Does 4 divide i(-13)?
True
Suppose -4*z = 2*v - 6 + 2, -4*z = 4*v + 4. Let b be (3 + -7 + z)*2930/2. Does 37 divide (-6)/(-2 - b/740)?
True
Let b(i) = -i**3 + 59*i**2 + 82*i + 79. Is b(60) a multiple of 9?
False
Let b be 64/128 - (-65030)/4. Suppose -11*s = -33*s + b. Is s a multiple of 35?
False
Is 23 a factor of (6/9)/(-1) + (-11499200)/(-300)?
False
Is 13124106/945 - (68/35 + -2) a multiple of 49?
False
Let g = -14853 + 34557. Is g a multiple of 143?
False