6. Let c = j + 96. Is 6 a factor of c?
True
Let o(x) = x**3 - 11*x**2 - 17*x - 10. Let u be o(12). Let z = -70 - u. Suppose 0 = 3*k, j + z*j = k + 68. Does 11 divide j?
False
Let z = 7 - 18. Let l(i) = -6*i + 24. Let f be l(z). Suppose 0 = -0*g + g - f. Is g a multiple of 9?
True
Let q(o) = 30*o**2 - 106*o + 7. Let s be q(7). Let r = 771 - s. Does 9 divide r?
True
Let t(z) be the second derivative of z**4/6 + z**3/6 + z**2/2 + 14*z. Let f be t(1). Suppose f*s + s - 895 = 0. Is 11 a factor of s?
False
Let o(n) = 3*n**2 + 66*n + 696. Is o(-12) a multiple of 12?
True
Let k(r) = -1483*r - 624. Is k(-3) a multiple of 3?
True
Suppose -4*c = -8*c + 12. Suppose -j = -5*b + 11, c*b - 2*j - 8 = -0*b. Suppose -l = -4*l - 4*u + 223, 2*l - 172 = b*u. Is 9 a factor of l?
True
Suppose 4*o - 7*o = -78. Suppose -19*s = -o*s + 280. Is 8350/s + 1/4 a multiple of 19?
True
Let v be 4/(-6) - (-86000)/129. Suppose 0 = 21*y + v - 2514. Does 8 divide y?
True
Suppose -5*y + f = -54244, -813*y + 816*y = 3*f + 32556. Is y a multiple of 16?
True
Let i = 12657 + 19638. Is 15 a factor of i?
True
Suppose 5*y = -669 + 684. Suppose -k - 34 = -r - 5*k, y*r - 4*k = 54. Is r even?
True
Suppose 53*y + 10350 = 48*y + 11*y. Is 115 a factor of y?
True
Let p(t) = 75*t**2 - 5*t - 14. Suppose 1312 = d + 1308. Is 46 a factor of p(d)?
False
Suppose -1915 - 2033 = -4*j - 3*q, 2*j = -2*q + 1974. Is 8 a factor of j?
False
Let q(v) = -v**2 + 5*v + 5. Let m be q(-3). Let h = m + 26. Suppose -h*b = -4*b - 438. Is b a multiple of 45?
False
Suppose -21*q + 23*q = -z + 1331, -20 = -4*z. Is 18/(-3) + q + 9 a multiple of 114?
False
Suppose 0 = 5*x - 20, -5*b + 3*x + 2*x - 20 = 0. Let r(k) = k**2 - 7*k + 5. Let u be r(7). Is (-69)/((-5)/u) - b a multiple of 40?
False
Let f(l) = l + 14. Suppose -4*b + 5*n - 44 = 0, -6*n = -n. Let p be f(b). Suppose -4*x = 2*w - 130, -2*x - 117 = -p*w + 46. Is 8 a factor of w?
False
Suppose -2568*r = -2554*r - 192556. Is 155 a factor of r?
False
Suppose -7*i - 36 = 2*i. Let w be (-1285)/(-25) + i/10. Suppose b = 2*f - 34, -b = 3*f + 3*b - w. Is f a multiple of 8?
False
Let i(v) be the first derivative of 23*v**2/2 - 40*v + 6. Let y be (-4)/(-14) - 1240/(-217). Is 14 a factor of i(y)?
True
Let x(y) = 26 + y + 3*y + y**2 - 2*y + 0*y. Is 9 a factor of x(-6)?
False
Let k = 31 - 27. Let h(t) = 2*t**3 - 8*t**2 + 8*t - 10. Is 11 a factor of h(k)?
True
Let c(i) = 7*i - 66. Let j be c(11). Is 45 a factor of (-5)/(15/(-9)) - (-2937)/j?
True
Suppose -2*r + 5*s + 7 = -27, -3*r - 3*s + 9 = 0. Let k(a) = 36*a**3 - 11 + 9*a + 2*a + 3*a**2 - 3*a**2 - 37*a**3 + 8*a**2. Does 23 divide k(r)?
True
Let z = 277 + -272. Suppose -3*l - 4*x + 112 = 12, z*x = -l + 26. Does 7 divide l?
False
Let t(v) = v**3 - 18*v**2 + 21*v - 12. Let g(a) = a**3 - 6*a**2 - 9*a + 16. Let n be g(7). Let d be (-302)/(-18) + n/9. Is t(d) a multiple of 14?
True
Let n(g) = -661*g - 1646. Does 185 divide n(-26)?
True
Let d(q) be the second derivative of -9/2*q**2 + 16*q + 17/6*q**3 + 0. Does 22 divide d(7)?
True
Let b be 272/(-36)*-6*(-27)/(-4). Let m = 681 - b. Is m a multiple of 25?
True
Let x be 35 + -33 + (-2 + 5 - 2). Suppose -2*v = 3*c - 1082, -2*v + 5 = -x*v. Does 13 divide c?
True
Let w(v) = v**2 - 4*v + 2. Let r be w(5). Suppose -4*g - r = 3*s, 2 = -2*g - s + 1. Suppose g*l - 110 = -36. Is 13 a factor of l?
False
Let m(h) = h**3 - 24*h**2 - 21*h + 12. Let n be -4*((-26)/(-4) + -3). Let z be ((-25)/(-4))/(4/(2 - n)). Does 16 divide m(z)?
True
Let o(g) = g**3 - 22*g**2 - 18*g + 179. Let s be 0/(-1) - 230/(-10). Does 3 divide o(s)?
True
Let s be (-10)/(-15) - (1 + (-498)/9). Let j = -50 + s. Let z = 43 - j. Is z a multiple of 19?
True
Suppose -17*v + 101 = -103. Let i(y) = -2 + 65*y - v*y + 19*y**2 - 22*y**2 + 3. Is 5 a factor of i(17)?
True
Suppose 0 = v - 2*z - 52719, -17*v = -22*v - 2*z + 263571. Is 75 a factor of v?
False
Suppose -3611 = -24*g + 139538 + 59. Is 13 a factor of g?
True
Is (5 + -7 - (-2 - (-8 + 3))) + 8472 a multiple of 32?
False
Let v(w) = 3*w - 155. Let k(p) = -2*p + 104. Let s(d) = -7*k(d) - 5*v(d). Is 13 a factor of s(7)?
False
Suppose -4*y - 1404 = -10*y. Suppose 102*f = 99*f + y. Is f a multiple of 6?
True
Suppose -d - 26089 = -3*b, b - 474*d + 478*d - 8718 = 0. Is b a multiple of 67?
False
Let g = -738 - -756. Is 12 a factor of (-34)/((-5)/g*(-17)/(-85))?
True
Let x(f) = -35*f - 6. Let c(i) = 9*i - 32. Let k be c(4). Let w be k*-2*(3 + (-30)/12). Does 32 divide x(w)?
False
Suppose 4*p - 3*p = 329. Let b = -3464 + 3467. Suppose 3*o - 501 = -b*j, -3*o - j = -o - p. Does 27 divide o?
True
Let a be 14532/10 - (-6 + 156/30). Suppose r = 4*k + 286, -2*r - 4*k = 3*r - a. Is (-9)/6 + r/4 a multiple of 6?
False
Let t(i) = -3*i**2 - 65*i - 41. Let d(u) = -u**2 - 31*u - 20. Let x(s) = -5*d(s) + 2*t(s). Let q = 29 - 11. Is 8 a factor of x(q)?
True
Suppose -2*z = -w + 10, 0 = -4*z + 5*z - 5*w + 14. Let y be 6/z*(-4)/30*5. Let m = 48 - y. Is m a multiple of 27?
False
Suppose -46*k = l - 41*k - 12521, 0 = -5*l - 4*k + 62605. Is l a multiple of 101?
False
Let v(u) = 11*u - 21. Let n(c) = -32*c + 61. Let s(y) = -4*n(y) - 11*v(y). Let o(k) = 4*k**2 + 3*k + 2. Let w be o(-1). Does 8 divide s(w)?
True
Is 5703 + 6/(-24)*(-32)/(-2) a multiple of 56?
False
Let a(k) = -2*k**3 + 13*k**2 - 26*k + 118. Let l be a(9). Let s = 587 + l. Is 6 a factor of s?
True
Let t(i) = -16*i - 17. Let y be t(14). Let r = y + 6. Let v = -155 - r. Is v a multiple of 20?
True
Does 5 divide -3*2/10 + (-20577531)/(-3485)?
False
Let m(v) = -7*v + 192. Let k be 4/1 - (0 - 1)/1. Does 7 divide m(k)?
False
Suppose -4*w - t = -41466, 0 = -2*w - 50*t + 46*t + 20712. Is 32 a factor of w?
True
Suppose -12*k + 23*k = 44. Suppose 3*o = -5*a - 1, -27 = -k*o - 2*a + a. Is 4 a factor of o?
True
Let z = -134405 - -205807. Is z a multiple of 61?
False
Suppose 2*o - 5*w = -654, -3*w = -4*o - 4*w - 1330. Let f = 71 - o. Does 17 divide f?
False
Let i(k) be the first derivative of k**7/840 - k**6/72 - k**5/30 + k**3/3 - 4. Let b(y) be the third derivative of i(y). Is 4 a factor of b(6)?
True
Let k = 10348 + -9860. Is 3 a factor of k?
False
Suppose 0 = -6*b + 37233 - 9741. Is 58 a factor of b?
True
Let u = 293 - 179. Let s(p) = p**2 + u*p**3 - 19*p - 20*p + 38*p. Is s(1) a multiple of 19?
True
Let r(s) = -412*s + 122. Is 194 a factor of r(-3)?
True
Suppose 56*v - 147*v + 2011464 = 0. Is 50 a factor of v?
False
Let p(w) = w**3 - 18*w**2 - 24*w - 50. Suppose d - 101 = 2*n - 89, 0 = 4*d + 2*n - 98. Is 42 a factor of p(d)?
False
Let d = -183 - -202. Suppose 24*y = d*y + 35. Is y a multiple of 7?
True
Suppose 482538 = 32*m - 249654. Is 13 a factor of m?
False
Let y(c) = 7*c + 31 + c**2 - 47 - 87. Is y(13) a multiple of 20?
False
Let j(u) = -85*u - 353. Is j(-18) a multiple of 3?
False
Is 47 a factor of (-30)/((-4)/(-54)*7/(-154)) + -5?
False
Suppose -3*n - 9*q = -11*q - 2386, -2*n - 5*q = -1616. Is 7 a factor of n?
True
Let p = -87 + 42. Let d = 43 + p. Does 11 divide (-2)/d + (-414)/(-18)?
False
Let v = 391 + 148. Suppose -3*w = 4*w - v. Does 17 divide w?
False
Let r = -310 + 527. Let o = r + -1. Is 18 a factor of o?
True
Let b be (-542)/8*(-23 + 19). Let i = b + 89. Is i a multiple of 21?
False
Let t = -15195 - -23086. Does 139 divide t?
False
Let c(x) be the second derivative of 13*x**3/6 - 7*x**2 + 19*x. Does 14 divide c(7)?
False
Suppose 0 = -2*x - x - 153. Suppose 4*y + m = 4*m - 300, 0 = 5*y + m + 375. Let a = x - y. Is a a multiple of 4?
True
Let g = -226 - -597. Let o = g + -271. Does 5 divide o?
True
Suppose -b = -3*y + 75908, -43091 - 7533 = -2*y - 2*b. Is 15 a factor of y?
True
Let u be (-10)/2 + -1 + -25. Let h(d) = d + 52. Let y be h(u). Is 9 a factor of -2*(-3)/(-6)*-4*y?
False
Let w = 19679 + -9772. Does 26 divide w?
False
Let d = 76 - 72. Suppose 707 = d*j + 3*o, 6*j + 326 = 8*j - 4*o. Does 4 divide j?
False
Let t = -3 + 8. Suppose -4*v + 2*w + 40 = 0, -7*v + 3*w + 49 = -2*v. Suppose -t*b - 420 = -v*b. Is b a multiple of 6?
False
Let k = -8639 - -9013. Is 17 a factor of k?
True
Let l be ((-11)/(-55))/((-7)/(-175)). Does 13 divide (-3)/(-15) - ((-494)/5 - l)?
True
Let j = 716 - -4. Suppose -j = -14*i + 9*i. Suppose -4*d + 433 = 5*v, 0 = -4*v + 2*d + 192 + i. Is 19 a factor of v?
False
Let u = -275 + 323. Suppose -4*v = -8*v + u. Does 2 divid