4556. Does 71 divide k?
True
Let k be (-1585998)/60 - (-3)/10. Is 68 a factor of (-4)/10 - (-20)/((-900)/k)?
False
Suppose -18295 = -o - 4*o + 5*u, -7306 = -2*o - 4*u. Is 53 a factor of o?
True
Let j be 15/4 - (0 + (-6)/(-8)). Suppose -2*i + j*d = -5*i + 2943, -i - 4*d = -981. Is i a multiple of 28?
False
Let j(c) = -2*c**3 - c. Let h(a) = -9*a**3 + 16*a**2 - 19*a - 95. Let k(b) = -h(b) + 4*j(b). Is 15 a factor of k(17)?
False
Suppose -2908*l + 2916*l = 18304. Is 8 a factor of l?
True
Suppose 3*z - 2101 = -5*o, -2085 = -4*o - o + 5*z. Does 77 divide ((-3)/(-6) - o/(-2)) + 3?
False
Suppose -b + 5*a = -22, -2*b - 5*a + a = 26. Let z(v) = -59*v - 27. Is z(b) a multiple of 25?
True
Suppose -42 = -4*w - 10*w. Suppose g = 2*a + 39 - 4, w*a - 3 = 0. Is g a multiple of 19?
False
Let l be 3/(3/(-7)*(3 + -4)). Suppose 0 = -11*u - l*u. Suppose u = -6*z - 0*z + 90. Is 3 a factor of z?
True
Suppose -4503 - 19245 = -2*p - 3*g, 0 = p + g - 11876. Is 11 a factor of p?
True
Suppose -3*d + 3923 = 4*u - 2*u, 2*u - 5*d - 3915 = 0. Suppose 0 = 14*j - 19*j + u. Is j a multiple of 18?
False
Let t = 7177 - 4954. Is t a multiple of 39?
True
Let x(p) = 13*p**2 - 91*p - 2576. Is x(-41) a multiple of 50?
False
Suppose 5*g = -2*w + 6317, 3282 = 4*g + 4*w - 1786. Is 21 a factor of g?
False
Let j = -571 - -583. Is 6 a factor of j?
True
Let x = 45 - -2. Let a = x - 173. Is (a/8)/((-7)/224*4) a multiple of 31?
False
Let h(l) = -15*l - 4. Let q(v) = -2*v - 1. Let t(p) = -h(p) + 2*q(p). Suppose -5*w + 4*u + 43 = 3, 5*w + 4*u = 40. Is 18 a factor of t(w)?
True
Suppose 11*y - 34395 - 42531 = s, -y - s = -7002. Is 75 a factor of y?
False
Let l = -301 + 306. Suppose 2*j - 1514 = -4*i, 6*i - 1139 = 3*i - l*j. Is 20 a factor of i?
False
Let g = 19 + -12. Let c(j) = -441 + j**2 + 4*j - g*j - 2*j + 413. Is c(17) a multiple of 22?
True
Suppose -l + 2277 = 5*h - 379, h - 7940 = -3*l. Is 3 a factor of l?
True
Let m = 10146 + -9492. Is 19 a factor of m?
False
Let y be (0 + -30)/(-5) + -4. Suppose -3*f - 3*d = -2577, -f = y*f - 5*d - 2617. Is 46 a factor of f?
False
Let w be 12/(-16)*2 - (-11)/2. Let s be w - (4 - 8/(-4)). Does 7 divide 1 + (-3 - 10/s*4)?
False
Let m(v) = -36*v + 146. Let f(g) = 35*g - 144. Let k(n) = -3*f(n) - 2*m(n). Is k(-12) a multiple of 8?
True
Suppose 5 = -3*j + 1886. Suppose 0 = 54*h - 57*h + j. Is h a multiple of 19?
True
Does 3 divide -36*(30/(-6) + -3 - (264 + -1))?
True
Does 11 divide (549/2)/(247/(-304) + (0 - -1))?
False
Suppose -2*w - 2397 = -3*p + 13173, -w = 2*p - 10380. Is p a multiple of 34?
False
Let c = 18 + 29. Suppose 1374 = -c*k + 50*k. Is k a multiple of 34?
False
Let l(x) = 7761*x - 384. Does 69 divide l(1)?
False
Suppose 1 - 21 = -4*j. Suppose j*s = 3069 - 54. Is s a multiple of 15?
False
Let m(q) = 1 + 4 - 19*q**3 + 5*q + q**3 - 1 + 3*q**2. Let h be m(-2). Suppose -10*r + h = -5*r. Is r a multiple of 15?
True
Let x be -5*35/(-25)*(-2)/2. Is (-4)/(-7) - 948/x a multiple of 10?
False
Suppose -2*f - 2252 = -4*p, 0 = 60*p - 56*p + f - 2234. Is p a multiple of 8?
True
Suppose 9 = 12*q - 3*q. Suppose q = 9*t - 26. Suppose -3*w - 3*k = -w - 100, 0 = -t*k. Is w a multiple of 5?
True
Suppose -4*h + 40 = -2*q, -2*q + 3*q + 47 = 5*h. Suppose 1534 = -2*v + 2*x, -4*v - 2*x = -5*v - 766. Is 1/(3/h) + v/(-2) a multiple of 34?
False
Suppose 43*n - 37*n - 630 = 0. Suppose -4*o - 3*c = -4*c + n, -o = c + 20. Is 40 a factor of 11/(165/(-96))*o/2?
True
Suppose -3*m - 501 = 3*u, 2*u + 499 = -u - m. Let q be 8/44 + 290/(-22). Let g = q - u. Is 9 a factor of g?
True
Suppose 259 = -3*x - 62. Let c = -32 - x. Is c a multiple of 7?
False
Suppose 16*q - 17*q = -13. Suppose -2*f - 8*b + 231 = -q*b, -3*f = b - 321. Is f a multiple of 12?
True
Let k(a) = a**3 + 7*a**2 - 13*a - 23. Let g be k(-8). Suppose g*x - 2820 = 2841. Is 35 a factor of x?
False
Let h be (((-18)/5)/(-3))/(54/180). Is 14 a factor of 892/h + 5 - 4?
True
Suppose -3*l + 4 = 2*z, -z + 2*z + 4 = 0. Suppose l*w - 4*k = -134 + 486, 0 = -w + 3*k + 96. Is 6 a factor of w?
True
Let d(l) = -385*l + 11. Let j be d(2). Let k = 1345 + j. Is 4 a factor of k?
False
Suppose 3*w - 57681 + 7371 = -3*t, 0 = -4*w - 5*t + 67083. Suppose -38*j + 47*j = w. Does 13 divide j?
False
Let b(f) = 4*f**2 + 22*f - 9. Let a(s) = -5*s**2 - 21*s + 8. Let z(x) = 2*a(x) + 3*b(x). Let p be z(17). Suppose 2*i + p = 15*i. Does 43 divide i?
False
Suppose 72*q - 140*q - 2048 = -72*q. Does 3 divide q?
False
Suppose -8*t - 775 = -33*t. Suppose 5699 + 5833 = t*g. Is g a multiple of 12?
True
Is 166 a factor of 6/((4/(-8))/(10 - (-8855)/(-14)))?
True
Is 11 a factor of -9240*(5967/(-68))/39?
True
Let l = -2020 - -3114. Suppose 889 = 3*y - 5*f - l, 2*y = 2*f + 1318. Is y a multiple of 9?
False
Let b(f) = 35*f - 122. Let m = 7 + 1. Is 11 a factor of b(m)?
False
Suppose 5*j + 516 = -2*h + 3*j, -997 = 4*h - 3*j. Let l = -149 - h. Is l a multiple of 3?
False
Let a = 120 - 241. Let h = -18 - a. Does 4 divide h?
False
Let z = -8174 + 11738. Does 44 divide z?
True
Suppose -49*p = -50*p - 472. Let m be -332 + (4 - 1)*1. Let c = m - p. Is c a multiple of 24?
False
Let l = -23 + 29. Suppose l*j + 272 = -2*j. Let t = j + 55. Is t a multiple of 5?
False
Let g(r) = r**3 + 31*r**2 - 3*r + 3. Let a = 560 - 591. Does 12 divide g(a)?
True
Suppose -f = -2*v - 13 + 2, 67 = 5*f + 2*v. Let g(y) = 38*y - 21. Does 11 divide g(f)?
True
Let i(z) = -z**3 + 8*z**2 - 3*z - 3. Let k be i(6). Let n = k - 41. Suppose f - n*f + 630 = 0. Is f a multiple of 40?
False
Let n = -365 + 369. Suppose -4205 = -a - n*a. Does 18 divide a?
False
Is ((-60)/(-18))/(0 - (-30892)/10296 - 3) a multiple of 33?
True
Suppose 6*m - 2*c = 15892, 300*c - 13246 = -5*m + 301*c. Is 10 a factor of m?
True
Suppose -61*t + 56*t + 80 = 0. Suppose -2618 = t*w - 38*w. Is 9 a factor of w?
False
Is 62 a factor of (-93593)/(-14) + 423/(-1974)?
False
Let b be 0*(-3 - 0)/3. Let x be (-4 - b) + 1 - 17. Let i = x + 28. Is i a multiple of 3?
False
Let r = -39 + 49. Suppose 14*t - r*t + 5*s = 513, 2*t - 255 = -s. Does 25 divide t?
False
Suppose -2*u = 2*f - 16058, 3*u - 24127 = 215*f - 210*f. Is u a multiple of 39?
True
Suppose 46 = f - 5*w, 114 = 2*f - w - 14. Is 12 a factor of f?
False
Let k = 6 - -18. Let x be ((-19)/(-3) - 8/k)/2. Suppose 7*p + x = 38. Does 4 divide p?
False
Let t(n) = -n**2 - 121*n + 1235. Is 13 a factor of t(-130)?
True
Let m = 64 + -62. Let k be 8/(-4) + 4 - m. Suppose k*f + f = 101. Is f a multiple of 14?
False
Suppose 0 = -3*o - d + 10045, 3*o - 12*d + 7*d = 10075. Is 42 a factor of o?
False
Suppose 0 = -4*m + 7*m - 6. Let y be (-171)/114 + (7/m - -1). Suppose 444 = 4*x + 4*v, -4*x + 0*v - y*v + 447 = 0. Does 57 divide x?
True
Suppose 16*l = 14*l - k + 8, 16 = 2*l + 3*k. Suppose 5*x = -l*q + 894, -2*x + 6*x - 16 = 0. Does 19 divide q?
True
Let p(s) = 72*s + 297. Does 9 divide p(59)?
True
Let p(a) = -1108*a - 25. Let n be p(-2). Let j = n + -1278. Is 58 a factor of j?
False
Let j(g) = -196*g - 12. Let y be j(2). Does 8 divide (y/(-12))/(((-16)/(-6))/8)?
False
Let l(k) = 2523*k - 43. Is 76 a factor of l(2)?
False
Let b(s) = -s**3 - 6*s**2 + 14*s + 3. Let m be b(-7). Let o = 64 + m. Suppose 62 + o = 8*d. Is 6 a factor of d?
False
Suppose 13*j - 10*j = 3. Let h be 472 - ((j - 1) + 0). Suppose 6*k = -h + 1624. Does 24 divide k?
True
Let u(t) = -629*t + 38. Let s be u(1). Let n = 732 + s. Is n a multiple of 41?
False
Let n = -21 - -24. Suppose 45 = u - 2*l, n - 2 = l. Suppose 13 = t - u. Does 10 divide t?
True
Let g(w) = 12*w**2 - 7*w + 18. Let m be g(-9). Suppose 2*k - m = -s, -k = -4*k + s + 1572. Is 35 a factor of k?
True
Let i = 302 + -290. Suppose i = -3*q, -3*o - 465 = -4*o + 5*q. Is o a multiple of 24?
False
Let a = -23968 + 50100. Is a a multiple of 5?
False
Suppose 21*c = 102724 + 99296. Does 52 divide c?
True
Let m = 8151 + -531. Does 15 divide m?
True
Suppose -5857 = -3*a + 5*q, -4*a + 4*q - q = -7791. Does 8 divide a?
True
Suppose 2*l - 108 = 3*l. Let g = -38 - l. Is 35 a factor of g?
True
Let r(o) = o**3 + 8*o**2 - 11*o + 318. Is 24 a factor of r(11)?
True
Let k = -65 - -95. Let z(m) = -2*m**2 + 25*m + 22. Let r be z(12). Let c = k + r. Does 32 divide c?
True
Let p(r) = 40*r**2 + 130*r - 14. Is p(-6) a multiple of 6?
False
Let n be 1474/11*(0 + 3/1). Let p = n + 70. Does 81 divide p?
Fals