 -3*j + 4*m + 5857 = 0, -5*j = -40*m + 44*m - 9687. Is 21 a factor of j?
False
Let a be 5*((-54)/5 + 2). Suppose -p = 120 - 13. Let w = a - p. Is 15 a factor of w?
False
Let o(m) = -m**3 + 18*m**2 + 11*m + 26. Let b be o(13). Let j = b - 371. Does 52 divide j?
False
Suppose -3*a = -5*n + 1372, 5*a + n = -2090 - 206. Let w = -183 - a. Is 11 a factor of w?
False
Is 29/(696/(-112))*(-738)/7 a multiple of 6?
True
Let t(b) = 6 - 3*b**2 - 6*b + 10 - b**3 + 2*b**3 - 22. Let a be t(5). Let w(x) = x**3 - 15*x**2 + 17*x + 23. Is 13 a factor of w(a)?
True
Let d(c) = 2*c**2 - 159*c - 1761. Does 5 divide d(-13)?
False
Suppose 10*z - 10 = 5*z - p, -p = 3*z - 4. Suppose -z*o = w - 10, o - 3*o + 11 = 5*w. Does 39 divide 2 + (w - -2 - -168)?
False
Let n = 1771 + 4936. Is 204 a factor of n?
False
Let r(f) = -f**3 + 5*f**2 + 13*f - 14. Let u be r(6). Let a be u/7 - 1*-1. Suppose 0 = 2*l + a*m - 129, -335 = -4*l + 2*m - 41. Is 8 a factor of l?
True
Suppose 9*a - 2711 = 1339. Let g = a - 229. Is 13 a factor of g?
True
Let s be (12*2)/((-66)/18 - -3). Is (532/3)/(s/(-54)) a multiple of 38?
True
Let g be 33944/(-28) + 5 + 99/(-21). Let h = g + 2412. Is h a multiple of 25?
True
Let j = -59 + 43. Let s(m) = m**3 - 3*m**2 - 5*m - 20. Let p be s(6). Let h = p + j. Does 8 divide h?
False
Suppose 4*x + 3*b = 21, -5*x = -4*b - b. Suppose -x*i = -i - 8. Suppose i*n - 472 = -4*y, -620 = 2*n - 7*n + 5*y. Is n a multiple of 35?
False
Let k = 5416 + -5401. Is k a multiple of 8?
False
Let g(z) = -z**2 + 2*z - 6. Let h be g(-9). Let u be 1375/(-22) - 4/8. Let v = u - h. Is v a multiple of 14?
True
Is 141 a factor of ((-812)/(-232))/(2/3864)?
False
Let v be 20/(-2) - (-137 - -128). Let h(n) = n**2 - n + 1. Let i(c) = 49*c**2 - 4. Let s(w) = 2*h(w) + i(w). Is s(v) a multiple of 32?
False
Let v(t) be the second derivative of 11*t**4/6 + 7*t**3/6 - 9*t**2 + 3*t - 1. Is v(2) a multiple of 21?
True
Suppose -3*c + 4*c + 4*o = -429, -1686 = 4*c + o. Let f = 755 + c. Is 12 a factor of f?
False
Suppose 4*z = -10*g + 5*g + 7, 10 = 3*z - g. Suppose z*p = 2*p - 2*i - 23, -5*p = -i + 93. Let s = 61 + p. Is s a multiple of 11?
False
Suppose -13*y = -8668 - 5099. Suppose 1 = 2*c - 1, 2*q - y = 5*c. Does 35 divide q?
False
Let l = 468 + 4224. Does 6 divide l?
True
Suppose -f - 15 = -2*k - 60, 5*k + 183 = 4*f. Let o = -28 + f. Does 5 divide o?
False
Let x(f) = -2088*f**2. Let z be x(-1). Let d be ((252/35)/(-3))/(18/(-300)). Is 32/d + z/(-15) a multiple of 8?
False
Let u(q) = -3*q - 8. Let t(o) = -o + 11. Let d(f) = 2*t(f) - u(f). Suppose -2*b + 3*y - 4*y = -45, 0 = 3*b + 5*y - 85. Does 5 divide d(b)?
True
Let z(g) = -2*g**3 - 19*g**2 - 19*g - 31. Let v be z(-9). Let i(m) = -7*m + 7. Let x be i(6). Let t = v + x. Is 4 a factor of t?
True
Let d(n) = 48*n + 38. Let x be d(-4). Let b = 183 + x. Is 3 a factor of b?
False
Let f(l) be the first derivative of 3*l**2/2 + 6*l - 14. Let r(b) = -6*b - 11. Let u(t) = -5*f(t) - 2*r(t). Is u(-5) a multiple of 2?
False
Suppose -28*x = -8*x - 140. Is -3 - (21/x + -513) a multiple of 9?
False
Suppose 21 = 7*f - 5*f - k, 3*f + 3*k = 45. Suppose -3*z = 2*p - f, -4*p - 3*z + 8 = -5*z. Suppose 5*n + p*g = 262, 22 = n + 2*g - 36. Is 6 a factor of n?
False
Let w(t) = -4 - 15 - 3 + 9 + t. Let l be w(6). Is (15228/(-42))/(-6) + 3/l a multiple of 11?
False
Let c = -169 - -502. Suppose -l = 4*n - c, -l + 3*n = -3*l + 656. Suppose -5*h = -4*p - 0*h + l, p - 83 = 3*h. Is p a multiple of 16?
True
Suppose -2*u + 12213 = -2411. Suppose 0 = 2*x - 18*x + u. Does 15 divide x?
False
Let c(r) = 50*r**2 - 5*r - 21*r**2 - 8 - 20*r**2. Let q be c(-3). Let y = 136 - q. Does 8 divide y?
True
Suppose 0 = -2*g - 25 - 63. Let l = g - -44. Suppose -59 = -u + 2*v + 47, l = 2*u + 5*v - 230. Is 10 a factor of u?
True
Let s(h) be the third derivative of -11*h**4/24 - 67*h**3/3 - 28*h**2 - 1. Does 6 divide s(-19)?
False
Suppose -3*w - 3*o - 102 = 0, 4*w + 103 = -5*o - 33. Is 83 a factor of (-35 - w)/(1/(-640))?
False
Suppose 0 = 144*l - 145*l + 4. Suppose -2*b + l*a + 130 + 20 = 0, -3*b + 5*a = -220. Is 11 a factor of b?
False
Let n = 266 - 266. Let i(k) = 8*k + 5. Does 5 divide i(n)?
True
Suppose 53*c + 52983 = 32*c + 30*c. Is 29 a factor of c?
True
Suppose 3*x + 4*v - 12164 = 0, -53*v + 55*v = 4. Is x a multiple of 195?
False
Let k(v) = 93*v**2 + 35*v + 250. Does 43 divide k(-6)?
False
Let i be -20 - -16 - 2*-2. Suppose -6*y + 1000 + 182 = i. Is 10 a factor of y?
False
Suppose 0*i = -11*i. Suppose -6*d - 443 + 1403 = i. Is 4 a factor of d?
True
Let d(a) = 497*a**2 + 112*a - 445. Is 109 a factor of d(4)?
False
Let j(x) = x**2 + 7*x + 12. Let s be j(-11). Let w(r) = -r**2 - 8*r - 1. Let z be w(-7). Suppose 2*l - s = 2*d, -z*l + l + 2*d + 143 = 0. Is l a multiple of 5?
False
Let t be 2*4 + (71 - 6). Suppose -4*v - 13*c + 17*c + 84 = 0, t = 5*v + 3*c. Is v a multiple of 17?
True
Let u(b) = b**3 - 22*b**2 + 30*b - 71. Let k be u(19). Let t = -260 - k. Is t a multiple of 27?
True
Suppose -6*l = -5*l - 13. Let j be (-2)/l + (-4085)/65. Let p = j - -91. Is p a multiple of 7?
True
Let q(z) = -z**3 - 2*z**2 - 21*z - 7. Let r be q(-7). Suppose 2*o = -m + r, o + 0*o + 4*m = 175. Is o a multiple of 15?
True
Let r = -23907 + 44943. Is r a multiple of 12?
True
Let d(x) = x**3 - 42*x**2 + 23*x + 713. Is 53 a factor of d(43)?
True
Is 175 a factor of 9 + 25/(375/369990)?
True
Suppose 0 = -11*u - 18*u + 221409 + 476679. Is u a multiple of 39?
False
Let b = 174 + -169. Suppose 3*w + 244 = b*r, 6*r = 4*r - 4*w + 108. Is r even?
True
Let g(v) = 303*v - 7249. Does 131 divide g(118)?
False
Let y be (44/(-6))/(22/(-231)). Suppose -372 = -5*z - 2*v - 0*v, -z = 3*v - y. Suppose -c + z = -4*p, -5*p - 187 = 3*c - 6*c. Is c a multiple of 9?
True
Let r(x) = -x**3 + 7*x**2 + 35*x - 4. Let t = 87 + -87. Let c(m) = m**3 + m**2 - 4*m + 10. Let p be c(t). Is r(p) a multiple of 39?
False
Let z(a) = -64*a**2 - 170 + 3*a + 3*a + 66*a**2. Is 6 a factor of z(-17)?
True
Let u = -48 + 158. Let y be (-95)/(-2)*44/u. Suppose 23*c - 328 = y*c. Is c a multiple of 41?
True
Let w(q) = 668*q**2 + 4*q + 16. Does 8 divide w(-2)?
True
Suppose -s + 2*i - 21 = 23, -2*s - 3*i = 123. Let q be s/(-10) - (-15)/25. Let n = 15 + q. Is n a multiple of 5?
False
Suppose -4*y + 5*l - 20 = -9*y, 5*l + 25 = 4*y. Suppose 387 = -3*s + 4*a - y*a, a + 3 = 0. Is (-3)/6*s/8 even?
True
Suppose 0 = -5*o + 59632 - 23132. Suppose 28*t - o = -1980. Is t a multiple of 10?
True
Let y(n) = 6*n**2 - 21*n - 19. Does 52 divide y(-21)?
True
Suppose -5*a = -404 - 11. Let m = 2 - -200. Suppose j + a - m = 0. Is 17 a factor of j?
True
Let g = -19692 + 36819. Is g a multiple of 38?
False
Suppose 0 = -3*i - d + 23, 42*i - 4*d = 45*i - 20. Let f(a) = 22*a - 40. Is 45 a factor of f(i)?
False
Let j(h) = -30*h + 14. Let w be j(4). Let l = -80 - w. Is l a multiple of 2?
True
Suppose 17*z - 14*z - 57 = 0. Suppose m + 5*d + z = 0, -m - 5*d = 2*m + 17. Is -3 - (m + -109)/4 a multiple of 4?
True
Let k(i) = 8 + 4*i - 15 + 13 - i. Suppose 5*g - 57 - 8 = 0. Is 9 a factor of k(g)?
True
Suppose -29*r + 21*r = -19*r + 252120. Does 15 divide r?
True
Suppose 141*x = -102*x - 4160044 + 10261774. Is x a multiple of 21?
False
Let d(v) = -6 - 6 - 6 + 7*v + 2. Is d(28) a multiple of 9?
True
Let x(k) = 7*k - 6. Let g be x(0). Does 7 divide 3/g + (-3471)/(-26)?
True
Suppose 239*k - 243*k + 748 = 0. Suppose -3*t + 3 = 0, -33*t - k = -r - 34*t. Is 6 a factor of r?
True
Let y(t) = t**3 + 5*t**2 - 6*t. Let p be y(-6). Suppose p = 14*h + 807 - 2459. Does 9 divide h?
False
Suppose 5*b + 5*d = 145, -b - d = -6*d - 41. Suppose -16*f + b*f = 6630. Is 13 a factor of f?
True
Suppose 6 - 444 = 3*i. Let d = -76 - i. Let n = d + -53. Does 13 divide n?
False
Suppose 3*n - 2664 - 4146 = 0. Is 72 a factor of n?
False
Let s = -7385 - -39065. Does 22 divide s?
True
Let b be 362/(-7) - 12/(-294)*-7. Let m be 58/4*(-4 + 10). Let y = b + m. Is y a multiple of 5?
True
Suppose -4*p = -11*p + 91. Suppose -9*f + p + 95 = 0. Is 8 a factor of 4028/24 + 2/f?
True
Suppose -n + 9*w + 16516 = 0, 3*n - 16045 - 33503 = 4*w. Is n a multiple of 14?
False
Let j be 2/(-4)*5/(-15)*-6. Let d be (j/(6/8))/((-1)/3). Suppose 3*g - 138 = -d*h, -3*h + 137 - 35 = 3*g. Is 6 a factor of h?
True
Let x(f) = -f**2 - 16*f - 18. Let k be x(-13). Suppose 