Is 11 a factor of k(n)?
False
Suppose -4*q + 4 = -12. Suppose d + 0*d + q*y = 17, 2*d - 46 = -2*y. Is d a multiple of 15?
False
Let z(w) = -5*w - 6. Suppose -y = -3*q - 4, -4*y - 17 = -q - 0*q. Does 19 divide z(y)?
True
Let q(m) = -m**2 - 26*m - 30. Let v be q(-11). Let j(i) = -2*i. Let w be j(-1). Suppose w*k = -k + v. Does 18 divide k?
False
Suppose -4*b = -2*b + 5*k - 31, -3*b + 35 = -4*k. Is b a multiple of 6?
False
Suppose 2*s - 210 = -3*s. Is s a multiple of 14?
True
Suppose -u + 0*g + 289 = -5*g, 3*g - 1248 = -4*u. Is u a multiple of 15?
False
Suppose -4 = 3*p - 13. Suppose -5*l + 30 = -p*l. Is 11 a factor of l?
False
Let q = -97 + 145. Is q a multiple of 6?
True
Suppose 3*s = 7 - 37. Is 8 a factor of (-100)/s + (-1 - 1)?
True
Let s(x) = -x**2 - 4*x + 7. Is 7 a factor of s(-4)?
True
Suppose 2*u = -4*o + 56 + 22, 4*o + 5*u - 63 = 0. Does 14 divide o?
False
Suppose 4*l = -0*l + 96. Is l a multiple of 8?
True
Suppose 0*z + 4*z - 340 = 0. Suppose 0 = -4*n + z - 629. Does 15 divide n/(-3) + (-14)/(-21)?
False
Suppose 2*h - 5*h = 4*m - 517, 5*m - 685 = 4*h. Let g = -90 + m. Is g a multiple of 13?
False
Suppose 3*q = -3*b + 300, -3*b + b - 3*q + 200 = 0. Does 7 divide b?
False
Suppose 3*m + 3 = 2*z - 7, z - 3*m = 8. Suppose 0*t + z*t = 122. Is t a multiple of 19?
False
Is ((-40)/(-32))/((-2)/(-72)) a multiple of 15?
True
Let s = -2 - -7. Suppose s*w + 5 = -5*t + 15, -t - 3*w = 0. Does 11 divide 0 + t + 4 + 22?
False
Let g = 20 + -14. Does 3 divide g?
True
Suppose 0 = 4*z - 314 + 14. Let l = z - 43. Is 13 a factor of l?
False
Let l(n) = n - 1. Let p be l(6). Suppose -p*h = -4*v + 3*v + 98, v + 82 = -4*h. Let i = 38 + h. Is i a multiple of 11?
False
Let k = 122 + -41. Is k a multiple of 21?
False
Let j be 1/(2/(-1064)*-4). Suppose -47 = -3*v + j. Does 20 divide v?
True
Let r = 11 + 1. Does 12 divide r?
True
Let o be ((-4)/8)/(1/(-70)). Suppose 0 = r - 7 + o. Is 1*-3 - (-5 + r) a multiple of 15?
True
Is (9 + -16)*30/(-7) a multiple of 7?
False
Let g be -2*(-1 + 69/6). Is 12 a factor of -28*((-45)/g - 3)?
True
Let z = -13 + 69. Suppose -z = -5*s + 194. Is s a multiple of 19?
False
Let i = 236 - 131. Is 15 a factor of i?
True
Let t be (-2)/7 - 131/7. Let w = t - -31. Is 12 a factor of w?
True
Let x = -44 - -25. Let l = -42 - x. Let f = 33 + l. Does 10 divide f?
True
Let b = -126 + 198. Suppose -3*v + 5*v = b. Suppose -s - 3*s = -v. Does 8 divide s?
False
Let j = 72 - 28. Is 11 a factor of j?
True
Let x(k) = -k**3 + 6*k**2 + 3*k + 4. Let w be (-1 + -5)*(4 + -5). Suppose w = -3*h + 4*h. Does 11 divide x(h)?
True
Let k(x) = -x**3 + 12*x**2 - 10*x - 3. Let w be k(11). Suppose -w = -l - 4*p, -4*p + 9*p = -3*l + 17. Does 12 divide l/6 + (-67)/(-3)?
False
Let s = 64 + -26. Suppose 5*j = -13 + s, -j = -4*g + 91. Does 12 divide g?
True
Let r(x) = 2*x**3 - 8*x + 10. Is r(4) a multiple of 23?
False
Let o(l) = l**3 - 4*l**2 + 4*l - 4. Suppose -2*q + f = 2*q - 14, 4*q - 5*f - 6 = 0. Is o(q) a multiple of 12?
True
Suppose 4*x - 306 = o, -o = 5*x - 187 - 200. Is 29 a factor of x?
False
Let j be -3 + (3 + -3 - 2). Does 5 divide (2/j)/((-3)/75)?
True
Suppose 5*z - 45 = 2*z. Is 9 a factor of z?
False
Let b(k) = -k**2 + k - 1. Let i(x) = x**3 - 2*x**2 + x - 2. Let t(s) = 6*b(s) - 4*i(s). Let o = -1 - 1. Does 19 divide t(o)?
True
Let l = 41 + -19. Is 13 a factor of l/1 - 1/1?
False
Suppose 70 = 3*u - 95. Is 28 a factor of u?
False
Let w be (-39)/(-6) + 2/(-4). Let j = w + 22. Is j a multiple of 14?
True
Does 6 divide (-3)/4*(9 - 49)?
True
Let k be 4/2*1 + 2. Let t be (22/(-4))/((-2)/k). Suppose -y - t = -35. Does 12 divide y?
True
Let b(r) be the first derivative of r**4/4 + 3*r**3 - 15*r**2/2 - 6*r - 6. Does 14 divide b(-10)?
False
Let m = -326 + 587. Is m a multiple of 29?
True
Suppose -5 = 5*s - 20. Suppose -r + 8 = -4*c, 0 = -0*r - s*r + 2*c + 34. Is 4 a factor of r?
True
Let v(x) = x**3 - 18*x**2 + 16*x + 9. Let k be v(17). Let b = 1 - k. Does 4 divide b?
False
Let c = 0 + 4. Suppose -2*q = z + 3*q + 8, -3*z - c*q - 2 = 0. Is 189/6 + 3/z a multiple of 13?
False
Suppose 3*k + 3*o + 6 = 0, 4*k + o + 2 = -0*o. Suppose f - 4*l - 114 = k, -4 = -3*l - 16. Suppose -2*j - j + 37 = 2*x, -f = -3*x + 4*j. Is x a multiple of 11?
False
Suppose 2916 = -3*t + 12*t. Is t a multiple of 35?
False
Let u be (6/(-21))/(3/(-21)). Suppose l = 5*g + 21, u*l - 2*g - 55 - 27 = 0. Is l a multiple of 14?
False
Suppose 2*p - 122 = -4*x, 58 - 17 = 2*x + 5*p. Let h = -23 + x. Is 10 a factor of h?
True
Let z = -6 - -8. Suppose -z*w = 5 - 15. Suppose -o + 17 + 14 = -5*a, 178 = w*o - 2*a. Does 18 divide o?
True
Let g(f) = 7*f + 4*f**2 + 11 + 1 - 5*f**2. Let j be g(9). Let z = 37 - j. Is z a multiple of 15?
False
Is 15 a factor of (-2)/(-2) + (-2 - -50)?
False
Let i(x) = -3 + 10 + 2*x**2 - 5 - x. Is 30 a factor of i(6)?
False
Suppose 2*m - 47 = 59. Let z = -37 + m. Is 16 a factor of z?
True
Is -8*((-8)/(-1))/(-4) a multiple of 10?
False
Let l(c) = -7*c**2 - 2*c - 2. Let g(t) = -36*t**2 - 10*t - 11. Let v(d) = d**2 + 8*d + 2. Let b be v(-8). Let y(s) = b*g(s) - 11*l(s). Is 6 a factor of y(-2)?
False
Let c(n) = -n. Let b be c(3). Let m be (-28)/7*b/4. Suppose m*w = u + 6, 5*w - 36 = -4*u + 8. Is 5 a factor of u?
False
Suppose 3*c + 412 = 145. Let i = -51 - c. Does 19 divide i?
True
Let m(v) = -54*v + 5. Does 18 divide m(-3)?
False
Let l(y) = -19*y - 16. Does 14 divide l(-6)?
True
Let c = -65 - -116. Suppose -o = -4*o + c. Does 8 divide o?
False
Let b(v) = v**2 + 3*v - 4. Let z be b(-5). Does 23 divide (33/z - -2)*6?
False
Suppose -2*x = 193 - 469. Is x a multiple of 17?
False
Suppose 6*m - 252 = 2*m. Does 9 divide m?
True
Suppose -4*x + 56 = -4*z + 12, -4*x + z + 35 = 0. Suppose -5*b = l - 58, -x*l + 3*l = -2*b + 7. Does 9 divide b?
False
Suppose -29 = -2*g - 5*b, 2*b + 74 = 2*g - 2*b. Does 8 divide g?
False
Let y(q) = -q**2 - 8*q + 4. Let n be y(-8). Suppose -4*d + 0*d + 19 = g, -31 = -5*g - n*d. Suppose z + f - 6 = 3*f, -g*z + 18 = 2*f. Is 5 a factor of z?
False
Let j(w) = 2*w**2 - 9*w - 6. Let n be 1/3 + (-23)/(-3). Does 13 divide j(n)?
False
Let v(f) = 4*f - 1. Let n = 11 - 9. Let y be v(n). Suppose -w - j = y - 21, -3*w - j = -34. Is w a multiple of 5?
True
Let k(x) = x**3 + 8*x**2 - 10*x - 6. Let v be 1 - (1 - -1 - 0). Let n be (1 - (2 + -10))*v. Is 3 a factor of k(n)?
True
Let p(j) = -j - 1. Let f be p(-3). Suppose f = -5*m - 2*w, -3*m = -3*w + 3 - 6. Suppose 0 = 5*d - m*d - 80. Is 10 a factor of d?
False
Let z(j) = -j**2 + 13*j + 1. Let p(r) = r - 112. Let v be p(0). Let n be v/(-10) - (-1)/(-5). Is 12 a factor of z(n)?
False
Suppose 2*j + 4*y = 90, 3*y + 2*y - 168 = -4*j. Is 12 a factor of j?
False
Suppose 0 = -5*h - 4*l + 22, -6*l = -2*l + 8. Suppose -h = -2*j + 2. Suppose 3*z = -j*u + 54, 3*u - 6*u + 3*z = -30. Is u a multiple of 6?
True
Let g(u) = 106*u**3 - u**2 + u - 1. Does 7 divide g(1)?
True
Let y(l) = -4*l**3 - l**2 + l + 1. Let s be y(-1). Let g(v) = 2*v + v**3 + 2*v**2 - 7 - 6*v**2 + v**2 + 3. Is g(s) even?
True
Let v = 70 + -18. Let w = -36 + v. Suppose u - w - 63 = -4*c, -2*c = -u - 47. Is c a multiple of 14?
False
Let k(f) = -f + 10. Let p be k(0). Let j = p + -6. Suppose j*z - 8 = 40. Is z a multiple of 12?
True
Is 24*44/24*3 a multiple of 11?
True
Suppose -3*b = -12, q - 4*q + 176 = -b. Does 5 divide q?
True
Suppose 2*m + k - 62 = 2*k, 2*m = -5*k + 50. Is 15 a factor of m?
True
Let j(w) = 11*w - 4. Does 7 divide j(2)?
False
Let w(t) = -t**3 - 8*t**2 + 8*t - 6. Let p be w(-9). Suppose p*d = -s + 6*s + 76, 5*d - s - 112 = 0. Is 17 a factor of d?
False
Let m be 0 + 5 + (-3)/(-3). Let l = -4 + m. Suppose -5*g = -l*a - 5 - 20, -3*g = 2*a - 15. Does 3 divide g?
False
Let y(q) = q**2 + 5*q + 8. Let i be y(-7). Suppose 4*n = 3*u + i, 3*n - u = 3*u + 20. Suppose -4*p = n - 28. Is 3 a factor of p?
True
Let x be (-1)/(-6) + 382/12. Let g = -14 + x. Is 6 a factor of g?
True
Suppose 4*i + 5 = 3*d + 36, -5*d = 25. Suppose -i*h - m - 2 = 0, 3*h + 2 = -4*m - 6. Is -2 + h + 0 + 14 a multiple of 4?
True
Does 6 divide 6/5*(-95)/(-3)?
False
Let o be -4*6*(-51)/24. Let m be (205 - -4) + 1*2. Suppose 5*p + o = m. Does 11 divide p?
False
Let h(r) = -2*r - 11. Suppose 3*o - 64 = o. Suppose 0 = u - 5*u - o. Is 5 a factor of h(u)?
True
Let g be ((-244)/6)/((-4)/(-30)). Let m = g + 439. Suppose 4