de -2*(n/28 - (-28)/49)?
False
Let l(g) = -2241*g - 1595. Does 95 divide l(-20)?
True
Suppose 5532 = 5*s + f, -f - 28 = -30. Is 83 a factor of s?
False
Let k = 2708 - 1585. Suppose -2*z + k = -5*p + 4*p, -3*z - p + 1677 = 0. Suppose 15*b - 19*b = -z. Is b a multiple of 14?
True
Suppose -16 = 4*h, -5*h + 0*h = -4*k + 8680. Does 12 divide k?
False
Let x(c) = 3*c**2 + 10*c - 1. Let i = -41 - -35. Let m be x(i). Let j = -15 + m. Does 17 divide j?
False
Suppose -z + s + 0*s - 242 = 0, 4*s - 257 = z. Let x = 431 + z. Is 21 a factor of 2/((-4)/8 - x/(-372))?
False
Let y be (-76)/(-5) - (-1)/(-5). Suppose -3*d = y, -280 = 3*t - 3*d + 8*d. Let m = -16 - t. Is 25 a factor of m?
False
Suppose -2*n = l - 20, -5*l - 5*n + 39 + 41 = 0. Suppose 0 = -4*v + l, -3*g + 23*v = 22*v - 2571. Is g a multiple of 11?
True
Let i(b) = -92*b - 11 + 70*b - 80*b. Is 32 a factor of i(-5)?
False
Let w(c) = c**3 - 27*c**2 + 25*c + 79. Is 36 a factor of w(29)?
False
Let l(p) = -p**2 - 16*p + 13. Let r(o) = -2*o**2 - 31*o + 25. Let t(u) = 11*l(u) - 6*r(u). Does 2 divide t(-12)?
False
Let n(w) = 134*w - 8. Let g be n(1). Suppose 9*q - 630 = -g. Let c = q - 30. Is c a multiple of 4?
False
Let k = 3819 - 3183. Is 12 a factor of k?
True
Let a be (43 - 64)*((-10)/6 - -1). Let b(q) = q**2 - 11*q + 21. Is 3 a factor of b(a)?
True
Suppose -294*f - 1516072 = -76*f - 6341284. Is f a multiple of 34?
True
Let y = 357 - 315. Does 7 divide y/(-4)*(-14)/3?
True
Let y be 313 + -2 - (15 + -10). Let q = -270 + y. Is q a multiple of 12?
True
Let k(h) = 2394*h**3 + 252*h - 513. Is k(2) a multiple of 27?
True
Let g be -4 + (11 - -1)*(-35)/(-105). Is 58 a factor of (g + -5)*1 - (-1475)/5?
True
Suppose -r - 4 - 11 = 0. Let i be 0/1 - -5*(-6)/r. Suppose f = b + 31, i*b + b - 117 = -4*f. Is 5 a factor of f?
True
Suppose 0*m = 2*m - 14. Let c(d) be the third derivative of d**4/2 + 4*d**3/3 - 239*d**2. Is 17 a factor of c(m)?
False
Let q be -4 + (-48)/(-8) - -4. Is -27*q*(-18 - -16) a multiple of 27?
True
Suppose -59*t - 380 = -63*t. Suppose r = i - 3*i + 75, r = 3*i + t. Suppose 115 = 3*k - r. Is k a multiple of 11?
True
Let j be ((-3)/((-96)/632))/((-1)/4). Let g = 130 + j. Is g a multiple of 10?
False
Suppose 8*w - 9*w - 24*w = -81600. Is 192 a factor of w?
True
Is 5 a factor of (35/(1785/68))/((-1)/(-6954))?
False
Suppose -36180 - 33516 = -121*g. Is g a multiple of 43?
False
Let r = 81 - 84. Let u be (r + (-22)/(-6))*15/2. Is 14 a factor of ((-98)/21)/((10/(-12))/u)?
True
Suppose -2*f + 270 = -536. Let p = f + -212. Suppose -6*n = -p - 1261. Is n a multiple of 40?
False
Let j(b) = 11*b - 18. Is j(11) a multiple of 8?
False
Does 6 divide 9/(63/(-70)) + 387?
False
Suppose 241285 = 16*q - 122907. Is 45 a factor of q?
False
Suppose 17*i = -3 + 3. Suppose -12*a + 7*a + 90 = i. Is a a multiple of 18?
True
Suppose 5*v - 3*j - 55 = -24, 0 = 3*v + 2*j - 11. Suppose -v*t = -20, 4*m + t = 8*m - 916. Is 9 a factor of m?
False
Let d = 4 - 1. Let u be (-84)/24*d/((-42)/8). Suppose u*x + x = 228. Does 7 divide x?
False
Suppose s - 6 = 3*y, y + 58 = 6*s - s. Let t be s/42 - (-271)/7. Suppose t = -5*p + 169. Is 16 a factor of p?
False
Suppose 3*u - 3602 = -0*u + 2*j, 1195 = u + 5*j. Suppose -5*a + 2*t = 4*t - u, 5*t = 5*a - 1165. Is 17 a factor of a?
True
Let h = 1079 + 198. Suppose -6*a + h = -2863. Is a a multiple of 16?
False
Suppose 4*k - 98017 = -o, k + o - 5902 = 18606. Is k a multiple of 15?
False
Suppose -4*r - 80349 = -3*t, r - 3528 = -t + 23241. Is t a multiple of 315?
True
Suppose -3*m + m - 5*k = -41, -3*m + 49 = 5*k. Suppose 3*x + 5*i + 28 = 0, 5*i + 14 + m = 3*x. Does 26 divide -4 - (-2 + -1) - (-80 - x)?
True
Let k(u) be the first derivative of -31 + 115*u**2 + 3*u**3 + 11 - 115*u**2 + 17*u. Is k(-4) a multiple of 36?
False
Suppose -q = 5, -53*q + 51*q = 4*v - 18622. Does 137 divide v?
True
Let g(i) = 2*i**2 - 9*i + 15. Let h be g(3). Is 42 a factor of 18/(-12) - (-3309)/h?
False
Let a = -84 + 78. Let c = -3 + a. Is 397/3 + 3/c a multiple of 22?
True
Suppose -23*t + 18*t = -15. Suppose 0 = -t*w + 4*w - 0*w. Is 11 a factor of (3/(-9) - 0)*(w + -291)?
False
Let n(d) be the second derivative of -3/2*d**3 + 0 + 16*d - 2*d**2 - 1/12*d**4. Does 14 divide n(-6)?
True
Suppose -2*h + 18 = -5*b, 8*h - 3*h = 5*b + 30. Is 3 a factor of (b + 9/6)*714/(-7)?
True
Suppose -10*d + 8*d = -24. Suppose 2*m = 6*m - d. Suppose -8*q = -m*q - 180. Does 9 divide q?
True
Let k(s) = 25*s**2 - 9*s + 961. Does 4 divide k(0)?
False
Let s be (-1)/(-6) + 110190/(-180). Is 4/((-314)/s - (-11)/(-22)) a multiple of 34?
True
Suppose d - 18 = -4*v, 28 = 2*v + 3*v + 4*d. Suppose v*n = 24 - 8, -4*n + 1641 = 5*r. Does 5 divide r?
True
Suppose 0 = -77*i + 130*i - 161438. Is 10 a factor of i?
False
Let o(c) = 4*c - 21. Let y be o(7). Is ((-40)/(-30))/((y/276)/7) a multiple of 16?
True
Let v = 23832 + -23064. Is v a multiple of 256?
True
Suppose -k = 2*f + 1, 12 = -4*f + 4. Is 26 a factor of 1*471/k + (30 - 33)?
False
Suppose -3*x = 19 + 5. Let h(b) be the first derivative of 4*b**3/3 + 6*b**2 - 4. Is 32 a factor of h(x)?
True
Let z be -198 + 1 - 0*(-5)/15. Let i = -8 - z. Is i a multiple of 9?
True
Let u = -106 + 63. Let j = u + 19. Is 18 a factor of 4*(-269)/(-10) + j/(-60)?
True
Suppose -454*a = -878*a + 438*a - 227976. Is 12 a factor of a?
True
Suppose -5*p = -2*g + 49, p - 4*g = 10 - 27. Let r(n) = -19*n - 7. Is 14 a factor of r(p)?
False
Let o = 28 - -2. Let k be 1*28/(-24) + 5/o. Is (4/8 - k)*158/3 a multiple of 17?
False
Let m(f) = -8*f - 38. Let o be m(14). Let v = 17 - o. Let y = -1 + v. Does 18 divide y?
False
Let a(f) = 5*f**2 - 28*f - 104. Suppose -8*x + 211 - 251 = 0. Is 4 a factor of a(x)?
False
Let k(y) = -2*y**2 - 134*y + 1132. Is 16 a factor of k(-65)?
True
Let q = 784 + -352. Let g = -204 + q. Is g a multiple of 19?
True
Let o be (2560/55)/8 + 4/22. Suppose -o*i + 635 = -307. Is 7 a factor of i?
False
Is 6 a factor of -31974*2/(-24)*2?
False
Let k(u) = -u - 1. Let z be k(-3). Suppose -z*b = -11 - 19. Is b*4 - -3 - 3 a multiple of 15?
True
Suppose 4*f = -5*d - 2349 + 7725, -3*f + d = -4051. Let w = -377 + f. Is w a multiple of 81?
True
Let q(x) = 8*x - 17 + 11*x + 4*x - 188. Does 5 divide q(10)?
True
Suppose 4*y + 9 = n - 0*y, -15 = -5*y. Let r(f) = -f**3 + 20*f**2 + 22*f - 11. Let t be r(n). Let v(z) = 9*z + 46. Is 30 a factor of v(t)?
False
Suppose -10 = -2*s, -250*h - 3*s = -252*h + 58615. Is 85 a factor of h?
False
Suppose 5*x = -0*c - 4*c + 103, -5*c - 61 = -2*x. Suppose 5 = 7*q - x. Suppose 4*n - 264 = -q*n. Is 4 a factor of n?
False
Let m = -40 + -109. Let r = 640 + -374. Let o = r + m. Is 14 a factor of o?
False
Let h = -6300 - -12425. Is 35 a factor of h?
True
Let t(f) = -6*f**2 - 329*f + 4. Is 3 a factor of t(-52)?
True
Suppose -222*p + 233*p - 5467 = 0. Let u = p + 150. Is 48 a factor of u?
False
Let b(q) be the third derivative of q**5/15 - 5*q**4/24 + 4*q**3/3 + 76*q**2. Suppose 5*j + 13 = 38. Does 27 divide b(j)?
False
Suppose 11174 = 11*o - 1762. Suppose o = -0*q + 7*q. Suppose -5*z + q = 2*z. Is z a multiple of 2?
True
Is 5 a factor of 1120 - (3/6)/(1/(14 - 2))?
False
Let a(n) = -617*n - 296. Does 160 divide a(-8)?
True
Suppose -50*r = -589 - 5011. Is 4 a factor of r?
True
Suppose v + 5*t = 574, -105*v + 4*t - 578 = -106*v. Does 25 divide v?
False
Suppose 0 = -v + 8*v. Suppose v = 4*y - 16, 5*y + 742 = 5*b - 198. Let x = 336 - b. Is 8 a factor of x?
True
Let c be (12/(-4) - -3)/(14/(-7)). Let g(f) = 2*f**2 + 325. Is 13 a factor of g(c)?
True
Let c be (7 + 99/(-22))*2/1. Suppose 92 = -4*h + c*h. Is 13 a factor of h?
False
Let d be 3*12/(-27) + (-10040)/(-15). Does 6 divide d*(1 + 21/(-28))?
False
Let t = -110 - -107. Let z be 453/((t + -1)/(-4)). Suppose -13*p + 3339 - z = 0. Is 37 a factor of p?
True
Let q(z) = 108*z**2 + z - 2. Let c be ((-20)/12 + 1)*(2 - 5). Let o be q(c). Suppose -10*v = -2*v - o. Does 9 divide v?
True
Suppose 25*a - 13600 = -43*a. Is a a multiple of 12?
False
Does 368 divide ((-5000)/20)/(-25)*2208?
True
Suppose -8 = 4*s, -4*x + 2*s - 3121 = x. Let j = x + 663. Does 19 divide j?
True
Let m = 6231 + -4449. Does 23 divide m?
False
Let x(o) = -2*o**2 - 13*o + 27. Let r be x(6). Let v = -8 - r. Does 13 divide v?
False
Suppose -65*o - 4*y - 119580 = -70*o, 0 = -3*o - 4*y + 71716. Is 61 a f