= -n - w, -5*n + 2*w - 5*w + 95 = 0. Let m be (344/(-7))/2*(-56)/n. Suppose y + 2 = m. Is y a multiple of 42?
True
Let l be (-14)/(-8) + 40/32. Suppose -o - 2*o + l*z + 1440 = 0, -2*z = 2*o - 952. Does 31 divide o?
False
Let r be (3/4)/(2/8). Suppose -33*h - 940 = -14502 - 5743. Suppose -h = -8*q + r*q. Is q a multiple of 8?
False
Let j be 1/(1/(2*1)). Let o be (-3)/1*(-258)/258. Suppose o*t + j*t = 40. Does 8 divide t?
True
Let i be (2 - -2)/4 + (2 - 3). Is 11 a factor of 3*26 + i + 6?
False
Suppose 4*v = 163*v - 779413 + 120517. Does 15 divide v?
False
Suppose -5*r + 24 = 2*d, -4*r = -d - 2*d - 10. Let b(n) = 5*n**2 - 8*n + 11*n - 11 - 4*n**d. Is 2 a factor of b(-7)?
False
Suppose -5*f + 10 = -5. Let x be ((-612)/(-119))/(f/14). Suppose a + u = -0*a + 27, 2*u = -a + x. Does 10 divide a?
True
Let u be 4/14 + (-32)/112. Suppose u = 6*w - 31*w + 225. Is w a multiple of 3?
True
Let h(z) = 3*z - 2*z + 3*z - 5*z + 19. Let d be h(17). Suppose 42 + 228 = d*c. Is c a multiple of 15?
True
Let c(j) = 12 + 58*j + j**3 + 33*j + 50 + 14*j**2 - 66*j. Is 5 a factor of c(-8)?
False
Let m(w) = -294*w - 967. Does 11 divide m(-7)?
False
Suppose 5*y + 2*w - 10632 = 0, 7*w + 20 = 2*w. Is 56 a factor of y?
True
Is (-48486)/(-60)*25 + (-5)/2 a multiple of 100?
True
Let l(u) = -u**3 - 3*u**2 - 3. Let x be l(-3). Let w(g) be the third derivative of -g**6/120 - g**4/6 - g**3/2 + 152*g**2. Is w(x) a multiple of 6?
True
Let y(p) = 44*p + 3018. Is 67 a factor of y(38)?
True
Let v be (751 + -1)*-10*(-4)/80. Let g = v + 514. Does 50 divide g?
False
Is 111 a factor of -5 + 1883 + 3 + (-5 - (4 + -15))?
True
Let l(z) = z**2 + 7*z - 37. Let c be l(-11). Suppose -482 - 4523 = -c*m. Is m a multiple of 55?
True
Suppose -o - 42 = -7*z + 4*z, 0 = z - o - 16. Is 54 a factor of (-14)/(-91) - (-1402)/z?
True
Suppose 90*l - 463621 = -18166 + 1160865. Is 184 a factor of l?
True
Suppose 5*y - 125717 = -4*w, -4*w - 125 = -117. Does 51 divide y?
False
Let v = 66 + -28. Suppose -131 = -4*c + p, c + 0*p + 5*p - v = 0. Is 11 a factor of c?
True
Let y(p) = -p**2 - p + 2. Let f be y(1). Suppose f = 4*m - 786 - 46. Does 5 divide m?
False
Is 26 a factor of (-114)/190 + 87/(-30)*8742/(-3)?
True
Suppose 3*q = 2*u - 52172, -26*q + 26065 = u - 24*q. Is 10 a factor of u?
False
Let s(p) = -5*p - 27. Let z be s(-5). Let d be (-22 - -33)/(z/2). Is 22 a factor of (-12)/(-14)*d*21/(-3)?
True
Let x(b) = -b**2 - 27*b - 40. Let w be x(-17). Suppose -w*c + 651 = -127*c. Does 9 divide c?
False
Suppose 10*y = 14*y, -z - 380 = -5*y. Is 6 a factor of 6/(-21) - z/7?
True
Let p(b) = b**2 + 21*b - 618. Is 17 a factor of p(68)?
False
Does 25 divide ((-543609)/(-45) - 8/40) + 24/(-6)?
False
Let k(r) = r**3 + 13*r**2 - 17*r + 9. Let y(f) = -f**2 - 8*f - 5. Let g be (-110)/12 + (-5)/(-30). Let t be y(g). Is k(t) a multiple of 17?
True
Let x(h) = 23*h + 7 + 10 + 12. Let n(p) = 2*p**3 - 11*p**2 - 20*p - 1. Let t be n(7). Is x(t) a multiple of 10?
False
Let k = -18 + 15. Let m be 1/k + ((-2975)/15)/(-7). Let z = -12 + m. Is 3 a factor of z?
False
Let g = -2133 + 2687. Does 4 divide g?
False
Let p be 3*(-3 - -17) + 6. Suppose p*d - 52*d = -864. Does 12 divide d?
True
Let y = 945 + -523. Suppose -x = -y - 254. Is 52 a factor of x?
True
Let f(d) be the first derivative of -d**4/4 - 22*d**3/3 - 11*d**2 - 12*d - 59. Is 3 a factor of f(-21)?
True
Suppose 0 = -4*w + 4*a + 272, -a - 348 = 10*w - 15*w. Let p = 276 + -126. Let x = p - w. Is x a multiple of 8?
True
Suppose -4*v - 1517 = b, 9 = -b + 4. Let o = -245 - v. Does 5 divide o?
False
Suppose 18*n - 21*n = -z + 2408, 3*n + 18 = 0. Is 167 a factor of z?
False
Does 139 divide -1*(-32665)/(-3 - -8)?
True
Let c be 16/28*77/22. Suppose -c*t = -5*r + 1583, 0 = -4*r - 4*t - 468 + 1740. Is r a multiple of 36?
False
Suppose 0 = 3*g - 29 + 92. Let d = 134 + -133. Does 4 divide (5/5*(d + g))/(-1)?
True
Suppose -447*a + 379*a + 793152 = 0. Is 81 a factor of a?
True
Let h be (-1)/(0 + 4/16) + 2. Is 21 a factor of ((-5)/5)/(h/236)?
False
Is (10 - 608/57)*-100*(-666)/(-4) a multiple of 12?
True
Suppose -23*g - 89*g + 251757 - 33133 = 0. Is 7 a factor of g?
False
Suppose -5*j + 3*j = 82. Let u = j + 47. Is 13 a factor of (-64)/(-1*4/u)?
False
Suppose 169*o + 10*o - 593483 = -172117. Does 5 divide o?
False
Let x(q) = -2972*q + 51. Is x(-2) a multiple of 11?
True
Suppose -38*z + 5296 = -42*z. Let i = z + 1894. Is i a multiple of 7?
False
Suppose 0*y + 3 = y. Suppose y*c - c - 476 = 0. Suppose 0 = -7*t + 595 + c. Is 26 a factor of t?
False
Suppose -g - 2*d = 2*d + 1, 3*d = 3*g - 72. Suppose -5*u = 2*r + 187, u - 3*r - g = -70. Let x = 49 + u. Is 7 a factor of x?
False
Suppose 5 = -0*p + p + w, -p - 4*w + 8 = 0. Suppose -3*g - 2*k - p = 0, 1 = 2*g + g + k. Suppose g*x = -d - x + 13, -45 = -5*d + 5*x. Is 3 a factor of d?
False
Let y be (-10)/(-25)*4/(16/(-1420)). Let g = y - -152. Does 10 divide g?
True
Suppose -27 = -3*y - 5*i, -7*i + 32 = 5*y - 3*i. Suppose -4*n + 9*n - y*j = -274, -n = 5*j + 78. Let s = 154 + n. Is s a multiple of 5?
False
Suppose -11*g = -10*g + 3*j + 35, 5*g + j = -161. Let n(o) = -o**2 - 37*o - 7. Does 9 divide n(g)?
True
Let a(u) = -u**3 - 34*u**2 - 23*u - 145. Is 74 a factor of a(-39)?
False
Let o = 1 + -9. Let m be (4/6)/(o/12) - 17. Is 9 a factor of (m/7)/(1*(-1)/7)?
True
Let j(u) = -u**2 - 9 - 3 - 93*u + 17*u - 8 - 7. Is j(-31) a multiple of 24?
True
Let g = 3316 + -3142. Does 8 divide g?
False
Let l = -34398 - -49066. Is 272 a factor of l?
False
Suppose i + 114 = 118. Suppose -2*a = -6*m + 2*m + 72, 16 = i*a. Is 9 a factor of m?
False
Suppose -6*q - 66397 - 1706 = -13*q. Is q a multiple of 11?
False
Let i(d) be the second derivative of -8*d + 1/4*d**4 - 1/2*d**2 + d**3 + 0. Does 13 divide i(-4)?
False
Suppose -2*u = -2*v - 1138, 3*u - v = -5*v + 1686. Let m = u + -152. Let i = m - 202. Is 46 a factor of i?
False
Suppose -408*n - 3972 = -410*n. Is n a multiple of 16?
False
Let k = -4845 + 12687. Is k a multiple of 13?
False
Suppose 4*c - 26 = -o, -3*c + o + 0*o = -16. Suppose 3*g = -c*b + 2*b + 25, -b - 11 = -5*g. Suppose g*w = 5*i + 52, -2*w - i = -2*i - 23. Is 2 a factor of w?
False
Let x(s) = -s**3 + 14*s**2 - s + 23. Suppose -3*d - 4*f + 46 = 0, f = -4*d - 0*f + 57. Is 3 a factor of x(d)?
True
Let d be 54/(6/1) + -4. Suppose d*h - 55 = -x + 4183, h - 840 = -4*x. Is 32 a factor of h?
False
Let d(p) = -52*p + 45. Let m be d(-5). Suppose 24*t + m = 2201. Is 2 a factor of t?
False
Suppose 5*a + 22*d - 10491 = 23*d, -3*a - 2*d + 6279 = 0. Is a a multiple of 9?
True
Suppose -4*s - 784 = a - 27589, -11*s - a = -73705. Is s a multiple of 11?
False
Let j(q) be the first derivative of -q**4/2 - 8*q**3/3 + 5*q**2/2 - 6*q - 1042. Suppose -8 = -7*x + 3*x, 0 = -5*f - 4*x - 22. Is 9 a factor of j(f)?
True
Let y be (756/(-90))/((-2)/10). Suppose -4*x = n - 2*n - 97, 0 = -2*x - 4*n + 62. Is 18 a factor of (1*y)/(x/75)?
True
Let z(n) = -24*n + 266. Is 2 a factor of z(-41)?
True
Suppose 0 = p + 5*v - 1440, -7*p + 3*v + 5875 = -3*p. Let n be 1/((-5)/(-25)) + p. Suppose -n = 6*a - 13*a. Is 14 a factor of a?
True
Let p be (-4)/3 - -1 - 78/(-18). Suppose -p*a + 76 - 32 = 0. Does 5 divide -1 - -5 - -1*a?
True
Let k(p) = 15*p**2 + 8*p**2 + 20*p + p**3 - 2*p**2 + 18. Suppose 4*j + 100 = -5*w, 5*w - 80 = -j + 6*j. Does 13 divide k(j)?
False
Let q(m) = -42*m + 42. Let f be q(-10). Let h = 850 - f. Is h a multiple of 22?
False
Let r(q) = q**3 - 28*q**2 + 36*q + 32. Let c be r(27). Suppose 0 = -5*p + 155 + c. Is 8 a factor of p?
False
Let j be (2*(-2)/4)/((-4)/8). Suppose 4*i + 5 + 3 = -2*h, j*h = -8. Suppose 12*m - 4*m - 776 = i. Is m a multiple of 15?
False
Let b = -122 - -76. Let h be (b*(-3)/9 - -2)*9. Suppose -5*a - 46 = -h. Is a a multiple of 14?
False
Let m(c) = -c**3 + 13*c**2 + 32*c - 16. Let q(v) = -v**2 + 2*v + 46. Let w be q(7). Is 8 a factor of m(w)?
False
Suppose -2*s + 565 = -1001. Suppose -3*v - 4*l = -2264, -3*l - s - 3000 = -5*v. Is v a multiple of 35?
False
Let v(t) = 14 - 5*t - 3*t**2 - 3*t**2 - 9*t**3 - 14*t**3 + 19*t**3 - 7*t**3. Is v(-3) a multiple of 8?
True
Let k = 281 - 94. Suppose 0 = -194*c + k*c + 1988. Is 25 a factor of c?
False
Suppose 0 = -5*v + 766 + 159. Does 74 divide v*(96/(-40))/(3/(-2))?
True
Suppose -460139 - 143581 = -54*i. Is 20 a factor of i?
True
Is