**2 + 5*c + 3. Let w be z(-3). Suppose m - w*m + 20 = 0. Suppose 0 = -3*s - m + 229. Is 42 a factor of s?
False
Let f = 5269 + -2175. Is 26 a factor of f?
True
Let s(g) = 11*g - 16. Let v(t) = -3*t + 6. Let q be v(5). Let p(m) = -m - 1. Let r be p(q). Is 12 a factor of s(r)?
True
Let h = -6388 - -19085. Is h a multiple of 4?
False
Let p be ((-2)/3)/(3/(-27)). Let v(x) = 3*x**2 + 2*x - 6. Let b be v(p). Let l = 165 - b. Is 8 a factor of l?
False
Let t = -683 - -3279. Is t a multiple of 22?
True
Let k = -25627 - -36877. Is 45 a factor of k?
True
Let b be -67 + (-16)/(-24) + (-16)/6. Let q = b + 74. Suppose 528 = 16*p - q*p. Is p a multiple of 5?
False
Suppose -240*x = -237*x - 2733. Let b = x + -781. Is b a multiple of 10?
True
Suppose -5*l - 398 = 3*f, -4*f + f = -3*l + 366. Let v = 8 + -84. Let i = v - f. Is i a multiple of 2?
True
Suppose -5*t + 14 = -4*x, -4*t + 0*x + 28 = x. Let c(b) = 12*b - 5*b**2 + 19*b - 16 + 4*b**2 - 18*b. Does 18 divide c(t)?
False
Suppose -10671 = -2*y + s, 37*s - 33*s - 20 = 0. Does 42 divide y?
False
Let y(z) = 51*z**2 + 11*z + 12. Is 44 a factor of y(-2)?
False
Let x(t) be the first derivative of 2*t**2 + 22*t + 88. Is x(22) a multiple of 3?
False
Suppose -45*p - 29554 = -26*p - 26*p. Does 18 divide p?
False
Is (-44550)/(-12) + 2/(-20) + 6/(-15) a multiple of 5?
False
Suppose 2*h - h = -5*r - 14, 3*r + 12 = 0. Let t be ((9/h)/(-3))/(5/(-40)). Suppose 0 = t*w - 3*g - 143, -4*g = -2*w - g + 79. Does 5 divide w?
False
Let m be 132 + -3 + 1 + 7. Suppose -5*i = -r - 644, 0 = 5*i + r + m - 773. Does 10 divide i?
False
Does 198 divide 16024 - ((-208)/(-16) - 27)?
True
Suppose -158*i - 14427 = -34002 - 79175. Is 15 a factor of i?
False
Let c(i) = 110*i**2 - 4*i - 1. Let r = 21 - 20. Does 14 divide c(r)?
False
Suppose 5*i = -8*i + 1144. Let f = 87 - i. Is 2 a factor of 36 - (f + 2 + -3)?
True
Let g = -9380 - -13881. Does 81 divide g?
False
Let a = 1123 - 2241. Let f = -659 - a. Is f a multiple of 27?
True
Is 55 a factor of (121/2)/(7 - (-1257)/(-180))?
True
Let n(y) = -32*y - 91. Is n(-27) a multiple of 7?
False
Let h(w) = -4*w**2 + 163*w + 129. Is h(37) a multiple of 85?
False
Let p = 424 - 838. Let b = p + 426. Is b a multiple of 5?
False
Let j = 50856 - 22872. Is 176 a factor of j?
True
Let o = 16429 + -5351. Does 68 divide o?
False
Is 3 + 153584/10 - (-69)/115 a multiple of 61?
False
Suppose 22*d - 41362 = 22042. Does 22 divide d?
True
Suppose 2*d - 451 = -4*j + 121, 0 = 3*d + 3*j - 858. Let y = d - 67. Suppose 0*b + y = 4*r + b, 99 = 2*r - 3*b. Is r a multiple of 18?
True
Suppose 21*a - 17*a + 5*h = 9328, -4*a = 3*h - 9336. Is 41 a factor of a?
True
Let g = -19419 + 24977. Is g a multiple of 92?
False
Let w(d) be the first derivative of d**4/4 + d**3 - 7*d**2/2 - 10*d + 10. Let j be w(-4). Suppose -j*z + 196 = -p - 23, -3*z + 331 = -p. Is 6 a factor of z?
False
Let z = 21152 + 13633. Is 45 a factor of z?
True
Let u(h) = 225*h - 1160. Is u(12) a multiple of 66?
False
Suppose 0 = 2*q + 2*s - 22, -s + 6*s = -3*q + 39. Suppose q - 6 = -v. Is 17 a factor of 14 + 15/(3 - v)?
True
Let s(i) = i**2 - 22*i - 45. Let w be s(24). Suppose -4*r + 230 = -w*y - 186, -3*r + y = -307. Suppose 7*c = r + 18. Is 2 a factor of c?
False
Suppose -5*k + 403 = -482. Suppose -4*q - 27*q + 2542 = 0. Let n = k - q. Does 7 divide n?
False
Let d(j) = 10*j + 27. Let l be d(-3). Let m be (-8712)/(-32) + (26/(-8) - l). Suppose -5*q + 4*r + m = -3*q, -3*q + 402 = -3*r. Does 33 divide q?
True
Suppose -50*q + 963526 + 631651 - 337427 = 0. Is q a multiple of 117?
True
Let d be 7 - 12 - (-1 + -6). Suppose l = -2*c + 5*l + 66, -d*c - 5*l = -48. Is c a multiple of 6?
False
Suppose 0 = n - f - 10, f - 14 = -5*n + 6. Suppose 0 = 5*c - g - 172, 0 = -n*c - 4*g + 38 + 124. Is 26 a factor of c?
False
Let f(k) = 45*k + 226. Let y be f(9). Let w = 821 - y. Is 43 a factor of w?
False
Let h = -31086 - -68621. Is h a multiple of 46?
False
Let t(p) = 78*p**2 - 7*p - 33. Let h be t(-3). Let r = 366 + -821. Let w = r + h. Does 47 divide w?
True
Suppose 109*i = 2574757 - 434651. Is 10 a factor of i?
False
Let s = 732 + -626. Suppose -4*r + p = -487, -5*p + s + 165 = 2*r. Does 23 divide r?
False
Let o be (-204 - -1)/(9/(-10 - 8)). Let l = o - -376. Is l a multiple of 17?
True
Let j(m) = 217*m**2 - 40*m - 268. Is 8 a factor of j(-6)?
True
Let z = 1779 + -2873. Let p = z - -1599. Is 101 a factor of p?
True
Suppose 10047 = 43*k - 14377. Does 4 divide k?
True
Let m = -20092 + 20659. Does 21 divide m?
True
Suppose 5*o = t + 71554, 12*o - 3*t = 8*o + 57241. Is o a multiple of 55?
False
Suppose 60055 + 9135 = 17*b. Is 55 a factor of b?
True
Let z = 141 - 62. Let i = z - 31. Does 6 divide i?
True
Let t be (84/(-8))/((-5)/(-10)). Is 48 a factor of ((-108)/(-15))/(t/(-280))?
True
Let f(a) = a**2 + 16*a - 1014. Is 29 a factor of f(49)?
False
Suppose -2*i - 2*i = -36. Suppose i*l - 11*l = -18. Suppose l*m = 7*m + 192. Is 7 a factor of m?
False
Suppose 7*y - 91783 = -29441. Is 122 a factor of y?
True
Let d = -2981 - -5489. Suppose 60*c - d = 49*c. Is 38 a factor of c?
True
Let n be (-534)/(-45) - 4/(-30). Suppose 11*u + 102 = n*u. Does 51 divide u?
True
Let q(v) = -v + 2*v - 2*v + 8*v + 9 - 37*v**2. Let h be q(-2). Let b = h - -417. Is b a multiple of 42?
False
Let u = 4873 - 1177. Does 21 divide u?
True
Let h(g) = 28*g + 25. Suppose -a - z = 0, 4*a - 6*z - 24 = -4*z. Suppose 2*i - 2*y - 20 = 0, -a*i = -8*i + 2*y + 32. Does 21 divide h(i)?
False
Let l = 66 + -69. Let p = -137 + l. Let m = p + 188. Is 5 a factor of m?
False
Let b(o) = 3*o - 33. Let j be b(12). Let f(z) = 3*z**3 + z**j - 3*z - 3*z**3 - 8*z**2 + 10. Is f(9) a multiple of 22?
False
Let f(w) = 1136*w - 3351. Is 114 a factor of f(16)?
False
Let g(m) = -m**2. Let c(x) = -x**3 - 7*x**2 - 5*x + 18. Let s(j) = -c(j) - 2*g(j). Does 3 divide s(-8)?
True
Let k(v) = -2*v**2 + 13*v - 40. Let l(i) = 4*i**2 - 27*i + 81. Let t(x) = 5*k(x) + 3*l(x). Let o be t(7). Suppose w = o + 31. Is 8 a factor of w?
False
Let i(n) = -n**3 - 18*n**2 + 5*n - 29. Does 12 divide i(-20)?
False
Let j(r) = -8*r + 12. Suppose 3*d + 2 = u, 2*u = -3 + 1. Is j(d) even?
True
Suppose 3*c + 3*g = 0, 18 = 2*c - 2*g + 10. Let v(l) = l**3 + l**2 + 4. Let p be v(0). Suppose -c*o - p*o + 354 = 0. Is o a multiple of 19?
False
Let k be ((180/(-25))/(-4))/(6/1350). Let t = 581 - k. Is 44 a factor of t?
True
Let i = 25465 + -23353. Is 48 a factor of i?
True
Let s(a) be the third derivative of -7*a**4 - 5*a**3 + 42*a**2. Does 45 divide s(-5)?
True
Suppose -5*k = 4*z + 128, 5*k + 152 = -0*k + 4*z. Is 21/(-49) + (-1748)/k a multiple of 3?
False
Suppose -5*i + 380 = -r, -2*r = 7*i - 3*i - 304. Does 6 divide (-2)/19 + 17944/i?
False
Suppose -82 = 2*y - y + 4*o, -4*o = 4*y + 268. Is 30 a factor of (168/(-5))/(-1)*(-465)/y?
False
Let n(s) be the second derivative of -7*s**4/24 + 7*s**3/2 + 5*s**2 - 5*s. Let m(p) be the first derivative of n(p). Is m(-10) a multiple of 14?
False
Let i(k) be the second derivative of -k**5/20 - k**3/3 + 32*k**2 - 11*k. Let w be i(0). Let u = w - -20. Does 11 divide u?
False
Suppose 42 = -2*v + 50. Let j be (-38)/(-4)*(8 + 4). Suppose -v*l = -2*l - j. Does 14 divide l?
False
Let l(x) = 5724*x**3 - 23*x**2 + 19*x + 4. Does 22 divide l(1)?
False
Let x(b) be the second derivative of 47*b**3/6 + 8*b**2 - 22*b. Let d be x(-2). Let r = 225 + d. Is 35 a factor of r?
False
Let z(r) = 70*r - 314. Let g be (-3 + -22)/((-45)/18). Is 5 a factor of z(g)?
False
Let h(t) be the second derivative of t**5/20 + 11*t**4/12 + 2*t**2 + 2*t. Suppose -2*m - 1649 = -1639. Is 22 a factor of h(m)?
True
Let z(h) = -h**3 + 10*h**2 + 3*h + 6. Suppose 3*w - 26 + 11 = 0. Does 26 divide z(w)?
False
Let z(f) = f**2 - 26*f + 27. Let t be z(25). Suppose -2110 = -2*h - 7*x + 8*x, t*x + 1052 = h. Is 14 a factor of h?
False
Let f be 72/2 + (-3)/6*6. Let u = 30 - f. Does 6 divide ((-7 + 3)*u)/(2/3)?
True
Let h = 184 + 726. Let d = 1421 - h. Is 9 a factor of d?
False
Suppose -50*k + 12 = -48*k. Suppose 0 = k*q - 2*q + 144. Does 21 divide -2 + (-9)/(q/512)?
True
Let z(n) = 50 - 21*n + n**2 - 10 + 33 - 2*n**2. Is z(-18) a multiple of 7?
False
Let o be (38/(-8))/((-15)/(-60)). Let u(c) = c**3 + 6*c**2 - 3*c - 6. Let p be u(-4). Let j = o + p. Does 3 divide j?
False
Suppose 67 = -5*g - n, 