 7*u - 25 = 0. Let t(j) = 12*j + 5*j**2 - 6*j**2 + 12*j + 14 - u*j. Is 6 a factor of t(17)?
True
Suppose -424 = 12*t - 8*t. Let n be 8/32 + 18/(-8) - t. Suppose -16*a = -14*a - n. Is 26 a factor of a?
True
Let h = 15573 - 8434. Is 25 a factor of h?
False
Let n be (-6)/(-10)*3*(-35)/(-3). Let b be (14/n)/(-1*(-2)/18). Suppose 801 = b*s + 267. Is 39 a factor of s?
False
Suppose -1182*u = -1374*u + 2021760. Is u a multiple of 81?
True
Does 178 divide 15 - 5/(80/(-35616))?
False
Let m = -5258 - -6024. Is 18 a factor of m?
False
Suppose -3*o - 126 = 6*v - 4*v, -4*v - 164 = 4*o. Let q = -46 - o. Does 25 divide ((-6)/(18/75))/(q/10)?
True
Suppose 17*d + 637 = 127. Is -6*5/d - (-1 - 278) a multiple of 35?
True
Let r(o) = -2*o**3 + 35*o**2 - 4*o - 23. Let w be r(17). Let z = w + -153. Is z a multiple of 5?
True
Let k(q) = 281*q + 9695. Is k(-19) a multiple of 33?
True
Suppose 7541086 = 484*s - 4699128 + 654706. Is 17 a factor of s?
False
Let m = 50 - 184. Let j = m - -130. Is 4 a factor of (-888)/(-32) + (-1 - 5/j)?
True
Let i = -20 - 3. Suppose 1363 = 14*v + 201. Let g = v + i. Is 5 a factor of g?
True
Let a = 11903 + 1621. Does 49 divide a?
True
Let l(a) = -11*a**3 + a**2 + 6*a - 6. Let k be l(1). Is (-25)/k*92/10 + 2 a multiple of 5?
True
Let i(j) = j**2 - 7*j + 3. Let h be i(10). Let m = h - -29. Suppose 122 = m*x - 60*x. Is x a multiple of 7?
False
Let p be (-26)/((-4)/18 - (-115)/315). Let t = p - -398. Is 9 a factor of t?
True
Is ((-3)/1)/(-2 - -4)*(-6868092)/693 a multiple of 20?
False
Suppose 0 = -3*q - 3*w - 2*w - 100, -4*q + 4*w - 176 = 0. Let p(o) = -o**2 - 4*o - 4. Let x be p(-3). Is (x*(-12)/8)/((-1)/q) a multiple of 15?
True
Suppose 0 = -5785*x + 5767*x + 111708. Does 58 divide x?
True
Let f = -97 + 53. Let x = -52 - f. Is 26 a factor of ((-20)/(-25))/(((-16)/390)/x)?
True
Suppose 5*f = b + f - 944, 3846 = 4*b - 2*f. Let r = b - 486. Is r a multiple of 28?
False
Suppose -10297 - 3431 = -24*l. Is l a multiple of 12?
False
Suppose -629860 + 17016 = -419*k + 136328. Is 6 a factor of k?
True
Let j be (-1 + 12 - -1) + -29 + 29. Does 37 divide (-431)/(-11) + j/(-66)?
False
Suppose -160*a = 89*a - 15*a - 3386682. Is 172 a factor of a?
False
Let d(x) = 8*x + 7. Let a(g) = 7*g + 7. Let k(c) = 6*a(c) - 5*d(c). Let l be k(-4). Is 4 a factor of -4*l/4 - -6?
False
Let q be (-588)/56*24*-1. Suppose 0 = -m - 5*m + q. Is 4 a factor of m?
False
Suppose 5*c = 15, -776 = -5*p + 3*c - 5*c. Let g = p - 130. Does 4 divide g?
True
Let m = -45679 - -48302. Is 61 a factor of m?
True
Suppose 0 = 5*m - 3*a - 33653, 589*m - 5*a - 20163 = 586*m. Does 6 divide m?
False
Does 16 divide 2 - (-5 + (-119)/(-21))*4257/(-6)?
False
Suppose -35*w + 54376 - 8483 = 393. Is w a multiple of 26?
True
Suppose 0 = -4*p + 8*p + 2*u - 161884, -2*p + u + 80942 = 0. Does 28 divide p?
False
Suppose 28 = 4*b + 5*h, 0 = -2*b - 17*h + 12*h + 24. Suppose -152 = 5*r - 5*v - 1917, -4*r - b*v = -1424. Is r a multiple of 17?
False
Let l(r) = -r**3 - 12*r**2 + 22*r - 4. Suppose 7*m = -114 + 16. Is 20 a factor of l(m)?
True
Let v = -4097 - -4206. Is 4 a factor of v?
False
Suppose 6*z - c = 25660 + 40909, 22208 = 2*z - 4*c. Is 70 a factor of z?
False
Suppose 46 = -27*p - 35. Is 59 a factor of (516 + -12)/(-7)*22/p?
False
Suppose 47*o + 74215 = 5*k + 42*o, 2*k = 4*o + 29676. Is 71 a factor of k?
False
Let w(q) = 11*q - 113. Let i be w(11). Suppose i = 3*d - 61. Does 3 divide d?
False
Let t = -128 + 128. Suppose a + 4*u - 272 = t, 464 + 360 = 3*a + 4*u. Is 47 a factor of a?
False
Suppose -4*v = -3*a + 7313, v = 359*a - 356*a - 7298. Is 13 a factor of a?
True
Let c(q) = -9*q**2 + 25*q + 5*q**2 + 11 + q**2. Let y be c(8). Suppose -4*j = 2*i - 58, -y = -2*j - 4*i + 1. Does 2 divide j?
True
Let d be (30/12)/(25/740). Does 23 divide 72/24 + 3*d?
False
Suppose 25*j - 17*j - 2280 = 5*j. Is j a multiple of 10?
True
Suppose o + 96 = -o + 3*t, 0 = 3*o - t + 158. Let u = o + 444. Does 39 divide u?
True
Suppose -44*r + 41*r + 3498 = 0. Is 10 a factor of r?
False
Suppose 20*j - 4878 = -178. Let q = j - 158. Is q a multiple of 31?
False
Suppose 13700 - 28482 - 65618 = -50*a. Is a a multiple of 26?
False
Let m be 4/48*-3*(3 - 7). Does 9 divide 11/(7 + 4) + 79 + m?
True
Let n(o) = 23*o**2 - 38*o + 153. Is n(16) a multiple of 12?
False
Let o(x) = -3*x**3 - 64*x**2 - 20*x + 23. Let s be o(-21). Suppose s*k - 2744 = -12*k. Is 14 a factor of k?
True
Let v(t) = -t**3 - 39*t**2 - 91*t - 66. Let f = -214 + 177. Is v(f) a multiple of 22?
False
Let m(x) = x**2 + 11*x + 3. Let v be m(-6). Is 25 a factor of (-75)/(-4)*(-72)/v?
True
Does 20 divide ((-9284296)/(-40))/7 - 288/(-160)?
True
Is 4 a factor of (-36 + 55146/(-63))*(-4 - (-1 + 3))?
True
Let n(p) = 3*p + 4. Let f be n(-5). Let j(r) = -7*r + 2*r - 3*r + 13 + 7*r. Does 4 divide j(f)?
True
Suppose -46*k = -49*k + 6. Suppose -4*z - 2*t = -326, k*t + 11 = 1. Is z a multiple of 4?
True
Let d = -289 - -659. Let z be ((-94)/(-141))/(1/6). Suppose -z*x = -9*x + d. Is 10 a factor of x?
False
Let z = 21 + -17. Let r(h) = 4*h**2 - 1 - z*h - 6*h**2 - h**3 - 9*h - 10*h**2. Is r(-11) a multiple of 7?
True
Let a = 165 + 3949. Does 242 divide a?
True
Let t = 5633 - 3556. Suppose -t - 6239 = -3*g. Is g/(-27)*(-2 - 1) a multiple of 44?
True
Let n(a) be the second derivative of 0 - 5/2*a**2 + 5/12*a**4 - 15*a + 0*a**3. Is 10 a factor of n(4)?
False
Let w(p) = -2199*p + 8. Let f be w(-2). Suppose 614 - f = -6*j. Does 79 divide j?
True
Let k = 3664 + -893. Is k a multiple of 62?
False
Let b = 3671 - 896. Does 6 divide b?
False
Let d(l) = 2775*l + 2206. Is d(9) a multiple of 7?
True
Let o(j) = -j**2 + 3*j - 36. Let y be o(5). Is (y - -15)/(1/(-7)) a multiple of 7?
True
Let a = -128 + 132. Suppose 32 = -a*f - 740. Let l = -55 - f. Does 46 divide l?
True
Suppose 3182721 - 590901 = 90*u. Is u a multiple of 41?
False
Suppose -70*v + 61*v + 9135 = 0. Suppose s + v = 5*c + 2*s, c - 4*s - 203 = 0. Is 29 a factor of c?
True
Let u(b) = -8*b**2 - 235*b + 46. Is u(-22) a multiple of 42?
True
Let p(t) = 44*t**2 - 26*t - 118. Let x = 267 - 271. Does 15 divide p(x)?
True
Let m(f) = -102*f - 715. Is m(-47) a multiple of 16?
False
Let f(h) be the third derivative of h**4/12 - 10*h**3/3 + 6*h**2. Let t be f(11). Suppose -t*o + 178 = 4*y, 4*y + 0*y - 5*o - 213 = 0. Is 22 a factor of y?
False
Suppose 3*j + 40 = 5*b + 8*j, 2*b - 16 = j. Suppose p + 2*z - 6 = 0, 2*p - 2*z + b = -z. Is (-4)/p - (-5 + 1) a multiple of 3?
True
Let q(l) = 39*l**3 - l**2 + 11*l - 10. Let s be q(1). Suppose 0 = n - 6*n + 15. Suppose -s - 105 = -n*t. Is 13 a factor of t?
False
Suppose -29*k - 7*k + 137170 = 22*k. Does 19 divide k?
False
Suppose 10*h - 3*h = -6*h. Suppose h = -3*f + 1 + 95. Is 4 a factor of f?
True
Does 54 divide ((-75720)/(-40))/(8 - 7)?
False
Suppose 0*m - 4*m + 8 = 0. Suppose -358*u + 1901 = -391*u + 9689. Suppose -m*k = -t + u, t = 5*k + 213 + 23. Does 37 divide t?
False
Let f = 43 + -49. Does 11 divide f/(-2 - 4)*611?
False
Let b(n) be the third derivative of -n**6/120 + 3*n**5/20 + n**4/2 + 2*n**3/3 + n**2. Let z(q) = -11*q - 145. Let t be z(-14). Does 28 divide b(t)?
True
Let d = -102 - -114. Does 5 divide 1353/d + (-9)/12?
False
Is 7 a factor of 141*(-1)/((-9)/((-36)/(-4)))?
False
Suppose 138*r - 13*r - 1202124 = -7*r. Is r a multiple of 6?
False
Let y = 802 - -117. Suppose 27*j - 836 = y. Is j a multiple of 23?
False
Let q = -728 + 1481. Is 71 a factor of ((-6)/4)/(1 + q/(-744))?
False
Suppose 2*m - 4272 = -3*b, 3*m + 5*b - 6612 = -205. Does 8 divide m?
False
Let c be 324/(-14) - (8 + (-228)/28). Suppose 46 = -b + 2*z + z, 0 = -4*b - 4*z - 232. Let m = c - b. Does 4 divide m?
True
Let q(t) = -18*t**3 + 8*t**2 - 53*t - 308. Is q(-6) a multiple of 24?
False
Suppose -4*r - 34*r = -190. Suppose -4*s + 1503 = r*y, 3*y - 3*s - s = 921. Does 71 divide y?
False
Let i(p) = -4*p**2 + 29*p - 16. Let q(l) = l**2 - 7*l + 4. Let h(a) = -6*i(a) - 26*q(a). Let t be h(-5). Let v = t - -115. Is v even?
False
Let g(w) = -46*w + 5. Let k(d) = -2*d. Suppose 18 = 25*h - 26*h. Let r(j) = h*k(j) + 2*g(j). Is r(-1) a multiple of 22?
True
Is 73 a factor of (0 - -2) + (1 - -367) - (-660 - -665)?
True
Let m be 9084*((-4)/(-16))/1. Suppose -m = -18*s + 13281. Does 48 divide s?
True
Suppose -631*j - 252868 = -642*j. Is j a multiple of 28