Suppose 0 = 3*d + 2*i - 23030, -5148 = -4*d + 5*i + 25597. Does 64 divide d?
True
Suppose 72*v - 2278 - 5210 = 0. Is v a multiple of 4?
True
Let c(n) be the second derivative of -n**5/20 + 7*n**4/6 + 26*n**3/3 - 19*n**2/2 + 81*n. Does 43 divide c(16)?
True
Let r = -21 - -312. Let x = r + -284. Is x a multiple of 4?
False
Suppose -146*f = 2316 - 15456. Is 9 a factor of f?
True
Let v = 8 - 7. Does 24 divide -1*v/6 + (-1123)/(-6)?
False
Let x be 12/(-5 - -9) + -1. Suppose -2*t + 338 = -0*t + 2*z, 5*t = -x*z + 833. Is t a multiple of 11?
True
Suppose 0 = 3*q + 11 - 2, -5*q + 321 = p. Let g = p - 319. Does 17 divide g?
True
Let w(t) = 1238*t**2 + 12*t - 16. Is 40 a factor of w(2)?
True
Let u(v) = 4*v**2 - 51*v - 6. Let j be u(13). Suppose j*t = 11*t + m - 495, -5*m = -2*t + 231. Is t a multiple of 9?
False
Let q = 320 - 316. Suppose -3*n - 2*p - 902 = -5*n, 0 = -2*n - q*p + 890. Is n a multiple of 63?
False
Let n be 3*1*4*2/6. Suppose 0 = -n*a - 5*c + 4911, -a + 5*c + 664 + 595 = 0. Suppose -14*z - 380 = -a. Is 13 a factor of z?
False
Let d = -1439 - -1740. Suppose 3*c + 0*t = -4*t - 459, -2*c + 5*t = 329. Let x = c + d. Is 29 a factor of x?
False
Suppose -6 + 33 = c. Suppose c = -6*q + 3*q. Is (-6)/q + 262/3 a multiple of 22?
True
Let o(a) = 2*a**2 - 7*a - 3. Let q be o(8). Let g = q + 8. Suppose 8*p - g = 7*p. Does 12 divide p?
False
Suppose 10684 = 16*z - 16287 + 1483. Is 10 a factor of z?
False
Let v(c) = 3 + 12*c + 29*c + 4*c. Let z be v(9). Suppose -5*j + 2*j + z = 0. Is j a multiple of 17?
True
Suppose 5*z + 5 = 3*j - 9, 5*z = -20. Is ((-84)/35)/(324/165 + j) a multiple of 9?
False
Let i(h) = h**2 + 6*h + 23. Let g(r) = -r**3 - 10*r**2 - 25*r + 1. Let s(l) = -l - 29. Let n be s(-23). Let j be g(n). Does 16 divide i(j)?
False
Let t = -49 - -2668. Does 3 divide t?
True
Suppose -396903 = -14*d + 506951. Is d a multiple of 26?
False
Let j(x) = 195*x + 2443. Does 38 divide j(13)?
True
Suppose -4*j + 15811 = -8257. Suppose -j = -27*b + 10831. Is 9 a factor of b?
False
Let s(k) = -2*k + 30. Let y = -47 + 61. Let p be s(y). Suppose -w - 125 = -b, 0*b - 371 = -3*b + p*w. Is 18 a factor of b?
False
Suppose -722*j = -462*j - 368*j + 2413152. Is j a multiple of 196?
True
Let g be 2 + (5 - -39)/2. Suppose 0 = -2*i - g - 12. Is 12 a factor of 4686/39 + i/117?
True
Let f be (-4)/(-6)*-3 - (-6 + 3). Let p be ((-8)/4 + 7)*f. Suppose -p*a + 399 = 2*a. Is a a multiple of 19?
True
Suppose 10*r - 12*r = -10. Suppose -2*g - 25 = -3*w, -r*w + 45 - 15 = -g. Let m(x) = -x**3 - x**2 - 3*x + 1. Is m(g) a multiple of 11?
False
Suppose w - 363 = -361. Suppose -9*u - 6720 = -5*j - 14*u, w*j + 5*u - 2685 = 0. Does 62 divide j?
False
Let d(n) = 24*n**2 - 3*n + 44. Let j be d(-8). Suppose 3*w - u - 1632 = 2*u, 0 = -3*w - 4*u + j. Is w a multiple of 10?
True
Let l(c) = c**2 - 3*c + 2. Let n be l(2). Let s(r) = 3 + r - 849*r**2 - 3*r - r**3 + 1694*r**2 + 39 - 844*r**2. Is s(n) a multiple of 8?
False
Suppose 6*d = l + d - 20, 20 = -l - 5*d. Let m be (3/18 + (-4)/(-12))*l. Suppose m*j + 2*j + 224 = 4*y, -y + 47 = 4*j. Does 11 divide y?
True
Let t = -51 - -51. Suppose t = -4*b + 11*b + 1365. Let n = 297 + b. Is n a multiple of 17?
True
Let j(d) = -d**2 + 25*d - 118. Let p be j(11). Suppose 28*q + 1344 = p*q. Does 33 divide q?
False
Suppose j - 2*t - 3359 = 1637, -5*j - 4*t + 24896 = 0. Is 94 a factor of j?
False
Suppose 3568 + 1304 = -8*n. Let a = 271 - n. Is a a multiple of 40?
True
Let q(c) = c**2 - 3*c - 2. Let i = 51 + -52. Let u be q(i). Suppose -90 = -3*d - u*d. Is d a multiple of 4?
False
Let p = 19 + 20. Suppose -45*t = -p*t - 30. Suppose -s = 3*l - 287, -4*l + t*l + s = 99. Does 25 divide l?
False
Let r = 11265 + 28728. Is r a multiple of 284?
False
Let g be 40/(-12)*12/10 - -2. Is 53 a factor of ((-6)/(-15))/g - 23364/(-220)?
True
Let m(u) = -u**3 + 10*u**2 + 12*u + 27. Suppose 23*f - 21*f = 22. Does 2 divide m(f)?
True
Let y = 732 - 1284. Let r = -427 - y. Is 3 a factor of r?
False
Let y = -6198 - -12323. Does 49 divide y?
True
Let s(b) = 21499*b - 24. Is s(1) a multiple of 72?
False
Does 12 divide ((-59510)/1463 - 2/(-19))/(2/(-28))?
False
Let o = 10 - 5. Suppose -o = -4*y + 3. Suppose 4*j - 2*z - y*z - 504 = 0, 4*j = -3*z + 490. Is j a multiple of 12?
False
Let r = 889 - -1751. Is r a multiple of 22?
True
Let y(k) = -4*k**2 - 52*k - 3. Let a be y(-12). Let s = a + 471. Is 26 a factor of s?
False
Let u = -635 + 10792. Is u a multiple of 18?
False
Is (-12 - -29) + 2 - -11527 a multiple of 27?
False
Suppose -111626 - 1877521 + 259931 = -41*t. Is t a multiple of 64?
True
Suppose 0 = -l - 2*l - 63. Let r = l - -25. Suppose -u = -p + u + 19, -r*p - u = -40. Is 11 a factor of p?
True
Suppose 12*r + 27 = 51. Let u(d) = -16*d**3 - 5*d**2 + 4*d + 26. Let g(m) = -3*m**3 - m**2 + m + 5. Let s(f) = -11*g(f) + 2*u(f). Is 3 a factor of s(r)?
True
Let z(r) = -r**3 - 29*r**2 - 28*r + 2. Suppose -3*y + 78 = -3*k, -5 + 1 = 2*y. Let p be z(k). Does 24 divide ((-5)/10)/(p/(-672))?
True
Suppose -150742 = -5*g - z, -2*g - 24256 = -3*z - 84529. Is 205 a factor of g?
False
Let g = -12416 - -13329. Is 11 a factor of g?
True
Let z be 0 - (-2 - 4/(-2)) - -5. Suppose 0 = -z*r + 1054 + 641. Does 26 divide r?
False
Let m = -63 - -67. Let l be ((-13)/3 + 4)/(m/3156). Let k = l + 421. Is k a multiple of 7?
False
Suppose -21278 = -4*c - 2*b, -485 = -4*c + 3*b + 20798. Is 38 a factor of c?
True
Suppose 102*j - w = 107*j - 21893, 0 = -2*j - 2*w + 8754. Is 29 a factor of j?
True
Suppose -3 = f - 5*t - 14, 4*f - 2*t - 44 = 0. Suppose 8*z - f*z = -1650. Does 44 divide z?
False
Suppose 104*z = 17*z + 4300 + 12752. Is 14 a factor of z?
True
Let y = 91 - 89. Is 39 a factor of y/(-6) - (0 + (-8956)/12)?
False
Let a = -2893 + 17823. Is a a multiple of 26?
False
Let w(o) = 433*o + 4901. Does 8 divide w(18)?
False
Suppose 0 = 2*s + 4, -4*v + 30 = -5*s + 4*s. Let c = 183 + v. Is 46 a factor of c?
False
Let o(m) = m**3 - 22*m**2 + 57*m + 87. Is 93 a factor of o(28)?
False
Let x = 4227 - 1343. Is x a multiple of 28?
True
Let h(l) = -l**3 + 5*l**2 + 9*l - 14. Let b be h(6). Suppose -4*k + 22 = 5*t + 1019, b*t + 1253 = -5*k. Let u = 415 + k. Is 41 a factor of u?
False
Let i(z) = -56*z - 1. Let u be i(-7). Let q = 458 + -701. Let w = u + q. Is 21 a factor of w?
False
Let t(j) = 5*j**2 - 5*j - 304. Is t(23) a multiple of 4?
False
Let b(z) be the third derivative of z**6/120 + z**5/30 + z**4/24 + z**3/3 + 6*z**2. Let g be b(-3). Does 29 divide (-29)/((g/(-5))/(-2))?
True
Suppose -133*d + 127216 + 93697 = 0. Does 11 divide d?
True
Let r = -189 + 194. Suppose -5*l = 3*i - 780, 6*i = r*i - 3*l + 264. Is i a multiple of 8?
False
Is 19 a factor of (-24)/(-16) - (-4)/((-56)/(-2205))?
False
Suppose 2*c - 8*p - 4665 = 2015, 4*c - 3*p - 13425 = 0. Is 7 a factor of c?
True
Is -2*(-312)/(-15)*(-34 - 6/6) a multiple of 208?
True
Let k be 5/(-20) + (-10)/(-8). Let c(x) = -x + 42. Let m(t) = 1. Let l(w) = k*c(w) + 6*m(w). Does 13 divide l(14)?
False
Let w = 283 - -6072. Is w a multiple of 31?
True
Let z = 38618 - -23998. Does 24 divide z?
True
Let l = -408 - -411. Let s(p) = 20*p - 8. Is s(l) a multiple of 9?
False
Suppose 0 = -2*h + 3 + 7. Suppose h*i = g + 15, g = -3*g. Is -1*((-48)/i + 1) a multiple of 3?
True
Let x(i) = -443*i + 75. Let c be x(-2). Let q = c + -592. Is q a multiple of 33?
False
Does 39 divide 43/(-258) - 49795/(-6)?
False
Let n(a) = 37*a**2 - 19*a - 9. Does 19 divide n(-8)?
False
Suppose -18 = -3*j, -2*h - 3*j = -6*h + 29270. Is h a multiple of 54?
False
Let u be 381750/200 - 6/8. Suppose 0 = -6*g + u + 636. Is g a multiple of 27?
False
Suppose 0 = 3*m + 4*p + 247 - 3568, -m = 5*p - 1107. Is m a multiple of 27?
True
Suppose 5*m - 30077 = -11*m + 77843. Does 19 divide m?
True
Suppose -17*u = 47*u + 32*u - 1335648. Does 4 divide u?
False
Suppose 0 = -5*f + 2*r - 156 + 655, 2*r - 6 = 0. Suppose -3*z - 4 = -31. Let y = f + z. Is y a multiple of 22?
True
Let x = 8925 + -6321. Does 14 divide x?
True
Let m(f) = 2*f**2 - 4*f - 1. Let d be (-5)/((-1)/1*1). Suppose 5*v + 11 = -2*s, 4*v + 20 = -s + d*s. Does 9 divide m(v)?
False
Let z(l) = 6*l**2 + 20*l + 84. Let i(n) = -12*n**2 - 39*n - 166. Let d(q) = -4*i(q) - 7*z(q). Does 12 divide d(-4)?
True
Suppose -9*o - 133200 = -26*o + 2*o. Does 12 divide o?
True
Let s be ((