)?
True
Let q(u) = 87*u**2 - 486*u + 2936. Is 8 a factor of q(6)?
True
Suppose 2*p - 3*u = 17028, -u + 8519 = 16*p - 15*p. Does 17 divide p?
True
Let o(c) = 244*c**2 - 122*c + 548. Is o(5) a multiple of 8?
False
Let a = -79 - -80. Let k be (0 - a) + 4 - 5. Is 1/k - 5740/(-40) a multiple of 26?
False
Let u = -22916 - -36181. Is u a multiple of 5?
True
Suppose 0 = 36*y + 51734 - 241091 - 567363. Is y a multiple of 20?
True
Suppose -6*r - 952 = d - r, 25 = -5*r. Let f(v) = v**2 + 26*v + 4. Let b be f(20). Is ((-2)/(-6))/(1 + b/d) a multiple of 8?
False
Let o be (-1 + 2)/((-1)/7). Let t(i) = 817 - 801 - 5*i + 0*i. Is 9 a factor of t(o)?
False
Suppose -2*c = 3*s - 35 + 123, -3*c - 67 = 2*s. Let j = -26 - s. Suppose 10 = q + v, j*v + 17 = 2*q + v. Is 2 a factor of q?
False
Suppose 0 = -n + 4*o + 1051, 3*n - 4588 = o - 1512. Is n a multiple of 2?
False
Let f(q) = 2*q**3 + 16*q**2 + 15*q + 12. Let a be f(-7). Let j(m) = 275*m + 36. Is j(a) a multiple of 68?
False
Let k = -318 - -320. Suppose 2*t - 138 = -k*z, 0*z = -z + 2*t + 54. Does 8 divide z?
True
Let u = -2240 + 3245. Is 5 a factor of u?
True
Let q(z) = 130*z - 3672. Is 15 a factor of q(29)?
False
Let l(f) = -3*f + 1. Let n(k) = -143*k + 26. Let h(i) = -5*l(i) + n(i). Is h(-3) a multiple of 10?
False
Suppose -7*j + 21 = 3*w - 10*j, 2*w - 4*j = 20. Let c be ((24/15)/w)/((-1)/(-10)). Suppose i = s - 248, 478 = 3*s - s + c*i. Does 35 divide s?
True
Let v = 814 - -7050. Is 16 a factor of v?
False
Suppose 3*k - 13 = b - 2*k, 0 = -k + 3. Suppose -b*v + 63 = v. Does 6 divide 9/(-2)*(-56)/v?
True
Suppose 3*w - 5*w = -4. Suppose w*u + 2 = 3*u. Does 3 divide 105/(3 - 0) + (0 - u)?
True
Let b be (-80)/(-12) - 1/(-3). Let r(h) = 6*h - 36. Let f be r(b). Suppose x - 5*l + 1 = 0, -2*x + 2*l - 62 = -f*x. Does 2 divide x?
True
Suppose -365 = 2*f - 355, -3*f - 97005 = -5*t. Is 183 a factor of t?
True
Let j(v) = -16*v - 13. Let l(w) = -5*w - 4. Let m(f) = -2*j(f) + 7*l(f). Let s be m(-1). Is (-6)/((-4)/2) - (-178 + s) a multiple of 15?
True
Suppose x - 2*t - 138 = -20, t = -5*x + 579. Let k = 230 - x. Suppose 0 = -d + k - 3. Is 39 a factor of d?
False
Let f(i) = -5*i - 50. Let a be f(-11). Suppose -4 = -4*t, -b - a*t = -0*t - 475. Is 24 a factor of b?
False
Suppose 0 = -4*r + 5*x + 4746, r + 3*x - 180 - 998 = 0. Suppose 0 = 3*j + 5*g - r, 5*j - 4*g + 1189 = 8*j. Does 31 divide j?
True
Let v(b) = -b + 5*b**3 - 3*b + b**2 - 33 + 29 - 4*b**3. Let r be v(-1). Suppose 11*z - 27 - 116 = r. Is z a multiple of 2?
False
Let u(x) = -30*x - 93. Let s be u(-4). Suppose 2*c + 5*g - 249 = 0, -c - 30*g = -s*g - 127. Is 6 a factor of c?
False
Let h(c) be the second derivative of c**3/6 - c**2 - 8*c. Let i be h(2). Suppose -164 = -4*j + 2*t, i = -0*j + 3*j - 3*t - 123. Does 25 divide j?
False
Suppose -175*f + 181*f = 18. Suppose 5*w = 4*t - 1500, w - 8 = -4. Suppose 7*g = 4*p + f*g - t, 0 = -4*p + 5*g + 379. Is p a multiple of 10?
False
Let h = -18828 + 42686. Does 151 divide h?
True
Does 83 divide (-1 - 81/2)*59040/(-820)?
True
Let x = 6390 - 6312. Does 78 divide x?
True
Let h(n) = -37*n**3 + n. Let b = 43 - 38. Suppose i + 3*g = -i - 2, b*i = -5*g - 5. Does 10 divide h(i)?
False
Let n(i) = i**3 + 13*i**2 + 3*i + 11. Let d be n(-16). Let u = -381 - d. Is 53 a factor of u?
True
Suppose 0 = -3*c + 2*a + 14, 4*c + 5*a = 2*a + 13. Is (-68640)/360*(-6)/c*1 a multiple of 13?
True
Let l(k) = -k + 2. Let c be l(4). Let r(b) = 58*b**2 + 4*b + 8 + 4 - 6 + 4. Does 22 divide r(c)?
False
Is 6 a factor of (-6)/28 + (-426363)/(-294)?
False
Let q(f) = -3*f**2 - 2*f - 53. Let k(b) = -b**2 + b + 1. Let x(w) = -4*k(w) - q(w). Is 13 a factor of x(-7)?
False
Let n(j) = 2*j**2 - 21*j + 27. Suppose -5*k - 5*g + 90 = 0, 0*k - 4*g - 75 = -3*k. Is n(k) a multiple of 52?
True
Suppose 1218 = r + 3*y - 6*y, -11018 = -9*r - y. Is r a multiple of 34?
True
Let o(j) be the first derivative of 2*j**3 + j**2 - 8*j + 41. Does 11 divide o(-5)?
True
Suppose 2*m - 6 = -2*p + 3*m, 9 = 3*p - 4*m. Suppose 18 = p*w + 9. Is 21 a factor of (35/10)/(-2*w/(-36))?
True
Let z = -18909 - -37421. Is 104 a factor of z?
True
Suppose -60*y + 7670 = -15370. Is y a multiple of 16?
True
Suppose -3*n - 70 = 2*n. Let z = n - -10. Is 37 a factor of (-2)/z*(300/2 - -4)?
False
Suppose 0*v = -v - 4, i = -5*v - 23. Is 48 a factor of 68*i/(-6)*5?
False
Suppose 3 + 6 = 3*v. Let f be v*12/(-10)*80/72. Does 5 divide f/(16/(-76)) - -1?
True
Suppose 0 = 2*i + 2*h + 300, 3*i + 17*h + 442 = 16*h. Let b = 163 + i. Is b a multiple of 2?
False
Let t(j) = j + 13. Let c be t(-13). Suppose c = -k + 2*k - 126. Is 7 a factor of k?
True
Suppose -2*t + 0*y + 1266 = y, 4*y - 1889 = -3*t. Is t a multiple of 7?
False
Let s be (1500/(-2))/(21/(-21)). Suppose -c = 2*g - s, 3*c + 3*g - 1500 = c. Is c a multiple of 66?
False
Let u = -38 + 42. Let a(y) = 2 - 7 + 8*y**2 - 4 + 1 + 5*y. Does 14 divide a(u)?
True
Suppose -3*q - 9205 = -5*c, -49*c + q = -43*c - 11059. Is 3 a factor of c?
False
Let r = -74 + 85. Let f(j) = -26 - 13 - 4 + 3*j + r. Is 9 a factor of f(15)?
False
Let x(b) = -150*b + 2018. Is x(-29) a multiple of 2?
True
Let w(t) be the first derivative of t**4/2 - t**3/3 + t**2 + 8*t - 43. Does 8 divide w(0)?
True
Let j(n) be the second derivative of 33/2*n**2 + 1/6*n**3 + 0 - 5*n. Is 3 a factor of j(12)?
True
Suppose 15*o = 7*o + 16. Suppose 12*s - 13*s + o*b + 969 = 0, s + b - 954 = 0. Does 88 divide s?
False
Does 23 divide ((-2)/(-9) + 625/(-18))*-38?
True
Suppose 5*f - 1821*y = -1826*y + 82315, 82322 = 5*f - 2*y. Is 55 a factor of f?
False
Suppose q - a = 2*a + 3849, 4*a - 15300 = -4*q. Does 44 divide q?
False
Let m = 320 + -176. Let u = m - 31. Suppose -5*g + 643 = u. Is g a multiple of 7?
False
Let z(i) = 573*i**2 - 13*i - 15. Is z(-1) a multiple of 26?
False
Suppose -52*s + 76560 + 31440 + 45244 = 0. Does 6 divide s?
False
Is 12 a factor of ((-48)/(42/(-7)))/(1/76*1)?
False
Does 73 divide (12375 + (-26 - -2))/(-2*(-3)/6)?
False
Let a(x) be the first derivative of x**5/20 - 3*x**4/8 + 23*x**3/6 - 16*x**2 + 34. Let b(p) be the second derivative of a(p). Does 12 divide b(5)?
False
Let z = -41 - -57. Suppose -20*y + z*y + 24 = 0. Does 20 divide (2/(-5))/(y/(-300))?
True
Let p = -38 + 70. Let a = p + -28. Does 34 divide 536/a + (-5)/5?
False
Suppose -4*x = 0, 21 = s - 5*x - 0. Suppose 2*w + 478 = 4*w. Suppose 580 + w = s*v. Is 7 a factor of v?
False
Let t(x) = x**3 + 13*x**2 + x - 18. Let c be -17 - -2 - (-6)/(4/2). Does 6 divide t(c)?
True
Suppose 0*p + 4*p = -2*g + 84, -5*g - 66 = -2*p. Suppose 0 = -19*h + p*h - 480. Does 8 divide h?
True
Let c(x) = x**3 + 22*x**2 + x + 30. Suppose 0 = -3*d - s + 775, -d + 206 = -3*s - 69. Let g be d/(-12) - (-1)/(-3). Does 3 divide c(g)?
False
Suppose -4*z + 2408 = -12*z. Let k = z - -548. Is k a multiple of 19?
True
Let d(l) = -4*l**2 - 24*l - 3. Let a be d(-6). Is 54 a factor of a/6*(-2778)/(2 + 1)?
False
Suppose 3*o = -2*h + 35, -h - 12 = -o - 2. Let j(y) = -y**2 + 10*y - 33. Let l be j(o). Is 11 a factor of ((-60)/(-24))/((-2)/l)?
True
Let t = 13 - 9. Suppose -448 = -4*b - t*b. Is b a multiple of 7?
True
Let n = 2081 + 295. Is 22 a factor of n?
True
Let m = 43 - -2. Let z = m + -24. Let k(p) = -p + 45. Is k(z) a multiple of 4?
True
Let c(u) = -45*u + 100. Let o be c(-6). Let m = 1228 - o. Is 20 a factor of m?
False
Is (-1290)/4*480/(-90) a multiple of 5?
True
Let g(f) be the third derivative of -f**6/120 + f**4/12 + 55*f**3/3 - f**2 - 8*f. Is 12 a factor of g(0)?
False
Suppose -40*v - 2142 = -38*v. Let j = -621 - v. Is 36 a factor of j?
False
Let c(v) = -1787*v - 35. Let t be c(-1). Suppose t + 768 = 8*w. Is w a multiple of 35?
True
Let v(z) = -15*z**3 - 2*z**2 - 39*z + 1. Does 25 divide v(-9)?
True
Suppose -407747 = 45*y - 1210716 - 503786. Does 193 divide y?
False
Suppose -879*v = -873*v - 7740. Is v a multiple of 43?
True
Let c = 223 + -206. Suppose -5*v - 5*w = -1425, w + c = -3*v + 872. Is v a multiple of 15?
True
Suppose -5*y - 504 = -13*y. Let w = -39 + y. Is w a multiple of 19?
False
Suppose -5*a + j = -41204, 0 = -5*a - j + 40854 + 352. Is 18 a factor of a?
False
Suppose 171*p + 604 = 173*p. Suppose 4*k - 230 - 409 = f, 4*f + p = 2*k. Is 8 a factor of k?
False
Let l = 59065 - -23975. Is 3/(l/9224 - 9) a multiple of 20?
False
Is 5 a factor of ((-52983)/156