x - 16 = 0. Is (s/4 - u) + 0 a multiple of 14?
True
Suppose -4*i = 2*m + 24, 3*m + 4*i = -15 - 21. Suppose 48 - 138 = 3*z. Let t = m - z. Is 6 a factor of t?
True
Is (0 + 28)/(124/(-128) - -1) a multiple of 56?
True
Let w be ((4 - 3)*46)/(0 + 2). Let y be (-6 + 5)/((-1)/3). Let g = w + y. Is 7 a factor of g?
False
Let p = 51 + -47. Suppose 186 = s - p*m, -5*s - 4*m + 2*m + 864 = 0. Is s a multiple of 17?
False
Let x(c) = c**2 + 0*c + 3 - c**2 - 3*c + 2*c**2. Let d(i) = i**3 + 4*i**2 - i + 3. Let a be d(-4). Is 28 a factor of x(a)?
False
Suppose d + 21 - 98 = 0. Is 11 a factor of d?
True
Let a(k) = -48*k**3 - 2*k**2 + 3*k + 2. Is a(-3) a multiple of 31?
True
Let v(t) = t**3 - 9*t**2 - 10*t + 3. Let u = -15 + 25. Let i be v(u). Suppose 21 = i*h + q, -h + 0*q - 2*q + 7 = 0. Is 7 a factor of h?
True
Let p be -6*8*(-1)/2. Let o = -12 - p. Is (o*1)/(12 - 14) a multiple of 5?
False
Let i = -46 - -46. Suppose -27 = -2*d + f - 0*f, -5*d - 3*f + 84 = i. Is d a multiple of 11?
False
Suppose 0 = 3*v - 5*v + 3*r + 54, -3*r + 54 = 2*v. Is v a multiple of 8?
False
Suppose -2*f + 11 = -49. Let j = f - -4. Let h = j + 8. Is 17 a factor of h?
False
Suppose -6*h + 1849 = -155. Suppose 5*u = 3*k - 0*u - 298, -h = -3*k - 4*u. Is 30 a factor of k?
False
Does 22 divide (52*-61)/(3/(27/(-18)))?
False
Let p be (-6)/(5 + -3) - -8. Let s be 558/45 - 2/p. Let j = s + -10. Is j even?
True
Let h(p) = 4 + 18*p - 6 + 1 - 2. Suppose z - 2*u = -u + 3, 0 = 3*z + 3*u - 9. Does 17 divide h(z)?
True
Let p = -716 + 2234. Is p a multiple of 46?
True
Let k(u) = -53*u - 4. Let x be k(-1). Suppose z + x = 8*z. Is z a multiple of 7?
True
Suppose -3*j + o + 766 = 0, 2*j - 100 = -5*o + 405. Is j a multiple of 15?
True
Let q be (8 - -10)/(1/(-3)). Let o be 8/2*q/(-3). Suppose 4*a + v = 55, 5*a - o - 3 = 5*v. Is 2 a factor of a?
True
Let k = -647 - -977. Is 25 a factor of k?
False
Let t(u) be the third derivative of u**6/120 - 7*u**5/60 - u**4/24 + 5*u**3/3 + u**2. Let i be t(7). Suppose -i + 19 = q. Does 5 divide q?
False
Is (-144)/(6/(-63)*3) a multiple of 36?
True
Let o be (0/(-2))/((-24)/(-12)). Suppose o = 8*x - 4*x - 548. Is 34 a factor of x?
False
Let l(u) be the first derivative of -u**4/4 - 4*u**3/3 - 5*u**2/2 - 14*u - 177. Let t = -20 - -14. Is l(t) a multiple of 24?
False
Let p(x) = 6*x - x**3 - 14 + 5*x**2 + 0*x + 0*x - 9*x**2. Does 9 divide p(-7)?
False
Let q be ((-1539)/(-15))/((-6)/4)*-5. Suppose 7*b = 10*b - q. Is 38 a factor of b?
True
Suppose 2*m = -a + 10, 0*m = 4*a - m - 4. Let q(o) = 0 - 4 + 4*o**2 + o**2 - 2*o**2 + 32*o - 26*o. Is 20 a factor of q(a)?
True
Suppose 3*x - 6*x = 3, -4*a - 3*x + 1337 = 0. Does 11 divide a?
False
Let i(a) = 9*a**2 - 4*a + 7. Let b = -36 - -40. Is 15 a factor of i(b)?
True
Suppose -13 = -9*h + 59. Let l(w) = -w**3 + 7*w**2 + 14*w. Does 17 divide l(h)?
False
Let r be (-16)/(-4) - (-138 + (-4)/2). Suppose 146 = 5*c - 4*b - 94, 3*b - r = -3*c. Does 16 divide c?
True
Let m = 1019 + -693. Is m a multiple of 5?
False
Let w = 1369 + -514. Is w a multiple of 15?
True
Let f(u) = -u**3 - 16*u**2 + 83*u + 24. Is f(-21) a multiple of 60?
False
Is 5 a factor of 2/(-4) - 722/(-4)?
True
Suppose 9286 = 16*w + 550. Suppose 6*y + w = 12*y. Does 18 divide y?
False
Suppose 0 = 3*o + p - 760, 3*o - 5*p + 0*p - 790 = 0. Suppose -3*j = 2*j - o. Suppose -6*r = -3*r - j. Is 16 a factor of r?
False
Let u(b) be the third derivative of -b**4/6 - 4*b**3/3 + 2*b**2. Let p = -2 - 5. Is u(p) a multiple of 7?
False
Suppose -4*f - 20*f = -5472. Is 4 a factor of f?
True
Let o(k) = 6*k**2 - 16*k + 144. Does 16 divide o(10)?
False
Suppose 16 = 2*k + v, 3*k - 7*v + 2*v - 37 = 0. Let z be ((-60)/50)/(12/(-920)). Let p = z + k. Does 13 divide p?
False
Let c be (-3)/(((-36)/(-8))/3). Let w be 1*(-1 + (c - -3)). Suppose -4*v + q + 98 = 0, 5*q - 110 = -w*v - 5*v. Is v a multiple of 12?
True
Suppose -3*q - d + 110 = 0, -2*d + 178 = 5*q + d. Let i = q - 8. Does 5 divide i?
True
Let r(i) = -i**3 - 12*i**2 - i - 10. Let o be r(-12). Let s be 2*(o - 44/(-8)). Suppose -4*m - s = -7*m, -2*j + 2*m = -134. Does 36 divide j?
True
Suppose -2*f = 19*f - 16401. Is 11 a factor of f?
True
Let g = -3 - -3. Suppose g = 2*b + 6, 0 = 8*v - 6*v - 4*b - 196. Is 23 a factor of v?
True
Let c = -4 + 34. Is 6 a factor of 14*(c/24 + 6/8)?
False
Suppose 688 = 2*o - 334. Suppose 2*z + o = 3*w, 0 = -5*z + 2*z - 6. Does 39 divide w?
False
Let d = 19 - 21. Let l be d/10 - 6005/(-25). Suppose -2*x = 4*w - 102, 3*x + 5*w - l = -87. Is x a multiple of 16?
False
Suppose 3*z - 226 = 1025. Let l = z - 230. Does 17 divide l?
True
Suppose -l + 10 = -7. Suppose 3 = d, -j - d = 2*d + l. Is 13 a factor of -8*j/8*2?
True
Suppose -5*s - a - 27 = -0*s, s + 5*a + 15 = 0. Let f(m) be the third derivative of m**5/60 + m**4/24 - 5*m**3/3 - 2*m**2. Is 2 a factor of f(s)?
True
Let s be (-1 - 3)*(-6)/6. Let n(b) = s + 0 + 0 - 4*b**3 - 33*b**2 - 3*b + 29*b**2. Does 17 divide n(-3)?
True
Suppose 0 = 9*c + 196 + 110. Let a = 12 - c. Is 18 a factor of a?
False
Suppose -a + 25 = -5*q, -5*q - 3 - 22 = -3*a. Suppose a = -6*n - 217 + 55. Let h = 77 + n. Does 20 divide h?
False
Let g(w) = -w**2 - w + 2. Suppose 3*x = -6 - 0. Let k be g(x). Suppose k = -m - 8 + 24. Is m a multiple of 6?
False
Let j = 4716 - 3096. Is j a multiple of 18?
True
Let b = -16 - -19. Suppose -q = -4 + b. Is (51 - q) + 2 + -1 a multiple of 17?
True
Let f(q) = 31*q**2 - q. Let i be f(1). Let k = i + -18. Is 12 a factor of k?
True
Let z(k) = -459*k + 5. Does 13 divide z(-2)?
True
Suppose -3*n - 4*y + 10 = -0*n, 4*n + 4*y - 16 = 0. Suppose 9*q = n*q - 9. Is (-14)/21 - 185/q a multiple of 23?
False
Let o(l) = l**2 + 20*l + 72. Let b be o(-14). Let s = 11 - 17. Let p = s - b. Does 6 divide p?
True
Suppose 26 - 10 = 4*t. Suppose -g - 2*g - 12 = h, -t*h - 2*g + 2 = 0. Suppose 3*i = -3*w + 66, -i + 4 = h*w - 52. Does 11 divide w?
False
Let x be ((-3)/2)/((-21)/8 + 3). Is (x - (-2 - -2))/(2/(-9)) a multiple of 3?
True
Suppose -3*c + 21 = 3. Let b(f) = f**2 - 3*f - 4. Is b(c) a multiple of 14?
True
Suppose -4*r + 7 = -3*v + 2*v, 2*v + 5 = 5*r. Suppose 5*y = -v*u + 6*y + 64, 3 = 3*y. Is 518/u + (-4)/(-26) a multiple of 10?
True
Suppose 9*n - 18148 + 6889 = 0. Does 77 divide n?
False
Let w = -118 + 214. Suppose w - 6 = c. Is c a multiple of 15?
True
Let f(n) = -184*n + 617. Does 28 divide f(-15)?
False
Suppose 2 = 24*k + 2. Suppose k = 3*t - 5*w - 138, 2*t + 114 = 5*t + 3*w. Is 15 a factor of t?
False
Suppose 2*i + 0*i - 4 = 0. Suppose 3*c = -5*n + 314 + 531, -2*n + 359 = -3*c. Suppose n = 2*u + i*u - 5*t, -12 = -3*t. Is 22 a factor of u?
False
Let n be (-32)/(-12)*-2*(-12)/16. Let r(f) = 2*f**2 - 6*f + 2. Is 3 a factor of r(n)?
False
Suppose -3*v + g = 22, g + 9 = -3*v - 11. Let w = -5 - v. Is -2 + 105 + (-1 - w) a multiple of 20?
True
Is 5/20 - 11035/(-20) a multiple of 69?
True
Let x = 89 + -168. Let s = -12 - x. Does 10 divide s?
False
Let t = 2128 + -1687. Is t a multiple of 49?
True
Let p be 3/((-3)/4*(-5)/170). Let b(o) = o**2 + 174. Let i be b(0). Is i/8*p/51 a multiple of 29?
True
Let d = 9 - 7. Suppose -76 = -d*f + 50. Suppose -2*c - 7 + f = 0. Does 7 divide c?
True
Let z(k) = 8*k**2 - 5*k + 5. Let i be z(5). Let v = i - 91. Does 12 divide v?
False
Suppose 5*r - 4*s = 6*r - 300, 5*r = 2*s + 1478. Does 31 divide r?
False
Let y = -49 + 50. Does 7 divide 3/y - (7 - 60)?
True
Let c = -809 - -965. Is c a multiple of 15?
False
Suppose 0 = b + 2*n - 18, -8*b + 4*b = 4*n - 52. Suppose 0 = b*m - 130 - 1022. Is 25 a factor of m?
False
Suppose -k = -0 + 2. Let y(w) = -5*w - 2. Let m(a) = -3*a - 1. Let v(i) = 5*m(i) - 2*y(i). Does 9 divide v(k)?
True
Let m = -506 + 1038. Does 38 divide m?
True
Let n be 18/45 + 81/(-15). Is ((-160)/10)/(1/n) a multiple of 20?
True
Suppose -303 = -7*x + 1461. Let q = x - 148. Is q a multiple of 8?
True
Let q(h) = h**2 + 10*h - 9. Is 7 a factor of q(7)?
False
Suppose 351*q - 354*q = -75. Is 3 a factor of q?
False
Let s = 924 + -107. Does 19 divide s?
True
Suppose -t + 3*t = -16. Let h(s) be the third derivative of -s**6/120 - 7*s**5/60 + s**4/4 + 2*s**3 + s**2. Does 4 divide h(t)?
True
Let g(m) = 5*m**2 - 59*m + 398. Is g(35) a multiple of 32?
False
Suppose -139*g + 135*g + 1808 = 0. Is g a multiple of 17?
False
Suppose -5*h = -6*h + 13. Suppose -9