*l - 19*l = -690690. Does 19 divide l?
False
Let m(j) = -19*j**3 + j. Let f be m(1). Let r(c) = -11*c + 20*c - 12*c - 38. Is 4 a factor of r(f)?
True
Suppose 49*r = 34*r - 5460. Let x = -40 - r. Is 27 a factor of x?
True
Let y(s) = -s**3 + 2*s**2 + 7*s + 32. Let m(w) = w**3 - 3*w**2 - 6*w - 34. Let t(g) = 3*m(g) + 4*y(g). Is t(-4) a multiple of 34?
True
Suppose 3*s - 4 = -16. Let d be ((-2)/3)/(-1)*-3. Does 13 divide (-197)/(-1 - (s + (-8)/d))?
False
Let d(k) = -39*k - 103. Let q be d(-3). Does 33 divide 536 - (q/(-7) + (-12)/3)?
False
Let s be (-24)/16*-1*2. Let c(h) = 4*h - 19. Let x be c(6). Suppose 0 = -s*v - v - x*k + 188, v - 2*k - 60 = 0. Is v a multiple of 6?
False
Let c be 5*(4 + 25/(-5)). Let q be (-37)/c - (-6)/(-15). Suppose -q*o + 498 = -4*o. Does 14 divide o?
False
Suppose -550*a + 566*a - 85087 = -25103. Is a a multiple of 27?
False
Suppose -m = 2*w - 3922, -m - 64*w + 60*w = -3918. Is 30 a factor of m?
False
Suppose 16 = 4*w + 2*a, w - 3*a - 11 = 7. Suppose w*n + 22 + 26 = 0. Does 20 divide n/6*(-2457)/26?
False
Is 37 a factor of (-3)/18 - 3823004/(-984)?
True
Let i = 75 + -57. Let l = -32 + i. Let r(o) = o**2 + o - 7. Is r(l) a multiple of 30?
False
Let i = 109 - 120. Let s(k) = -k**3 - 11*k**2 + 2*k + 29. Does 5 divide s(i)?
False
Let h = 61840 - 24205. Is 269 a factor of h?
False
Let w(t) = -14*t**2 - 142*t - 15. Let v(q) = q**3 - 7*q**2 - 44*q - 7. Let j be v(11). Is 3 a factor of w(j)?
False
Suppose -768*x - 17665 = -770*x - l, -2*l = -3*x + 26494. Is x a multiple of 23?
True
Let q = 16 + -8. Suppose 5*r + 5*r = q*r. Suppose r = 3*b - 5*z - 445, -2*z = -4*b + 2*b + 290. Is b a multiple of 18?
False
Let f = -1091 + 621. Let h = -246 - f. Is 6 a factor of (3/(-6))/((-2)/h)?
False
Suppose 332*g + 5*k + 7834 = 335*g, -3*k = -4*g + 10460. Is 119 a factor of g?
True
Suppose 0 = -11*b + 7*b + 16. Let a(m) = 16*m**2 + 5*m - 20. Does 32 divide a(b)?
True
Suppose -62596 = -4*s + 4*y, 5*y + 15625 = -97*s + 98*s. Is 14 a factor of s?
False
Let w(d) = -316*d + 1747. Does 158 divide w(-2)?
False
Suppose -3*d = -9 - 0, 0 = -o - d + 6. Let m(p) = 0 + o + 1 - 3*p + p**2 + 95*p**3 - 3. Is 4 a factor of m(1)?
False
Suppose -81*h - 36384 = -5*p - 80*h, -h + 6 = 0. Is 48 a factor of p?
False
Let u be 36/(-3)*(-54425)/100. Suppose 223*p - 230*p = -u. Is p a multiple of 13?
False
Suppose 65*r + 38*r - 563616 = 0. Does 72 divide r?
True
Suppose -4*x = -8*x - 2*y + 37142, 3*y = -2*x + 18561. Does 36 divide x?
True
Let l(x) = 2*x**3 - 136*x**2 - 123*x + 149. Is 32 a factor of l(69)?
True
Let i(q) = 19*q + 1327*q**2 + 8*q - 1318*q**2 - 7*q + 20. Is i(-6) a multiple of 16?
True
Let z = 27 - 21. Suppose 5888 = 22*w - z*w. Is w a multiple of 23?
True
Suppose 8*k - 12 = 6*k. Let o(t) = t**3 - 2*t**2 - 3*t + 12. Let z be o(k). Let g = -73 + z. Does 13 divide g?
True
Let f(k) = k**2 - 35*k - 321. Is 19 a factor of f(46)?
False
Let a(i) = 1126*i**2 + 94*i + 1. Is a(-3) a multiple of 26?
False
Is -10 - 6/(5*(-21)/27895) a multiple of 88?
True
Suppose 14*p + 54 = 23*p. Suppose p = -3*i - 9, -3*i - 57 = -g. Is 6 a factor of g?
True
Let z be 4642 - (-24)/6 - 5. Suppose 7*q - z = 819. Is 13 a factor of q?
True
Let g be -1 + -3 + 2 + 1. Let x be 2/(g/(1635/(-10))). Let j = x + -197. Is j a multiple of 13?
True
Let v(o) = 401*o - 362. Does 22 divide v(17)?
False
Let q(v) = v**2 - 8*v - 18. Let m be q(-12). Let t = 544 - m. Is 30 a factor of t?
False
Suppose -4*h - 4*l = -7*l + 68, -5*l = -h. Let q = h - -145. Is q a multiple of 9?
False
Is -140*((-7 - -9) + -20) a multiple of 30?
True
Let r(x) be the third derivative of 104/3*x**3 + 1/12*x**4 + 14*x**2 - 1/60*x**5 + 0*x + 0. Is 26 a factor of r(0)?
True
Suppose 4*k - 3 + 75 = -4*b, 3*k + 5*b = -60. Let i(f) = -f**2 - 51*f + 4. Is i(k) a multiple of 68?
True
Let k(q) = q**3 - 7*q**2 + 16*q - 12. Let y be k(5). Suppose -4*i = -y*i + 12320. Is 40 a factor of i?
True
Let v(t) be the third derivative of -5*t**4/6 + 43*t**3/6 + 45*t**2. Is v(-4) a multiple of 26?
False
Suppose 3*l + 9 = 0, -5*z - 5*l = 42 - 307. Let y = z - 23. Suppose -y = -5*h + 32. Is 2 a factor of h?
False
Suppose -90592 = -52*g + 42528. Does 43 divide g?
False
Suppose -8 = -2*y - 4*v, 0 = 4*y - v - 6 - 1. Suppose 2*b + 0*b - 238 = -5*f, y*b - 8 = 0. Does 36 divide 380/72*f - (-6)/27?
False
Suppose 2*l - b - 8 = 0, 0*l - 16 = -2*l + 3*b. Let m(z) = 38 - l*z + 28 - 58 - 3*z + z**2. Does 16 divide m(8)?
True
Is 4 a factor of (-26 - -5)/((-6)/144)?
True
Is (-1914)/696 + 225333/12 a multiple of 5?
True
Is 0 + 2067 - ((-216)/18 - -4) a multiple of 83?
True
Let k be 92/22 + (5 - 228/44). Suppose k*r = 3*c + 61, -r + 3*c + 8 = 4. Is r a multiple of 2?
False
Let r be (-6)/(-4)*2*(49 - 48). Suppose r*o - 382 = -4*k - 101, -2*o - 357 = -5*k. Is 7 a factor of k?
False
Let r be 4/(-1) - 21/(-3). Suppose -3600 = -5*l - 3*o, -5*l + r*o + o = -3600. Is (12/(-10))/((-18)/l) a multiple of 6?
True
Suppose -3*i - 5*x + 2824 + 2922 = 0, 3*x + 3 = 0. Is i a multiple of 71?
True
Let j(p) = p**3 - 11*p**2 - 2*p + 34. Suppose -3*f - 14*f + 204 = 0. Is j(f) a multiple of 7?
True
Let b be (4 + 1 - -4)*9*1. Suppose 0*q + 3*x = -q + b, 0 = -4*q - 3*x + 360. Suppose q + 42 = 5*p. Is p a multiple of 3?
True
Let m(n) = -2*n**2 - 41*n - 4. Let r be ((-10)/(-6))/((-2)/6*-1). Suppose r*s + 101 - 21 = 0. Does 57 divide m(s)?
False
Suppose -5*s - 5*t = -1750, s + 4*t + 0*t = 347. Suppose -4*h + s = -265. Is 2/(-3) - h/(-6) a multiple of 5?
True
Suppose 243 = 9*m - 36*m. Let c(v) = -4*v - 8*v - v + 15. Is c(m) a multiple of 33?
True
Let p(x) = -x**3 - 52*x**2 - 2*x + 16115. Does 67 divide p(0)?
False
Let v(i) = -i**3 + 21*i**2 - 28*i + 36. Let z be v(17). Let l = z - 405. Is l a multiple of 8?
False
Suppose b = -5*a + 134915 + 24947, 4*b + 95908 = 3*a. Is a a multiple of 12?
False
Let o(y) = -y - 4. Let d be o(-6). Suppose -d*i + 10 + 0 = 0. Suppose -i*r + r = -520. Is 11 a factor of r?
False
Is 1/10 - (-11372850)/1500 a multiple of 50?
False
Suppose 0 = -197*f + 223*f - 141440. Does 32 divide f?
True
Let q(i) = -i**3 - 8*i**2 - 2*i - 13. Let g be q(-8). Suppose -o + g*y = 16, -4*o + 2*o - 16 = 2*y. Is 19 a factor of (-13)/(585/o) - (-421)/9?
False
Let w = -19912 - -30635. Is w a multiple of 64?
False
Let k(f) = 212*f + 37. Let t(s) = -431*s - 74. Let w(p) = -13*k(p) - 6*t(p). Is w(-3) a multiple of 43?
True
Let o(x) = -x**2 + 10*x + 2. Suppose -4*b + 105 = -5*h, 4*b - 42 = 3*h - h. Let y be (-12)/h + 45/7. Is o(y) a multiple of 10?
False
Suppose -4*r + 5 = -7. Suppose -8 = -z - r. Suppose -z*y + 3*m + 428 = 0, -y - m = -5*y + 348. Does 22 divide y?
True
Suppose 0 = -0*q + 2*q + 16. Let m be 1 - -124 - 12/q*2. Let r = 180 - m. Is r a multiple of 17?
False
Let l(z) = 5*z**2 - 332*z + 532. Is l(79) a multiple of 31?
False
Let w(z) = 284*z**2 - 10*z + 4. Is w(3) a multiple of 4?
False
Does 16 divide (4 - 4936)*(-16)/12?
True
Let o be 146 + 2*2/(-2). Suppose -2*l + 910 - 988 = -2*s, 174 = 5*s + 2*l. Suppose 2*v = s + o. Does 30 divide v?
True
Suppose 14 = -48*r + 62. Is 25 - 21 - r*-2*68 a multiple of 4?
True
Let h = 71 + -51. Suppose h*a - 2121 = 2419. Is a a multiple of 5?
False
Suppose -4*t + 2 = -2, -5*u - 7 = 3*t. Let i(z) = -4*z**2 + z + 2*z**2 - 5*z**3 + 1 - 12*z**3 + 5*z**3. Is i(u) a multiple of 43?
False
Let k = -19599 - -27439. Does 56 divide k?
True
Is 30 a factor of 48/(-18) - (-1068818)/93?
True
Suppose -111*b + 108*b = -5*l + 14028, 11248 = 4*l + 4*b. Is 118 a factor of l?
False
Suppose 120 = 18*f - 150. Suppose -17 = 2*t + f. Is 16 a factor of t/(-12)*(-1005)/(-10)?
False
Let x = 72 + -68. Is 20 a factor of ((-20)/15)/(x/(-960))?
True
Let r(w) = -3*w - 7. Let b be r(-3). Suppose -3*k - b*k - a + 45 = 0, 2*k - 15 = -a. Is (-3 + 14)/(1/k) a multiple of 11?
True
Let r(c) = -145*c. Suppose 24 = -p + 33. Suppose v - 2*z + 7 = 0, v - p = -2*v - 4*z. Is r(v) a multiple of 26?
False
Let g(c) = 2081*c - 892. Is g(3) a multiple of 151?
False
Let p = -4231 + 4223. Let d be (-2 - 0/2)*-1. Does 22 divide (2 - 108/p)*d?
False
Suppose -16*j - 12*j + 588 = 0. Suppose -20*n = -j*n + 27. Is 9 a factor of n?
True
Let w(u) = u**3 - 2*u**2 - 6*u - 3. Let p be 1/4*-10*(-8)/5. Suppose 0*n = -p*n - 5*i - 1, 3*i + 9 = -n. Does 35 divide w(n)?
True
Suppose 2*l - 3*l + 6 = -b, 3*l + 2*b - 23 = 