)/2*(r + 2)?
True
Let f(p) be the second derivative of p**5/20 + 7*p**4/12 + 2*p**3/3 + 3*p**2 + 2*p. Is f(-6) a multiple of 6?
True
Is 10 a factor of 24/72 - (-1 - (-52)/(-6))?
True
Let v = 45 + -30. Suppose -2*t = -0*t + 4*o, 0 = -4*t - 5*o + v. Suppose 0 = -5*z + t + 5. Does 2 divide z?
False
Suppose -2*v = -k + 3*v + 4, 0 = k + 4*v - 4. Let r be -3*k/6*14. Let d = -17 - r. Is 10 a factor of d?
False
Let l be -1*2/((-4)/306). Suppose s + 88 = 4*j, -4*j - 5*s - 41 + l = 0. Is j a multiple of 23?
True
Suppose 9*f = -15 + 2895. Is 20 a factor of f?
True
Let a be 20/5*2/2. Let h = 85 + -57. Suppose a*p - 76 = h. Is 15 a factor of p?
False
Let u(q) = q**3 - 28*q**2 + 3*q - 50. Does 7 divide u(28)?
False
Let z be (-2 + 21/3)/(-1). Let d = -4 - z. Is 4 a factor of -2 - (-13 - (-2 + d))?
False
Suppose -3*d - 2*q - q - 21 = 0, 4*d - 4*q + 20 = 0. Is 9 a factor of d/9 + 112/6?
True
Suppose 27 = -4*l + 7*l. Is 12 a factor of (-38)/(-3) + (-6)/l?
True
Is (-5 + 13 - 4) + 136 a multiple of 14?
True
Suppose -6*u + 133 = -u - 3*w, 5*u - 161 = -4*w. Suppose f - u = -4. Is f a multiple of 17?
False
Suppose 3*p = -0*p - 6. Let r be 3*2 + p - 2. Suppose r*f - 14 = -3*t + 11, -2*t + 12 = f. Is f a multiple of 10?
False
Suppose a = 7 + 45. Does 28 divide a?
False
Let z(s) = -s**3 - 6*s**2 - s + 12. Does 9 divide z(-6)?
True
Let v = -51 + 99. Is 9 a factor of v?
False
Let p(g) = 2*g + 2. Let h be p(-2). Is 4/(1*h/(-4)) a multiple of 8?
True
Let i(u) = 17*u + 8. Does 8 divide i(3)?
False
Let y(l) = 9*l - 6. Let u be y(5). Let x = u - 10. Is x a multiple of 17?
False
Let k(t) = -6*t - 7. Let r be k(-9). Let s = r + -21. Is s a multiple of 11?
False
Let j(z) be the second derivative of 23*z**3/6 + z**2/2 - z. Let u be j(-2). Let v = -27 - u. Does 9 divide v?
True
Suppose 4*u = 2*c - 8, 2*c - c - 6 = 4*u. Suppose 4*s + c*h - 78 = 3*s, -5*s = -3*h - 377. Does 14 divide s?
False
Let z(r) be the third derivative of r**7/840 + r**6/144 + r**5/60 + r**2. Let p(k) be the third derivative of z(k). Does 19 divide p(6)?
False
Let n be 3 + 6 + -3 + -4. Suppose -5*h + i = -253, -6*h - n*i = -3*h - 144. Is 25 a factor of h?
True
Let b = 22 - 12. Is 6 a factor of b?
False
Suppose 21*m - 422 - 1636 = 0. Is 23 a factor of m?
False
Suppose -295 = -3*v - 2*o, 0 = -v - 2*v - 4*o + 293. Is 33 a factor of v?
True
Is ((-8)/(-16))/((-2)/(-156)) a multiple of 13?
True
Let n be (-106)/(-6) - (-2)/(-3). Let k be -1 + (-5)/1 + -2. Let i = n + k. Is i a multiple of 5?
False
Let m(z) = z**3 - 5*z**2 - 7*z - 4. Let l be m(6). Is 17 a factor of (-378)/l + 7/35?
False
Let g(y) = -2*y**3 + 18*y**2 + 7*y - 10. Is 21 a factor of g(9)?
False
Suppose -5*l + 6 = 3*u, -u + 1 + 1 = -3*l. Suppose o - 216 = -u*o. Does 12 divide o?
True
Suppose 1 = -a + 6. Let p = a - -5. Is 10 a factor of p?
True
Suppose 4*t = 5*x - 2*x + 512, 4*t - 2*x - 508 = 0. Is 29 a factor of t?
False
Let b(i) = -i**3 + i - 6. Let l be b(0). Let v be (21/l + 1)*-2. Suppose 4*z + 3 = v*w + 66, -69 = -4*z - w. Is z a multiple of 15?
False
Let o = -53 - -123. Is 32 a factor of o?
False
Is 6 a factor of 6/(-4 + 6)*5?
False
Suppose 0*l = l - 8. Let n = -19 - l. Let d = 57 + n. Is d a multiple of 10?
True
Is -3 + (-44)/(-4)*3 a multiple of 13?
False
Suppose -40 = -2*y - 0*z - 4*z, 20 = 4*z. Is 5 a factor of y?
True
Let g(i) = -4*i**3 + 2*i**2 + i - 4. Let f be g(-3). Let x = f - 67. Does 13 divide x?
True
Suppose 0*w + w - 1 = 0. Is 18 a factor of w - (-5)/2*14?
True
Let r be 3*4/6 - -71. Suppose -3*h + 35 = -2*p, 0*h - 4*p = 5*h - r. Does 9 divide h?
False
Let t(q) = 3*q**2 - 2 - 5*q**2 + 4*q**2 + 3*q. Let g = -18 + 20. Does 4 divide t(g)?
True
Let z(s) = 4*s**2 - 2*s - 1. Let x be z(2). Suppose 3 = y - x. Does 14 divide y?
True
Let c(t) = -8 + 6 + 0*t - 1 - t. Let d be c(-6). Suppose 4*g - 7 - 2 = s, 0 = s + d*g - 12. Is s a multiple of 2?
False
Let p(z) = z**3 - 8*z**2 - 16*z - 12. Does 28 divide p(10)?
True
Suppose -14*u + 3*u = -1012. Does 23 divide u?
True
Suppose 0 = -5*c + 3*c + 8. Let b(q) = -q**3 + 5*q**2 - 3*q + 6. Does 7 divide b(c)?
False
Let k = 80 + -18. Is 15 a factor of k?
False
Suppose -3 = 5*z - 23. Let i(x) = x**3 - 5*x**2 + 2*x - 2. Let v be i(z). Is 9 a factor of (-57)/(-5) - (-4)/v?
False
Let r = 36 + 169. Is r a multiple of 22?
False
Let k(t) = -t**2 + 9*t - 5. Does 13 divide k(4)?
False
Let j = -109 + 199. Does 13 divide j?
False
Suppose -c = -3*k - 11, -22 = 3*k - 4*c + 4. Let l = 1 - k. Suppose -82 = -l*n - 5*m, 0*m = -4*m - 16. Is n a multiple of 14?
False
Is 18 a factor of -4 - (-4 - 20*7)?
False
Let c(y) = -y**2 - y - 1. Let m(i) = -4*i**2 - 9*i - 4. Let x(s) = 2*c(s) - m(s). Does 17 divide x(-5)?
True
Suppose -5*l + 4*x = -407 - 28, -2*l + x + 174 = 0. Does 29 divide l?
True
Let d be (12/(-10))/(5/(-25)). Let p(g) = -g**2 - g + 8. Let o be p(d). Let m = o - -63. Does 10 divide m?
False
Let c(n) = -n - 17. Let i be c(-17). Suppose 3*t = -2*v + 62, i = -3*t - v - 0*v + 61. Is t a multiple of 11?
False
Let h = -2 + 6. Suppose -h*k = -4*g - 20, 0 = -8*k + 3*k + 4*g + 22. Suppose -5*z + 42 = -k*z. Does 7 divide z?
True
Let g be (-2)/(-7) + 46/(-14). Let b = g + 3. Suppose 5*x - 3*w = 41, b = 3*w - 4*w + 3. Is 9 a factor of x?
False
Let w(v) = -v**2 + 20*v + 2. Does 17 divide w(15)?
False
Suppose 2*i = -j + 25, -i + j - 12 = -29. Suppose 2*l = k - 19, 0 = -2*k + 5*l + i + 21. Does 24 divide k?
False
Let j(b) = 2*b**3 - 4*b**2 + 2*b. Let u be j(2). Suppose 2*i = 0, 133 = u*p + i - 51. Is p a multiple of 17?
False
Let y = -146 + 206. Does 12 divide y?
True
Let s = -2 + 6. Let m = 11 - s. Is 3 a factor of m?
False
Suppose -3*c = -15, 4*r + 4*c - 29 = -c. Is 12 a factor of -1 - r*-2*14?
False
Suppose -3*i + 2512 = 13*i. Is i a multiple of 12?
False
Let v be 6 + (-3)/(0 + 3). Suppose -v*k + 5*q + 85 = 0, 37 = 3*k + 2*q + 1. Does 7 divide k?
True
Suppose 0 = 3*c - 3*l - 2*l - 432, 3*l - 288 = -2*c. Is 18 a factor of c?
True
Let r = 187 + -107. Is r a multiple of 8?
True
Let p(d) be the second derivative of d**4/12 - d**3 + 5*d**2/2 - 4*d. Is 7 a factor of p(9)?
False
Suppose 3*y + 52 = -4*a, a + y - 4 = -4*y. Let j = 34 + a. Does 11 divide j?
False
Let h = 4 - -4. Is h a multiple of 8?
True
Let y(d) be the first derivative of -3*d**2 - 15*d + 8. Does 8 divide y(-7)?
False
Let y be 88/16 - 2/(-4). Is 3 a factor of (-14)/(-6) + 4/y?
True
Let a(h) = h**3 + h**2 + h - 1. Let m be a(0). Let w be (m + (-1 - -3))*-5. Let d(c) = 3*c**2 + 4*c + 2. Is d(w) a multiple of 22?
False
Let m be 2/6 - 62/6. Is 4 a factor of m*((-12)/(-10) + -2)?
True
Let z(j) = -6*j - 12. Is z(-4) a multiple of 4?
True
Let x(s) = -s + 1. Let f be x(4). Does 2 divide ((-3)/(-6))/(f/(-12))?
True
Let o = 58 + -37. Is o a multiple of 2?
False
Let g(j) = 4*j + 0*j**3 + 0*j**3 + 1 + j**3 - 3*j**2. Let v be -3 + 2 + 0 + 5. Does 13 divide g(v)?
False
Suppose -15 = -8*p + 3*p. Let b(v) = 3*v + 6. Let w(f) = 3*f + 7. Let u(q) = p*w(q) - 4*b(q). Is u(-8) a multiple of 15?
False
Suppose 4*x + 15 = 9*x. Suppose 0*j + 108 = x*j. Is j a multiple of 12?
True
Let w be 42/(-8) - 1/(-4). Let a(b) = -b**2 - 6*b + 3. Let u be a(w). Suppose -5*v = c - 2, 0 = 4*c + 4*v + v - u. Is c even?
True
Suppose 0 = v + 4*h - 28, -6 = 2*v + 3*h - 52. Does 20 divide v?
True
Suppose 0 = 5*d - 3*x + 9, -3*d - 3*x + 9 = -d. Let u(i) = -i**2 + i + 15. Is 7 a factor of u(d)?
False
Let a = 7 + 6. Is 2 a factor of a?
False
Suppose 3*r - 40 = -2*t, 3*t - 4*r - 61 + 1 = 0. Let a be 72/(-20)*t/(-6). Suppose 2*s - 5*s = -a. Does 3 divide s?
False
Suppose -3*t + 4*t + 7 = 0. Let l be (-2)/t - (-584)/14. Suppose -2*a + l = a. Is a a multiple of 7?
True
Let o be (40/(-12))/(3/(-27)). Let d = -2 + o. Is d a multiple of 14?
True
Let n(h) = -h**3 + 6*h**2 - 7*h + 4. Let i be n(5). Is 6/(-9) - 178/i a multiple of 18?
False
Does 16 divide (-4)/3*-3 + 17?
False
Let p(q) = 6*q + 3. Is p(10) a multiple of 21?
True
Let c = 4 + -2. Suppose c*g - 32 = g. Suppose 0 = 4*z - 0*z - g. Is z a multiple of 8?
True
Let t be 6/15 - 12/5. Let o be 3*(t + 1) - -3. Suppose o*s + 138 = 3*s. Is 14 a factor of s?
False
Does 3 divide ((-2)/(-5))/(4/220)?
False
Is 2 a factor of 5/1*4/(-10) + 13?
False
Suppose -2*t + 0*m = 5*m - 32, -5*m = -2*t - 8. Let q(l) = 5*l - 6. Does 12 divide q(t)?
True
Let j(y) = 2*y - 6. Let n be j(4