ue
Let h(y) = 3*y**2 - 2*y + 3. Let n be h(2). Let w(t) = -t**2 + 14*t - 13. Is 10 a factor of w(n)?
True
Let s(x) = 6*x**3 - x**2 + x + 27. Let i(l) be the first derivative of l**4/4 - 1. Let u(r) = -5*i(r) + s(r). Is 13 a factor of u(0)?
False
Let z = 49 + 55. Does 40 divide z?
False
Does 5 divide 52 + (-3 - (-3 - -2))?
True
Let w = 6 + -3. Suppose 4*l = w*l + 36. Is l a multiple of 18?
True
Let h be 2 + -1 + (-1)/1. Let l(q) = -q**2 + 13. Is l(h) a multiple of 7?
False
Is 7 a factor of 1*3/(3/46)?
False
Let r = 4 - 4. Suppose -270 = -5*h + h - 2*g, r = -5*h + g + 348. Does 15 divide h?
False
Let n = 8 + -5. Suppose 3*q - q + 3*h = 63, 4*q - 124 = -4*h. Suppose -n*d - 2*d = -q. Is 3 a factor of d?
True
Let s be -2 + 1/(2/(-36)). Let w = s - -80. Suppose -4*n = 2*o - 71 - 9, w = 3*n + 3*o. Does 12 divide n?
False
Let p = 17 + 35. Is 4 a factor of p?
True
Let o = 7 + -6. Let r = 13 - o. Is 6 a factor of r?
True
Suppose -3*s + 3 = -78. Does 9 divide s?
True
Suppose 15 = 5*v + 4*m - 180, -4*v + 4*m = -156. Is 15 a factor of v?
False
Let v(s) = -6*s + 4*s + 4 + 7*s. Does 19 divide v(3)?
True
Suppose 3*x - 98 = -2*o, 2*x - 245 = -5*o - 2*x. Let a = -23 + o. Is 7 a factor of a?
False
Let j(o) = o**2 - 4*o - 1. Let z(a) = -2*a**3 - 2*a**2 + 3*a + 3. Let g be z(-2). Does 4 divide j(g)?
True
Let o(x) = -x**2 + 6*x + 1. Let c be o(6). Let j(h) = 17*h**3 + h**2 - h + 1. Is 4 a factor of j(c)?
False
Let w = -6 + 8. Let p(b) = 10 + w*b + 6*b + b**2 - b. Does 11 divide p(-9)?
False
Let m be 3 + -10 + (-9)/(-3). Let k(o) = 4*o**2 + o - 4. Is k(m) a multiple of 17?
False
Let j(t) = t**3 - 15*t**2 + t + 25. Does 5 divide j(15)?
True
Let a = -8 - -8. Suppose 5*q + 5*r - 320 = a, -q + r + 27 = -35. Is q a multiple of 23?
False
Let m be 2/(-3) - 8/(-3). Is 6 a factor of (1/m)/((-5)/(-170))?
False
Let t = 293 + -149. Is t a multiple of 20?
False
Suppose 137 + 5 = u. Is 9 a factor of u?
False
Let z(o) = o**2 - 2*o + 38. Does 47 divide z(-12)?
False
Let d be (12/(-6))/((-2)/12). Is 13 a factor of -9*(-1 - d/9)?
False
Let g(u) = -4*u**3 + u**2 + 3*u + 1. Let b(p) = p + 5. Let x be b(-7). Let c be g(x). Suppose c = 4*k + 3*m, 0*k - 4*k = -m - 27. Is 7 a factor of k?
True
Suppose 0 = 2*h + q - 35, 3*h + q + 41 = 5*h. Let u = h - 3. Does 16 divide u?
True
Let j(t) = -17*t - 1. Let l be j(-3). Suppose -20 = -2*c - 2*q + 7*q, 3*q + l = 5*c. Does 7 divide c?
False
Let h = -19 - -46. Let j = -7 + h. Is j a multiple of 10?
True
Let g(i) = 7*i**2 - 2*i. Suppose j + j - 9 = -5*m, -j = 5*m - 7. Is g(j) a multiple of 14?
False
Suppose -3*d = a - 15, -4*a = -4*d - 29 - 47. Is a a multiple of 6?
True
Let l(m) = 5*m. Suppose -3*o + o = -30. Suppose 2*g + z = 5*z + 4, -3*z = 3*g - o. Does 10 divide l(g)?
True
Let j(x) = x**2 - 6*x - 19. Is j(-5) a multiple of 5?
False
Suppose 0 = 5*o - 5*v - 45, 6*o - 3*o + 5*v = 27. Suppose -h = 2*h - o. Suppose -h*s = -32 - 46. Does 9 divide s?
False
Let v(h) = -16*h**2 - 7*h + 6. Let b(p) = 5*p**2 + 2*p - 2. Let g(m) = 7*b(m) + 2*v(m). Is 10 a factor of g(-2)?
True
Suppose 0 = 3*j + 3*f - 865 + 34, -3*f + 15 = 0. Is 29 a factor of j?
False
Let n(a) = a**2 - 7*a + 9. Is n(-6) a multiple of 29?
True
Suppose 770 = 6*o - o - 5*s, o + 2*s - 157 = 0. Let l = -4 - -13. Suppose l*h = 4*h + o. Does 12 divide h?
False
Suppose -2 - 174 = -2*b. Does 13 divide b?
False
Let p = 52 + -25. Suppose 11 = -5*y - 4*a - p, 5*y + 2*a + 34 = 0. Is 2 a factor of (-3)/y + 11/2?
True
Let c(y) = y**2 - 1 + y**2 + y**2. Let t = -5 + 3. Is 8 a factor of c(t)?
False
Suppose 21*u - 17*u = 376. Is 10 a factor of u?
False
Let o be 4/10 + 2/(-5). Suppose 0 = 4*k - k. Is 4 a factor of o - (-10 - (-2 + k))?
True
Let c = 1 - -2. Suppose c*m = 8*m - 35. Is m even?
False
Is 113/5 - (-4)/10 a multiple of 23?
True
Let p(d) = 6*d**3 + 3*d**2 - d - 1. Let y be p(3). Suppose 0 = 4*z + z - y. Is z a multiple of 12?
False
Suppose 9*u + 447 = 1851. Does 39 divide u?
True
Let m(d) = -d**2 + 11*d + 1. Let z be (-1)/4 + 33/4. Is 25 a factor of m(z)?
True
Let w = 7 + -4. Suppose 41 = -2*y - w*r, -r = 4*y - 0 + 97. Let n = 39 + y. Does 5 divide n?
False
Let a(h) = -h**3 - 5*h**2 + 7*h + 7. Let t be a(-6). Let w(s) = 21*s**2 - 1. Let b(u) = -u**2. Let r(p) = -2*b(p) + w(p). Is 15 a factor of r(t)?
False
Let z(i) = i**3 - 8*i**2 - i + 1. Let d be z(9). Suppose -d = 5*p - 388. Is 21 a factor of p?
True
Let w(j) = j**3 - 4*j**2 - 7*j + 4. Is w(6) a multiple of 20?
False
Is 17 a factor of (-4)/((-3)/204*2)?
True
Let x = 33 - 1. Is 16 a factor of x?
True
Suppose 3*r - 60 = -2*n + r, -2*n = -r - 72. Is n a multiple of 17?
True
Let g(m) = m**2 + 5 + 5*m + 3*m - 2*m. Let n be g(-6). Suppose 0 = 3*p - 2*c - 70, -n*c + 6 = 5*p - 119. Does 12 divide p?
True
Let c(u) = 11*u - 2. Let d be c(-5). Is 20/15*d/(-2) a multiple of 19?
True
Suppose 0 = -4*n - 2*k - 10, -3*n + 15 = -4*k + k. Suppose -2 = 2*h - n*h. Does 16 divide h/3 + 721/21?
False
Let l(f) = -f**3 + 9*f**2 - 3. Let i be l(9). Let u = 11 - i. Is 7 a factor of u?
True
Suppose 17 = -3*s + a, 0*s + 11 = -s - 5*a. Let l = s - -6. Suppose l = j - 5*j + 84. Is 7 a factor of j?
True
Suppose 3*y - v = -0*v + 116, -5*v - 34 = -y. Is y a multiple of 16?
False
Let z(i) = -i**2 - 14*i - 11. Let d = 8 + -10. Let w = -6 + d. Is 10 a factor of z(w)?
False
Suppose 0 = -4*c - 5*z - 88 + 234, 2*z - 4 = 0. Is c a multiple of 15?
False
Let v(w) be the first derivative of -w**6/120 + w**5/30 + w**4/8 - w**3/6 - w**2/2 - 2. Let n(g) be the second derivative of v(g). Is 4 a factor of n(2)?
False
Let q(a) = -19*a + 68. Is 43 a factor of q(-10)?
True
Let m be (-12)/(-2) + -2 - 2. Suppose m*o = -3*o. Suppose -3*r + 3*w + 0*w + 45 = o, -4*r + 48 = 2*w. Does 9 divide r?
False
Let o = 6 + -4. Let q = 4 + o. Is (-36)/7*(-28)/q a multiple of 8?
True
Suppose 2*s - 5*v = -2*v + 20, s = 5*v - 4. Suppose 3*g + s = 2*z, -2*z + 8 = -z + 4*g. Is z a multiple of 8?
True
Suppose 0 = -2*q + 7 + 21. Let z = 30 - q. Does 8 divide z?
True
Let z = -5 - -55. Let i = z + -22. Is i a multiple of 14?
True
Suppose -3*s + 2*m = 2*s - 248, 196 = 4*s - m. Suppose 0 = -2*z + 6*z - s. Is 7 a factor of z?
False
Suppose 0 = 2*w - 39 + 13. Let m = w + -7. Suppose 0 = -3*a + m, -3*x + 4*a = x - 84. Is 6 a factor of x?
False
Let c(k) = -16*k - 3. Let b be c(3). Let w = -35 - b. Is w a multiple of 16?
True
Let w = -40 - -106. Let c = -76 - -78. Suppose -a = c*a - w. Does 9 divide a?
False
Let d be 3/12 - (-1)/(-4). Let z be d + 2*(-1 + 2). Suppose -y = z*y + 12, -4*y = -3*j + 76. Is j a multiple of 10?
True
Suppose -3*y = -9, 14 = d + 3*y + 2. Suppose b + 2 = -7*t + 3*t, -d*t = 5*b - 58. Is b - (2 - 4 - -1) a multiple of 15?
True
Let k = 29 - 20. Is 9 a factor of k?
True
Let p(s) = -6*s - 6. Let n(j) be the first derivative of 5*j**2/2 + 5*j - 2. Let b(q) = -5*n(q) - 4*p(q). Is 2 a factor of b(-5)?
True
Let h(i) = -i**3 - 4 + 5*i**2 + i - i. Let o be h(5). Is (-66)/4*o/3 a multiple of 11?
True
Let f(c) = 2*c**2 - 9*c + 8. Let h be 22/(-99) + 173/9. Let y = h + -11. Is f(y) a multiple of 27?
False
Suppose -5*d + 21 = 4*b, 2*d + 2 = -4*b + 20. Let s = 24 - b. Does 13 divide s?
False
Suppose 3*v + 15 - 54 = 0. Does 6 divide v?
False
Let l(j) = j**2 + 6*j - 1. Does 5 divide l(-8)?
True
Suppose 4 = -5*r + 5*m - 66, -2*r - m - 13 = 0. Let l = r + -25. Does 7 divide (0 + -2)*l/4?
False
Suppose -20*c + 24*c - 200 = 0. Is 10 a factor of c?
True
Let l(m) = m**3 - 5*m**2 + 7*m - 7. Is 26 a factor of l(6)?
False
Is 7 - (-4)/(-1 + 0) - -13 a multiple of 9?
False
Let p = 18 - 11. Is p a multiple of 4?
False
Let d = 285 + -186. Is 26 a factor of d?
False
Let j = 77 + -35. Does 7 divide j?
True
Let k be 3/15 - 38/(-10). Let l be ((-6)/k)/((-3)/(-4)). Is 10 a factor of ((-2)/4)/(l/68)?
False
Let y(q) = -40*q - 1. Let u be y(-1). Suppose -u = -2*k + k. Does 13 divide k?
True
Let v(h) be the third derivative of h**5/20 - h**4/8 + h**3/6 + h**2. Let o = -1 - -4. Is 6 a factor of v(o)?
False
Suppose 4*v + 80 = -0*v. Let l = v - -83. Is 21 a factor of l?
True
Let k(t) = -t**3 + 5*t**2 - 5*t + 6. Let g be k(4). Suppose 3*y = -g*s + 422, -4*s - 4*y = -1195 + 355. Does 14 divide 1*5*s/20?
False
Let p(s) be the second derivative of -s**5/20 + s**4/4 + 2*s**3/3 - s**2 + 2*s. Let q be p(5). Is 1*2 - (3 + q) a multiple of 11?
False
L