/5)/((-1)/(-5)). Let q be 416/(-14) - 6/21. Let y = r - q. Is 17 a factor of y?
False
Is 11 a factor of ((-132)/15)/(8/(-140))?
True
Does 7 divide ((-62)/(-3))/((-4)/(-6))?
False
Suppose -4*c = -4*l - 5*c + 166, 3*c + 6 = 0. Let t be ((-2)/4)/((-1)/(-44)). Let m = t + l. Is m a multiple of 7?
False
Suppose -5*g + 11 + 4 = -a, -2*g - 2 = -2*a. Suppose a*p = 37 + 128. Is p a multiple of 22?
False
Suppose 3*y = -2*m + 20, 3*m - 35 = -y - 4*y. Does 6 divide 4/y + (-129)/(-15)?
False
Suppose -2*a - a + 48 = 0. Let o = 10 - a. Does 4 divide (-76)/(-12) - 4/o?
False
Suppose 4*z = -22 + 90. Does 6 divide z?
False
Suppose 180 = -0*a + 3*a. Is 15 a factor of a?
True
Let w(q) = -q**2 + 6*q + 7. Let d(l) = -l**3 + 10*l**2 - l + 3. Let t be d(10). Let f = 13 + t. Is w(f) a multiple of 3?
False
Let x(k) = -2*k + 5. Let p be x(4). Let b = p + 39. Does 12 divide b?
True
Suppose 38 = 4*r - 3*p, 5*r + 5*p = 22 + 43. Let c = r + 3. Does 10 divide c?
False
Let d be ((-1)/2)/(1/12). Let n be 9/d - (-107)/2. Suppose -n = -4*p - 12. Is p a multiple of 5?
True
Let o be (1 + 1)*-1 - 5. Let s(h) = 3*h**2 + 20. Let f(d) = 5*d**2 + 39. Let z(l) = o*s(l) + 4*f(l). Is 8 a factor of z(0)?
True
Let t(a) = 114*a**3 + 1. Is 10 a factor of t(1)?
False
Let x = -15 - -21. Suppose 14 = 4*n + n + p, n - 2*p = -x. Is n even?
True
Suppose -5*w - 3*b = -20, 3*w + 2 = 4*b + 14. Is w a multiple of 4?
True
Let w(y) = 4*y + 4. Let d(o) = -o. Let t(x) = 4*d(x) + 2*w(x). Let j be (-23)/(-4) + (-2)/(-8). Does 16 divide t(j)?
True
Suppose 117 = -2*s - 451. Is s/8*(-6)/3 a multiple of 26?
False
Let p(r) = -1 - 3*r + 22*r**2 + r + r**2. Does 24 divide p(-1)?
True
Suppose -3*x - w + 4 = 16, -4*x - 5 = 5*w. Let h = x - -9. Is h a multiple of 4?
True
Let h = -29 - -54. Is h a multiple of 3?
False
Suppose -6*t + 41 + 85 = 0. Is 7 a factor of t?
True
Let v(x) = 4*x**3 - 2*x**2 + 2*x - 1. Let p(r) = -r**3 + 3*r**2 - 2*r + 2. Let k be p(2). Let f be v(k). Suppose 0 = -2*b + f - 1. Is b a multiple of 13?
True
Let k = 1 - 1. Suppose -5*v + 10 + 5 = k. Suppose 5 + 1 = -v*x, 3*g + 5*x - 98 = 0. Does 16 divide g?
False
Is 1/3 - (-1635)/9 a multiple of 26?
True
Suppose -j + 0 + 22 = 4*i, 4*i + 38 = j. Is 10 a factor of j?
True
Suppose 5*h = -2*q + 19, 5*q + 5 = 4*h + 3. Suppose -9 = j - q*p, -4*j - 4*p + 15 = 3. Is j/(2 - (-46)/(-22)) a multiple of 11?
True
Suppose 0 = -p - 7*p + 2800. Does 55 divide p?
False
Let y(i) be the second derivative of -i**8/1680 - i**6/720 - i**5/120 - i**4/12 + i. Let w(r) be the third derivative of y(r). Does 2 divide w(-1)?
True
Let m(s) = 2 + 18*s + 1 - 4. Is 4 a factor of m(1)?
False
Let q be 2/3 + 39/9. Let s(v) = -v**3 + 11*v**2 - v - 3. Let y(j) = -2*j**3 + 23*j**2 - 3*j - 7. Let r(c) = 13*s(c) - 6*y(c). Does 14 divide r(q)?
True
Let f = 3 - -9. Is (0 + f/3)/2 a multiple of 2?
True
Is ((1 + 0)/2)/(14/1708) a multiple of 8?
False
Suppose -q - 2 = -2*y + 3*y, 5*q + 10 = y. Suppose y = -3*z - 4*m + 45, 3*z - m - 43 = -13. Is z a multiple of 9?
False
Let t = 6 + -3. Suppose 0 = n + 3*p - 55, 0*n - 209 = -t*n + 2*p. Let q = n - 37. Does 15 divide q?
True
Suppose 3*o + o - 208 = 2*i, o + 4*i = 61. Suppose 5*m = o + 47. Let g = m - 8. Does 9 divide g?
False
Let k(n) = 10*n**2 + 6 + 7*n + n**3 - 2 - 3 - 2. Is k(-9) a multiple of 6?
False
Suppose 0 = -p - 2*u + 70, 2*u = p - 0*p - 90. Is p a multiple of 6?
False
Let a(j) = -j**2 + 4 - 5*j + 0 - 3 - 4. Let n be a(-2). Suppose -46 = -3*d + 5*q, n*d = d - 4*q - 6. Is d a multiple of 7?
True
Let c = 60 - -82. Suppose 0*h + 104 = 2*h - 2*m, -3*h + c = 4*m. Is h a multiple of 19?
False
Suppose 4*g + 43 = 119. Let z(y) = -y**3 + 6*y**2 + 2*y - 5. Let a be z(4). Suppose -4*j - r + a = 0, j = 2*r + g + 1. Is j a multiple of 8?
False
Suppose 8*p - 143 - 17 = 0. Does 5 divide p?
True
Let g(n) be the second derivative of -n**3 - 6*n**2 + n. Is g(-10) a multiple of 16?
True
Let g(n) = 3*n + 2. Let j be g(-2). Let f be 1/((j/(-14))/2). Let l = f - -1. Does 4 divide l?
True
Let r = 99 - 25. Does 24 divide r?
False
Let d = 104 + -100. Does 2 divide d?
True
Suppose -5*u + 2*p = -666, 4*u + 3*p - 4*p - 534 = 0. Is u a multiple of 13?
False
Let k(c) be the first derivative of -c**3/3 + 5*c**2 - 3*c + 2. Is k(7) a multiple of 7?
False
Let l(v) = 38*v**2 - 1. Let i be l(-1). Let u = -19 + i. Is 9 a factor of u?
True
Let p be (-136)/(-10) - (-4)/10. Let g be (-3)/(6/(-4)) - 4. Does 11 divide (72/p)/(g/(-14))?
False
Suppose 6*i = 3*i + 21. Is 21 a factor of 3/(-3)*i*-7?
False
Let f = 2 + -4. Is (4/(-6))/(f/21) a multiple of 7?
True
Suppose 0 = l + 2*i + 2 - 12, 3*l = 5*i - 14. Let k(r) = 2*r - 2*r + 13*r**l. Is k(1) a multiple of 5?
False
Let l(w) be the first derivative of 3 + 1/3*w**3 + 0*w + w**2. Is l(2) a multiple of 4?
True
Suppose -10*c = -12*c + 106. Is 27 a factor of c?
False
Suppose -2*z + 0*z = 0. Suppose 48 = -z*k + 4*k. Let p = k + 28. Is 20 a factor of p?
True
Suppose b - 17 = 5*l + 6, l + 15 = b. Is 3 a factor of b/2 - 18/(-12)?
False
Suppose 281 = -3*c + 101. Is 13 a factor of (-1635)/c - (-2)/(-8)?
False
Let f(p) = -3*p**2 - 6*p - 8. Let n(x) = 4*x**2 + 7*x + 8. Suppose -3*y + 0*y = -15. Let m(o) = y*f(o) + 4*n(o). Is 8 a factor of m(6)?
True
Let s(p) = 7*p + 5. Let a(h) = 3*h + 2. Let k(z) = -5*a(z) + 3*s(z). Let x(i) = i**3 - 6*i**2 + i - 2. Let r be x(6). Is 12 a factor of k(r)?
False
Let r be ((-2)/(-3))/((-4)/(-102)). Suppose 2*q + 3 = r. Is 7 a factor of q?
True
Suppose -104*o - 175 = -105*o. Does 6 divide o?
False
Let h be -2 + 1 - 0 - 0. Does 2 divide h/(-2) - 9/(-6)?
True
Let x be (-8)/3*6/4. Let d be ((-135)/2)/(2/x). Suppose d = 5*b + 45. Does 12 divide b?
False
Suppose -5*b = 2*y + 3, 2*b + 15 = 2*y + b. Suppose 24 = 2*r - y*r. Is 15 a factor of 1 - 44/6*r?
True
Suppose 0 = 11*c + c - 324. Does 9 divide c?
True
Let i = 11 - -12. Is i a multiple of 23?
True
Let k = -26 + 54. Does 6 divide k?
False
Is (36/14)/(42/2156) a multiple of 33?
True
Suppose -3*l = 4*k + 17, -k = 4*l - 5*k - 24. Let j(f) be the first derivative of 13*f**3 - f - 2. Is 13 a factor of j(l)?
False
Let u be (-3)/(-2)*(-12)/9. Does 12 divide (u - -1) + (-2 - -21)?
False
Suppose -58 + 343 = 5*w. Does 8 divide w?
False
Let p be (-4)/(-6)*(-30)/(-4). Let k be (19 + (6 - 9))*1/2. Suppose k*v - 3*v - 235 = p*i, -5*v - 5*i + 265 = 0. Is v a multiple of 18?
False
Let s(g) = 2*g**2 - g. Suppose 5*r + 9 + 1 = 0. Does 6 divide s(r)?
False
Suppose 2*k - 73 - 12 = -5*o, -2*k = -5*o - 95. Is 19 a factor of k?
False
Suppose 4*t + 3*u = 47, u = 5*t + 3 - 57. Suppose -21 = -0*o - o. Let l = o + t. Does 9 divide l?
False
Let d(q) = -5*q**2 + q**3 + 2*q**2 + 4 + 2*q - 2*q**2. Let j(c) = -c**3 - 7*c**2 - c - 2. Let a be j(-7). Is 14 a factor of d(a)?
True
Suppose -11*l + 1413 = 49. Is l a multiple of 12?
False
Let n be 2/(-3 - -1)*-106. Suppose 0 = -m - 0*i + 5*i + 8, -5*m + n = -3*i. Suppose -k = -m - 5. Is 14 a factor of k?
True
Let x(v) = 0 - 1 + 0*v + v**3 + 0*v. Let o = 4 + -1. Is x(o) a multiple of 13?
True
Let q(p) = -13*p - 51. Does 35 divide q(-12)?
True
Let z(n) = n**2 + 4*n - 2. Let i(h) = -2*h + 9. Let m(y) = y - 1. Let o be m(8). Let u be i(o). Does 2 divide z(u)?
False
Is 4 a factor of 2/7 - 0 - (-216)/28?
True
Suppose -2 = -16*g + 15*g. Is 2 a factor of g?
True
Let p be 4/(-10) - (-52)/5. Suppose j = 2*j - p. Let k = 15 - j. Is 2 a factor of k?
False
Suppose 0 = -3*r - 2*r + 50. Suppose -3*a + 2 = b - 0, -3*a = 5*b - r. Suppose -2*x + t = -15, -3*t + a*t = -3. Is x a multiple of 8?
True
Let u(w) = w**2 - 5*w + 4. Is u(-9) a multiple of 20?
False
Let k be 2 + -157 + 1 + -4. Let z = -104 - k. Does 27 divide z?
True
Let k = 6 + 141. Is k a multiple of 12?
False
Let x = -47 + 2. Let j = 72 + x. Is j a multiple of 7?
False
Let b(x) be the second derivative of 5*x**3/2 + 18*x. Let q(i) = -i**2 + 3. Let h be q(0). Is 22 a factor of b(h)?
False
Suppose -2*k - k = 0. Suppose 2*p - 3*n - 270 = 0, 5*p + k*n - 2*n - 675 = 0. Suppose 3*g - p = 3. Is g a multiple of 22?
False
Let h(f) = -f + 12. Let u(t) = -3*t + 25. Let o(k) = 5*h(k) - 2*u(k). Is 12 a factor of o(7)?
False
Let y(p) = -p**3 - p**2 - p + 4. Let u be y(0). Suppose -15 + 73 = u*g + 2*l, 24 = 2*g - 4*l. Is g a multiple of 5?
False
Let f(l) = l**2 + 5*l - 4. Let t be f(-12). Let z = t - -16. Does 21 divide z?