)/4 + i/(-2)?
False
Let r(k) = -k**2 + 5*k - 4. Let h be r(3). Let c(s) be the third derivative of 7*s**5/30 - s**4/6 + s**3/3 - 4*s**2. Does 25 divide c(h)?
True
Let m(f) be the second derivative of -f**3/6 + f**2 + f. Is m(-5) a multiple of 4?
False
Let r(c) = -3*c**3 + 1. Let d be r(1). Is 17 a factor of 53 + -1 + -3 - d?
True
Let h = -246 - -358. Suppose -4*y + 6*y - h = 0. Suppose -4*v = -92 - y. Does 17 divide v?
False
Let k(p) = -3*p + 15. Let i be (-8 - (-2 + -1)) + 0. Let j(u) = -u + 7. Let a(v) = i*j(v) + 2*k(v). Is 2 a factor of a(-7)?
True
Suppose -4*h - 3*b + 90 = 0, -2*b + 38 + 29 = 3*h. Is 21 a factor of h?
True
Suppose 3 = -4*k + 5*g, -4*k + 2*g - 15 = -7*k. Suppose 0 = -m - k*m + 72. Is m a multiple of 9?
True
Suppose -3*q + 48 = -5*q. Let i be (q/2)/((-3)/4). Suppose i = 2*r + 4*t, 0 = -4*r + r + t + 10. Is r a multiple of 2?
True
Suppose -i = 3*i - 120. Does 10 divide i?
True
Let f(w) = -w**2 - 11*w - 9. Let b = -21 - -14. Does 19 divide f(b)?
True
Let r = -23 + 181. Does 18 divide r?
False
Let j(k) = k**2 - 3*k + 1. Let l be j(1). Is 11 a factor of (-33 - (-2 - -2))/l?
True
Let h = 156 - 105. Suppose -124 = -3*f - 43. Let y = h - f. Is y a multiple of 12?
True
Let b(y) = y**2 - y + 12. Let c be b(0). Suppose -2*n = -t + c, -3*t - t + 70 = 3*n. Is 4 a factor of t?
True
Let o(s) = 8*s**2 + 4*s + 8. Is o(-4) a multiple of 40?
True
Let i be -80*(45/12 + -3). Let c = -30 - i. Is 13 a factor of c?
False
Suppose -4*c = -7 - 5. Suppose c*p - 3*u = 45, -4*p + 8*u - 3*u = -63. Is 3 a factor of (p/(-10))/(8/(-60))?
True
Let n = 11 + -4. Suppose -5*k = -23 - n. Is 3 a factor of k?
True
Let w be -3 - (-3)/((-3)/(-47)). Let z = 4 + w. Does 24 divide z?
True
Suppose 160 = 9*j - 56. Is 24 a factor of j?
True
Suppose 4*c = -0 + 16. Does 3 divide c?
False
Suppose -37 = -4*m - m + 3*u, 5*u = -4*m. Suppose -m*k + 0*k = 4*s - 34, -3*s - 42 = -3*k. Is 8 a factor of k?
False
Let b = 3 + 3. Suppose 0 = z + 3*z - 4*a + 20, z + 4*a = 15. Let p = z + b. Does 4 divide p?
False
Let a = 39 + -30. Does 2 divide a?
False
Let t = 36 + -15. Suppose r - 2*i = 59, -t = r - i - 75. Is r a multiple of 18?
False
Suppose -9 = -q - 3*v - 1, 0 = 5*q - 4*v - 2. Suppose 0 = -q*a - 2*y + 4, 5*a - 5 - 8 = -4*y. Suppose -a*i + 130 = -0*i. Is i a multiple of 13?
True
Let a be 2/2*-1 + -2. Let j(m) = m**2 + 3*m. Let b be j(a). Suppose 5*c - 107 = -3*i, -5*c + b*i + 112 = -2*i. Does 17 divide c?
False
Let b(j) be the third derivative of j**5/60 - 7*j**4/24 - 2*j**3/3 + 4*j**2. Let n(s) = -s**3 + 9*s**2 - 8*s + 8. Let f be n(8). Is b(f) even?
True
Let p(a) = 18*a**2 - 10*a. Is 47 a factor of p(4)?
False
Let g(o) be the second derivative of -o**3/6 - o**2 - 2*o. Let u be g(-5). Does 9 divide u*12*1/2?
True
Suppose 0*o + o = -3*u + 7, 2*o - u = 14. Is 2 a factor of o?
False
Suppose -4*c - 5 = -3*c, 5*z + c = 20. Suppose 0*d + d = -z*m + 9, d = m + 9. Suppose -5*t + d = -71. Is t a multiple of 8?
True
Let y(r) = r**2 + 10*r + 9. Let z(d) = -2*d + 4. Let o be z(7). Does 4 divide y(o)?
False
Suppose 3*k = -4*g + 318, 101 = k - 0*k + 3*g. Let b = k - 58. Is b a multiple of 8?
False
Let a(d) = -11*d**3 + 23*d**2 - 10*d + 10. Let t(p) = 5*p**3 - 11*p**2 + 5*p - 5. Let l(x) = -4*a(x) - 9*t(x). Suppose 0 = -3*m - m + 24. Does 10 divide l(m)?
False
Suppose 664 - 196 = 2*u. Suppose 0 = -5*f - u + 49. Is 19 a factor of (2 - f) + -3 - -2?
True
Let g be (-5)/(-5)*(-4 - -2). Let a(w) = -9*w - 2. Is a(g) a multiple of 6?
False
Suppose -2*q = q - k + 11, 21 = -3*q + 3*k. Is 15 a factor of q/(-18) + (-7414)/(-99)?
True
Let n(x) = 6*x**2 + 2*x - 1. Let p = -4 + 5. Let l = p - 0. Does 4 divide n(l)?
False
Suppose 0 = 4*i - 0*s - 3*s - 279, 3*i = 2*s + 208. Does 11 divide i?
True
Let f(m) = 2*m - 8*m + m - 4*m. Let n be f(2). Let v = 32 + n. Does 14 divide v?
True
Let l(j) = 56*j + 22. Is 16 a factor of l(2)?
False
Let p(y) = y**3 - 13*y**2 + 17*y - 24. Is 18 a factor of p(12)?
True
Suppose -265 = -3*j - 67. Is j a multiple of 22?
True
Let i = -107 + 55. Let t = -2 - i. Is t a multiple of 25?
True
Suppose -4*f = 5*l - 496, -l = 3*f + l - 379. Does 19 divide f?
False
Suppose -2*g + 4*x = -5*g - 10, -2*g + 12 = -2*x. Suppose -g*c - 3*c + 250 = 0. Does 26 divide c?
False
Let f be 65/(-25) + 2/(-5). Is 12 a factor of f/((-2)/(-48)*-2)?
True
Let u(l) be the second derivative of 4*l**3/3 - 2*l**2 - l. Is 18 a factor of u(5)?
True
Let u be 3/(2/(0 + 2)). Suppose 0 = 3*f - 2*k + 3*k - 16, -u*f - 2*k = -17. Is f a multiple of 3?
False
Suppose 2*z - 5*z + 105 = 0. Is z a multiple of 7?
True
Let x = 12 - -2. Suppose x = 3*i - 130. Is 16 a factor of i?
True
Suppose 4*z + 4*u = 4 + 88, 0 = 5*u + 10. Does 25 divide z?
True
Let n = 269 - 159. Suppose 4*r = -r + n. Is 11 a factor of r?
True
Let k be 200/(-15) - 2/3. Let l = -6 - k. Does 8 divide l?
True
Let b(o) = o**3 + 4*o**2 + o - 4. Let g be b(-3). Suppose 0 = -5*c + g*y + 55, -4*y = -3*c - 0*y + 33. Is c a multiple of 8?
False
Suppose 0 = -5*s - 0*s + 25. Suppose 2*a + 8 = -2*a, -150 = -s*c + 5*a. Does 14 divide c?
True
Let b = 47 - 67. Let a = 46 + b. Does 25 divide a?
False
Suppose 0 = -3*n + 5*o + 97, 17 = -5*n - 3*o + 122. Is 6 a factor of n?
True
Suppose -5*p - 5*j + 21 = -539, 5*p - 536 = j. Suppose -3*c + 0*c = -p. Does 16 divide c?
False
Let u(f) = 2*f**2 - 4*f - 1. Let i be u(3). Suppose -i*g + 113 = 13. Does 10 divide g?
True
Let s(u) be the second derivative of u**5/20 - u**4/2 + u**3/2 - 2*u**2 + 2*u. Does 7 divide s(6)?
True
Suppose -f + 0*f = 2. Let y(v) = -4*v**3 - 3*v**2 + v + 2. Does 20 divide y(f)?
True
Suppose 5*o - 6 - 4 = 0. Suppose -3*t = o*t - 360. Is 19 a factor of t?
False
Suppose 3*k - 163 = -w, -2*k = -3*k - w + 51. Is 21 a factor of (-16)/k + 886/14?
True
Suppose -a = -3*a. Suppose a = 4*m - m - 135. Is 12 a factor of m?
False
Let f = -252 + 493. Is 65 a factor of f?
False
Suppose -2 = 4*t + 10. Let d(z) = 3*z**2 - 3*z - 1. Let a be d(t). Let p = a + -16. Is 19 a factor of p?
True
Suppose 7*i = 5*i + 16. Suppose -9*p = -i*p - 10. Is p a multiple of 6?
False
Suppose 9*m - 7*m = 76. Is 19 a factor of m?
True
Let r be -4*(-5)/(15/12). Suppose 3*c - 9 = v, -4*v = -c - c + r. Suppose -n + 38 = c*w + 2*n, 0 = -4*w + 3*n + 40. Does 6 divide w?
False
Let f = -4 + 7. Is 3 a factor of f?
True
Let k(i) = -i + 34. Is 6 a factor of k(10)?
True
Let m = -5 - -8. Suppose 2 = m*a - 4. Suppose 5*i + 3*g = 5*g + 165, a*g - 21 = -i. Is i a multiple of 12?
False
Let q be ((-3)/(-6))/(1/90). Let a = 100 - q. Is a a multiple of 11?
True
Is 10 a factor of ((-14)/14)/((-1)/13)?
False
Let b = -2 + 4. Suppose -2*h + 6*h + 4*d = 144, -2*h + b*d + 56 = 0. Is 16 a factor of h?
True
Let s be -2*2/(-4) - 2. Let u be 23/(-5) + 30/(-75). Is (70/25)/(s/u) a multiple of 6?
False
Let b be -3 + (-104)/(4 + 0). Let p = b + 75. Does 23 divide p?
True
Let w(a) = -a**3 - a**2 - a. Let b be w(-2). Suppose k + 44 = -b. Is 12/5*k/(-4) a multiple of 15?
True
Let c(f) = -3*f**2 - f + 3. Let i(d) = -4*d**2 + 4. Let a(g) = 5*c(g) - 4*i(g). Does 7 divide a(9)?
True
Let l(o) be the first derivative of o**5/20 - o**4/8 + o**3/3 - o**2 + 1. Let d(u) be the second derivative of l(u). Is d(2) a multiple of 7?
False
Let f be (6/(-4))/(3/(-244)). Suppose 0 = 2*w + 4*d - f, 3*w + 4*d - 192 = 7*d. Suppose 4*b - 119 = 3*i, 0 = -0*b + 3*b + 3*i - w. Is 10 a factor of b?
False
Is (-14 - 3 - 3)*(1 + -3) a multiple of 22?
False
Suppose l - 5*l + 4 = 0. Does 2 divide (-13 + -5)*l/(-3)?
True
Let w be (0 + -1)/((-2)/14). Let c(t) = 6 + w*t**2 - 3*t + 0*t**3 + t + t**3. Is 8 a factor of c(-7)?
False
Let j = -13 + 15. Suppose j*y - 3*h - 299 = 0, 4*y + 0*y - 5*h = 593. Is y a multiple of 38?
False
Let i be (-138)/(-42) - 4/14. Suppose i*p - p - 4 = 0. Suppose -5*g + 42 = -l, -g - p*g = 4*l - 16. Is g a multiple of 4?
True
Suppose 0*u - 3*u + 840 = 2*p, -4*u = -2*p + 840. Does 12 divide p?
True
Let p(t) = 1 + 2*t**2 + 4*t**2 - 5*t**2 + 4. Is 6 a factor of p(-4)?
False
Let q = -105 - -185. Is q a multiple of 10?
True
Let d be ((-1)/2)/(8/1152). Let x = -48 - d. Is x a multiple of 12?
True
Let j(l) = l**3 - 9*l**2 + 15*l - 2. Is j(9) a multiple of 7?
True
Let h = 2 + 0. Suppose 40 = h*g - 38. Is g a multiple of 13?
True
Suppose -4*v + 0 = -24. Is 35 a factor of (2 - v - 66)*-1?
True
Let k = 85 