n(6)?
False
Suppose 4*p + 4106 - 13636 = -2*h, 2381 = p + 2*h. Is 106 a factor of p?
False
Suppose 4*f + 14 = 3*f. Let q(s) = -32*s - 1. Let m be q(1). Let j = f - m. Is j a multiple of 19?
True
Let v be (8/(-10))/((-3)/495). Suppose 1 = 5*y - 24. Suppose 0 = 4*o + p - v, o = -y*p + 24 + 28. Is 8 a factor of o?
True
Let h(d) = d**3 - 4*d**2 + 7*d - 1. Let s(r) = -5*r**3 + 20*r**2 - 35*r + 5. Let o(y) = 11*h(y) + 2*s(y). Does 6 divide o(4)?
False
Suppose a = 3*m - 1207, a = -0*a - 1. Is 38 a factor of m?
False
Let a(t) = -t**2 - 9*t + 7. Let z be a(-10). Let k(n) = n**3 - 5*n**2 - 4. Let c(j) = 2*j**3 - 10*j**2 - 8. Let p(d) = z*c(d) + 5*k(d). Does 4 divide p(5)?
True
Let y(x) = 3*x + 83. Let p be y(-27). Suppose -3*w + 3*n = -501, -p*w + 844 = 3*w + 4*n. Is 28 a factor of w?
True
Let s(z) = 16*z**2 - 77. Is 21 a factor of s(-9)?
False
Suppose 2*n - 4*s - 134 = 0, 6*n - 5*n - 63 = 3*s. Is n a multiple of 2?
False
Let o = 242 + -217. Is o a multiple of 9?
False
Suppose -2*r + 6*r = 28. Let v = 3 - -1. Suppose -5*g = -r*g + v. Is g a multiple of 2?
True
Is 24 a factor of 90/150 - 117/(-5)?
True
Does 3 divide ((-5)/(-10))/(-5 + 2182/436)?
False
Let d(k) = -k**3 - 37*k**2 + 80*k + 181. Is d(-41) a multiple of 68?
False
Suppose 2267 - 650 = -11*m. Let d = -85 - m. Is 9 a factor of d?
False
Let d(b) = 143*b**2 + 3*b - 8. Is d(3) a multiple of 56?
True
Let g = 508 + -173. Is 9 a factor of g?
False
Let h(l) = 15*l**2 + 9*l - 5. Suppose -v - v + 6 = 0. Let d(i) = -8*i**2 - 4*i + 3. Let m(y) = v*h(y) + 5*d(y). Does 15 divide m(-5)?
True
Suppose 0 = -p - 2*y + 1, -17 = -5*p + 4*y + 2. Suppose 4*l = 4*d - l - 28, 21 = p*d - l. Suppose -205 = -5*x + 5*q, d*x = 2*x - 3*q + 237. Does 15 divide x?
True
Let j be (2/6)/(10/(-150)). Suppose -3 = -5*i + 3*i - 5*f, 4*i + f - 15 = 0. Let y = i - j. Is y even?
False
Let c be 4/10 - 18/(-5). Let l = 224 - -22. Suppose -2 = c*o - l. Is o a multiple of 16?
False
Suppose 6*a + 22 + 2 = 0. Is 20 a factor of 3/(-12)*a + (77 - -2)?
True
Suppose x - y - 3 = 0, 0*x - 4*y - 16 = -5*x. Suppose 4*q + 3*o = 179, 5*o - 184 = -x*q + o. Suppose -5*l + 19 = -q. Is l a multiple of 2?
True
Let x(h) = 3*h + 26. Let a be x(-17). Let o = a - -85. Is o a multiple of 15?
True
Suppose -4*c - 106 - 21 = -i, i - 3*c = 127. Is i a multiple of 5?
False
Let w(r) = r**3 + 13*r**2 + 9*r - 7. Let p be w(-11). Let k = -111 + p. Is 2 a factor of k?
False
Suppose -4*i - 4*v + 5*v = 97, -4*i + 4*v - 88 = 0. Let m = i + 30. Let f = m - 1. Does 4 divide f?
True
Let b(g) = g - 4. Let n be b(4). Suppose 2*k - 4*k + 190 = n. Is 15 a factor of k?
False
Suppose -2*p = 3*w + w, 2*w - 16 = -5*p. Suppose 346 - 74 = p*u. Is u a multiple of 17?
True
Suppose 19*g = 15258 - 1730. Is 6 a factor of g?
False
Let c be (-6)/18*3*(-3 + -1). Suppose 2*z = c*p + 55 - 269, 3*p - 141 = -5*z. Is p a multiple of 15?
False
Is -305*((26 - 23) + (-56)/10) a multiple of 18?
False
Suppose -5*j + j + 71 = 5*q, 2*j = -q + 13. Let u be 9*(-5)/(q/(-4)). Does 2 divide u/(-15)*(-5)/2?
True
Let n(b) = b**2 + 13*b + 4. Let p be n(-13). Let l(v) = -3*v - 6 + v**3 - p*v**2 + 13*v**2 - v. Is l(-9) a multiple of 15?
True
Let j be ((-1)/1)/((-11)/77). Suppose -2*d = 2*d - 8. Suppose -j*p + d*p + 40 = 0. Does 8 divide p?
True
Suppose 0 = 9*b - 6*b. Suppose -147*l + 142*l + 75 = b. Is l a multiple of 15?
True
Let u = 323 + -285. Is 3 a factor of u?
False
Let x = 383 + -346. Does 16 divide x?
False
Let g(t) = t**2 + 5*t - 8. Let k = 1 + -11. Is 14 a factor of g(k)?
True
Let w(o) = o**2 + 7*o + 56. Is w(-5) a multiple of 23?
True
Suppose 0 = -o + 23 - 29. Let q(i) = -22*i - 26. Does 7 divide q(o)?
False
Let h(v) be the second derivative of v**6/120 + v**5/30 - v**4/12 - v**3/6 - v**2 - 6*v. Let k(g) be the first derivative of h(g). Is 2 a factor of k(-2)?
False
Let k(a) = -a**3 - 14*a**2 + 14*a - 10. Let o be k(-15). Suppose -3*r - 10 = -o*r, 4*s - r - 31 = 0. Suppose 6*t = s*t - 27. Is 7 a factor of t?
False
Is 3*(2 - (-5320)/15 - -5) a multiple of 31?
True
Suppose -7*z = -6*z + 1. Is 23 a factor of 19 - z - (-3 - 0)?
True
Let u(c) = 8*c**2 + 11*c + 1 - 7*c + 2 - 7*c. Let a = -1 + 3. Does 19 divide u(a)?
False
Let g = -94 + 49. Does 9 divide g/(-75) + (-312)/(-5)?
True
Suppose 10 = 2*j - 0. Suppose -2 + 112 = j*a. Does 5 divide a?
False
Suppose 0 = 2*t - 5*s + 1504, 0 = 3*t + 3*s + 1610 + 646. Let u = -488 - t. Is u a multiple of 44?
True
Let f(b) = -b + 6. Let n = 17 - 12. Let k be f(n). Does 9 divide (k + 6/(-4))*-52?
False
Let m = 86 + 18. Let a = -52 + m. Is 6 a factor of a?
False
Suppose -3 = 3*f, -3*f + 264 = 2*a - 509. Is 2 a factor of a?
True
Suppose 100 = 2*d + 4*v, -8*d + 4*v + 176 = -4*d. Suppose 4*t + d - 14 = 0. Is 284/5 - t/40 a multiple of 13?
False
Let n = 10 - 6. Let o(k) = -k**3 + 4*k**2 + 3. Let r be o(n). Suppose 2*c = r*d - 50, -5*c + 14 = d + 3. Is d a multiple of 7?
False
Is 280*(2 + (-182)/(-35)) a multiple of 16?
True
Suppose 0*j - 2*j + v = -347, -4*v + 537 = 3*j. Let p = j + -98. Is 18 a factor of p?
False
Suppose -3*b = 2*r - 350 - 3, -b + 5*r + 95 = 0. Is b a multiple of 8?
False
Suppose 2*f + 4*m = 226, 4*f = -6*m + 3*m + 462. Does 8 divide f?
False
Is ((-1311)/(-19))/(3/9) a multiple of 9?
True
Suppose 9 = 2*i - 1. Suppose -9 = -2*c - i. Does 14 divide (-6 + c)/8*-106?
False
Let t be (-3)/((-1)/((-302)/(-6))). Let m = t + -39. Suppose 0 = 3*w - 4*f - m, -2*w = f + f - 70. Does 18 divide w?
True
Suppose 9*q = 14*q - 20. Let g be q/26 - 252/(-52). Suppose 0 = -g*x - 5*c + 60, 4*x = x + c + 28. Is 4 a factor of x?
False
Suppose -4*m + 8*i + 19697 = 11*i, -3*i - 3 = 0. Does 19 divide m?
False
Let k(q) = -49*q - 1. Let d be k(1). Suppose -2*c = -2*b + 5*b + 179, 174 = -2*c + 2*b. Let u = d - c. Does 19 divide u?
True
Let c be (-8)/12 + (-4 - (-56)/12). Let t(z) = -2*z**3 + z**3 + 12 - 4. Is 5 a factor of t(c)?
False
Let i = -230 + 2006. Is 16 a factor of i?
True
Suppose c - d = -9, -1 = -c - 2*d + 2. Let t = c + 6. Let n = t + 2. Is 3 a factor of n?
True
Suppose -c = 5*v - 100, 3*v = -2*c + 190 + 45. Does 25 divide c?
True
Let o = -733 - -829. Is 3 a factor of o?
True
Let q = 14 + -18. Let x be (-790)/q - 1/(-2). Is 18 a factor of (x/(-55))/((-1)/15)?
True
Let f(v) = 17*v**2 - 2*v + 1. Let a = -3 - -7. Let h be 2/a + 8/16. Does 8 divide f(h)?
True
Suppose -5*j - 5*v - 350 = 0, -j + 14 = -3*v + 96. Let u = j + 253. Is u a multiple of 16?
False
Let d(b) = b + 9. Let p(c) = 8. Let h be (2/(-4))/((-4)/40). Let r(v) = h*p(v) - 4*d(v). Is 7 a factor of r(-7)?
False
Let s(w) = -w**3 + 39*w**2 + 50*w + 104. Is s(40) a multiple of 21?
True
Let b(n) = n**3 + 6*n**2 + 4*n + 24. Let m be b(-6). Let r(q) = 4*q + 151. Is r(m) a multiple of 12?
False
Suppose -a + 4*t + 11 = 0, a - 22 = -a + 5*t. Let j = 2 + a. Is 13 a factor of j?
True
Suppose 23*m - 31*m = -1224. Does 17 divide m?
True
Let x(l) = -12*l**2 + 2*l + 3. Let d be x(3). Let o(r) = -4*r - 6. Let q be o(-2). Does 5 divide d/(-21) - q/(-7)?
True
Let p be (-3)/15 + (-657)/15. Let q = 77 - p. Is 7 a factor of q?
False
Let f = 1563 - 1034. Does 10 divide f?
False
Let g(b) = -214*b + 4. Let r be g(-2). Suppose 0*d - 4*d + r = 0. Is d a multiple of 30?
False
Let l(c) = -c**2 + 6*c - 7. Let t be l(8). Let v = t + 93. Is v a multiple of 14?
True
Let x = -12 - -14. Let q be 27 + 0 + -4 - x. Let l = q + 15. Does 12 divide l?
True
Let z = 701 + 1964. Is 63 a factor of z?
False
Let w(j) = 2*j. Let s be w(1). Let c be ((-16)/28)/((-2)/7). Suppose 4*p + s*h = 171 + 41, -4 = -c*h. Does 26 divide p?
True
Let p(s) = 83*s**2 + s + 1. Let r be p(1). Suppose 4*o - r = 11. Does 24 divide o?
True
Suppose 5*h + 3*v = -0*h + 6591, 0 = 2*h - 5*v - 2655. Does 66 divide h?
True
Let c = 7 + -6. Let q(l) = l + 3. Let x be q(-2). Is (-10)/(-1)*x - c a multiple of 9?
True
Suppose -f = 22*f - 9177. Does 55 divide f?
False
Let z be ((-102)/12)/((-2)/(-24)) + 3. Let i = 191 + z. Is i a multiple of 46?
True
Let g(y) = y + 4. Let w be g(-4). Suppose w = -5*h + 3 + 7. Suppose 4*x = -4*j + 9 + 51, -h*j = -2*x + 22. Is x a multiple of 13?
True
Suppose -13 = -3*d - 4, 0 = 3*v - 4*d - 3990. Is v a multiple of 23?
True
Suppose 4*n = 3*o - 16, 2*n = -4*o - 6 - 2. Let a be (-1 + 1)/(1 - o). Suppose a = -3*l + 18 + 9. Is l even?
False
Let m(y) = y**2 + 3*y - 6. Let v 