 -7*q**2 + 14*q - 6. Let l(k) = -8*k**2 + 15*k - 7. Let j(d) = -6*l(d) + 7*y(d). Let p be j(6). Is 2 a factor of 14/3*p/7?
True
Let c be 0/(-1)*3/6. Suppose 3*u - 8 + 2 = c. Does 5 divide 2 - (-16)/1 - u?
False
Let h(s) = s**2 + 10*s - 9. Let q be h(-9). Let t = -9 - q. Is 8 a factor of t?
False
Let h(z) = -z - 11. Let l be h(-13). Is 9 a factor of 12 - (3 - (4 + l))?
False
Suppose -5*j = 4*b - 4571, 5*b + 4*j - 3267 = 2449. Does 26 divide b?
True
Let o(b) = 7*b**2 + b - 55. Is o(-7) a multiple of 7?
False
Let o = -24 + 24. Suppose o = -5*a + m + 575, a + 111 = 2*a - m. Let j = a - 69. Is 24 a factor of j?
False
Let q(v) = -v**3 + 9*v**2 + 2*v + 10. Let x = -16 + 3. Let l = x - -22. Does 11 divide q(l)?
False
Let j(i) = 4*i + 256*i**2 - 1 - 2 + 8*i - 2*i - 257*i**2. Suppose -3*k - 5*a + 3*a + 25 = 0, 24 = 2*k + 5*a. Is 7 a factor of j(k)?
False
Let c(d) = -319*d**3 + 3*d**2 + 11*d + 9. Is c(-1) a multiple of 4?
True
Suppose 2*d + 1 = -3*v, -2*v - 17 = -4*d + 5. Suppose 0 = 2*f, d*o - f - 480 = -o. Is 6 a factor of o?
True
Let i = 10777 - 7634. Is 55 a factor of i?
False
Let k(s) = -s**3 - s - 60. Let p(w) = w**3 + 2*w + 60. Let a(q) = -3*k(q) - 2*p(q). Does 9 divide a(0)?
False
Suppose 0 = 2*y + 4*y + 60. Let b be (-9)/15 + (-66)/y. Suppose -4*s + b*s = 16. Does 4 divide s?
True
Suppose -9*m = -11479 + 2335. Is m a multiple of 65?
False
Let z(q) = -q**3 + 51*q**2 + 2*q - 17. Let b be z(51). Suppose 5*s + 4*g = 1501, 2*g + 1439 + 68 = 5*s. Suppose -b = 4*l - s. Is l a multiple of 27?
True
Suppose 0*o = 2*o - 4. Suppose -3*c - r = 2*r - 66, 0 = -o*r - 10. Is 8 a factor of c?
False
Suppose -40*h + 329 = -39*h. Is 47 a factor of h?
True
Let u = -15 - -19. Suppose -2*a + 7*a = -2*t - 1193, 3*t - u*a + 1778 = 0. Is 21 a factor of t/(-15) - (-3)/(-5)?
False
Let a be 51*2/((-7)/(63/6)). Let y = -131 - a. Is y a multiple of 3?
False
Let c(p) = p**2 + 14*p - 3. Suppose 5*t - 48 = 9*t. Let k be c(t). Does 12 divide (42/8)/(k/(-72))?
False
Let l(q) = -q**2 - 33*q + 90. Is 11 a factor of l(-28)?
False
Suppose -9*d = -435 - 762. Suppose 11*f - 483 = d. Does 8 divide f?
True
Suppose 0*x = 4*x. Suppose 147 = -x*k - k. Is 12 a factor of k/(-1)*(-7)/(-21)?
False
Let l(k) = -13*k - 77. Let x be 28/3*(-108)/72. Is l(x) a multiple of 13?
False
Let s = 2252 - -2051. Is 21 a factor of s?
False
Suppose 3*o + 5*o = 672. Suppose 4*y - y = o. Is y a multiple of 12?
False
Suppose 4*c = -3*z + 12 + 11, 23 = 5*z - c. Suppose z*u = -8*w + 3*w + 205, 3*w - 117 = 3*u. Is 5 a factor of w?
True
Let k = 40 - 24. Suppose -2*s = m + 3 - k, -s = -3*m + 67. Suppose 3*p - m + 6 = 0. Does 2 divide p?
False
Let w(g) = -g**3 + 11*g**2 + 12*g + 16. Let d be w(12). Suppose 5*i + d = 126. Suppose 0 = -u - k - 2*k + i, 5*k = 0. Does 11 divide u?
True
Let t be (-3)/(9/15)*3. Let d be 50/t*30/(-4). Does 14 divide (d/(-4))/(10/(-40))?
False
Let b = 246 + -199. Let r be 39*1/2*2. Suppose -t - t - 5*a = -r, b = t - 3*a. Is t a multiple of 4?
True
Suppose -o - 2*o + 9 = 0. Suppose 4*y = -o*i + 20, 15 = -2*i + 3*i + 3*y. Let t = 18 + i. Is 18 a factor of t?
True
Let s = 528 + -370. Suppose -5*d + 503 = s. Does 25 divide d?
False
Let f = -109 + 143. Let z = f - 10. Is 11 a factor of z?
False
Let m = -175 - -346. Does 20 divide m?
False
Suppose -5*x - 5*c = -4660, 2*x - 3*c - 1444 - 400 = 0. Is x a multiple of 8?
True
Let y = 208 + 19. Let i = -135 + y. Is i a multiple of 12?
False
Let z = 157 - 87. Suppose -h + 112 - 441 = -3*i, -4*h = -5*i + 546. Let r = i - z. Is 11 a factor of r?
False
Suppose 3*q - 10 = 8. Let y be 32/q*42/4. Does 6 divide (-16)/y + 620/14?
False
Let b(h) = -6*h - 4. Let p be b(-5). Suppose -15*i = -11*i - 4, 0 = -3*v + i + 5. Suppose v*u - p = -u - 4*y, -2*y = u - 10. Is 3 a factor of u?
True
Suppose -6427 = -5*k - s, k - 1629 = -2*s - 340. Is 14 a factor of k?
False
Let q = 6051 + -3995. Is 8 a factor of q?
True
Let s(m) = 10*m**2 - 3*m + 11*m**2 + 5 - 2*m + 12*m**2. Is 6 a factor of s(1)?
False
Let t be (-2 - 1)/((-36)/3324). Suppose 45 - t = -4*r. Suppose -5*z = r - 193. Is z a multiple of 11?
False
Suppose -3*i + 51 = 2*n, n - 5*i - 90 = -4*n. Is n a multiple of 21?
True
Suppose v - 208 = -10. Is 6 a factor of v?
True
Let j = -31 - -38. Suppose 5*t + j = 277. Let k = t + -6. Is 23 a factor of k?
False
Suppose -3*c - 10 = -2*y + 7, y - 2*c = 10. Let f(d) = 3*d**2 + 4*d + 4. Let h(n) = -2*n**2 - 3*n - 4. Let b(w) = y*f(w) + 3*h(w). Does 12 divide b(-4)?
True
Let r(z) = 10*z**2 + z + 6. Let m be r(8). Is (-7)/(-35) - m/(-5) a multiple of 17?
False
Suppose -w = 4*q - 2*w + 109, -q - 40 = 4*w. Let y = q + 32. Suppose -4*k + k = -6, k = -y*d + 322. Is d a multiple of 20?
True
Let s = 25 - 20. Suppose -2*b = -s*b + 60. Is b a multiple of 4?
True
Let d(s) = -5*s**2 - 2*s**3 - 6*s**3 + 7*s**3 + 17 - 16*s - 6*s**2. Is 7 a factor of d(-10)?
True
Suppose z - 17 = 2*i, 0 + 4 = 4*i. Suppose 3*q - 5*h + 21 = 0, 3*q + 3*h = 2*q - 7. Let g = z + q. Does 4 divide g?
True
Suppose 100 + 2 = o. Suppose -o = -7*q + 24. Is 9 a factor of q?
True
Let x(y) = 3*y**2 - 2*y + 4. Let i be x(6). Suppose i = -s - s. Does 7 divide 20/s + 254/10?
False
Let h = 12 - 17. Suppose w = 5*i - 0*i - 8, -i + 10 = -3*w. Let u = i - h. Is u a multiple of 3?
True
Let b(y) = 8*y. Let u be b(1). Suppose 3*g + 4*i = 90, g + 24*i = 21*i + 35. Let x = g - u. Does 9 divide x?
True
Suppose -3*w = -t + 112, 7 = -3*t - 3*w + 403. Let k = 2 + 0. Suppose k*r - 38 = -o + 38, -2*o + r = -t. Is 15 a factor of o?
False
Suppose -3*r = -3*l + 15, 0 = l - 3*r - 3. Let k(t) = -5*t - l*t**2 + 3*t + 1 - 5*t - t**3 + t. Is 9 a factor of k(-6)?
False
Suppose -5*l = -3*i + 20, -4*i - 5*l + 16 = 1. Suppose 2 = -i*g + 7. Does 10 divide (g - -8)/((-15)/(-50))?
True
Suppose -2*z = -5*a + 16, -3*a + 14 = 5*z - 4*z. Suppose 0 = a*k - 96. Is 12 a factor of k?
True
Let q be (-1 - 15/(-6))*(-66)/(-9). Suppose -q*z + 2081 = 420. Is z a multiple of 10?
False
Suppose -15712 = -44*l + 71716. Does 81 divide l?
False
Let z = 121 - -247. Is 46 a factor of z?
True
Let p(n) be the first derivative of 46*n**3/3 - n**2/2 + n + 12. Does 4 divide p(1)?
False
Let l(p) = -3*p**3 - 4*p**2 - 9*p - 2. Is l(-4) a multiple of 81?
True
Is 46 a factor of -3*35/21 + 910?
False
Let v(z) be the first derivative of -21*z**4/4 + z**3/3 + 5*z**2/2 + z + 17. Is v(-2) a multiple of 26?
False
Suppose -3*o + 2*m - 8 = 0, -3*o = -0*m - 5*m + 20. Suppose o = 8*d - 3*d - 25. Does 3 divide (8/d)/(4/20)?
False
Let b = -19 + 22. Suppose -b*g + 2 = -106. Does 3 divide g?
True
Suppose -2 = -4*p - 2*j, -2*p + p = -2*j - 13. Suppose -196 = -5*h + h - 4*z, -3*h + p*z + 177 = 0. Is 18 a factor of h?
True
Let k = -436 + 1476. Does 80 divide k?
True
Suppose 4*p = 4, -3*t - 3*p - 35 = 4. Let z(r) = 4*r + 62. Is 3 a factor of z(t)?
True
Let j = -21 + 25. Suppose -2*s = -s + j, s = 2*u - 112. Does 37 divide u?
False
Let f(c) = c**2 - 15*c + 5. Let i be f(16). Does 41 divide -1 + 27/i + 481/7?
False
Let x(c) = c**3 + 7*c**2 + 5*c - 2. Let o be 63/(-9)*12/14. Let l be x(o). Suppose -n + l*n + 2*k = 18, -3*n = -2*k - 6. Does 4 divide n?
True
Let b = 25 + -6. Is 16 a factor of 0 + 1 + (b - -8)?
False
Suppose 23 = 4*s - 21. Let z = 26 + s. Does 8 divide z?
False
Let p = -316 - -509. Suppose 0 = -2*t - 2*t - 16, 5*u + 631 = -4*t. Let a = p + u. Is 14 a factor of a?
True
Let m = 1894 + -841. Is (-2)/10 + m/15 a multiple of 35?
True
Let p(f) = f**2 + f**3 - 3 - f + 4*f + 0*f + f. Let z be p(3). Suppose -10*a - z = -13*a. Is a a multiple of 7?
False
Is (360/14)/(7/1960*5) a multiple of 45?
True
Suppose 4*z + 6804 = 31*z. Is z a multiple of 10?
False
Suppose -2*p - 10*f + 412 = -13*f, p - 3*f - 212 = 0. Does 26 divide p?
False
Suppose -4*l = -3*u - 16, 5*l - l + 12 = -4*u. Is 5 a factor of (5/4)/(l/52)?
True
Let p(q) = q**3 - 5*q**2 + q - 1. Let c be p(6). Suppose d + 141 = 4*d - 3*v, v = -d + c. Is d a multiple of 15?
False
Suppose 6 = 4*s - 38. Does 11 divide s?
True
Let l be ((-3)/2)/((-4)/8) + -7. Let g(k) = -18*k - 42. Is 23 a factor of g(l)?
False
Suppose -3*b + 4*h + 0*h + 18 = 0, -2*h + 4 = 5*b. Suppose -4*w = b*f, 0*f + 3*w = -3*f - 9. Is (-8)/12 + (-76)/f a multiple of 6?
True
Let i(r) = -r**2 + 6*r - 3. Let l be i(6). Let d(t) = -43*t - 8. Let v(a) = -14*a - 3. Let q(g) = -2*d(g) + 7*v(g). D