- 39. Let t(z) = -z**3 + z**2 - z - 1. Let v(q) = -93*q**3 - 2*q**2 + 4*q + 3. Let a(c) = s*t(c) - v(c). Does 24 divide a(1)?
True
Suppose -l + 1764 = -w - 1390, 3160 = l + 5*w. Is l a multiple of 38?
False
Suppose 2*x = 4*i + 936 + 1222, 0 = 6*x - i - 6496. Does 45 divide x?
False
Let t be 24*3*-5*4/(-24). Let g = -108 + t. Does 20 divide 7/((-4 - -2)/g)?
False
Suppose -15*x - 52*x = -33*x - 88026. Is x a multiple of 6?
False
Suppose -9793 - 23240 = -39*o. Does 5 divide o?
False
Suppose -2*j = -4*y + 19122, 60*y - 63*y + 4*j = -14344. Does 77 divide y?
False
Let o be 1*-8*18/(-48). Suppose o*d = 7*d - 4*m - 16, -m - 12 = -3*d. Does 22 divide (-290)/d*18/(-15)?
False
Let d(f) = 2*f**2 - 18*f + 12. Let o be d(11). Is 22 a factor of 370 + 3/(-5) + o/35?
False
Let u = 1521 + -205. Suppose -6*v + 1036 + u = 0. Is 28 a factor of v?
True
Suppose 2*y + 1124 = 4*q - 6*q, 0 = -q + 5*y - 580. Let b = 1057 + q. Does 20 divide b?
False
Let u(p) = 2*p + 3. Let v(k) = -73*k + 60. Let z(n) = -6*u(n) - v(n). Is 72 a factor of z(6)?
True
Suppose 3*j - 223 = -1. Suppose 2*k + j = 7*k + 2*v, 4*k - 5*v - 46 = 0. Does 3 divide k?
False
Suppose 15*r - 156982 - 205133 = 0. Does 253 divide r?
False
Let k(x) be the third derivative of 0*x + 37/12*x**4 + 7*x**2 - 2/3*x**3 + 0. Is 17 a factor of k(1)?
False
Let f(n) = n + 3. Let k be f(-5). Let u be (-123)/3 + (k - -2). Is 10 a factor of (-5)/(-10) - u/2?
False
Suppose -8*z - 2 = -2450. Suppose n - 5*o - 39 = z, -n - 2*o + 317 = 0. Is n a multiple of 30?
False
Let t(q) be the third derivative of -q**6/120 - q**5/20 - 2*q**3 - q**2. Suppose 455 = -39*z - 52*z. Is 7 a factor of t(z)?
False
Suppose -2*h - 4342 + 11806 = 3*b, 2*b = 5*h - 18717. Is h a multiple of 192?
False
Is 22524 - (343/(-77) + (-24)/44) a multiple of 69?
False
Does 20 divide 15*(-28720)/(-115) + -8 + 2/(-23)?
False
Let n = 7369 + -3890. Is 26 a factor of n?
False
Is (425 + -424)/(2/50) a multiple of 10?
False
Let s(v) = -v**3 - 15*v**2 - 13*v + 14. Let m be s(-14). Suppose 0 = -t - p - 3, m*p - 12 = 4*p. Is 18 a factor of 185 + -2 - (t/(-2) - -3)?
True
Is 3/(-15) + (-24)/((-3)/9 - 3) a multiple of 7?
True
Let j = 2993 - 2431. Is j a multiple of 19?
False
Let j(x) = x + 15. Let k be j(-10). Suppose -k = b - 2*b. Is 16 a factor of (948/(-30) + (-2)/b)/(-1)?
True
Suppose -5*h - 3 = -3*k - 1, -5*k + 28 = 4*h. Suppose 5*m - 451 = -5*c + 6*c, -h*c = 2. Does 18 divide m?
True
Suppose 14653 = 22*u - 5169. Suppose 4*t = -5*d + 2784, 2*d - 2*t - 209 - u = 0. Is 44 a factor of d?
False
Suppose 2*w = -4*h + 21464, w + 7528 + 3204 = 2*h. Is h a multiple of 78?
False
Let d be (4 + 168/(-35))/(2/(-5)). Let a(m) = 57*m**3 + 8*m - 12. Is a(d) a multiple of 5?
True
Let z = -1867 + 2684. Is 17 a factor of z/8 + 1/(-8)?
True
Let b(a) be the third derivative of a**8/20160 - a**7/280 + a**6/40 + 11*a**5/60 - 10*a**2. Let u(f) be the third derivative of b(f). Does 44 divide u(24)?
False
Suppose -2*j + 1954 = 5*m, 12*m - 17*m = -5*j - 1975. Suppose 3*z - 2*n = 297, 4*z - 3*n = n + m. Is z a multiple of 17?
False
Let j(t) be the first derivative of 8*t**3/3 - 4*t**2 - 5*t + 91. Suppose 2*m + 1 = -5. Is 13 a factor of j(m)?
True
Let u = -16268 - -27802. Is u a multiple of 91?
False
Let s = -64 + 69. Suppose -325 = -l + s*h, 4*h = -l + h + 349. Is l a multiple of 19?
False
Suppose 13*c - 4 = 11*c. Let j be 4 - -1*c/2. Is (-18)/j*(-220)/8 a multiple of 22?
False
Is -12 + 4 + (432 - -8) a multiple of 8?
True
Let y be 1182/8 - ((-92)/(-16) + -6). Suppose -107 = 5*r - 5*b - 4537, -2*r + b = -1770. Suppose -o - 186 + r = 5*d, 3*o = -d + y. Is d a multiple of 15?
False
Suppose -5*z = -5*s - 1460, s + 192 - 761 = -2*z. Is z a multiple of 5?
False
Let b = 703 + -392. Suppose b = l - 989. Is l a multiple of 10?
True
Let s be ((-10)/15)/((-6)/(-72)). Is 162 + 12/s*-2*-1 a multiple of 24?
False
Let y(f) = f**3 - 7*f**2 - 42*f + 221. Let n be y(9). Let t(k) = -k**2 - k + 3. Let z be t(0). Suppose n*m = u + 91, -u - 4 + z = 0. Is m a multiple of 3?
True
Suppose 302 + 1560 = 14*v. Let h = -4 + v. Suppose b = -c + 6*c - 207, -b + h = 3*c. Is 7 a factor of c?
True
Let t(x) = 14*x**2 + 58*x + 20. Let b be t(-8). Let k = -420 + b. Does 7 divide k?
False
Let d be 4/1 + 7 + -15. Let h be 147/15 - d/20. Suppose -h*p = -13*p + 258. Is p a multiple of 43?
True
Let v(f) = f**2 + 21*f + 57. Let j be v(-18). Suppose -j*q - 1075 = -5*y - 8*q, -4*y - 3*q = -861. Is 13 a factor of y?
False
Suppose 3*j = -2*i + 5523, 912 = j + 3*i - 915. Is 9 a factor of j?
True
Suppose 2*h = -3*v + 189, 6*h - 4*v = 3*h + 292. Suppose -3*r + h - 39 = 0. Is r a multiple of 4?
False
Let c = -132 - -137. Suppose 4*y - 1085 = -y - 4*g, -g + 1085 = c*y. Is 42 a factor of y?
False
Suppose 10*r + 25 = 5*r, 4*p = 2*r - 98. Is (p*28/(-42))/(1/1) a multiple of 9?
True
Let t be (9 - 6) + (3 - 2) + -1. Suppose -1622 = -2*g + 2*b, -4*g + t*b = -1838 - 1401. Is 51 a factor of g?
False
Let t(d) = 29*d - 102. Let r be t(6). Is 1566/r*32/3 a multiple of 4?
True
Let g(p) = 388*p**2 - 3*p. Let t be g(1). Suppose k - t + 9 = 2*d, 3*d = -3*k + 1137. Is k a multiple of 7?
True
Let o(u) = -522*u + 1752. Is o(-6) a multiple of 5?
False
Let h(a) be the second derivative of a**5/20 - a**4/12 - 5*a**3/6 + 5*a**2 - 12*a. Let s be h(4). Let w = s + 85. Does 11 divide w?
False
Let z = 78 - 85. Let r = 45 + -41. Is r/6 - z/(147/3892) a multiple of 31?
True
Suppose 0 = -8*c + 5*c - 117. Let h = c + 67. Suppose 10*t = 12*t - h. Is 7 a factor of t?
True
Suppose 959*j - 5508 = -4*z + 955*j, 2*z + 5*j - 2751 = 0. Is 26 a factor of z?
True
Let u = 93 - 87. Let p = -38 + 86. Suppose u*l - 9*l + p = 0. Is 8 a factor of l?
True
Suppose 9*d - 1728 = d. Suppose -64 + d = 8*t. Is t a multiple of 3?
False
Suppose 9*d - 5*d + 20 = 0. Let m(o) = 15*o - 4*o**3 - 8*o**3 + 7 + 9*o**3 + 2*o**3 + 3*o**2. Is 11 a factor of m(d)?
True
Let p = 133 + -161. Does 4 divide (-519)/(-7) - (4 - (-108)/p)?
False
Let p = 67 + -78. Let d(o) = -o**2 - 22*o - 17. Let m be d(p). Suppose -5*x + 136 = -4*l, -3*l = 5*x + l - m. Is x a multiple of 6?
True
Let c(y) be the first derivative of 6*y**2 + 79*y + 14. Let j be c(23). Suppose -4*s = s - j. Is 15 a factor of s?
False
Let b be (-78)/(-4)*(-6)/9. Let t(r) = r**2 + 17*r + 31. Let y be t(b). Let l = y - -38. Does 15 divide l?
False
Suppose -71 = -11*h + 655. Suppose h*c - 63*c = 630. Is 35 a factor of c?
True
Let u(b) be the second derivative of 31*b**4/6 - 8*b**3/3 - 4*b**2 - 37*b. Does 9 divide u(-3)?
False
Suppose 0 = 5*z + 12*z - 119. Suppose -z*l + 11*l - 1260 = -2*k, 1260 = 4*l + 4*k. Does 15 divide l?
True
Suppose 28*u - 136364 = 241981 + 4275. Is 51 a factor of u?
False
Suppose -4*v = 19*v - 34224. Is v a multiple of 16?
True
Let u(p) = 2*p**2 - 21*p + 96. Let l be u(4). Let b = 121 + -71. Let n = b + l. Does 13 divide n?
False
Suppose 10*r = -d + 12*r + 3, 5*d - 3 = 4*r. Is 40 a factor of (6/(-8))/(d*2/960)?
True
Let s = 329 + -140. Let w = s + -133. Suppose -9*j + w = -88. Is 4 a factor of j?
True
Suppose -4*u = -5*s - 2*u + 110, 110 = 5*s - 4*u. Let x(k) = 0 + 9*k - s + 0. Does 6 divide x(4)?
False
Let s(t) = 13*t**2 + 581*t - 120. Is s(-45) a multiple of 30?
True
Let o be (-7)/(-1) - (-25 + 28). Suppose o*l + 566 = 2*m - 16, 5*l = -5*m + 1410. Is 5 a factor of m?
True
Let j = 10191 + -4041. Is 15 a factor of j?
True
Let v = -20556 + 33972. Does 39 divide v?
True
Suppose 57*c + 8*c - 131105 = 0. Is 57 a factor of c?
False
Let z(b) = 6 + 1 + 8*b - b**2 - 4 + 8*b. Let r = -14 + 28. Is z(r) a multiple of 2?
False
Suppose 16334 + 969 = 13*t. Does 121 divide t?
True
Suppose 5*q + 0*w + 70 = -5*w, 2*q - 4*w = -40. Is 16 a factor of 27*(-116)/q*(-24)/(-18)?
False
Let c(b) = b**2 - 38*b + 1. Let x be c(-44). Suppose -72*o + 81*o = x. Is 11 a factor of o?
False
Let v(j) = 15*j**2 + 11*j - 20. Let g(q) = -7*q**2 - 5*q + 10. Let c(h) = 5*g(h) + 2*v(h). Let r(b) be the first derivative of c(b). Is r(-7) a multiple of 22?
False
Let t(i) = 73*i**2 - 9*i + 11. Suppose 3*y - 3*s + 2 = -1, 2*s = -5*y + 23. Does 67 divide t(y)?
False
Let x(k) = 2*k**2 + 17*k - 16. Let u = -250 - -239. Does 10 divide x(u)?
False
Let m(x) = -20*x - 20. Let k be m(-7). Let z be -1*4/(-10) + 432/k. Is 29 a factor of -2*(-1)/z - 2032/(-32)?
False
Let l be -3*(28/3)/