+ 16*h - 188. Let w(t) = 4*d(t) + 11*j(t). Is w(-6) a multiple of 9?
False
Suppose 904*w - 7992 = 877*w. Is 7 a factor of w?
False
Let q(h) = h**2 - 3*h - 21. Let z be q(7). Suppose 0 = 11*t - z*t. Is 15 a factor of (t - -2) + 40 + 3?
True
Suppose 216*y - 90 = 218*y. Let u(g) = -38*g + 1. Let q be u(-2). Let t = q + y. Is 15 a factor of t?
False
Let n(o) = -o**3 - 2*o**2 + o - 1. Let r be n(-3). Suppose -103 = r*b - w, -b - w = 8 + 9. Is 14 a factor of (-1)/(-4) - (0 - (-2795)/b)?
True
Suppose -a - 15 = 2*a. Let y(v) = -v**2 - 5*v + 11. Let x be y(a). Suppose -7*w - 200 = -x*w. Is w a multiple of 25?
True
Let s = 1392 - 805. Let t = s + -531. Is t a multiple of 26?
False
Let i(w) = 12*w**2 + 52*w + 136. Does 45 divide i(-7)?
True
Let j be (0 - 1)/(((-38)/6)/(-19)). Let q(s) = -15*s**3 - 4*s**2 + 10*s + 11. Is q(j) a multiple of 9?
False
Let n(q) = 5*q**3 - q**2. Let l be n(1). Suppose -w - k - 20 = -6*k, 0 = l*w - 4*k. Suppose -3*s = -w*a - 43, 3*s - a - 8 - 15 = 0. Is 2 a factor of s?
True
Let g(n) be the second derivative of 49*n**3/6 - 19*n**2 + 12*n - 6. Is 3 a factor of g(4)?
False
Let w be (-1)/(4/16*4). Let y be (1/3)/(w/(-60)). Is (190/y)/(1/2) a multiple of 18?
False
Let h(x) = -62*x - 22. Let c(i) = -21*i - 7. Let k(l) = 10*c(l) - 3*h(l). Let z(j) = 23*j + 4. Let v(t) = 6*k(t) + 5*z(t). Is 12 a factor of v(-1)?
False
Let j(l) = -16*l + 3. Let b = -37 + 42. Suppose -b*w = -3*i + 2 - 0, 0 = -5*w - 4*i - 9. Does 19 divide j(w)?
True
Let f(n) = n - 2. Let l be f(2). Suppose -42*t + 4178 - 482 = l. Does 4 divide t?
True
Suppose -77*j - 36946 = -90*j. Is 13 a factor of j?
False
Suppose 5*u - 2006 - 1174 = 0. Is 12 a factor of u?
True
Let g = 11095 + -3780. Does 77 divide g?
True
Suppose 8*l - 31769 = -5873. Is 83 a factor of l?
True
Suppose 12*f = 40 + 80. Is 17 a factor of f/(-15)*(-498)/4 + 2?
True
Suppose -3*a = 5*j - 6, -3*a + 17 = 2*j + 2. Suppose 5*f = -4*y + a, -35 + 12 = -y + 3*f. Does 3 divide y?
False
Suppose 0 = 3*z + 812 - 4073. Does 78 divide z?
False
Suppose 5*f = 4*r - 1117, 6*r = 3*r + 4*f + 839. Is r a multiple of 4?
False
Let a = -937 + 946. Suppose 3*l - 4*d = 355, -a*l + 14*l - 5*d = 595. Is 23 a factor of l?
False
Let w be 412/34 - (-22)/(-187). Suppose -w = -10*f + 4*f. Does 37 divide 147 + (f/4)/((-11)/(-22))?
True
Suppose 75*c + 42*c = -4*c + 210056. Is c a multiple of 124?
True
Let k(x) = 16*x - 56. Let u be k(-10). Let j = 363 - u. Does 13 divide j?
False
Let t(o) = 6262*o - 316. Does 13 divide t(8)?
False
Let n(o) = 276*o + 5515. Does 11 divide n(18)?
True
Let t be 2/7 - (-390)/105. Let f be (-3 - (-3 + t))*(-2 - 0). Suppose -l = -2, -h + 2*l = -33 + f. Is 29 a factor of h?
True
Let b(p) = 9145 - 2*p + 296*p**2 + p - 9145. Does 25 divide b(-1)?
False
Suppose -165328 = -5*m + 3*b, 150*m + 132329 = 154*m + 5*b. Does 112 divide m?
False
Let r = 24887 - 13772. Is 19 a factor of r?
True
Let d(q) = 4*q**2 + 32*q + 65. Let x(v) = -v**2 - 8*v - 16. Let r(a) = -2*d(a) - 9*x(a). Let l be r(-6). Does 12 divide 4 + -7 + l + 78?
False
Suppose 0 = 408*j - 410*j + 6. Suppose 511 + 428 = j*k. Is k a multiple of 44?
False
Let l(r) = r**2 + 16*r + 7. Let g be (-2 - 17) + 15/5 + -4. Does 3 divide l(g)?
True
Does 31 divide (8046/(-3))/(-3 - 14/(-6))?
False
Suppose 3*o - 8*k + 3*k = -13, -4*o - 6 = -k. Let y = 12 + 4. Let r = y + o. Is r a multiple of 3?
True
Let z(m) be the first derivative of m**4/4 + 4*m**3 - 9*m**2 - 43*m - 21. Is z(-13) a multiple of 11?
True
Let n(z) = -10*z - 58. Let g be n(-6). Suppose -3*d + 1766 = -m - 28, 5*m = -g*d + 1196. Does 10 divide d?
False
Suppose -1155 = 305*t - 151*t - 157*t. Is t a multiple of 11?
True
Let c = 36088 + -15266. Suppose c - 5522 = 30*m. Is m a multiple of 30?
True
Let o = 130 + -70. Let y = o + -74. Is (-728)/y*1/1 a multiple of 4?
True
Suppose -71595 = -48*m + 228789. Is 7 a factor of m?
True
Suppose -40*i + 27*i = -5655. Is i a multiple of 15?
True
Is 45 a factor of -25672*10/(-40) + -17?
False
Let x be (45/12)/((-9)/(-48)). Let p(n) = -21 - n**2 + x*n - 3*n - 3. Is 21 a factor of p(11)?
True
Let o(w) = -6*w**3 - w**2 + 22*w + 7. Let r be o(-7). Let z = r + -682. Is 59 a factor of z?
True
Let r(l) = l**3 - 12*l**2 - 8*l - 32. Let c be r(11). Let j = c + 334. Is 31 a factor of j?
True
Let n(f) = 69*f**2 - 374*f - 3307. Is 16 a factor of n(-9)?
True
Suppose -3*o - 9 = 0, 39546 = 3*z + 110*o - 113*o. Does 17 divide z?
False
Let d(v) = -3576*v + 388. Is 86 a factor of d(-6)?
True
Suppose 2*j - 8441 = -5*v, -7*j + 8*j - 5*v = 4183. Suppose -2*c - 4 = 0, -4*u + 45*c - 49*c + j = 0. Does 34 divide u?
True
Is 6 a factor of (-8)/22 + (-457488)/(-297)?
False
Suppose l + 5938 = 5*f, -4*l + 264 + 5659 = 5*f. Let g = -746 + f. Does 63 divide g?
True
Let t be (1*(-8 - -7))/1. Let g(i) = -1439*i**3 + i**2 - i - 1. Is 37 a factor of g(t)?
False
Suppose 0 = -x - 2*x + 6. Let o = -23 - -40. Suppose 15 = x*c - o. Does 7 divide c?
False
Suppose -5*w = 3*p - 186 - 1200, 0 = 3*p + 3*w - 1386. Is p a multiple of 14?
True
Let i(p) = -39*p + 76. Let y be i(6). Let r = y - -717. Is 11 a factor of r?
False
Let m = 90 - 88. Suppose 0 = -2*t - 4*r + 592, -m*t + 15*r = 20*r - 596. Is t a multiple of 33?
False
Suppose -g + 5*t + 1561 = 0, -3*t + 4755 + 0 = 3*g. Is 36 a factor of g?
False
Let q(m) = 113*m**2 - 13*m - 2. Let r(b) = 3*b - 98. Let f be r(32). Is q(f) a multiple of 28?
True
Let v = -8 + 7. Let h(o) = -2*o**2 - o + 17. Let u(m) = -m**2 - m. Let r(x) = v*h(x) - 4*u(x). Is r(4) a multiple of 17?
False
Suppose 3 = -i, -6*i + 6 = 5*l - 8*i. Suppose -3*s - 757 = -2*g, 18*g - 16*g - 2*s - 756 = l. Is 13 a factor of g?
True
Let g(x) = 47136*x**2 - 19*x - 47129*x**2 + 13 + 21. Is 82 a factor of g(6)?
False
Let r(o) = -33*o + 13. Let d be r(-4). Suppose -71*q + 76*q = d. Does 2 divide q?
False
Suppose 0 = 2*c - 772 - 980. Let s = c + -538. Is 12 a factor of s?
False
Suppose 517*r - 513*r = 1076. Suppose 275*v - 6210 = r*v. Does 9 divide v?
True
Let q = -49 - -52. Suppose f - 2 = -q*u + 10, f = -4*u + 11. Suppose 27*s - f = 24*s. Is s a multiple of 5?
True
Suppose -14*l - 10*l + 993758 = 17*l. Is 19 a factor of l?
False
Let x = -4 + 7. Suppose -f + 2*g = -4*f + 36, 15 = 3*f - 5*g. Suppose -f*w = x*w - 1391. Does 17 divide w?
False
Let v be ((-2005)/(-5))/(3/6). Suppose 4*l - 386 = v. Does 33 divide l?
True
Suppose -2*q + f - 3 = -9, -f + 4 = 3*q. Let t(o) = -2*o - q*o - 16 + 0 - 7. Is 15 a factor of t(-17)?
True
Suppose 7*l = 411 - 348. Suppose l*w = -10*w + 3306. Is w a multiple of 29?
True
Let n(p) = p - 4. Let g(r) = -r + 2 + 21 + 5. Let a be g(19). Is n(a) a multiple of 4?
False
Let a be 2/6*-4*207/46. Let q be (14/a)/(2/(-30*1)). Suppose 5*v - 226 - q = 4*r, r + 53 = v. Is v a multiple of 33?
False
Suppose 508*y = 563*y - 760760. Is 90 a factor of y?
False
Let s = 130 + -177. Let k = -5 - s. Is k a multiple of 14?
True
Let y be ((-8)/14)/(3 + 46/(-14)). Let s be 3*((-2312)/42 + y/(-7)). Let x = -62 - s. Does 13 divide x?
True
Suppose 0 = 2*z - 2*u + 10056, 20112 = -6*z + 2*z - u. Let w = z - -8848. Is w/44 + (-10)/(-55) a multiple of 29?
True
Let d(h) = 649*h + 184. Let r(z) = 130*z + 37. Let v(c) = 2*d(c) - 11*r(c). Does 5 divide v(-1)?
False
Suppose -4*s = -921 - 111. Suppose -5*n = -3*n - s. Is n a multiple of 42?
False
Let h = -5343 - -6025. Is h even?
True
Suppose w = -4*r + 6, -5*w = 3*r - 2*w. Let s(p) = 5*p**3 + p**2 + p. Let b be s(r). Let g = 57 - b. Is g even?
False
Suppose -3*t = 2*t - 60. Let w(z) = -z + 65. Let h(p) = 3*p - 191. Let m(a) = -6*h(a) - 17*w(a). Is m(t) a multiple of 29?
True
Let v(s) = s**2 + 24*s + 136. Let o be v(-13). Let j(p) = p**2 - 46*p + 19. Is 15 a factor of j(o)?
True
Suppose h + 2*g = 7546, 40*h - 41*h - g = -7552. Does 12 divide h?
False
Let p(b) = b**3 + 8*b**2 + 7*b - 8. Suppose -10 + 10 = -2*r. Suppose 2*v = -3*i - 4, r*v - 5*i = -4*v - 30. Does 16 divide p(v)?
True
Let q(n) = -1559*n**3 + 6*n + 7. Suppose 3*w + 94 = 91. Does 20 divide q(w)?
True
Let m be ((-6)/4)/((-12)/(-3872)). Let j = -164 - m. Is 8 a factor of j?
True
Let r = -91 - -184. Let h = 268 - r. Is 13 a factor of h?
False
Let m(a) = 2*a**2 + 2*a - 1. Let f be m(2). Suppose 58*v - 70 = 48*v. Suppose v*d = f + 493. Is 24 a factor of d?
True
Let t = 109 + -104. Suppose t*j = 3*l - 493, -2*j = -l 