se
Let k be (((-36)/16)/9)/(6/(-32376)). Suppose -k = -4*z + 1867. Is 39 a factor of z?
False
Let j(l) be the first derivative of -3*l**2/2 - 13*l + 5. Let a be j(-5). Suppose -5*z = -4*b - 171 - 13, -a*z = -3*b - 75. Is 9 a factor of z?
True
Suppose -5*w - 11*w = -w - 85050. Is w a multiple of 15?
True
Suppose 6*c - 9*c + 9 = 0. Suppose -c*u + 8*u - 25 = s, -4*s = -4*u + 4. Is 3 a factor of ((-45)/u)/((-8)/(32/3))?
False
Let a = 15 - 12. Suppose -3*j = -4*t - 7*j + 1440, 3*j + 1074 = a*t. Is 32 a factor of t?
False
Suppose -2*l + 259 = 385. Let q = 250 - l. Is 22 a factor of q?
False
Does 19 divide (11260/(-30))/(16/(-456))?
True
Let n(d) = -8156*d + 5108. Is n(-4) a multiple of 58?
False
Suppose 19*y + 2589 - 18454 = 0. Is y a multiple of 2?
False
Suppose -79*z + 120520 = -33*z. Is z a multiple of 6?
False
Let n(l) = 3*l**2 + 41*l + 25. Let d be n(-13). Is 31 a factor of 24/(-6)*d - -273?
False
Let h be -35 + 35 - (1 + -1). Suppose -d + m + 71 + 55 = 0, h = -d - 3*m + 118. Does 34 divide d?
False
Suppose -26*g + 25*g - 7 = 0. Is (3 - 2866)/g + (-1 - -2) a multiple of 51?
False
Suppose -q = 4*k + 41097 - 112783, -10*k + q + 179222 = 0. Is k a multiple of 206?
True
Let u(a) = 2*a**2 - 27*a - 176. Let x be u(-5). Suppose -3*n + 375 = 5*y, -2*y + 150 = -x*n + 4*n. Is y a multiple of 6?
False
Suppose 0 = 6*z + 19 + 11. Let b be (-1434)/(-26) + (-12)/78. Let t = z + b. Is 14 a factor of t?
False
Is 16 a factor of 668 + (-4 - -14) + 14?
False
Let o be ((-10)/15)/(0 - 4/(-132)). Is 44 a factor of 906 - (84/o + 4/(-22))?
False
Let b = -389 + 1951. Does 142 divide b?
True
Suppose -22*y - 1339 = 72*y - 69019. Does 20 divide y?
True
Suppose 0 = -3*o + 272 - 206. Does 9 divide (-54)/(-4)*(28 - o)?
True
Let g(m) = -3*m**3 - 10*m**2 - 11*m + 2. Let x be g(-8). Suppose -2*n - 33 = -33. Suppose s = d + 197, x = 5*s - 4*d - n*d. Is s a multiple of 33?
True
Let f = -343 - -348. Is ((-230)/f*1)/(1 - 3) a multiple of 17?
False
Let t(x) = x**3 + 10*x**2 + 9*x + 10. Let n(i) = -i**2 + 2*i + 10. Let s be n(-6). Let w = 29 + s. Is t(w) a multiple of 4?
False
Let r(w) = -110*w**3 + 2*w**2 + 3*w + 1. Suppose 2*u + j = 0, 4*j - 3 = -5*u - 0. Is r(u) a multiple of 11?
True
Let l(s) = s**3 - 14*s**2 - 98*s + 23. Is l(26) a multiple of 37?
True
Suppose -4*l + 6 + 12 = 2*x, 3*x - 3 = 0. Suppose -187 - 637 = -l*j. Is 34 a factor of j?
False
Let c be -6*(-8)/36*33. Suppose -4*j - 14 = -2*r - c, 6 = -j - 4*r. Is 9 a factor of 615/9 + j/9?
False
Suppose 0 = 13*l - 2330 - 205. Suppose -330 = -4*u - n + 3*n, -5*n + l = 2*u. Is 14 a factor of -3 - u/(-30) - 1681/(-6)?
True
Let g(z) be the third derivative of z**5/60 - 13*z**4/12 - 28*z**3 + 25*z**2. Does 8 divide g(-8)?
True
Suppose 27*x - 168 = 534. Suppose 31*b - x*b = 685. Is b a multiple of 3?
False
Let l(b) = -3*b + 28 + 0*b**2 + 12*b + b**2 - 18*b. Let g be l(7). Is 250 + g - (2/1 - -2) a multiple of 17?
False
Let z be -2 - (2/(-10) - 126567/15). Suppose -78*k = -90*k + z. Is k a multiple of 19?
True
Let k(p) = 5*p**2 - 2*p - 2. Let b be k(-2). Suppose 0 = -2*g + u + 1, -3*u = g - b + 4. Suppose g*x = -j + 297, 0*j + 406 = 4*x - 2*j. Is x a multiple of 8?
False
Suppose 16*t - 48800 = -p, -5*t - 5*p + 0*p = -15250. Does 5 divide t?
True
Let n = 8600 + 1340. Is 5 a factor of n?
True
Suppose -3*j + 633 = -2*b, 0 = 5*j - 3*b + 6*b - 1055. Let n = 224 - j. Does 8 divide n?
False
Let k(o) = -o**3 - 9*o**2 + 66*o - 38. Let c be k(-14). Suppose 9 = -s - 2*s. Is 11 a factor of c - 3*s/9?
False
Let z(y) = -9 + y + 38*y - 3. Suppose 2*w = -5*p + 8, 6*p - 3*p + 2*w = 0. Is 16 a factor of z(p)?
True
Suppose 2*j + 2*n = -108, -270 = 5*j + 3*n - n. Let i = 52 + j. Does 10 divide (120 + 3)/((-3)/i)?
False
Let f(d) = 27*d**2 - 19*d - 1249. Let x(a) = 5*a**2 - 4*a - 250. Let i(v) = 2*f(v) - 11*x(v). Does 13 divide i(17)?
True
Let s(j) = 1481*j**2 + 21*j - 2. Is 38 a factor of s(-2)?
False
Let o be 3/(-4)*(-36)/(-27). Let t(b) = -1047*b**3 - 2*b**2 - 11*b - 9. Is t(o) a multiple of 29?
False
Let v = -41 - -44. Suppose -2*a = 4*q - 28, 4*q = -v*a + 2 + 30. Does 4 divide a?
True
Let i(h) = -5*h**3 - 20*h**2 + 15*h. Let u(b) = -b**3 - 2*b**2 + 1. Let m(j) = i(j) - 6*u(j). Is m(7) a multiple of 10?
True
Let v(b) = 9*b**2 + 5*b + 23. Let f = -63 + 62. Let x(j) = -4*j**2 + j + 1. Let y be x(f). Is v(y) a multiple of 21?
True
Suppose 363*t - 504 = 354*t. Suppose t*d + 6444 = 62*d. Does 29 divide d?
False
Let x be ((-16)/36)/(12/(-54)). Let q be 23/4 + x/8. Is (q/18 + 0)/((-2)/(-222)) a multiple of 7?
False
Suppose 0 = c - 9 + 6. Suppose c*p + 30 = -2*p. Is 14 a factor of 31 + 1/(2/p)?
True
Let i(m) = 113*m**2 + m + 18. Does 6 divide i(-6)?
True
Let d(l) = -96*l + 1218. Does 6 divide d(-41)?
True
Let q be 10 + -6 + 2 - 4. Is 39 a factor of (q/1)/(0 + (-2)/(-724))?
False
Let k(s) = 70*s + 4971. Is 12 a factor of k(55)?
False
Let i(l) = 182*l - 6. Let g = -293 + 296. Does 18 divide i(g)?
True
Suppose -44*y + 3*y = -164. Suppose -7*z - 4 = -3*z, 3*j - y*z = 151. Is j a multiple of 12?
False
Let d(i) = -6*i - 27. Let p(m) = m**3 + 26*m**2 + 2*m + 27. Let x be p(-26). Is 42 a factor of d(x)?
False
Is (-30350)/(-4) + 9 + (-351)/18 + 11 a multiple of 4?
True
Let z = -21705 + 35679. Is z a multiple of 51?
True
Suppose 15*p = 225362 + 69441 + 245722. Does 7 divide p?
False
Suppose 15*t - 21*t + 408 = 0. Suppose -t*r + 80*r - 1212 = 0. Is r a multiple of 29?
False
Let r be 25476/352 + 6/(-16). Suppose -70*w = -r*w + 292. Is w a multiple of 5?
False
Let z = 4655 + -4424. Is z a multiple of 21?
True
Let m(a) = 178*a**2 + 592*a - 2351. Does 18 divide m(4)?
False
Let u = 98 - 107. Let f(g) = 31*g + 106. Let c(d) = 15*d + 53. Let j(l) = u*c(l) + 4*f(l). Is 8 a factor of j(-15)?
True
Let p = 165 + -84. Let d be ((-24)/(-15) - 1)*(41 + 9). Suppose 3*x - p - d = 0. Is 18 a factor of x?
False
Suppose -2*q = 7*q - 31185. Is 5 a factor of q?
True
Suppose 23*i + 1243346 = 52*i + 68*i. Is i a multiple of 34?
True
Let b(p) = 787*p - 1384. Does 15 divide b(7)?
True
Let u be (2 + 2)*(-27)/(-36). Suppose -s + u*w = 248 - 679, -2*w - 1704 = -4*s. Is 18 a factor of s?
False
Let w(p) = -p**2 + 21*p - 43. Suppose 5*m = 5*y - 300, -5*y = -3*m - 103 - 187. Let u be 803/y + (-6)/(-15). Does 14 divide w(u)?
False
Suppose -278 = 11*p + 437. Let m = p + 177. Does 56 divide m?
True
Suppose 56*g - 62*g = -16038. Is 33 a factor of g?
True
Suppose -3*q + 400 = -5*q. Let h(c) = -c**3 + 38*c**2 + 2*c - 80. Let f be h(38). Is 3/(f/(-26) + q/3328) a multiple of 5?
False
Let n = 4155 - 795. Does 12 divide n?
True
Suppose o + 12 = 14. Suppose m - 456 = -5*a, -a = 5*m - o*m - 1368. Is m a multiple of 24?
True
Let w(c) = -113*c + 38. Let m(s) = -42*s + 13. Let z(j) = 8*m(j) - 3*w(j). Suppose 5*n = -20, 0*n + 22 = 3*v - n. Is 2 a factor of z(v)?
True
Let j = 7 + -6. Let f(r) = 9*r - 1. Let c be f(j). Let m(d) = 7*d - 25. Does 6 divide m(c)?
False
Let p be (-162)/4 - 16/(-32). Let m be (3 - p/(-12))*1*-27. Suppose -5*j - 184 = -m*j. Is 4 a factor of j?
False
Suppose 2042 + 3227 = 4*g + 5*w, -w = g - 1318. Let h = -993 + g. Is 8 a factor of h?
True
Let y = -5924 - -10955. Is 39 a factor of y?
True
Suppose 67*y = -12*y - 25*y + 4599504. Does 91 divide y?
True
Suppose 449*r - 479*r + 163230 = 0. Is 13 a factor of r?
False
Let d be ((-63)/(-18))/((-2)/28). Let k = d - -46. Is (-7 + k)/(0 - 2/13) a multiple of 13?
True
Suppose -48*z + 30 = -43*z. Suppose 4*k + 4 = z*k. Suppose -x + 28 = -2*v - k*v, 4*v = -4*x + 192. Does 7 divide x?
False
Let j = 36453 - 31671. Is j a multiple of 6?
True
Suppose q + 3*f - 642 = 4*q, 1069 = -5*q + 4*f. Let c = q + 126. Does 29 divide (-6)/2*c/18*4?
True
Let d(h) = 10*h**2 + 23*h - 24. Let v = -120 + 130. Is 29 a factor of d(v)?
False
Let d be (3175/15 + -1)/((-8)/(-12)). Let u = 497 - d. Is u a multiple of 7?
False
Suppose 0 = 4*s - 5*f - 11911, -s + 4612 = -5*f + 1653. Is 12 a factor of s?
False
Suppose 5*l - r - 13939 = 0, -2727*l + 2723*l = -5*r - 11147. Does 11 divide l?
False
Suppose 3122 = -11*q - 904. Let r = q + 662. Does 14 divide r?
False
Let z = 7125 - -3672. Is 59 a factor of z?
True
Suppose -4*d - 3 = -2*z + 7*z, 3*d - 18 = 3*z. Does 17 divide (245 - (z - -10)) + 0?
True
Let s(b) = -b. Let g be s(3). Let v be (-1095)/(-12) - 2 - g/(-12). Let w = -59 + v. 