ppose -146 = -j*h + 6. Does 18 divide h?
False
Suppose 4*t = -217 + 37. Let v be t/(-20)*12/(-1). Let a = -7 - v. Does 10 divide a?
True
Let z(p) be the third derivative of p**7/5040 + p**6/60 - p**5/60 - 2*p**2. Let q(c) be the third derivative of z(c). Is q(-8) a multiple of 2?
True
Let j = 34 - 10. Is 5 a factor of (j/(-30))/(4/(-50))?
True
Suppose 0 = -4*g + 12. Is (-28)/g*(-9)/6 a multiple of 10?
False
Let y = -4 - -21. Let i = y - 10. Is i a multiple of 7?
True
Suppose 4*q + 0 - 16 = 0. Suppose 0 = -3*w + q*l + 176, -w - l = l - 52. Suppose -3*i = i - w. Is i a multiple of 7?
True
Let x be (-2)/(-3) - (-28)/3. Let s = x - -4. Does 7 divide s?
True
Let j(h) = 7 - 2 - 3*h - 3*h - h**2. Let o be j(-5). Suppose m - o = -0*m. Is 5 a factor of m?
True
Suppose 3*a = -2*s + 32, -5*s + 0*a + 80 = -3*a. Suppose m + s = -3*m, -4*q + 36 = m. Does 10 divide q?
True
Let w(x) = x**3 + 7*x**2 - 8*x - 10. Let z be w(-8). Let r = z - -14. Is 3 a factor of r?
False
Let m = 16 + 77. Is 12 a factor of 0 - (-3)/(9/m)?
False
Let x = -17 + 157. Is x a multiple of 7?
True
Let d(x) = -x - 3. Let q be d(2). Is (4/q)/(8/(-220)) a multiple of 11?
True
Let n(z) = 3*z**2 + 3*z - 4. Let k be n(-4). Let o = -21 + k. Does 4 divide o?
False
Let k(x) = 7*x**2 + 10*x - 6. Let m(f) be the second derivative of f**4/2 + 5*f**3/3 - 7*f**2/2 - 2*f. Let h(q) = 5*k(q) - 6*m(q). Is 12 a factor of h(-10)?
True
Suppose 4*n + 7 = 123. Does 7 divide n?
False
Let s = -1 - -6. Let p(r) be the third derivative of -r**6/120 + r**5/10 - r**4/8 + r**3 + 5*r**2. Does 7 divide p(s)?
False
Let u(z) = -z**3 + 12*z**2 - 9*z - 13. Is u(11) even?
False
Suppose -4*h + 53 = -3*a, 6*h = 3*h - a + 56. Does 3 divide h?
False
Let n(m) be the second derivative of -m**3/3 - 7*m**2/2 - m. Is 11 a factor of n(-9)?
True
Let v = 69 - 38. Is 17 a factor of v?
False
Suppose 4*u - 34 - 6 = 0. Does 5 divide u?
True
Let x(z) be the first derivative of -z**5/30 + z**4/24 - z**3 + 3. Let q(n) be the third derivative of x(n). Is q(-5) a multiple of 16?
False
Is 21 a factor of (-2317)/(-49) - 6/21?
False
Let y(f) = -f**3 - 6*f**2 - 5*f - 1. Let a be y(-6). Suppose -u + a = 5*x + 6, 4*x - 13 = u. Suppose 2*l + x*b = 7 + 1, 0 = -5*b - 5. Does 6 divide l?
True
Suppose 3*y + 4*b = 4*y + 1, 4*b - 4 = 0. Suppose 15 = y*i, -2*i = 3*q - 4*i - 2. Suppose 6*n - 38 = q*n. Is 7 a factor of n?
False
Is 13 a factor of (-429)/(-2)*(70/15 - 4)?
True
Let o be ((-6)/4)/(12/(-40)). Suppose -o*h + h + 112 = 0. Does 11 divide h?
False
Let j(g) = g**3 + 14*g**2 - 16*g - 19. Let q be j(-15). Let d = 9 - 4. Let p = d - q. Is 9 a factor of p?
True
Let h(a) = -8*a**3 + a**2 + a - 1. Let t be h(1). Let i(w) = -w + 1. Does 4 divide i(t)?
True
Suppose -4*n - 20 = 4. Does 9 divide 5 + n + (-36)/(-2)?
False
Suppose -4*v + 5*v = 10. Is v a multiple of 3?
False
Let o = 186 + -47. Does 18 divide o?
False
Does 14 divide 12/8 + (-147)/(-6)?
False
Let j(k) = -k + 1. Let q(m) = -m**2 + 5*m - 3. Let u be q(4). Let d(z) = -z - 7. Let r(i) = u*d(i) + 6*j(i). Is r(-2) a multiple of 13?
True
Let r = 151 - 46. Is 28 a factor of r?
False
Suppose -3*s - 2*c + 220 = 0, -1 - 9 = -2*c. Suppose -4*q + 42 = -s. Is q a multiple of 14?
True
Let l(y) be the first derivative of -y**4/4 - 4*y**3 - 13*y**2/2 - 5*y - 3. Does 17 divide l(-11)?
True
Suppose 0*g + 3*g = 9. Suppose 3*w - 4*k = 16, -2*k = -3*w - g*k + 11. Suppose -z - 17 = 5*i, 0*z + w*z + 3*i = 17. Does 8 divide z?
True
Let d(s) be the third derivative of s**6/120 - s**5/60 + s**4/24 + s**3/3 - 3*s**2. Let i be d(0). Suppose 2*j - 6 - i = 0. Does 4 divide j?
True
Suppose 3*p + p - 192 = 0. Let k = -24 + p. Is k a multiple of 12?
True
Suppose -3*w = 4*c - 182, -2*c + 7*c = -3*w + 184. Is 29 a factor of w?
True
Suppose -4*a + 6*a = 4. Suppose h + 0 = 3*q + a, 2*h = q + 9. Is 0 + q + (28 - -1) a multiple of 15?
True
Let c(h) = -h**2 - h. Let k(l) = -6*l**2 - 13*l - 9. Let i(v) = 5*c(v) - k(v). Let m be i(-7). Suppose m*d = 3*d - 22. Is d a multiple of 11?
True
Let i(w) = w**3 + 5*w**2 - 2. Let f be i(-5). Does 10 divide 0 + ((-80)/f)/4?
True
Suppose 2 = -3*p + 2*g, 4*p + g = -2*g + 3. Suppose p = -4*u + 4*w + 28, -4*u - 5*w + 10 = -0*u. Suppose -u*f + 14 + 46 = 0. Is 10 a factor of f?
False
Let h be (8/(-14))/((-8)/56). Is 22 a factor of h/8 + (-141)/(-2)?
False
Let m be 4/((-3 - -4)/(-6)). Let q = -16 - m. Is 8 a factor of q?
True
Suppose -2*c - 39 = 3*k, 2*c - 3*c = 5*k + 58. Let d(p) = -3*p - 7. Does 9 divide d(k)?
False
Suppose -r = -1 - 2. Let g(v) = -3*v**3 + 4*v**2 + 2 - 3 + v + 2*v**r. Does 11 divide g(3)?
True
Let a = 80 + -57. Does 2 divide a?
False
Let x(j) = -j**2 - 3*j + 4. Let z be x(-4). Let o(k) = k + 30. Is o(z) a multiple of 6?
True
Let v(y) = 2*y + 1 - 6 - y**2 + 2*y**2. Is 9 a factor of v(-6)?
False
Suppose -5*m + 24 + 66 = 0. Is 5 a factor of m?
False
Let s = -3 - -5. Let u(b) = -b + 2 + 5*b + s*b + b. Is u(2) a multiple of 13?
False
Suppose -90 = -10*t + 8*t. Does 3 divide t?
True
Let j = -27 - -26. Is (-7 - j)*2/(-4) a multiple of 3?
True
Does 9 divide 14 - (2 + -2 + 3)?
False
Let i = -54 + 145. Suppose -5*x + 129 + i = 0. Is x a multiple of 12?
False
Let b(f) = -2*f + 1. Is 5 a factor of b(-7)?
True
Let v(z) = z**2 - 12*z - 13. Let g(y) = -4*y**2 + 48*y + 53. Let b(n) = -2*g(n) - 9*v(n). Is 7 a factor of b(12)?
False
Let p(z) = 3*z**2 - 1. Let h be p(1). Is 8 a factor of (-3 - 13)*h/(-4)?
True
Let r(s) = 5*s + 3*s**2 + 10 - 2*s**2 + 3 - 15*s. Does 4 divide r(9)?
True
Suppose 4*p = -8 + 4. Does 8 divide (-5)/(15/63)*p?
False
Let u = -75 - -349. Suppose 289 = 5*b + m, u = 5*b - m - 7. Does 19 divide b?
True
Let t(r) = 3*r**2 - 46*r + 34. Let i(y) = -y**2 + 15*y - 11. Let z(a) = 7*i(a) + 2*t(a). Is z(11) a multiple of 6?
False
Is (-2)/12 - 1261/(-78) a multiple of 2?
True
Let p be -1 - 0 - 2 - 14/(-2). Let j(o) = -3*o + 4. Let m(k) = -3*k + 4. Let g(u) = 6*j(u) - 7*m(u). Is g(p) a multiple of 8?
True
Let n(y) = -y + 6. Let k be n(0). Is 4 a factor of 15/k*(-12)/(-3)?
False
Suppose m = 2 - 5. Let y(i) = 4*i**2 + i + 4. Does 15 divide y(m)?
False
Let w be 105/9 + (-3)/(-9). Suppose 14*p - 50 = w*p. Does 7 divide p?
False
Let p(x) = x - 2. Let y be p(0). Let w(s) = -12*s**3 - s**2 - 3*s - 3. Let o be w(y). Suppose -5*d + 10*d - o = 0. Is d a multiple of 16?
False
Suppose -d + 0*d = -14. Suppose 0 = -t + 3*t + d. Is 6 a factor of (t - -2)*(-12)/10?
True
Let a = -15 - 36. Let u = -23 - a. Let i = u - -20. Is i a multiple of 24?
True
Suppose 2*o - 66 = 18. Is 14 a factor of o?
True
Suppose -292 = -5*x + g, -4*g - 358 + 118 = -4*x. Suppose -6 = 4*i - x. Is i a multiple of 13?
True
Let y = -19 - -8. Let o(c) = c**3 + 7*c**2 + 3*c. Let g be o(-6). Let z = g + y. Is z a multiple of 3?
False
Let a(g) = 7*g + 5*g**2 - 10*g + 4*g**2. Does 9 divide a(2)?
False
Let l(v) = 11*v + 8 - 8*v - 1. Does 10 divide l(5)?
False
Suppose y + 2 = 0, -y = -5*r + y + 309. Is r a multiple of 15?
False
Let p(k) = k**3 - 2*k**2 - 10*k - 7. Is p(5) a multiple of 3?
True
Let h(x) = -8*x**2 + x - 1. Let d be h(1). Let z be (-12)/d - 2/4. Suppose 7 + z = 2*f. Is f a multiple of 4?
True
Let b = 100 + -73. Is 27 a factor of b?
True
Let s(r) = 41*r + 2. Suppose 0 = -5*g - 3*l + 16, -5*l = -4*g - g. Is s(g) a multiple of 28?
True
Let d(t) = -t**3 - 3*t**2 + 4. Let l be d(-3). Suppose 2*s - 26 = -2*x, -l*x - s + 31 = -2*x. Is 18 a factor of x?
True
Let s = 4 - 0. Let u(c) be the second derivative of c**5/20 - c**4/12 - c**3/6 - 5*c**2/2 + c. Is u(s) a multiple of 16?
False
Suppose -97 = -v + 48. Is 29 a factor of v?
True
Let u(o) = -o**2 + 6*o + 4. Is u(5) even?
False
Suppose -4 = 3*r + r. Let v = r - -1. Is -5*1*(v - 1) a multiple of 5?
True
Let z = 22 - 1. Does 11 divide z?
False
Suppose -13 = 2*d - 3, 0 = 3*s - 2*d - 103. Is s a multiple of 10?
False
Let p = 317 - 117. Is p a multiple of 9?
False
Suppose 0 = -i - 2*z + 7, 5*i + 3*z = i + 23. Let c = -3 + i. Suppose 6*r - c*r = 8. Is r even?
True
Suppose -11*s + 670 = -6*s. Is 15 a factor of s?
False
Let m(u) = 5*u + 4*u**2 - u - 2 - 4*u**2 + u**2. Let g be m(5). Is 20 a factor of g + -2 - (-2 + 3)?
True
Let f = 14 + 19. Suppose -5*v - f = -o - 9, 0 = -3*v - 12. Suppose o*r - 60 = r. Does 12 divide r?
False
Let q(i) = i**3 + 3*i - 1. Let z be q(2). Suppose -8*s = -4*s - 20. Suppo