6. Is 19 a factor of p?
True
Suppose 8*l - 255 = 3*l. Suppose -l - 31 = -d. Let g = d + -48. Does 7 divide g?
False
Suppose -13 = -4*s - 1. Suppose 2*k + 20 = -8. Is 7 a factor of (2 - s)/(2/k)?
True
Let u be (-2)/4*-1*4. Suppose 4 = 3*q - 2, 0 = -x - u*q + 8. Suppose -x - 2 = -n. Does 4 divide n?
False
Suppose 0*i + 7 = -3*r - 2*i, 6 = -3*i. Let g(t) = -37*t**3 + 1. Does 19 divide g(r)?
True
Is 8 a factor of ((-6)/24 - (-82)/(-8))*-6?
False
Suppose -2*i = -i. Suppose 4*r + r - 185 = i. Is r a multiple of 9?
False
Let d(z) = 2*z + z**3 - 4 + 4 - 5*z**2. Let v be d(6). Suppose -3*y - y = -v. Is 6 a factor of y?
True
Suppose 0 = t - 2*t - 35. Let i = t - -105. Is 13 a factor of i?
False
Suppose 3*b + b - 20 = 0. Suppose -18 = -3*j + 30. Let s = j - b. Is s a multiple of 4?
False
Let l be (-9)/(-4) - (-5)/(-20). Suppose 2*x + 16 = -l*x. Is (-2)/(-4)*(6 - x) a multiple of 5?
True
Let o(i) = -10*i - 6. Does 16 divide o(-5)?
False
Let d(w) = w**3 + 9*w**2 + w - 8. Is d(-8) a multiple of 11?
False
Is (-86)/(-4) - 6/(-4) a multiple of 8?
False
Let c = 12 + -8. Suppose -2*j + 2 = c*m, -7*j + m = -3*j + 23. Let p = 13 + j. Does 8 divide p?
True
Suppose -q + 4*z = -107, 0 = -10*z + 5*z. Is 17 a factor of q?
False
Let f = -38 + 73. Is f a multiple of 9?
False
Let r = -167 - -245. Does 11 divide r?
False
Suppose 3*p + p = 8. Suppose -4*l + 22 = p. Does 2 divide l?
False
Is 2/(3 + 1) + (-11375)/(-50) a multiple of 12?
True
Suppose 5*p - 101 - 68 = 4*t, 4*p - 129 = -3*t. Is 11 a factor of p?
True
Suppose -56 - 16 = -3*c. Is c a multiple of 12?
True
Let y = -22 - -44. Is y a multiple of 17?
False
Let r(l) = 1. Let d(w) = 9*w - 9. Let z(q) = -d(q) + 6*r(q). Does 24 divide z(-11)?
False
Suppose -13*y + 3366 = 454. Is y a multiple of 32?
True
Let a be 1 + (-2*2 - 1). Let g(s) = s - 2*s + 1 + 0*s. Does 2 divide g(a)?
False
Let q(d) = d**2. Let u be q(5). Suppose -z + 140 = u. Is z a multiple of 30?
False
Suppose -3*f + 47 = -115. Is f a multiple of 5?
False
Let n = -4 + 7. Is (75/(-6))/(n/(-6)) a multiple of 10?
False
Let k(w) be the first derivative of w**5/60 - w**4/12 + w**2 - 3. Let r(z) be the second derivative of k(z). Is r(6) a multiple of 17?
False
Suppose 0 = -5*z + 2*k + 104 + 431, -k = 0. Is 30 a factor of z?
False
Let b(k) = k**2 - 4*k - 1. Let c be b(6). Suppose -5*u + 64 = -c. Is 7 a factor of u?
False
Let i = 0 - -3. Suppose -i*g + 808 = v, 3*g + 253 - 1071 = v. Suppose -5*t + g = 81. Is 19 a factor of t?
True
Suppose 5*s - 113 + 28 = 4*q, 0 = -2*s + 4*q + 46. Is s a multiple of 6?
False
Suppose 2*w - 6*w + 36 = 0. Does 3 divide w?
True
Suppose -13 - 3 = -j - 4*m, 55 = 3*j + 5*m. Is j a multiple of 6?
False
Let h = -42 + 72. Is 11 a factor of h?
False
Let z be (15 - 7)/((-4)/(-10)). Suppose 3 + 2 = 5*j + 5*r, 0 = -3*j - 2*r + 8. Let g = z - j. Is 7 a factor of g?
True
Let m(u) = -12*u + 1. Is m(-2) a multiple of 14?
False
Is 0/2 - -2 - 504/(-9) a multiple of 5?
False
Let l = 59 - 15. Is 11 a factor of l?
True
Suppose -3*b + 137 = -4*l + 374, -2*b = 4*l - 262. Suppose -5*v = -2*v - l. Is 14 a factor of 300/v - (-4)/(-14)?
True
Let t be 4 - (-1 - (-4)/4). Suppose -t*p = -5 - 139. Is 6 a factor of p?
True
Let k be -3 - -5 - (-3 - 1). Suppose 0 = -2*f - k, 4*i + f - 109 + 4 = 0. Does 9 divide i?
True
Let b(f) = -f**3 - 9*f**2 - 11*f - 8. Suppose -2 = -c - 0. Suppose 2*a - 4*j = -c*a - 28, 5*a = 3*j - 37. Does 16 divide b(a)?
True
Let z(q) be the third derivative of -q**4/6 + q**3 + 3*q**2. Is z(-3) a multiple of 3?
True
Suppose 2*p - 2*w - 18 = 3*w, 3*p - 3*w = 18. Suppose 20 = -p*h + 120. Is 11 a factor of h?
False
Suppose -2*a - 5*s = -73, -a + 4*s = 3*s - 19. Suppose 8*c - 3*c = -25. Let n = c + a. Is n a multiple of 19?
True
Let v(n) = n**3 - n**2 - n - 4. Let d be v(3). Suppose 0 = -5*f + 4 + d. Does 4 divide (-3)/(-3)*(2 + f)?
False
Let r(c) = c**2 + 9. Suppose 3*z + 12 = -4*t, -11 = -2*t + 4*z + 5. Let x be r(t). Suppose 4*p + x = o - p, -2*o + 3*p + 53 = 0. Is 16 a factor of o?
False
Let m(n) = 33*n**2 - 2*n + 2. Does 7 divide m(1)?
False
Let q(u) = 116*u**3 + u**2. Suppose -z = -0*z - 1. Let c be q(z). Suppose 2*d = -d + c. Is d a multiple of 17?
False
Suppose 6*a - 1377 - 333 = 0. Does 19 divide a?
True
Let h = 1 + -1. Suppose h = -g + 2 + 3. Suppose -g*c = -c - 76. Does 7 divide c?
False
Suppose 0 = -5*c + 6472 - 632. Let v be (-6)/10 - c/(-5). Is v/7 + 8/(-28) a multiple of 11?
True
Let w(m) = m**3 + 5*m**2 - 2*m - 5. Let p be w(-5). Suppose h = -z - z - 2, p*z = -15. Suppose d = -h*d + 135. Is 27 a factor of d?
True
Let g(z) = z**3 - 2*z**2 + 2*z - 1. Let b(d) = -d + 2. Let i be b(0). Let y be g(i). Is 3 a factor of ((-5)/y)/((-4)/12)?
False
Let l = 55 + 1. Is 28 a factor of l?
True
Let s be 102/(6*2/8). Suppose 0 = -4*y + 2*j + s, -y - y + 34 = 3*j. Is 12 a factor of y?
False
Suppose 2*v - 5*v = 0. Suppose 2*n = s - 17, 2*n - 6*n + 8 = v. Is 12 a factor of s?
False
Let h be (-2)/(-6)*0 + -2. Let v be (-4)/4 - 10/h. Suppose -v*j + 80 = 5*m, 0*m - j - 48 = -3*m. Does 6 divide m?
False
Let c = -96 + 198. Let h = 72 - c. Is 8 a factor of (h/8)/(6/(-32))?
False
Suppose -550 = -5*v - 80. Let a = v + -54. Is 20 a factor of a?
True
Let d = 4 + -1. Suppose -2*p + d + 21 = 0. Does 6 divide p?
True
Let z = -200 - -300. Does 25 divide z?
True
Let c be ((-4)/5)/((-4)/20). Suppose -5*i + c = -4*k, 0*i - k + 16 = 3*i. Is i a multiple of 2?
True
Let q = -60 + 78. Does 5 divide q?
False
Let b = -177 - -362. Does 20 divide b?
False
Let g(v) = v**3 - 6*v**2 - 9*v + 22. Is g(8) a multiple of 13?
True
Is -20*3/(-18)*3*27 a multiple of 18?
True
Let f(h) = h**3 - 11*h**2 + 2*h + 21. Is 9 a factor of f(11)?
False
Let v = 228 - 876. Let d = -410 - v. Suppose 2*w + d = 5*q - q, -2*w = 5*q - 293. Does 24 divide q?
False
Let y(l) = -l + 10. Let t = -8 + 11. Suppose 2*z - 2*b - 6 = -0*z, -2*z - t = b. Does 4 divide y(z)?
False
Let j(q) = 3 - 11*q + 0 - 4. Let n be j(-1). Suppose 4*w + n = 26. Does 2 divide w?
True
Let m be 32/(-5) - (-4)/10. Let b be 196/m*(-21)/(-7). Let i = b + 148. Is 25 a factor of i?
True
Suppose -8 = -4*f, 0 = -q - 3*f + 3 + 58. Is 27 a factor of q?
False
Let x(u) = -u**2 - 5*u + 2. Let y be x(-5). Suppose -2*g = y*g - 100. Suppose -2*a + 3*m = -20, 5*m + g = 3*a + 3*m. Is 2 a factor of a?
False
Let q be ((-252)/14)/((-2)/(-3)). Suppose 44 = -i - 3*i. Let n = i - q. Does 10 divide n?
False
Let y be (4/(-6))/(2/(-6)). Suppose -3*c = 2*z - 31, y*z = -5*c - 0*z + 57. Does 13 divide c?
True
Suppose 7*s - 28 = 3*s. Let d(v) = -v**2 + 9*v + 1. Is d(s) a multiple of 8?
False
Let l = 830 + -564. Is 14 a factor of l?
True
Let g = 35 - 20. Is g a multiple of 3?
True
Let f = -10 + 7. Does 6 divide f/(-12)*6*8?
True
Suppose -326 = 3*p - 65. Let r = -62 - p. Is 14 a factor of r?
False
Suppose -3*v - 245 = -8*v. Suppose 0*c + 3*c - p - v = 0, 3*c + p - 59 = 0. Is 9 a factor of c?
True
Let h(o) = -o**3 + 3*o**2 - 5*o + 4. Let u be h(4). Let r = 64 + u. Suppose r = 5*c - c. Is c a multiple of 4?
True
Suppose 23 + 47 = -5*o. Is (o + 0 + -2)*-1 a multiple of 8?
True
Let b be (-3)/2*-14 + 2. Suppose 4*u - b = -5*s, s = 4*u - 4*s + 7. Let j(m) = 4*m**3 - 2*m + 2. Does 15 divide j(u)?
True
Let b = 208 + -20. Is 24 a factor of b?
False
Let g = -10 - -17. Suppose j + 3 = g. Let y = j + 23. Is y a multiple of 14?
False
Let q(j) = j**2 + j + 5. Let d(b) = b**2. Let u be d(2). Is 10 a factor of q(u)?
False
Let k(d) = d**2 + 2*d + 5. Let m(c) = c**2 + 7*c - 11. Let j be m(-8). Does 4 divide k(j)?
True
Suppose 3*k + 13 - 67 = 0. Is k a multiple of 6?
True
Does 4 divide 22/132 - (-382)/12?
True
Let n(y) be the second derivative of -y**5/20 + y**4/12 - 3*y**2 - 2*y. Let h be n(0). Let m = -3 - h. Is 3 a factor of m?
True
Suppose 5*p - 242 = 423. Does 21 divide p?
False
Suppose -2*a - 5 = 2*w - 3*w, 27 = -3*a - 5*w. Let m = 6 + a. Suppose -l - 2*l = -m*y - 4, -4*l = 4*y - 12. Is 2 a factor of l?
True
Suppose 0 = 3*i + 4*q - 98, -4*q - 85 = -4*i + 55. Is 17 a factor of i?
True
Let z(g) = -2*g**3 - 2*g**2 - 13*g. Let o(l) = -5*l**3 - 7*l**2 - 38*l - 1. Let u(d) = -3*o(d) + 8*z(d). Is u(6) a multiple of 11?
False
Let b(l) = -2*l**2 + 13*l + 1. Is b(5) a multiple of 3?
False
Let t(b) = -b**2 - 9*b + 9. Let c be t(-11). Let k = c + 35. Is k a multiple of 11?
True
Does 30 div