84 = 3*j. Is j a multiple of 17?
False
Suppose 5*r + 25 = 2*d + 277, -96 = -2*r + 2*d. Is 6 a factor of r?
False
Suppose -q - 3 = -4*q. Let s be (((-282)/(-4))/(-3))/((-1)/2). Is 28 a factor of 2*q + -5 + s?
False
Suppose d - 146 - 7 = 0. Is 17 a factor of d?
True
Suppose u - 2*u + 16 = c, 0 = -5*c + 5*u + 110. Is 19 a factor of c?
True
Let y be ((-117)/(-3))/3 - 2. Let c = y + 5. Is 8 a factor of c?
True
Suppose j + 4*u = 73 + 46, -5*u + 487 = 4*j. Does 41 divide j?
True
Suppose 0 = 2*f - 6*f - 16. Let y be 70/f*(-48)/30. Does 14 divide (2/(-2) - -1) + y?
True
Let k(b) = 8*b**3 + 5*b**2 - 4*b. Let w(m) = m**3 + 1. Let q(c) = -k(c) + 6*w(c). Suppose -d = -3*d - 8. Is 19 a factor of q(d)?
True
Let y(k) = k**2 + 8*k + 8. Let f be y(-8). Let c = f - -4. Is 4 a factor of c?
True
Let v = 13 - 5. Let h = -3 - -6. Suppose v = k - h. Is k a multiple of 11?
True
Let k(w) = -11*w**2 + 4*w + 3. Let a(r) = 10*r**2 - 3*r - 2. Let g(x) = 6*a(x) + 5*k(x). Is 16 a factor of g(3)?
False
Is (-10)/6 + 1022/21 a multiple of 47?
True
Let b = 453 + -293. Suppose -44 = 2*g - b. Suppose 3*l = 5*s + g, 3*s + 40 = 2*l - 0*l. Is 13 a factor of l?
True
Is 9 a factor of 5/(20/12) + -1 - -43?
True
Does 5 divide (7/(-2))/((-3)/30)?
True
Suppose -t + 4*t = 63. Let x = t - 9. Let b = x - -11. Does 11 divide b?
False
Let b(i) = -i + 5. Let o be b(0). Suppose -o*f = -4*l + 329, 0 = l + 4*l + f - 375. Does 18 divide l?
False
Let l = -116 - -168. Let p(q) = -35*q**2 + 4*q + 2. Let u be p(-1). Let d = u + l. Does 15 divide d?
True
Suppose -7*c + 80 = -3*c. Suppose 2*g - 4 = c. Does 12 divide g?
True
Does 41 divide ((-20)/25)/(8/(-980))?
False
Let p(u) = -u**3 - 6*u**2 - 5*u - 4. Let i be p(-5). Let y be (2/(-3))/((-8)/12). Is 7 a factor of (-26)/i - y/(-2)?
True
Let b(v) = -3*v**3 + 14*v**2 - 29*v - 4. Let t(w) = 5*w**3 - 21*w**2 + 44*w + 6. Let f(y) = -8*b(y) - 5*t(y). Is 13 a factor of f(-9)?
False
Suppose 0 = -7*w + 3*w - 592. Is w/(-6) - 14/21 a multiple of 21?
False
Let t = 202 + -26. Is 24 a factor of t?
False
Let x = 8 - -143. Let k = x + -105. Is k a multiple of 16?
False
Let u be 1/(-2) - (-138)/(-4). Suppose 51 = -5*x - 49. Let w = x - u. Is 13 a factor of w?
False
Does 7 divide (2 - -40)/(5 - 3)?
True
Let s(y) be the first derivative of 4*y**3/3 + 3*y**2 - 8*y + 4. Let l be s(-7). Suppose 5*m - u - l = 0, -2*u = 5*m - 177 + 19. Is m a multiple of 14?
False
Let q(r) = -14*r**2 + 53*r - 33. Let w(n) = 5*n**2 - 18*n + 11. Let v(g) = 4*q(g) + 11*w(g). Does 11 divide v(11)?
True
Suppose 0 = 4*p - 4*d, -4*p - d = -0*p. Suppose 0 = w + 2, 2*s + 4*w + 4 + p = 0. Suppose 4*x = 5*j - 134, -s*j = 4*x - 0*x - 76. Does 15 divide j?
True
Let y be 37/5 + (-4)/10. Suppose 5*c - 48 = y. Let q = -7 + c. Is 4 a factor of q?
True
Suppose -81 = -w - 0*w. Let a = w - 29. Let p = -18 + a. Does 17 divide p?
True
Is 12 a factor of 9*((-232)/(-24) - (2 + 1))?
True
Suppose -3*k + 5*r = -193, 0 = 3*k - 8*k - r + 331. Does 8 divide k/8 + 4/(-16)?
True
Let c be 0 - (-2 + 0) - -55. Suppose -c = -5*w + 3*m, 8*m = 2*w + 3*m - 19. Is 5 a factor of w?
False
Suppose -3*j = -9 - 0. Suppose j*b - 7*b + 64 = 0. Suppose 2*u + b = 3*u. Is u a multiple of 16?
True
Suppose 6*j = 2*j + 168. Does 19 divide j?
False
Let a(d) be the third derivative of -d**6/4 - d**4/24 - d**3/6 - 3*d**2. Is a(-1) a multiple of 9?
False
Let m = 21 + -10. Let c = m - -3. Is c a multiple of 9?
False
Let l(s) = 2*s**2 + 3*s + 7. Is 13 a factor of l(-6)?
False
Let m = -584 - -866. Is 40 a factor of m?
False
Suppose w = -3*w + 60. Is 9/((w/21)/5) a multiple of 21?
True
Let l = -46 - -98. Suppose -l = -2*w + u, w = 4*u + 8 + 18. Is w a multiple of 13?
True
Let k be 6/4*1*2. Let v(d) be the first derivative of 6*d**2 - 2*d + 5. Is 17 a factor of v(k)?
True
Suppose 5*w - 138 = -3*z, 8 = z - 3*z. Is 5 a factor of w?
True
Suppose -7*q + 8*q = 54. Is q a multiple of 6?
True
Let w(r) = 21*r**2 - r + 1. Let x be w(1). Let b = 3 - 2. Let d = b + x. Does 11 divide d?
True
Let m(h) = -168*h - 2. Is m(-2) a multiple of 17?
False
Let y(v) = -2*v. Let f be (-2)/4*(-28)/(-2). Let t be y(f). Suppose -3*w + w = -t. Is w a multiple of 7?
True
Suppose -4*c - 3*p = -1, -2*c - 3*c - 4*p = 0. Let u = -7 - -8. Suppose 5*s - u = -z, 5*z + s = c*s + 33. Does 3 divide z?
True
Let g(i) = -2*i**2 - 3*i - 1. Let c be g(-2). Let a(q) = -9*q**2 - 6*q + 3. Let k(u) = u**2 + u. Let w(f) = -a(f) - 6*k(f). Does 12 divide w(c)?
True
Let x = 8 + -15. Let t = 9 - x. Is 14 a factor of t?
False
Suppose x - 3*u = 28, x + 2*u - 4 = -1. Let s = -1 + x. Is s a multiple of 7?
False
Let j(h) = h**3 + 5*h**2 + 2*h + 4. Suppose 4*a = a - 12. Is 4 a factor of j(a)?
True
Let w(r) = r**3 + 9*r**2 + 9*r + 5. Does 10 divide w(-7)?
True
Let t be (-1)/(0 - 2/176). Suppose 0*s + 58 = s - 4*w, 0 = -2*s + w + t. Does 26 divide s?
False
Is 44 a factor of (-1 + -122)/(30/(-50))?
False
Suppose -18 = -g - 0*g. Does 6 divide g?
True
Let t(g) = 25*g - 1. Let l(n) = n + 9. Let s be l(-8). Is 9 a factor of t(s)?
False
Suppose 97 = k + 3*y, -1 = -4*k + 4*y + 339. Is 44 a factor of k?
True
Let k be 233/4 + 2/(-8). Let m = k + -4. Is m a multiple of 18?
True
Let g be 24*(1 + (-7)/4). Is (-4)/(-18) - 338/g a multiple of 19?
True
Let p = 61 + -40. Is 7 a factor of p?
True
Let h = 24 + 2. Is 6 a factor of h?
False
Let t = 0 - -1. Suppose 2*k = -h - 3*k - t, -30 = -2*h - 2*k. Suppose 1 = 5*l - h. Is l a multiple of 3?
False
Let x = 3 - 0. Let b = 11 - x. Is 3 a factor of b?
False
Let i(u) = u**3 + 4*u**2 - 15*u + 9. Is i(-5) a multiple of 16?
False
Suppose 2*l + l - 255 = -5*c, -5*c = -4*l - 220. Is c a multiple of 6?
True
Let m = -8 - -11. Suppose 4*y - 275 = -y. Suppose -2*i + y = m*i. Is 8 a factor of i?
False
Is 8 a factor of 372/2 + 1 + 5 + -9?
False
Let j(r) = -r**2 + 21*r - 25. Is j(7) a multiple of 13?
False
Let f be 0 + 3 + (-2 - -2). Let r be -14*-2*f/6. Suppose -r = -w + 10. Is 12 a factor of w?
True
Let y(j) = -8*j - 15. Let r be y(-12). Suppose 5*l = -3*m + 7*m + 99, 3*m - r = -3*l. Is 5 a factor of l?
False
Suppose 52 = 4*v - 4*w, -2*v + 0*w - 5*w = 2. Is 3 a factor of v?
True
Suppose 5*h - 898 = -253. Suppose -4*y = -4, 0 = -5*m - 5*y + y + h. Is m a multiple of 7?
False
Let g be 5*2/(4 + -2). Let t(o) = 2*o**2 - 9*o - 18. Let q be t(-6). Suppose -4*w - q = -g*b, 4*b - 4*w - 60 = b. Does 8 divide b?
True
Suppose 5*a - 1585 = 2*t, -2*t + 1247 = 3*a + 312. Is 21 a factor of a?
True
Suppose 0 = x + 5*j + 3 - 12, x + 3*j = 3. Let t(k) = k + 6. Let w(v) = v + 7. Let h(u) = -3*t(u) + 2*w(u). Does 2 divide h(x)?
True
Suppose -4*d - 28 + 8 = -3*f, -2*f = d - 17. Suppose f*b = 4*b. Let a(m) = m**3 - m + 27. Is a(b) a multiple of 15?
False
Suppose 5*h = 126 + 59. Let l = 61 - h. Is l a multiple of 12?
True
Let c(j) = j - 3. Let b be c(5). Let q(w) = 1 + 10*w**2 + w**b - 2*w**2. Is q(1) a multiple of 6?
False
Suppose 0 = -h - 27 + 85. Does 29 divide h?
True
Suppose -4*q + 15 = -1. Suppose c + q*k = k + 21, -k = 5*c - 63. Is 4 a factor of c?
True
Let j = -57 + 134. Is 31 a factor of j?
False
Suppose 5*s - 3*s = 5*l - 17, 2*l = 10. Suppose 0 = -s*x + x + 42. Let u = x - 4. Does 10 divide u?
True
Let c be 3/(559/278 - 2). Is 14 a factor of c/10 - 1/(-5)?
True
Does 8 divide (3/(-6)*2)/((-3)/354)?
False
Suppose -7*k = -2*k - 2*n + 30, 0 = 4*k + 4*n + 52. Let i(b) = b**2 + 7*b + 12. Does 7 divide i(k)?
False
Suppose -94 = 2*t - 334. Does 11 divide t?
False
Let y(i) be the first derivative of i**4 + i**3 - 2*i**2 + 2*i - 2. Does 24 divide y(2)?
False
Suppose 5*i - 242 = -62. Is i a multiple of 16?
False
Suppose -c + 4*c = a - 18, -26 = -2*a - 4*c. Suppose 2*w = -a + 3. Is 3 a factor of -2*(33/w + 2)?
False
Let n(f) = -f**2 + 10*f + 5. Suppose 2*u = r + 1, -r + 6*r + 5 = -5*u. Suppose 0 = v - u*v - 9. Is 7 a factor of n(v)?
True
Let i(k) = -k**2 - 10*k + 5. Is i(-5) a multiple of 15?
True
Suppose 0 = -o - j + 21, -16 = 3*o - j - 67. Does 6 divide o?
True
Let t = -12 - -5. Let y = 11 - -12. Let j = t + y. Is j a multiple of 16?
True
Let j be 0 - 1 - (-5 - 0). Suppose 0 = j*k - 62 - 162. Let p = k - 25. Is 15 a factor of p?
False
Let j be ((-2)/(-2))/((-3)/(-666)). Let s = -159 + j. Is s a multiple of 21?
True
Let g = 36 + -13. Is g a multiple of 23?
True
Suppose 0 = 68*s - 63*s - 240. Is 12 a factor of s?
Tru