p - 1. Does 6 divide s(d)?
True
Let d = 128 + -71. Suppose 0 = -3*l + k + 33, -2*l - d = -6*l - 3*k. Is 10 a factor of l?
False
Suppose 3*v - 296 = 4*w, 3*v - 50 = 2*w + 242. Is 41 a factor of v?
False
Let q(d) = -3*d - 3. Let x(b) = -b. Let z(y) = q(y) - 5*x(y). Let p be z(3). Suppose -l - 80 = -p*l. Is l a multiple of 20?
True
Suppose -q - 11 = -4*x + 236, 2*x = 5*q + 101. Does 21 divide x?
True
Let l = -17 + 32. Suppose -n = -4*n + l. Suppose -j + 5*k = -30, j + 4*k = -4*j + n. Is 5 a factor of j?
True
Let b(d) = -d**3 - d**2 + 2*d - 1. Let v be b(-2). Is 13 a factor of 1*(-2)/v + 15?
False
Let t = -10 - -18. Let c = -4 + t. Is c even?
True
Suppose -c = 0, x + 3 = 2*x - 4*c. Let l be 2/(-1) - (-5 - x). Let o = 16 - l. Does 10 divide o?
True
Let o = -19 - -22. Suppose o*m = -54 + 144. Is m a multiple of 10?
True
Suppose 4 = 2*r - 4*y - 0*y, -4*r = -3*y - 13. Suppose -i - 8 = -3*i. Suppose d + 2*s - 165 = -4*d, 0 = i*d + r*s - 144. Is 12 a factor of d?
False
Let q(a) = -a**3 + a**2 - a - 1. Let c be q(-1). Is c/8 + 550/8 a multiple of 22?
False
Suppose -6*c = -38 - 4. Let l = c + 9. Is l a multiple of 7?
False
Suppose 4*k - 3*t = 117, 4*k + 2*t = -3*t + 93. Let a = k + -14. Suppose -69 + a = -2*j. Does 17 divide j?
False
Let a(j) = -j**2 - 11*j + 2. Let z be a(-11). Suppose -z*d + 73 = -43. Is 29 a factor of d?
True
Let j(i) = -i**2 + 5*i + 4. Let m be j(-7). Is (m/4)/(-4)*11 a multiple of 11?
True
Let d(t) = -48*t**3 + t + 1. Does 12 divide d(-1)?
True
Suppose 0 = -2*k + 2, 7 = -5*j - 3*k + 20. Let v(m) = 22*m**2 - 1. Let c be v(-1). Is j/(-4) - c/(-6) a multiple of 2?
False
Let a be 5/((-5)/2)*-4. Let l = a - 3. Is 2 a factor of l?
False
Let z = 9 - 4. Suppose 3*c - 73 = z*i, -5*c + 132 - 23 = -2*i. Suppose 5*m - c + 6 = 0. Does 3 divide m?
True
Let c(o) = -o**3 + 10*o**2 - 11*o + 3. Is 21 a factor of c(8)?
False
Let z = -24 + 41. Let t = z - 12. Does 3 divide t?
False
Let k(s) = 11*s + 1. Let g be k(-1). Let o = g - 5. Let a = o + 22. Is a a multiple of 6?
False
Suppose 9*y - 2*z - 177 = 4*y, -4*z = -3*y + 95. Let p = -10 + y. Does 14 divide p?
False
Let w be 2 + 0 + 1/(-1). Suppose 7 = 3*y + w. Suppose -2*m + 8 = -m + z, -y*z = 0. Is m a multiple of 8?
True
Is 2/(-16)*-4*102 a multiple of 17?
True
Let y(v) = -v + 3. Let h be y(-3). Does 17 divide 1155/27 - h/(-27)?
False
Let u(p) = -p**3 - 3*p**2 + 4*p + 6. Let h be u(-5). Suppose -2*j + h = -4. Is j a multiple of 10?
True
Let b(d) be the third derivative of d**6/120 - 7*d**5/60 + d**4/3 - 4*d**3/3 - 3*d**2. Is b(6) a multiple of 4?
True
Suppose -5*j + 18 = 4*o, -5*j + 4 = -2*o - 2. Suppose j*h + 35 = 7*h. Is h a multiple of 3?
False
Let b be 328/18 - (-8)/(-36). Let k be (b/8)/(12/32). Suppose 46 = 2*j + k. Does 10 divide j?
True
Let i = 11 + -5. Let g(f) = f**3 - 4*f**2 - 8*f + 7. Is g(i) a multiple of 8?
False
Suppose 4*z - 653 = -3*a, 3*z + 222 = 5*a - 4*a. Suppose 0 = -4*y + 4*g + 184, -a = -6*y + 2*y - 3*g. Suppose y = -w + 4*w. Does 17 divide w?
True
Let f = 2 - -11. Is 5 a factor of f?
False
Let h(q) = q**2 - 14*q + 18. Let p be h(13). Suppose -j + p = -6. Does 8 divide j?
False
Suppose 0 = -2*o + 5*k + 2, 0*o = -5*o - k + 59. Does 11 divide o?
True
Let r(q) = -3*q**2 - 2*q + 1. Let p be r(2). Let h be p/(-20) - 34/(-8). Let k(y) = -y**2 + 6*y - 1. Is 3 a factor of k(h)?
False
Let l(b) = b**3 - 7*b**2 + 9*b - 8. Is 8 a factor of l(8)?
True
Let l = 10 + -2. Is 82/l + (-2)/8 a multiple of 10?
True
Let d(k) be the first derivative of -k**2/2 + 5*k + 4. Is d(-3) a multiple of 3?
False
Let b = 52 - 88. Let f = b + 75. Does 13 divide f?
True
Suppose 9 = 5*h - 1, -b + 242 = 5*h. Is 29 a factor of b?
True
Let c be 1 + -3 - (-5 + 12). Let a = c - -17. Does 8 divide a?
True
Suppose -370 = -3*c + c. Suppose -5*v + 0*v = -c. Is v a multiple of 13?
False
Suppose 5*t - 5*o + 10 = 0, -4*t - 7 = -o - 2*o. Is 90/6 + t + 5 a multiple of 19?
True
Let s = -1 + 4. Suppose m - 21 - 36 = 2*n, n + 26 = s*m. Let w = n + 55. Is 13 a factor of w?
True
Suppose -1 = -i + 2. Let h(u) = 5 + 6*u + 8 - i + u**2. Is h(-8) a multiple of 13?
True
Suppose 2*k - 2*o = 2, 2*o - 2 = 2*k - 2*o. Suppose -2*v - 89 = -4*j + k*v, -3*v + 33 = 3*j. Is j a multiple of 16?
True
Let r be 12/(-4)*138/9. Let l = r - -77. Is l a multiple of 6?
False
Suppose 0 = -5*j + 3*u + 16, -j - 2*u = -2*j + 6. Does 15 divide (-181)/(-4) + j/(-8)?
True
Does 9 divide 434/12 + 4/48*-2?
True
Let m(b) be the third derivative of -3*b**6/20 - b**5/60 - b**4/24 - b**3/6 + 4*b**2. Is m(-1) a multiple of 6?
False
Let s = -5 + 7. Suppose s*g + 3 = -1. Does 14 divide (-57)/g - (-6)/(-12)?
True
Let y(x) = 2 - 3*x**2 + 4 + 2*x**2 + 6*x. Let n be y(6). Suppose -2*b - 100 = -n*b. Is 10 a factor of b?
False
Suppose 0 = -10*w + 6*w - 12. Let o(v) be the first derivative of v**3 - 3*v - 1. Is o(w) a multiple of 18?
False
Let y(r) = r**3 + 5*r**2 + 3. Let t be y(-5). Suppose 0*l + t*l = -63. Let v = 41 + l. Is v a multiple of 6?
False
Is 1752/44 + 4/22 a multiple of 24?
False
Let d = 198 + -106. Suppose 3*h - d + 8 = 0. Is h a multiple of 9?
False
Let r be (-6)/(-4)*-2*23. Let h = 113 + r. Does 17 divide h?
False
Suppose 6*f - 1196 = -7*f. Is f a multiple of 18?
False
Suppose -22 = -4*h - 3*x - 195, 4*h - 5*x + 181 = 0. Suppose 0 = 5*g - 3 - 2. Let w = g - h. Is 20 a factor of w?
False
Let t be 1 + -1 + 32/(-4). Is 2/t + (-1687)/(-28) a multiple of 17?
False
Let q = -18 + 17. Is q/(-3 - 609/(-204)) a multiple of 19?
False
Suppose 6*l = 61 + 599. Does 20 divide l?
False
Let t = 58 - 15. Let l = 66 - t. Is 8 a factor of l?
False
Suppose 3*w + 52 = 4*l, 2*w - 2*l + 18 = w. Let z be 12/w - 350/(-8). Let s = z + -17. Is s a multiple of 13?
True
Suppose 0 = -4*x + 106 + 94. Does 10 divide x?
True
Let x(n) = 13*n**2 - 31*n - 8. Let o(l) = -7*l**2 + 16*l + 4. Let j(r) = -11*o(r) - 6*x(r). Let z be j(10). Suppose 4 + z = q. Does 3 divide q?
False
Let n be 94/(-8) + 3/(-12). Does 2 divide (-4)/n + 16/6?
False
Suppose 4*r + 3 = -13, -4*c + 5*r = -404. Is c a multiple of 32?
True
Let y(b) = -b**2 - 9*b - 8. Let c be y(-9). Is (-3)/(-2) + (-732)/c a multiple of 31?
True
Suppose -8*u + 29 = -27. Suppose -2*w - 2*x - 3 = w, -2*w + 3*x - 2 = 0. Let h = u - w. Does 8 divide h?
True
Suppose c + 16 = 60. Does 11 divide c?
True
Suppose v - 4*g - 40 = 0, v + 2*g - 110 = -v. Does 13 divide v?
True
Suppose 0 = -h - 5*d + 30, 5*d - 6 + 1 = 4*h. Suppose 11 = h*n - 4. Suppose -4*w = -n*l - 2*l - 10, 0 = -2*l - w + 9. Is 2 a factor of l?
True
Let m = 5 + -2. Suppose -m*s - 114 = -5*s. Is 19 a factor of s?
True
Let l = 467 - 169. Is l a multiple of 45?
False
Does 19 divide (40/6)/(-3*(-6)/135)?
False
Let r be 16/(-6)*63/28. Does 4 divide r/((-2)/(-4)*-3)?
True
Let b(y) = -y**2 - 13*y + 13. Let c be (-5 - 6)/((-2)/(-2)). Does 16 divide b(c)?
False
Suppose -3*v - 5*c - 55 = 0, 0*c = -2*v + 2*c - 42. Let n = -16 - -10. Is (-96)/v*(-20)/n a multiple of 16?
True
Let z = -8 - -5. Let g be 8 + (-3)/(z/2). Does 8 divide g + (2 - 4 - 0)?
True
Let j = -20 + 28. Suppose -5*t + 27 + j = 0. Is t a multiple of 6?
False
Let b be (8/6)/((-6)/(-9)). Suppose -b*o + 70 = -0*o. Does 15 divide o?
False
Is 20 a factor of 60*2*6/9?
True
Let i = -22 + 86. Is i a multiple of 15?
False
Let j = -6 - -12. Let q = j - 1. Suppose 0 = -2*f + q*f - 18. Is f even?
True
Let n be 10/6 - (-1)/3. Let p(x) = 3*x**2 - x + 2. Let w be p(3). Suppose -n*v = -3*t - w - 46, -t - 180 = -5*v. Does 18 divide v?
True
Suppose -2*l = 5*q + 3*l + 5, 0 = -q - 5*l - 5. Suppose -4*y + 3*m - 51 = 0, q*m + 22 = -3*y - m. Let t(b) = b**2 + 7*b + 2. Does 10 divide t(y)?
True
Let r = 9 + -3. Suppose r*h - 80 = 2*h. Suppose u + u = h. Does 5 divide u?
True
Let z(h) = -3*h - 4. Is z(-12) a multiple of 16?
True
Suppose -4*t + 7*t - 21 = 0. Is t a multiple of 4?
False
Let o(z) = 1 + 3 - 4*z + 0*z. Let y be o(3). Let i = 12 + y. Is 2 a factor of i?
True
Let c be 1 - -2 - 171/3. Let p = c + 90. Suppose 0 = 3*o - p + 9. Does 4 divide o?
False
Is (-4)/(-20) + 114/5 a multiple of 4?
False
Is (126/49)/((-2)/(-14)) a multiple of 9?
True
Suppose 2*s - 3 = -5*p + 2, -5*s - 4*p + 38 = 0. Is s a multiple of 3?
False
Let a(g) = g**2 + 2*g + 3. Let b be a(-2). Suppose 9 = 3*w, -c + b*w = -16 - 32. Is c a multiple of 19?
True
Let m = -27 + 50. Is m a multiple of