Let p be (-2942)/(-2)*1 - (-2 + 3). Suppose -n = u - 492, u = -2*u - n + p. Does 53 divide u?
False
Let q(w) = -81*w**3 - 5*w**2 + 8*w - 17. Let v(i) = -i**2 + 2*i + 1. Let j(g) = -q(g) + v(g). Is 117 a factor of j(3)?
True
Suppose a - 176*j + 173*j - 2346 = 0, -4*a + 4*j = -9368. Is a a multiple of 30?
True
Let b be (-26)/65*(-1 - 4). Let p(v) = 9*v + 1. Let u be p(b). Is 8 a factor of (-5)/((-5)/(-2)) + u + 3?
False
Let x(u) = 8*u + 3. Let w be x(-12). Let b = w + 173. Is ((-33)/(-2))/(24/b) a multiple of 11?
True
Suppose -2052044 - 501441 - 1067171 = -169*i. Is i a multiple of 98?
False
Let n(i) = i**3 + 2*i**2 + 2*i + 3. Let z be n(-4). Let a = -56 - z. Let d = a + 43. Does 4 divide d?
True
Suppose -3142 = -v + 2*h, -930*v + 5*h = -933*v + 9470. Is 75 a factor of v?
True
Let g(z) = 3*z**3 + 26*z**2 - 8*z + 6. Let l be g(-9). Does 10 divide (-1)/l*(-2)/(-6)*6381?
False
Let m be 50*((-32)/(-20))/4. Suppose 17*q + 12 = m*q. Suppose 2*g - 400 = -5*y, -5*g = -q*y + 300 + 20. Does 20 divide y?
True
Let a = 35415 + -32358. Is 6 a factor of a?
False
Let d be (-8)/2 - (5 + -238 + 4). Let g = d - -47. Suppose 0 = 5*n - 3*t - g - 520, -t = 5*n - 776. Is n a multiple of 13?
True
Let z(v) = -5*v**2 - v - 1. Let l = 14 + -11. Let k be z(l). Let o = k - -196. Is o a multiple of 13?
False
Let h be -7*2*(-2)/(-4). Let n be (-1 - -2)*(-1 - -1). Is 4 + n + (-364)/h a multiple of 14?
True
Suppose -6*u + 146 = -22. Let f = u + -32. Does 13 divide (-1)/f + (-495)/(-4)?
False
Let p(g) = 269*g - 30. Let m be p(5). Suppose -43*n + 38*n = -m. Does 17 divide n?
False
Let n be 1 - (-758)/(3 + 3 - 4). Suppose 0 = -f + 6*f - n. Does 19 divide f?
True
Suppose -5*y - 7*y = -60. Suppose 5*d - 735 = -4*q, -y*q - 4*d = -0*q - 912. Does 12 divide q?
True
Is (-24 + 0)/((-42)/1960) - -3 a multiple of 39?
False
Suppose 317*z = 322*z - 180. Suppose z*b = 32*b + 988. Is 19 a factor of b?
True
Let d(z) = z**3 + 6*z**2 - 2*z - 9. Let m be d(-6). Let h(k) be the third derivative of k**5/60 - k**4/12 - 123*k**2. Is 2 a factor of h(m)?
False
Let p be ((-92*3)/(-2))/2. Let h = p + -147. Let s = 82 + h. Does 2 divide s?
True
Let b be 50/(-30)*(-6)/5. Suppose 0 = -2*y + 24. Suppose -d + 2*f = -21 - y, -3*d + b*f = -111. Does 26 divide d?
False
Let i(o) = 32 + 38 + 9*o - 26. Let b be i(-6). Does 3 divide (0 + 26)*(b/4 - -3)?
False
Is 12 a factor of (-3 + 4 + -2)/(((-1)/(-5273))/(-1))?
False
Let v be ((-10)/15)/((-1)/3). Suppose 11*y + 46 = v. Let g(l) = -2*l**3 - 5*l**2 + 2*l + 5. Is g(y) a multiple of 6?
False
Suppose -4*f + 322 = 2*k, 5*f - 56 - 339 = 5*k. Is 16/(-5) + 3 - (-19456)/f a multiple of 7?
False
Let h = -1188 - -4527. Is h a multiple of 63?
True
Suppose 0 = 8*w - 19 + 3. Let l(f) = 69*f + 9. Is 7 a factor of l(w)?
True
Suppose 26*l - 82 = 568. Suppose -5*h = -3*x - x + 60, 22 = x - 3*h. Is 4 a factor of (-6)/(l/x - 4)?
True
Suppose -689764 - 29385 = -15*o - 73744. Is 202 a factor of o?
False
Let k be ((-68)/(-10) + 0)/(4/10). Let a be -1 - (-2 - 0 - 4). Suppose -a*u + 53 = -k. Does 14 divide u?
True
Let j(a) = 2*a**3 + 183*a**2 + 174*a - 416. Does 27 divide j(-90)?
False
Let k be 3/12 - (-45)/12. Suppose 10*d - 7*d = -n + 993, -4*n - 1308 = -k*d. Is 33 a factor of d?
True
Suppose -f - 2*u = -35 + 239, 3*u + 3 = 0. Let i = 563 + -210. Let z = i + f. Does 19 divide z?
False
Let w(c) be the first derivative of c**3/3 - 3*c**2/2 + 2*c - 40. Let t be w(2). Suppose -5*i + 16*i - 539 = t. Does 10 divide i?
False
Let n(u) be the first derivative of -12 + 1/3*u**3 - 26*u + 7/2*u**2. Does 4 divide n(6)?
True
Let j be (-3)/((-3)/640) + -3. Let z = j - 452. Does 6 divide z?
False
Is 17 a factor of 8/1 + -4*(-1968)/2?
True
Suppose 126246*n - 491045 = 126229*n. Is n a multiple of 14?
False
Suppose -26*l = 12*l - 36171 - 39107. Is l a multiple of 7?
True
Suppose 798 = 3*t - 3*p, -1360 = -5*t - 0*t - 5*p. Suppose -59 - 169 = 2*j. Let g = t + j. Is 12 a factor of g?
False
Let d = -8570 - -15206. Is d a multiple of 28?
True
Let r be (-159)/(-7) + 4/14. Suppose 21*w - r*w = -254. Is w a multiple of 13?
False
Let u be -2 + 28 + (5 - 3). Suppose 4*d - c = -0*c - 28, 3*c - u = 4*d. Let h(l) = -10*l - 6. Does 16 divide h(d)?
True
Does 33 divide (3*1028/48)/((-4)/(-20))*24?
False
Let g(p) be the second derivative of p**4/6 + 4*p**3/3 + 47*p**2 - 44*p. Does 17 divide g(-7)?
True
Is 16 + 28568/(-72)*-9 a multiple of 5?
False
Let r(d) = d**3 - 20*d**2 + 3*d - 93. Let i(p) = -p**2 - p. Let b(u) = 5*i(u) + r(u). Does 12 divide b(26)?
False
Suppose 4*x - 3*i - 300 = 0, 0 = -x - i + 21 + 54. Let r be 5/(-1)*(-45)/x. Suppose 4*y - 114 = -2*l, -3 + 211 = 4*l + r*y. Does 18 divide l?
False
Suppose c - 9691 = -4*a + 4943, -c - 2*a + 14632 = 0. Does 190 divide c?
True
Is (4*(-10)/(-120))/(1/52938) a multiple of 41?
False
Is (55/10*2 - -6339) + -5 a multiple of 3?
True
Suppose 11544 = 16*v - 10*v. Suppose v = 16*y - 3*y. Is 37 a factor of y?
True
Suppose -4*j + 151 = 127. Does 3 divide ((-72)/(-48))/(j/(-16)) - -187?
True
Let i be (39/26)/(5/(-8) + 1). Let g(b) = i*b + 159 - 114 - 78. Is 13 a factor of g(14)?
False
Let g = -2610 + 4481. Let j = g + -1319. Is 24 a factor of j?
True
Let k(m) = m**3 - 11*m**2 - 16. Let x be k(11). Is 15 a factor of (-15)/(-40) - 2/(x/2397)?
True
Let j be (-16)/104 + (-10012)/(-13). Suppose -3*x - 3*c - 359 + 2729 = 0, 3*c = x - j. Suppose -59 + x = 6*v. Does 23 divide v?
False
Is 35 a factor of ((-36)/16*2)/((-306)/310692)?
False
Let i be 13504/80*(-2 + (-14)/(-2)). Suppose 3*q + 197 = l, q - i = -4*l - q. Does 6 divide l?
False
Let r(o) = 53*o - 24. Let y(w) = -2*w**3 + 5*w**2 + w - 3. Let g = -65 + 67. Let d be y(g). Is 20 a factor of r(d)?
False
Let y(j) = -4*j**3 + 3*j**2 + 2*j - 1. Let k be y(-1). Let c(o) = 55*o + 21. Is c(k) a multiple of 20?
False
Let s = 8078 - -9761. Is s a multiple of 96?
False
Suppose 0 = 2*j - 5*t + 18, 18*j - 4*t = 20*j. Does 23 divide (6 - j) + -11 - (2 + -1222)?
True
Suppose -4*x + 115 = -b + 842, 2*b = -3*x - 559. Does 32 divide (x/(-2))/(3/(-56)*-7)?
False
Let z be (2 - 1) + (-14 + 3)*5. Let c be (-4 - z/15) + (-128)/5. Is 8 a factor of 1*-4 + (11 - c)?
False
Let c(k) = -23*k**2 + 5*k + 1. Let y be c(-7). Let d = -790 - y. Does 23 divide d?
False
Let i = -1 - -51. Let n = i - 47. Suppose -n*a + 630 = 2*j, 5*a - 1179 + 145 = 2*j. Is a a multiple of 16?
True
Let t(p) = -120*p + 19. Let m(l) = 30*l - 5. Let g(y) = -9*m(y) - 2*t(y). Does 8 divide g(-4)?
False
Let s = 282 + -286. Is 16 a factor of 6 + 3*(-568)/s?
True
Let c(s) be the second derivative of 19*s**4/12 + s**3/3 + 2*s**2 - s. Let x be c(-3). Is x - (-6 + 2) - -1 a multiple of 31?
False
Suppose 927 = 4*j - 4*m + 211, -3*m = 0. Suppose -178*d = -j*d + 1044. Is d a multiple of 12?
True
Let w be (-217)/49 + 3/7. Let x be (-3 - (w - 0))*(4 - 2). Suppose -x*a + 149 = -71. Does 11 divide a?
True
Let c = 11123 - 5414. Is 67 a factor of c?
False
Let n(r) = -r**3 + 5*r**2 - r + 2. Let q be n(5). Does 110 divide (-18 - -2066) + (-4 + 1)/q?
False
Let w = -253 - -5145. Is 64 a factor of w?
False
Suppose -64 = 5*l - 3*r - 3934, -3*l - 2*r = -2322. Let n = -288 + l. Is n a multiple of 54?
True
Let f = 101 + -99. Let x(h) = 9 + 10 + h**f - h - 20. Is 4 a factor of x(-4)?
False
Let o be 0*(1/4*18 + -5). Suppose o = -11*g - 86 + 1417. Does 6 divide g?
False
Suppose -j - 9 = 2*d, 0 = -j - 4*d - 8 - 1. Is 13 a factor of 2 + 73 + j/3?
False
Suppose -4*x - 4364 = -2*p, 20 = 4*x + 16. Suppose 52*c = 44*c + p. Is c a multiple of 7?
True
Let i(m) = -8 - 4 + 126*m + 7 + 1. Let f be i(2). Suppose -2*u + f = 3*u - 4*h, -200 = -4*u + 4*h. Is 4 a factor of u?
True
Suppose -5*y - 3*q = -16, -5*q + 7 = 4*y + 2. Let s be 6/(-33) - (-9324)/99. Suppose -3*b - 92 = -y*c - 0*b, 5*c = b + s. Is c a multiple of 19?
True
Suppose 2*z = -o + 8360, -578*z = -3*o - 579*z + 25105. Does 93 divide o?
True
Suppose -12 = 4*f, -2*m + 4*f + 183 = 31. Suppose 6*w - 2*p - 120 = 4*w, 4*w = p + 240. Let c = m - w. Does 10 divide c?
True
Let r = -15 - -44. Let q(y) = y**2 + 75*y + 448. Let m be q(-69). Suppose -m*h + 35 = -r*h. Does 5 divide h?
False
Suppose 18858*y + 67326 = 18865*y. Is 42 a factor of y?
True
Suppose -3*l = 5*k + 793 - 2164, -3*k - 1857 = -4*l. Is l a multiple of 3?
True
Does 175 divide (1 + (-28 - 1))*(-22 + 26 - 212)?
Fa