 (5/(50/(-8)))/((-5)/(-25)). Let x be t/18 + (-272)/72. Is i(x) a multiple of 9?
False
Let k(s) = s**3 + 173*s**2 + 140*s - 718. Is k(-171) a multiple of 8?
True
Let n(k) = 8*k + 92. Let o be n(-15). Let y(h) = h**2 + 28*h + 9. Is 9 a factor of y(o)?
True
Let a = -180 - -454. Let t = a + -214. Is t a multiple of 10?
True
Let s be 2/12*-788*-12. Suppose s = -27*o + 35*o. Suppose -5*l - 4*n + n = -o, -l + n + 41 = 0. Is 8 a factor of l?
True
Suppose 839 + 3277 = 6*z. Does 2 divide z?
True
Let m be (46 - 1)/(-5) - -2. Let g(l) = -4*l**2 + 11*l + 25. Let o(k) = 2*k**2 - 5*k - 12. Let a(i) = m*o(i) - 4*g(i). Is a(-6) a multiple of 22?
True
Let v(d) = 2*d**3 + 9*d**2 - 3*d - 10. Let x be v(-4). Suppose 5*c - 494 = 386. Suppose o + 43 = n, -5*n - 2*o = -c - x. Is 3 a factor of n?
False
Suppose -z + 31 = -j, -z = -4*z + j + 93. Let f = -33 + z. Let m(l) = -36*l - 13. Does 28 divide m(f)?
False
Suppose 0 = -2*y - 5*h + 537, 5*y + 2*h = 3*y + 546. Does 7 divide (-1 - -2)*-4*(-37743)/y?
False
Let s(y) = 13*y + 1640. Is 9 a factor of s(-41)?
True
Let l(s) be the third derivative of 5*s**5/2 - s**4/2 - 19*s**3/6 - 2*s**2 - 6. Is l(-2) a multiple of 56?
False
Let a be (32/48)/(2/(-147)). Let y = a - -5. Let q = y - -70. Does 13 divide q?
True
Let l(i) = 10*i + 109. Let n(y) = 29*y + 325. Let t(q) = -17*l(q) + 6*n(q). Does 11 divide t(18)?
False
Suppose 0 = -9*w - 15 + 24. Is 7 a factor of -3*w*119/(-3)?
True
Let m(r) = 3*r + 92. Let k be m(-30). Is 3 a factor of 140/40 + 431/k?
True
Let b(c) be the second derivative of c**4/3 - 2*c**3/3 + 9*c**2 - 21*c + 2. Is b(10) a multiple of 5?
False
Let y(q) = -q**2 + 9*q + 4. Let o be y(5). Let u = o + -96. Is u/(-10)*150/9 a multiple of 12?
True
Let o(j) = 10*j - 45. Let g = 196 + -182. Is 19 a factor of o(g)?
True
Let o = 8157 - 805. Is 40 a factor of o?
False
Let u(v) = -v**3 - 17*v**2 - 16*v - 3. Let d be u(-16). Let m(y) = 5*y**2 - 2*y - 7. Does 4 divide m(d)?
True
Suppose 75*s - 784 = 73*s - 4*a, -20 = -5*a. Suppose 4*j - s - 242 = x, 0 = 4*j - 2*x - 628. Is j a multiple of 12?
True
Does 68 divide (53338/8)/(((-12)/120)/(8/(-20)))?
False
Let a(j) = j**2 - 8*j + 10. Let z be a(6). Is 33 a factor of ((-130)/(-26))/(((-2)/27)/z)?
False
Let b(t) = 6*t**2 + 55*t + 97. Let p(d) = 2*d**2 + 18*d + 32. Let w(u) = -3*b(u) + 8*p(u). Let c be w(-8). Suppose -195 = -10*o + c*o. Does 10 divide o?
False
Let j be 15/(-20)*(-4)/(-6)*-748. Is (-2 - j)*3/(-6) a multiple of 13?
False
Let q(i) = -3*i**3 + 2*i - 1. Suppose 6*f = 96 + 54. Let b = f + -27. Is 5 a factor of q(b)?
False
Suppose 36*d + 36*d - 75*d = 0. Is 2/(-12)*148*(d + -6) a multiple of 4?
True
Let g = 187 - 182. Suppose -g*w = -233 + 78. Does 6 divide w?
False
Let n be 24*(6/(-5))/(60/(-75)). Suppose -180 = -41*o + n*o. Does 4 divide o?
True
Is 1*1*1800 + (-1 - -1) a multiple of 60?
True
Let c(n) = -n**3 - n**2 + n - 18. Let m(v) = v**3 - 9*v**2 - 21*v - 16. Suppose 0 = 2*j + 5*t - 7, 4*j - 5*t - 56 = -t. Let z be m(j). Is 7 a factor of c(z)?
True
Suppose 27 = -3*w + 3*x, 4*w + 4*x = 3*x - 51. Let g(h) = -2*h**3 - 21*h**2 + 5*h - 15. Is g(w) a multiple of 21?
True
Let q = 1113 - 918. Is q a multiple of 23?
False
Suppose -9*j + 10846 = 5*o - 11469, 4*j + 5*o = 9915. Is j a multiple of 17?
False
Let k = 178 + -511. Let p = 501 + k. Is 14 a factor of p?
True
Suppose x + z - 30 = 6, 0 = -x - 2*z + 38. Suppose -x*a - 16485 = -49*a. Is 44 a factor of a?
False
Suppose 0 = 82*m - 2564 - 23840. Does 161 divide m?
True
Suppose -2*w + 0*w + 0*w = 0. Suppose -2*r + w*r - 138 = 0. Let q = r - -158. Is 16 a factor of q?
False
Let b be (-40)/(-100)*((-13)/(-2) + 1). Is 11 a factor of 5 + (b*47)/(30/10)?
False
Let h(m) = 8*m**3 - 7*m**3 + 4 - 186*m**2 - m + 181*m**2. Let x be h(3). Is x*7/(1/(-1)) a multiple of 20?
False
Let s be (-46)/(-3) + (-66)/(-99). Suppose 0 = 16*b - 17*b + 8. Suppose 0 = -b*l + s*l - 272. Is l a multiple of 10?
False
Suppose q = -5*h + 6*q - 585, -3*h - 4*q - 330 = 0. Let u = h - -113. Is 23 a factor of (229/(-2))/u - (-2)/4?
True
Suppose 2199 = 4*a - 65*a + 23427. Is 9 a factor of a?
False
Suppose 7*j = -51 - 47. Let u be j + (2 - 0) + (2 - 0). Is u/(-4)*(-942)/(-15) a multiple of 22?
False
Let o = 18701 + -9044. Is o a multiple of 29?
True
Suppose 0 = d - 0*d + 4. Let h be 21*(-5)/(-15) - d. Suppose -h = -k + 13. Is 12 a factor of k?
True
Suppose 13*l = 1045 + 125. Suppose -2*y = -26 - l. Does 31 divide y?
False
Let g(p) = 163*p**2 + 46*p + 22. Does 14 divide g(-3)?
False
Let s(g) = -45*g**2 - g + 2. Suppose 5*n + 15 = -4*j, 0*n - 21 = -n + 4*j. Let x be s(n). Is (-4 - x) + (-4)/(-1) a multiple of 4?
True
Suppose -7 = -3*y - 1. Suppose -m = -t - 1, -2*t - 9 - y = -5*m. Suppose -t*l = -0*l - 44. Is 22 a factor of l?
True
Let q(z) = 868*z + 49. Let f be q(4). Suppose 4305 + f = 7*u. Is 24 a factor of u?
False
Let a(m) = 15*m**2 + 14*m + 7. Let g be a(-5). Let f = 448 - g. Does 17 divide f?
True
Suppose 0 = j - 2*v - 1313, 5*j + 1006 - 7611 = 2*v. Suppose -55*a + j = -52*a. Is a a multiple of 29?
False
Let z be (16/(-3))/(64/480). Is (-8)/(z/(-25))*-16 a multiple of 5?
True
Let k = 12 - 34. Let l(q) = -3*q**3 + 17*q**2 - 22*q + 51. Let b(j) = 2*j**3 - 18*j**2 + 22*j - 50. Let d(m) = -4*b(m) - 3*l(m). Is d(k) a multiple of 4?
False
Is 120 a factor of ((-8)/18)/((-404)/183618)?
False
Let m be 3790/25 - (-6)/(-10). Suppose 3*u = 4*u - m. Is 39 a factor of u?
False
Let h = -85 + 87. Suppose b + 3*d - 240 = -0*b, 5*b = -h*d + 1252. Is b a multiple of 28?
True
Let v be ((-85)/20 + -2)*4. Let y = v - -25. Suppose -2*t + 130 - 34 = y. Does 18 divide t?
False
Suppose 33*a + 61*a = 264892. Is a a multiple of 76?
False
Let z(d) = 29*d + 3. Let v(h) = -15 + 31*h + 23*h + 23 + 33*h. Let y(q) = 4*v(q) - 11*z(q). Is y(1) a multiple of 8?
False
Let a be 1*33 - (-3 + 4)*-2. Let q = -31 + a. Suppose 3*u + 3 = 0, -q*u = 2*x - 115 + 29. Does 9 divide x?
True
Let g = 14273 - 3464. Does 24 divide g?
False
Let k be ((-9)/2)/(14/168). Let f be (k/45)/(9/(-150)). Is 3 a factor of ((-5)/f)/((-3)/228)?
False
Let d(v) = -v + 13. Let k be d(8). Let m = 11 - k. Does 37 divide 11/2*(37 + m/(-2))?
False
Let r be (-14)/56 - (-245)/4. Suppose -5 = -2*b - 5*f + 37, 0 = 5*b - 5*f - 175. Let c = r - b. Does 30 divide c?
True
Suppose -803 = b - 3257. Does 6 divide b?
True
Let c = 2482 - 2265. Does 7 divide c?
True
Let j be (-150)/(-120)*4*-1. Let z(p) = 6*p**3 - 46*p**2 - 4*p + 64. Let w(a) = -a**3 + 9*a**2 + a - 13. Let v(m) = 11*w(m) + 2*z(m). Is 3 a factor of v(j)?
False
Let z(l) = l**3 - 7*l**2 + 2*l + 13. Let p(o) = -o**3 - 8*o**2 - 6. Let i be p(-8). Let k = i - -13. Does 6 divide z(k)?
False
Suppose 26067 + 349027 = 72*h - 13850. Is 146 a factor of h?
True
Let s = 623 - 314. Suppose 5*n - 5744 = -c, 5*c - s = -n + 859. Is 14 a factor of n?
True
Suppose -25 + 119 = 3*h - 2*p, 3*h = 3*p + 96. Is 13 a factor of h/(4 + (-2570)/645) + 2?
True
Does 11 divide (-136071)/(-21) + (-29)/((-2842)/(-56))?
True
Let c(a) = 113*a**2 + 23*a + 109. Does 8 divide c(-5)?
False
Let q = -131 + 95. Let t = 9 - q. Is 5 a factor of t?
True
Suppose 12 = -2*c + 5*c. Suppose -c*k = n - 205, 4*k - 175 = -2*n + 7*n. Is k a multiple of 25?
True
Suppose -92696 = -5*s + 4*b, -2*s + 9*b = -4*s + 37036. Does 28 divide s?
True
Let l(x) = -53*x - 1003. Is l(-71) a multiple of 138?
True
Let h(m) = -m**3 - m**2 + 3*m + 4. Let c be h(-2). Suppose 2*w = -c*w - g + 380, 3*g + 492 = 5*w. Is w a multiple of 6?
True
Suppose -7*h = 5*h - 47160. Suppose -15390 = -30*z + h. Is 12 a factor of z?
False
Let h = 32840 - 4838. Is h a multiple of 39?
True
Let i(z) = 4*z - 20. Suppose 11*o - 6 = 9*o. Suppose -45 = -8*k + o*k. Is i(k) a multiple of 3?
False
Suppose -4*s + 3*v - 28 = -223, v + 150 = 3*s. Let i = s + -41. Does 3 divide i?
False
Does 46 divide (-1 - 520/(-6))/((-1343)/(-165189))?
False
Let c(w) = w**3 + 24*w**2 + 21*w - 50. Let s be c(-23). Let r(o) = -o**3 - 5*o**2 - 11*o - 8. Is 2 a factor of r(s)?
True
Let y = -28310 - -41742. Does 14 divide y?
False
Suppose 6*p + 112 = 22*p. Suppose p*q - 12*q = -1800. Is q a multiple of 18?
True
Let t = -91 - -175. Is 35 a factor of ((-2)/(-14) + 62/56)*t?
True
Let a = 42 + -30. Let m = a - 9. Suppose 0 = -m*c + 120 + 360. Is 16 a factor of c?
True
Is (-1053)/78*9944/(-12) a multiple of 