19. Does 4 divide w?
False
Let q(r) = r + 14. Let d be q(-7). Let v = d - 15. Let z = -2 - v. Is 2 a factor of z?
True
Suppose -11 + 34 = 5*a - 4*l, 2*a - l - 11 = 0. Suppose a*o - 30 + 107 = 0. Let t(b) = b**2 + 7*b - 16. Is 7 a factor of t(o)?
True
Suppose -4*d + 685 = 3*p, -2*d + 0*d - 3*p + 341 = 0. Does 7 divide d?
False
Let z be (-187)/(-51) - 2/3. Suppose 4 = 4*l - 4*j, 6*l - z*l - 35 = -5*j. Suppose l*q + 8 = 128. Is 24 a factor of q?
True
Suppose 5*h = -a + 254, 5*h = -5*a + 186 + 64. Does 10 divide h?
False
Let i(w) = 2*w**2 + 13*w - 22. Let r(f) = -f**2 - 6*f + 11. Let y(p) = -2*i(p) - 5*r(p). Is 8 a factor of y(-8)?
False
Let l(n) = 21*n**3 + 6*n**2 + n - 3. Let a(h) = 11*h**3 + 3*h**2 - 2. Let u(j) = 5*a(j) - 3*l(j). Is u(-3) a multiple of 14?
False
Let f = -650 - -1034. Is f a multiple of 5?
False
Let u be (-3)/((-9)/(-12)) + 2. Let t be u + (-3 - 1) - 2. Is (-352)/(-6) - t/6 a multiple of 16?
False
Let w be 19 + -18 - (0 - (1 + 365)). Let b = 206 + -427. Let s = w + b. Is 31 a factor of s?
False
Let y(m) = 5*m**3 - 25*m**2 - 10*m - 12. Is 7 a factor of y(8)?
True
Let y = -44 + 74. Is y a multiple of 14?
False
Let o = -220 - -271. Is o a multiple of 8?
False
Is 36 a factor of ((-486)/(-63))/((-6)/(-224))?
True
Does 39 divide (-12)/9*((-1455)/6 - -1)?
False
Let v be ((-40)/(-6))/(1/12). Suppose 5*q - 18 = 12. Suppose 2*o + v = q*o. Is 19 a factor of o?
False
Suppose -69 = -3*j - x - 3*x, 0 = 2*x - 6. Let a = j - 0. Is 19 a factor of a?
True
Suppose -2*m + m + 5 = 0. Suppose 0 = a - m*a - 48. Does 18 divide (-217)/(-3) + 4/a?
True
Let j(w) = w**2 + 8*w + 77. Is j(-16) a multiple of 5?
True
Let v = 89 - 391. Let w = v + 554. Is w a multiple of 21?
True
Let z(t) = 29*t + 11. Is z(9) a multiple of 14?
False
Let n(w) = 55*w + 29. Let a be n(13). Suppose 5*y - 5*b = -3*b + a, -585 = -4*y + 5*b. Does 25 divide y?
True
Let z(y) = -y**3 + 4*y**2 + 4*y + 9. Let t be z(5). Suppose -j - t*j = 5. Let x(v) = -43*v**3 - 2*v**2 - 2*v - 1. Is x(j) a multiple of 14?
True
Suppose 5*c = 3*z - 17, z + 3*z + c = -8. Is 9 a factor of (-1300)/(-18) - z*(-6)/27?
True
Suppose -5*p = -0*p. Let w = p - -104. Let m = -72 + w. Is 15 a factor of m?
False
Let j be 2/(-3) - (-44)/12. Let s(o) = o**3 - 8*o**2 + o - 16. Let n be s(9). Suppose 0 = -7*i + 3*i - 2*r + n, -i - j*r + 11 = 0. Is 20 a factor of i?
True
Suppose -4*g = g - 75. Let n be (-10)/g - 28/(-6). Suppose o - 2*q + 0*q + 1 = 0, n*q + 1 = 3*o. Is o a multiple of 2?
False
Is (7 - 6)/((-2)/(-544)) a multiple of 17?
True
Let p(w) = -3*w**3 + 2*w**2 - 23*w. Does 56 divide p(-7)?
True
Suppose -2 - 6 = -4*q - x, -5*q = -4*x - 31. Suppose -5*m = -4*c + q*c - 260, 0 = -3*m + 2*c + 163. Is 17 a factor of m?
True
Let m(r) = -7*r + 16. Let h be 64/10 - 2/5. Let u be m(h). Let x = u + 33. Is 7 a factor of x?
True
Suppose -63790 = -128*z + 87378. Does 59 divide z?
False
Suppose -2*m - 92 = 2*m. Let a = m + 14. Is 16 a factor of (-96)/a*(-18)/(-4)?
True
Let f = -558 - -910. Is 44 a factor of f?
True
Suppose -6*r = -5*r + 3*q - 39, -167 = -4*r - q. Suppose o - r = 79. Is 11 a factor of o?
True
Suppose 0 = 3*p - 3, -2*n + 4 = -p + 1. Suppose -3*m = m + 4, -4 = -2*a + 2*m. Is 6 a factor of 13/1 + n + a?
False
Does 14 divide (-18)/24*((-4656)/4 - 0)?
False
Suppose 2*j - 4*b - 1028 = 0, 168 = 4*j - 3*b - 1898. Is j a multiple of 21?
False
Let l(v) = v**3 + 4*v**2 + 4. Let y(j) = j + 1. Let t(b) = -l(b) + 2*y(b). Is 26 a factor of t(-6)?
False
Does 14 divide 503 - (-2 + 5 - 2) - 3?
False
Suppose -29*k + 47*k - 234 = 0. Suppose -5*v - 18 = -2*v. Let l = k + v. Is l a multiple of 7?
True
Let r = -31 - -13. Let s be (-1184)/r + (-4)/(-18). Let y = s + -7. Is y a multiple of 15?
False
Let z(b) = -22*b + 61. Is z(0) a multiple of 5?
False
Let x(w) = -w**2 + 2*w + 6. Let c(r) = r**2 - r + 2. Let a(b) = 2*c(b) + x(b). Suppose -3*h = 3*i + 2*h + 5, 0 = 2*i - h - 1. Does 3 divide a(i)?
False
Let z(p) = -p**3 + 11*p**2 + 11*p + 10. Let n be z(12). Let d be 10*n/(8/2). Is 9 a factor of -3 + (-25)/d + 9?
False
Suppose 0 = 8*h - 642 - 6246. Does 7 divide h?
True
Let n be -2 - 0 - (1 - -1 - -173). Let c = 296 + n. Is 28 a factor of c?
False
Suppose -3*v + 2*x + 219 = -1273, 5*v - 2474 = -3*x. Is v a multiple of 13?
False
Let f be (-112)/(-18) - (-24)/(-108). Suppose -f*a + 4*a + 51 = -5*j, 3*j + 81 = 4*a. Does 18 divide a?
True
Suppose 4311 = 10*w - 489. Is 29 a factor of w?
False
Let d(i) = -i**3 - 6*i**2 + 4*i + 6. Let v be d(-6). Let f be (6/v)/((-1)/(-6)). Does 13 divide 24 - (-1 + f - -1)?
True
Let n(v) = 2*v**2 - 5*v + 4. Let k be n(2). Suppose 2*j + 5*s = -24, -k = 5*s + 18. Is 12/(2 + 1) + j a multiple of 2?
True
Let o be 2/(-9) + (-21)/27. Let q be -12*o/(-4)*-31. Suppose 5*g = -33 + q. Does 3 divide g?
True
Let x(w) = -3*w**3 + 3*w**2 + 2*w. Let l be x(-1). Suppose -l*r + 35 = -1. Let u(p) = -p**3 + 10*p**2 + 6*p + 8. Does 28 divide u(r)?
False
Suppose 6*l = -1138 + 4018. Does 16 divide l?
True
Suppose -3*u + 9 - 3 = 0. Suppose u*i - 32 = 64. Is i a multiple of 7?
False
Suppose -2009 = -3*o + 1171. Is -3 + o/35 - (-2)/(-7) a multiple of 6?
False
Let l(a) = -a**3 - 10*a**2 + 9*a + 6. Let k be l(-10). Let r be (-20918)/(-12) - (-14)/k. Is r/56 - (-3)/(-24) a multiple of 25?
False
Suppose -5*n + 16138 - 1742 = -a, -4*a = -n + 2864. Does 36 divide n?
True
Let m(d) = -2*d + 7. Let r be m(5). Let v be (-6)/18 + (-7)/r. Is 3 a factor of (-6)/(-1) - (v - -1)?
True
Suppose 5*t = -b + 625, -2*b + 2*t = -0*t - 1310. Does 14 divide b?
False
Let n be (-1)/2*(-120)/(-10). Is 43 + 0 + (-3 - 18/n) a multiple of 6?
False
Let q = 5951 + -4235. Does 44 divide q?
True
Let z = -10 + 13. Let o be z/(-1) + (0 - 27). Is (40/25)/((-2)/o) a multiple of 12?
True
Let d(n) = 58*n + 5. Is d(1) a multiple of 7?
True
Let w be (-6)/(-4 - -2) - 32. Does 28 divide (4 + -4 + w)*-3?
False
Is -2 + (-2110)/(-60) - 2/12 a multiple of 3?
True
Suppose -5*x = 3*c - 11, 2*c - 6 = -2*c + 2*x. Is 25 a factor of (75/c)/(-3)*1*-6?
True
Let g be 1/1 - (-24)/8. Suppose 2*z - 37 = -g*o + 5, o + 98 = 3*z. Is z a multiple of 12?
False
Let n = -25 - -32. Let y(q) be the first derivative of -q**3/3 + 4*q**2 + 5*q + 2. Does 6 divide y(n)?
True
Let q(p) be the second derivative of -p**5/20 + 7*p**4/6 + p**3/2 + 5*p**2/2 - 9*p. Does 9 divide q(14)?
False
Let b be (13 - 1)*(-3)/(-6). Let v(p) = -p**3 + 5*p**2 + 10*p - 12. Let a be v(b). Is 351/a - (-1)/(-4) a multiple of 14?
False
Let p be (-3 - -2)/((-1)/4). Let c(q) = q**3 - 4*q - 4. Is c(p) a multiple of 20?
False
Suppose -6*y + 1120 = -224. Is 71 a factor of y?
False
Let h be (-19)/(-57) - 1799/(-3). Let a = h - 390. Is a a multiple of 15?
True
Let j be (-3 - 0)/(2 - 3). Suppose f = -j*u + 3, 0*f = 5*f - 3*u - 33. Let i = 22 - f. Is i a multiple of 8?
True
Let m = -10 - -12. Let z be 198/4 + m/4. Does 6 divide z/4 + (-1)/2?
True
Suppose 0 = 5*x, -2*z + 22 = -4*z - x. Let w = 14 + z. Suppose n - 3*n - h + 36 = 0, -w*h + 88 = 5*n. Does 10 divide n?
True
Let t(q) = 18 + 25 - 48 + 5*q. Is t(4) a multiple of 5?
True
Let u = -16 - -18. Suppose o + 4*r - 9 = -0*o, 8 = 2*o - u*r. Suppose -64 = -3*f + 5*c, -o*c = 4*f - 82 + 20. Is f a multiple of 6?
True
Suppose -2*s - 9 + 19 = 0. Suppose -s*f - l = -385, 4*f - 2*l - 231 = f. Is f a multiple of 11?
True
Let w(c) = -7*c - 2. Let s be w(1). Let p(z) = -z**2 - 10*z + 1. Does 5 divide p(s)?
True
Let x = 1534 - 1046. Is x a multiple of 24?
False
Is (-106 + -2)*-7*(-4)/(-8) a multiple of 21?
True
Let t(k) = -k**2 + 3*k - 2. Let c be t(3). Let i be (-3)/c*(1 - -3). Is 13 a factor of (5 - i)*(1 + -14)?
True
Let h be 15/(((-2)/(-6)*-3)/(-1)). Suppose 20*u - 180 = h*u. Is 12 a factor of u?
True
Let p = 2172 - 1505. Does 23 divide p?
True
Suppose 9478 = 5*p - 26*m + 29*m, 0 = -3*p + 5*m + 5714. Does 146 divide p?
True
Does 109 divide 5526/21 - 13/((-364)/24)?
False
Suppose 7*j = 10*j + 3*q - 576, 2*j = 4*q + 390. Does 8 divide j?
False
Suppose 5*l - 189 = h, 2*l = 4*l + h - 70. Let b be (-6 + 2)*(1 + 33/(-2)). Let t = b - l. Is 5 a factor of t?
True
Suppose -5*p = 5*t - 12640, 2*t + 6*p = 2*p + 5056. Is t a multiple of 32?
True
Let y(o) = -o**2 + 7*o - 19. Let a be y(5). Let u(g) = 4*g**2 - 34*g + 2. Let l(z) = z**2 - 11*z + 1. Let t(n) = 7*l(n) - 2*u(n). Is 3 a factor of t(a)?
True
Suppose -2