g = 7 + n. Is 14 a factor of g?
False
Let o = 16 + 6. Is 22 a factor of o?
True
Suppose 2*y + 4*h = 3*y - 23, 4*y - 140 = 4*h. Let k = y + -19. Does 5 divide k?
True
Let v(l) = 3*l + 1. Let i be v(1). Let k be 13/3 - 2/(-3). Suppose k*x - 16 = i*x. Is 8 a factor of x?
True
Suppose 3*k + 3 = -3*r - 0*r, -k + r = 3. Is 7 a factor of (k + (-1 - -2))*-14?
True
Let r(h) = -3*h**3 + 3*h**2 - 2*h - 2. Is r(-3) a multiple of 14?
True
Let b = 20 + -28. Let o = -5 - b. Suppose 4*v + o = 43. Is v a multiple of 10?
True
Let f(t) = 3*t - 7. Is 3 a factor of f(4)?
False
Suppose -3*f + 5*r - 26 = 0, 0 = -r + 2*r - 4. Let w be ((-2 - -2) + -1)*1. Is (-3)/(-2)*w*f a multiple of 2?
False
Suppose 2*b = 3*b - 48. Let j(a) = 2*a**3 + a**2 - a + 1. Let r be j(1). Suppose r*d - b = d. Is d a multiple of 12?
True
Let z(c) = -92*c. Let f be z(-1). Let u be f + 3/((-3)/2). Suppose -j - 51 - 51 = -4*r, -5*j = 4*r - u. Does 7 divide r?
False
Let n = 132 - 89. Suppose 3*q + 2*q = -2*z + n, -5*z = -2*q - 64. Is z a multiple of 5?
False
Suppose -283 = -3*k - 82. Is 11 a factor of k?
False
Suppose -3*q = -3*c + 498, -5*c + 693 + 105 = 3*q. Does 18 divide c?
True
Let m(y) = -y**3 - 7*y**2 + 8*y + 21. Is 4 a factor of m(-8)?
False
Let g(a) = a**3 - 7*a**2 - 28*a + 10. Is g(10) a multiple of 10?
True
Suppose 7*r - 11*r = -324. Let w = r - 58. Does 6 divide w?
False
Let p(h) be the first derivative of 20*h + 0 - 15*h + 1 - 2*h**2. Is p(-5) a multiple of 25?
True
Let a(z) = 42*z. Let q(d) = 43*d. Let r(m) = -5*a(m) + 4*q(m). Let y be r(1). Is 0 + 2 - y - 0 a multiple of 20?
True
Let c(o) be the second derivative of -o**5/2 - o**3/6 - o**2/2 - 2*o. Is c(-1) a multiple of 10?
True
Suppose 3*o + 0*z = z + 79, 4*o - z = 106. Is o a multiple of 18?
False
Let t(y) = -y**3 - 5*y**2 + 6*y + 2. Let q be t(-6). Suppose -l - 115 = -4*n - q*l, 3*l = -3*n + 75. Does 9 divide n?
False
Let k(y) = -y**2 - 27*y - 33. Does 9 divide k(-22)?
False
Let g(y) be the first derivative of -11*y**2 - 1 - 6*y + 6*y. Does 17 divide g(-2)?
False
Suppose -g + 1 = 0, 3*p + p + 3*g - 243 = 0. Does 15 divide p?
True
Suppose 2*q - 5 = 3*b + 11, q = 4*b + 13. Is 5 + 0 + (q - 2) a multiple of 5?
False
Let q = -4 - -14. Suppose -t - 2*p = -q, 0 = -4*t - 0*p - 5*p + 55. Is 12 a factor of t?
False
Suppose 10*v - 12*v + 132 = 0. Is v a multiple of 6?
True
Suppose -5*n = 3 + 2. Does 5 divide ((-35)/(-20))/(n/(-4))?
False
Suppose -m = -3*m + 8. Let p(g) = -4*g**2 + 3*g**3 - 4 - 4*g**3 - m*g - g**2. Does 11 divide p(-5)?
False
Let k = 3 - 1. Suppose -k*z + 4 + 2 = 0. Is 12 a factor of 27 - z*(-6)/(-9)?
False
Let n(a) = -a**2 + 8*a + 5. Let l(s) be the first derivative of s**4/4 - 2*s**3 + s**2/2 - 2*s - 1. Let m be l(6). Does 21 divide n(m)?
True
Let i(o) = o**2 - 7*o + 9. Let m be i(6). Let a = m - 5. Does 3 divide 11 + (1 + -1)/a?
False
Let q(z) be the second derivative of 4*z**4/3 - z**3/6 + 3*z. Let i be 2/(-1) - (1 + -2). Is 7 a factor of q(i)?
False
Let n be ((-4)/(-4) - 0)/(-1). Let d(c) = 57*c**2 + 1. Is d(n) a multiple of 21?
False
Does 5 divide (-4)/6 + (-6)/((-18)/137)?
True
Suppose -2*d - 32 + 138 = 0. Is d a multiple of 4?
False
Let b be (-2)/(-5) - 324/(-15). Let u be (-1 - -2)/2*b. Suppose y + 4 - u = 0. Does 7 divide y?
True
Let d(m) = 2*m**2 + 2*m + 76. Is 19 a factor of d(0)?
True
Let o be (-2)/(-2 + (-3 - -3)). Let a be o/(-3) + 26/6. Suppose -a*h - 11 = -5*h + 2*m, h - 5*m = 14. Is h a multiple of 4?
False
Suppose -4*f + 18 = 5*b, -3*f + 2 + 4 = 0. Suppose 15 = z + b*z. Is 5 a factor of z?
True
Let l(w) = -18*w + 6. Let h be l(10). Is h/(-8) - 2/(-8) a multiple of 11?
True
Let m be (2 + -3)*(72 + 1). Let l = m - -13. Let i = -38 - l. Does 10 divide i?
False
Let y(m) = -m**3 - 3*m**2 + 2*m - 2. Let j be y(-3). Let w(x) = 4 + x**3 + 0*x**3 - 3 + 1 - 2*x + 8*x**2. Is 7 a factor of w(j)?
False
Suppose 3*q + u - 6 - 17 = 0, -2*q + 20 = -4*u. Let s = q - -18. Does 16 divide s?
False
Suppose -11 = -4*b + 9. Let r be 162/10 - 7/35. Suppose -o + 18 = -0*z + b*z, -3*z + 2*o + r = 0. Does 3 divide z?
False
Let t(c) = -c**2 + 6*c**2 + 1 - 4*c**2 - 11 - 5*c. Let o be t(7). Suppose 0 = o*p - 16, 2*b + 3*p - 34 = p. Is b a multiple of 5?
False
Let n = -64 - -28. Let g = 86 + n. Is 32 a factor of g?
False
Is 33 a factor of 131/2 - (-2)/4?
True
Does 12 divide (-12)/4 + -1 + 33?
False
Let r = 48 - -18. Is 6 a factor of r?
True
Let b(a) be the third derivative of 1/15*a**5 + 1/12*a**4 + 0*a + 4*a**2 + 2/3*a**3 + 0. Is b(-3) a multiple of 17?
True
Let n(u) = u**3 + u**2 + 3. Let s be n(0). Suppose 4*w - 33 = -3*y, s*w + 2*y = w + 14. Is 3 a factor of w?
True
Let v = -1 - 4. Let t(p) = p**2 + 2*p + 5. Is 17 a factor of t(v)?
False
Let d(r) be the second derivative of r**4/12 + r**3/3 - 5*r**2/2 + r. Does 9 divide d(-5)?
False
Suppose 3*l + 60 = 5*s - 194, -s - l + 54 = 0. Let b = 99 - s. Is 19 a factor of b?
False
Suppose 47 = 5*k + 12. Let i = k + -3. Is 6 a factor of i/20 + (-118)/(-10)?
True
Suppose -27*v = -33*v + 702. Is 13 a factor of v?
True
Suppose -4*s - q + 163 = 0, 2*s - 81 = 4*q + 23. Suppose -48 = -5*z - 3*u + 49, -s = -2*z - 2*u. Is z a multiple of 13?
False
Suppose -9 = n + 3*c, -3*n - 3 = -0*n + c. Suppose -5*o - l - 30 + 255 = n, -225 = -5*o - 3*l. Suppose 0 = -2*j + 5*j - o. Does 7 divide j?
False
Does 2 divide 2/4 + 15/10?
True
Suppose 0 = 5*m - 141 - 59. Is 8 a factor of m?
True
Let s = 7 + -13. Is 12 a factor of (-190)/s - 10/15?
False
Let f be (3 - (3 + -3)) + -3. Is f + 33 + (-1 - 0) a multiple of 16?
True
Let b(o) = -11*o + 5. Let v(j) = 7*j - 3. Let x(s) = 5*b(s) + 8*v(s). Let h be x(-4). Is (-1)/(h/6) - -40 a multiple of 15?
False
Suppose -2*i = -4*z + 8, 3*z = i + i + 4. Let m(j) = -i - j + 6 - 1. Does 7 divide m(-6)?
True
Let d(q) = -q**3 - 5*q**2 - 2*q - 2. Let v be d(-5). Suppose -p = 2*y + v, p + 3*p + 10 = 3*y. Let b = p + 12. Does 4 divide b?
True
Is (-12)/3 - (0 - 65) a multiple of 7?
False
Let m = 23 - 54. Let d = 57 + m. Let p = -14 + d. Is 11 a factor of p?
False
Let a(u) = u**3 - u**2 + u - 9. Is a(3) a multiple of 3?
True
Let o(m) = -m + 1. Let k(j) = -8*j + 25. Let d(z) = k(z) - 5*o(z). Does 17 divide d(-16)?
True
Let i = 5 - 9. Let j(f) = 2*f**2 - f. Let n be j(i). Suppose -7*o + 45 = -3*o - m, -n = -3*o + 3*m. Is 5 a factor of o?
False
Let l(r) = r**3 + 7*r**2 + 4*r - 5. Is 4 a factor of l(-6)?
False
Let q(c) = 2*c**3 - 3*c**2 + 2*c + 3. Let a be q(3). Suppose 15 = -x + a. Suppose p = -2*j + x, -4*j - p + 45 = 4*p. Is 4 a factor of j?
False
Suppose -7*l + 5*l = 66. Let v = 48 + l. Does 5 divide v?
True
Suppose 4*b - 33 + 10 = -5*a, 1 = 5*b - 3*a. Let z be (-11)/b - (-1)/(-2). Let i(m) = m**3 + 7*m**2 + m + 8. Is 19 a factor of i(z)?
True
Suppose 4*k = 3*v - 1, v = 2*k - 3*v + 8. Suppose f + 13 = 4*f - a, 4*f = k*a + 18. Suppose f*p - 3*p - 21 = 0. Is 7 a factor of p?
True
Let i(p) = -2*p + 4. Suppose -3*k + d = 7, 9*k + 4*d + 23 = 4*k. Is 9 a factor of i(k)?
False
Let o be 0/((-16)/4) + 3. Does 10 divide ((-20)/o)/(3/(-9))?
True
Let k(o) = -o**2 - 4*o + 4. Suppose 0 = -2*a - l + 5*l, 5*a + 10 = 5*l. Let u be k(a). Suppose u*n + 8 - 112 = 0. Is 13 a factor of n?
True
Suppose 4*k + 6 = 2. Let r(n) = -6*n. Let s be r(k). Let o(d) = 3*d - 4. Is o(s) a multiple of 6?
False
Suppose -255 = -5*l - 5*x, -3*l + 5*x = -33 - 128. Is 12 a factor of l/2 + (-1 - 0)?
False
Let y(a) = -a**3 + 5*a**2 - 6*a + 4. Let q be y(4). Let i = 7 + q. Let r(s) = 5*s - 4. Is r(i) a multiple of 11?
True
Is 10 a factor of ((-10)/(-8))/(15/720)?
True
Let b(d) = -d**2 - 8*d + 9. Let j be b(-9). Suppose j = -2*x - 4 + 24. Does 4 divide x?
False
Let p = 2 + 3. Suppose p*v - 76 = -4*m, -m - 4*m + 5*v = -50. Is m a multiple of 14?
True
Let z = 113 + -68. Is 9 a factor of z?
True
Suppose -u = -40 - 14. Does 27 divide u?
True
Suppose -46*n + 513 = -43*n. Is n a multiple of 9?
True
Let n(h) = 9*h - 4. Let i(x) = 26*x - 12. Let b(f) = 4*i(f) - 11*n(f). Does 8 divide b(4)?
True
Is (-836)/(-7) + 51/(-119) a multiple of 17?
True
Let y = -13 + 37. Let p be 3 - (y - (-3 + 4)). Does 12 divide (272/p)/(4/(-10))?
False
Let n = 0 + 24. Is 12 a factor of n?
True
Suppose -5*j - 3*z = -7*z - 115, j - 4*z - 23 = 0. Does 19 divide j?
False
Let t(k) = 53*k + 1. Is 42 a factor of t(1)?
False
Let t = 129 + -80. Does 6 divide 7/(-1)*(-1