 Does 16 divide (-4)/((1/2)/(t + -13))?
True
Let x(t) = t**2 - 2*t + 7. Let h be x(4). Suppose 45 + 30 = 4*c - d, -2*c + h = -5*d. Does 11 divide (-2)/((-2)/(-5))*(-528)/c?
True
Let v = -38 - -69. Suppose -n + v = -c + 5, -5*n - c + 154 = 0. Suppose 26*o - n*o = -924. Does 41 divide o?
False
Let h(x) = 15 - 6*x - x**3 + 2*x + 21*x**2 + 0 - 1. Is h(15) a multiple of 10?
False
Let s(x) = -8 + 2*x**2 + x**3 + 20*x - 14*x - 2*x**3 - 7*x**2. Let f be s(-6). Is -1*2/(-6)*(-264)/f a multiple of 2?
False
Suppose 798 = 5*t + j + 127, -2*t + 4*j + 242 = 0. Suppose 4 = 3*k - 2*k. Suppose -k*g + 23 + t = 0. Does 13 divide g?
True
Let n(q) = 52*q**3 + 6*q**2 - 27. Is n(4) a multiple of 79?
True
Let h(q) = q**3 - 8*q**2 - 3*q - 1. Let k(m) = -6*m**3 + m + 1. Let v be k(-1). Let j be h(v). Let r = -34 - j. Is r a multiple of 5?
False
Let r = -525 + 23691. Is 99 a factor of r?
True
Let j = 54 + -44. Suppose j = 3*u + 22. Is 19 a factor of (5415/(-38))/(3/u)?
True
Suppose -183*f - 1216 = -181*f. Let z = 1122 + f. Is 18 a factor of z?
False
Suppose d + 76*t = 72*t + 5368, 5*d - 26890 = 5*t. Is d a multiple of 21?
True
Let z = 8360 - 1472. Does 42 divide z?
True
Let k(r) = -6 + 4 + r**3 - r - 5 - 21*r**2 + 3 - 16. Is 26 a factor of k(22)?
True
Suppose 2*a + 6464 = 2*j, -4*j - 124*a + 12924 = -126*a. Does 17 divide j?
True
Let z(q) = 10*q**2 + 39*q - 1001. Does 28 divide z(29)?
True
Let t = 123 - 64. Suppose -29 - t = -f. Does 11 divide f?
True
Suppose m = 10 - 4. Let a(w) = 2*w**2 - 11*w - 6. Let h be a(m). Suppose 48 = -h*t + 3*t. Is t a multiple of 5?
False
Let b(a) = 88*a**2 + 2*a - 2. Suppose 5*l = 2*v - 5, 18*l + 12 = 15*l + 3*v. Is 8 a factor of b(l)?
True
Suppose -23*a + 20*a - 1311 = 0. Let k = a - -947. Suppose 0 = -p - 4*p + k. Is p a multiple of 6?
True
Suppose -4*c = 3*w - 2*c + 1689, 5*w = c - 2815. Let t = w - -869. Is t a multiple of 13?
False
Let q(s) = 2628*s**2 - 5*s + 8. Does 235 divide q(2)?
False
Let p(d) = 76*d**2 - 50*d + 148. Does 33 divide p(13)?
True
Let i(d) = -d**3 + 4*d**2 + 4*d + 7. Let w be i(5). Suppose 3*n - w*o - 170 = -4*o, -2*n = o - 115. Does 5 divide n?
True
Let r(b) = b**3 + 51*b**2 - 1087*b - 106. Does 18 divide r(-66)?
False
Let r(a) = -5*a - 20 + 3*a + 13 - 4*a. Let n be r(3). Does 19 divide (4/(-10))/(5/n)*30?
False
Is -15 + 20 + 1603/1 a multiple of 27?
False
Is (1/6 - ((-5745)/(-18) - -15))*-10 a multiple of 5?
True
Suppose 57*f - 51*f = -16302. Let h = -1631 - f. Does 42 divide h?
False
Let h(r) = 4*r + 17. Let x be h(-10). Let n = -16 - x. Suppose -108 = -n*c + 60. Is c a multiple of 8?
True
Let c be 2*(10 + -2)/(-2)*1. Let i be (-1)/5 - c*(-4)/40. Does 6 divide 0 + 60/(1 - i)?
True
Let n(z) = 18*z**2 + 24 + 2*z**3 + 14*z**3 + 2*z**3 - 18*z - 25*z**3 + 8*z**3. Is n(-14) a multiple of 10?
True
Let r = 3082 - 86. Is 71 a factor of r?
False
Let i be (-1)/(-7) + 1316/49. Suppose -9*x + 6*x = -i. Suppose 3*q + 5*y - 27 = 9*y, 0 = -q - y + x. Is q even?
False
Let q be (-15022166)/(-711) - 4/18. Suppose 23*p - q = 4*p. Is 8 a factor of p?
True
Let j(q) = -27*q + 6*q + 6*q + 6*q**2 - 5*q**2 + 120. Does 57 divide j(42)?
True
Let a be ((-96)/10)/(3/600*15). Is 0/(-7) - a - 6 a multiple of 61?
True
Let c(p) be the second derivative of 21*p**5/10 - p**4/3 + 2*p**2 + 126*p. Does 27 divide c(2)?
True
Suppose -4*x - 8*n + 29 = -3*n, -2*n = -x + 4. Suppose -344 = -2*d + x*d. Does 37 divide -1 + 6 - (d - -3)?
False
Let g be 9/(-5 - 56/(-7)). Suppose 4*d + g*l - 1698 = 546, -1122 = -2*d - 4*l. Is 33 a factor of d?
True
Suppose 5*v - 53*t = -55*t + 58439, -4*v + 46780 = -2*t. Is v a multiple of 44?
False
Let m be 17 - -1*(-8)/(-16)*0. Let g be ((-108 - -2)/2)/(-1). Let p = g - m. Does 36 divide p?
True
Suppose 5*p = -z + 19, 3*z - 7*p + 2*p = -3. Suppose -38*r = z*x - 40*r - 74, 3*x - 5*r - 59 = 0. Is 8 a factor of x?
False
Let f = -853 + 466. Is 1*(f + -2)*(-18)/18 a multiple of 37?
False
Let c be 4/(-4)*(-3 - (-1 + -1)). Let m be ((-1)/3)/(c/(4 + -211)). Let z = 139 - m. Is z a multiple of 7?
True
Suppose -4*n = 3*x - 232 + 81, 4*n + 29 = x. Is 26 a factor of 6535/x - 14/63?
False
Let b(w) = w**2 - 7*w - 52. Let z be b(12). Suppose z*x - 226 - 574 = 0. Is x a multiple of 20?
True
Let h(r) = 198*r + 81. Let b(x) = -4*x + 1. Let u(t) = 45*b(t) + h(t). Is 23 a factor of u(20)?
False
Is 13 a factor of ((-12 - 2) + 18)*308?
False
Suppose -14*l = 1468 - 15048. Let c = l + -217. Does 43 divide c?
False
Suppose 2*a - 2*b = 13 + 19, -3*b - 12 = 0. Is (10 + -2)/(-1 - a/(-10)) a multiple of 5?
True
Suppose -3*u = -3*r - 69, 3*u - 30 - 47 = -r. Is 2 a factor of u?
False
Suppose -6*g - 12 = 90. Let j(q) = q**3 + 17*q**2 - 4*q - 4. Does 10 divide j(g)?
False
Let p(v) = 1900*v**2 + 72*v + 16. Is 28 a factor of p(3)?
True
Suppose -3*f + 20*s + 6962 = 19*s, 0 = 2*f - 4*s - 4658. Is f a multiple of 28?
False
Let k be 146/(-4) - (-9)/6. Let p be (-40)/k*-2 - (-6)/21. Does 15 divide (7 + 935/(-15))*9/p?
False
Let g = 358 + 713. Let w = g - 315. Is w a multiple of 14?
True
Let a(u) = 1154*u + 1174. Is a(3) a multiple of 29?
False
Is 6 a factor of ((-2)/12 + (-1)/2)*(-6216 - 30)?
True
Suppose 2598297 - 668850 = 69*x. Is x a multiple of 9?
True
Suppose 9380 = 26*c - 19*c. Suppose 0*p = 5*p - c. Does 27 divide p?
False
Suppose 2*u - 22*y = -19*y - 19, 0 = -2*y - 6. Does 73 divide u/(-35)*(-3 + 2558)?
True
Let y be 7794/6 + 3/(-1). Suppose -10*m - 18 = -11*m. Suppose 26*c = m*c + y. Is c a multiple of 29?
False
Let x be 2*(-5)/2 - (8 + -971). Suppose -9*o + 11*o = x. Is o a multiple of 26?
False
Let y = -30113 - -43707. Is y a multiple of 159?
False
Let t be (-174)/(-4) - (-70)/(-140). Suppose 3*b = 4*b - 161. Let s = b - t. Is 25 a factor of s?
False
Does 15 divide 714*(2 + (-78)/(-12))?
False
Let a(k) be the second derivative of 59*k**3/3 - 7*k**2/2 - 40*k. Let p(d) = d - 1. Let g(z) = a(z) - 5*p(z). Does 6 divide g(1)?
False
Suppose -3*i - 65*i + 14*i + 108 = 0. Let f be (6/8)/((-1)/(-4)). Suppose -118 = -f*b + c + 256, -4 = i*c. Is b a multiple of 17?
False
Let v = 6294 + -2830. Does 36 divide v?
False
Suppose -76*k = -71*k - 20, k + 98753 = 3*m. Does 39 divide m?
False
Let f(j) = 29*j**2 + 2*j + 3. Let w be f(4). Let l = w + -271. Is 3 a factor of l/21 + (-4)/(-14)?
False
Let h be (-3)/((-3)/(-8)) - -2. Let n be ((-3)/(h/2))/(6/6930). Suppose -4*r - n = -11*r. Is 26 a factor of r?
False
Let t be (-2)/(-4) + 2814/4. Suppose 2972 = -5*r - 2*y + 505, 0 = 2*r - 3*y + 1002. Let d = t + r. Is 33 a factor of d?
False
Let y be (-3 + 27/15)/((-6)/75). Let p = -207 + y. Let t = -111 - p. Is t a multiple of 42?
False
Suppose -4*x - x + 4*y = -11, -3*y + 6 = x. Does 10 divide (x + -2)/(5/1385)?
False
Let w(c) = -c**3 - 7*c**2 - 13*c - 4. Let j be w(-5). Suppose -j*m + 3116 = -3253. Is 9 a factor of m?
False
Suppose -i = 2*a - 28, -4*i + 4*a + 32 = -20. Suppose i*h + 11*h = 18212. Is h a multiple of 12?
False
Let z be -12*((-48)/18)/(-8). Does 21 divide ((-14)/z - 0)*138?
True
Suppose 0*l + 4*d = -l + 911, -3*l - 3*d = -2733. Suppose -4*j - l = -5*j - 5*q, -2*q = 4*j - 3680. Does 28 divide j?
False
Suppose 0 = -4*d + 3*w + 54, -d + 47 = 2*d + w. Let a be 14/(4/6 - (-20)/d). Is -4 - (3 - a) - -16 a multiple of 8?
True
Let s be -1 + 294/(2 + 0). Let w be -8 + 3/(33/484). Let u = s - w. Does 24 divide u?
False
Suppose 257*d = 2379959 + 1117297. Does 27 divide d?
True
Suppose 5*n - 2*c - 13 = 14, 5*n - 21 = -4*c. Suppose u = n*l + 206, 0 = -4*l + 7 - 27. Does 34 divide u?
False
Let w(d) = -3*d**3 - 11*d**2 - d - 19. Let b be 72/(-9) - (-2 + 1 + -2). Does 23 divide w(b)?
False
Let j = -173 + 248. Suppose -15*z + j = -12*z. Suppose 5*g = 5*w + 155, -5*w + 10 = z. Is g a multiple of 28?
True
Let j(d) = 3*d**2 + 169*d + 4376. Is 8 a factor of j(0)?
True
Let c(t) = -11*t**3 + 44*t**2 + 3*t - 5. Let i(s) = 5*s**3 - 22*s**2 - 2*s + 2. Let d(u) = -6*c(u) - 13*i(u). Is 12 a factor of d(-21)?
False
Let z = -9395 + 12962. Is z a multiple of 87?
True
Let s = 7 - -24. Suppose -s*k + 33*k - 10 = 0. Suppose 2*a + 108 = k*a. Is a a multiple of 6?
True
Let w = -555 - -939. Is 3 a factor of w?
True
Let z = 232 + -228. Suppose 28 = 4*m - 2*m. Does 7 divide (2*m/z)/(5/35)?
True
Suppose 0 = q + 2*v - 4, 0 = -5*q - 2*v - 0*v + 44. Does 28 divide 4 + (64 + 0)*q?
True
Suppose -150*d + 13