-518)/(-5) - (-6)/15. Suppose 26 + n = 5*x. Is 19 a factor of x?
False
Let d(l) be the second derivative of -l**5/120 + 7*l**4/12 + l**3/3 + 3*l. Let f(h) be the second derivative of d(h). Does 13 divide f(-12)?
True
Let f(i) = 4*i**3 + 4*i**2 + 5*i - 8. Let p(z) = -3*z**3 - 4*z**2 - 4*z + 7. Let x(s) = 4*f(s) + 5*p(s). Is 8 a factor of x(5)?
False
Suppose 4*p = 17*p - 1170. Does 6 divide p?
True
Let k(g) = 6*g**2 + g + 1. Let q be k(-1). Let y(n) = n - 1. Let d be y(q). Suppose 0 = d*m - m - 144. Is 20 a factor of m?
False
Let q(n) = -n**2 + 3*n - 3. Let u be q(3). Is -1 + 6 + (-6 - u) a multiple of 2?
True
Let w(o) = 2*o**2 + 4*o + 2. Let g be w(-2). Suppose 36 = g*s + 2*s. Is 7 a factor of (s + -3)*7/3?
True
Let o be (-9 - -4)/((-3)/3). Let f(y) = 4*y**2 - 6*y. Does 35 divide f(o)?
True
Suppose 2*y - y - 7 = 0. Let v(r) = -r**3 + 7*r**2 + 6*r - 10. Does 8 divide v(y)?
True
Is 6 a factor of (30 - 5)/5 + 133?
True
Let m(g) = 3*g + 10 + 2 - 10. Does 5 divide m(6)?
True
Suppose 0 = 2*p - 58 - 6. Is 16 a factor of p?
True
Suppose 4*m = 83 + 65. Let q = m + -25. Is 4 a factor of q?
True
Suppose -c - 7 = -12. Is 5 a factor of c?
True
Suppose 181 = 3*q - 50. Does 25 divide q?
False
Suppose o - 2*x = 3*x + 1, 5*o - 86 = -2*x. Is 4 a factor of o?
True
Suppose -3*h = 5*d - 189, 9*d + 63 = h + 4*d. Is h/2 + (-3)/(-2) a multiple of 11?
True
Suppose -u - 4*o + 14 = -5*o, 0 = 2*o + 10. Is 3 a factor of (3/u)/((-4)/(-48))?
False
Let z(b) = b**3 + 8*b**2 - 3*b - 10. Is 7 a factor of z(-8)?
True
Suppose 5*l - b - 2*b = 30, -2*l = -5*b - 31. Suppose -n - 2*o = -9, 0 = l*n - 2*o - 17 - 10. Let q = -2 + n. Is 7 a factor of q?
True
Suppose 4*g - 12 = -0*a + a, -g = -2*a + 4. Suppose -h + 4 - 2 = 0. Does 5 divide (h + (-13)/g)*-4?
True
Is (-598)/(-6) + -5 - 4/6 a multiple of 14?
False
Let z = -10 + 8. Is 5 a factor of 44/(-8)*1*z?
False
Let h = 24 + -21. Suppose 2*p = -2*p - 5*o + 40, -17 = -p - h*o. Does 3 divide p?
False
Let t = 15 + -10. Let x(f) = 4 - 2*f + f**2 - f + 0*f**2. Is 14 a factor of x(t)?
True
Let v = -13 - -28. Let a = 13 - 9. Suppose 0 = -3*j + a*z + 30, -4*z + v = z. Is 5 a factor of j?
False
Suppose -3*k - 25 = -8*k. Suppose -k*d - 1 = -3*r + 41, -3*r + 42 = 5*d. Does 14 divide r?
True
Suppose 0 = -5*y, 2*s - 2 = s - y. Let u be (4/s - -1) + -10. Let r = 25 - u. Is r a multiple of 18?
False
Let b be (1*6)/(3/2). Let j(w) = 4 - 5 + 2 - w**2 + 3*w + 4*w. Is 5 a factor of j(b)?
False
Suppose 0 = -0*s + 5*s - 25. Suppose 0*x - 275 = -s*x. Does 20 divide x?
False
Suppose 6*a - a = 5*w + 35, 4*w = -5*a - 1. Suppose 2 + 4 = a*t. Is (-1 + t)/((-2)/(-4)) a multiple of 2?
True
Let b be (-2)/(-6) - 10/(-6). Suppose 5*y - 24 = -2*k, -2*k + 2*y + 0*y + 10 = 0. Let x = k - b. Is x a multiple of 3?
False
Suppose -5*o - 4*y = -454, -3*y + y + 272 = 3*o. Is o a multiple of 9?
True
Let d = -34 + 55. Suppose 2*v - 40 = -3*m, d = 5*v - 4*v + m. Is 9 a factor of v?
False
Suppose -3*h - 50 - 13 = 0. Let b = 9 - h. Is b a multiple of 15?
True
Let z(t) = t**2 - 13*t + 2. Is z(22) a multiple of 40?
True
Let v be (-2)/6 - 363/(-9). Suppose 0 = -0*n + 5*n - v. Is n a multiple of 4?
True
Is 20 a factor of (-24)/72 + (-2270)/(-6)?
False
Suppose 3*p + 45 = 6*p. Suppose 0 = 3*y - 99 + p. Does 28 divide y?
True
Let y(q) = q**3 - 5*q**2 - q. Let i be y(4). Let o = 54 + i. Does 13 divide o?
False
Let k(o) be the third derivative of o**5/30 + 5*o**4/24 - 7*o**3/6 - 2*o**2. Is 14 a factor of k(-7)?
True
Let w = -167 + 257. Suppose -j = 4*r + 36, 0 = 2*j - r + 5*r + 88. Let u = w + j. Is 19 a factor of u?
True
Let m = 68 + -5. Suppose -42 - m = -3*w. Does 19 divide w?
False
Is (-2)/(-12) + 476/24 a multiple of 5?
True
Suppose -5*z = 5*a - 285, 2*a - 79 = -3*z + 8*z. Suppose o - a = -0*o. Does 13 divide o?
True
Let p be ((-7)/(-4))/((-3)/12). Let b(k) = -k**3 - 8*k**2 - 10*k - 9. Does 5 divide b(p)?
False
Let y = -2 - -7. Let j(t) = t**2 - t - 11. Let a be j(-8). Suppose -g + y*g - 5*o = a, -g - 3*o = -28. Is g a multiple of 14?
False
Suppose -5*x + x = 0. Suppose 7*i - 4*i - 9 = x. Suppose 0 = 5*z - 3*o - 98, -i*z - 3*o + 24 = -54. Does 11 divide z?
True
Suppose 0 = -2*j + 2*z, 2*j + z + 6 = 5*j. Is 11 a factor of (-3)/2*(-34)/j?
False
Let n(b) be the first derivative of b**4/4 + 13*b**3/3 + 13*b**2/2 + 12*b + 3. Let r be n(-12). Let c(d) = d + 31. Is 8 a factor of c(r)?
False
Let i = 10 - -93. Does 40 divide i?
False
Let w(m) = 32*m - 16. Is 22 a factor of w(6)?
True
Let z(q) = -q**3 - 2*q**2 - 3*q - 3. Let k be z(-2). Let j be -3 + k - (-4)/2. Suppose -14 + 32 = j*a. Does 7 divide a?
False
Suppose 0 = o + v - 17, 0 = -o - 2*o - 5*v + 59. Does 2 divide o?
False
Suppose 0 = -3*f + 6. Suppose 0 = 5*q + f*b - 42 - 33, 0 = 5*q + 5*b - 90. Does 13 divide q?
True
Let z(t) = 10*t**2 + 3*t - 2. Does 8 divide z(2)?
False
Let n be 6/(-21) - 228/(-14). Let d = 4 + n. Is d a multiple of 12?
False
Suppose 5*z - 8 = 5*o + 7, -z + 9 = 5*o. Suppose -4*w + 3 = -o. Suppose -41 = -5*x - w. Does 3 divide x?
False
Let x = -126 - -179. Is 27 a factor of x?
False
Does 15 divide 24/28*(4 + 31)?
True
Let q be (6/18)/((-2)/(-12)). Let j(m) = m**3 + 2*m + 0*m**3 + 5 + 0*m**3 + 7*m**q + 5*m. Is 8 a factor of j(-5)?
False
Let v(b) be the third derivative of -5*b**4/24 + 2*b**2. Does 20 divide v(-8)?
True
Suppose -4*w - 70 - 342 = 0. Let q(y) = -y**2 + 1. Let d be q(0). Is 13 a factor of w/(-4) - d/(-4)?
True
Is 14 a factor of 10 + 33 - (1 - 0)?
True
Let s(p) = -8*p + 1. Let d be 3/(-2)*(2 + 0). Is s(d) a multiple of 19?
False
Let g(i) = -i**3 + 3*i**2 + 3*i + 4. Let h be g(4). Suppose 30 = 4*n + 2*z, h*z + 4*z - 30 = -5*n. Does 6 divide n?
False
Let i(s) = s**3 - 2*s**2 + 2*s - 1. Suppose 2 = -0*c + c. Let w be i(c). Does 13 divide 891/18*2/w?
False
Let x be 13/3 + (-6)/(-9). Suppose 0 = -2*i + m + 16, -2*i = 3*i - x*m - 30. Is i a multiple of 5?
True
Let k(p) = 2*p**2 + p - 4. Let r be k(-2). Suppose -v = 2*l + 3*v - 32, 0 = r*v - 10. Does 6 divide l?
True
Let r = 57 - 33. Suppose g = -m + r, 0*g - 3*g = -3*m + 54. Does 7 divide m?
True
Let v be 391/5 - (-2)/(-10). Suppose -3*k + s = -v, -4*k + 72 = -k - 3*s. Suppose -k = -2*x - 4*d + 7, -4*x + 80 = 5*d. Is x a multiple of 10?
False
Let v = 6 - 12. Let i = 0 - v. Does 6 divide i?
True
Let d(f) = -2*f**3 + f**2 - f. Does 7 divide d(-2)?
False
Suppose -5*f - 2*z = -14, 2*f + 2*z + 1 = -z. Let k = 7 - 2. Suppose -g - 2*v = -6*v - 87, 0 = k*g - f*v - 355. Is g a multiple of 23?
False
Let i be 28/6*72/28. Is 4 a factor of -8*3/i*-2?
True
Let l = 619 + -323. Is l a multiple of 37?
True
Let s be (30/9 - 4)*9. Let p(u) = 5*u**2 + 10. Let f(i) = -i**2 + i - 1. Let r(t) = 4*f(t) + p(t). Is r(s) a multiple of 14?
False
Let f = 2 + 34. Is f a multiple of 12?
True
Let j be 0 - (2 - 2)*1. Let u(x) = -x**3 + 2*x**2 - x - 12. Let n(o) = -3*o**3 + 5*o**2 - 2*o - 25. Let m(f) = 2*n(f) - 5*u(f). Is 5 a factor of m(j)?
True
Suppose 12*s = 7*s + 350. Is s a multiple of 12?
False
Suppose -335 = 4*v - 7. Let t = -160 - v. Does 10 divide t/(-4)*4/6?
False
Suppose -7*t = -6*t - 14. Is t a multiple of 4?
False
Let i be -1*(0 - (-2 - -4)). Is (24/9)/(i/3) even?
True
Let i = -4 - -6. Let m be 32 - (-6)/(i + 1). Let h = -7 + m. Does 10 divide h?
False
Let w(u) = u + 13. Does 18 divide w(7)?
False
Let r(k) be the first derivative of -2 + 1/2*k**2 + 9*k. Is r(-7) a multiple of 2?
True
Suppose -16 = -6*l + 128. Does 24 divide l?
True
Let b(m) = m**3 - 13*m**2 + 14*m - 21. Let k be b(12). Does 25 divide k/((-6)/10)*-10?
True
Suppose -4*c + 0*c + 24 = 0. Let x(l) = 2*l + 6. Does 9 divide x(c)?
True
Let y(q) = 3*q + 5*q**2 + 5 + 2*q - 3*q**2 + 3*q. Suppose 0*g = -g - 6. Is y(g) a multiple of 17?
False
Suppose -u - d = -2*u + 16, -5*u + 4*d + 76 = 0. Does 5 divide u?
False
Let g(t) = -t**3 + 5*t**3 - 2 - 5*t**3 - 4*t**2. Let q be g(-4). Is 8 a factor of -4*(6/(-1) - q)?
True
Suppose 4*y - 96 + 20 = 0. Does 13 divide y?
False
Let m(h) = -h**3 + 5*h**2 + 7*h + 7. Let g be 1/(-5) - 9/5. Let o(y) = 2*y**2 + y. Let q be o(g). Is 12 a factor of m(q)?
False
Let k = 13 - 2. Suppose 0 = -j + 2*j - k. Is j a multiple of 11?
True
Suppose -2*r = -p, -3*r = -4*p + 2*r + 6. Suppose o + p*o = 230. Does 9 divide o?
False
Suppose 1 = 4*x + 5. Let l be (6/(-15))/(x/(-5)). Let u(v) = 6*v**2 - v + 2. Does 1