2*u = -45. Is ((-12444)/(-2))/6 + t a multiple of 12?
True
Suppose -c - 60 = q, 5*c + 4*q + 282 = 8*q. Let x = 35 + c. Let g = x - -26. Is g a multiple of 2?
False
Let w be (-4*85/100)/(3/(-885)). Let j = w - -255. Is j a multiple of 37?
True
Let b(r) = 16*r**3 - 11*r**2 + 58*r - 350. Is b(8) a multiple of 42?
True
Suppose 3*i = -2*g + 90 + 841, -639 = -2*i - 5*g. Let t = -257 + i. Does 10 divide t?
True
Let h(t) = 1459*t - 2 + 2*t**3 - 1390*t + 0*t**3 + 18*t**2 + 22*t**2 - t**3. Is h(-38) a multiple of 6?
True
Suppose 5*t = r - 17, -3 = -3*r - 10*t + 9*t. Suppose 2*l - 1522 = -q - r*l, -l = 2*q - 3065. Is 59 a factor of q?
True
Let l be (-10)/110 + (-204)/(-66). Suppose -2*u = l*u - m - 403, 5*u = -m + 397. Does 8 divide u?
True
Let v = -14136 + 16259. Is 11 a factor of v?
True
Suppose 5*z - i - 906 = 0, -11*z + 3*i = -16*z + 922. Let y = 560 - z. Is y a multiple of 31?
False
Let z(o) = -4*o**3 - 38*o**2 - 17*o - 129. Is z(-14) a multiple of 123?
False
Let p(k) = 22*k + 17 + 21*k - 34*k + 2*k**2. Let o be p(-6). Is 14 a factor of 2460/o + 4/(-14)?
True
Let b(v) = 2*v + 30. Let s be b(-12). Suppose 296 = s*c - 40. Is 14 a factor of c?
True
Let a(x) = 5*x - 2. Let b be (-3)/(-4) - (-2244)/(-48). Let j = -41 - b. Does 23 divide a(j)?
True
Let l = 47 + -48. Let r be 5 - (-1 - l - 1). Suppose 0*x = -r*x + 384. Does 16 divide x?
True
Let d(g) = 5*g**2 - 150*g + 35. Let a be d(30). Let h be (6 + 0)*(-6)/(-9). Suppose a = h*x - 13. Is 2 a factor of x?
True
Let j be 212/53 - (32/(-1) + -1). Suppose -j*r = -47*r + 2880. Does 9 divide r?
True
Suppose -6*f + v - 2838 = -3*f, 0 = 4*v - 12. Let w be (f/12)/((-2)/16*1). Suppose t = -6*t + w. Is 10 a factor of t?
True
Let c be 6/4 - 6/4. Suppose -x + 4*x - 257 = -l, c = -5*x - 3*l + 423. Is x a multiple of 30?
False
Suppose 0 = 14*t - 6*t + 1312. Let a = t - -209. Does 9 divide a?
True
Is (-13992)/(-12826) + (-109338)/(-22) a multiple of 4?
False
Suppose 2*o = 3*o - 19. Let w be -1*8/16*(0 - 66). Let i = w - o. Is 10 a factor of i?
False
Let q = 131 - 128. Let p(y) = 53*y + 43. Is 33 a factor of p(q)?
False
Suppose 5*v = 3*w - 401, 4*v - 17 - 3 = 0. Suppose 163 = 5*x - w. Let m = -29 + x. Does 16 divide m?
True
Suppose 2*q - 144 = 66. Let f = q - 102. Suppose f*a + 3*n + n - 44 = 0, 5*n - 75 = -5*a. Does 8 divide a?
True
Let w = 7143 + -4143. Is 24 a factor of w?
True
Let n = 556 + -552. Suppose 78*c = -2*k + 80*c + 104, -n*c = 4. Is 2 a factor of k?
False
Suppose 43*c = 49*c - 93600. Suppose -22*v + c = 4*v. Is 5 a factor of v?
True
Suppose -17*p + 27*p = 6210. Let m = p + -428. Is m a multiple of 15?
False
Let t(o) = 7*o + 210 + 15*o - 56 + 14*o. Is 9 a factor of t(7)?
False
Let i(n) = -5*n. Let c = 18 - 16. Let k be i(c). Does 6 divide (-78)/((75/k)/5)?
False
Let u(f) = 270*f**2 + f - 4. Let k be u(-3). Suppose 4*t - 9*t + k = l, -l - 487 = -t. Suppose 0*w - t = -5*w. Is 18 a factor of w?
False
Let j(s) = s**3 + 23*s**2 + 13*s - 1. Let q = -210 - -189. Does 76 divide j(q)?
True
Let k(s) = s + 5. Let x be k(-1). Let u be (-4)/18 + ((-8)/(-36) - -8). Is 45 a factor of (-2)/u + x/((-96)/(-4326))?
True
Is 86*(-21 + 23)*(1 + 1) a multiple of 4?
True
Let o(n) = -2*n**2 + 36 - n - 12*n + n**2. Let j = -188 - -178. Is o(j) a multiple of 11?
True
Suppose 2*l + 3*m + m = 38, l + 3*m - 22 = 0. Suppose -4*z - 5*r = -419, l*z + 2*r = 10*z + 309. Is 10 a factor of z?
False
Suppose 32*o - 173420 = 3*o. Suppose 0 = -29*b + 16*b + o. Is b a multiple of 30?
False
Let s(c) = 156*c + 88*c + 144*c - 105*c + 106*c - 5. Does 12 divide s(1)?
True
Let b(f) = 8*f + 68. Let s be b(-7). Suppose s*a - 6*a = 78. Does 3 divide a?
False
Let c be 7/(-35) - 11*(-1)/5. Suppose 19 = c*j + 5*n - 2*n, j + 8 = 2*n. Suppose 5*w - j*w = 615. Is w a multiple of 37?
False
Let h = 8762 - 4707. Is h a multiple of 5?
True
Let w = 1072 + -478. Let u = w - -210. Is u a multiple of 7?
False
Let c(i) = -i**2 - 14*i + 9. Let q be c(-14). Let r(z) = z**2 - 7*z - 20. Let v be r(q). Is 5/(34/11 - 3) - v a multiple of 19?
True
Let r = 43 + -1. Suppose -260 = r*u - 47*u. Does 4 divide u?
True
Does 4 divide 10064/(29 + -13) - 10?
False
Let b = -29 + 33. Suppose 0 = s - b*g + 59, 10 = -3*s + 4*g - 159. Let r = 115 + s. Is r a multiple of 29?
False
Suppose 12*a - 8*a = 12. Suppose 60 = a*o - 102. Suppose -o = -t - 18. Is t a multiple of 4?
True
Let w(g) = -28*g**3 - g + 3 - 92*g**3 - 5 + 20*g**3. Let z(k) = -k**2 + 12*k - 21. Let n be z(10). Is w(n) a multiple of 17?
False
Suppose -4*i - 7 = 13, 8627 = 3*t - 7*i. Is t a multiple of 3?
False
Let l(k) = -k**2 - 19*k - 30. Let y be l(-17). Suppose -y*p = -3*p - 3. Suppose -p*s + 105 = -87. Is s a multiple of 32?
True
Let c = 377 - 110. Let m = -7 + c. Is 53 a factor of m?
False
Let a(k) = 801*k**3 + 11*k**2 - 10*k. Is a(1) a multiple of 6?
False
Let m(i) be the third derivative of 0 - 19*i**2 + 3/20*i**5 + 0*i + 1/120*i**6 + 1/6*i**4 + 5/3*i**3. Is 40 a factor of m(-8)?
False
Let n(g) be the first derivative of 5*g**3 - 3*g - 23/2*g**2 + 1/4*g**4 - 33. Is n(-16) a multiple of 8?
False
Let q = 1 - -512. Let i = q + 385. Is 25 a factor of i?
False
Let t be (-195)/(-6)*10/25. Suppose -t*a + m - 125 = -15*a, 3*m + 192 = 3*a. Is a a multiple of 16?
False
Let v(l) = 5*l**3 + 198*l**2 + 17. Does 127 divide v(-32)?
False
Let z = 8401 - 5905. Is 24 a factor of z?
True
Let a be (15 - 10)/(-1*2/(-32)). Suppose -y - a = -9*y. Suppose 2*p - 480 = -y*p. Does 18 divide p?
False
Let s be (15/9)/(75/(-270)). Is (-9)/36*s*230 a multiple of 67?
False
Suppose -24*b + 888 = -28*b. Let x = -602 - b. Does 14 divide x/(-3) - (0 - 2/(-3))?
True
Let y(u) = u**3 - 5*u**2 - 2. Let i be y(5). Let g be (-72)/(-12) + 1 + i. Is 21 a factor of 471/(-2 - -5) + (1 - g)?
False
Let m = 24 + -42. Let w = -16 - m. Suppose 0 = 5*x - 4*q - 720, 0 = w*x - 3*q + 19 - 314. Is 7 a factor of x?
True
Let m(s) = -s**3 - 6*s**2 + 13*s + 60. Let j be m(-7). Suppose -2733 = -2*i + 17*u - j*u, -i - 5*u = -1362. Does 17 divide i?
False
Let d(f) = 9*f + 118. Let z = -231 + 221. Is d(z) a multiple of 2?
True
Suppose 3*i + 2*g = 72 - 10, -i + 34 = 4*g. Suppose 6*l = -0*l + i. Suppose 0 = 2*x - 5*w - 92, 140 = l*x + x + w. Does 6 divide x?
True
Suppose -161404 - 124772 = -66*b. Is 16 a factor of b?
True
Let r = -1378 + 2297. Does 89 divide r?
False
Let v(z) = -13*z**2 - 13*z + 6. Let i be v(-6). Does 14 divide 4/(-16)*(-12)/3 - i?
False
Let w(y) = -y**3 - 25*y**2 - 3*y + 29. Let r be w(-25). Does 15 divide -5 + (-5)/((-20)/r)?
False
Let d(z) = 798*z - 60. Is 41 a factor of d(1)?
True
Let l be (-33 + 3)*(-8)/6. Suppose l*g + 450 = 42*g. Does 9 divide g?
True
Suppose 0 = 6*x - x - 5*m - 1780, 3*x = -3*m + 1086. Let y = x + -205. Is y a multiple of 21?
False
Let x(c) = -799*c + 685. Does 12 divide x(-5)?
True
Suppose -10*h + 20 = -6*h. Let z(p) = -h*p**2 + 4*p**3 + 0*p**2 + 4*p**2 + 1 - 2*p. Is 22 a factor of z(2)?
False
Is 10 a factor of 83 - 36 - 1*7?
True
Suppose -27*i = -114469 - 118811. Does 40 divide i?
True
Let b be (-2)/4 + (-190)/(-4). Let c = b - 43. Suppose -2*g + 134 = 3*l, -4*g - c*l = -6*l - 300. Is g a multiple of 18?
False
Let t = -5829 + 8889. Is t a multiple of 6?
True
Let f(j) = 27*j**3 - 7*j**2 + 17*j + 11. Does 21 divide f(6)?
False
Let p(w) = -42*w + 5 - 39*w + 4 + 84*w - 4*w**2. Let m be p(7). Let d = -97 - m. Is d a multiple of 6?
False
Let l = -281 - -283. Let o(v) = 200*v - 71. Is 42 a factor of o(l)?
False
Let q be (-1)/(-3)*(-5643)/(-33). Let s be q/21 - (-2)/7. Suppose -876 = -6*y + s*y. Is y a multiple of 61?
False
Suppose -23*b - 2619 = 7133. Let y = -268 - b. Is 41 a factor of y?
False
Let b(i) be the second derivative of -i**5/4 + 11*i**4/6 + i**3 - i. Let y(n) be the second derivative of b(n). Is 32 a factor of y(-6)?
True
Let v be (396/(-77))/(2/(-14)). Suppose 3*s - v = p, -3*p + 77 = -5*p + 5*s. Let j = 113 - p. Is 14 a factor of j?
False
Suppose -4*v = 3*s - 4510 - 10493, 3*s - 15024 = 3*v. Does 13 divide s?
True
Suppose 0*m + 6*m - 30 = 0. Suppose m*k = -365 - 455. Is 56/12 + -5 + k/(-6) a multiple of 27?
True
Let b = 71562 - 44220. Is b a multiple of 147?
True
Let t(i) = -8*i**2 - 679*i + 48. Is t(-80) a multiple of 9?
True
Let p be 1*(5 - 0 - (6 - 4)). Suppose 0 = -s - p + 361. Suppose 0 = -2*m + 4*w + s, 0*w - 3*w = -3*m + 522. 