m + 22 = 0, -3*k + 4*k - 4*m = 23. Suppose 102 = 4*n + k*o, -5*n - 7*o = -5*o - 131. Is 3 a factor of (6/(-9))/((-2)/n)?
True
Is 7 a factor of ((-77)/(-33))/(2/444)?
True
Let u = -40 + 304. Does 11 divide u?
True
Let l be 74/14 - (-2)/(-7). Let j = 8 - l. Suppose 0 = -j*a - a + 268. Is a a multiple of 21?
False
Suppose -5*i - 6*o = -10*o - 120, o = 4*i - 96. Suppose -121 - 743 = -i*b. Does 12 divide b?
True
Let l(x) = x**3 + 5*x**2 - x - 2. Let n = -10 + 5. Let w be l(n). Suppose -y - w*y = q - 217, 5*y - 2*q - 255 = 0. Does 14 divide y?
False
Let c = 59 + -6. Suppose 3*m + c = 173. Does 8 divide m?
True
Let g = -2261 - -3201. Does 8 divide g?
False
Suppose -z + 0*z - 4*a = -16, 4*z - 109 = -a. Let n = z - 14. Let j(k) = k**2 - 10*k + 19. Is 15 a factor of j(n)?
True
Let s be (-1)/5 + 176974/70. Let m = 13 + -14. Is s/24 + m/3 a multiple of 22?
False
Suppose 0*z = -z + 111. Suppose -z = -5*a - 31. Is a a multiple of 4?
True
Let z(m) = -19*m + 4*m + 13*m + m**2 - 5. Let w be z(4). Suppose 5*k + 4*h - 396 = 0, -15 - 221 = -w*k - 4*h. Is k a multiple of 16?
True
Suppose -28*o + 3524 - 276 = 0. Is o a multiple of 4?
True
Suppose 65 = i + 4*i. Suppose -4*n - i = -3*j - 6*n, n + 26 = 5*j. Suppose 2*o - j*v + 158 = 6*o, -2*v - 4 = 0. Does 21 divide o?
True
Let b(g) = 11*g + 8. Let k(l) = l**2 + 21*l + 15. Let z(y) = -5*b(y) + 3*k(y). Let i be 0 + (-2)/1 - 3. Is 6 a factor of z(i)?
False
Let i(p) = p**3 - 8*p**2 + 4*p - 26. Let x be i(8). Let u = -3 + x. Is 3 a factor of u?
True
Let o = 15 + 137. Is 8 a factor of o?
True
Suppose 2*v - 2 = -0. Is 25 a factor of (v + 3*-4)/((-6)/30)?
False
Let l(m) = m**3 + 32*m**2 + 129*m - 23. Is 69 a factor of l(-26)?
False
Let j be 3/(9/228) - (-4 + 1). Suppose k - j = -21. Does 18 divide k?
False
Suppose u - 2*i = 744, -3*i - 184 = -2*u + 1301. Does 9 divide u?
True
Let n(z) = -4*z + 132. Does 3 divide n(-12)?
True
Let x = 10 + -8. Suppose 4*d - x*f = d - 22, 6 = 3*f. Is 27 a factor of d/(-21) + 397/7?
False
Let f(n) = -28*n**3 - 2. Suppose 14 = -x - 6*x. Does 37 divide f(x)?
True
Let d be 38/9 + (-38)/171. Suppose d*o = -4*t + 124, 0 = 5*o + 3*t + t - 151. Is 12 a factor of o?
False
Let g = -14 + 16. Let d be -14*(-4)/4 + g. Let t(y) = y**2 - 12*y - 34. Does 15 divide t(d)?
True
Let c be ((-4)/(-6))/(9/(-162)). Let r(w) = w**2 + 11*w - 9. Let g be r(c). Is 9 a factor of (g*-1)/((-8)/24)?
True
Let r(l) be the third derivative of l**6/120 - 19*l**5/60 + 11*l**4/12 - 2*l**3/3 - 14*l**2. Is 34 a factor of r(18)?
True
Suppose -3250 = -11*n - 14*n. Does 10 divide n?
True
Let s = -36 + 40. Let j(m) = 21*m + 6. Is 30 a factor of j(s)?
True
Let r = -52 - -32. Let a = 38 + r. Is 5 a factor of a?
False
Let a(v) = v**3 + 20*v**2 - 18*v + 65. Is a(-21) even?
True
Let y(s) = s**2 + 30*s + 196. Is y(-31) a multiple of 6?
False
Let b be 3/9 - 70/(-15). Suppose -6*c + 24 = -b*c. Is c a multiple of 8?
True
Suppose 45*l = 1309 + 131. Is 8 a factor of l?
True
Let k(l) = 44*l**2 + 2*l + 8. Let b(s) = -2*s + 10. Let f be b(6). Is k(f) a multiple of 18?
True
Suppose -b + 4*d + 625 = 0, -5*d - 2513 = -4*b + 20. Does 49 divide b?
True
Let s(k) be the third derivative of k**8/10080 - k**7/1008 - k**6/720 - k**5/30 - 5*k**2. Let y(w) be the third derivative of s(w). Is 12 a factor of y(5)?
True
Let k be ((-2)/(-4))/(4/40). Suppose -2*x + 629 = -0*z + k*z, 4 = 2*x. Is z a multiple of 32?
False
Let t(h) = 7*h**2 - 2*h - 13. Does 13 divide t(4)?
True
Let t = 187 - 97. Suppose u - 1 = 0, -3*x - 2*u = -0*x + 160. Let d = t + x. Is 10 a factor of d?
False
Suppose -c - 137 + 552 = -5*g, -4*g - 1256 = -3*c. Suppose 3*q = -4*q + c. Does 12 divide q?
True
Let c(j) = j**2 + 4*j - 12. Let h be c(-6). Suppose h = 4*u + 4*b - 64, 4*u - 2*b + 2 - 42 = 0. Suppose -17*s = -u*s - 120. Is 6 a factor of s?
True
Let v(h) = 18*h**3 - 7*h**2 - 5*h - 4. Let s be v(-5). Does 20 divide s/(-30) - (-2)/(-15)?
True
Let g be 1964/14 - (-4 - 30/(-7)). Suppose -z - 2*m = z - g, 3*z - 210 = m. Is 13 a factor of z?
False
Let x(q) = 25*q. Let h be -7 - 6/(-2) - -2. Let o be x(h). Let a = o + 92. Is a a multiple of 14?
True
Is 5 a factor of 1665/37*20/18?
True
Let b(q) be the second derivative of -q**4/4 + q**3/2 - 3*q**2/2 - 3*q. Let l be b(3). Let i = l - -54. Does 11 divide i?
True
Does 11 divide (-6)/(-39) - (42360/(-130) - 1)?
False
Let j(y) = 6*y**3 - 2*y**2 + 8*y - 65. Let a(g) = 5*g**3 - 2*g**2 + 7*g - 66. Let p(i) = -7*a(i) + 6*j(i). Is 36 a factor of p(0)?
True
Is 6 a factor of 8/8*-11*-24?
True
Let t(f) = f**2 - 4*f + 28. Let h be t(12). Suppose -h = -3*q - 4*c, -2*q + 0*c + 4*c = -116. Is 12 a factor of q?
True
Suppose -4*d - 5*z = 11, -1 = 2*d + 4*z + 9. Let l(g) = -g**3 - 1 + d + 4*g**2 - 19*g + 17*g. Does 2 divide l(3)?
False
Suppose -67 = -a + 11. Let l = 1830 - 1848. Let c = a + l. Is 15 a factor of c?
True
Let q(g) = 2*g + 35. Let t be q(-15). Suppose -t*o = -2*o - 888. Is 18 a factor of o?
False
Suppose 4*p + 0 = 4. Suppose 8 = -2*k + 114. Is 7 a factor of (p - k)/(4/(-2))?
False
Let z = -3268 + 6900. Is z a multiple of 35?
False
Let w = 346 + 172. Is w a multiple of 7?
True
Let y be -6*3*4/8. Is 4 a factor of (3 - -27)*y/(-15)?
False
Let g(w) = -303*w + 40. Is 98 a factor of g(-1)?
False
Suppose -2*f + 3 = -3*l, 0*f + f + 2 = 5*l. Suppose -f*o = -1 - 98. Is o a multiple of 33?
True
Let u = 13 + -10. Let t be ((-4)/4)/((-1)/u). Suppose 0 = t*f - 8*f + 110. Is f a multiple of 10?
False
Let b be 2 + (10 - 3 - 2). Let s be b/(-14) + 58/(-4). Does 16 divide (-478)/s + (-6)/(-45)?
True
Let z(k) = -k**2 - 34*k - 18. Is z(-23) a multiple of 42?
False
Let c = 22 - 18. Suppose -q = c, -4*l - 560 = -q + 2*q. Let f = -51 - l. Is 22 a factor of f?
True
Let m = -11 + 13. Suppose -f - 64 = -3*f + m*l, l - 92 = -3*f. Is 10 a factor of f?
False
Let t = -1066 + 1203. Is t a multiple of 2?
False
Let n(v) = -2*v - 27. Let u be n(-13). Let h(i) = 75*i**2 - 3*i - 4. Does 8 divide h(u)?
False
Let z be (126/(-54))/(1/(-9)). Let p = z + 23. Is 10 a factor of p?
False
Let n be (-784)/(-3)*9/3. Suppose -5*l = 84 - n. Is l a multiple of 35?
True
Let p(q) = -q - 14. Let h be p(-9). Let d = -14 - h. Is 12 a factor of ((-20)/(-6))/((-2)/d)?
False
Let r(m) = m**3 + 6*m**2 - 2*m - 7. Let i(t) = -t - 11. Let j be i(-5). Let f be r(j). Suppose -f*q + 115 + 139 = 3*s, -40 = -q + 3*s. Is 14 a factor of q?
False
Let g(c) = -c**3 - 2*c**2 + 6*c + 8. Let a(q) = -q**3 - 3*q**2 + 5*q + 7. Let s(m) = -3*a(m) + 4*g(m). Does 29 divide s(-5)?
True
Is 48 a factor of 10 - -6 - 9 - -886?
False
Let x(o) = o + 12. Let p be x(-7). Suppose 0*f = -p*f + 10. Suppose 8 = -2*c, -3*c - f*c = h + 5. Is h a multiple of 15?
True
Suppose 3*k - 6*k + 264 = 3*t, -t + 5*k = -70. Let b = t - 49. Is b a multiple of 36?
True
Let a(t) = t**2 + 7*t - 5. Let s = -6 - 2. Let b be a(s). Does 15 divide 1/b + 88/6?
True
Let u(m) = -16*m + 27. Is 6 a factor of u(-5)?
False
Let w = 4 + 20. Suppose -k = 3*k - n + 72, k + 4*n = -1. Let q = k + w. Is 7 a factor of q?
True
Let s be (-14)/56 + (-79)/4. Let t be 4/s + (-6124)/(-20). Let x = t - 173. Does 36 divide x?
False
Let w = -80 + 80. Suppose -5*u + 40 = j + j, w = u + 4*j - 8. Does 8 divide u?
True
Let d = -6 + 9. Let f(m) = 2*m**3 + 8*m - 3. Let u be f(d). Let t = u - 27. Is 8 a factor of t?
True
Let a(g) = -2*g**3 - 8*g**2 - 12*g - 10. Does 3 divide a(-4)?
False
Let z(y) = 0*y - 12 - 11*y + 0*y. Is z(-12) a multiple of 8?
True
Let p(d) = 261*d - 200. Does 30 divide p(6)?
False
Let y(b) = 44*b - 88. Is 12 a factor of y(5)?
True
Let p(m) = m**3 + 13*m**2 - 13*m + 16. Let r be p(-14). Suppose 4*y - 3*k - 426 = 0, y - 206 = -y - r*k. Is 20 a factor of y?
False
Let u be (-55)/(4 + (-18)/4). Suppose -18*b = -7*b - u. Does 7 divide b?
False
Let c = 37 - 21. Let o = 14 - 12. Suppose o*w - 108 = c. Is w a multiple of 20?
False
Let n be (-9)/15 + 0 + (-66)/(-10). Does 3 divide (68/n)/((-3)/(-9))?
False
Let c(p) = -p**2 + 4*p + 5. Let x be c(4). Suppose -5*o - 3*s = -105, 0*o - x*s = -2*o + 73. Is 6 a factor of o?
True
Let o be 1*(0 - (-1 + -2)). Let q(z) = -4 - 3*z - 4*z**3 + 2 - 11*z**o + 2*z**3. Is q(-1) a multiple of 14?
True
Let a = 920 - -2323. Is a a multiple of 12?
False
Suppose 0 = 4*i + 3*u - 4, 2*i + 3*i + 5*u - 10 = 0. Let h be (24/28)/(i/(-14)). Suppose -h*s = -5*s - 22. 