 -n + 2*h. Is 109 a factor of n?
False
Let p = -204 - 52. Let q = -207 - p. Does 7 divide q?
True
Suppose -2*l = b - 7141, 4*l = 13*b - 12*b + 14297. Does 13 divide l?
False
Suppose 3*s - 2659 = -5*d, -2*d = -d - 5. Suppose s = 5*a - 3*v, -5*v + 610 = 5*a - 300. Is a/2 + (-2 - 2) a multiple of 17?
True
Let h(b) be the third derivative of 35*b**4/24 + 3*b**3/2 + 3*b**2. Let j(x) = x + 57. Let g be j(-52). Is 14 a factor of h(g)?
False
Let x be (5/(-2))/((-31)/1922). Let m(l) = x*l + 5 + 147*l - 72*l. Is m(1) a multiple of 47?
True
Let n = -51 + 56. Suppose -4*o - o = 3*q - 19, -n = -5*q + 5*o. Suppose q*p = 2*p - 4*u + 78, -2*p + 144 = 5*u. Is p a multiple of 25?
False
Let r be 1*((-2)/4)/((-1)/24). Suppose -r = -5*m + m. Suppose 31 = m*b - 11. Is 7 a factor of b?
True
Let w(h) = 2*h**3 + 23*h**2 - 10*h + 27. Let j be w(-12). Suppose -9*k - j*r + 2057 = -5*k, k - 5*r = 543. Is k a multiple of 8?
False
Let o = 1577 + 6493. Is 15 a factor of o?
True
Is (1502/10)/(27/135) - 4 a multiple of 83?
True
Let v = 127 - 124. Suppose -3*x + 4*g + 12 + 221 = 0, v*x + 2*g = 221. Is (-8)/60 - (-8335)/x a multiple of 62?
False
Let r = -28 - -14. Let s(f) = -2*f - 22. Let g be s(r). Suppose -40 = -g*t + 80. Is 6 a factor of t?
False
Let h = 10829 + -6729. Is h a multiple of 18?
False
Suppose -2691*y + 2676*y = -246600. Is y a multiple of 149?
False
Suppose 2*i - 506 = 4*k, -4*i - 8*k + 265 + 795 = 0. Is 7 a factor of i?
True
Let d(m) be the first derivative of 18*m**3 - m**2 + m - 2. Let a be d(1). Let j = -36 + a. Does 17 divide j?
True
Suppose 2*l + 2*m - 115 = 41, -218 = -3*l + 5*m. Let u be (4/(-10))/((-8)/(-560)). Let y = u + l. Does 5 divide y?
False
Let k(q) = 4*q - 7. Let z be k(2). Let l be ((-8)/16)/(z/12*-2). Is 14 a factor of 40/l*96/10?
False
Let q(d) = d**3 + 48*d**2 - 27*d + 1054. Is 32 a factor of q(-46)?
True
Let w = 29 - 27. Suppose 0 = 6*a - w*a + 32. Let v = 130 + a. Is v a multiple of 16?
False
Suppose -353*z = -110489 - 2926370. Is z a multiple of 49?
False
Suppose -p + 2*p = n, 2*p - 21 = -5*n. Let s be (-1 + n)/(14/133). Let j = s + -8. Is j even?
False
Let x be 6088/5 - -2*(-5)/(-25). Is 2 + x/18 + 4/12 a multiple of 7?
True
Suppose -13*m + 16*m - 4*h = 29070, 2*m - 19358 = -h. Does 47 divide m?
True
Let g(p) = -4*p - 10. Let u be g(-3). Let a(k) = 17*k - 9. Let n be a(u). Suppose -n - 53 = -2*h. Is 11 a factor of h?
False
Let c = 393 - 214. Suppose 0 = 6*g - g - t - 221, -c = -4*g + 3*t. Is g a multiple of 5?
False
Suppose -102*l + 1140465 = -129160 - 319943. Is 4 a factor of l?
True
Let l(m) = 80*m**3 - 20*m**2 + 21*m - 3. Is l(3) a multiple of 30?
True
Suppose -65*z + 6977805 = 198*z - 4896382. Is z a multiple of 13?
True
Suppose -m - 4*q = -29, m + 2*q = -q + 24. Let j be ((-2)/7)/((-6)/84). Suppose d - 16 - m = 2*o, -j*o - 20 = 0. Is 5 a factor of d?
True
Suppose -5*r - j = 1651, -3*j - 256 - 63 = r. Let u = 241 - r. Does 51 divide u?
False
Let d be 18 - (6 + (-5 - -8)). Suppose -d*u + 2418 = -336. Is 20 a factor of u?
False
Let a(p) = 18*p - 4*p - 66*p + 6*p. Suppose 2*s + 7 = -7. Is a(s) a multiple of 13?
False
Let h = 21 + -1. Let l be (-10)/h - 57/(-2). Suppose 29*w - l*w = 25. Is w a multiple of 5?
True
Does 103 divide 4190 + 30/(-35) + 342/(-42)?
False
Let m = -177 + 243. Let p be (-910)/56 - (-6)/(-8). Let a = p + m. Is 23 a factor of a?
False
Suppose -4*s - 387 = -13*s. Let n = -39 + s. Suppose -n*u + 370 = -g, 3*u + g - 289 = -4*g. Does 14 divide u?
False
Let d = -80 + 116. Let z be (-152)/(-36) - 8/d. Does 21 divide (z/(-12))/(1/(-201))?
False
Suppose -37163*f + 37169*f - 107178 = 0. Is 184 a factor of f?
False
Suppose 2*x - 10 = 6. Suppose w = x + 52. Suppose 4*g = -2*g + w. Is 7 a factor of g?
False
Let o(x) = x**2 + 6*x - 13. Let d be o(-8). Let j(k) = 43*k - 4*k**2 - 3*k**d + k**3 + 5 + 0*k**3 - 51*k. Does 15 divide j(-5)?
True
Let b(c) = -20 + c + 15 + 17. Let o be b(-10). Suppose -6*w = o*w - 112. Does 14 divide w?
True
Let y = 15870 - 7212. Does 6 divide y?
True
Suppose 0 = -6*j + 3*j. Let y(c) = c - 41 - 35 - 39 - 22 + 172. Is y(j) a multiple of 9?
False
Does 209 divide (8/(24/(-3)))/(-4 + (-15643)/(-3911))?
False
Let r be (4 - -699) + 1 + -3 + 0. Let a = r - 470. Let o = a + -63. Is 24 a factor of o?
True
Suppose -4*m = 2*t + 6, -6 = -3*t + m + 13. Does 9 divide 2172/30 - 2*1/t?
True
Let c(z) = -125*z**3 - z**2 - 9*z - 16. Let m(w) = 62*w**3 + w**2 + 4*w + 9. Let x(l) = -3*c(l) - 5*m(l). Is x(2) a multiple of 32?
False
Let t(y) = 6*y + 5. Let g be t(-2). Suppose -10*w - 4 = -9*w. Is g/(7/w)*16 a multiple of 16?
True
Suppose 273 = 3*u - 669. Let f = u - 179. Does 42 divide f?
False
Let q be (-2 + 5 + -3 - -274) + -1. Suppose 15*r - 252 - q = 0. Is r a multiple of 11?
False
Suppose 3 + 29 = 8*u. Suppose -f - 3*z + 8*z = -70, 2*f + u*z = 140. Is f a multiple of 10?
True
Is 124 a factor of 56/12*39990/(-105)*-3?
True
Let q(i) be the third derivative of i**6/360 + i**5/12 - 7*i**4/12 + 4*i**2. Let o(j) be the second derivative of q(j). Is 13 a factor of o(13)?
False
Is 23 a factor of (((-2)/(-4) + 1)*134)/(77/3388)?
False
Let y = -23019 + 32879. Does 170 divide y?
True
Suppose 4*p - 3*v - 104248 = 0, -11*p + 2*v = -10*p - 26057. Is p a multiple of 13?
True
Let o = 4 - -3. Suppose -2*b = b, 4*b = 2*t - 10. Let x = t + o. Is 3 a factor of x?
True
Suppose -53*a + 3*w - 11130 = -54*a, -4*a + 3*w + 44640 = 0. Is 26 a factor of a?
True
Suppose -3*o = 2*l + 3*l + 8213, 4*l = 5*o + 13676. Let m be o/40 + 6/15. Is 17 a factor of -3*3/18*m?
True
Let b = -46083 - -66128. Suppose -79037 = -48*a - b. Does 39 divide a?
False
Let d(s) = -s**3 - 8*s**2 - 4*s - 3. Let k be d(-8). Suppose -2*c + k = 9. Suppose 453 = 13*m - c*m. Is m a multiple of 19?
False
Suppose 0 = -4*d - 5*f - 2713, -3*d - 4*f + 1324 = -5*d. Let o = d - -1196. Does 8 divide o?
False
Let f = -197 + 197. Suppose -24*g + 1394 + 4654 = f. Is g a multiple of 28?
True
Let u = 69610 - 44122. Does 177 divide u?
True
Suppose -429*x + 1678172 = -24*x + 147272. Is 63 a factor of x?
True
Let s = -38 + -122. Is 15 a factor of 4 + 0/(-8) + s/(-1)?
False
Suppose 3*r - v - 256 = 21, -2*v = 8. Suppose -r = 14*t - 413. Does 3 divide t?
False
Let h(j) = -45*j - 6. Let i = 44 + -51. Is 46 a factor of h(i)?
False
Suppose -3*p - r + 7585 = 0, 0 = -p + 5*r - 322 + 2877. Is p a multiple of 26?
False
Is 28 a factor of 2543040/352 - (-30)/(-55)?
True
Suppose 5*z = -3*b - 2685 + 7705, -5*z + 6700 = 4*b. Is 120 a factor of b?
True
Suppose -419*s - 329641 = -432*s. Is 10 a factor of s?
False
Suppose 2*c + 0*c + 12 = p, 0 = -4*p - 3*c + 15. Suppose -374 = -2*x + 3*w - p*w, -x - w + 185 = 0. Is x a multiple of 7?
False
Let p(s) = 2*s + 35. Let r(d) = 1. Let c(y) = p(y) - 5*r(y). Does 7 divide c(-8)?
True
Is ((-4)/(-6))/((-62)/(-113274)) a multiple of 14?
True
Let i be 30/8*2*1500/225. Let o = i + 115. Does 17 divide o?
False
Let t be 3/5 - ((-114820)/50 - 3). Is 16 a factor of (-8)/((-32)/t) + 1?
True
Suppose 21*g + 9776 = 2*l + 23*g, 5*l - 24436 = -g. Is 27 a factor of l?
True
Suppose -4*y - 72 = -328. Let o = 48 - 27. Let l = y - o. Does 20 divide l?
False
Suppose 2*c - 58 = -3*n + 2*n, 38 = n - 3*c. Suppose 5*b = 2*y - n, 4*b + 58 = 3*y - 5*y. Is 10 a factor of (-266)/(-6) + 4/b?
False
Let u(i) = 2*i + 131. Let r(b) = 3*b**2 + 33*b + 17. Let q be r(-9). Is u(q) a multiple of 4?
False
Is (-1)/((-3)/(-36)*4)*-399 a multiple of 48?
False
Suppose -47 = -2*v - 3*u, u = 7*v - 3*v - 73. Suppose -14 + v = -5*r. Does 6 divide 174/6 - (3 + r)?
False
Is 4/(-22) + (-3048168)/(-374) a multiple of 50?
True
Let h(u) be the third derivative of u**6/120 - 3*u**5/20 + u**4/24 - u**3 + 20*u**2. Let j be h(9). Suppose -j*i + 77 = -184. Is 14 a factor of i?
False
Suppose 0 = -3*s + 375 + 1017. Does 6 divide s?
False
Let d(w) = -2*w - 15. Let q be d(-11). Suppose -2*n + 72 = t, 0*n = t - 3*n - 82. Suppose q*y = 3*y + t. Is y a multiple of 2?
False
Let x(t) = 30 - 47 - 9*t - 5 + 109. Does 12 divide x(3)?
True
Suppose -48*c - 11242088 = -451*c. Is 44 a factor of c?
True
Suppose -4*v + 81 = -79. Let a(y) = -66*y**2 + 168*y + 3. Let k be a(2). Let b = k - v. Does 35 divide b?
True
Let k = 12100 - 2758. Does 54 divide k?
True
Let v(s) = -500*s**3 + 6*s**2 + 27*s + 93. Does 14 divide v(-3)?
True
Suppose 5*n = -8 - 