l be q(-5). Suppose 0 = 2*c + s - 4 - 2, -s = -c - l. Is 28 a factor of o(c)?
True
Let m be 11/(22/18)*-7. Is 15 a factor of (-2)/6 - -3*(-2044)/m?
False
Suppose 2*b - 5500 = -c, -2*c + 171*b = 169*b - 10964. Is 112 a factor of c?
True
Let d(a) = -276*a**2 - 4557*a + 5. Is d(-11) a multiple of 32?
True
Let d(j) = 5*j**2 + 2*j + 56. Let q(r) = -8*r**2 - 6*r - 112. Let y(z) = 7*d(z) + 3*q(z). Does 63 divide y(7)?
True
Let y(l) = -8*l + 36. Let o be y(4). Suppose 0 = 3*b, -b = -o*w + 144 + 112. Is 4 a factor of w?
True
Let q = -421 + 423. Does 35 divide 0 + (525/q)/((-4)/(-8))?
True
Suppose 0 = -8*k - 14 + 30. Suppose -3*o = -2*o - 2, -2480 = -4*v - k*o. Is 10 a factor of v?
False
Suppose -21*p = -10*p - 715. Is (3 - -7)/(5/p) + 2 a multiple of 11?
True
Let h be (496 - -18) + 0 + -4 + 0. Suppose 4*p = -2*d + 61 + 265, -3*d = -p - h. Does 3 divide d?
False
Suppose 183*c = 157*c + 13546. Is 13 a factor of c?
False
Let j(a) = 1748*a**3 + 9*a**2 + 3*a - 8. Is j(2) a multiple of 43?
True
Let k(z) = 60 + 33*z - 26 - 33 + 105 + 74. Is k(4) a multiple of 52?
True
Is 16 a factor of (2 - (-10)/(-15))/((24/(-471186))/(-1))?
False
Let x(o) be the third derivative of -3*o**6/8 + o**5/20 - o**4/8 - 3*o**3/2 + o**2 + 4*o. Is 8 a factor of x(-2)?
False
Let o(m) = 6*m**2 + 19*m - 40. Let n be o(15). Let x = n - 1105. Is x a multiple of 14?
True
Let o = 8034 - 7052. Is 14 a factor of o?
False
Does 39 divide (-198044)/(-40) - 39/390?
False
Suppose -25*g + 102730 = -67280 + 17510. Is g a multiple of 20?
True
Suppose 53*m + 455026 = 1906219. Does 101 divide m?
False
Let p(v) = -161*v**3 + 9*v**2 - 18*v - 55. Is p(-3) a multiple of 35?
False
Let s(l) = -415*l**2 + 4*l - 1. Let z be s(1). Let f = 462 + z. Does 5 divide f?
True
Suppose -5*a + 41 = x, 4*x + 4*a = a + 79. Does 4 divide 4/(x/(-28)) - -68?
False
Let p be (-8)/48 - (3 - 364/24). Suppose 107 = 4*v - 41. Suppose -a + v = p. Is a a multiple of 5?
True
Let m(f) be the second derivative of f**5/20 - 3*f**4/4 - 23*f**3/3 + 47*f**2/2 - 4*f + 53. Is m(13) a multiple of 14?
False
Let l = -245 + 449. Let c = 76 - 174. Let s = c + l. Does 15 divide s?
False
Let u be (-870)/18 - (-3)/9. Does 20 divide (-3564)/u + 3/(-12)?
False
Let w(n) = -74*n**3 + 3*n**2 + 3*n + 1. Suppose -7 = -11*m + 15. Suppose m*j = -5*f + 8, -5 = 5*j + f - 2. Is w(j) a multiple of 16?
False
Let o(q) = 32*q**2 - 20*q + 24. Suppose 0 = -514*t + 524*t - 30. Is o(t) a multiple of 42?
True
Let f(k) be the first derivative of k**4/4 + 4*k**3/3 - 7*k**2/2 - 8*k + 11. Let m be f(-5). Suppose m*p + 2*n + 2*n = 126, 5*p + 3*n = 336. Does 11 divide p?
False
Let d(w) be the first derivative of w**4/4 - 16*w**3/3 + 43*w**2/2 - 52*w - 78. Is d(16) a multiple of 37?
False
Let m(x) = -x**3 + 3*x**2 - 55*x - 304. Is 40 a factor of m(-23)?
False
Let a be (-16)/(-184) + (-912)/(-92). Suppose -a*s = 8*s - 1980. Is s a multiple of 11?
True
Suppose -53*a + 134532 - 42069 = -2*a. Is 49 a factor of a?
True
Let u be (27/(-12))/(27/72). Let m(n) = 10*n**2 - 18*n - 59. Is m(u) a multiple of 79?
False
Suppose 7 = -7*i - 7. Let v be (i - (0 + 2))*21/(-28). Suppose -v*l = -108 - 60. Is 14 a factor of l?
True
Let n be (4/6)/((-24)/(-252)). Suppose n*b + 20 = 48. Suppose -169 = -b*f + 23. Is f a multiple of 6?
True
Let u = 187 + -7. Let k be u/8 - 3/2. Let t = k - 17. Is t a multiple of 4?
True
Let r(u) = -11731*u**3 - u**2 - u. Does 27 divide r(-1)?
False
Suppose y = 2*d + 1, 0 = -0*y + 3*y - d - 13. Suppose -4*g + 248 = -4*k, -y*k + 30 + 44 = g. Is 3 a factor of g?
False
Let d(l) = l**2 - 8*l - 23. Suppose 4*y + 65 = 9*y. Let k be d(y). Suppose 465 = 9*o + k. Is 9 a factor of o?
False
Let o = -15638 - -27015. Suppose -27*r + o = -17. Is r a multiple of 27?
False
Let t = 5465 - -2205. Suppose 35*y = 25*y + t. Does 8 divide y?
False
Suppose 0 = -4*x - 5*d + 64588, 3*x - 89*d + 94*d - 48446 = 0. Is x a multiple of 162?
False
Suppose -45 = -6*w - 3*w. Suppose -w*n - 380 - 325 = 0. Let p = n - -205. Is 35 a factor of p?
False
Is 80592/(-40)*(8 + -5 - 8) a multiple of 69?
True
Suppose -10*m - 12 = -32. Suppose -s - c - m*c = -575, 8 = -4*c. Does 63 divide s?
False
Let z = -72 - -80. Does 17 divide ((-4)/z - 309/(-2)) + -5?
False
Let y be (-45)/60*8/(-3). Suppose 76 = s + n - 4*n, -y*n - 148 = -2*s. Suppose -4*g - 5*w + s = 0, -4*w - 4 = -0*g - 2*g. Is 9 a factor of g?
False
Let g = 62 - 152. Let u be (-6)/24 - g/8. Suppose -6*w + u*w = 825. Is 11 a factor of w?
True
Let x(p) = 22*p - 439. Let v be x(20). Let y = 12 - 3. Does 3 divide (-7 - -8)/(v/y)?
True
Let h(z) = -12 - 3*z**2 + 9 - 7 + 58*z - 15 - 211*z. Is 29 a factor of h(-44)?
True
Is (-106)/371 - 3*355326/(-63) a multiple of 15?
True
Suppose -111*h + 397835 + 102654 + 487411 = 0. Does 50 divide h?
True
Is 18/333 + (-175748)/(-37) a multiple of 40?
False
Suppose -13*l + 2*z = -15*l - 6, 6 = 3*l - 2*z. Suppose 18*a - 30*a + 216 = l. Is 13 a factor of a?
False
Let u = 2766 + -2369. Is u a multiple of 2?
False
Let m be (-1)/(2/(-12)) - -21. Suppose -5*t + m = -613. Is 64 a factor of t?
True
Suppose 1004*c - 1023*c = -2774. Suppose 5*n - n = 136. Let l = c - n. Is 37 a factor of l?
False
Suppose -3774 = -8*t + 1338. Let v = t - -9. Is v a multiple of 36?
True
Let y(b) = 9491*b - 273. Is 24 a factor of y(3)?
True
Let k(c) = c**3 - 7*c**2 + 14*c - 12. Let j be k(6). Suppose 0 = v - 39 + j. Suppose v*z = 4*z - 16. Is z a multiple of 8?
True
Suppose -2*x + 5*d = 2*x + 92, 88 = -4*x + 4*d. Let v = 80 - x. Suppose u = -0*u + v. Is 36 a factor of u?
False
Let g(d) = 2*d**2 - 25*d - 10. Let s be g(13). Suppose 0 = 5*m, -s*i + 7*i = 2*m - 52. Let r = 112 + i. Does 11 divide r?
True
Suppose 0 = 10*x - 3*x - 14. Let u be 21 - 20 - (-1 - x). Let y(b) = 17*b**2 - 9*b + 9. Is 31 a factor of y(u)?
False
Suppose -173 = 2*m - 3*i, 0 = 2*m + 4*i + 52 + 142. Let c = m + 345. Is c a multiple of 29?
False
Is (18/48)/(4 - 117/36)*14764 a multiple of 5?
False
Let z = 127 + -7. Let j be 5/(((-2)/(-12))/(8/z)). Is j + -4 + 5 + 17 a multiple of 2?
True
Let s = -1705 + 1974. Is s even?
False
Let v = -38 - -52. Suppose 5*j - 79 = -v. Suppose -395 = -j*g + 8*g. Is g a multiple of 26?
False
Suppose 2223 = 4*h + 5*g, 3*h - 1653 = -9*g + 10*g. Is 8 a factor of h?
True
Let s = 89 - 1. Let u = s - 79. Suppose -198 = -u*t - 0*t. Is t a multiple of 11?
True
Let l = 20829 + -17334. Is 15 a factor of l?
True
Let k = 6 - -6. Let b be 332/6 - k/(-18). Suppose -b = -4*x + 2*x. Is x a multiple of 14?
True
Let q = 42327 + -30015. Does 76 divide q?
True
Suppose 0 = 24*h - 54*h + 32*h - 7860. Is h a multiple of 24?
False
Let p(u) = -13*u**2 + 35*u + 17. Let j(h) = -19*h**2 + 52*h + 25. Let l(q) = -5*j(q) + 7*p(q). Let c be l(5). Let o = 11 + c. Is o a multiple of 17?
False
Suppose 0 = -33*r - 12*r + 39330. Is 85 a factor of (437/r)/(((-2)/(-3324))/1)?
False
Let u be (-8)/28 - 27/(-21). Let x(z) = 3*z**3 - z. Let r be x(u). Suppose 519 = r*k - t, 3*k = 2*t + 2*t + 766. Is k a multiple of 26?
False
Suppose 3169 = -7*n + 145. Let o = n - -1072. Is o a multiple of 32?
True
Let k(f) = 39*f**2 - 6*f + 12. Suppose 0 = -2*s + 3*b + 13, -6 = 5*b - 3*b. Is 12 a factor of k(s)?
True
Does 11 divide 13324/18 + 28/(-126)?
False
Let p(d) = -d**2 - 2*d + 2572. Let y be p(0). Suppose 9*v - y = 326. Is 19 a factor of v?
False
Let d = 10605 - 5587. Is d a multiple of 193?
True
Let j be 2187/(-54)*((-80)/(-3))/(-2). Suppose 6*r - j = 5796. Suppose 11*y - 19*y = -r. Is y a multiple of 12?
True
Suppose -2*w + 4*i - 17128 = 0, 5*w - 5*i + 42836 = -3*i. Does 68 divide w/108*18/(-7)?
True
Let b(d) be the second derivative of d**4/3 - d**3/2 + 17*d**2 - 36*d. Is b(6) a multiple of 8?
True
Suppose -2*g + 18 = 18. Is (753/12)/((-3)/(-24) + g) a multiple of 62?
False
Is 142 a factor of 14115/9 + -2 - 280/(-168) - 6?
True
Let y(s) be the third derivative of s**5/20 - 5*s**4/6 + 7*s**3/2 + 19*s**2. Let n be y(7). Does 8 divide (n - 5 - 3)/(1/2)?
True
Suppose -9*r + 13*r - 496 = 0. Suppose 128*z = r*z + 272. Is 4 a factor of z?
True
Suppose 2*l - 10*u - 1128 = -8*u, 0 = -4*l + 2*u + 2264. Is 8 a factor of l?
True
Is 14 a factor of 196/(-42) - (-949130)/21?
True
Let d be 6 + (-2)/2 + (-146 - -1072). Suppose -4*i + o = -3760, 4*o = -i + 2*o + d. Is i a multiple of 14?
False
Suppose 0*a = 2*f + 2*a - 12