 19. Let m be (z/12)/((-1)/(-68)). Suppose 5*o + m = 3*c - 38, 0 = -c - 2*o + 26. Is c a multiple of 14?
True
Suppose 6*t - t = -3*l + 34, 2*l + t - 11 = 0. Suppose -5*s + l + 12 = 0. Suppose -7*r + s*r + 88 = 0. Does 22 divide r?
True
Is (16 - 168)*1*-2 a multiple of 76?
True
Suppose 28*k - 14358 = 538. Does 27 divide k?
False
Is 10/60*18 + 319*1 a multiple of 23?
True
Let r(g) be the first derivative of 2*g**3/3 + 3*g**2/2 - 3*g - 1. Suppose y + 6 = -2*k, 0 = -2*k + 2*y - 4*y - 6. Is 3 a factor of r(k)?
True
Let p(j) = 2*j - 6. Let f be p(3). Suppose 3*i - 50 - 19 = f. Suppose -i = 4*h - 71. Is 6 a factor of h?
True
Let u(l) = -l + 10. Let x be u(7). Let m(q) = 5*q**3 - 5*q**2 + 4*q - 1. Let g be m(x). Let r = g - 49. Does 26 divide r?
True
Let z be 5/10*(-8)/(-2). Suppose o - z*o + 105 = 0. Suppose -o = -2*h + 39. Does 28 divide h?
False
Suppose 0 = -4*c + y + 242, -4*c + 0*y + 238 = y. Is 11 a factor of c?
False
Suppose 53079 = 28*z - 19833. Is 124 a factor of z?
True
Suppose -2*l = -2*b - 1790, -2*b - 2*b - 4479 = -5*l. Is l a multiple of 29?
True
Let c(s) = -s**3 + 19. Let h = 42 + -42. Does 19 divide c(h)?
True
Suppose 31*x = 23*x + 4912. Does 33 divide x?
False
Let x(t) = -t + 34. Let b be x(10). Suppose -4*y + 36 = 5*v, -b = -2*v - 0*v - 4*y. Is (18/v)/(-3)*-46 a multiple of 23?
True
Suppose 2*i + 4 = -0*i. Let x be (i/(-4) + -2)*-14. Suppose 3*l - x = -h, -2*h + 6 + 71 = -l. Does 9 divide h?
True
Let z(x) be the second derivative of -9*x**3/2 - x. Suppose -10*o = 38 - 28. Is 27 a factor of z(o)?
True
Suppose 5*q = -3*i - 0*i + 423, 2*i + 8 = 0. Suppose -4*f + 3*m + 82 = 0, -4*f - f - 4*m + q = 0. Suppose -4*h + 53 + f = 0. Is h a multiple of 9?
True
Let b(p) be the second derivative of p**5/20 + 7*p**4/12 - 10*p**3/3 - 3*p**2/2 + 9*p. Let a be b(-9). Does 14 divide 20/8*306/a?
False
Let c = 31 - 27. Suppose -c*r - 10 = -70. Is 3 a factor of r?
True
Let x be ((-3)/15 - -1)/((-5)/25). Does 5 divide 76 - (-2 - (x - -1))?
True
Suppose -19*l + 199 = -18*l. Suppose 3*a - 3*s = 150, l = 5*a - a - 3*s. Is 7 a factor of a?
True
Let v(l) = -6*l + 6. Let b be v(-9). Let j(i) = 15 + 19*i - 20*i + i**2 + b + 0*i**2. Is j(0) a multiple of 25?
True
Suppose -5*j + 0 - 1 = -p, -13 = j + 3*p. Let b(o) = -62*o**3 - o**2 + 1. Is 16 a factor of b(j)?
False
Let l(x) = -4*x - 17. Suppose -5*j + 22 = -3*y, j - 38 = 3*y - 0*j. Is 6 a factor of l(y)?
False
Suppose 5*t - 572 = t. Let v = t - 83. Is 17 a factor of v?
False
Let w(m) = m**3 + 6*m**2 + 3*m + 5. Let y be w(-5). Let g = y - 17. Is 14 a factor of (-30)/((-2 + 4)/g)?
False
Suppose 5*v - 1012 = 3503. Is 11 a factor of v?
False
Suppose -5*s - 5*n - 2172 = 10508, 4*n + 2530 = -s. Does 17 divide (1 - (-4)/(-6))/((-9)/s)?
False
Suppose -2004 - 2154 = -18*s. Is s a multiple of 11?
True
Let m(h) = -124*h**3 + 4*h**2 + h - 2. Is 22 a factor of m(-1)?
False
Let k = -63 - -63. Is 6 a factor of 8 + (2 - -2 - k)?
True
Let g(o) = o**3 + 4*o**2 + o - 4. Let j be g(-3). Suppose 0 = -a + 3*w - 9, 2*w + w = j*a + 9. Let h(r) = -r**2 + 2*r + 8. Is h(a) a multiple of 5?
False
Let m(f) = -2*f + 12. Let c be m(5). Is 8 a factor of (100/15 - -2)/(c/6)?
False
Let r(q) = -q**2 + 7*q - 5. Let c be r(4). Suppose 0*p - c = -p. Suppose l = 3*d + 40, -2*d + 10 = -p*d. Is 7 a factor of l?
False
Let j = -6479 + 11178. Is 20 a factor of j?
False
Let x = -536 - -914. Does 7 divide x?
True
Let a = 265 - 47. Suppose 0 = 2*s + 3*z - a, -416 = -4*s - 0*z - z. Does 14 divide s?
False
Suppose 18 = -2*y + 56. Suppose -20*g + y*g + 165 = 0. Is g a multiple of 33?
True
Suppose 3*i = -1 + 7, 8 = q + 2*i. Suppose 0 = -q*c + 10 + 2. Suppose 2*l = c*g + 31, -l + 5*g = 4*g - 17. Is l a multiple of 10?
True
Let a(o) = -14*o**2 - 4*o + 5. Let q be a(2). Let v = -4 - q. Is v a multiple of 40?
False
Let l(d) = 80*d + 13. Does 55 divide l(2)?
False
Suppose 5*u = 19 + 6. Suppose -u*p + p = -16. Suppose z + 7 = -p*g, g = -2*z - 1 + 15. Is z a multiple of 3?
True
Let a(d) = d**3 + 6*d**2 - 5. Does 2 divide a(-2)?
False
Let p = -81 - -51. Let h = -125 - -179. Let r = h + p. Does 6 divide r?
True
Let h = 1364 + -815. Does 69 divide h?
False
Let m = -18 - -333. Is m a multiple of 26?
False
Suppose 0 = -6*j + 11*j - 150. Suppose 40 + j = 5*p. Let q = p + -1. Is q a multiple of 3?
False
Suppose -f + 5 = 0, -4*f = 4*z - z - 203. Suppose z*o = 66*o - 415. Does 12 divide o?
False
Let o = 42 + 27. Does 15 divide (-6 - -3)/((-3)/o)?
False
Suppose 4*c + c = 4*i - 13, -4*i = -c - 9. Suppose -i*d - 33 = -215. Suppose -3*g = -3*m + 192, -251 = -3*m - 5*g - d. Does 10 divide m?
True
Let j be 14/6*(-6)/(6/(-3)). Suppose j*v - 1345 + 85 = 0. Is 18 a factor of v?
True
Is 12 a factor of 21/30*-4*(-1435)/14?
False
Let b(f) be the second derivative of 5*f**3/3 + 3*f**2 + 14*f - 2. Suppose 0 = -5*l + j + 36, -2*l = -4*j - 0*j - 18. Does 12 divide b(l)?
False
Let l = -46 - -40. Let j(r) = 4*r**2 + 6*r + 8. Is 29 a factor of j(l)?
True
Let u be (7 + 5 + -5)*1. Let w = u - -41. Is w a multiple of 8?
True
Suppose 657 - 129 = 6*n. Let x = n - 63. Suppose u - 24 = -4*c, -5*c - 3*u + x + 12 = 0. Is 4 a factor of c?
False
Let k = -94 - -137. Suppose -57 - 18 = -3*q + 3*m, k = q + 5*m. Is q a multiple of 9?
False
Suppose -3*h - 4*l = l + 16, 3*h - 4*l + 25 = 0. Let d(i) be the first derivative of -i**2 - 7*i - 4. Is 7 a factor of d(h)?
True
Let l be (-1 - -3) + (-16 + 7)/(-3). Is 5 a factor of ((l - 3) + -75)/(-1)?
False
Suppose 20*j - 21*j = 0. Let u = -8 + 10. Suppose 63 = z + u*t - 5*t, j = -4*t - 8. Is z a multiple of 19?
True
Let a(v) = 25*v**3 - 3*v**2 + 2*v - 3. Does 9 divide a(2)?
True
Suppose 2731 = 4*k - 3*x, 2255 = 4*k - 4*x - 473. Does 30 divide k?
False
Suppose -f = d - 16 - 51, -2*f + 133 = 3*d. Does 4 divide f?
True
Let o(n) = n**3 - 5*n**2 - 4*n - 7. Let j(r) = r**3 + 5*r**2 - 6*r + 3. Let s be j(-6). Let m = s + 3. Does 5 divide o(m)?
True
Suppose -4*s - 5 = -29. Let l be (s/(-9))/((-6)/459). Let m = l + 20. Is 21 a factor of m?
False
Is 10*2/((-32)/(-1592)) - 1 a multiple of 7?
True
Suppose 0 = -5*d + 2*z + 22, z - 3*z = -2*d + 10. Let h = d + 2. Does 5 divide (-4)/h*(0 + -54)?
False
Let h(s) be the first derivative of s**2/2 + 9*s - 4. Is h(-3) a multiple of 4?
False
Suppose 875 + 1600 = 9*l. Does 19 divide l?
False
Let r(i) = -30*i**3 - i**2 - 4*i - 2. Let a be r(-1). Suppose -5*m = -2*p + 122, -a + 153 = 2*p + 5*m. Is p a multiple of 16?
False
Let z(r) be the first derivative of 7 + 10*r**2 + 2*r - 2 + r**2. Is z(1) a multiple of 10?
False
Let x = 456 + -240. Let o = 16 + x. Suppose -2*r = 2*r - o. Does 29 divide r?
True
Let l be 5*(-15)/(-25) - 0. Suppose a - 19 = -g, -2*a - l*g + 0*g = -39. Is a a multiple of 5?
False
Let m(n) = -4*n**2 + 55*n + 140. Let g(v) = -v**2 + 14*v + 35. Let f(t) = 9*g(t) - 2*m(t). Is 18 a factor of f(17)?
True
Is ((-40)/(-120))/((-2 - -4)/306) a multiple of 3?
True
Suppose -4*z = z + 2*c + 7, -4*c = -z - 19. Let y(b) = -59*b + 3. Is 36 a factor of y(z)?
True
Let g(v) = 2*v**3 + 2*v**2 - v - 4. Let r be g(4). Suppose -5*b + r = -9*b. Let f = 66 + b. Does 14 divide f?
True
Suppose 4 = 4*o - 5*w, 3*o - 8*o = -w - 5. Is (3 - (-14)/4)/(o/14) a multiple of 22?
False
Let g(y) = -11*y - 6. Let t = -52 + 23. Let m = t + 23. Is g(m) a multiple of 12?
True
Let d(w) = w**2 + 9*w + 5. Let q be d(-9). Suppose -4 = 4*f, -2*f + 209 = q*g - f. Is 7 a factor of g?
True
Is 45 a factor of 23296/260 + (-2)/(-5)?
True
Let g(p) = p - 16*p + 2*p - 6*p + 8. Is g(-3) a multiple of 31?
False
Suppose 5*p = 1374 + 6826. Is 10 a factor of p?
True
Suppose -163*m + 175*m - 15840 = 0. Is 11 a factor of m?
True
Suppose 10*d - 654 = 4896. Does 4 divide d?
False
Suppose -2*d + 54 = -26. Does 20 divide d?
True
Is 2 + 7024/(-2 - -10) a multiple of 40?
True
Let a = 13 + -8. Suppose -q = -a*q + 40. Suppose -o = -3 - q. Is o a multiple of 7?
False
Let a = 9 - 9. Suppose 9 = d + 2*d - 3*f, -5*d + 3*f + 15 = a. Suppose -5*g + 115 = -d*c - 2*c, 0 = -5*g - c + 115. Is g a multiple of 23?
True
Let k be (-9)/(-2) - (-1)/2. Suppose 378 = -2*a + k*a. Does 14 divide a?
True
Let d = -2327 - -3627. Is 18 a factor of ((-4)/6)/(2 - d/648)?
True
Suppose -3*m - 1860 = -5*r, 0*r - 2*m = 3*r - 1135. Is r a multiple of 12?
False
Let u(d) = -13 - 2 + 7*d + d + 2*d**2 + d. Does 9 divide u(-9