(z) = z**2 - 6. Is d(6) a multiple of 5?
True
Let p(g) be the third derivative of -g**6/240 + g**4/12 + 2*g**2. Let h(c) be the second derivative of p(c). Is h(-5) a multiple of 15?
True
Is (-237)/(-9) - 2/6 a multiple of 26?
True
Let a = -4 + 3. Suppose 81 = -0*n + 3*n. Let b = a + n. Is 10 a factor of b?
False
Let k be 2*18/4 + 2. Let g = 11 + k. Is 9 a factor of g?
False
Let x(i) = -i + 1. Suppose h + 6 = -0*h + a, 0 = -h + 2*a - 8. Let o be x(h). Let b = 13 + o. Is b a multiple of 6?
True
Let f(l) = 1 + 0*l + 6*l - 7*l - 19*l**3. Let s be f(1). Let m = 30 + s. Does 11 divide m?
True
Let h(j) = 3*j**3 + 21*j**2 - 6*j - 21. Let a(b) = -2*b**3 - 14*b**2 + 4*b + 14. Let d(l) = -8*a(l) - 5*h(l). Does 14 divide d(-6)?
False
Let q = 31 + -43. Let w = q + 28. Does 9 divide w?
False
Suppose -x - 1 + 4 = l, 2 = 2*l - 2*x. Suppose 4 + 4 = -4*n. Is 4 a factor of (-1)/n*44/l?
False
Let i(x) = 9*x**2 - 11*x + 36. Does 20 divide i(7)?
True
Let m(n) be the third derivative of -n**6/360 + n**5/20 + n**4/6 - n**3/6 - 3*n**2. Let o(v) be the first derivative of m(v). Is 5 a factor of o(3)?
False
Is 2 a factor of (-3)/(12/(-152)*2) + 3?
True
Let j(r) = -2*r - 3*r + 3 - 6. Does 17 divide j(-4)?
True
Suppose -4*h - 5*u = -223, 366 - 140 = 4*h + 2*u. Let v be (11 - 13)*(-31)/(-2). Let w = h + v. Does 10 divide w?
False
Suppose -4*l + 38 = -30. Does 17 divide l?
True
Let v be (-2)/5 - (-277)/5. Suppose v = 2*j + y, 3*j - 4*y - 23 = 43. Is j a multiple of 10?
False
Suppose -8*m = -3*m - 355. Does 19 divide m?
False
Let n = 8 + -4. Suppose -n*f + 4*t = -7*f + 74, -103 = -4*f - t. Does 12 divide f?
False
Suppose 0 = -g - 4*m + 57, -5*m - 247 - 38 = -5*g. Does 19 divide g?
True
Let l be 21/(-6)*(1 + 1). Is l/((-21)/6)*6 a multiple of 11?
False
Let b be (-3)/(3 + 2*-2). Suppose -b*s + 23 + 58 = 0. Is s a multiple of 20?
False
Suppose -41 = -2*n - 7. Does 4 divide n?
False
Let w be (18/(-5))/((-3)/45). Suppose 0 = -b - i - i + 28, -3*i = 2*b - w. Is 12 a factor of b?
True
Does 11 divide (-36)/(-10)*(12 + -7)?
False
Is 170 + (3 + -3)*(-2)/(-4) a multiple of 10?
True
Let q(l) = -l**2 + 7*l - 6. Let v be q(5). Suppose v*p - 5*p + 2*c + 6 = 0, 0 = 2*p + c - 27. Is 7 a factor of p?
False
Suppose 0 = -16*k + 13*k + 717. Does 19 divide k?
False
Let p(u) = 4*u**2 - u. Let i be p(4). Let n(l) = 6*l - 24. Let x be n(9). Suppose x = 5*o + 3*h, 3*o + 3*h + i = 8*o. Is o a multiple of 5?
False
Suppose 2*a + 0*a - 14 = 0. Suppose 4*w + a + 173 = 0. Let z = w + 75. Is z a multiple of 9?
False
Let d = 18 + 20. Suppose -4*a + d = -2*a. Is a - 2/((-2)/2) a multiple of 7?
True
Let r(q) = -q**3 - 8*q**2 - q - 8. Let o(h) = h**3 + 8*h**2 + 2*h + 7. Let j(c) = -3*o(c) - 4*r(c). Is 9 a factor of j(-8)?
True
Does 8 divide -4 - 1/((-3)/153)?
False
Let r be (-16)/(-12)*(-3)/(-1). Suppose r*h = 16, 0 = i + 3*i + 4*h - 24. Suppose -5 = -i*b + 31. Is 9 a factor of b?
True
Suppose 0 = -y - 7 + 353. Does 33 divide y?
False
Suppose 0 = 5*w + 2*o, -3*w + 0*o = 3*o - 9. Let f = w + 5. Suppose -3*q - 2*c = -20 - f, 0 = 3*q - 5*c - 16. Does 7 divide q?
True
Let i(x) = -x**3 + 4*x**2 - 2*x - 2. Let j be i(2). Suppose -3*r + 210 = -3*u, -2*u = -j*r - r + 209. Is 29 a factor of r?
False
Suppose 4 - 16 = 4*a, -6 = 3*w + a. Let k be (8/(-10))/(w/(-5)). Let u = k + 21. Is 17 a factor of u?
True
Let d = 108 - 38. Let j = -39 + d. Does 8 divide j?
False
Let j = 2 - -3. Let d(t) be the first derivative of -t**3/3 + 5*t**2/2 + 7*t - 1. Is d(j) a multiple of 7?
True
Suppose k + 4*p - 12 = p, -113 = -4*k + p. Is 9 a factor of k?
True
Is 23 a factor of 1*(25 + (-4)/2)?
True
Let c(h) = -h**3 + 4*h**2 - 4*h - 1. Let o be c(3). Let w = o - -12. Let l = w - 3. Is l even?
False
Let g be (1 + -4)*(-112)/6. Let p(k) = -3*k**2 + 2*k + 3. Let j be p(-3). Let s = j + g. Does 10 divide s?
False
Let f(b) = 2*b + 6. Let m be f(-6). Let i = -4 - m. Suppose 4 = i*t - 4. Is t even?
True
Let x = 297 + -173. Is 10 a factor of x?
False
Suppose -10 = 5*k - 2*w, -3*k + 4*k = 4*w - 20. Suppose -3*i = -k*i - 1836. Is 13 a factor of ((-4)/(-6))/(8/i)?
False
Is (-1884)/(-18) + 8/6 a multiple of 20?
False
Let q = 117 + -42. Does 15 divide q?
True
Suppose n + 2 - 1 = 0. Let d be 2/5*(n + 6). Suppose -p = 2*f - 11, d + 32 = 3*f - 2*p. Is 4 a factor of f?
True
Let r be -3*((-1)/1)/1. Suppose -3*h - b - 19 = -4*h, -b = -r*h + 47. Is (-2)/(-5)*(h + 1) a multiple of 6?
True
Let l = 33 - 20. Is 6 a factor of l?
False
Let r be (-3 + -1)*2/(-4). Suppose -2*s = s - r*i + 19, -3*i + 18 = -3*s. Does 10 divide 284/14 - (-2)/s?
True
Let v(h) be the third derivative of -7*h**4/12 + h**2. Does 13 divide v(-3)?
False
Let u(p) = 10*p + 28. Is u(14) a multiple of 24?
True
Is 9 a factor of (-14)/6 + 3 - 158/(-6)?
True
Let v(y) = y**2 - 3*y - 15. Is 10 a factor of v(8)?
False
Is 31 a factor of (-390)/(-2) + (1 - 0)?
False
Let q(m) = -m**3 - 4*m**2 + 6*m + 7. Let v(g) = -g**3 - 3*g**2 + 4*g - 5. Let f be v(-4). Let k be q(f). Suppose k*y - 12 = -0*y. Is y a multiple of 5?
False
Let a be -2 + 2 - (-2 + -37). Suppose -3*q = -3*w + a, 3*w + 5*q + 0*q - 55 = 0. Is 4 a factor of w?
False
Suppose -2 = -o - 9. Let u = -4 - o. Is 2 a factor of u?
False
Let m(c) = c**3 - 9*c**2 + 2*c - 13. Let w be m(9). Does 10 divide 1/w + 149/5?
True
Let g(h) = 2*h**2. Let q be g(5). Suppose 0 = 2*z - 2*u - 36, u = -0*z + 3*z - q. Is 14 a factor of z?
False
Let n(c) = -21*c - 2. Suppose 3*d + 4 + 5 = 0. Is n(d) a multiple of 24?
False
Let w(o) = -o**3 + 7*o**2 + 7*o + 8. Let a be w(8). Suppose 2*u + 77 = 4*p + 11, a = -2*p - 5*u + 27. Is p a multiple of 8?
True
Let y(w) = -17*w + 1. Let f be 0 - 3/((-9)/(-6)). Is 12 a factor of y(f)?
False
Suppose 0 = c - 116 + 3. Is c a multiple of 10?
False
Suppose 0 = 4*f - 32 + 8. Suppose m + 20 = f*m. Suppose -2*x + 10 = b, 0 = -0*b - m*b - 16. Does 5 divide x?
False
Let g = 70 + -21. Is 12 a factor of g?
False
Suppose -3*c - 11 = 13. Let l = c + 13. Is l even?
False
Suppose 5*k - 4 = 1. Let w(p) = -p**2 - p. Let r be w(k). Is r + (6 - (0 + 0)) a multiple of 2?
True
Let s(c) = -c + 12. Let a be s(0). Suppose 4*h = -3*i + 28, -5*h + a + 8 = 0. Is i a multiple of 4?
True
Suppose -24 = -5*u + 96. Is 24 a factor of u?
True
Suppose 2*l + 156 = 6*l. Does 13 divide l?
True
Suppose -11 + 167 = 3*a. Is 9 a factor of a?
False
Is 18 a factor of -5*((-1570)/25 + -2)?
True
Suppose -2*x + 41 = -109. Is 25 a factor of x?
True
Let n = 30 + 15. Does 5 divide n?
True
Let z(d) = -d - 8. Let v be z(-8). Suppose x + 0 = h - 3, v = 4*h + 2*x. Suppose h = -l + 7. Is 6 a factor of l?
True
Is 37 a factor of 669/6 - (9/2 + -4)?
True
Suppose -1 = a + k, 2*a + a - 25 = 4*k. Suppose 5*g - 140 = -5*h, 23 + 67 = 3*g - a*h. Is 9 a factor of g?
False
Let u = 142 + -31. Is u a multiple of 9?
False
Suppose -2*p - i + 12 = -0*p, 3*i + 27 = 3*p. Suppose 2*z + 130 = p*z. Is z a multiple of 9?
False
Let k(t) be the third derivative of -t**6/120 + 7*t**5/60 - 5*t**4/24 + 5*t**3/6 + 2*t**2. Let v be k(6). Is 3 a factor of v + -3*(-2)/(-3)?
True
Suppose b + 266 = 3*g + 6*b, -b = 2. Is 25 a factor of g?
False
Is 14 a factor of -52*(5/10 + -1)?
False
Suppose v + a = 37 + 27, -3*v + 160 = -5*a. Is v a multiple of 6?
True
Suppose a = 2*a + 2*h - 5, a + 3*h = 6. Is 5 a factor of a + (15 - 9/3)?
True
Let q = 3 + 3. Is ((-240)/(-18))/(2/q) a multiple of 15?
False
Let f(l) = -l - 3. Let z be f(-6). Let y = z - -2. Is y a multiple of 5?
True
Suppose -g = -29 - 2. Is g a multiple of 8?
False
Let g = -4 - -5. Let h be (g - 3)/(2/(-4)). Suppose k + 12 = h*k. Is k a multiple of 2?
True
Let o be -1 - -1 - (-124)/4. Let t = 80 - o. Is 13 a factor of t?
False
Suppose 5*r - 41 = j, 2*r - 1 = -j + 21. Let k(m) = 4*m**2 - 6*m + r - 5*m**2 + 2*m**2. Is k(6) a multiple of 9?
True
Suppose -19*f = -25*f + 2286. Is f a multiple of 44?
False
Let l be 34 + 5/(10/4). Let o = 176 - l. Is 2/5 - o/(-25) a multiple of 6?
True
Let k = -4 - -8. Let c = k + -2. Does 6 divide -30*(-2)/8*c?
False
Is 4 a factor of (0/(-3 + -1))/(-2) - -20?
True
Suppose 25 = d + 3*w + 2*w, 20 = -5*d + 4*w. Let l be 1 + d + -1 - -3. Suppose l = 2*p - 5. Is p even?
True
Let g be ((-12)/10)/(1/5). Let s(l) = 3*l**3 - 10*l**2 + 4*l + 7. Let w(f) = f**3 - 5*f**2 + 2*f + 4. Let a(d) = -2*s(d) + 5*w(d). Is a(g) a multiple of 15?
True
Let t be (2