u + 2*u + 19. Is h a multiple of 11?
True
Let f = 17 - -25. Let b = f + -14. Does 14 divide b?
True
Suppose 0 = 3*g - 5*v - 4 - 31, g - 9 = -v. Let l be 2/g + (-1776)/(-20). Suppose 0*t - t + 4*b = -36, -4*t + 5*b + l = 0. Is t a multiple of 12?
False
Let l(r) = 16*r - 9. Let c be (-1)/((-4)/(-40)*-2). Is 19 a factor of l(c)?
False
Suppose -3*m = 2*m - 15. Suppose 559 = m*s + 40. Suppose 2*l = 4*u - l - 127, -l + s = 5*u. Is u a multiple of 17?
True
Let f be ((-6)/(-4) - 1)*0. Suppose f*b - 69 = -4*b + 3*n, 20 = b + 2*n. Is b a multiple of 6?
True
Let x = -21 - -22. Let f be 31/4 - (-1)/4. Is 5 a factor of x*(-1 + -2 + f)?
True
Suppose -v + x = 6, 2*v = -2*v - 4*x - 40. Let j(b) = -b - 5. Let f be j(v). Suppose -11 + 65 = f*l. Does 12 divide l?
False
Suppose 4*y - 585 = 519. Does 46 divide y?
True
Suppose -11*p + 6*p = 595. Let x = p - -175. Is x a multiple of 14?
True
Let h be (-2 - -2)/(-4) - 2. Let i = 63 - 45. Is 17 a factor of (i - -1) + h + 0?
True
Suppose -6*m + 14*m - 336 = 0. Does 3 divide m?
True
Suppose 0 = -5*n + 1 - 46. Suppose -5*w - 1 - 4 = 0. Is w/(-3) + (-177)/n a multiple of 10?
True
Suppose 3*v - 6*v = -54. Suppose 5*m = -v + 58. Does 5 divide m?
False
Suppose 0*q + 3*q + 3*v = 24, 3*v - 19 = -2*q. Suppose -7*k + q*k + 132 = 0. Is k a multiple of 22?
True
Suppose 2*u - 864 = -4*u. Is u a multiple of 24?
True
Let u be 48/(-9)*57/(-4). Let p = -50 + u. Is 14 a factor of p?
False
Let h(a) = a**2 - 1. Let k be ((-1)/2)/(1/2). Let y be h(k). Suppose 1 = f, -4*u - 2*f + y*f = -34. Is 8 a factor of u?
True
Let j be 13 + -6 + (1 - -2). Let m = -16 + j. Let t(o) = o**3 + 6*o**2 + 4. Is t(m) a multiple of 4?
True
Suppose 0 = -2*g + 440 + 472. Is g a multiple of 21?
False
Let r = -6 + 4. Let m(b) = -b**2 - b - 2. Let f be m(-4). Is 8 a factor of f/r - (-2)/2?
True
Let i(c) = -21*c**3 - 2*c**2 + 1. Let d(g) = g**3 + 4*g**2 + g - 2. Let y be d(-3). Suppose 2*s - y*s - 9 = -q, 4*s = 4*q - 16. Is i(q) a multiple of 19?
False
Let l(p) = -5 + 7*p - p - 8*p**2 + 2*p**2 - p**3. Let m be l(-7). Suppose w - 4*q = 16, 3*w - 38 = -m*w - q. Is 8 a factor of w?
True
Suppose 2*y = 2*g + 32, g = -g + 8. Is 10 a factor of y?
True
Let q(d) = 10*d - 2. Let t be q(2). Suppose 4*f - t = 14. Does 3 divide f?
False
Suppose 4*a - a + 24 = 0. Let c be a/(-3 - 21/(-6)). Is 4 a factor of (c/6)/(8/(-36))?
True
Suppose 0 = -4*i + 6*i - 54. Suppose m + i - 43 = 0. Is 4 a factor of m?
True
Let d = 116 - 81. Suppose 0 = -4*y + d - 3. Is 2 a factor of y?
True
Let y(w) = w**2 + 5*w + 4. Let v(f) be the third derivative of -7*f**5/60 + f**3/6 - f**2. Let q be v(1). Does 4 divide y(q)?
False
Let k be (19 - -3)*1/2. Let o = 36 - 17. Let h = k + o. Does 15 divide h?
True
Suppose -3*h + 3*d = -144, d - 56 - 111 = -4*h. Is 18 a factor of h?
False
Let r = 134 - 235. Let m(d) = -d**3 - 8*d**2 + 3. Let z be m(-6). Let u = z - r. Is 14 a factor of u?
False
Suppose a - 6*g + 9 = -3*g, 3*a + g - 3 = 0. Let r = a - -8. Is 4 a factor of r?
True
Let j be (-2)/(-4) + 1/(-2). Let u(x) = -6*x**3 + 5*x**3 + 5*x**2 - 5*x + 2 + j. Is u(3) even?
False
Suppose 4*g - 2*x - 4 = 0, -2*x = -4*g + x + 2. Is 2 a factor of g?
True
Suppose -3*a + 2*a + 2*i = -14, 3*i = -2*a + 7. Let q(x) = x**3 + 2*x**2 - 3*x + 3. Let z be q(-3). Suppose 0 = -m - 4*m + 20, 0 = g - z*m + a. Does 4 divide g?
True
Let c(f) = f**2 - f - 7. Is 9 a factor of c(5)?
False
Let m = 21 + 116. Let v = -90 + m. Does 29 divide v?
False
Suppose 41*f - 46*f = -525. Is 21 a factor of f?
True
Suppose -m = -2*m + 26. Is 8 a factor of m?
False
Let d(b) = -b + 21. Is 6 a factor of d(0)?
False
Let y(q) = -22*q + 6. Let u be y(-2). Let p = 148 - u. Does 25 divide p?
False
Suppose 6 - 2 = 2*f. Does 2 divide f?
True
Let s = 282 + -79. Is s a multiple of 29?
True
Let f(b) = 19*b**2 + b + 1. Let y be f(2). Let i be y/3 + (-6)/(-9). Suppose -5*m - 3*s + i = -m, -5*m = -s - 10. Is m even?
False
Suppose -18*o = -19*o + 73. Does 16 divide o?
False
Let w(o) = 2*o**2 - 6*o + 3. Does 39 divide w(-3)?
True
Let b = 11 - 8. Let d be b/(-9) + 15/(-9). Is 10 a factor of 2*-5*1*d?
True
Suppose 0 = -w - 264 + 81. Let y = -300 - w. Let b = -69 - y. Is 24 a factor of b?
True
Let s(q) = 236*q - 11. Is s(1) a multiple of 13?
False
Suppose -5*o = -3*o. Suppose r - 1 = 2*z, o = 4*r + 3*z - z - 24. Is 5 a factor of r?
True
Let q = 36 + -17. Is q a multiple of 3?
False
Let w = 58 - 18. Let y = w - 10. Is 15 a factor of y?
True
Let k = 17 + -14. Let r be 1 + 0/1 + 3. Suppose -u + r*u + k*j = 27, -20 = -2*u - 4*j. Is u a multiple of 4?
True
Let u(y) = -y**3 - y**2 + 2*y. Let a be (-6)/8*(1 + 3). Is 12 a factor of u(a)?
True
Let p(z) = 5*z**2 - 3*z - 10. Does 4 divide p(-4)?
False
Let f = -5 - -9. Is 3 a factor of f?
False
Let l(w) = w**3 - 7*w**2 - w + 5. Let b be l(7). Does 17 divide b/(8/(-220)) - -2?
False
Suppose 17 = o + 4. Is o a multiple of 5?
False
Let p(q) = -q**3 - 10*q**2 + 8*q + 12. Is p(-11) a multiple of 15?
True
Let j = 362 + -245. Is j a multiple of 9?
True
Let k be -3 + 9 - 1 - -1. Does 22 divide 4*(-2 - (-51)/k)?
False
Suppose 1368 = 8*s + s. Is 21 a factor of s?
False
Let l = -44 - -66. Let k = l - -29. Suppose 77 = 4*x - k. Does 11 divide x?
False
Let s be 3 - (-6)/(-2) - -1. Suppose -s = -3*c + 5. Suppose -y - 32 = -2*p, -c*p = -3*p + y + 15. Is p a multiple of 15?
False
Suppose 6 = 2*g - 18. Does 4 divide g?
True
Suppose -170 = -5*b + 5*z, -5*b - z + 82 = -2*b. Is 10 a factor of b?
False
Let b = 62 + -38. Is b a multiple of 12?
True
Let l(h) = h**3 - h**2 + 4*h - 2. Let n = 5 + -2. Is 12 a factor of l(n)?
False
Suppose 11*k - 700 = 6*k. Is 14 a factor of k?
True
Suppose 0 = -2*v + 4*u - 15 + 275, 0 = v + 3*u - 120. Does 42 divide v?
True
Let j be (-1646)/(-22) + 4/22. Let g = -20 + j. Is 11 a factor of g?
True
Suppose 7*j + n = 3*j - 55, 2*n - 16 = j. Let l = 19 - j. Is 11 a factor of l?
True
Let r = 1 - -9. Is 5*(-2 + 82/r) a multiple of 22?
False
Suppose 0 = 60*y - 56*y - 308. Does 21 divide y?
False
Let b be 10/4*(4 - 2). Let o(h) = -h**3 + 4*h**2 + 4. Let r be o(3). Let u = r + b. Is 6 a factor of u?
True
Suppose 2*k - 21 = 31. Let l(r) = -3 - k*r + 3. Is 11 a factor of l(-1)?
False
Suppose -2*a + 4 = 2*a. Let h be 2/3*(-2 - a). Let q = h + 38. Is 12 a factor of q?
True
Suppose 71 - 26 = 5*v. Is 3 a factor of v?
True
Suppose -x = -h - 214, 642 = 3*x - 3*h + h. Is x a multiple of 29?
False
Suppose -12 = -3*p - 0*p. Suppose 0 = -7*r + p*r + 102. Is r a multiple of 13?
False
Suppose -4*a + 3*z = -2*a + 25, -a - 20 = -4*z. Let k(s) = s**2 + 8*s + 3. Does 2 divide k(a)?
False
Let g(d) = -15*d - 42. Does 12 divide g(-10)?
True
Let t = -5 - -10. Suppose 0 = 2*v - 3*v + t. Suppose 0 = -4*i - 3*o + 31, -v*i = o + 4*o - 35. Does 6 divide i?
False
Let d(c) = -c**3 + 9*c**2 + 6*c + 6. Is d(9) a multiple of 20?
True
Let z(m) = -3*m - 2. Let n be z(2). Let t(b) = -3*b - 20. Does 4 divide t(n)?
True
Let d(j) = 7*j**2 - 5*j - 8. Let s(g) = 3*g**2 - 2*g - 4. Let u(o) = 4*d(o) - 9*s(o). Is 7 a factor of u(3)?
True
Let t(a) = -9*a**2 - a**3 - 3 - 9 - 6*a + 2*a + a**2. Is t(-8) a multiple of 20?
True
Does 8 divide 4*((-10)/(-1) - 0)?
True
Is (-738)/(-24) + (-1)/(-4) a multiple of 8?
False
Suppose 5*t - 7*j + 2*j - 105 = 0, t = -3*j + 1. Does 16 divide t?
True
Let d(n) = -9*n + 1. Is d(-22) a multiple of 13?
False
Let y = -7 + 9. Let q(i) = i**3 - 3*i + 6*i**y + 2*i - 2*i. Is 15 a factor of q(-5)?
False
Suppose -2*v = -m - 2, 5*v + 5 = m + 4*m. Is v even?
False
Let r = -6 - -12. Let f be r - (-3 - 0)/3. Does 16 divide 540/21 - (-2)/f?
False
Suppose -q + m + 7 = 0, -2*q - 4*m - 2 = -4. Suppose -q*t + t = -20. Suppose 5*b = -t, -3*b + 9 = -p + 2*p. Does 10 divide p?
False
Let c be (-5)/(1/(-2 + -1)). Let s be (6/c)/((-2)/(-10)). Suppose -s*f - f = -129. Is 15 a factor of f?
False
Let h(k) be the second derivative of 2*k + 1/12*k**4 + 0*k**2 + 1/6*k**3 + 0. Is 20 a factor of h(4)?
True
Suppose 175 = 3*b + 2*b. Is b a multiple of 7?
True
Let y = -10 + 3. Let d be y + -2 + 3 + 0. Let i = -1 - d. Does 3 divide i?
False
Suppose 0 = -0*u - u - 1. Does 5 divide ((-1)/u + 14)*1?
True
Suppose -3*v + 2*v + 4 = 0. Let h(a) = a**2 + 4*a. Does 8 divide h(v)?
True
Suppose -2*w = w - 5*j + 17, -4*j + 12 = -4*w. Let t be (-105)/(-12) - w/(-4). Does 9 divide 243/t + (-4 - -1