**7/840 - o**6/40 - o**5/40 - o**4/8 - o**3/6 + o. Let v(w) be the second derivative of l(w). Is v(-9) a multiple of 12?
True
Suppose 4*r - 220 = -5*b, -3*b + 2*r - 17 = -127. Is 10 a factor of b?
True
Suppose -k = -5*k - 36. Let g = -14 - k. Let p = 15 - g. Is 13 a factor of p?
False
Let u(s) = -2*s**2 - 37*s - 14. Is u(-18) a multiple of 4?
True
Let c be -1 - 6*(-3)/6. Suppose -45 = c*q - 229. Suppose -q = k - 5*k. Is 10 a factor of k?
False
Suppose -4 + 49 = 3*s. Is s a multiple of 4?
False
Let m(g) = -6 + 1 - 4 - 2 + 27*g. Let y(j) = -14*j + 6. Let c(v) = -4*m(v) - 7*y(v). Is c(-3) a multiple of 16?
True
Suppose -5 + 14 = 3*f. Suppose -4*s - 4*l + 404 = 0, -f*s = -s - 5*l - 209. Does 17 divide s/6*2/1?
True
Let l(w) = 18*w**2 + 4*w - 5. Is 25 a factor of l(2)?
True
Is 2/(-8)*-502 + 1/(-2) a multiple of 25?
True
Suppose 0*d = -d. Suppose 0 = -d*c + 2*c - 48. Let q = c - 10. Is 5 a factor of q?
False
Suppose -2*v + 5*l = -41, 3*v - 3*l - 75 = -v. Let j = 31 - v. Does 13 divide j?
True
Let q(c) = c**2 + c. Let g be q(-4). Does 5 divide (3/2)/(2/g)?
False
Let p be 2 + -3 + 10/2. Let i be p/1 + -2 + -2. Suppose f + 4*h = 10, -5*f + 2*h = -i*h - 72. Does 7 divide f?
True
Let k = -15 + 21. Suppose 3*j + 2*n = 23, 0*n = 3*n + k. Does 6 divide j?
False
Let w(p) = 2*p + 1. Let n be w(1). Is 6 a factor of 19 + n*(-1)/3?
True
Let g = -18 + 28. Is g a multiple of 5?
True
Is 4/24*-4*-12 a multiple of 7?
False
Let q(s) = s**3. Let m(o) = -7*o**3 + o**2 + o - 1. Let g(z) = -m(z) - 6*q(z). Does 3 divide g(2)?
True
Let d(s) = -s**3 - 1. Let n(g) = 4*g**3 + 5*g**2 + 3*g + 2. Let p(w) = -3*d(w) - n(w). Is p(-5) a multiple of 11?
False
Let t(q) = -46*q**2 - q + 1. Let o be t(1). Let a = o + 106. Is a a multiple of 30?
True
Let r be -10 - -15 - (2 - 1). Suppose 87 = -j + r*j. Is j a multiple of 9?
False
Let i = 15 - 15. Suppose 6*t + i*t - 336 = 0. Does 14 divide t?
True
Let u = 83 - 141. Let y = u + 87. Is 9 a factor of y?
False
Let t = 17 + -2. Let p = t + -8. Let z = p + 21. Is z a multiple of 14?
True
Let n(k) = k**3 + 7*k**2 - 8*k - 8. Let t be n(-8). Let z(j) = -j**3 - 9*j**2 - 3*j + 5. Let f be z(t). Let d = f - -52. Is d a multiple of 10?
False
Let f(r) = 42*r**3 + 2*r**2 - 2*r + 1. Let z be (-18)/(-6)*(-2)/(-6). Does 12 divide f(z)?
False
Let o = 5 - 6. Let l(t) = -t + 1. Let y be l(o). Suppose a - 1 - y = 0, -27 = -4*c - 5*a. Is 3 a factor of c?
True
Suppose -5*x + 39 = -76. Is 8 a factor of x?
False
Suppose 3*b = -2*m + 42, m + 4*b - 7*b = 21. Is m a multiple of 5?
False
Suppose 5*a + 46 = 3*m, a - 46 = -6*m + 2*m. Is 4 a factor of m?
True
Suppose -3*q - 81 = 6*m - 7*m, 3*m + q = 223. Is 28 a factor of m?
False
Let z(j) = j**2 - j. Let k(h) = -3*h**2 + 17*h + 9. Let q(i) = -k(i) - 4*z(i). Is q(-7) a multiple of 10?
False
Let a = 102 + -51. Let r = a - 17. Is 9 a factor of r?
False
Let b be 16/20 - (-149)/(-5). Let n = 25 - b. Does 18 divide n?
True
Let t(o) be the first derivative of o**3/3 - 9*o**2/2 + 5*o - 2. Does 19 divide t(13)?
True
Let a(l) be the first derivative of l**4/2 + l**3/6 - l**2/2 - 1. Let g(w) be the second derivative of a(w). Does 13 divide g(1)?
True
Let b(g) = g**3 - 2*g**2 - 2*g + 2. Let d be b(3). Suppose 10*v = d*v + 65. Does 13 divide v?
True
Let k = -22 - -42. Suppose g = -2, 2*g + 95 = 3*s - k. Does 14 divide s?
False
Suppose 0 = 3*j - 7*j. Let k(g) be the third derivative of g**4/24 + 19*g**3/6 - g**2. Is 9 a factor of k(j)?
False
Suppose 2*g = 1 + 5. Let a(l) = l**2 - 2*l - 3. Let b be a(g). Is 6 a factor of b - -1 - 0 - -5?
True
Let m(v) = 4*v**2 + 5*v - 2. Let z(p) = p**2 - p. Let s(i) = m(i) - 5*z(i). Does 7 divide s(8)?
True
Let x(s) be the second derivative of -s**3/6 - s. Suppose 5*o + u = -21, u = -4*o + 2*u - 24. Is x(o) a multiple of 5?
True
Let m(h) = -h**2 - 4*h - 2. Let t be m(-2). Suppose 5*r + y = 26, 3*r + t*y - 16 = -r. Is 3 a factor of r?
True
Let h(k) = -35*k**3 - k**2 + 6. Let v(p) = -69*p**3 - 2*p**2 + 11. Suppose 22 = 2*q - 0. Let u(j) = q*h(j) - 6*v(j). Is u(1) a multiple of 12?
False
Suppose 10*p - 75 = 5*p. Does 6 divide p?
False
Suppose -r + 25 = 5*s - 0*r, -s - 2*r + 14 = 0. Is 10 a factor of s/(-10) + 102/5?
True
Let k = 249 - 141. Is 27 a factor of k?
True
Let v = -25 + 11. Let z = v - -22. Suppose z - 3 = w. Does 5 divide w?
True
Let s be -2 + 14/6*3. Suppose 10*v - s*v - 25 = 0. Does 3 divide v?
False
Let m = -7 - -2. Let g = 6 + m. Is 6 a factor of -2 - (g + -3) - -16?
False
Let z = 205 - 171. Does 34 divide z?
True
Let b = 100 + -59. Let h = b + 20. Does 22 divide h?
False
Let f(s) = s. Let g be f(-3). Does 7 divide 2 + g + (16 - 1)?
True
Let k(s) = -4*s**2 - 1 - 4*s**3 - 4*s + 6*s + 0*s**2 - 5*s. Is k(-2) a multiple of 21?
True
Suppose 0*w - u - 17 = -2*w, 3*w + 7 = -5*u. Let p = 10 - w. Let x(g) = 6*g - 2. Does 12 divide x(p)?
False
Let q(k) = k + 15. Let a be q(-7). Suppose a = -2*r, 2*r + 8 = -o - 0*o. Let c(d) = d**2 + d + 13. Is 13 a factor of c(o)?
True
Suppose -4*n - 117 = -n. Let c = -109 - n. Let h = -34 - c. Does 18 divide h?
True
Let o(k) = -k**3 + 8*k**2 + 2*k + 11. Suppose -3*z = -0*z - 24. Is 9 a factor of o(z)?
True
Let c(a) = -a**3 - 4*a**2 - 2*a - 6. Let g be c(-4). Suppose -i - 14 = -g*i. Is 7 a factor of i?
True
Is 6 a factor of 3556/126 + (-2)/9?
False
Let b = -17 - -43. Does 13 divide b?
True
Suppose 3*z + 4*i + 34 = 0, 2*z + 16 = -4*i - 0. Let p = z - -74. Does 28 divide p?
True
Let v be -9 + 8 - 4*1. Let w(t) = -8*t - 15. Is w(v) a multiple of 12?
False
Let h = 4 - -16. Does 20 divide h?
True
Let t = 64 - -11. Is t a multiple of 15?
True
Let t(j) be the second derivative of -j**4/12 + 5*j**2 + j. Let n be t(0). Is 9 a factor of (0 - 10)/((-4)/n)?
False
Suppose j - 4*u = 30 + 50, -u + 337 = 4*j. Is 28 a factor of j?
True
Let g(z) = z**3 + 5*z**2 - z - 3. Let f be -5*(0/(-2) + 1). Let l be g(f). Suppose -l*v - 165 = -5*v. Is 14 a factor of v?
False
Let a(o) = o**3 + 9*o**2 + 9*o + 8. Let z be a(-8). Suppose 3*s - 2*q - 4 = z, -4 = 4*s + 4*q - 36. Is (9/s)/(6/32) a multiple of 7?
False
Let p(m) = -m + 8. Let s be p(7). Let u be 11/(s*(1 + 0)). Let i = 21 - u. Is 10 a factor of i?
True
Let i = 66 + -26. Let k = i - 16. Is k a multiple of 12?
True
Suppose 2*r + 2*m - 6 = -0*m, r = -4*m - 6. Is r even?
True
Let c = -33 - -67. Suppose -5*t - 3*i + i = -146, 0 = t + 2*i - c. Is 14 a factor of t?
True
Let y(v) = v**2 + 7*v + 6. Does 7 divide y(-8)?
True
Let r = 69 - 197. Let v = -67 - r. Is v a multiple of 13?
False
Let c(r) = r - 21 + 0*r - 13*r. Is 17 a factor of c(-6)?
True
Suppose 2*g = -d + 4*d - 19, 2*g - d + 25 = 0. Let u = g + 30. Is u a multiple of 8?
True
Let t(g) = -g**3 + 10*g**2 - 9*g + 5. Let x = -4 - -13. Is t(x) a multiple of 2?
False
Let m(t) = 2*t**2 - 5*t + 6. Let j be m(3). Suppose z - 2*r = -9, -2*z - 2*z - 43 = -r. Let q = j - z. Is q a multiple of 10?
True
Suppose n = -5*l + l, 0 = 4*n + 2*l. Suppose n = -5*m - 71 + 26. Does 8 divide (-75)/m*(-3)/(-1)?
False
Let n = -11 + 15. Let l be (-46)/14 + n/14. Is 14/(-9)*l*6 a multiple of 14?
True
Let p(t) = 2*t**3 - 4*t**2 + 2*t - 1. Let n(g) = 2*g**3 - 4*g**2 + 2*g. Let x(v) = 3*n(v) - 2*p(v). Is 3 a factor of x(2)?
True
Let w(m) = 5*m**2 - 4*m + 8. Is 13 a factor of w(4)?
False
Let x = 5 - -8. Let v be 2/(1/(-8)*-2). Suppose x = 3*r - v. Is r a multiple of 7?
True
Is 50 a factor of 4/(-4 - -2)*-100?
True
Let m(l) = -l + 2. Suppose -3 = -2*w + 3*a, -w + 6*w + 4*a = -27. Let v be m(w). Let j(r) = 6*r - 2. Is 10 a factor of j(v)?
False
Is 23 a factor of (-279)/(-12) - (-7)/(-28)?
True
Let k(q) = 15*q**2 + 3*q + 4. Is 17 a factor of k(-2)?
False
Suppose -z + 0*q + 4*q = -45, -2*q = -5*z + 189. Let v(p) = -p**2 + 5*p + 5. Let l be v(5). Suppose 5*d + 4*h = z, -13 = 3*d - l*d - h. Is 5 a factor of d?
True
Let q(r) = 4*r**2 + 2*r - 1 - 2*r - 1 + 3*r. Does 5 divide q(2)?
True
Let j(r) be the third derivative of r**5/60 - r**4/6 + r**3/6 + 4*r**2. Let g be j(2). Let i(k) = -k**3 + 2*k**2 + 4*k + 3. Is 18 a factor of i(g)?
True
Let n(w) = -5*w - 3. Let a be n(-5). Suppose -50 = 2*l + i, l + a = -0*l + i. Does 20 divide -2 + 1 - -3 - l?
False
Let y be (-172)/(-6) - 10/15. Suppose -z + 0*q - q = -y, 15 = -3*q. Does 13 divide z?
False
Let b = 163 - 71. Suppose 4*r - 2*r = b. Is 20 a factor of r?
False
Let p = 2 + 3.