-160 + 166. Is 57 a factor of (28/(-12))/(-7) + 2734/s?
True
Let z(g) = 64*g**3 - 60*g**2 - g + 1. Is z(5) a multiple of 8?
True
Let c(j) = 4*j**3 + 34*j**2 + 12*j - 2. Let y(s) = -s**3 - 11*s**2 - 4*s + 1. Let a(n) = 4*c(n) + 14*y(n). Let p be a(10). Let d = 174 - p. Does 12 divide d?
True
Let z(m) = -m**3 - 13*m**2 - 18*m - 20. Let i be z(-14). Let v be ((144/7)/(-2))/((-456)/10640). Let q = i - v. Is q a multiple of 21?
False
Let m(r) = 16*r**2 + 81*r + 2000. Is m(-20) a multiple of 45?
False
Let f(b) = 9 - 9 - 4*b - b**3 + 6*b**2 + 0. Let o be f(5). Is (-2)/o - 3960/(-25) a multiple of 42?
False
Let v(r) = 6*r - 21. Let q(h) = 13*h - 42. Let o(s) = -6*q(s) + 14*v(s). Let m be o(5). Is 13 a factor of ((-611)/52)/(1/m)?
False
Suppose -42*g + 1820093 = 18*g + 673313. Is g a multiple of 32?
False
Let m = 998 - -1522. Suppose 25*t + m = 31*t. Is t a multiple of 7?
True
Let w = 111 + -63. Suppose -126*r - 62 + 188 = 0. Does 21 divide 5/(140/w)*49*r?
True
Suppose 3162 - 509 = 3*r - 5*h, -4*r - 4*h + 3580 = 0. Is 81 a factor of r?
True
Let x(l) = 27*l**2 - 23*l - 134. Is x(-9) a multiple of 5?
True
Let w(o) = -220*o + 170. Suppose 3*m = -7*s + 2*s + 184, 5*s - 190 = -5*m. Let c(n) = -13*n + 10. Let l(q) = s*c(q) - 2*w(q). Does 25 divide l(-6)?
True
Suppose 3*o + 36 = 9*o. Suppose o*j - 11*j = -420. Suppose 0 = 4*d - 840 - j. Does 11 divide d?
True
Suppose -4*h - 4*v = -8*h + 348, 0 = -2*v - 10. Suppose -2*m = 2*n + 6, -n + 3*n + 6 = -5*m. Suppose 5*l + h - 737 = m. Is l a multiple of 21?
False
Suppose 2460 = 6*m - 8682 - 4146. Is m a multiple of 4?
True
Suppose 11 = -5*o + q, -2*o - 3*q = o + 3. Is 51 + 3/(-3) - (o + 2) a multiple of 2?
True
Suppose 0 = 14*y + 28*y - 250488. Is y a multiple of 14?
True
Suppose 2*n = n + 4, -2*s - n = -158. Suppose -s*i = -80*i + 204. Is 24 a factor of i?
False
Let x(d) = -79*d**2 - 2*d + 1. Let i be x(1). Is 23 a factor of (696/(-10))/(332/i - -4)?
False
Suppose 0 = 2*v - 2*j - 4, 0 = v + j + j - 17. Let y(u) = -u**2 + 11*u - 231. Let n(b) = -2*b**2 + 23*b - 496. Let m(t) = 6*n(t) - 13*y(t). Does 10 divide m(v)?
False
Let y(p) be the third derivative of -19*p**4/24 - 4*p**3 + 12*p**2. Is 32 a factor of y(-8)?
True
Suppose 3*n - 4*v = 27991, -48*n - 8*v = -50*n + 18618. Is n a multiple of 35?
False
Let b be ((-2)/(12/2685))/((-1)/4). Suppose -2243 = -3*q - 2*q + 4*h, -h - b = -4*q. Is q/15 - 3/45*-3 a multiple of 16?
False
Let k(o) = -4*o + 135. Let g(j) = -4*j**2 - 41*j + 2. Let v be g(-10). Is 29 a factor of k(v)?
True
Suppose 0 = -4*d + 279 + 65. Let c = 455 - d. Does 51 divide c?
False
Let v(a) = -29*a - 19. Let n(c) = -c. Let x(o) = 4*n(o) + v(o). Suppose -25*s = -21*s - 14*s - 80. Does 49 divide x(s)?
True
Let s(w) = 6*w**2 - 13*w - 81. Is 64 a factor of s(-7)?
False
Suppose 11*t + 2132 = 13*t - r, 1075 = t - 5*r. Is t a multiple of 15?
True
Does 21 divide (3 - 17619/(-7))/(5/10)?
True
Let p(i) = -22*i**3 + 3*i**2 - 119*i - 1264. Is p(-10) a multiple of 18?
False
Suppose -23*a = 8*a - 73059 - 105222. Does 71 divide a?
True
Let l(f) = 31*f**3 - 93*f**2 - 12*f + 92. Is l(10) a multiple of 9?
True
Suppose 4*s + 42 - 26 = 0. Let a(u) = 5*u**3 + 7*u**2. Let i(o) = o**3 + o**2 + o + 1. Let h(x) = -a(x) + 4*i(x). Is h(s) a multiple of 2?
True
Does 45 divide (7 - (-129)/(-21))/(2/5250)?
True
Let d(p) be the third derivative of -73*p**6/120 - p**5/60 + p**4/8 + p**3/2 + 7*p**2 + 2*p. Does 9 divide d(-1)?
True
Let m be -14 + 14 + 3/1. Let z(h) = h**2 + m*h + 2 - 17 + h - 17*h. Is z(17) a multiple of 3?
False
Let o(l) = 3197*l + 1129. Is 27 a factor of o(3)?
False
Suppose -4*d - 3*y + 29 + 30 = 0, -10 = -d + 4*y. Let n(w) = 51*w - 118. Is 7 a factor of n(d)?
False
Let j = 575 - 938. Let v = j + 675. Does 48 divide v?
False
Let q = -264 + 117. Let h = q - -78. Let x = 89 + h. Is x a multiple of 4?
True
Let f(s) = 7*s**2 - s + 4. Let q be f(2). Suppose -q = -4*w + 126. Suppose 30*x - w*x + 216 = 0. Is x a multiple of 5?
False
Suppose -883 = -10*d + 2527. Suppose 2*l - 3*w = d, 4*l - 692 = -2*w + 6*w. Does 16 divide l?
False
Suppose -y = -4*b - 74 + 78, -y - 3*b + 31 = 0. Let a = -85 + 163. Suppose -g = -a - y. Is g a multiple of 24?
False
Let c(u) = -7*u**3 - 12*u**2 + 8*u + 25. Does 12 divide c(-6)?
False
Suppose -2*k + 2 = -2. Let y be (-20)/(-7) + k/14. Is (2/y)/(2/276) a multiple of 15?
False
Is (-2)/(8 - 621387/77675)*3/(-6) a multiple of 69?
False
Let u(g) = 10 + 14 - 9 - g. Let k be u(13). Suppose -272 = -2*z - p, -91 = -4*z + k*p + 445. Does 38 divide z?
False
Does 5 divide 10/(-6) + (-13847005)/(-1095)?
False
Let f = -116 + 214. Suppose 0 = -6*s + 40 + f. Is 23 a factor of s?
True
Let y = -554 + 561. Suppose 152 = y*h - 100. Is h a multiple of 5?
False
Suppose -3*r = -9*r - 3*r. Suppose 0*k - 5*h - 288 = -2*k, r = -4*k + h + 558. Is 9 a factor of k?
False
Suppose -14749*k + 14722*k = -9180. Does 68 divide k?
True
Let f(b) = -b**3 + 119*b**2 + 142*b - 1515. Is f(117) a multiple of 17?
False
Let w be 10/3*180/100. Suppose 2*x - f = 572, -4*x + w*x + f = 568. Does 19 divide x?
True
Let x = -7139 - -13799. Does 100 divide x?
False
Let j be (4/(-26))/(50/(-1300)). Suppose a = -2*h - j + 11, -3*a + 27 = 4*h. Is 13 a factor of a?
True
Let i(j) = -4531*j + 7179. Does 145 divide i(-6)?
True
Let f be 1307/((-2)/2)*(-63 - -64). Let h = f + 2837. Does 51 divide h?
True
Let l(z) = z**3 - 8*z**2 - 8*z - 7. Let u be l(9). Suppose -123 = -f - u*a + 43, -2*f - a = -335. Does 12 divide f?
True
Let q be 20/((-4)/1560*5). Let y = q - -2397. Does 18 divide y?
False
Let v = -69 - -71. Let a be 146 - v*5/5. Suppose -3*z - a = -6*z. Is z a multiple of 8?
True
Let d = -6951 + 8425. Is 64 a factor of d?
False
Let q(k) = 48*k - 16. Let h be q(7). Suppose -10*p + h = -5*p + 5*t, -t = -3*p + 176. Is p a multiple of 4?
True
Let r = 20465 - 18209. Is 16 a factor of r?
True
Let s = 461 + -458. Does 9 divide (651/124)/(-2*s/(-456))?
False
Does 3 divide (5036 - -296) + 17 + 0?
True
Let k be (-170)/4*(-4 - -2). Let d be k - (8/16)/(2/(-4)). Suppose 4*m + d = 2*q + 8*m, 0 = 5*q - 5*m - 170. Is q a multiple of 5?
False
Let f(x) be the first derivative of 4*x**3/3 + 5*x**2/2 - 9*x - 42. Let y be f(-7). Suppose 2*v = 4*b - 598, 2*b - 3*b = -v - y. Does 21 divide b?
True
Suppose -21*x = 758 - 6638. Suppose -32*f + 27*f + x = 0. Is 2 a factor of f?
True
Let k be ((-3)/2)/(1/(-2)). Suppose 12 = o + 5*g, k*o - 5*g + 3*g = 36. Suppose 42 = o*r - 11*r. Is 23 a factor of r?
False
Let d(c) = -c**3 - 5*c**2 + 8*c + 60. Suppose -4*b - 18 = 3*a, 2*b = 3*a - 17 - 1. Is 16 a factor of d(b)?
True
Suppose j = 5*w - 3 - 14, 0 = -3*j - w - 67. Let d(n) = -12*n + 14. Let x be d(5). Let l = j - x. Is 8 a factor of l?
True
Is (-6)/28 - 27161661/(-1218) a multiple of 20?
True
Let j(f) = -286*f + 10413. Does 232 divide j(0)?
False
Suppose 3*h = 0, -26*d = -28*d - 2*h - 12. Is -6 - d/(18/1515) a multiple of 7?
False
Suppose -15*v - 1996 = 1319. Is 18 a factor of 0 - (v + (-7 - -7))?
False
Let c be 3/(-15) + 76/5. Is 22 a factor of (36/c)/(12/360)?
False
Let h(l) = 72*l**2 + 30*l. Is h(5) a multiple of 11?
False
Let g = -128 - -252. Let c = g + -15. Is 12 a factor of c?
False
Let v = 204 + -144. Suppose 0 = -5816*j + 5782*j. Suppose -u + v = -j*u. Is u a multiple of 10?
True
Let k = 13331 - -20524. Is 23 a factor of k?
False
Let w be (4/4)/(1/38)*-12. Let j be (2052/15 + -4)*5. Let m = j + w. Is m a multiple of 52?
True
Suppose -3*s + 108 = s. Suppose 3*b = 33 - s. Is -2*b - (-2 - 23) a multiple of 21?
True
Suppose t + 5*n - 633 = 0, 1261 = 2*t + n + 4*n. Let x = -239 + t. Is 9 a factor of x?
False
Suppose 0 = -0*d - d + 2. Suppose -9*p = -5*p + d*m - 928, 0 = -5*p - 3*m + 1160. Does 29 divide p?
True
Suppose -237*t = -236*t - 4. Suppose 3*d - 5*d - 1877 = -3*j, 2*j - t*d - 1254 = 0. Is j a multiple of 54?
False
Suppose 4*y - 34183 = -p, -2*p - 482 + 488 = 0. Does 114 divide y?
False
Let j(q) = q**2 - 16*q + 4. Suppose 3*y + 4*n - 52 = 6*n, 5*n = 2*y - 42. Let w be j(y). Suppose -5*m + 3*x + 14 = 0, 0*x - 2*x + w = 0. Is m even?
True
Suppose -y + 32928 = 23*y. Is y a multiple of 7?
True
Let d be (42/4 - 1)*(-76 + 82). Suppose 4*z + 3*l - d = 0, 2*l = 4*z - 3*l - 33. Is 12 a factor of z?
True
Let j be 4/18 + 4530/27 + 2. Let y = j - -90. Suppose -3*i = 2*m - y, -5*m = 5*