0 divide (20/5)/((-1)/d)?
True
Does 8 divide (-4)/((12/22)/(-3))?
False
Let o = 146 + -68. Suppose -o + 8 = -2*x. Is 8 a factor of x?
False
Suppose -3*f - 131 = -5*o, -8*o + 4*o + 5*f = -110. Does 5 divide o?
True
Let x(h) = 1 - 5 + h**3 - 2 - 10*h**2 - 36*h + 27*h. Does 13 divide x(11)?
False
Let i be (1/(-4))/((-3)/24). Suppose -i*m + m = -44. Does 11 divide m?
True
Let m(d) = 7 + 0*d - d - d**2 + 2*d**2. Is m(8) a multiple of 23?
False
Let p(j) be the second derivative of -j**5/20 - 5*j**4/6 - 2*j**3 + 13*j**2/2 + 2*j. Is p(-9) a multiple of 20?
True
Let f be (-189)/28*(-8)/3. Suppose -4*a + 36 = 4*i, 0 = a - 0*i - 2*i - f. Does 6 divide a?
True
Suppose l + 2*l = 2*j, l + 2 = 0. Is 20 a factor of -1*(j + 0 + -37)?
True
Let q(h) = -h + 13. Let x be q(9). Suppose 46 = k + x*c, -c = k + k - 64. Does 12 divide k?
False
Suppose 5*m + 4*w = 2 + 82, 45 = 3*m - 3*w. Is 4 a factor of m?
True
Suppose 5*i - 2 - 3 = 0. Let k be 2/(i + 1*-2). Let r(v) = v**2 - v. Is 6 a factor of r(k)?
True
Suppose 26 = g + a, -2*g + 5*g - a - 70 = 0. Is g a multiple of 13?
False
Let w(l) = l**3 - 7*l**2 + 2*l - 7. Is w(7) a multiple of 2?
False
Suppose -2*m = m + 3. Is 10 a factor of 11 + -1 + (m - -4)?
False
Let l(h) = -2*h**2 - 14*h + 10. Let d(v) = -3*v**2 - 21*v + 15. Let j(o) = -5*d(o) + 8*l(o). Is 11 a factor of j(-6)?
True
Suppose -7*x + 6*x - 1 = 0. Does 14 divide (188/(-12))/(x/3)?
False
Suppose 0 = n - 16 - 8. Does 12 divide n?
True
Let q = -18 - -47. Does 3 divide q?
False
Let c be 13/5 - 6/10. Suppose -a + 3*u + 29 = 0, 2*a - 44 = u - c*u. Is a a multiple of 19?
False
Let s be (-2 + 3 - -2) + -1. Suppose -g + s*g = 38. Is 19 a factor of g?
True
Let d = 88 - 72. Does 14 divide d?
False
Let h = -6 + -1. Suppose 5*g - 90 = -f, -2*g + g - 2*f + 27 = 0. Let d = g + h. Is 5 a factor of d?
True
Let l = 237 - 87. Is 17 a factor of l?
False
Let l(o) = o**2 - o - 1. Let y be 4 + 28/(-1 + -3). Is l(y) a multiple of 6?
False
Suppose -461 = 8*y - 1597. Does 14 divide y?
False
Let o = -23 + 35. Let y = o + -7. Is 2 a factor of y?
False
Let k(j) be the first derivative of j**3 - j**2/2 + 2*j - 3. Suppose 2*u = -u - 6. Is 16 a factor of k(u)?
True
Let c = -7 + 10. Let x(w) = 3*w**2 - 4*w. Let b be x(c). Suppose 2*k + b = 3*k. Does 10 divide k?
False
Let i(k) = -k**3 + 4*k**2 - 3*k - 4. Let a be i(3). Let n(x) = x**2 - 2. Is n(a) a multiple of 4?
False
Let p(n) = n**2 + 3*n. Let r be p(-4). Suppose -1 = -4*z - o, -4*z + r*o = -0*z + 4. Suppose z = m + 5*x - 46, x + 80 = 2*m + 5*x. Is m a multiple of 12?
True
Let q(z) = 4 + 37*z**3 + 2*z**2 - 4 - z. Is 18 a factor of q(1)?
False
Is 4/(-18) - 77/99 - -122 a multiple of 11?
True
Let j be (-28)/16 + 4/(-16). Does 20 divide (-157)/j - 3/(-6)?
False
Let d(r) = 6*r**3 - r. Let h be d(1). Suppose -4*k - 66 - 60 = -p, p + h*k - 90 = 0. Let l = -73 + p. Is 12 a factor of l?
False
Is 22 a factor of (-924)/49*(0 - (-1 + 8))?
True
Let c(q) = q**3 - 12*q**2 + 15*q - 13. Is c(11) a multiple of 19?
False
Let s = 81 + -45. Let k = 116 - s. Is 20 a factor of k?
True
Let w = 0 + -1. Let d be (-2 - w - -1)/2. Suppose d = -2*u + 5*x + 49, -5*x - 6 - 19 = 0. Is u a multiple of 6?
True
Suppose 0 = -0*s + 3*s - 9. Suppose -5*h + 6 = -s*h. Suppose -3*v - 1 = -2*t - 6, -5*t + h*v + 10 = 0. Does 5 divide t?
True
Let r = 1 + 2. Suppose -101 - 37 = -r*a. Is 23 a factor of a?
True
Let y = -2 + 5. Let u(w) = 6*w + 0 - 11 - w**3 + 4 - y*w**2. Is u(-5) a multiple of 13?
True
Let i(w) = -w**2 - 17*w + 14. Does 24 divide i(-9)?
False
Let b = 4 + 3. Suppose -5*j = -5*y + 5 + 15, -3*y + b = -4*j. Suppose 0 = -0*k + k - y. Is 9 a factor of k?
True
Suppose 20 = -2*o + 6*o. Suppose -o*s + 215 = -0*s. Does 15 divide (-4)/(-6) - s/(-3)?
True
Let x = 53 - 17. Let p = x + -22. Does 7 divide p?
True
Suppose -2*q - 85 = -5*z - 4*q, 0 = -2*z + q + 25. Suppose 8*m - 3*m = z. Suppose 15 = 2*o + m*o. Does 3 divide o?
True
Suppose 61 = 2*l - 5*p, -2*l = -6*l - 2*p + 110. Is 7 a factor of l?
True
Let n(j) = -22*j + 22. Does 22 divide n(-9)?
True
Let v = 19 - 12. Let j = -16 + v. Let z = 36 + j. Is z a multiple of 9?
True
Let t(j) = -j + 4. Let o be -7 - (-4)/((-4)/1). Is 5 a factor of t(o)?
False
Suppose 0*a = -2*a - 4*h + 10, -4*a - 5*h = -11. Let f = a + 5. Suppose f*j + 91 = 3*p, -p + 20 = 3*j - 6. Does 17 divide p?
False
Let b(c) = 2*c + 3. Let a be b(-4). Does 2 divide a/20 + 21/4?
False
Suppose 5*w - 13 = -68. Is 4 a factor of 21*(-3 - w/3)?
False
Let a(k) = 15*k + 15. Is 15 a factor of a(4)?
True
Let l(r) be the first derivative of 2*r**2 - r - 3. Is l(4) a multiple of 5?
True
Let c(s) = -s**3 + 11*s**2 + 15*s + 10. Let m be c(12). Let a = 77 - m. Is 5 a factor of a?
False
Let b = 73 - 39. Does 17 divide b?
True
Let i = 11 + -20. Let q = i - -14. Is 4 a factor of q?
False
Let i be ((-63)/12)/(-3)*4. Let l be (-7)/3 + i/21. Is (l/4)/(2/(-60)) a multiple of 5?
True
Suppose -b = 2*b - 243. Let l = b - 30. Is 13 a factor of l?
False
Suppose -1 - 11 = 3*n, -12 = -4*w - 3*n. Is w a multiple of 3?
True
Is 62/(4 + (-35)/10) a multiple of 13?
False
Does 14 divide (16/40)/((-2)/(-130))?
False
Suppose 0 = -6*b + 2*b. Suppose 4*s = -3*o + 5, o = -s - b*s. Suppose -84 = -3*d + 3*z, -19 - 6 = s*z. Does 12 divide d?
False
Let u be (-1)/(-4) - (-7)/4. Suppose -21 = -q + 5*g, -u*g = -3*q - 0*g + 37. Is 11 a factor of q?
True
Suppose 0 = 5*y - 0*y - 10. Suppose m = -x + 12, -4*x + y*m + 74 = x. Is 5 a factor of x?
False
Let c(z) be the third derivative of z**5/6 - z**4/24 - 2*z**2. Does 5 divide c(-1)?
False
Let v be ((-8)/(-6))/(1/(-30)). Let o = -24 - v. Is o a multiple of 16?
True
Suppose -2*z + z = -6. Suppose -z*u + 2*u + 72 = 0. Does 9 divide u?
True
Suppose 0*x - 2*f = -2*x + 346, -12 = -4*f. Suppose 4*a + 35 = d, -4*d + a + x = -3*a. Is d a multiple of 24?
False
Let k(g) be the first derivative of -g**3/3 + 7*g**2 - g - 1. Is 18 a factor of k(10)?
False
Suppose 2*z = -2*z - 56. Does 4 divide 2/(12/z)*-6?
False
Let h(z) = z - 9. Let p be h(7). Let m = -7 + p. Let d = 17 + m. Is d a multiple of 8?
True
Let x be (78 - 12/4) + 2. Is 914/14 + (-22)/x a multiple of 13?
True
Let b(j) = 4*j**2 - 5*j - 3. Is b(-4) a multiple of 10?
False
Let a(r) = r**2 + 10*r - 5. Let j be a(-11). Suppose j*s = 3*s + 102. Is s a multiple of 17?
True
Suppose 37 = z + 10. Does 27 divide z?
True
Suppose -5*f + 389 = -61. Is 18 a factor of f?
True
Suppose -2*u = 2*j - 110, 5*u - u - 215 = -5*j. Suppose 3*v + 8 = n + 4*v, 0 = n - 5*v + 22. Suppose -h + 76 = n*b - 0*b, -u = -3*b + 3*h. Does 12 divide b?
True
Is (-6620)/(-85) - (-8)/68 a multiple of 26?
True
Let o be -73*1 - (2 + -1). Suppose -5*h + 65 = -2*v, -3*h - 3 = -2*h. Let l = v - o. Is l a multiple of 21?
False
Suppose 0 = -2*i + i + 66. Is 7 a factor of i?
False
Let k(i) = -i**3 + 5*i**2 - 3*i - 4. Let h be k(4). Suppose h = -3*u - u - 196. Let g = u - -78. Is g a multiple of 11?
False
Let c(z) = 5*z - 8. Let s be c(-11). Let q = s - -99. Suppose -4*f + q + 20 = 0. Does 14 divide f?
True
Let f(d) = -d**3 + 8*d**2 + 13*d - 3. Let x = 8 + -19. Let i = -2 - x. Is f(i) a multiple of 20?
False
Let r(o) = -o**3 + 5*o**2 - 2*o + 1. Let m(b) = b**3 + 5*b**2 + b - 3. Let a be m(-3). Let k be 39/a - (-2)/(-8). Is 13 a factor of r(k)?
True
Let z(k) = k**2 - 4*k - 5. Let o be z(5). Let a(r) = -r**3 - r**2 + r + 31. Is a(o) a multiple of 12?
False
Suppose 2*n - 6*n = 1968. Is 2/(-9) - n/27 a multiple of 18?
True
Let o(v) = 3*v**2. Let u be o(-1). Suppose 0 = 5*c - u*q - 7, -2*q - 1 + 7 = 2*c. Let k = c - -17. Is k a multiple of 7?
False
Suppose -l + 0 + 3 = 0. Suppose -2*j = 3*j - 115. Let w = j + l. Is 26 a factor of w?
True
Let u(o) = o**3 - 6*o**2 - 3*o - 10. Is 9 a factor of u(7)?
True
Let a(f) = -f**3 - 3*f**2 - f - 3. Let v be a(-3). Let u = v + 3. Is u a multiple of 2?
False
Suppose 5 = 3*d - 4*a, 2*d = 3*a - 0*a + 4. Is 8 a factor of 4 - (3/d - 17)?
True
Let n(d) = -d**3 + 10*d**2 - 8*d + 6. Does 9 divide n(8)?
False
Suppose -2*v + 136 = 5*y - v, 5*v - 120 = -5*y. Let p = y - 1. Is 9 a factor of p?
True
Suppose 0 = -3*h + 4*q - 12, 4*h - 5*q + 16 = 0. Let c(a) = -a**3 - 2*a**2 + 7*a + 6. Is c(h) a multiple of 7?
False
Let f = 2 - -53. Is 6 a factor of f?
False
Let i = 18 - 14. Suppose i*n - n - 84 = 0. Does 14 divide n?
True
Let n(c) = 8*c - 2. Let 