 + i + 150 = 0. Does 7 divide (-4)/s + 23952/90?
True
Let s be ((-8)/10)/(35/(-25) + 1). Let v(n) = n**3 + n**2 + n + 9. Let u be v(0). Suppose s*g = 4*i - 2 + 16, -i - u = -g. Is 3 a factor of g?
False
Let k(a) = 90*a**2 - 75*a + 278. Is k(4) a multiple of 12?
False
Let f = -155 - -159. Suppose -f*q - b + 3*b = -528, -3*b + 660 = 5*q. Does 3 divide q?
True
Let p(m) = -10*m - 37. Let q be p(-4). Suppose q*g + 4*x - 242 = 0, 2*x = x + 5. Does 13 divide g?
False
Suppose -22*z = 4*z + 78. Is 5 a factor of (-4)/(-2)*(z - (-568)/16)?
True
Let d = 115 - 106. Suppose -16 = 4*l, -6*m - 218 = -d*m + 5*l. Is 66 a factor of m?
True
Let o(x) = 2*x + 59. Let p be o(-30). Does 30 divide p/(-3)*1987 + 8/(-6)?
False
Suppose 0 = t - 2*g - 15097, 60297 = 29*t - 25*t + 5*g. Does 57 divide t?
False
Is 27 a factor of (872/10)/((-117)/(-31590))?
True
Let n = 6323 + 12749. Does 149 divide n?
True
Suppose 5*q - 2*l + 0*l = 46, l = 2*q - 19. Suppose 0 = q*n - 479 + 183. Does 2 divide n?
False
Is 36 a factor of (-158)/3*((-2387)/44 - 2/(-8))?
True
Let i = 500 + -492. Let f(z) = 15*z**2 - 14*z + 7. Does 52 divide f(i)?
False
Let r = -37 - -131. Let q be 20/(-120) + 1329/(-18). Let t = q + r. Does 5 divide t?
True
Suppose m = -4*p + 9*p - 35333, -m = 3*p - 21195. Is 5 a factor of p?
False
Suppose 5*h - 12 = -4*r, 3*h - 2 = 2*r - 8. Does 14 divide 5 + -2 - 0 - (-1170 - r)?
True
Let x(i) = -83*i - 2*i**2 + 80*i + 1 + 520*i**3 + 0 + 5*i**2. Is x(1) a multiple of 24?
False
Suppose -3*i + 4*r = -5, 12*i - 2*r + 11 = 15*i. Suppose 0 = 3*k + i*t - 2061, -1116 = -3*k + 5*t + 929. Is k a multiple of 9?
False
Suppose 0 = 420*q - 8290305 - 6859935. Does 75 divide q?
False
Let r = -21807 - -60533. Is 34 a factor of r?
True
Suppose y - 90 = -4*z, 4*y + 402 = 8*y - 5*z. Suppose -l = -4*g - 3*l + y, 5*g = l + 126. Does 25 divide g?
True
Suppose 4*b + 5*y - 12 = 0, 32*b - 3*y - 9 = 29*b. Let q(n) = 31*n + 2. Let d be q(1). Suppose 0 = z - h - d, -b*h - 43 = -z - 0*z. Is 12 a factor of z?
False
Let y(o) = 20*o - 34*o + 15*o. Let a(i) = -6*i + 9. Let p(g) = -2*a(g) - 2*y(g). Is 19 a factor of p(7)?
False
Suppose -b = -4*j + 3*j + 7729, -3*j = 3*b - 23199. Suppose j + 36425 = 4*r. Is 25 a factor of 4/(-18) + r/63?
True
Let a(c) = c**2 - 15*c. Let s be a(15). Suppose -3*o - 5*r + s*r = 422, 0 = -4*r + 20. Let b = -92 - o. Does 18 divide b?
False
Does 4 divide 12540/9*((-36)/(-15))/2?
True
Suppose -3*q + 14 = 2*x, 2*x = 3 - 1. Suppose 0 = -q*f + 2*j + 74, -2*j + 5 = f - 7*j. Suppose 53 = 21*i - f*i. Is i a multiple of 5?
False
Suppose 2*i + 129 = 535. Let h be (94 - 108) + -1 + 77. Let f = i - h. Is 47 a factor of f?
True
Suppose 2*k + 3*q = 15, -9*k + 5*k = -q + 5. Suppose 3*l - 174 = -3*r, k = -l + 3*r + 87 - 21. Is 11 a factor of l?
False
Let w = 15999 + -13958. Is 277 a factor of w?
False
Suppose -3*g + 6565 = -57*s + 58*s, 3*s = -g + 19727. Is 48 a factor of s?
False
Let z(w) = 136*w**2 - 31*w + 99. Is 68 a factor of z(5)?
False
Let c = 28874 + -16772. Is c a multiple of 56?
False
Let w = 47267 + -45172. Is 39 a factor of w?
False
Let y = -22075 + 22307. Is y a multiple of 13?
False
Let f(a) = 7*a**2 - 130*a - 113. Is f(27) a multiple of 20?
True
Let p = -67020 - -108547. Is 242 a factor of p?
False
Suppose -62*k + 66*k - 104 = 0. Is (8/(-14))/(k/91) - -170 a multiple of 12?
True
Let c(r) = r**3 + 13*r**2 + 6*r - 48. Is c(-6) a multiple of 7?
True
Let w be 0 + 249*4 + 3. Suppose -2*h + 27 = w. Let m = h - -717. Does 33 divide m?
True
Suppose 17*p - 5746 = 5304. Is p a multiple of 7?
False
Let v(d) be the first derivative of 41*d**4/2 - 2*d**3/3 + d**2/2 - 4*d + 129. Is v(2) a multiple of 41?
False
Let k be (285 + 4)/(2 - 1). Suppose 440 = k*l - 285*l. Is 11 a factor of l?
True
Suppose -9*w - 3017 = 8755. Let l = w - -2415. Is l a multiple of 41?
True
Does 22 divide 352/(-64)*(2436 - 4)/(-4)?
True
Suppose -7*y + 6*y + 11 = 3*u, 0 = -2*y - u + 7. Does 68 divide 73 - ((-144)/(-32) + y/4)?
True
Let k(c) = -147 - 5*c - 146 + 15*c**2 + 294 - c**3. Is 19 a factor of k(11)?
False
Let s(w) = -53*w - 4056. Does 151 divide s(-87)?
False
Suppose -3*c - 3*k = -81, -57 = -2*c + k - 0*k. Let m = c - -11. Let t = 13 + m. Is 4 a factor of t?
True
Is 27 a factor of ((-36)/(-276)*23)/((-2)/(-3060))?
True
Suppose -5*a = -2*f - 2249 + 8607, -5*f + 15926 = 3*a. Is f a multiple of 20?
False
Let g(w) = -23 - 3*w**2 + 2*w**2 - 38*w + 10*w - 3. Is g(-21) a multiple of 23?
False
Let q(t) = -5*t**3 + 2*t**2 + 4*t + 24. Does 5 divide q(-4)?
True
Let o = 835 + -838. Is 678 - (o + -3 + 6)/(-3) a multiple of 18?
False
Let b = -200 + 121. Is (118/6)/(-2 + b/(-39)) a multiple of 59?
True
Let j be (-1 - 104) + 4 - 4/1. Let l = j + 105. Suppose l = 7*m - 4*m - 330. Does 28 divide m?
False
Suppose -6*n + 2*n = -8004. Suppose -7*q + 575 + n = 0. Is 75 a factor of q?
False
Suppose 2*u + 5*j = -25, -u + j + 20 = -3*j. Suppose u = 61*p - 68*p + 770. Is 7 a factor of p?
False
Suppose -5*z + 13 = -37. Let k be (-3 - -8)*318/z. Suppose 790 = 5*r + 5*x, -k = -r + x - 3*x. Does 24 divide r?
False
Is 22 a factor of (24/(-18))/((668164/334086 - 6) + 4)?
False
Suppose 5*h - 40 = h - 4*o, -h = -4*o - 5. Let r(z) be the third derivative of z**5/30 - 7*z**4/24 + 3*z**3 - 5*z**2. Is 13 a factor of r(h)?
True
Suppose 4*y = 3*p - 7371, p - 2467 = 2*y - 4*y. Is 43 a factor of p?
False
Suppose -d + 20171 = 3*o - 5822, 0 = -2*d + 2*o + 51914. Is d a multiple of 12?
False
Let z(j) = j**3 - 24*j**2 - 2*j + 30. Let g be z(27). Suppose -10*l = 11*l - g. Is 8 a factor of l?
False
Let a = 2075 + -1649. Is a a multiple of 3?
True
Let p(i) be the second derivative of -i**4/12 + 19*i**3/6 + 14*i**2 + 23*i. Let y be p(20). Is (-6)/y - 10/8 - -153 a multiple of 34?
False
Let z be 4*3/((-3)/(-8)). Suppose 0 = -5*w, 3*l = l + w + z. Does 12 divide l*7 - (25 - 21)?
True
Suppose -88 = 2*l - 4*m + 60, -m + 217 = -3*l. Let q = l + 137. Is q a multiple of 13?
True
Let d(s) = 10*s**2 + 10*s + 2. Let o(u) = -u**3 - 17*u**2 - u - 19. Let t be o(-17). Does 7 divide d(t)?
False
Suppose b + 4 = -2*i, -5*i = 3*b - 0*i + 10. Suppose 81 = -3*x - 5*l + 502, -3*x + 4*l + 376 = b. Is x a multiple of 12?
True
Let j = -1591 - -1658. Let d(i) = 16*i**2 - 4*i - 3. Let t be d(-3). Suppose 2*w = j + t. Is 15 a factor of w?
False
Suppose -7*d + 162282 = 4*g - 3*g, 0 = -3*d - 5*g + 69522. Is 21 a factor of d?
True
Suppose 0 = t + 35*w - 31*w - 22, 3*w + 29 = t. Let k(o) = -7*o + 289. Is 8 a factor of k(t)?
False
Suppose -8*r - 5*r + 42055 = 0. Suppose -5*d - r = -j - 3*j, d - 4022 = -5*j. Suppose 7*k = j - 224. Is 13 a factor of k?
False
Let g = -254 - -257. Suppose -g*y = 12, 0 = -c + 2*y - 5*y + 498. Is c a multiple of 15?
True
Suppose 23 - 44 = -7*m. Suppose k = m*b + 755, -2*b + 510 - 4350 = -5*k. Does 55 divide k?
True
Let a = 40030 + 3178. Is a a multiple of 88?
True
Let c(p) = 4*p - 2. Let z be c(1). Suppose 0*n + 3*n - 73 = -d, 0 = z*n + d - 48. Is 25 a factor of n?
True
Let s(p) = 26*p**3 + 2*p**2 + 5*p + 26. Does 12 divide s(5)?
False
Suppose -3*t = -h - 12, t - 5 = -3*h + 9. Suppose s + 2*s + 66 = z, -3*z = t*s - 142. Is z a multiple of 13?
False
Does 101 divide -404*(34/(-8) - (-320)/80)?
True
Let m = -6961 + 7003. Does 7 divide m?
True
Suppose 5*q = 2*a - 3855, 0 = 13*a - 9*a + q - 7743. Is a a multiple of 15?
True
Is (-5575)/(-3) - (-140)/(-105) a multiple of 3?
True
Suppose -213*o = 214*o - 415*o - 17700. Does 104 divide o?
False
Suppose 126*i = -146*i + 67*i + 400980. Is 9 a factor of i?
False
Let x(q) = 65 - 121 + 13 + 88*q. Is 35 a factor of x(3)?
False
Is 22 a factor of (-51)/6 + 68479/94?
False
Let d be (8/12)/((-14)/(-6573)). Let q = 574 - d. Is 10 a factor of q?
False
Suppose -6*y + 453 = -489. Let f(b) = -40*b**3 - 2*b**2 + 1. Let o be f(-1). Suppose y = 4*q - o. Does 7 divide q?
True
Let o(h) = -229 + 19*h**2 + 10*h + 210 + 6*h + h**3. Let q = -64 - -46. Is 2 a factor of o(q)?
False
Suppose -3729 = 2*w + 3761. Does 21 divide (w/14)/(4/(0 - 8))?
False
Suppose -20*i + 16*i = 0. Does 9 divide 8 - -13 - (i + 3)?
True
Let x(i) be the third derivative of 107*i**6/60 + i**3/6 + 2*i**2. Let r be x(1). Suppose 2*m - 3*j - r = 0, -m = 5*j - 0*j - 88. Is m a multiple of 26?
False
Suppose 2*y - 2*s + 7 = 1, -2*y - 2*s + 10 = 0. Let x = y + 42. Let w = x + -25. Doe