2467, 3*q = -5*k + 7346. Is 21 a factor of q?
True
Suppose -17527 = -5*w - 5*z - 6387, 2*z - 6688 = -3*w. Is 8 a factor of w?
True
Is 10 a factor of -76*((-5)/(1 - -4))/1?
False
Does 14 divide 42/49 + (-2213)/(-7)?
False
Let n(v) = -v**2 + 2*v + 7. Let u be n(3). Suppose -32 = -4*d - u. Does 4 divide d?
False
Let k(v) = 32*v - 22. Let j(r) = r**2. Let y(h) = -j(h) + k(h). Is y(25) a multiple of 17?
True
Let m(y) = 2*y**2 - 2*y - 14. Let c(o) = -o**3 + 5*o**2 + 2*o - 1. Let i be c(5). Does 13 divide m(i)?
True
Let f(d) = -20*d - 189. Does 2 divide f(-14)?
False
Let i be -3*(-2 + -1)/(-3). Does 13 divide 0 - (-23 + i + 0 - 0)?
True
Let f = 1094 + -1023. Is f even?
False
Let h(v) = 23*v**2 - 1. Let d be h(1). Suppose -48 = 21*p - d*p. Is p a multiple of 8?
True
Let n = 665 + 428. Is n a multiple of 11?
False
Let s = -50 - -95. Let l be (-27)/s - (-564)/(-10). Let u = -17 - l. Is u a multiple of 5?
True
Let c be (-96)/(-36)*(-3)/(-2). Suppose 0 = o + c*o - 90. Let h = -11 + o. Is h a multiple of 7?
True
Let q(z) = 10*z**2 + 6*z + 16. Is 16 a factor of q(-8)?
True
Let l(z) = -16*z. Let k(s) = s**3 - 5*s**2 + 2*s - 6. Let y be k(4). Is 14 a factor of l(y)?
True
Let o = 319 + 149. Is o a multiple of 6?
True
Suppose 2*b - 1114 = x, -3*x = 5*b - 9*b + 2232. Does 20 divide b?
False
Is 2/46 - (-3275676)/1748 a multiple of 27?
False
Let i be 216/135*(-1735)/(-2). Suppose 2*w = 4*w - 4*y - 544, -5*w + 3*y + i = 0. Is w a multiple of 35?
True
Let h(c) = 7*c**2 - 2*c + 2. Let r be h(1). Let t(y) = 2*y + 27. Is 5 a factor of t(r)?
False
Suppose 50 = 7*n - 2*n. Let v(p) = -p**3 + p**2 - p + 2. Let r be v(2). Does 6 divide n + (-4)/(-2) + r?
False
Let x(i) = -14*i - 3 + 8*i**2 - 2*i**2 + 11*i**2 + 5. Is x(2) a multiple of 32?
False
Let v(i) = -9*i + 48. Let z be v(17). Let y = -25 - z. Is 8 a factor of y?
True
Suppose -4*w = -3*m + m - 1390, 683 = 2*w - 5*m. Is w a multiple of 35?
False
Let b(n) = -n**3 - 10*n**2 - 21. Is b(-13) a multiple of 54?
True
Let k(c) = 5 - c**3 - 3 - 6*c - c - 4*c + 12*c**2. Let n be k(11). Suppose 0 = -n*z - 0*z + 126. Does 21 divide z?
True
Let j = -32 - -22. Let a = 38 + -19. Let y = a + j. Is 9 a factor of y?
True
Suppose 3*d = -2*d + 5*i + 90, -d = 3*i - 18. Suppose 4*q - 170 - d = 0. Let u = q - 32. Is 13 a factor of u?
False
Suppose 0 = -0*k + 2*k - 5*f - 224, 4*f + 543 = 5*k. Let s = k + -43. Is s a multiple of 16?
True
Suppose w + 10 = 3*w. Let v(n) be the second derivative of -n**5/20 + 7*n**4/12 - 2*n**2 + 5*n. Is 23 a factor of v(w)?
True
Suppose -5*o - 10*o = -2865. Does 9 divide o?
False
Does 13 divide (209 - -4) + 1 + (6 - 3)?
False
Suppose -515 = -3*f - p, 4*f = 3*p + 2*p + 655. Let h = f - 91. Is 10 a factor of h?
False
Let x(z) = -3*z**3 + 7*z + 7. Is 6 a factor of x(-3)?
False
Suppose 4*j - 10 = -130. Let q = j + 37. Suppose m = c + q, m = 4*m - c - 23. Is 4 a factor of m?
True
Suppose 32*y + 3362 = 34*y. Is y a multiple of 41?
True
Let r be (0/18)/(0 - 1). Suppose 2*c - 4 = r, 3*v - 4*c = 25 + 18. Does 4 divide v?
False
Let b(q) = -2*q**2 + 38 - 45*q - 70 + 61. Is b(-20) a multiple of 14?
False
Let b be -10*(-1)/(0 + -1). Let z = b + -17. Let m = z - -59. Is 16 a factor of m?
True
Let a(w) = -w**3 - 11*w**2 + 9*w - 8. Let h be a(-12). Let v = h + -26. Suppose -v*j - 104 = -3*j. Is j a multiple of 25?
False
Suppose 4*h = -3*d - 247, 2*h - 3 = 1. Let u = d - -119. Is u a multiple of 4?
False
Suppose 0 = 8*s - 3*s, 5*s - 36 = -r. Let l = r - -78. Is 6 a factor of l?
True
Is 12 a factor of (-172 + 1)/(5*(-30)/1600)?
True
Let t(f) = -7*f - 72. Let l(a) = -20*a - 218. Let s(x) = -5*l(x) + 16*t(x). Is s(-7) a multiple of 8?
False
Suppose -2*a - 4*h + 1756 = 0, a = -3*h + 444 + 433. Is a a multiple of 11?
True
Let l be (-215)/25 + (-6)/15. Let w be -1 + 70 - (l + 9). Suppose 0 = -7*b + 2*b + h + 137, 5*h = 3*b - w. Does 5 divide b?
False
Let u be (-21 - -2)*(-1)/1. Suppose -4*r = 3*i - 461, 2*i + 352 = 3*r + 3*i. Suppose j - r = -4*j + 3*m, j = -m + u. Does 22 divide j?
True
Let j(p) = -p**3 - 6*p**2 + 6*p - 4. Let m be j(-7). Suppose 4*v - m*w = -6*w + 4, w = -5*v + 16. Suppose -v*s + 10 = -54. Does 5 divide s?
False
Let w(k) = -k**3 + 26*k**2 - 21*k + 36. Is w(23) a multiple of 19?
True
Suppose 0 = -3*w - 2 - 1. Is 140 + -7 - (w + 2) a multiple of 32?
False
Let v = -27 + 35. Let l = v - -20. Does 7 divide l?
True
Let s = 3 - 6. Let y(c) = 3*c**2 + 3*c + 4. Let m be y(s). Is 3 + (-7)/((-7)/m) a multiple of 9?
False
Suppose 7*w = -4*c + 2*w + 17, 3*c = -2*w + 11. Suppose 0 = c*j + 2*k - k - 608, -1032 = -5*j + 3*k. Is 34 a factor of j?
True
Let j = 2866 - -2267. Is j a multiple of 87?
True
Suppose -4*w + 2*h - 1422 + 3602 = 0, -w + 536 = 4*h. Is w a multiple of 17?
True
Suppose 2*k - 3 = o - k, 0 = 2*o - 4*k + 16. Does 35 divide ((-45)/(-4))/(o/(-96))?
False
Let v(z) = z**3 - 4*z**2 + 7*z + 1. Suppose 0 = -5*i - 4*h + 46, 4*i = 3*h - 6*h + 36. Does 23 divide v(i)?
True
Let v = -176 - -88. Let d = -124 - v. Let g = -4 - d. Does 16 divide g?
True
Let x be -1 + 0 - (-1)/(-1). Let w be 262 - (x + 2 + 1). Does 3 divide 1/5 - w/(-45)?
True
Let b be ((2 + 0)/(-4))/((-5)/120). Suppose d = -5*u + 67, -b = -u - 3*u. Is 32 a factor of d?
False
Let z(s) be the second derivative of s**3/6 - 3*s**2 + 2*s. Let d be z(6). Suppose n - 56 = -d*n. Is n a multiple of 27?
False
Let m = -283 + 591. Is m a multiple of 44?
True
Let f be 6/4 + (-7)/(-14). Suppose 1 - 11 = -f*l. Suppose l*a - 4*d = 114, 2*a + 7*d - 39 = 2*d. Is a a multiple of 11?
True
Let b = 22 - 11. Let x(m) = m + 7. Is 9 a factor of x(b)?
True
Is (-210)/(-4)*576/56 a multiple of 30?
True
Let z be (-3)/12 - 507/(-12). Is 1/(((-2)/(-6))/(56/z)) a multiple of 2?
True
Let q(a) = 6*a**2 - 11*a - 14. Does 7 divide q(-4)?
True
Suppose 12*m - 11*m = 5*o - 1789, -1440 = -4*o + 3*m. Is o a multiple of 5?
False
Suppose 5*m + 945 = 5*z, 20 - 35 = -5*m. Is 16 a factor of z?
True
Let u(j) = -12*j**3 - 2*j**2 - 5*j - 5. Let b be u(-2). Let a = -11 + b. Does 17 divide a?
False
Let g(h) = -h**2 - 68*h - 7. Is g(-21) a multiple of 49?
True
Suppose -25*j + 980 = -15*j. Is 4 a factor of j?
False
Let o = 2 + -2. Suppose 2*u + 34 + 24 = o. Let w = 117 + u. Is w a multiple of 18?
False
Suppose -5*s + 39 = 3*n - 2*s, 47 = 5*n - 4*s. Suppose -n*q + 16*q - 200 = 0. Is q a multiple of 20?
True
Let u = 8 + -12. Is (68/6)/(u/(-12)) a multiple of 15?
False
Suppose -6*v = -v - 45. Let y(a) = -a**2 + 9*a + 9. Does 2 divide y(v)?
False
Let l = 135 + -131. Suppose 8*h - 13*h - p = -1605, 5*h = -l*p + 1620. Is 38 a factor of h?
False
Let n = -71 + 10. Let m = n + 22. Let v = 78 + m. Does 14 divide v?
False
Let z(y) = -2*y + 49. Suppose b = -13 - 5. Is 24 a factor of z(b)?
False
Suppose 5*t = -5*t + 7640. Suppose 4*c + t = 4*m, -5*m + 3*c + 1208 = 255. Is m a multiple of 19?
True
Suppose -v = 2*n - 12, 2*v - 4*v + 4*n = -8. Let d = 6 + v. Suppose h - d = -4. Is 10 a factor of h?
True
Let n(v) be the first derivative of 17*v**2/2 + 11. Let o(f) = -11*f. Let w(m) = -5*n(m) - 8*o(m). Is w(8) a multiple of 5?
False
Suppose -3*o + 3*f = -18, 3*f = f + 6. Let i = 13 + o. Is i a multiple of 5?
False
Is (-4 - -2)*(-1410)/60 a multiple of 47?
True
Let k be (2/4)/(2/4). Is 20 a factor of (6/3)/(((-1)/(-25))/k)?
False
Let f = 9 + -11. Is 26 a factor of 51 - (-2)/3*(-3)/f?
True
Suppose 4*r = 156 - 64. Let i = r + 21. Suppose 5*x - 66 = i. Is x a multiple of 9?
False
Suppose 0 = -4*x + 5*x - 2*m - 3, -4*m = -5*x + 15. Suppose 2*t + 348 = 6*t + 5*y, x*t - 242 = y. Suppose 2*w + t = 2*h, 3*w + 19 = h - 22. Is 13 a factor of h?
False
Let t = 845 + -493. Is t a multiple of 8?
True
Let y(m) = -m**2 - 3*m - 8. Let i be y(-4). Does 18 divide 56 - (i/60 - 11/(-5))?
True
Let a(g) = g**2 + 11*g - 31. Does 54 divide a(15)?
False
Let b be (-4)/(-6) + (-2)/3. Suppose -2*n + 9 = q, -5*q = 2*n - b*n + 11. Is 2 a factor of n?
False
Suppose -5*i + v + 25 = 0, 2*v - 5 = -i - v. Suppose 0 = 5*m + 2*z - 2382, i*m - 1424 = 2*m + 4*z. Is 3/6 + m/8 a multiple of 30?
True
Let o be (-5)/4 - (-6)/24. Does 2 divide ((-26)/(-6) + -1)/(o/(-3))?
True
Let f = 38 - -1. Let j = f + 34. Is j a multiple of 6?
False
Let y be (1 - 4/16*-2)*-342. Is 6/8 + y/(-4) a multiple of 29?
False
Let n = -696 + 714. Does 4 divide n?
False
Let j = 25 + -25. Suppose -2*f