pose 11*q - 20 = 6*q. Does 21 divide (-127)/(-2) - 2/q?
True
Let l be 30/7 - (-10)/(-35). Suppose 5*d + 3 = -5*q + 68, -2*d = -l*q + 28. Is 3 a factor of q?
True
Let t(s) = -s**3 + 8*s**2 - 11*s + 19. Is 25 a factor of t(6)?
True
Let t(p) = -4*p - 1. Let i be t(-1). Suppose -s + 2*s = 2. Let w = s + i. Does 2 divide w?
False
Let z = 19 - 15. Suppose -2*g + 6 = 0, -5*g + 6*g - 7 = -p. Suppose -p*i + z*k + 132 = 0, i + 5*k = -3*i + 87. Is i a multiple of 14?
True
Suppose -4*p + 82 = -2*p. Let x = 59 - p. Suppose -5*j = -37 - x. Is 10 a factor of j?
False
Does 5 divide (-124)/(-6) + 20/(-30)?
True
Let x(t) = -t**3 - 7*t**2 - 2*t + 3. Let a be x(-4). Let l = a + 69. Is l a multiple of 19?
False
Let m = 13 + -10. Let n(t) = 3*t**3 - 2*t**2 - t - 2. Let z be n(m). Does 20 divide z/3 + (-4)/(-6)?
True
Let c(k) = k**3 - 8*k**2 + 2*k - 11. Let y be c(9). Suppose -2*s - 4*x + y = 0, -6*s + 2*s + 188 = 2*x. Does 24 divide s?
True
Is 38/(-2*(-2)/6) a multiple of 15?
False
Suppose 5*p = 2*u + p - 200, 4*u + 2*p - 350 = 0. Is 11 a factor of u?
False
Let u be -1 - (-3 + 0 + 0). Suppose -18 = -u*h + 2*w, w = -2*w + 12. Is h a multiple of 5?
False
Let h(y) = y**2 - 32. Does 7 divide h(-7)?
False
Let m(r) = -7*r**3 + 3*r**2 + 4*r - 11. Let c(y) = -y**3 - 1. Let j(n) = 6*c(n) - m(n). Let b be 2/4 - 7/(-2). Is 4 a factor of j(b)?
False
Suppose r = -3*r + 2*d + 18, 5*r + d = 5. Suppose -3*j + j - 9 = -n, r*j = -n + 1. Suppose p = n*p - 60. Is p a multiple of 8?
False
Let r = -118 - -176. Is r a multiple of 17?
False
Let d = -42 + 61. Suppose -7 = 4*s - d. Is (56/(-12))/((-1)/s) a multiple of 7?
True
Let d be (4 - 1) + -1 + 5. Suppose 3*m = 3*p + 5*m - 55, p - d = 5*m. Does 3 divide p?
False
Suppose -7*b = -2*b - 20. Suppose b*f = f + 6. Suppose -p - f*p = -129. Is p a multiple of 17?
False
Suppose 0 = -5*h + 2*d + 853, -3*h = -0*d + 2*d - 515. Does 40 divide h?
False
Let v be (-4)/12 + (-17)/3. Let i be v/21*-7*1. Suppose 0 = -q, 10*m - 5*m = -i*q + 65. Is m a multiple of 5?
False
Is 5 a factor of 0/(-1 - (0 - 2)) + 25?
True
Suppose 4*q = 7*q - 300. Does 25 divide q?
True
Suppose 3*b = -b + 20. Suppose 5*v - 138 = -4*x, -4*v + b = -3. Does 7 divide x?
False
Suppose -4*u + 102 + 90 = 0. Does 8 divide u?
True
Suppose -2*t + x = -7*t + 110, -125 = -5*t - 4*x. Does 7 divide t?
True
Let m = -12 + 22. Does 5 divide 46/m + (-2)/(-5)?
True
Let h(s) = s**2 + 3. Suppose 0*l = -5*l + 2*t + 25, 3*t + 30 = 5*l. Does 3 divide h(l)?
True
Let n(m) = -2*m + 3. Let h be n(7). Let b = h - -27. Does 16 divide b?
True
Let t(j) = j**3 - 13*j**2 + 9*j - 3. Suppose -3*n = -5*z + 59, -n - 22 = -2*z + 2. Does 34 divide t(z)?
False
Let t(n) = -9*n**2 + n + 1. Let o be t(-1). Let j(k) = k + 12. Does 3 divide j(o)?
True
Suppose 0 = 2*a + 5*y + 31, 0 = 4*a + y - 1 + 18. Is (-4 - 9/a)*-10 a multiple of 5?
True
Let w(v) = -v**2 + 3*v + 4. Let h be w(5). Let l = 0 + -2. Let o = l - h. Is 4 a factor of o?
True
Suppose 4*z - 6*z - 4*v = 18, z = 2*v + 11. Let r = 11 + z. Is 6 a factor of r?
True
Let w = 40 + -22. Suppose 0 = -h - 3, 4*g - w = 3*g + 4*h. Is g a multiple of 3?
True
Suppose 4*k - 154 = -3*b, -3*k + 54 + 47 = 2*b. Is b a multiple of 51?
False
Let g be (1/1)/((-1)/(-6)). Suppose -2*h + g = 3*f + 18, -12 = 4*h. Does 2 divide ((-2)/5)/(f/20)?
True
Suppose 7 = h - 3. Suppose -4*c - h = -9*c. Is 14 a factor of c/8 + (-222)/(-8)?
True
Suppose -k - 13 = -265. Is k a multiple of 12?
True
Let u(d) = -d**3 + 5*d**2 + d + 1. Is 21 a factor of u(4)?
True
Let w(t) = -t**2 + 5 + 0*t**3 + 11*t + 2*t**3 + 9*t**2. Let j be w(-7). Is 18 a factor of (-2)/7 - j/7?
False
Let f be (4/10)/(1/10). Suppose -f*q = -8*q + 72. Is 9 a factor of q?
True
Let i be ((-18)/15)/((-6)/15). Suppose -k = i*k. Suppose 3*w - 20 - 1 = k. Does 7 divide w?
True
Let o = -9 + 5. Let i be 30/o*(-4)/6. Suppose -21 = -4*b - i*h, 2*b = 3*b + h - 5. Does 4 divide b?
True
Let n(w) be the third derivative of 1/3*w**3 + 0 - 7/60*w**5 - 1/120*w**6 + 2*w**2 - 1/8*w**4 + 0*w. Is n(-7) a multiple of 9?
False
Suppose -2*f + n - 6*n = -34, 0 = -3*f - 3*n + 42. Is 3 a factor of f?
True
Let x be 5 + (-2)/(-4)*-2. Suppose -x*t + 54 = -t. Is t a multiple of 6?
True
Let n(f) = 13*f**2 - f. Let z be n(-2). Suppose z = 2*k - 28. Is 13 a factor of k?
False
Let u be (-4)/6 + 5/3. Let r be -6 - -1*u/1. Let j(d) = d**2 + 4*d + 6. Is 9 a factor of j(r)?
False
Suppose 3 = 3*h, -2*t = -0*t - h - 451. Suppose -v = -t - 0. Suppose -3*a + 113 + 13 = -5*l, 3*l + v = 5*a. Does 14 divide a?
False
Let g(f) = -f**3 - 5*f**2 - 6*f - 4. Let j be g(-4). Suppose j*q = q + 36. Let s = q - -9. Is 21 a factor of s?
True
Let d = -3 + 17. Is d a multiple of 6?
False
Let a(h) = 12*h**2 - 5*h + 4. Is 14 a factor of a(2)?
True
Is 0 + 3 + (-165)/(-11) a multiple of 3?
True
Suppose 4*v - 204 = 3*v. Suppose -3*i + v = i. Is i a multiple of 17?
True
Is 15 a factor of (-2 - 32/(-14)) + (-15834)/(-147)?
False
Suppose 4*y + 3*z = 6*y + 212, -4*y + 4*z - 424 = 0. Let x = 320 + y. Suppose -5*s + 16 + x = 0. Is 16 a factor of s?
False
Let a(c) = -25*c**2 + 2*c - 1. Let b be a(1). Does 32 divide -60*(0 - b/(-15))?
True
Suppose -d - 2 = 71. Let w = 133 + d. Suppose -l - w = -6*l. Is l a multiple of 12?
True
Let r(f) = f**3 + 8*f**2 - f - 10. Let w be r(-8). Is w/6 - (-724)/12 a multiple of 20?
True
Let p(g) = g**3 - 7*g**2 + 7*g - 8. Let j be p(6). Let n be (j - -1)/1 - -2. Let o = 7 + n. Is 4 a factor of o?
True
Suppose 2*z = 3 + 5. Let u(l) = -l**2 + 5*l. Let c be u(z). Suppose 34 + 38 = c*f. Does 18 divide f?
True
Let o be (-18*(-2)/1)/(-1). Let j = 29 - 50. Let u = j - o. Does 7 divide u?
False
Let g be (-18 - -2)/(0 - 2). Suppose g - 98 = -5*u. Is u a multiple of 9?
True
Suppose -3*o + 5 = -22. Does 9 divide o?
True
Suppose 202 = 3*o - 185. Is o a multiple of 43?
True
Suppose -5*q = -4*n + 466, 4 = 4*q - 2*q. Is n a multiple of 4?
False
Suppose 2*k = -4*q - 26, 30 = -3*k + 5*q - 9. Suppose -u - 4*c + 0*c - 7 = 0, -u - 7 = 2*c. Let l = u - k. Is l a multiple of 3?
True
Suppose 3*h + 15 = 2*h. Does 2 divide (h/(-10))/((-6)/(-16))?
True
Suppose 0 = -3*m + 3, -4*r + 3*m = -2 - 11. Let s(z) = -z - 3. Let b(h) = h + 1. Let d(t) = 2*b(t) + s(t). Is 3 a factor of d(r)?
True
Let k(j) = 2*j**3 + 7*j**2 + 2*j + 2. Let x be k(-3). Suppose -5*y - 3*w = -65, x*w - 1 = 5*y - 26. Is y a multiple of 10?
True
Let r = 154 - 81. Let o = r + -45. Is 14 a factor of o?
True
Let r = -3 + 3. Suppose r = -3*c - 18. Does 5 divide (-1)/2 + (-63)/c?
True
Let o(g) = g + 3. Let l be o(0). Is 3*4 - (-5 + l) a multiple of 11?
False
Is 2 a factor of 36 + 7/(42/24)?
True
Let d = 69 - 4. Is d a multiple of 13?
True
Let u(o) = -2*o**2 - o**2 - 5*o - 8 + 4*o**2. Let n be u(6). Let z = 12 + n. Is 10 a factor of z?
True
Suppose 4*i - 2*c = 64, 2*i = 7*i - 2*c - 81. Is i a multiple of 17?
True
Suppose -5*y - 65 = 5*r, 2*y - r + 0*r + 11 = 0. Let x be (-10)/3 - y/(-12). Let w = x + 20. Does 8 divide w?
True
Let n(t) = 2*t**2 + 2*t + 4. Let r(u) = -u**3 + 3*u**2 + 2*u + 5. Let i be r(4). Is n(i) a multiple of 16?
True
Let f(y) = -y**2 - 1. Let u be f(1). Let p be u/4*-1*6. Suppose 85 = 2*i + q, 2*i + p*q - 73 = 6*q. Is 17 a factor of i?
False
Suppose 3*l - 1 - 8 = 0. Let b(w) = 2*w**3 - 2*w**2 - 4*w + 1. Let v be b(l). Suppose -3*y + 23 = -v. Does 11 divide y?
False
Let k = 4 + -5. Let u = -1 + k. Let b(q) = -2*q**3 + 2*q**2 - 2*q - 2. Is b(u) a multiple of 13?
True
Let p(u) be the first derivative of -u**7/60 - u**6/360 + u**5/120 + u**4/24 + u**3/3 - 1. Let g(v) be the third derivative of p(v). Is g(-1) a multiple of 13?
True
Let g(z) = z**3 + 7*z**2 - z - 3. Let y be g(-7). Suppose 6*p - y*p = 0. Suppose p*n = 5*n - 30. Does 6 divide n?
True
Is 5 + (-4)/12*-6 a multiple of 7?
True
Suppose 3*h = 7*h - 168. Suppose 3*k - 51 = h. Does 22 divide k?
False
Let l(z) = -z**2 + 0 + 0*z**2 - 2 - 10*z. Is l(-7) a multiple of 19?
True
Let i = 55 + -29. Is i a multiple of 7?
False
Let f = 7 - 7. Suppose f = -5*p + 3*p + 8. Is 2 a factor of p?
True
Let z be 4/(-10) + (-51)/(-15). Suppose 0 = -2*x - z*w + 21, 8*w = -4*x + 3*w + 37. Is x a multiple of 2?
False
Let c = 8 - 6. Is c a multiple of 2?
True
Let g be 0 + 1/(-2)*14. Let h(s) = -4*s + 4. Is 11 a factor of h(g)?
False
Let b(t) = -55*t**2 - t. Let q be b(1). Let c = q - -78. Is 