 -160. Is 4 a factor of d?
False
Let i = -492 - -497. Suppose i*s = f + 1120, 3*s = 4*f - 5*f + 680. Is 3 a factor of s?
True
Let v = -65 - -294. Let f = v + -330. Let w = f - -251. Is 30 a factor of w?
True
Suppose 23 = 6*b + 17. Is b*((170 - -2) + -2) a multiple of 10?
True
Let m be 2/3 + (-177)/9. Let a(i) = -55*i + 187. Is 48 a factor of a(m)?
False
Let x(i) = -i**3 - 8*i**2 - 17*i - 13. Let q be x(-6). Let u(b) = 2*b + 90. Is 25 a factor of u(q)?
False
Let u(n) = -4*n**2 - 4*n + 2. Let a be u(1). Let i = 4 + a. Is (-396)/i + 9 + -11 a multiple of 28?
True
Suppose -v + 6592 = -3*w, 29*v + 26352 = 33*v - 4*w. Is 37 a factor of v?
True
Suppose -5*m + 23 = 3. Suppose -2*g = -8, -m*v - v + 2*g - 8 = 0. Suppose 2*k + 2*k - 4*o - 468 = 0, 5*k + 5*o - 535 = v. Is k a multiple of 7?
True
Suppose 636 = 8*q - 1516. Let l = q + -53. Does 12 divide l?
True
Let t be 21/(-14)*(-32)/(-3). Let n(k) = -k**3 - 17*k**2 - 12*k + 17. Let x be n(t). Let b = x + 73. Does 13 divide b?
True
Let t(h) = 46*h**2 - 3. Let d(m) = m**3 - 14*m**2 + 9*m + 25. Let n be d(13). Let o be 1 + (-6)/9 + (-18)/n. Does 15 divide t(o)?
False
Let z be 4/(-18) - (-423)/81. Suppose -4*p + 4 = -u - z, -p = -u - 3. Is 8 a factor of -5*(-1 - p - 2)?
False
Suppose 3*p - 26 = p + 2*b, -5*b + 63 = 3*p. Let h = 29 - p. Suppose 160 = -h*z + 17*z. Is 40 a factor of z?
True
Suppose s = 3, 284 + 451 = 3*v - s. Suppose -46*b - v = -49*b. Suppose 12*j = 62 + b. Is 3 a factor of j?
True
Let b be (4/(-3))/(-3*(-9)/486). Let n(h) = -15*h - 3. Is 21 a factor of n(b)?
True
Suppose 37*v + 4 = 38*v. Suppose 4 = 2*x + 2*r, 4*x = v*r + 4 + 4. Is 18 a factor of 52 - x*(-1)/1?
True
Let f(m) = -3*m + 61. Let p be f(19). Suppose -p*u = -u - 306. Is 6 a factor of u?
True
Let i(a) = 2*a**2 - 33*a + 2. Let w be i(16). Let q(z) = -z**3 - 12*z**2 + 20*z - 26. Is q(w) a multiple of 9?
False
Let x = 22 - 16. Suppose x*y - 4 = 8*y. Does 12 divide y + (7 + -3 - -118)?
True
Is 178 a factor of ((-3738)/(-5))/((-1683)/(-70125))?
True
Suppose -2 - 25 = -3*l. Let n be -3 + 40*(-12)/(-96). Suppose n*u + l = 111. Is u a multiple of 5?
False
Let y = -100 + 128. Suppose 0 = g + z - y, -g + 3*z - 5*z + 27 = 0. Is g a multiple of 8?
False
Suppose 4*i - 16 = -2*c + 5*c, -5*i - 3*c = -20. Does 14 divide i/(-6)*-3*157?
False
Let g(w) = 7*w**2 + 10. Is 79 a factor of g(-23)?
True
Let a = 42963 + -26007. Does 6 divide a?
True
Suppose -4*b + 0*b + 5*u = 11, b + 2*u = -6. Let v be (-10 - -4)*18/b. Suppose 4*g + 2*l = g + v, 3*g + 4*l = 21. Does 3 divide g?
False
Let u be 1 + -232 - (-9 - -12). Is 89 a factor of ((-267)/1)/(u/624)?
True
Let z(y) = y**3 - 27*y**2 + 26*y + 30. Let m be z(26). Is 37 - (8/(-32) - m/8) a multiple of 3?
False
Suppose x - 2*t - 4607 = 0, -x - x - 5*t + 9187 = 0. Let m = -2645 + x. Does 12 divide (-2)/9 + m/54?
True
Suppose -4*h = -y + 11, 3*h + 1 = 2*y - 11. Let q(c) = 6*c**3 - 6*c**2 + 2*c - 9. Is q(y) a multiple of 15?
True
Let n(h) = -h**3 + 11*h**2 - 2*h. Let x be n(-8). Let j = x - 717. Does 32 divide j?
False
Suppose -m - 5*g - 25 = 0, -5*g + 142 - 47 = -3*m. Does 54 divide 58/1*m/60*-2?
False
Let j = 21234 + -14172. Is j a multiple of 44?
False
Is 35 a factor of (-5908306)/281*1/(-2)?
False
Let b be (16/(-2))/(4/18). Is (b/(-16))/((5/88)/5) a multiple of 11?
True
Let h be (-772)/9 - 1 - (-14)/(-63). Let v = h + 183. Is 16 a factor of (0 + 2)/(195/v - 2)?
True
Suppose -2*o + 33299 = 5*l, 5*o - 83174 = 101*l - 103*l. Is 12 a factor of o?
True
Suppose -2*f + 5*l + 532 = l, 4*f - 2*l - 1082 = 0. Suppose 0 = -7*w + 2*w - 4*i - 340, 4*w - 3*i = -f. Let o = 128 + w. Is o a multiple of 12?
True
Let w = 607 + -243. Let s be 4/((-66)/(-12) + -5). Suppose -s*y + w = -4*y. Is y a multiple of 22?
False
Let l = -4963 + 3527. Suppose -3*j = 5*k + 239, -6*k - 4*j - 120 - 166 = 0. Is l/(-14) - (217/k + 5) a multiple of 17?
True
Suppose -3*y - 4*x = -4, -2*y + 0*y - 1 = -x. Suppose -3*u - u + 8 = y. Is 23 a factor of (13/39)/(u/276)?
True
Let n = -58 + 15152. Is n a multiple of 6?
False
Suppose 0 = x + 10*r - 9*r - 7, 0 = x + 2*r - 8. Let z be (-45)/60*(-8)/x. Does 13 divide z/5 + (2220/(-25))/(-1)?
False
Let p = 3332 + -3013. Is 2 a factor of p?
False
Let v be (2/(-8))/(((-6)/3624)/1). Suppose -5*d = v - 1001. Is d a multiple of 23?
False
Let k be 117/(6 - -3) + 8. Let y be (1/(-2) + 1)*0. Let c = k + y. Does 4 divide c?
False
Suppose -3*a - 1494 - 2684 = -4*f, -2*f = a - 2074. Is 46 a factor of f?
False
Let p(w) = -2*w**2 + 0*w + 3*w**2 + 6*w - 2*w**3 + 4 + 6*w**2. Let j be p(6). Let z = j + 208. Is z a multiple of 34?
True
Let q(f) = -188*f + 40. Let a be q(-6). Suppose a = -15*b + 4498. Does 44 divide b?
False
Suppose -5*b = o - b + 525, -4*o + b = 2032. Let p = o + 628. Is p a multiple of 15?
False
Let b(q) be the second derivative of -q**5/5 + 2*q**4/3 + 19*q**3/6 - 7*q**2/2 + 29*q + 3. Does 33 divide b(-5)?
False
Let c(k) = 230*k**3 - 38*k**2 - 10*k + 3. Does 5 divide c(3)?
False
Suppose 4*p + 24 = 116. Suppose -p = 2*b + 19. Is (-2)/6 + (-847)/b + 4 a multiple of 37?
False
Let s(l) = -3 + 30*l**2 - 1 + 5*l**2 - l**2. Let t(f) = 2*f + 62. Let m be t(-30). Is 22 a factor of s(m)?
True
Suppose -168*k - 480 = -169*k. Let p = 208 + k. Is 31 a factor of p?
False
Let q = -134 + -212. Let a = 479 + q. Is a a multiple of 8?
False
Is 3 a factor of (-4 + (-72)/(-12))/((-7)/((-28707)/2))?
True
Let w be -51*(-5 + 1812/(-18)). Suppose -13*v + 1852 = -w. Is v a multiple of 58?
False
Suppose -3*i + 4*i + 15 = 2*u, 0 = -5*u - 5*i + 30. Let c(v) = v**2 - v - 18. Is c(u) a multiple of 6?
True
Let g = 398 + -278. Suppose 4*i + 3*s = 7*s + g, 0 = 5*s - 20. Let t = i + 14. Does 18 divide t?
False
Suppose -3*s + 2*s + 3 = 0, w + 4*s - 4 = 0. Let l(k) = -34*k + 2 + 33*k - 4 - 4. Is 2 a factor of l(w)?
True
Let c = -39 + 28. Let u(v) = -v**3 - 8*v**2 + 11*v + 14. Let z be u(c). Suppose 0 = -2*p + 4*t + 200, p + 2*p - z = -5*t. Is 29 a factor of p?
False
Let k(i) = -720*i + 848. Is k(-8) a multiple of 14?
True
Let j be ((-4)/6)/(1 + (-44)/36). Suppose -4 = -2*n + j*o - o, o = -2*n + 7. Suppose 9*c - 822 = n*c. Is c a multiple of 24?
False
Suppose -2*f + 112638 = 5*t + 7029, -3*f = 6*t - 158403. Is 189 a factor of f?
False
Suppose -43*x = -51*x - 8. Let b be ((-118)/(-3))/((-4)/36). Is 11 a factor of (11/22)/(x/b)?
False
Suppose -4*b + 2544 = -4*u, -3*u - 8*b = -4*b + 1929. Let r = -520 - u. Is 18 a factor of r?
False
Is (2666624/(-68))/(-8) - (-6)/51 a multiple of 38?
True
Let i = -1439 + 835. Let y = i - -2104. Does 10 divide y?
True
Suppose 26 = -c + 2*w + 41, -43 = -3*c + 4*w. Let b(v) = v**3 - 11*v**2 - 3*v - 33. Is b(c) a multiple of 14?
True
Let v(m) be the first derivative of -m**4/4 + 4*m**3/3 + 25. Let o be v(4). Suppose o = -x + 5*x - 400. Is x a multiple of 50?
True
Let g(u) = -32*u**2 + 453*u - 12. Does 2 divide g(14)?
True
Suppose 4*g - 5*w - 449 = 0, -2*g = w + 4*w - 217. Let z = 27 - g. Let q = 231 + z. Does 38 divide q?
False
Suppose -u - 2 = 0, -1 + 12 = -5*v - 3*u. Is 9 a factor of (4/2 + -3)*v - -460?
False
Let j be 4/(-4*3/6)*11. Is (-2971 + -1)/(j + 20) a multiple of 50?
False
Let d(t) be the third derivative of t**6/120 - t**5/10 - 5*t**4/12 - 37*t**2 - 2. Suppose 4*k = -j + 24, -k - 19 = -5*j + 17. Is 17 a factor of d(j)?
False
Suppose -26325 - 1803 = -12*j. Is 7 a factor of j?
False
Let v(s) = 79*s + 380. Let d(n) = -38*n - 190. Let h(g) = -5*d(g) - 2*v(g). Does 24 divide h(29)?
False
Let h(l) = -6*l - 9 - 14*l**2 - 20*l + 4 + l**3 - 5*l. Let m be h(16). Suppose 0 = -m*s + 2*s + 423. Is 47 a factor of s?
True
Suppose -a - 2*m = -11042, 24 = 11*m - 8*m. Does 74 divide a?
True
Let c = 4738 - 3803. Is c even?
False
Let p(g) = 23*g + 113. Let m be p(-5). Does 25 divide (-170)/(-2)*m/((-2)/5)?
True
Let y be 1*((-27)/(-18))/(6/8). Does 46 divide (-680)/(-210)*228 + y/(-7)?
False
Suppose 980*p - 956*p - 13104 = 0. Is p a multiple of 14?
True
Let o(g) = -43*g - 25*g + 40*g - 36 - 53*g. Does 25 divide o(-6)?
True
Let b be 3*(-2 - 42/(-18)). Let q(v) = 449*v - 11. Does 37 divide q(b)?
False
Suppose -s + 882 - 186 = 0. Suppose 216 = -10*k + s. Is k even?
True
Let h be 30/20 + 14/4. Suppose -h*i + 8*m - 5*m = -3, 32 = 4*i + 5*m. Suppose 3*f + 3*d - 213 = 0, i*f + 4*d - 14 = 202. Is f a multiple of 14?
False
Suppose -22 = -