6. Let d be (-2 - -3)/(6/(-30)). Let x be a(d). Suppose x = 8*c - 0*c. Does 16 divide c?
True
Let p(g) = -81 - 2*g + 71 - 8*g + 142. Is p(-12) a multiple of 28?
True
Is 17 a factor of (-82 - 13)*(4 + 2 + -40)?
True
Suppose 2*k - 7*z - 24238 = 0, 4*z + 9061 = 2*k - 15165. Is k a multiple of 30?
False
Suppose 0 = 2*r - r - 432. Suppose 448*p = 464*p + 4624. Let y = r + p. Is y a multiple of 23?
False
Let x(k) = -65*k + 4. Let m be x(3). Let l(q) = -2*q**2 + 67*q - 77. Let i be l(34). Let u = i - m. Is u a multiple of 20?
True
Suppose -10*i + 7513 + 1006 = -8911. Is i a multiple of 33?
False
Let z(f) = -9*f - 13. Let b = -55 + 51. Let i be z(b). Suppose 29 + i = 4*t. Is t a multiple of 4?
False
Let q(x) be the first derivative of 25*x**3 - x**2 + 15*x - 113. Is 19 a factor of q(3)?
True
Let s(a) = -11*a**2 + 9*a - 2. Let p be s(3). Let l = p - -134. Is 6 a factor of l?
True
Let p = -48 - -53. Suppose -p*u + 1064 = -u. Suppose 110 + u = 4*t. Does 15 divide t?
False
Let d(m) be the first derivative of m**3/3 - 5*m**2 + 3*m + 17. Let z be d(10). Let q = z - -33. Is q a multiple of 12?
True
Suppose -1714 = -3*j + 2*q, -4*q - 1197 + 4039 = 5*j. Suppose 0*k - 4*k + 2*y = -j, 2*k - 276 = 4*y. Does 5 divide k?
False
Is ((-732)/5)/((-48)/(-40)*(-4)/304) a multiple of 38?
True
Let a(u) = 22*u + 65. Let x be a(-13). Let d = -214 - x. Is d a multiple of 4?
False
Suppose -12606 = 33*o + 33*o. Let d = 290 + o. Does 3 divide d?
True
Suppose 0*o = -16*o + 336. Suppose 0*b = -3*b + o. Is 4/b + (-21276)/(-252) a multiple of 17?
True
Let o = 692 + -494. Suppose 17*q - o = 3780. Does 13 divide q?
True
Let a(h) = 285*h + 5. Let d be a(2). Suppose -5*u = -2*y - 1019, -3*u = -y - d - 36. Does 7 divide u?
True
Let p be 2 + 3 + 360 + -4. Suppose 0*h + 2*z - 461 = -5*h, 4*h - z - p = 0. Is h a multiple of 7?
True
Let r be (0 - 0)/(6 - 1 - 6). Suppose r*a + 5*a + 15 = 0. Does 18 divide (464/(-4))/(-4) - a?
False
Let y be -3 + (-15)/5*-2. Suppose y*m - 7*m - 4 = 0. Is m*(-3 - 1 - 11) a multiple of 2?
False
Let d = -8059 - -16891. Does 42 divide d?
False
Suppose b - 48241 = -4*j, -b = 2 - 7. Does 31 divide j?
True
Is 13 a factor of 351/(-18)*((-15)/20 + (-2324)/16)?
True
Let d(m) = -m**3 - 3*m**2 + 10*m - 3. Let g be d(2). Does 17 divide (63/42)/(g/(-1492))?
False
Let j(l) = -2*l**3 - l**2 + 4*l - 4. Is j(-3) a multiple of 29?
True
Let p be 0*(1 + (0 - 0)). Suppose -5*z + 10*z - 535 = p. Is z a multiple of 11?
False
Is 39 a factor of 1*((-34401)/9)/(2/(-6))?
False
Suppose -624 = 37*l - 89*l. Is 6 a factor of l*(16/40)/((-8)/(-190))?
True
Suppose -38917 = -5*a - 3*l, 3*a - 23347 = 5*l - 10*l. Does 56 divide a?
True
Suppose 3*h - 3*w = 954, -230*h + 234*h = 5*w + 1273. Is h a multiple of 5?
False
Let b(d) = d**3 + 23*d**2 - 45*d + 164. Is b(-25) a multiple of 2?
False
Let v(b) be the third derivative of -b**5/60 - 5*b**4/8 + 2*b**3/3 + 3*b**2. Let x be 0 - 9*4/6. Is 26 a factor of v(x)?
False
Suppose -415*n - 249920 = -437*n. Is n a multiple of 32?
True
Let x = 366 + -382. Let c = 134 - x. Does 3 divide c?
True
Let n = 87050 + -57712. Does 18 divide n?
False
Suppose 8*g - 117367 = 152553. Is g a multiple of 20?
True
Suppose 0 = 61*f - 4*f + 3*f - 140880. Does 10 divide f?
False
Let w = 2675 + 5677. Is w a multiple of 16?
True
Let m(w) = w**3 - 4*w**2 + 7*w + 6. Let j be m(5). Let o = j + -48. Suppose 3*x - o = 3*c - 672, 3*x - 624 = -3*c. Is c a multiple of 13?
False
Suppose -135247 = -39*k + 87404. Is 11 a factor of k?
True
Is 2*(-6 - 122529/(-22)) a multiple of 46?
False
Suppose -32*g + 13*g - 15*g = -109106. Is 68 a factor of g?
False
Let f = 949 - 224. Is f a multiple of 5?
True
Does 60 divide 10200*(-27 + 29 - (0 - -1))?
True
Let p = 6 - -10. Let y(z) = -62*z + 3846. Let b be y(62). Suppose b*u = p*u - 1582. Does 27 divide u?
False
Suppose 3*g + 43517 = 4*h, 8*h - 43519 = 4*h + g. Is h a multiple of 68?
True
Let a = -16464 + 23971. Does 22 divide a?
False
Suppose 2949 = t - r - 370, -2*t + 6637 = -r. Is 28 a factor of t?
False
Suppose 0 = -28*b + 952 + 4144. Is b a multiple of 14?
True
Suppose 27*c - 11111 = 2956. Does 74 divide c?
False
Does 86 divide ((-81434)/(-4) - 2)*21/(-252)*-16?
False
Let u(s) = -2*s**2 - s. Let a(t) = -2*t**3 - 57*t**2 + 48*t - 18. Let v(k) = -a(k) - 3*u(k). Is 31 a factor of v(-32)?
True
Let g = -4001 - -9910. Does 19 divide g?
True
Suppose -4*w + 7134 = 2*l, -89*l + 85*l + 14308 = -2*w. Does 40 divide l?
False
Suppose 0 = -5*h - 29 - 1. Let q(b) be the second derivative of -8*b**3/3 + 3*b**2/2 + 22*b. Is 25 a factor of q(h)?
False
Let g(t) = -2*t**2 - t - 5. Let b be g(-5). Let o(c) = -c**3 - 21*c**2 - 59*c - 7. Let k be o(-18). Let m = k + b. Is 33 a factor of m?
True
Let f(k) = 490*k**3 - 5*k**2 + 3*k - 5. Is f(2) a multiple of 113?
False
Let w(v) = 39*v**2 + 3*v + 3. Suppose 3*d = -c - 2 - 7, 0 = -c + d + 11. Is 19 a factor of w(c)?
True
Let j = 39 - 51. Let x be 3*(1 - (1 + 8/j)). Suppose -2*t + 66 = -x*c, -t + 48 = -0*t + 2*c. Is t a multiple of 20?
False
Let x be 4/(-14) + (-37)/(1295/200). Is x + (-24)/(-4) + 148 a multiple of 12?
False
Let h be -6*(-10980)/72*(-1)/(-10)*-2. Suppose -228 = -2*z + 172. Is h/(-5) + (-10)/(z/12) a multiple of 4?
True
Is (0 - 12/(-15))/(48/112680) a multiple of 12?
False
Suppose -7*q + 10*q + 9746 = 5*s, 0 = -s - 5*q + 1966. Does 33 divide s?
False
Let k(d) = -d + 2. Let u = 71 - 72. Let m be k(u). Suppose -m*s - s = -1012. Does 27 divide s?
False
Suppose -4*q = c + 1677, 9*c = q + 5*c + 398. Does 2 divide q/57*(-2 - (-5)/(-2))?
False
Let z = -40635 - -67739. Is 22 a factor of z?
True
Suppose 5*n = -2*f + 5, -15*f + 5*n = -13*f + 25. Let d(a) = -2*a - a + 13 - 12 + 12. Is 4 a factor of d(f)?
True
Suppose -117*q - 46720 = -636400. Does 10 divide q?
True
Let x be 10400/4 - (4 + 0)*-1. Is 44 a factor of 5/(-80)*-4 - x/(-16)?
False
Suppose -7*g + 2900 + 3554 = 0. Does 49 divide g + 6 + (3 - 0)?
True
Suppose 2*r = -5*s + 266, 4*r + 144 = 3*s - 0*r. Suppose -2*v + s = 288. Let w = v - -205. Does 14 divide w?
False
Suppose -10*b + 574 + 556 = 0. Let h = 63 + b. Is h a multiple of 16?
True
Let w(i) be the third derivative of i**5/2 - 11*i**4/24 + 47*i**3/6 - 19*i**2. Is w(4) a multiple of 23?
True
Suppose 3*n - 2*q + 14 = 0, 2*n = 3*q - 9 - 2. Let f be 1/n + 9/4. Is 6 a factor of (f - 26)*1/(-2)?
True
Suppose -a = 3*m - 4820, 5*m - 8020 = 7*a - 6*a. Suppose s + m = 5*b, 2*b - 5*s - 243 - 376 = 0. Is b a multiple of 14?
True
Suppose 0 = 2*k - 34 + 22. Suppose -188 = -k*m + 70. Let y = m - 6. Is 19 a factor of y?
False
Suppose -4*l + 3 = 3*a, 0*l = 3*l. Let r(f) = 48*f + 1. Let v(m) = -95*m - 3. Let b(t) = 9*r(t) + 4*v(t). Does 6 divide b(a)?
False
Let d(f) = 14*f - 1. Let p be d(-4). Let s(w) = -w**3 - 12*w**2 + 21*w - 5. Let k be s(-14). Let c = k + p. Is c a multiple of 9?
True
Let l(k) = -8*k - 47*k - 376 + 78*k. Is 19 a factor of l(18)?
True
Suppose -13556*u + 2149016 = -13497*u. Is u a multiple of 6?
False
Suppose -68828 = -5*s - 4*y, 5*y = -0 + 10. Is 74 a factor of s?
True
Suppose -4*c + 3 + 17 = 0. Let n = c + -3. Is n/(-5) - (-322)/20*4 a multiple of 16?
True
Suppose 2*o - 1393 = -5*u, -4*o + 3570 = o - 5*u. Let q = o - 208. Does 46 divide q?
False
Let u(n) = 781*n**2 + 146*n - 447. Is 9 a factor of u(3)?
True
Suppose -392 = -2*l + 164. Let x = 680 - l. Is 31 a factor of x?
False
Let f = -16607 + 22979. Is f a multiple of 236?
True
Let q = -89 + -27. Let y = q - -284. Is y a multiple of 28?
True
Suppose 0 = s + 15 - 13. Let m(v) = -v**2 + 1. Let b(i) = i**2 - 2*i + 22. Let t(a) = s*m(a) - b(a). Is t(10) a multiple of 24?
True
Suppose m = 5*f - 8, -3*f + 5 + 11 = 5*m. Suppose 66 = f*s - 80. Suppose q = s + 5. Is q a multiple of 39?
True
Suppose -34*g = -36*g + 1516. Suppose -g = -27*q + 835. Is 3 a factor of q?
False
Is 8/22 - (-310)/55 - -2697 a multiple of 51?
True
Let j = -3898 - -8840. Is j a multiple of 28?
False
Let i(q) = q**3 - 7*q**2 - 9*q - 21. Let g = -56 + 66. Does 27 divide i(g)?
True
Suppose -4*j = 4*b + 2060, 2*j + 2*j = 5*b - 2096. Is 8 a factor of (4 - 25)/3 - j?
True
Let z = -786 + 1353. Suppose 8*q - 729 = z. Is 9 a factor of q?
True
Let j be (7 + -4)*5/((-10)/4). Is 9 a factor of 14/j - -2 - (-196)/21?
True
Suppose -t = 4*i - 35868, t = 4*i + 3*t - 35864. Is i a multiple of 76?
True
L