*d**2 - 16*d + 6. Let r(g) = 3*g + 108. Let l be r(-34). Is 18 a factor of m(l)?
True
Let p be (-126)/(-210) - (32/(-5) + 1). Suppose 10*h + 642 = 5*k + p*h, -2*k + 264 = 2*h. Is k a multiple of 9?
False
Suppose -5*r - 1250 = -165. Let g be (-416)/(-312)*(-501)/2. Let q = r - g. Does 13 divide q?
True
Let n = 5273 - 2587. Does 84 divide n?
False
Let o = 15 + -9. Let r be 45/10 + 0 + (-9)/o. Let f(a) = a**2 - 2*a. Is f(r) a multiple of 3?
True
Is 7340 - 330/(-5 + 20) a multiple of 5?
False
Let h = -137 - -237. Suppose -h = -2*g + 2*v, -3*g + 4*v = 3*v - 142. Suppose 2*c - 34 - g = 0. Is 10 a factor of c?
True
Let w(b) = -644*b - 132. Let f be w(-9). Suppose 9*r = -3*r + f. Does 9 divide r?
False
Suppose 0 = -18*i + 27*i - 36. Suppose -5*u = y - 556, y + 2*y - i*u = 1573. Suppose -6*t + 1005 = -y. Is 32 a factor of t?
True
Suppose 13*a - 229389 = 378803. Suppose -10*q + a = 33*q. Is 32 a factor of q?
True
Does 5 divide (620 - (-1)/(-1))*10?
True
Suppose 4*z = -4*p + 180, -z - 2 = 1. Suppose -2*o - m = -2*m + p, -5*m - 110 = 4*o. Let x = o + 40. Is 3 a factor of x?
True
Suppose -68 = -2*i + 2*t, -9*i + 4*i = 4*t - 206. Is (-4)/i + (-3118)/(-19) + 4 a multiple of 14?
True
Does 49 divide (-417)/1668 + 21365*(-2)/(-8)?
True
Let j be 4/6*(0 - 6). Let k(n) be the first derivative of -n**4/2 - n**3 - 5*n**2/2 - 8*n + 507. Does 21 divide k(j)?
False
Let o(v) = v**2 + v + 3. Let l be o(0). Suppose -l = -w + 8. Suppose w*d = 4*d + 49. Is 2 a factor of d?
False
Does 8 divide 7138 - (-6 - (3 - -4))?
False
Suppose 5*x = -35*q + 29*q + 114510, -95432 = -5*q - 3*x. Is q a multiple of 230?
True
Is (-108)/(-90) + 397*(-4698)/(-45) a multiple of 12?
True
Let i be 4/(32/36)*-14. Let w be i/42 - (-282)/4. Suppose -c + 0*c - 213 = -4*n, w = n + 5*c. Does 6 divide n?
True
Let j be -34 + 0 + (-2)/8*-4. Let t be 1*(2/(-3) + 3938/j). Is (-5)/(20/6)*t/9 a multiple of 10?
True
Does 128 divide (339867 - 12)/15 - (-3)/(-3)?
True
Let x(m) = 20*m**2 + 33*m - 3. Let o(v) = 43*v**2 + 67*v - 6. Let a(y) = 6*o(y) - 13*x(y). Is a(-11) a multiple of 29?
True
Let x(a) = -166*a**3 + 5*a**2 + 42*a + 20. Is x(-6) a multiple of 48?
False
Suppose 2*u = 7*u - 13*j - 17248, -3*u - 2*j + 10388 = 0. Is u a multiple of 58?
False
Suppose 3*b = -5*g + 11, g = -2*g - 4*b. Does 4 divide (-18)/g*(-100)/6?
False
Let t(w) = 77*w + 504. Does 58 divide t(4)?
True
Let g be (-7 - -6) + 5 + (1 - 2). Suppose g*x - 70 - 131 = 0. Is 5 a factor of x?
False
Let x(y) = 12*y - 44. Let h be x(4). Suppose 0 = h*a + i - 702, -3 - 7 = 5*i. Does 22 divide a?
True
Suppose -132*k = -139*k + 19173. Is k a multiple of 20?
False
Let p(y) = -26*y. Let u be p(8). Let k = -149 - u. Is 10 a factor of k?
False
Let q = 166 - -129. Does 4 divide q?
False
Suppose 459*l - 468*l = -117180. Is 217 a factor of l?
True
Suppose 2*o + 0*g = -2*g + 10, g = -2*o + 7. Suppose 0 = -x - 5*k + 20, 0*k - 79 = -o*x + 3*k. Is x a multiple of 6?
False
Let x be 0 - 2 - 36/(-6). Suppose 2*i = -4*d + 5*i + 1249, 5*d - 2*i = 1570. Suppose 5*v = -2*j - 0*v + d, 614 = x*j + v. Does 10 divide j?
False
Is 149 a factor of 2*(1 + 1) - (95 - 30436)?
False
Let f be 3 - (-4 - (-7)/2)*-6. Suppose 5*u - 263 - 127 = f. Does 26 divide u?
True
Suppose -5*z - 38 = -53. Suppose -25 = 3*t + 2*k - 377, 2*k - 592 = -5*t. Suppose -z*d - 3 = -t. Is d a multiple of 3?
True
Suppose 5*g + 66 = 2*g. Let n = 68 + g. Let m = n + -38. Does 5 divide m?
False
Let g = -529 + 213. Let a = g - -429. Does 6 divide a?
False
Let s(y) = y**3 - 20*y**2 - 38*y - 22. Suppose 4*b - 3*j + 35 = 0, 3*b = -2*j + 6*j - 28. Let w be (2/(-4))/(b/352). Does 12 divide s(w)?
False
Let v(b) = 2*b + 343 - 21*b**2 - 39*b**2 + 57*b**2. Is v(0) a multiple of 8?
False
Suppose -k - 10*k + 33 = 0. Suppose -650 = -5*u - k*g + 275, -5*u - 4*g = -930. Does 10 divide u?
False
Let k(i) = 337*i + 7026. Does 80 divide k(62)?
True
Suppose -5*p - 52 = 188. Is (-3)/(9/p) + 1 + 3 a multiple of 6?
False
Suppose 287*c - 642383 = 173496 + 1411528. Does 212 divide c?
False
Suppose 4*f + 2 = 5*s - 7, -5*s - f = -29. Suppose 2*t - 19 = 5*b + 147, -415 = -s*t + 5*b. Does 6 divide t?
False
Let a(v) = -3 + 4 + 22 - 6*v + 5. Let o be a(-11). Suppose 2 = 3*p - o. Is 16 a factor of p?
True
Let n(u) = 13*u + 11. Suppose 14*s + 18 = -80. Let r(j) = j**3 + 7*j**2 + 4. Let x be r(s). Is n(x) a multiple of 6?
False
Suppose -2*x + 16 + 7 = 3*u, -5*u - 4*x = -39. Let p = 177 - u. Does 17 divide p?
True
Suppose x + x = -70. Let z(w) = -w**3 + w**2 - 15. Let o be z(-4). Let s = x + o. Does 10 divide s?
True
Suppose -2*c - 4 = -10. Suppose 4*b - 173 = 419. Suppose b = c*m - 32. Does 20 divide m?
True
Suppose -55*l - 984 = -2909. Let c(g) = g**2 - 3. Let q be c(3). Does 11 divide 102 + l/14*q/(-5)?
True
Let r = 0 - -6. Suppose u - r*u = 0. Does 35 divide 139 - (u/(-4) + (2 - 3))?
True
Let h(v) = -2*v**3 - 15*v**2 - 30*v + 2. Let q be h(-5). Suppose q*g - 14075 = 2*g. Is 11 a factor of g?
False
Suppose -5*s = -20*x + 16*x - 323, 0 = 4*s + 2*x - 248. Suppose -12411 = -84*l + s*l. Is 19 a factor of l?
False
Let a = 15 + 57. Let n = a + -69. Suppose -5*j = -n*u - 122, -6*j + 3*u = -4*j - 56. Does 22 divide j?
True
Let s(b) = 33*b**2 - 44*b + 14. Is 170 a factor of s(17)?
False
Let g(o) = 2*o + 17. Let f be g(-6). Let m(l) = -109*l**2 + 11. Let s(x) = 110*x**2 - 9. Let k(q) = f*s(q) + 4*m(q). Is 14 a factor of k(1)?
False
Suppose -333704 - 232346 = -45*a - 100570. Is a a multiple of 119?
False
Suppose -7*w + 3 = -4. Is 4 a factor of w*75/5 + (3 - 6)?
True
Let w(a) = -a**2 + 18*a + 66. Let l be w(21). Suppose -l*h - 5*o = -2045, 0 = 4*h - 2*o + 6*o - 2724. Is h a multiple of 10?
True
Let b = 17054 + -16654. Is b a multiple of 16?
True
Suppose 2*g + 0*g - z - 110 = 0, 2*g - 2*z - 106 = 0. Suppose 2*r - g - 69 = 0. Does 2 divide r?
False
Suppose 3*y + 57 = -4*t, -5*y + 0*y = 4*t + 47. Let q be 2/(-9) + (-706)/t. Let r = -9 + q. Is 15 a factor of r?
True
Is (980/3)/4 - (-18)/(-27) a multiple of 9?
True
Let i = 4 + 109. Suppose -q + i + 367 = 0. Is q a multiple of 40?
True
Let o(k) = -2727*k - 5184. Does 33 divide o(-14)?
False
Suppose 33*a - 109815 = -20880. Suppose 118*h = 125*h - a. Is h a multiple of 5?
True
Suppose -2110*d = -2114*d + 12600. Does 21 divide d?
True
Let h(v) = -26*v - 2. Let a(r) = -r. Let n = 16 - 17. Let s(k) = n*h(k) + 5*a(k). Is s(1) a multiple of 6?
False
Let w(b) = -10*b + 5 + 7*b + 2*b. Is w(-13) a multiple of 9?
True
Suppose w + 3*y = -112, 3*y = -2*w + 6*y - 260. Let i = w - -268. Is i a multiple of 6?
True
Let f(r) = 68*r + 306. Is f(27) a multiple of 21?
True
Suppose 4*o - l - 1523 = 0, -8*l + 11*l = 5*o - 1895. Let f = o + 372. Is 29 a factor of f?
True
Let p = -5321 - -13070. Does 7 divide p?
True
Let a(t) be the third derivative of 5*t**4/24 + t**3 + 6*t**2. Let z = -99 - -103. Is a(z) a multiple of 26?
True
Suppose 3*f + h = -244, 3*h + 192 = -3*f - 48. Let z = 99 - f. Suppose -x = 5*v - z, -488 = -0*x - 3*x - 4*v. Is x a multiple of 30?
False
Let h(f) = 16*f**2 - 715*f + 39. Does 22 divide h(45)?
True
Let l = -2590 + 6325. Is 83 a factor of l?
True
Let j(b) = -34*b**2 - 23*b. Let f be j(2). Is 37 a factor of (-20072)/f*(7 + 0)?
False
Let n(j) = -45*j - 84. Suppose 5*m + 23 = -4*i - 8, -3*m - 19 = 2*i. Is n(m) a multiple of 11?
True
Let f(u) = 35*u - 39*u + u**2 - 6 + 3*u**2 + u**3 + 2. Let w be f(-5). Does 12 divide (-120)/w*36/8?
True
Let m(n) = -14*n - 24. Let d(a) = a**2 - 22*a + 33. Suppose -2*w + 13 = -27. Let q be d(w). Is m(q) a multiple of 12?
False
Let d(l) be the second derivative of -l**5/20 - 13*l**4/12 + 13*l**3/6 + 31*l**2/2 + 7*l - 2. Is 2 a factor of d(-14)?
False
Let d be 2096 + ((-12)/4 + 5)/1. Let x = d - 1212. Is 12 a factor of x?
False
Is 46 a factor of (11300/200)/(1/92)?
True
Let g(w) = 15*w - 123. Let l be g(24). Suppose -c = 2*a - l, -a + 67 = 2*c - 56. Does 13 divide a?
True
Let u(g) = -g**3 + 30*g**2 + 55*g + 350. Does 3 divide u(31)?
False
Let n = 66 + 143. Suppose n + 253 = 11*d. Suppose -4*j = -j - d. Does 2 divide j?
True
Suppose -25 = -5*j, 6 = -3*r - j + 26. Suppose -2*g = -5*a + 996, 0*g + r*g + 790 = 4*a. Suppose -t = 3*s + t - a, -2*s + 135 = t. Does 10 divide s?
True
Is -4*18/(-27)*786/8*8 a multiple of 9?
False
Suppose -13*f - 2*r - 12678 = -17*f, -5*f - 5*r = -15810. Does