Is h(5) a multiple of 13?
True
Let b(m) = m**2 + m - 4. Let s be b(-4). Suppose 0 = 3*g - s*g + 80. Suppose -g - 12 = -2*t. Is t a multiple of 7?
True
Let f(l) = -l**3 - 5*l**2 - l - 2. Let c be f(-5). Suppose 0 = -30*z + 28*z + 6. Suppose 2*x = 5*i + 85, z*i - 58 = -c*x + 38. Does 19 divide x?
False
Let q be (1*-43)/(-1 + 2). Let f be -4 + 3 + -3 + 77. Let p = f + q. Is p a multiple of 13?
False
Is (-5)/(20/(-52)) - 3 a multiple of 3?
False
Let v = -5 + 4. Is 12 a factor of (-3)/((-3)/(-12)*v)?
True
Let r = -4 - -8. Let d be r/(-6) + 164/3. Suppose d = 5*v - 46. Is v a multiple of 10?
True
Let s = 25 - 18. Is 2 a factor of s?
False
Suppose 2*w = t + 8, -4*w + 0*w - 2*t = -16. Let k be 88/(-14) - w/(-14). Is 10 a factor of ((-15)/10)/(k/64)?
False
Suppose -3*b + n = 84 - 272, 0 = 2*b - 5*n - 108. Suppose -76 = -4*x + 2*x + 5*u, b = 2*x - 2*u. Does 14 divide x?
True
Suppose -3 + 2 = -w. Let m = 2 + w. Is 3 a factor of m?
True
Let o(i) = i**3 - 2*i**2 + 2*i - 1. Let h be o(2). Suppose 0 = -h*k - k + 68. Is 17 a factor of k?
True
Suppose -3*l + 14 = -31. Is 5 a factor of l?
True
Let g(i) = 4*i + 3. Let d be g(-6). Is 12/16 - d/4 a multiple of 6?
True
Let x(c) = c**2 - 6*c - 5. Let p be 4/16 - 27/(-4). Let h be x(p). Suppose 2*i - 42 = h. Does 11 divide i?
True
Let j = -197 + 401. Suppose -y - j = -4*y. Does 29 divide y?
False
Is 16 a factor of ((-4)/(-6))/((-8)/(-228))?
False
Let f(y) = -y**3 + 4*y**2 + 4*y - 4. Let x(p) = -p**2 + 5*p + 2. Let s be x(5). Let m be ((-3)/(-9))/(s/24). Does 5 divide f(m)?
False
Suppose -4*g - 6 = -3*o + 5*o, -3*o - 25 = -2*g. Let k(v) = 7 + v + 4 - 1. Is 3 a factor of k(o)?
True
Let s = 16 - 11. Suppose -m - 3 = -2, -5*u - s*m + 70 = 0. Does 11 divide u?
False
Suppose 67 = 2*f + 5*c, 0 = 5*f + c - 19 - 206. Suppose -f - 71 = -3*y. Is 17 a factor of y?
False
Let w = -4 + 3. Let j(x) = -6*x**2 - x. Let i be j(w). Is 19 a factor of i/30 - 290/(-12)?
False
Let s be -1*(-6)/(-3) + 1. Let h be (-2 - 0)*(0 + s). Suppose 0 = h*d - 11 - 39. Is 7 a factor of d?
False
Let f(n) = n**3 + 15*n**2 + 14*n + 10. Is f(-14) a multiple of 7?
False
Suppose 0 = 4*x + 5*y - 245, -3*x - y = -106 - 64. Is 11 a factor of x?
True
Let c be 1 + 27 + (-1 - 1). Suppose -5*j = -a + 4*a - c, 4*a - 3*j - 54 = 0. Is 10 a factor of a?
False
Let s(k) = -k**3 + 0*k**2 + 8*k**2 - 2 + 10*k + 7 + 1. Is 6 a factor of s(9)?
False
Suppose 2*l = 4*z + 22, 5*z - 3*l + 34 = -7*l. Is z/4*20/(-3) a multiple of 5?
True
Let p = 91 + -71. Is p a multiple of 5?
True
Suppose 2*u = 3*h - 51, 5*h - 9 = -2*u + 76. Does 17 divide h?
True
Let d = -10 - -40. Does 12 divide d?
False
Suppose -18 = 3*c + 12. Let l be (-526)/c + 21/(-35). Suppose 4*u - l = -0*u. Is 13 a factor of u?
True
Let y(t) = 19*t**3 - t**2. Is 5 a factor of y(1)?
False
Suppose 20 = a - 4*v, 4*v = 2*a - 4*a + 4. Is a a multiple of 8?
True
Let z be (-6)/(-21) - 23/7. Let p(j) = j - 2. Let s be p(2). Let i = s - z. Does 3 divide i?
True
Suppose -3*x + 4 + 2 = 0. Let r(b) = -b**2 - b + 2. Let d be r(-2). Suppose d = -2*z - 2, 5*k + x*z - 35 = -3*z. Is k a multiple of 8?
True
Let j(y) = -35*y + 1. Let a(o) = -o**3 - 2*o**2 + o. Let p be a(-2). Let n be j(p). Let w = n - 41. Is w a multiple of 12?
False
Is 16 a factor of 211/((-4)/30 + (-153)/(-135))?
False
Suppose 6*j - j = 20. Let a(k) = -k**2 + 4*k + 4. Is a(j) a multiple of 2?
True
Let q(w) = 71*w. Let s be q(2). Let h = -88 + s. Suppose 4*u = 50 + h. Is u a multiple of 9?
False
Suppose 0*h - 5*p = h - 36, -4*h = -3*p - 98. Is h a multiple of 4?
False
Let q be 6/3 - 1 - -8. Suppose -p + q = -6. Does 4 divide p?
False
Suppose w + 5*g = 4*g + 8, -20 = -4*g. Let h(o) be the third derivative of o**6/120 - o**5/30 - o**4/12 + 2*o**2. Is h(w) a multiple of 2?
False
Let m be (6/(-3))/(6/9). Let r(t) = -3*t**3 - t**2 + 4*t - 1. Is 24 a factor of r(m)?
False
Let u(o) = -o**3 + 8*o**2 - 1. Is 12 a factor of u(7)?
True
Suppose -2*i + 3*g - 12 = 0, -3*i + 5*i - 4 = -5*g. Let l(t) = 3*t**2 + 2*t - 2. Does 11 divide l(i)?
False
Let g = -19 + 11. Suppose 0 = -10*c - 11 - 149. Let n = g - c. Is 8 a factor of n?
True
Let h(v) = v**3 + 6*v**2 + 3*v - 1. Let q be ((-8)/6)/((-2)/(-12)). Let s(u) = u + 4. Let f be s(q). Is 9 a factor of h(f)?
False
Let g = -22 - -24. Suppose -4*u + g + 74 = 0. Is u a multiple of 4?
False
Let j(k) be the second derivative of -k**5/20 - k**4/2 - k**3/3 - 9*k**2/2 - 2*k. Let i be j(-6). Suppose 37 = 3*h - 4*v, -i*v = -9 - 6. Is h a multiple of 6?
False
Suppose -4 = -2*h - 2. Let j(m) = 30*m - 1. Let b be j(h). Let n = 46 - b. Is 11 a factor of n?
False
Let h be 1 + -1 - (1 - 3). Suppose -h*z = -0*z - 144. Let b = -38 + z. Does 13 divide b?
False
Is (0 - 3)/(3/(-18)) a multiple of 9?
True
Suppose 4*q = -5*f - 79 + 241, -q + 3*f = -32. Suppose q = 5*h - 17. Let u = h - 5. Is u a multiple of 5?
False
Let v = 55 - 32. Does 20 divide v?
False
Let w = -16 + 38. Is 8 a factor of w?
False
Let o(v) be the third derivative of -v**6/120 - v**4/24 + 5*v**3/3 - 3*v**2. Is o(0) a multiple of 9?
False
Suppose 0*b + b - 2 = -y, 4*y - 17 = -b. Suppose y*l = 4*l + 6. Is 6 a factor of l?
True
Let j(v) be the first derivative of v**5/30 + v**4/12 - v**3/3 - 2. Let k(f) be the third derivative of j(f). Is k(5) a multiple of 11?
True
Suppose 3*r - 7 = -1. Suppose 4*v - 20 = -4*q - 0*q, r*v = 3*q. Suppose 14 = 2*j - 2*f, 5 = j - q*j + 5*f. Is 5 a factor of j?
True
Let k(u) = -u**2 - 10*u + 9. Does 4 divide k(-10)?
False
Suppose -9 - 20 = -b. Is b a multiple of 10?
False
Let x(a) = -31*a + 2. Let c be x(-2). Suppose -2*h = -0*h - c. Is 11 a factor of h?
False
Let s = -61 - -74. Is s a multiple of 7?
False
Let u(v) = v**3 - 3*v + 2. Does 18 divide u(4)?
True
Is 2 + 29 + 0 + -1 a multiple of 10?
True
Let s = 10 - 2. Let g(x) = 4*x - 9. Does 20 divide g(s)?
False
Let m = -54 - -114. Suppose -6*y + m = -y. Does 8 divide y?
False
Let i(v) = 0*v**2 + v**3 - 5*v**2 - 2 + 0 - v. Let q be i(4). Let o = q + 31. Does 6 divide o?
False
Let h(t) = -6*t - 1 - 1 + 4. Is 14 a factor of h(-5)?
False
Let n = 36 + -5. Is n a multiple of 31?
True
Let l be ((-87)/(-12))/(1/(-4)). Let p be l + -7 + -1 + 1. Does 2 divide (4/(-6))/(8/p)?
False
Let y = 11 - 11. Suppose 3*h + 3 - 45 = y. Does 8 divide h?
False
Is ((-84)/(-49))/((-2)/(-7)) a multiple of 6?
True
Let n = 19 + 6. Let g = n + -13. Is (-15)/(-4) - (-3)/g even?
True
Let a = 22 + -22. Suppose -4*m + 54 - 6 = a. Does 12 divide m?
True
Let r = 104 - 316. Let o be 1/2 - r/8. Suppose 3*w - 177 = -o. Is w a multiple of 17?
False
Let n be ((-2)/(-4))/((-2)/(-312)). Does 17 divide 12/n + (-1322)/(-26)?
True
Let j(m) = m**2 - 8*m + 19. Let r be j(9). Suppose 6*u - 20 = 4*u - 5*y, 0 = 4*u - 4*y + 16. Suppose -4*q + r = -u*q. Is q a multiple of 2?
False
Does 11 divide (-4)/12 - (-597)/9?
True
Let p = -23 + 25. Suppose -p*h = -0*h - 12. Does 3 divide h?
True
Let m = 12 + -23. Let b(c) = c**2 + 10*c + 4. Is 10 a factor of b(m)?
False
Let k(v) = v**3 - 2*v**2 - 5*v + 4. Let h be k(3). Let i = h + 7. Is 5 a factor of i?
True
Let q = 47 - 41. Does 2 divide q?
True
Let p(k) = k**3 - 8*k**2 - k - 10. Let u be p(8). Let z be ((-63)/u)/((-1)/6). Let h = 65 + z. Is 17 a factor of h?
False
Let w = -6 + 15. Is 3 a factor of w?
True
Suppose 0 = -0*w + 4*w - 8. Let p(y) = -y + 0*y + 0*y + 19*y**3 + w*y**2. Is p(1) a multiple of 15?
False
Suppose 5*q - 2*q = -36. Does 23 divide ((-77)/3)/(4/q)?
False
Suppose 0 = 4*t - 5*v + 17, -2*t + 2*v = t + 11. Let p = t + 7. Suppose w - k = p*k + 33, 2*k + 132 = 4*w. Is w a multiple of 12?
False
Let b(y) = -6*y. Let a be 1*-3 + (-2)/(-1). Is b(a) even?
True
Let r = -15 - -43. Suppose s - r = 7. Is 8 a factor of s?
False
Does 10 divide (-2 - (-65)/30) + 190/12?
False
Let c(m) = m**2 + 3. Let w be c(0). Suppose u - w = -0*u. Suppose 0 = -2*r - u*r + 95. Is r a multiple of 7?
False
Let b(k) = 10*k**3 - 4*k**2 + k + 2. Does 17 divide b(2)?
True
Let c(i) = -i**3 + 10*i**2 + i + 6. Let w be 1 + -1 - 10*-1. Is c(w) a multiple of 12?
False
Let z(s) = 5*s**2 - s + 3. Is z(2) a multiple of 11?
False
Let q(z) = -3*z**2 - 2. Let l(u) = u**2 + 1. Let a(t) = 17*l(t) + 6*q(t). Let n be a(0). Suppose -n*v = 2*w - 43, w + 9 = 3*v + 3. Is w a multiple of 4?
False
Let w(c) = c**3 - 11*c**2 + 9*c + 13. Let q be w(10). Suppose 0 = -3*l + q