 -17*k + w*k + u = 0. Is 3 a factor of k?
True
Let o be 198/(-8)*(7 + -23). Suppose 14*r = 8*r + o. Is 6 a factor of r?
True
Let t(y) = y**3 + 20*y**2 - 19*y + 22. Let a be -20 + (4 - (-15)/(-3)) - 0. Let v be t(a). Is ((-184)/(-20) - 2)/((-3)/v) a multiple of 40?
False
Let h be (-80)/32*(-833 - -1). Suppose 3*z - 869 = -2*g - 41, -5*g + h = 5*z. Is 60 a factor of g?
True
Let v be (-2 - 48/(-15))/(4/(-10)). Let u = 59 + v. Suppose -2*t + u = -56. Does 23 divide t?
False
Let d = 11 + -7. Suppose -d*f - 2*c = -920, -2*c = -5*f - c + 1150. Is 9 a factor of f?
False
Suppose -44*n + 14 = -42*n. Suppose 7642 = n*c - 3838. Is c a multiple of 40?
True
Let t(b) = -b**3 + 11*b**2 + 8*b + 6. Let u(y) = -y**3 + 4*y**2 + 6*y + 5. Let j be u(5). Suppose 3*o - 38 = -d, 3*d = j + 5. Does 15 divide t(o)?
False
Let c be (-6120)/(-252) - ((-8)/14)/(-2). Suppose -89*d + 91*d = c. Suppose 16*f = d*f + 84. Is 7 a factor of f?
True
Let s(b) = -b**3 - 31*b**2 + b + 31. Let m be s(-31). Suppose r - 12*r + 1320 = m. Does 40 divide r?
True
Let a = 10 + 4. Suppose -2*g - 27 = 5*z - 4, 2*z - 4*g = -a. Does 19 divide ((-55)/(-15) + z)*(-570)/4?
True
Let v(r) = -4*r**2 + r + 4. Let y(t) = -5*t**2 + 4*t + 4. Let x(k) = 4*v(k) - 3*y(k). Suppose -23 + 3 = 5*l. Is 3 a factor of x(l)?
False
Let y(n) = -5*n**3 - 17*n**2 + n - 59. Is 4 a factor of y(-9)?
True
Let f(x) = -4*x - 7. Let a be f(-4). Let g(h) = -h**2 - h + 32. Let c be g(-6). Suppose c*d + 119 = a*d. Is d a multiple of 8?
False
Let j = 9 + 6. Let u(r) = 2*r - 18. Is 2 a factor of u(j)?
True
Suppose 0 = -6*v + 13800 + 96. Is v a multiple of 46?
False
Let h be (-15)/(-2)*6/(-9). Let b(a) = 7*a**3 + 9*a**2 - 6*a - 34. Let w(o) = 6*o**3 + 9*o**2 - 5*o - 34. Let z(l) = h*b(l) + 6*w(l). Does 5 divide z(-8)?
True
Suppose -59*i + 57*i - 1789 = -3*q, 2*i + 4 = 0. Does 5 divide q?
True
Let c(v) = -2*v**2 + 36*v - 9. Let b be c(18). Let x(h) = 2*h + 14. Let f(r) = r - 1. Let o(j) = -2*f(j) - 2*x(j). Is o(b) a multiple of 4?
True
Let n be (2 + 11 + -8)/(5/2). Is 5 a factor of (0 - -1) + ((-2)/n - -501)?
False
Let p(h) = 2. Let w(u) = -2*u + 119. Let z(t) = -4*p(t) + 2*w(t). Is z(4) a multiple of 2?
True
Suppose 2*h - 4*t = -3*h - 950, -t - 393 = 2*h. Let j = h + 525. Does 20 divide j?
False
Let q(r) = -8*r**2 - r - 63. Let x(w) = -4*w**2 - 31. Let a(g) = -4*q(g) + 9*x(g). Let z be a(-8). Is 7 a factor of (-3 + 2)/(5/z)?
True
Let b be ((-2)/(8/(-12)))/(3/4). Suppose b*z - 24 = -12. Suppose -5*c - 2*k + 774 = -3*k, 4*k = z*c - 478. Is 22 a factor of c?
True
Let m = -47 - -34. Let d = m - -8. Does 50 divide (-3)/d - (-6 + 2151/(-15))?
True
Suppose -68 - 12 = 5*l. Let x be (-5660)/l + 1 + (-2)/(-8). Suppose 11*b - 16*b + x = 0. Does 9 divide b?
False
Suppose 4*r = -4*z + 166876, -128*z = -127*z - 2*r - 41698. Is z a multiple of 11?
True
Suppose 0 = -6*l - 24 + 42. Suppose -r + 4*r = -2*n + 776, 0 = l*n - 12. Is 12 a factor of r?
False
Let n = 1204 - -1928. Does 36 divide n?
True
Let z be 333/(-45) - ((-4)/10 + 0). Is -9*z/(-21) - -630 a multiple of 11?
True
Let y(d) = 2*d**2 + d - 2. Let c be 1*(-8)/12 + (-34)/(-6). Suppose -4*r - 25 = -5*m - r, -c*r = 0. Does 8 divide y(m)?
False
Let l = 665 - 662. Suppose 1463 = l*x - 64. Is 4 a factor of x?
False
Suppose -3*b + 5573 = y, y - 6*y - 4*b = -27920. Is 22 a factor of y?
True
Let c(z) be the first derivative of 7*z**3 + 3*z**2 - 2*z + 145. Is 7 a factor of c(-3)?
False
Does 53 divide -8095*2/(-3) + (-6136)/2301?
False
Suppose 29 = -6*l + 287. Suppose -l = -4*f + 937. Is 7 a factor of f?
True
Let z = -607 + 1040. Let s = z - 316. Is s a multiple of 4?
False
Let l(v) = -2*v**2 + 42*v - 82. Let t(u) = u**2 - 41*u + 84. Let q(h) = -2*l(h) - 3*t(h). Is q(-51) a multiple of 29?
False
Let j(h) = 9*h + 2. Let f be j(-3). Let i be -2*3/((-42)/(-224)). Let d = f - i. Is 3 a factor of d?
False
Let j(a) = a**2 + 11*a + 14. Let o be j(-9). Let x be o/(-3)*3 + 3/(-3). Let h(l) = 5*l + 8. Does 10 divide h(x)?
False
Let j(k) = 51*k**2 - 189*k + 1293. Is 21 a factor of j(8)?
True
Let f(w) = 199*w - 602. Does 52 divide f(14)?
True
Let m = -10262 + 11401. Is 23 a factor of m?
False
Let b(o) = -180*o - 1405. Is b(-8) even?
False
Let l(i) = -65*i**3 - 30*i**2 + 29*i + 7. Is 132 a factor of l(-9)?
False
Suppose 21*b - 20*b + 7 = 0. Let k = 25 - b. Does 11 divide k/(-6) + 6 - 314/(-6)?
False
Suppose 2*q + 8415 - 1010 = 5*l, 0 = 5*l + 2*q - 7385. Does 5 divide l?
False
Suppose 5*f = -9*k + 13*k + 27, f - 4*k = 15. Suppose 2*n + 2*n = -f*b + 3472, 4*b - 4612 = -n. Is b a multiple of 18?
True
Let j be 42/(-35) + (-6393)/(-15). Let g = 623 - j. Is g a multiple of 22?
True
Let w(d) = 10*d**3 - 2*d**2 - 15*d + 169. Does 15 divide w(7)?
False
Suppose 5*y + 16 = j, 2*j + 1 = 3*j. Is (-4)/(-10) + y*(-2080)/25 a multiple of 12?
False
Let d(s) = s**3 - 3*s**2 - 7*s + 16. Let j(w) = w**3 + 6*w**2 + 6*w + 10. Let c be j(-5). Let u be d(c). Suppose -u - 33 = -z. Is 8 a factor of z?
True
Let i(f) = 32*f**2 - 9*f + 9. Let m be i(1). Let a = m - 27. Suppose x = -a*l + 976, -2*x - 3*x = -l + 190. Is l a multiple of 39?
True
Suppose -5*p + 2*u + 676 = 0, 4*p - 4*u = -116 + 652. Suppose p + 209 = f + s, -2*f - 5*s + 699 = 0. Does 3 divide f?
True
Let p be 22/2 + (17 - 19). Suppose -p*x = -181 - 323. Is 7 a factor of x?
True
Is 7/(-21) - 19/((-285)/267350) a multiple of 13?
True
Let h(d) = 14*d - 18*d - 17 - d**2 + d**3 + 2*d**3. Does 11 divide h(4)?
True
Let n(d) = d**3 + 89*d**2 - 2*d + 6240. Is 52 a factor of n(0)?
True
Is 38 a factor of (-53 + 1)*(-94 + -19)?
False
Let n(s) = -12*s - 7. Suppose 2*q + 3*q = 90. Suppose 29 = -4*f + 5*t, -5*f - 11 = t + q. Is 21 a factor of n(f)?
False
Let x = 364 + -37. Let v be x/9*3*1. Suppose -p + 63 = -v. Is 28 a factor of p?
False
Suppose 9*h - 5*h = -88. Let j be 1 + h + 3 + -4 + -1. Let b = 41 + j. Is 2 a factor of b?
True
Let r(j) = -j + 9. Let k be r(9). Suppose k = -2*b - 0 + 6. Suppose 3*c = w - 75, w + w - 159 = b*c. Does 14 divide w?
True
Suppose 20 = -5*h, -2*i = i + 5*h - 1999. Let d = i + -278. Is d a multiple of 79?
True
Let j = 13 - 8. Let w = -1053 + 1076. Suppose l + j = w. Does 15 divide l?
False
Let i = -67 + 92. Let s = i - 21. Is 41 a factor of 80/30*(-1)/(s/(-123))?
True
Suppose 5*a - 27 = -c, 3*c - 24 = 2*c - 4*a. Let g be 956/c - (3/(-9))/1. Suppose g = -23*i + 27*i. Is i a multiple of 4?
True
Let n(c) = 421*c + 10. Does 12 divide n(2)?
True
Let y = 15255 + 38679. Is 28 a factor of y?
False
Is 5 a factor of (-26616 - -1)*55/(3575/(-26))?
False
Suppose 0 = -4*r - 3*y + 14, 0 = -5*r + 2*r - y + 13. Suppose r*l = -4*u + 467, u + 2*l = 4*l + 120. Does 20 divide u?
False
Let l = -31 - -36. Suppose -4*q + 2*p = -958, -3*q + l*q - 4*p = 482. Is 12 a factor of q?
False
Let c(r) = -11 - 7 + 1 + 41*r - 17. Does 36 divide c(7)?
False
Let l = -378 + 380. Suppose 16*k - 125 = -3*c + 15*k, l*c + 5*k = 79. Is c a multiple of 4?
False
Let j = -128 - -130. Suppose -291 = -h + 4*f + 471, j*h + 4*f = 1548. Does 77 divide h?
True
Is ((-15)/(-2))/(92392/(-8400) + 6 - -5) a multiple of 35?
True
Let t = -5092 - -9946. Is t a multiple of 12?
False
Is (-5 - (-42948)/24) + 2/4 a multiple of 17?
True
Let w = 135 + -49. Let p = -82 + w. Suppose -p*n - 2*g + 0*g = -522, n - 3*g - 127 = 0. Is 26 a factor of n?
True
Let g(u) be the third derivative of u**5/12 - 5*u**4/6 - 14*u**3/3 + 63*u**2 - 2. Is 22 a factor of g(18)?
True
Let h be 2 + 3 + (-6)/2. Let b(c) = 33*c + 18. Let f be b(9). Suppose 3*m + h*m - f = 0. Is m a multiple of 9?
True
Is (-77 + -1216)*(1 + 8/(-3)) a multiple of 5?
True
Is 9/((-27)/(-30549)) - (0/1 - -7) a multiple of 48?
True
Suppose -2*l - 586 = -594, 5*f = -2*l + 60703. Does 61 divide f?
True
Let v = 106 + -100. Is 65 a factor of -8 + 146/v*3?
True
Suppose -345 = n + 3*v - 1537, n + 4*v = 1190. Let d = n + -670. Is 33 a factor of d?
True
Let r = 214 + -209. Let l(g) = 4*g**2 + 4*g - 25. Is 10 a factor of l(r)?
False
Suppose 7*y - 3*y - 11731 = -5*i, -2*i + 3*y + 4674 = 0. Does 11 divide i?
True
Let k = 20 - 30. Let y be -14 - k - 9*-1. Suppose -y*s + 2 = -28. Does 6 divide s?
True
Let b be (7/(35/(-10)) - 0) + 2. Suppose 9*h - 4 - 158 = b. Does 3 divide h?
True
Let b be -7 + -3 + 7 - (1 + -187). Suppose -2*d - 5*s = -b, -d - 36*s + 39*s + 64 = 0. Is d a multiple of 38?
F