 - 5*v(k). Let g(n) = -2*d(n) + 3*x(n). Is 8 a factor of g(2)?
True
Suppose 30 = -49*q + 54*q. Let w(f) = 83*f + 6. Let x be w(q). Suppose 3*r = -4*k + x, -5*k - 2*r = -2*k - 377. Is 16 a factor of k?
False
Suppose u + 19 = 4*q, 0 = q - 7*u + 2*u. Suppose 2*b - q*o - 791 = 0, -2*b - 4*o = -2*o - 812. Is 28 a factor of b?
False
Let h be -3 + (-7)/(56/(-24)). Suppose 3*a - 1980 = -5*w, h = 8*a - 13*a. Is w a multiple of 11?
True
Let c = -11929 - -14422. Is 5 a factor of c?
False
Suppose 981*b = -5*d + 985*b + 46162, -5*d - 3*b = -46176. Is 26 a factor of d?
False
Let c = -5279 - -5636. Is c a multiple of 12?
False
Suppose k = 5*q - 16715, 3855 + 6174 = 3*q - 4*k. Is q a multiple of 8?
False
Suppose 5*k = 12 + 13. Let p(d) = -2*d + 11. Let i be p(k). Does 23 divide ((120 - 3) + -2)/i?
True
Let g(k) = 112*k + 1558. Is 63 a factor of g(22)?
False
Let m = 145 - -248. Suppose 0 = -388*x + m*x - 5155. Is x a multiple of 24?
False
Suppose 0*l + 48 = -2*l. Let t be l/(-4)*2/3. Suppose d - 36 = 2*q - 160, -76 = -q + t*d. Is 15 a factor of q?
True
Let o(l) = 56*l**2 - 80*l - 391. Does 21 divide o(-16)?
True
Suppose -73*i + 69*i - 63224 = -2*z, 4*i - 63248 = -2*z. Does 133 divide z?
False
Let v = -378 + 366. Is 16 a factor of (1 + 7)*(-429)/v?
False
Let y = -28 - -46. Let z = y + -16. Is 12 a factor of 1 + -4 + 86/z?
False
Let o be -3 - -5 - 1*-2. Let w be (8/36)/(-1) - o/(-18). Suppose w = -7*p + 2*p + 625. Does 23 divide p?
False
Let j(s) be the second derivative of 13*s**6/180 - s**5/30 - s**4/4 - 31*s**3/6 - 3*s. Let m(f) be the second derivative of j(f). Is m(-3) a multiple of 34?
False
Let o = 14 - -530. Suppose 540*a = o*a - 4264. Does 64 divide a?
False
Let c(j) = 718*j - 1923. Is c(17) a multiple of 19?
False
Let i(r) = -r**2 + 16*r - 21. Let d be i(15). Let v be ((-56)/d)/(2/117). Is (v/(-65))/((-2)/10) a multiple of 21?
True
Suppose -4*g + 63 = 5*l, 0 = -5*l - 2*g + 26 + 33. Let r = l + 214. Is r a multiple of 9?
True
Let a = -963 - -1086. Is a a multiple of 123?
True
Suppose 15212 = -127*p + 144*p - 105. Is p a multiple of 17?
True
Suppose 5*z - 33 = -6*z. Suppose -j = -4*f - 158, -z*f - 2 - 4 = 0. Suppose 0 = -b - 0*b + j. Does 30 divide b?
True
Suppose 0 = -4*w + i + 26837, 176*i + 20145 = 3*w + 181*i. Is w a multiple of 110?
True
Does 13 divide (-3)/(-5)*5/15 + 10708795/775?
False
Suppose -37895 = -20*m + 49765. Is m a multiple of 8?
False
Does 44 divide 25 + -27 - (0 - 28042)?
False
Let r be (1/2)/1*6. Suppose -14*o - 14 = -21*o. Does 24 divide (o + 8/r)*9?
False
Let v(y) = 18*y - 12. Let t be v(2). Let p = t - 22. Is 16 a factor of 173*(0 + 1) + 6/p?
True
Let k = 42 + -40. Suppose 4*a = -k*f - f + 5, 0 = 3*a + 4*f + 5. Suppose a*c = 5, c - 85 = -2*g - 2*c. Is g a multiple of 16?
False
Suppose -2*v - 24 = -4*z - 6*v, -2*z + 24 = 5*v. Suppose -7*s + z*s + 25 = 0. Suppose 2*l = s*l - 48. Is 6 a factor of l?
False
Suppose -9 = -3*u + 15. Let d be (-1)/(14/21)*u/3. Is 27 a factor of -3 + 2 - d*(-2 - -9)?
True
Suppose -2*x = 6, -2*x = 17*k - 15*k - 3408. Is 9 a factor of k?
False
Suppose g = f, -4*f + 2*g = 4 - 0. Does 11 divide 359*(3 + f) + (9 - 6)?
False
Suppose 2*q - 3 = 1. Let a be (-160)/q - (8 - 11). Let g = a - -194. Is 9 a factor of g?
True
Let m(k) = 7*k**2 - 8*k - 17. Let b be m(7). Let a = 74 + b. Let z = a - 213. Is 23 a factor of z?
False
Suppose 0 = -5*p - 5, -5*h - 5*p - 3 = -3*h. Let q be (-58)/10 + (0 - (-12)/15). Does 23 divide -23*(q - (-3 - h))?
True
Let d be (0 - 5)*23/((-115)/1008). Suppose -2 = x, 6*b = 10*b + 4*x - d. Does 46 divide b?
False
Let h = -249 + 427. Suppose -3*k + h + 17 = 0. Is k a multiple of 8?
False
Suppose -3*b - 4*q - 9 = -q, 3*q + 13 = -b. Let c(n) = -n**3 + n**2 + n + 2. Let f be c(b). Let j(u) = -u**3 + 13. Does 11 divide j(f)?
False
Suppose -22*a = -11*a + 44. Is 17 a factor of 30/(-12)*(1 - 23) + a?
True
Suppose -13*k + 58586 = -72077. Is 23 a factor of k?
True
Suppose 2*g + 46452 = 3*o, o - 4*g = 4287 + 11217. Is o a multiple of 43?
True
Let r(f) = 7*f**2 - 10*f - 2. Suppose -4*p = -5*o + 2, -4*o - 5*p + 1 = -8*p. Is r(o) a multiple of 23?
True
Let s = 12012 + -7837. Suppose 0 = -5*v + s - 395. Does 42 divide v?
True
Suppose -4*k + 9338 = 5*m, -610 - 1738 = -k + m. Is k a multiple of 123?
False
Let m(f) = 44*f - 397. Is 7 a factor of m(19)?
False
Let j(w) = 5*w - 32. Let o be j(7). Suppose o*z = 154 + 128. Is 4 a factor of z?
False
Suppose 549 = 3*j + 3*q, 4*q - 920 = -6*j + j. Suppose 0 = -14*y + 76 + 750. Suppose -3*d = -i + j - y, 130 = i - 2*d. Is i a multiple of 22?
True
Suppose 23 = -2*n + 29. Suppose -4*l + n*x + 709 = -2*x, 0 = 2*l - 4*x - 356. Is 15 a factor of l?
False
Suppose 888 = 41*r - 45*r. Let s = r + 247. Is s a multiple of 4?
False
Suppose -4*n + 23470 = 3*s + 2040, 2*n + 7150 = s. Is 49 a factor of s?
False
Does 13 divide 12/26 + 8764/52?
True
Let p(k) = 8*k + 128. Let a = -32 + 32. Is p(a) a multiple of 64?
True
Let p = -4990 + 10638. Is p a multiple of 10?
False
Let c be (-3717)/(-2) - -2*9/36. Suppose 0 = 25*h - 14*h - c. Is h a multiple of 9?
False
Let l = 48 - 45. Suppose 7*w = l*w + 1040. Suppose 2*j + w = 6*j. Is j a multiple of 20?
False
Does 49 divide ((-10)/4)/5 - -81*242/4?
True
Let u(t) = -t**3 + 6*t**2 - 27*t - 676. Is u(-13) a multiple of 154?
False
Let p = -15970 - -26364. Suppose 24*l - p = -3482. Is l a multiple of 36?
True
Let i(o) = -332*o - 17. Let p be i(7). Let n = 1657 + p. Is 38 a factor of n/(4/2)*(-8)/12?
True
Is 55 a factor of ((7 - 5) + 8/5)*(-715330)/(-231)?
False
Suppose -8*k + 13*k - 425 = 3*u, -4*u + k - 544 = 0. Does 40 divide 16/(-6*3/u)?
True
Let j(v) = -v**3 + 6*v**2 - 6*v + 3. Let q be j(5). Suppose -2*u - 9*f = -6*f - 136, 6 = -3*f. Is 15 a factor of 2 + (3 + q)*u?
False
Suppose 7*a + 609 = -1246. Let m = 133 - a. Let o = -166 + m. Is 36 a factor of o?
False
Let n = -2304 - -3482. Let a = n - 488. Does 23 divide a?
True
Suppose 4*k + k - 10 = 0. Let o be 0 - (0 - -1) - (-6)/k. Suppose -o*b - 20 = -148. Is b a multiple of 32?
True
Let a(g) = g**3 - 13*g**2 + 9*g - 25. Let h be a(11). Let l = 222 + h. Does 7 divide l?
False
Suppose 12 = 6*j - 0*j. Let i be (-3)/j*(-1924)/39. Is (i/10)/(((-8)/(-2))/20) a multiple of 10?
False
Let o = 393 - 389. Does 18 divide -4 - (-6972)/15 - o/(-20)?
False
Let z be 1 + 0 + -1 - (-25 + 25). Let u(j) = -8*j - 12. Let c be u(-2). Is z*(-2)/c + 50 - 2 a multiple of 4?
True
Let b = 2004 + -114. Suppose -13*a - b = -20*a. Is 54 a factor of a?
True
Let f = -1156 - -16265. Does 85 divide f?
False
Suppose -3*o = 2*b - 4*o + 29, -69 = 5*b + o. Let s be b/(-4)*(-68)/(-119). Suppose -3*u = s*w - 372, 0*w + 3*w = -5*u + 620. Does 47 divide u?
False
Let b be ((-224)/42)/((-4)/30). Let r = b + 57. Let f = 145 - r. Is 18 a factor of f?
False
Suppose -9*g + 3*x = -5*g - 60219, 0 = -5*g - 3*x + 75294. Does 109 divide g?
False
Suppose -152*q - 7875 = -159*q. Suppose -1031 = -5*p - 3*b + q, 5*p - 3*b = 2144. Is 10 a factor of p?
True
Suppose -7*w + 3*w = -4. Suppose -w = -a + 2. Suppose 0 = -5*v, -4*g - 5*v + 684 = -a*v. Does 29 divide g?
False
Let c(h) = -292*h - 608. Is 124 a factor of c(-42)?
True
Let r = -11245 + 11353. Is r a multiple of 3?
True
Let t = 138 - 284. Let v = -13 - t. Is 12 a factor of v?
False
Let g(y) = 4*y**3 + 9*y - 1. Let q(c) = -2*c**2 + 1. Let a(v) = 2*g(v) + 14*q(v). Is 7 a factor of a(6)?
True
Let s(c) = -42*c**3 - 103*c**2 - 4*c + 4. Does 40 divide s(-4)?
False
Let s(j) = j**3 - 25*j**2 - 20*j - 439. Does 55 divide s(29)?
False
Suppose f + 3*w = -f + 10, -10 = -2*f - 5*w. Suppose f*v = 5*j - 2*j + 118, -4*v + 152 = -4*j. Let u = 180 + j. Is 16 a factor of u?
True
Let v = 2099 - 832. Is v a multiple of 7?
True
Let t be (3/(21/(-7)))/((-1)/172). Let d = t - 133. Does 13 divide d?
True
Suppose -2*c + 7*c + 3550 = 0. Let w be c/(-9) - (-7)/63. Suppose 5*u - 20 = 0, -2*u - w = -z - 2*z. Is z a multiple of 13?
False
Suppose -11*m = -7*m - r - 13, r - 5 = -2*m. Suppose 5*f + m*a = 344, 0 = 2*f + 3*f - 5*a - 360. Does 21 divide f?
False
Suppose -122*m + 116*m = 1656. Let k = 556 + m. Does 8 divide k?
True
Suppose -85*z + 15164 + 12001 = -70*z. Does 82 divide z?
False
Suppose -o - 3*o + 196 = m, -o + 196 = m. Let c = m - -124. Does 16 divide c?
True
Suppose -74*o = -107*o + 11088. Let c = 8 + -14. Is 27 a