es 23 divide y?
True
Is 53 a factor of (-9)/4 + 10 + 516/(-48) - -6443?
False
Suppose -g = 3*l - 69626, -2*g - 1608 = l - 24815. Is 146 a factor of l?
False
Suppose -5*s = 5*g + 20, -3*s - 4 = 5*g - 6*s. Is ((-128)/20)/(231/(-115) - g) a multiple of 16?
True
Does 20 divide 2 - -3 - (-10226)/6*3?
False
Let t(p) = -p - 7. Let s be t(-8). Suppose -s - 9 = -2*y. Suppose -2*h - y*k = -46, 2*k + 2 - 27 = -h. Is 11 a factor of h?
True
Let b = 29 + -27. Let o(w) be the third derivative of w**6/10 - w**5/60 + w**4/8 - w**3/3 - 6*w**2 - 7*w. Is 48 a factor of o(b)?
True
Let b(k) = 2*k**2 - 51*k - 450. Is b(-12) a multiple of 9?
True
Let x be ((-6)/(-18))/(-1) + (-179)/3. Does 12 divide (3 - x/(-25))*90?
False
Let g(z) = -115 - z**2 + 3*z + 2*z**2 + 69. Is 83 a factor of g(-31)?
False
Suppose -5014 - 35 = -3*a. Suppose f = 4*c - a, 2*c - 837 = 3*f - 4*f. Does 42 divide c?
True
Let v = 89434 - 29164. Is 49 a factor of v?
True
Suppose 4*u - 12 + 0 = 0. Suppose u*i - 5 - 10 = 0. Suppose 0 = -i*f + 158 - 8. Is f a multiple of 3?
True
Let k = -1063 - -1059. Let x(a) = a**3 + 7*a - 1 + 0*a**3 + 7*a**2 + 5. Does 6 divide x(k)?
True
Let z(n) be the first derivative of -1/4*n**4 - 2/3*n**3 + 25 + 204*n + 1/2*n**2. Does 34 divide z(0)?
True
Suppose 69*x + 139571 = -39*x + 1005623. Is x a multiple of 32?
False
Let r(a) be the first derivative of 11*a + 3/2*a**2 - 19/3*a**3 + 15 + 1/4*a**4. Is 34 a factor of r(19)?
True
Let p(a) = -41*a + 77. Let l be p(-7). Does 2 divide ((6 - 1) + 1)/(42/l)?
True
Let m(x) = 2 - 7*x + 0 + 1 - 4. Let g(s) = s**2 + 13*s - 16. Let k be g(-14). Does 11 divide m(k)?
False
Is 6 a factor of -43 + 51 - -47*5?
False
Suppose -7971*i - 24045 = -7961*i - 115185. Does 20 divide i?
False
Let y(g) = 18*g**3 - 8*g**2 + 21*g + 5. Let o(k) = 27*k**3 - 11*k**2 + 31*k + 7. Let q(i) = 5*o(i) - 7*y(i). Does 6 divide q(3)?
True
Is 66 a factor of 5 - 2*(-22415)/10?
True
Let h be (-70187)/(-156) + (-1)/(-12). Suppose 1836 = -447*m + h*m. Does 51 divide m?
True
Suppose r = 4*p - 12913, 2423 = 2*p - 4*r - 4037. Is p a multiple of 6?
True
Suppose -8*s + 6*s = -416. Suppose -u + s = 2*p, 3*u - 4*p - 844 = -u. Is u a multiple of 21?
True
Suppose 0 = -5*m - y + 19, -2*m - 2*y = 3*m - 18. Suppose -3*o = -11 - m. Suppose 0 = o*t - s - 0 - 35, 4*t - s = 28. Does 3 divide t?
False
Let a(u) = -u**3 - 7*u + 20. Let q be a(2). Does 16 divide ((-12)/10)/q - 73878/(-70)?
True
Let n(m) = -91*m**2 + 4*m - 6. Let j(r) = 92*r**2 - 6*r + 7. Let v(g) = 3*j(g) + 2*n(g). Does 36 divide v(-2)?
False
Let m(u) = -9*u + 17*u - 5*u - u**3 - 10*u**2 - 18 - 7*u. Is 21 a factor of m(-11)?
True
Let s = -3024 + 4845. Is 40 a factor of s?
False
Is (12/(-22) - (-84)/33) + 10517 a multiple of 157?
True
Let o be (-10)/4*((-12)/(-10) + -2). Is o/30*-5 - 1436/(-6) a multiple of 11?
False
Let t be -2*((-3)/4 + (-33)/44). Let k(g) = -g**2 - 1. Let p(y) = -6*y**2 + 2*y + 1. Let u(c) = 2*k(c) - p(c). Does 14 divide u(t)?
False
Suppose 20*m - 28901 = -8021. Is m even?
True
Let z be -2*1/1 + 24/6. Suppose -5*v - 676 = 3*p - 4*v, -4*p - 898 = -z*v. Let s = p - -387. Is s a multiple of 13?
False
Let r = 0 - -4. Let p = -864 + 877. Suppose 243 = p*l - r*l. Is 2 a factor of l?
False
Let t = -26570 + 48374. Is t a multiple of 12?
True
Suppose -4*c = 4 - 0. Let s(w) be the second derivative of -23*w**3/3 - 2*w**2 + 30*w. Is s(c) a multiple of 14?
True
Suppose 0 = -16*n + 61*n - 302220. Is n a multiple of 9?
False
Let v(b) = -4272*b + 8. Is v(-2) a multiple of 6?
False
Let f(k) = 219*k - 24*k + 2 - 1 - 23*k. Let q be f(2). Suppose 0 = 6*h - 9*h + q. Is h a multiple of 24?
False
Suppose -6*o - 235 = -10*o - 3*g, -5*g - 250 = -5*o. Suppose -4*k + 263 = -3*j + o, 167 = 3*k - 5*j. Does 8 divide k?
False
Let y be 2/(0 + (-8)/(-12)). Let p(j) = y*j**2 + 8*j + 1 + 2 - 4*j**2 - 5. Is 2 a factor of p(6)?
True
Let l(d) = 48*d**3 + 81*d**3 - 4*d**3 - 2 - 2*d**2 + 4*d. Is 25 a factor of l(1)?
True
Let g(w) = -8*w + 76. Let r be g(7). Suppose 157 = r*y - 123. Is 14 a factor of y?
True
Let y = 8 - 4. Suppose 3*x - 2 = y. Is 18 a factor of 71 + -3 + -3 + x?
False
Let d be -2*(-2 + 3) + (-2 - -2). Is 5 a factor of 6986/56 + (d - -4)/8?
True
Let h be 3 + -2 + 6 - (0 + 3). Suppose -5*a = -0*f - 5*f + 85, -h*a = 0. Suppose -f = -5*t + 18. Is t a multiple of 5?
False
Let y be 6/(4 - (-42)/(-9)). Let f be y/(-2)*40/(-6). Is 11 a factor of (28/(-3))/(4/f)?
False
Suppose 7*y + 540 = -11*y. Let o = 350 - y. Does 10 divide o?
True
Let j be 81/4 - (-3)/4. Let l = -21 + j. Suppose l = -2*u + 3*u + 2, 0 = 5*k - u - 362. Is 12 a factor of k?
True
Let w = -8747 - -32688. Is w a multiple of 172?
False
Let s(g) = -g. Let n(p) = -41. Let d(o) = n(o) - 3*s(o). Let q be d(14). Is q/(15/25 - 309/540) a multiple of 8?
False
Suppose 770 = b + 2*k - 583, b = 2*k + 1373. Is 48 a factor of b?
False
Let z be (-18)/(-12)*(-1 + 2804/12). Let o = z - -99. Does 56 divide o?
True
Let j(q) = 844*q**2 + q + 8. Let l be j(-2). Suppose 7*o = l + 181. Does 18 divide o?
False
Is 14 a factor of 739 + 2 - (-114 + 127)?
True
Let p = 10647 - 7397. Is 26 a factor of p?
True
Let x = 58 - 65. Does 15 divide 758/(7 - x/((-42)/30))?
False
Let n be 0/((-2)/(3 - 2)). Suppose 12*o - 23*o + 1188 = n. Is o a multiple of 18?
True
Suppose 3*r - 3 - 6 = 0. Suppose -14 = -r*j - 17. Let v(m) = 17*m**2 - 3*m - 2. Does 6 divide v(j)?
True
Let u(c) = 9951*c - 97. Is u(1) a multiple of 62?
False
Suppose -c - 14972 + 36965 = 5*f, -3*c + 65951 = f. Does 51 divide c?
False
Let u(j) = -6*j**2 - 10*j + 18. Let s be u(4). Let m = -110 - s. Suppose 0 = -7*l + m*l - 267. Does 28 divide l?
False
Suppose 0 = 16*d - 15*d - 24. Let z = -28 + d. Is 25 a factor of (1 + 265/(-15))/(z/6)?
True
Let j = 1 + -1. Suppose -8 = 2*y - 4*a, y - 150*a + 153*a - 11 = 0. Suppose 229 = 3*c - y*w, j*c - 239 = -3*c + 4*w. Is c a multiple of 23?
False
Suppose -5*h - 1157 = -p, h + 22*p = 17*p - 221. Is 15 a factor of h*1*(-56)/24?
False
Let j = 6707 - -628. Does 9 divide j?
True
Suppose 2*h - 7 = -1. Let p be (42/(-9))/(h/(-27)). Suppose 18 = 2*w - p. Does 5 divide w?
True
Let w(o) = -5*o + 2. Let v be w(-4). Let y be v/165 + (-274)/30. Let l = y + 44. Is 13 a factor of l?
False
Let o(x) = 13*x - 37. Let h be o(3). Suppose -5*k - s + 660 = 0, -2*s - 264 = -0*k - h*k. Does 33 divide k?
True
Suppose 2*u - 5*z - 32706 = 0, 0 = -3*u - 213*z + 209*z + 49128. Does 11 divide u?
True
Let n be (-1230)/21 - ((-11)/7 - -1). Let d = n - -63. Is d/(-2)*8*1*-2 a multiple of 20?
True
Let h = 6302 + -5674. Is 12 a factor of h?
False
Suppose 0 = -5*u + 7*p - 5*p + 63568, -u + 3*p + 12698 = 0. Is 79 a factor of u?
False
Let r(g) be the first derivative of -g**2/2 - 18*g - 3. Let z be r(-20). Suppose -2*a - 44 = -2*c, z*c + 2*a - 34 = c. Does 13 divide c?
True
Suppose 2 = -i + 11. Is ((-24)/i + 3)/((-5)/(-4335)) a multiple of 17?
True
Let p be (-4)/(-2 - (-6)/(72/21)). Let n(o) = 24*o + 2. Is 9 a factor of n(p)?
False
Suppose 11 = -6*y - 1. Let v be 9/y*182/21. Let o = 54 + v. Is o a multiple of 15?
True
Let o = -1741 - -2337. Does 4 divide o?
True
Does 11 divide ((-1738)/(-632))/((-2)/(-880))?
True
Suppose 74*c - 56642 = -8986. Is c a multiple of 3?
False
Suppose 4*y - 15149 - 11551 = 4*s, 0 = 2*y + 3*s - 13325. Does 118 divide y?
False
Let w be (7/(-3))/(3/(-9)). Let m be w*(4/1 + (-36)/14). Suppose 505 = 15*a - m*a. Is 6 a factor of a?
False
Suppose 59*l - 58*l - 7*d - 26379 = 0, 3*l + 4*d = 79212. Is l a multiple of 16?
True
Suppose 42156 = 4*n - 2*j, 4*j = 4*n - 5403 - 36761. Is n a multiple of 30?
False
Let i be (1 - 1 - 2)*-1. Let q be (-198)/10 - i/10. Is 12 a factor of ((-10)/q)/(2/48)?
True
Suppose 45*r - 223920 = -28*r + 13*r. Is r a multiple of 21?
False
Suppose 0 = -10*l + 23 - 3. Suppose -5*d + x = -l*d - 1587, -3*d = 3*x - 1599. Is d a multiple of 10?
True
Suppose 0 = 4*s + 2*u + 396, -3*s + 0*u - 300 = 3*u. Let o be ((-140)/s)/(4/14). Suppose -v + 51 = o*i - 351, -3*i - 5*v = -250. Is 16 a factor of i?
True
Suppose 14*f = -368*f + 1375200. Does 30 divide f?
True
Let u(x) = -138 + 0*x + 2*x + 141. Let r be u(2). Is 81/(-2)*(56/(-12))/r a multiple of 13?
False
Suppose r = -4*f + f + 47, -4*r + 152 = 3*f. Does 7 divide -2 + r/14 - 299/(-2)?
False
Suppose 5*y - 2*r - 26073 = 0, -2*y - 5*r = 4435 - 14870. Suppose y