d - d**3 + 6995*d - 2334*d. Let r be (-9)/1*6/(-9). Is 3 a factor of w(r)?
True
Suppose t = -2*t + 2*k + 1, 0 = 3*t - 5*k - 7. Is t + 0 - -116 - -4 a multiple of 23?
False
Suppose -5*h + 5*k = 4*k - 2251, 3*h - 1333 = 5*k. Suppose 10*n + n - h = 0. Is 41 a factor of n?
True
Let u = -17046 + 23975. Is u even?
False
Let b(h) = 5*h**2 + 29*h - 3. Let l be b(-6). Suppose -2*c + 2*t = -7*c + 458, -l = 3*t. Let r = 139 - c. Is 3 a factor of r?
False
Suppose 4304*h - 32639 = -5*x + 4303*h, -4*h + 16 = 0. Is 4 a factor of x?
False
Let m(k) = k**3 - 19*k**2 - 2*k + 17. Let h(j) = -9*j**2 - j + 8. Let g(w) = -5*h(w) + 2*m(w). Is g(3) a multiple of 4?
False
Let p(o) = 400*o**3 - o**2 - o + 1. Let n be p(-1). Let z = n + 637. Does 17 divide z?
True
Suppose -l + f + 233 = 0, -2*f + 20 = 3*f. Let q = -141 + l. Does 48 divide q?
True
Let y(x) be the second derivative of -31*x**3/6 + 11*x**2 + 16*x. Does 42 divide y(-2)?
True
Let b(y) = -13*y**3 - 3*y**2 - 4*y + 25. Let j be b(-5). Suppose -4*l - 5*k = -1312, l + 4*l - 5*k = j. Is l a multiple of 14?
False
Is 4 a factor of (8/2)/(52/(-78)) - -557?
False
Is (-88)/(-220) + (3/6 - (-36222)/20) a multiple of 12?
True
Let p(w) = w**3 + 8*w**2 - 16*w + 8. Suppose -8 = 2*z + 8. Is p(z) a multiple of 2?
True
Let r = 23521 + -15297. Does 26 divide r?
False
Let s(p) = -p**2 + 17. Let l be s(6). Let j = l + 11. Is (-2)/6*(-1 - -4)*j a multiple of 8?
True
Suppose 154 + 372 = 2*x. Suppose 2*z = 5*t + x, 4*t + 186 = 4*z - 322. Let p = z - 89. Does 8 divide p?
False
Let l be (-4)/(-2)*247/(-26). Is (-1 - l)/(11/396*9) a multiple of 24?
True
Let u be ((-3)/(18/38))/(1/3). Let s = 28 + u. Suppose -s*w + 4*w = -390. Does 13 divide w?
True
Suppose 0 = -0*t - t + 43. Suppose 215 - 112 = c. Suppose -g + c = t. Is 10 a factor of g?
True
Let i = -7 - 8. Let p be i/(-45) + (-578)/6. Is 16 a factor of (75/30)/((-1)/p)?
True
Let s(j) be the third derivative of j**5/10 - j**4/3 + 7*j**3/6 + j**2 + 3. Is s(5) a multiple of 13?
True
Let k = 17212 + -11168. Is k a multiple of 194?
False
Suppose -6 = -w + 5*r, 0*r - 3*r - 4 = -w. Let d be (4/8 - w)/((-2)/28). Suppose -1286 - 562 = -d*j. Is j a multiple of 44?
True
Suppose 0 = 4*w, -5*x + 2*w = -w + 20. Let u(y) = -y**3 - 6 - 6*y - 3593*y**2 + 16 + 3593*y**2. Is 16 a factor of u(x)?
False
Suppose 58*u - 67*u = -44874. Suppose -23*a + u + 12494 = 0. Is a a multiple of 19?
True
Suppose -12*t + 152 = -232. Suppose t*k - 4626 = 23*k. Does 14 divide k?
False
Suppose 2*j = 6*j + 16. Let h be (j - (-2)/1)*(-24)/16. Suppose 191 = 4*w - 3*d, -2*w - 51 = -h*w + 4*d. Does 7 divide w?
False
Let a(o) = 6*o**3 - 2*o - 16. Let c(b) = b**3 - b**2 + 1. Let u(n) = -a(n) + 5*c(n). Let x be u(-5). Let h = 66 - x. Is 17 a factor of h?
False
Let z = 16226 - 12222. Is 11 a factor of z?
True
Let a = -415 - -272. Let c(f) = 269*f. Let g be c(1). Let k = g + a. Is 18 a factor of k?
True
Let s(y) = -8*y - 22. Let t be s(-3). Suppose 2*q + 5*h - h - 252 = 0, 0 = -t*q + 5*h + 261. Is 4 a factor of q?
True
Suppose 3312 = 15*o - 13*o. Let g be o/(-27)*3/(-2). Let f = g + -64. Is 28 a factor of f?
True
Suppose 5*x - 4*u - 8734 = 0, 2772 = 3*x + 5*u - 2424. Does 4 divide x?
False
Suppose -37*w - 23252 = -142096. Is 52 a factor of w?
False
Let w = 2 + 5. Suppose 38 = 15*d - 307. Let u = d - w. Is u a multiple of 2?
True
Let d be (159 - 156) + (-3)/(3/2). Is 2 + (817 - (-4 - -1)*d) a multiple of 16?
False
Let f = -162 - -166. Suppose -279 = f*y - 2295. Is y a multiple of 21?
True
Let y = 38304 + -26867. Is 20 a factor of y?
False
Suppose 57*x + 6*g = 56*x + 1888, 0 = -2*x + 5*g + 3810. Does 100 divide x?
True
Let q = 454 - 37. Suppose 3*l - 3 = 9. Is 26 a factor of q/l - 4/(-4 - -20)?
True
Let t be (-2)/(-6) - (-14)/3*1. Suppose -t*j + c - 16 = 0, -5*j + 4*c - 17 = -13. Does 22 divide j*(-605)/(-20)*-2?
True
Let n = 18 + 74. Does 49 divide 40549/n + (-2)/(-8)?
True
Let j(k) = -k**3 - 4*k**2 + 4*k - 43. Is 2 a factor of j(-9)?
True
Let w = -3 - -11. Suppose 21*b + 3050 - 110 = 0. Does 3 divide (-48)/28*b/w?
True
Let j(w) = 5*w**2 - 9*w - 5. Let l = -113 - -105. Does 9 divide j(l)?
True
Suppose 0*x + 20 = 5*c - x, -x + 5 = 0. Suppose -q - 4*h - 2137 = -6*q, -2*q + c*h + 865 = 0. Is 19 a factor of q?
False
Let k = 77 - 161. Let u be ((-1988)/k)/(1 - 2/3). Let l = 107 - u. Is l a multiple of 3?
True
Let h(o) = -281*o - 40. Let k(a) = -140*a - 20. Let m(j) = -2*h(j) + 5*k(j). Does 4 divide m(-2)?
True
Suppose -b = 2484*w - 2480*w - 266909, -4*b = -2*w + 133450. Is 73 a factor of w?
False
Let v = -4762 - -4768. Let p be ((-4)/12)/((-2)/978). Is 20 a factor of p + (-12)/(v - 2)?
True
Let u = -1957 + 1032. Let f = u - -1780. Does 5 divide (-1)/(-4 - f/(-215))?
False
Let x(v) = 34*v**2 + 85*v + 281. Is x(-3) a multiple of 83?
True
Let i = -1 + 1. Suppose -5*n = 4*p - 10863 + 2948, 0 = 3*p - 5*n - 5945. Suppose -9*m - m + p = i. Does 23 divide m?
False
Suppose 2083*r + 65800 = 2103*r. Does 26 divide r?
False
Suppose 23*d + 95 = 28*d. Let z(x) = x - 4. Let c be z(d). Suppose 0 = -20*l + c*l + 125. Does 25 divide l?
True
Let r = 220 - 204. Suppose -10*h = -r*h + 4674. Does 15 divide h?
False
Suppose 4*f = r + 6, -4*f + 36 = 6*r - 2*r. Suppose -m + r = 2*m. Is 39 a factor of 158 - ((-6)/(-6) + (m - 1))?
True
Let l be (-2)/(-6) + (-26)/(-12)*22. Let i be 0 - 630/20*l/(-14). Suppose -155 = -3*h + t, i = 2*h - 0*t + 4*t. Does 26 divide h?
True
Let g be 54/(-2) + 6/3*-1. Let q = 41 + g. Is 23 a factor of -57*5*(2 + q/(-5))?
False
Let o(c) = -1289*c + 844. Is o(-4) a multiple of 67?
False
Let d be 6/(-1)*1803/(-6). Let f be d/18 + (-4)/24. Let g = -67 + f. Is 7 a factor of g?
False
Suppose -290*h + 2760103 = -878237. Does 9 divide h?
True
Suppose -6117 = -3*t + 31674. Is t a multiple of 19?
True
Suppose -3*y + 10056 = -3*s, 82*y - 80*y = -5*s + 6725. Does 19 divide y?
False
Let k(f) = -21*f**3 - 34*f**2 - 134*f - 11. Is 24 a factor of k(-6)?
False
Suppose -4*z + 3*h - 3238 = 0, -h = 15 - 13. Let v = 88 - z. Is v a multiple of 31?
True
Suppose 36*z - 5*n + 22662 = 40*z, -22674 = -4*z + n. Is 7 a factor of z?
False
Let g = -258 - -372. Suppose g = 5*c + 3*f, 5*c - f + 5 = 107. Does 21 divide c?
True
Suppose -3*n = -555 + 135. Suppose -2*i - 112 = 2*o, n + 113 = -5*o + 4*i. Is (0 + (-28)/(-5))/(o/(-1060)) a multiple of 28?
True
Suppose 13 = u + 19. Let s be ((-3)/(-2))/((-91)/14 - u). Let n(h) = -26*h - 7. Does 12 divide n(s)?
False
Let k = -20 - -24. Suppose -k*t + x + 83 = -21, 3*x - 104 = -4*t. Is t a multiple of 3?
False
Let p(d) = d**2 + 148*d - 97. Is 10 a factor of p(51)?
False
Let y = 3848 + 10428. Is y a multiple of 11?
False
Suppose -2*a - 4*o + 341 = 131, 5*o + 465 = 5*a. Let s = 0 + 0. Does 21 divide a + s - (21 + -18)?
False
Let c(u) = u**3 - 11*u + 1. Let m be c(3). Is -4 - ((-1904)/7 + m) a multiple of 4?
False
Let d be (-315)/36 - -9 - 901/4. Let q = d + 453. Is 19 a factor of q?
True
Suppose -2*t = 72 - 0. Let c = t + 87. Let v = c + -25. Does 9 divide v?
False
Let c(m) = m - 12. Let w be c(14). Suppose 2*g - 296 = -2*i, -g = -2*g + w*i + 160. Let p = g - 65. Does 22 divide p?
False
Suppose 73*d - 22359 = 8082. Is 32 a factor of d?
False
Suppose -3*r - 52 + 148 = 0. Suppose -3*u + 2*q + 15 = -3*q, -4*q + r = 2*u. Let b(i) = i**3 - 7*i**2 - 7*i - 9. Is b(u) a multiple of 23?
False
Let s(x) = -x**2 - 24*x + 83. Let t be s(3). Suppose -5*m = -2*k + 3, -2*k = -7*k - m + 48. Is 2 a factor of (k/(-6) - -2)*26 - t?
False
Let z be -30*(-12)/432 - 722/(-12). Suppose 0 = -2*k + 2*u - 54, k + 17 = -5*u - 4. Let g = z + k. Is g a multiple of 13?
False
Let j(m) = 10*m**2 - 17*m + 250. Let u(d) = 3*d**2 - 6*d + 83. Let w(v) = -2*j(v) + 7*u(v). Is w(0) a multiple of 9?
True
Is 2 a factor of (-6)/18*-10047*1?
False
Does 46 divide (2615/50*15/(-6))/(2/(-184))?
False
Does 37 divide 33281/2*(-22)/(-11)?
False
Let z = -1899 + 1911. Suppose -6*m = 5*r - 4*m - 15, 0 = 4*r + 2*m - 12. Is z/4 + 6 + r a multiple of 5?
False
Let h = -36 - -39. Suppose -2*w = h*l - 708, l = 2*w - 0*w - 724. Is w a multiple of 30?
True
Suppose 63142 + 3926 = 27*y. Is y a multiple of 10?
False
Let g be 0 - 5 - (5 + -191). Suppose 0 = -g*x + 180*x + 1540. Suppose 4*m = 11*m - x. Does 11 divide m?
True
Suppose 2*p + 3*q = -5*p + 57, -3*p + 43 = 5*q. Let o(l) = 40*l - 26.