e
Let r(i) be the first derivative of -5/2*i**2 + 7*i - 4/3*i**3 + 1/4*i**4 - 2. Is r(5) a multiple of 4?
False
Let r(y) be the first derivative of -y**4/12 - y**3 - y**2 - y - 4. Let o(w) be the first derivative of r(w). Is 2 a factor of o(-4)?
True
Let h(v) = 11*v - 2. Does 5 divide h(3)?
False
Let x = 65 - 26. Is 13 a factor of x?
True
Suppose 11 = -4*w - 13. Let a = 14 + w. Does 4 divide a?
True
Is 7 a factor of 1/(-4) - (-510)/24?
True
Let g(v) = -v**3 - 6*v**2 + 6*v - 2. Let s be g(-7). Let o be 2 + -5 + 0 + s. Suppose -o*b = -5 + 1. Does 2 divide b?
True
Let p be 134/(6/9 - 0). Suppose -2*s - 107 = -5*s - 5*m, 0 = -4*s + 5*m + p. Suppose -5*x = -s - 101. Does 13 divide x?
False
Suppose 0 = 11*d - 9*d - 42. Is 7 a factor of d?
True
Suppose 16 = -4*c + 160. Suppose -r - r - 36 = 2*s, -4*r = 2*s + c. Is 13 a factor of ((-156)/s)/((-2)/(-6))?
True
Let f(t) = 5*t + 8. Let k be f(-5). Let n = k + 29. Is n a multiple of 12?
True
Let j(l) = l**3 - 5*l**2 + 4*l - 3. Let n be j(3). Does 7 divide 42/n*(-18)/4?
True
Let c = 273 - 130. Let p = c - -39. Suppose 5*q - p = 3*z, 0*z + 150 = 5*q + 5*z. Is q a multiple of 17?
True
Let f = 0 + 3. Suppose 0*l + 183 = f*l + 2*b, 3*b = -4*l + 245. Does 13 divide l?
False
Let i be ((-2)/8)/(1/(-20)). Suppose 0*j - 69 = -3*j - 5*r, j + i*r - 13 = 0. Is 16 a factor of j?
False
Let n(z) = -8*z**3 - 3*z**2 - z + 1. Let q be 6/(-4)*2 - -1. Let v be n(q). Suppose 2*w + 2*b - 5*b = 2, 5*w - v = -5*b. Is w a multiple of 3?
False
Suppose 0 = -k - 2*u + 8, 2*k + 2*u - 3 = 11. Suppose -s = s - k. Is (4 + -5)/(s/(-45)) a multiple of 8?
False
Let a(g) = -49*g + 3. Does 12 divide a(-2)?
False
Is 8520/36*6/4 a multiple of 15?
False
Let t be (-144)/(-30)*20/(-6). Does 20 divide (-248)/(-6) - t/(-12)?
True
Suppose 0 = -3*d - 2*k + 3*k + 2, -2*k - 4 = d. Suppose d*z + 4*z = 220. Does 11 divide z?
True
Suppose -205 = -d - 4*d. Suppose 0 = t + 2*t - 4*m + 88, 5*t - 3*m = -132. Let i = d + t. Is i a multiple of 8?
False
Let v(a) be the second derivative of 0 + 3/2*a**2 + 1/12*a**4 + 3*a + 1/3*a**3. Does 6 divide v(-3)?
True
Let k(p) = 3*p**2 + 2*p + 1. Let m be k(-1). Suppose 3*j = 4*d + 222, 0 = 5*d + m + 13. Suppose 8*w + j = 4*y + 3*w, 0 = -4*y - 2*w + 84. Is y a multiple of 10?
True
Suppose 24*y - 25*y = -150. Is 25 a factor of y?
True
Suppose 0 = 11*d + 1088 - 3860. Does 21 divide d?
True
Let u = 13 + -9. Let v be 31/(1 - 0) + -3. Suppose u*h = 44 + v. Is h a multiple of 18?
True
Let w(u) = 46*u**2 + u + 1. Let z be (-4 - -2)/(-2)*-1. Let x be w(z). Suppose -4*o + x = -46. Is 6 a factor of o?
False
Suppose 0*y - 10 = -5*y. Suppose 0*a - 104 = -y*a + 4*w, -205 = -4*a + 5*w. Is 11 a factor of a?
False
Suppose 6 = -2*z - 2*o - 6, 4*o - 16 = 0. Let b be z/(-5) + 1*-2. Suppose b = l + 3*l - 12. Is l a multiple of 3?
True
Suppose -223 = -6*k + 155. Is 30 a factor of k?
False
Is 3*(-3)/9*-5 a multiple of 2?
False
Suppose -2*i = -0*i - 3*w - 946, 5*w + 950 = 2*i. Suppose 78 + i = 4*s. Suppose -4*z = 2*n - 122, -2*n - 43 = 3*z - s. Does 14 divide z?
True
Let h(s) = -2*s**3 - 7*s**2 - 5*s + 2. Suppose -q + 0*y - 8 = -y, -3*q = -y + 16. Is h(q) a multiple of 9?
False
Let n be 8/(0 + 4/26). Let g be (-37)/1 + 10/10. Let s = n + g. Does 8 divide s?
True
Let o = 84 + -40. Is 11 a factor of o?
True
Let x be (-6)/24 - 17/(-4). Suppose -x*s + 83 = -1. Does 8 divide s?
False
Let d = 5 - 3. Let v = 1 + d. Suppose p - r + v*r - 41 = 0, 3*r - 15 = 0. Does 11 divide p?
False
Let c(b) = b**3 - 8*b**2 + 9*b - 8. Is c(7) a multiple of 6?
True
Suppose 0*w - 6 = -2*w. Suppose x = -w*a + 9 + 38, -3*a + 5*x = -17. Is a a multiple of 5?
False
Let p(w) = w**3 + 5*w**2 - w + 7. Let x be p(-5). Let j be (3/(-9))/((-2)/x). Is j*-2*(-11 + 1) a multiple of 14?
False
Let y = 158 - -112. Is 30 a factor of y?
True
Let j = -14 + 13. Is 16 a factor of (j/2)/((-10)/960)?
True
Suppose 0 = 4*t - 7*t. Let v(d) = d + 42. Is v(t) a multiple of 21?
True
Suppose -348 - 696 = 3*j. Let s = 207 + j. Does 6 divide s/(-12) + 1/4?
True
Suppose m = 2*g + 1, -m + 1 = -4*g + 2. Let t = g - -84. Does 17 divide t?
True
Let u be 6/(-15) - 24/(-10). Let t(q) = 10*q**2 - q. Let k be t(u). Suppose -k = -p - 12. Is 14 a factor of p?
False
Let v(k) = k + 1. Let u be v(7). Let q(c) = c**2 - 3*c + 3. Does 14 divide q(u)?
False
Let m(p) = p**2 + 112. Let r be m(0). Suppose -5*q - 323 = -3*x, 2*q - q = -3*x - 61. Let t = r + q. Is t a multiple of 20?
False
Suppose 3*s = 6 - 0. Let r be -1*195/(-6)*s. Suppose -r = -6*d + d. Is 8 a factor of d?
False
Let j = 28 + -22. Suppose 5*q - 3*a = 8 + j, -4*q + 8 = -4*a. Is q a multiple of 2?
True
Let g be (5/3)/(9/(-27)). Let w(t) = -t**2 - 4*t - 1. Let n(f) = -f**2 - 4*f. Let k(x) = 3*n(x) - 4*w(x). Is k(g) a multiple of 8?
False
Suppose 10*j = 3*j + 560. Is j a multiple of 40?
True
Suppose -5*l + 18 = -i, 0*i + 12 = 2*l + 2*i. Let y = l + 1. Is y a multiple of 5?
True
Let o be 0 - 2 - (-4 - 0). Suppose -o*l = -9 + 3. Suppose 0 = -l*a - 0*a + 5*q + 36, 5*q - 48 = -4*a. Does 12 divide a?
True
Suppose 3*g = -2*g. Let r = 9 - g. Is r a multiple of 7?
False
Suppose 206 = -33*h + 35*h. Does 18 divide h?
False
Let j(k) = 2*k**3 + 14*k**2 - 5*k - 13. Is 6 a factor of j(-7)?
False
Suppose -2*j = 4*o + 6, -2*j + 7*j + 15 = 4*o. Suppose -i + 3*v + 65 - 18 = o, 0 = 3*i - 3*v - 111. Does 26 divide i?
False
Let d(i) = -25*i - 16. Let v be d(-12). Suppose 0*w = 5*n + w - v, -w + 56 = n. Is 25 a factor of n?
False
Suppose 3*h - 5*j + 8 = 153, -4*h = -4*j - 196. Is 12 a factor of h?
False
Let z(a) = -a**3 + 7*a**2 + 5*a - 9. Let v be 102/12 + (-3)/2. Does 10 divide z(v)?
False
Let j(b) = 4*b**2 - 2*b + 8. Is j(-5) a multiple of 13?
False
Suppose -32*x + 28*x + 136 = 0. Is 19 a factor of x?
False
Let c be ((-5)/(-1) + -1)/(-1). Let o be 177/7 - c/(-14). Suppose o + 26 = 5*d + g, -16 = -2*d + 4*g. Is d a multiple of 5?
True
Let o = 3 + -3. Suppose o = 3*u - 5*k - 77, 2*k + 0 = -8. Is 14 a factor of u?
False
Is (0 - 6)*(-2)/4 even?
False
Let j be ((-35)/(-5))/(1 + 0). Let o be (6/(-7))/(4/(-84)). Let a = o + j. Does 15 divide a?
False
Suppose -4 = -4*l + 2*l. Suppose l*w = -3*w - 10, -2*w - 248 = -4*c. Suppose -2*z - 13 + c = 0. Is 17 a factor of z?
False
Let u = 11 + -8. Suppose 3*n + n + 32 = 4*f, u*n = -2*f - 4. Let x = f - -4. Is 8 a factor of x?
True
Let f be 1 + (1 - -2) + -1. Let u be 10/f - 3/9. Suppose 4*j + 2 = u*j, j + 42 = 4*i. Is 4 a factor of i?
False
Let n(i) be the first derivative of -i**3/3 + 9*i**2/2 - 6*i + 5. Is 13 a factor of n(5)?
False
Let d be 3/((-21)/6 - -2). Let o be (-1)/d + (-46)/(-4). Is 8 a factor of (o/3)/(2/4)?
True
Let y = 18 + -2. Is 16 a factor of y?
True
Let o be ((-10)/15)/((-1)/(-12)). Let r = 21 + o. Is r a multiple of 13?
True
Let r = 639 + -454. Is r a multiple of 35?
False
Let g(q) = 3*q**2 - 10*q - 8. Is 38 a factor of g(10)?
False
Suppose 5*o = -5*g - 10, -2*o + o = -g - 8. Suppose 0 = 5*m + o*w + 94, -w - 3 = -0. Is 2 a factor of (m/(-4) - 3)*4?
False
Suppose 0*d + 21 = -3*d. Let v(l) = 14*l - 1. Let t be v(-3). Let i = d - t. Is i a multiple of 10?
False
Suppose -s + 267 = 4*s - 3*u, 3*s - 3*u = 165. Is s a multiple of 14?
False
Suppose 6*p - 1200 = -6*p. Does 19 divide p?
False
Suppose 2*k - 3 - 33 = 0. Does 6 divide k?
True
Let i(p) = 6*p + p**3 - 2*p + 9*p**2 - 6*p. Is 5 a factor of i(-9)?
False
Does 20 divide 16/(-2)*(2 - 12)?
True
Let q be 1 - -1 - -44 - 1. Suppose m = -9 + q. Does 12 divide m?
True
Let q be 16/5 - (-1)/(-5). Suppose -q*x + 5*d = -143, 3*d + d = -3*x + 161. Is 8 a factor of x?
False
Let b = -6 + 8. Is b + -4 - 32*-1 a multiple of 21?
False
Let u(m) = -3*m**3 + 7*m**2 - 2*m + 15. Let r(g) = g**3 - 2*g**2 + g - 5. Let l(y) = -8*r(y) - 3*u(y). Does 10 divide l(6)?
False
Is 20 a factor of 514/6 - 22/33?
False
Suppose 5*v + 10 = 4*w + 3*v, -4*w - 5*v = -17. Is 2 a factor of w?
False
Is 20/(-30) + 742/6 a multiple of 10?
False
Let l(o) = 2*o**3 - 5*o**2 + 4*o. Is 8 a factor of l(4)?
True
Suppose a - 6*a - 25 = 0. Let x = 11 + a. Is 6 a factor of x?
True
Let k(y) = 9*y**2 + 5*y + 14. Is 11 a factor of k(-6)?
True
Let z be 9/2 - (-6)/(-12). Suppose z*c - 2*j = -7*j - 180, 5*j + 20 = 0. Is 13 a factor of 50/c*-10*2?
False
Suppose 3*b = -x + 193, -b = -0*x - 2*x - 62. Is 15 a factor of b?
False
Is (-1222)/(-1