et y(k) = k**2 + 2*k - 10. Let z be y(3). Suppose 7*a = z*a + 66. Suppose -6*u + 4*u = 2*x - 74, u = x - a. Does 17 divide x?
False
Let d(j) = j**3 - 8*j + 672. Let t be d(0). Let r = t - 260. Does 103 divide r?
True
Suppose -66 + 252 = 3*p. Suppose -t + 0*t - 2*c = -66, 2*c + p = t. Is (1 + -71)*t/(-40) a multiple of 28?
True
Let a be 4/26 + 4686/(-39). Let q(o) = o**3 + 10*o**2 - 9*o + 22. Let t be q(-9). Let h = t + a. Is 7 a factor of h?
False
Suppose 3*m + 4*u - 159 - 1672 = 0, -3*m - 3*u = -1833. Is 2 a factor of m?
False
Let n = -7 - -12. Let b be (((-30)/4)/n)/(12/(-24)). Is 21 a factor of (-1)/b - (-253)/3?
True
Let s = -9004 - -15228. Is 61 a factor of s?
False
Let s = -125 - -143. Let g(q) = 12*q - 9. Let m be g(s). Suppose -11*v - m = -2374. Is v a multiple of 22?
False
Let b = -1209 - -14376. Does 11 divide b?
True
Suppose 3*j - 2*l - 18220 = 0, -5*j + 30384 = -7*l + 8*l. Suppose 11*z + j = 25*z. Does 7 divide z?
True
Let t(b) = -7*b + 44. Let d be t(8). Let i be 7 + d - (-1 + -11). Suppose 118 = i*k - 22. Is 4 a factor of k?
True
Suppose t - 2*q = 24994, -5*t + 8*t = -2*q + 74942. Is 32 a factor of t?
False
Suppose -w + 5*z - 16 + 88 = 0, -w - 4*z = -36. Let k = w - 46. Suppose -96 = -2*u - k*u. Is u a multiple of 2?
True
Let w be -8*(11 - 12)/((-2)/(-1)). Suppose 270 = -3*j + w*j. Does 6 divide j?
True
Suppose 0 = 2*p + 4*q - 2604, 70*p + 5196 = 74*p + 4*q. Is 27 a factor of p?
True
Suppose -14*b = -31*b + 6*b + 19173. Is b a multiple of 83?
True
Suppose 3*k + 3*k - 5*k = 0. Suppose k = 4*j - p - 38, 10 + 6 = 2*j + p. Let s(c) = -c**3 + 9*c**2 + 16*c. Does 36 divide s(j)?
True
Suppose 2*b - 10 = -3*b. Suppose -n + b*a + 3 = -7, 0 = -2*n - a - 5. Does 17 divide 13/(-78) + (n - 2450/(-12))?
True
Let i(s) = -s**3 - 14*s**2 - 3*s + 12. Let b(t) = 2*t**3 + 27*t**2 + 6*t - 26. Let k(c) = 3*b(c) + 5*i(c). Suppose -4*f - 22 = 18. Does 14 divide k(f)?
False
Suppose 2*v = -4*y + 626, 0*y + 5*y + 4*v = 790. Let c = y - 152. Suppose c*b - 79 = 135. Is 10 a factor of b?
False
Suppose 2*v = -o - 625, 0 = -0*v - 3*v + 9. Let u = o + 891. Suppose -u = -5*i + 25. Is i a multiple of 9?
False
Let j(d) be the third derivative of d**4/24 + 17*d**3/6 - 16*d**2. Let m be j(17). Let x = 70 - m. Is 6 a factor of x?
True
Suppose 65338 - 233223 = -27*d + 65179. Does 13 divide d?
True
Let a = 9087 - 2406. Is 53 a factor of a?
False
Let w(q) = -q**3 - 10*q**2 + 2*q + 19. Let v be w(-8). Let h = v + 202. Is h a multiple of 7?
True
Let t(g) = -5*g**2 - 3 + 0*g**3 + 5*g**3 - g - 5*g - 6*g**3. Let p be t(-4). Suppose 0 = 4*l - 8, -p*o + l + 133 = -55. Is o a multiple of 18?
False
Let l be (-97)/((30/(-33) + 1)/1). Let v be 9/((l/267 + 4)/1). Is 47 a factor of (-7)/28 - (-5)/(60/v)?
False
Let p be -4 + (2 - -4) - -7. Let y be 2/p + 510/135. Let d = y + 15. Is d a multiple of 19?
True
Let r(a) = -1111*a**2 + 2. Let l be r(-1). Let k = 2105 + l. Does 83 divide k?
True
Let a(v) be the third derivative of -v**6/180 - 17*v**5/24 + 25*v**4/24 - 12*v**2. Let c(f) be the second derivative of a(f). Is c(-28) a multiple of 27?
True
Let f(y) = 67*y**2 + 14*y + 57. Let q be f(-6). Suppose -23729 = -29*b - q. Does 23 divide b?
True
Let q be 1/(3*3/(-63)). Does 13 divide (-648)/(-5) - q/(315/18)?
True
Let b = -65 + 98. Suppose 5*l - 3*a - b = -2*a, -l + 12 = -2*a. Is 14/l*9*4 a multiple of 6?
True
Is 88 a factor of -10*(-14)/(-35) + -3 + 10161?
False
Suppose 0 = -29*y - 42 + 13672. Let a = y - 340. Does 5 divide a?
True
Suppose -85 = -3*w + 56. Suppose -2*a + w + 19 = 0. Does 33 divide a?
True
Let s be (-2)/3*(-553 + -3 - -7). Let y = 541 - s. Is y a multiple of 35?
True
Let c(w) be the first derivative of -w**4/4 - 5*w**3/3 + 25*w**2/2 + 10*w - 46. Let m be c(-8). Is 57 a factor of (2/2)/((-141)/71 + m)?
False
Let t(a) = 665*a**2 + 282*a - 1108. Does 10 divide t(4)?
True
Let b(y) = -y**3 - 4*y**2 + 9*y - 4. Let j = -31 + 37. Suppose -24 = 9*x - j*x. Does 45 divide b(x)?
True
Let a = 3129 + 3741. Is 15 a factor of a?
True
Let h = -421 + 428. Suppose -3*s = -2*x - 853, -4*s + h*x + 1145 = 12*x. Is 5 a factor of s?
True
Let n(o) = o**3 - 26*o**2 - 477*o + 34. Is 86 a factor of n(40)?
True
Let d = -191 - -192. Is 15 a factor of (11/((-22)/(-1140)))/(3 - d)?
True
Is 2154 - (575/69 + 4/6) a multiple of 5?
True
Let g(i) = -161*i + 14719. Is g(47) a multiple of 83?
False
Let b = 615 - 435. Suppose 11*p + b = p. Let a(k) = -4*k - 33. Is a(p) a multiple of 9?
False
Let v(r) = 3*r + 66. Let d be v(-21). Suppose z - 3*n = -20 + 15, d*z = 5*n - 3. Does 4 divide z?
True
Suppose 0 = -5*o + 5*g + 5, 3 = -2*o + 3*g + 4. Suppose -381 = -5*s + o*z + z, 146 = 2*s + 2*z. Is 12 a factor of s?
False
Suppose -5*o + 7*o - 10 = 0, 0 = -2*j - 4*o + 11290. Does 35 divide j?
True
Suppose -r + 16*d - 13*d - 164 = 0, -3*r = 4*d + 492. Let o = r + 193. Is 2 a factor of o?
False
Let n = 9938 - -6166. Does 6 divide n?
True
Let i(b) = -3*b - 42. Let o be i(-14). Suppose 2*c - c + 52 = o. Let f = 62 + c. Does 3 divide f?
False
Let v(q) = 814*q**3 - 7*q**2 - 39*q + 94. Is v(2) a multiple of 50?
True
Let n = -145 - -305. Let h = n - 50. Is 10 a factor of h?
True
Suppose 92*a - 98*a = -4710. Suppose 19*w + 786 = 23*w - 2*o, 4*w - a = o. Is w a multiple of 6?
False
Let s = 21 - 25. Does 30 divide (28/s)/(-14)*300?
True
Let r(h) = -3*h**3 - 13*h**2 - 303*h - 71. Is 37 a factor of r(-21)?
True
Let x(h) = h**3 - 25*h**2 - 8*h - 58. Let j be x(26). Suppose 3*v - 2*c = v + 200, 4*v - 2*c = j. Is v a multiple of 35?
True
Suppose -23*l - 8*l - 22723 = 0. Let g = l - -1038. Is g a multiple of 20?
False
Let r be (-5)/(-3) - (-1)/3. Suppose -3*p = -4*c + 18, c + 0*c + r*p = -1. Suppose -c*k = 3*k - 144. Is 4 a factor of k?
True
Suppose -5*o = -2*j + 11961, 4*j + 4*o + 14451 = 38359. Does 122 divide j?
True
Let d = 868 + -692. Suppose 4*n = -t + d, -4*n - 7*t + 5*t = -176. Is 11 a factor of n?
True
Suppose -16*y = -25*y + 117. Suppose y*h - 110 = 2750. Is ((-44)/5)/((-8)/h) a multiple of 37?
False
Does 66 divide 2 + (1*-1)/(41/(-23083))?
False
Does 41 divide (-3 + -62065)/(-4) + 42/(-2 + -4)?
False
Suppose -5*g = -0*v + 5*v - 155, -g - 35 = -v. Let d(y) = -y**3 + 31*y**2 + 68*y + 110. Is 11 a factor of d(v)?
True
Let l be (-54)/(-12)*(-16)/(-24). Suppose 3*k = -l*q + 1848, -58*k + 3*q = -62*k + 2467. Does 10 divide k?
False
Suppose -4*h + 16 = 0, u + h - 903 = 1621. Suppose 18*g - 9*g - u = 0. Is 15 a factor of g?
False
Let j(c) = -c**3 + 4*c**2 + 17*c - 21. Let l be j(6). Suppose -528 = -l*g + 3*g. Does 11 divide g?
True
Let u be -76*(4/24 - (-21)/9). Let w = u - -379. Is w a multiple of 7?
True
Suppose -7*q + 3140 = p, 13*p - 14*p + 5*q = -3116. Is p a multiple of 5?
False
Let g(m) = 9*m**2 + 12*m + 16. Suppose 4*d + 2*o = -16, 0 = -2*d + o - 4*o - 4. Does 19 divide g(d)?
False
Suppose 0 = -4*s - 2*f + 2216, -4*s - f + 2*f + 2228 = 0. Does 6 divide s?
False
Let g = -166 - -312. Suppose u - 3*c + g = 6*u, -c = 3. Is 4 a factor of u?
False
Let l = 2136 + -972. Let g = l - 722. Is 38 a factor of g?
False
Suppose 4*g + 121860 = 402*q - 399*q, -3*q - 4*g + 121932 = 0. Does 24 divide q?
True
Let c be 9 + 1 + (10/85 - (-312)/(-51)). Let o(f) = f**2 + 4*f - 11. Let g(a) = -2*a**2 - 4*a + 10. Let j(x) = -3*g(x) - 2*o(x). Is j(c) a multiple of 9?
True
Let i(f) = 39*f**3 + 8*f**2 + 28*f + 32. Does 18 divide i(8)?
True
Suppose n + 856 = -0*n + 3*j, n = -j - 852. Let y = n - -1307. Does 19 divide y/8 + (5/4 - 1)?
True
Let r(l) = -l**3 + 7*l**2 + 8*l + 20. Let f be r(9). Let s = f + 75. Does 34 divide s - (-4 + (2 - 129))?
True
Let g be 4/(-50)*-5*-83*5. Let k = -97 - g. Does 3 divide k?
True
Let s(w) = -21*w**2 - 3*w + 57*w**2 + w**3 + 32 - 22*w**2. Does 60 divide s(-13)?
True
Let g(b) be the second derivative of -b**4/24 + 13*b**3/3 - 3*b**2/2 + 9*b. Let x(d) be the first derivative of g(d). Does 13 divide x(-13)?
True
Suppose -8*m + 4*t - 13501 = -9*m, 3*m - 40539 = -6*t. Does 13 divide m?
False
Suppose -2*d - 44 = 3*b, 4*b + 54 = -d + 2. Let v be 0/((-2)/(-8) - 9/b). Suppose v = 12*z - 10*z - 20. Is 10 a factor of z?
True
Let w(d) = -2*d**2 - 14*d**2 + 20*d**2 + 6*d + 14 + 4*d. Is 7 a factor of w(-7)?
True
Let t = 857 + 1559. Is t a multiple of 45?
False
Let o(y) = -y**2 - 29*y - 15. Let p be o(-13). Suppose 4*t - 5*i = -p, -t 