r + 36, 6 = 2*r. Let a = 329 + h. Does 31 divide a?
True
Let w be ((-4)/6)/(2/(-15)). Suppose 0 = n + 2*o - 59, w*n + 3*o - 259 = 2*o. Does 17 divide n?
True
Suppose 0 = -3*m + 7*m - 4. Is 5 - 715/(-5) - 3*m a multiple of 22?
False
Suppose 5*s = 35*h - 33*h - 4286, 4*h = -5*s + 8602. Does 16 divide h?
False
Let r = 54 - 38. Let w(c) = 6*c + 2 - 7 - r. Does 32 divide w(13)?
False
Let k be (-895)/(-20) + (-3)/4. Let m = -2 + 12. Suppose -2*o + 2*q = -k, -3*q - 110 = 5*o - m*o. Is o a multiple of 22?
True
Suppose -5*l - 5*y - 10 = 0, 3*y + 6 = -2*l + 2. Let s = 18 - l. Is 5 a factor of s?
True
Suppose o = 3*o - 76. Let y = 42 - o. Is y a multiple of 4?
True
Suppose -3*l - 108 = -2*o, 2*o - 2*l - 88 = -4*l. Is 6 a factor of o?
True
Let v(k) = k + 76. Is v(-24) a multiple of 13?
True
Let w be 3 + (-2 - -296 - (-3)/(-3)). Suppose -6*s + w = -628. Does 17 divide s?
False
Suppose -7*k + 571 + 1704 = 0. Does 13 divide k?
True
Suppose 0 = -2*s - 3*p + 462, -11 = 4*p + 5. Is s a multiple of 41?
False
Suppose -3*m - 2700 = -30*m. Is m a multiple of 20?
True
Suppose 45*w - 86*w = -56580. Is 30 a factor of w?
True
Let k(c) = -c**3 + 7*c**2 + 10*c - 21. Is 21 a factor of k(6)?
False
Let m = -292 + 432. Is m a multiple of 14?
True
Let u(i) = -10*i + 91. Is 7 a factor of u(-7)?
True
Let s(d) = -3*d**2 - 40*d - 38. Let b(m) = m**2 + 20*m + 19. Let n(o) = 5*b(o) + 2*s(o). Is 9 a factor of n(10)?
False
Suppose -19*c - 215 = -20*c. Is 5 a factor of c?
True
Let d = -3 - 253. Let h = -172 - d. Is h a multiple of 14?
True
Suppose 2*g + 3 = o, -o + 6*g + 3 = 3*g. Suppose 3 = 3*l - o. Suppose 6 + 50 = l*v. Is 14 a factor of v?
True
Suppose 535 = -5*d - 3*j - 2*j, -4*d - 3*j = 424. Let s = -46 - d. Is s a multiple of 19?
True
Let c(z) = -4 + 38*z**2 + 9 + 0*z - 5*z. Let f(m) = -57*m**2 + 7*m - 7. Let k(l) = -7*c(l) - 5*f(l). Is k(2) a multiple of 19?
True
Let t = -203 - -293. Suppose -t - 9 = -p. Is 33 a factor of p?
True
Suppose -7*g = -6*g - 30. Does 2 divide g?
True
Let j = 620 + -314. Does 17 divide j?
True
Suppose -6 = -4*s + s. Let h(u) = 195*u**3 - 157*u**3 - 2*u**s - 2 + 2 + u. Is 37 a factor of h(1)?
True
Let i(w) = -89*w + 2. Let j(x) = x - 3. Let v be 4*(-3)/(-12)*2. Let h be j(v). Is i(h) a multiple of 21?
False
Suppose 2*w + 3*w = 180. Let n = 9 - -10. Let q = w - n. Is q a multiple of 17?
True
Let k be 2 - (-15)/(-10) - (-90)/4. Suppose -3*c = -d - 2*c + k, 0 = -3*d - 3*c + 45. Is d even?
False
Let j(i) = -i**3 - i**2 + 2*i + 1. Let k be j(4). Let g = -29 - k. Suppose -3*x - s = -g, 0*s + 3*s = 9. Does 4 divide x?
False
Suppose w = -2*v - 3 - 2, 3*v + 15 = w. Suppose 8 = 5*f - 2, -5*f = w*g - 277. Is 12 a factor of g?
False
Let f(q) = -q**3 + 0*q**2 - 16*q + 8 + 15*q**2 - 14 - 4. Is 25 a factor of f(12)?
False
Suppose t = -5*i - 3*t + 243, -4*t = 2*i - 102. Let c be 1 - (-51 + (0 - 0)). Suppose 0 = -4*y - 6*b + b + i, 4*y = -4*b + c. Is y a multiple of 6?
True
Let k(n) = n**2 + n - 2. Let h be k(-3). Suppose -3*z - 150 - 179 = 5*x, -h*x - 3*z - 265 = 0. Let u = -31 - x. Is 21 a factor of u?
False
Let d = -2983 + 5197. Does 32 divide d?
False
Let t(q) = 3*q + 7. Let z be t(7). Let d be (-1)/((z/16)/(-7)). Let s = d - -7. Does 11 divide s?
True
Let j(v) = 3*v**2 - 8*v + 11. Suppose -107 + 111 = i. Is 3 a factor of j(i)?
True
Suppose 21*u - 3016 = 554. Does 34 divide u?
True
Let t be ((-20)/15)/(-1 + (-2)/(-3)). Suppose -8*f + 3*f - 4*k = -150, -t*k + 124 = 4*f. Is 13 a factor of f?
True
Let v = 100 + -54. Let i = v - 15. Is i a multiple of 7?
False
Let o(s) = -1525*s**3 + 2*s**2 - 2*s - 2. Let h be o(-1). Is 27 a factor of 13/65 - (0 - h/15)?
False
Let h(w) = w**3 + 6*w**2 - 5*w + 2. Let x be h(-7). Does 10 divide 0 - (-3)/(x/(-148))?
False
Does 20 divide 644/138*(-720)/(-7)?
True
Suppose 5*y - 7800 = -c - 3*c, 2*y + 3*c = 3120. Is y a multiple of 20?
True
Suppose 2*v + 0*v + 134 = 0. Let i = 38 - v. Does 17 divide 1/3*(9 + i)?
False
Does 42 divide 2 + (3 - (-5 + -399))?
False
Let q(i) = -i - 4. Let f be q(-7). Suppose 2*g - 19 = -n + 8, 0 = f*n + 4*g - 83. Is n a multiple of 5?
False
Suppose -6*i + 2*i - 2*v = 6, -11 = -i - 3*v. Let x be (-1 - -4)/(6/i). Is 18 a factor of 9*(x/(-1) - -4)?
True
Let k be (66 - 1)/((5/(-1))/(-5)). Let h = k + -47. Is h a multiple of 5?
False
Let p = 4 + 1. Suppose 2*f = -d - 131, -f + p*d = -0*f + 38. Let l = -35 - f. Is l a multiple of 14?
True
Let n(b) = -61*b - 520. Is 23 a factor of n(-31)?
False
Let h(z) = -z**3 + 14*z**2 - 12*z - 9. Let w be h(13). Suppose -4*n - 3*i + 81 = -3*n, -w*n + 4*i + 292 = 0. Is n a multiple of 5?
True
Let w = 37 + -31. Let t(d) = 7*d - 4. Is 6 a factor of t(w)?
False
Let k = -1164 + 1904. Does 15 divide k?
False
Let y(c) = 10 - 32*c**2 + 62*c**2 - 3 + c - 29*c**2. Is 7 a factor of y(-8)?
True
Suppose 60*u - 45*u - 2160 = 0. Is u a multiple of 24?
True
Suppose 149 - 41 = 4*r. Is (-14)/(-28) + r/2 a multiple of 3?
False
Does 35 divide 65307/44 + ((-9)/(-12))/1?
False
Let k(b) = -b**3 + 5*b**2 - 3*b - 4. Let i be k(4). Suppose 0 = -i*f + 3*f - 24. Is 4 a factor of f?
True
Suppose -38*m + 2264 = -5450. Does 29 divide m?
True
Let q(t) = -t**3 + 13*t**2 + 14*t - 1. Suppose 5*a - 61 = -5*u + u, 0 = -4*u - 2*a + 58. Let x be q(u). Does 9 divide 1*x*(4 - 32)?
False
Let v = -16 + 12. Let l(z) = z**2 - 4*z + 3. Is l(v) a multiple of 7?
True
Does 33 divide (6 - 252/20)/((-2)/90)?
True
Let s be 30/10*28/(-6). Let k be (-105)/s - (-3)/(-2). Is 10 a factor of 164/12*k/2?
False
Suppose -4*w + 2*f = -3*f + 123, -3*w - 2*f - 75 = 0. Let a = w - -248. Suppose -7*k = -a - 73. Is 9 a factor of k?
False
Let m(l) be the first derivative of l**4/4 + 4*l**3 - 2*l**2 - 17. Is 24 a factor of m(-12)?
True
Suppose -p + 2*w - 883 = -2*p, -2*p = -4*w - 1782. Is p a multiple of 9?
False
Let n(t) = -6*t**2 - 4 - t**3 + 0 + 3 - 2 + 4*t. Is n(-8) a multiple of 31?
True
Let o be 760/12*(-36)/(-30). Suppose 3*w + 159 = -2*r + 6*r, -2*w = 2*r - o. Does 7 divide r?
False
Let y(c) be the first derivative of -c**5/20 - c**4 - 5*c**3/3 - 7*c - 2. Let v(s) be the first derivative of y(s). Is v(-12) a multiple of 38?
False
Suppose -6*h + 2840 + 88 = 0. Does 61 divide h?
True
Suppose 0 = 3*h - 228 - 381. Is h a multiple of 11?
False
Let k = -1 - -14. Let g be (k/(-4) - -3)*4. Does 9 divide 50 - (2/1 + g)?
False
Let p(c) = c**3 - 18*c**2 + 38. Let k be p(17). Let b = -124 - k. Does 9 divide b?
False
Suppose 4*l - 5 - 23 = 0. Let b = l - 4. Let g(c) = -c**3 + 3*c**2 + 3*c - 3. Is g(b) a multiple of 6?
True
Let b(l) be the first derivative of 8*l**2 - 26*l + 11. Is 18 a factor of b(7)?
False
Is ((-62)/(-6))/((-43)/(-2451)) a multiple of 3?
False
Let q(r) = -7 + 14 - 5 + 7*r - r**2. Let g be q(-5). Let n = g - -86. Is n a multiple of 14?
True
Suppose -5*t = 2*f - 50, t - 4 = -0*t. Let q = f - -1. Does 8 divide q?
True
Does 5 divide (-60)/18*-39 + 10?
True
Let d(t) = t**3 + t. Let a be d(1). Suppose -109 - 169 = -a*x. Suppose x = 3*z - 50. Does 9 divide z?
True
Let l(v) = 19*v + 3. Let c(p) = -6*p - 1. Let t(s) = -7*c(s) - 2*l(s). Let k be t(1). Suppose 3 + 42 = k*m. Is m a multiple of 3?
True
Let p be 6/((-3)/84*-6). Let y = p + -26. Is 2 a factor of y?
True
Suppose p = -2*q + 13, 3*q - 21 = -5*p + 4*q. Suppose 0*c - 645 = -p*c. Is 43 a factor of c?
True
Let p be 4/6*72/16. Suppose 54 = p*o + 6. Suppose b - o - 5 = 0. Does 15 divide b?
False
Suppose -20 = -4*v - 8. Is 34 a factor of (32 + (v - 3))*(-51)/(-6)?
True
Let j be ((-8)/(-6) + 4)/(4/(-30)). Let v = 56 + j. Is 2 a factor of v?
True
Let w(h) = -20*h + 14. Let d be w(5). Let t = d - -126. Is t a multiple of 8?
True
Suppose 3*q = 14*q + 231. Let n = q - -63. Is n a multiple of 7?
True
Let v be 2/(-9) - ((-4480)/72 - -5). Let d = -15 + v. Does 42 divide d?
True
Let a(k) = -k - 10*k**2 + 0 - 5*k**3 - 5*k**2 + 12*k**2 - 2. Suppose 3*h + 6 = -0*h. Is 11 a factor of a(h)?
False
Let b = 32 - 28. Suppose -3*m - 4*k = -m - 108, b*m + 5*k = 204. Does 2 divide m?
True
Let p(f) = -2*f + 5. Let x be p(-6). Let i = x + -14. Is i + (2 - 0) + 87 a multiple of 16?
False
Suppose 7*o - 3*o - 16 = 0. Suppose 35 = o*c - 397. Suppose 5*a - 25 = 0, 0 = -5*r - 4*a + 2 + c. Is 9 a factor of r?
True
Let u = -2875 - -5577. Does 49 divide u?
False
Suppose -4*z = -2*z - 160. Suppose -z*d = -79*d - 70. Is d a m