alse
Suppose -b + 0*b = -2. Let h(z) = -5*z - 2*z**2 - z**b + 7 + z**3 - z**2. Does 7 divide h(5)?
True
Let o = 14 + -5. Let n be (-3)/o - 8/(-6). Suppose -4*s = 19 + n, -2*s = h - 1. Is 11 a factor of h?
True
Suppose 0 = -5*x + x - 780. Is x/(-27) + 2/(-9) a multiple of 2?
False
Suppose -h + 1 = -1. Let v be (9/6)/(h/12). Is 15 a factor of -30*(1 + v/(-6))?
True
Suppose 3*l - 4*l - 9 = 0. Let n = 35 + l. Is n a multiple of 26?
True
Let i(w) = w**3 - 5*w**2 - 7*w + 9. Let g be i(6). Suppose -g*q + 4 + 2 = 0. Is q even?
True
Let o(f) be the second derivative of f**5/20 - f**4/2 + f**3/2 - 9*f**2/2 + 2*f. Let m be o(6). Suppose -j = -m - 17. Is 14 a factor of j?
False
Let n be 2/5 + 801/(-15). Does 20 divide (-2)/(((-6)/n)/(-3))?
False
Suppose -5*i = 10, -a - 2*i + 64 = a. Let d = 56 - a. Does 15 divide d?
False
Suppose 3*y + 26 = 5*n, -2*y - 10 = y - n. Let d be y - ((2 - -1) + -2). Let a(c) = c**3 + 3*c**2 - c + 2. Is a(d) a multiple of 5?
True
Let b(p) = 6*p**2 + 3*p - 8. Is 19 a factor of b(-4)?
True
Let y(l) be the third derivative of -2*l**4/3 + l**3/2 - 3*l**2. Let h be y(-3). Suppose 0 = 3*n - h - 51. Does 26 divide n?
False
Let q(o) = 4*o - 4. Let g(k) = 10 - 9*k + k - 1. Let d(a) = -3*g(a) - 7*q(a). Is d(-4) a multiple of 17?
True
Let t = 204 + -53. Is t a multiple of 49?
False
Let f(j) = -j**3 - 2*j**2 + 2*j + 1. Let c be f(-3). Suppose -v - 4*k + 16 = v, 0 = 5*v + c*k - 70. Does 9 divide v?
True
Let y = -13 - 1. Let f = -2 - y. Is 5 a factor of (3 + f - 2) + 2?
True
Let b = -6 - -11. Suppose -b*h + 2*h = -30. Does 8 divide h?
False
Let m = 9 + -4. Let b(c) = -4*c**2 - 5. Let i(j) = 5*j**2 + 6. Let k(t) = m*i(t) + 6*b(t). Is k(5) a multiple of 10?
False
Let g(v) = v**2 + 4*v. Let m be g(-4). Suppose -3*d = 4*w - 121, -57 = -2*w - m*w - 5*d. Is 16 a factor of w?
False
Let p = -52 - -32. Let x = p - 5. Let g = x - -52. Does 11 divide g?
False
Let j be 1/3 - (-28)/(-12). Let t be 2*(1 - 0)*-1. Is t/10*j*30 a multiple of 5?
False
Let r = 31 - 11. Let g(p) = 5*p**2 + p - 2*p**2 - p**3 - 4*p**2 + r. Is g(0) a multiple of 10?
True
Suppose 0 = -4*k - 45 + 213. Is 14 a factor of k?
True
Let b(o) = -10*o - 1. Let i be b(-1). Let s(t) = -t**3 - 7*t**2 + 7*t + 7. Let m be s(-8). Let v = m - i. Does 2 divide v?
True
Let w(j) = -j**3 - j**2 + j + 89. Is w(0) a multiple of 21?
False
Is (-14)/(-119) - 1118/(-34) a multiple of 11?
True
Suppose 5*t - t = l + 12, 0 = -4*t + 12. Suppose l*m - 8 = 2*m. Let w(f) = -4*f - 6. Does 7 divide w(m)?
False
Let m(r) = 2*r + 1. Suppose -4*p + 2*p = -12. Let o be m(p). Suppose 0 = u - o - 4. Is u a multiple of 12?
False
Let v(f) = 2*f**2 + 6*f - 5. Let b be 1 + -9 + -1 + 3. Is 9 a factor of v(b)?
False
Does 16 divide (-1)/2 - (-927)/18?
False
Suppose -5*f + 7 - 36 = -u, -4*u + 216 = 5*f. Is u a multiple of 7?
True
Suppose -13*x + 9*x + 1016 = 0. Is 13 a factor of x?
False
Let z(q) = 9 + 1 - 11 - 31*q. Is z(-1) a multiple of 6?
True
Let j be 12/5*(-140)/(-21). Suppose z - 39 = -4*s, 2*s - 283 = -5*z - j. Is 11 a factor of z?
True
Let c = 0 - 1. Let i be -3 + (1 - c) + 0. Let r(u) = -11*u**3 + u**2 + u + 1. Is r(i) a multiple of 6?
True
Let h(j) = j**2 + 5*j + 4. Let g be h(-4). Suppose 4*r - 20 = -2*t, -24 = -t + 5*r - g*r. Does 14 divide t?
True
Suppose -2*n + 44 = 2*n. Suppose 300 = 16*s - n*s. Is 30 a factor of s?
True
Let c(n) = 5*n**3 - n**2. Let f be c(1). Suppose -f - 4 = 4*i. Does 11 divide i*-22*2/4?
True
Let f = 0 - -14. Let y = -9 + f. Suppose -y*d - v + 78 = 0, d = 2*d + 2*v - 12. Does 9 divide d?
False
Does 15 divide ((-28)/12)/1*-45?
True
Is 24 a factor of 4*36*(-6)/(-16)?
False
Let h be 1/(1/9)*4. Suppose 0*s + h = 3*s. Does 7 divide s?
False
Let l(b) = -12*b - 12. Does 12 divide l(-7)?
True
Suppose 8 = -7*l + 11*l. Let j(g) = 6*g**3 + g**2 - 2. Is 13 a factor of j(l)?
False
Suppose -k + q = -0*k - 13, -4 = -q. Let c = 16 + k. Does 10 divide c?
False
Suppose -2*n + 43 = l, 3*l + n = 2*l + 41. Is l/(-1)*(1 + -2) a multiple of 13?
True
Let b be 3 + -6 + 0 - -2. Let o be b*(3 - 1)*14. Let y = o + 45. Does 12 divide y?
False
Let s(j) = -4*j**2 + 4 + 7*j - 6*j + 7*j + 3*j**2. Does 11 divide s(7)?
True
Let b be ((-3)/2)/((-3)/4). Let a(w) = 2 - 12*w - b. Does 12 divide a(-2)?
True
Suppose 0*a + 140 = -5*a - 2*r, -3*a - 68 = -2*r. Let k = a + 34. Does 4 divide k?
True
Let q(h) = 7*h + 2. Let w = 22 + -18. Is 15 a factor of q(w)?
True
Let j(v) be the second derivative of 7/6*v**3 + 0 + 2*v + 3/2*v**2. Is j(3) a multiple of 14?
False
Suppose -2*w - 4*x + 146 = 0, 41 + 263 = 4*w - 4*x. Does 21 divide w?
False
Let x(u) = 2*u**3 - 5*u**2 - 3*u - 3. Let q(g) = -g**3 - 10*g**2 - 8*g + 13. Let n be q(-9). Is x(n) a multiple of 14?
False
Let i = 155 - -88. Is i a multiple of 27?
True
Suppose 4*b = l - 260, -3*l - 5*b + 520 = -l. Is l a multiple of 20?
True
Let h(v) = -2*v**2 - 4. Let a(n) = -8*n**2 - n - 17. Let o(w) = 2*a(w) - 9*h(w). Is o(3) a multiple of 14?
True
Let k(s) = -s**3 + 20*s**2 + 26*s - 19. Does 43 divide k(21)?
True
Suppose 4*p + 2*z = 794, 3*z = 4*p - 0*z - 819. Does 19 divide p?
False
Suppose 0 = 5*a + 5*q - 45, 1 = q - 2*q. Suppose -d - r = -a, 5*d - 2*r = -4*r + 62. Is d a multiple of 7?
True
Suppose 2*y + 36 = 4*w, 4*w - 90 = 5*y - 0*y. Let v = y + 25. Is v a multiple of 7?
True
Let d(m) = -m**2 - 15*m - 6. Is 11 a factor of d(-6)?
False
Let n(s) = 2*s**2 + 2*s - 1. Let g be n(1). Suppose 5*k + j - 325 = 6*j, 205 = g*k - 5*j. Does 15 divide k?
True
Suppose 0 = 8*x - 3*x + 5. Let l(j) = -j**2 - 2*j. Let p be l(-3). Does 10 divide (p/x)/((-6)/(-40))?
True
Let k(r) = r + 7. Let j be k(-5). Suppose -3*s + 12 = -0*s + q, 0 = s + j*q - 4. Suppose -5*n - 2 = s*c - 54, 4*n = -3*c + 38. Is c a multiple of 10?
False
Let t be (-9)/6*(-16)/6. Suppose -36 = 2*o - t*o. Suppose 0 = -3*q + 6*q - o. Is q a multiple of 6?
True
Let k(v) = -v**3 - 1. Let g be k(1). Let u(d) = -5*d**3 + d**2 + d. Does 21 divide u(g)?
True
Suppose 4*y - 108 = -0*y - 2*d, 4*y - 80 = 5*d. Does 25 divide y?
True
Suppose -5*h - 4*c + 4 = -0*h, 0 = -4*c + 4. Let x(u) be the first derivative of -u**3/3 - u**2/2 + 13*u + 3. Is x(h) a multiple of 11?
False
Let h = 23 + -19. Suppose -h*m + 117 + 135 = 0. Is 34 a factor of m?
False
Does 8 divide (64/(-10))/((-10)/200)?
True
Suppose -12*v = -14*v + 24. Does 2 divide v?
True
Suppose -4 = 4*a + 5*j - 202, -2*j = 5*a - 239. Does 12 divide a?
False
Suppose -3*x + 231 = 2*d + 2*d, 4*x = 2*d - 88. Does 9 divide d?
True
Suppose 0 = 4*w - 6*w + 4. Suppose w*v + 79 = -5*n, 0 = 5*v - v + 4*n + 176. Let z = -23 - v. Is z a multiple of 12?
True
Let u(c) = c - 4. Let y be u(-9). Let m = 4 - y. Let p = 38 - m. Is p a multiple of 21?
True
Suppose -4*w - 2 + 18 = 0. Suppose 3*t - 2*a + 1 = -1, -t + 4*a = w. Suppose t*z = z - 33. Is z a multiple of 11?
True
Suppose 382 = 8*w + 102. Is w a multiple of 7?
True
Let k = -8 + 6. Let p be 0/3 - (-32 - k). Suppose m = x - 14, -3*x + p = m - 0*m. Does 7 divide x?
False
Let o(z) = 4*z**2 - z - 4. Let a(n) = 11*n**2 - 3*n - 11. Let d(u) = 3*a(u) - 8*o(u). Is 2 a factor of d(-2)?
False
Let h(a) = -a**2 - 4*a + 1. Let f be h(-4). Suppose -t + f = -10. Does 6 divide t?
False
Let s(u) = 3*u - 13. Let g be -9*(0 - (2 + -1)). Does 6 divide s(g)?
False
Does 62 divide -4 - (-1 - (60 - -5))?
True
Suppose -3*n = -8*n + 4*d - 1, 0 = 3*n + 5*d - 29. Let s be n/(-18) - (-1)/6. Suppose 4 + s = 2*r. Is 2 a factor of r?
True
Let p be 15/10*8/6. Suppose p*j - 4*j + 48 = 0. Suppose -3*h = -6, 3*h - j = -5*z + h. Does 2 divide z?
True
Suppose -2*j - 18 = -0*j. Is (-150)/j - (-1)/3 a multiple of 17?
True
Let o = 151 - 77. Is o a multiple of 18?
False
Let c be -17 - (-2 + -2)/(-2). Does 6 divide (-4)/2 - (c - -3)?
False
Let f(g) = g + 7. Suppose -11 = 3*n + 4. Let k be f(n). Suppose -17 = -k*t + 7. Is t a multiple of 5?
False
Suppose -5*o = -3*o + 2. Let d = 11 + o. Is d a multiple of 5?
True
Let p = -24 - -57. Does 11 divide p?
True
Let j(h) = -2*h - 2. Let t be j(-3). Let o be t/20 - 348/(-10). Suppose 2*f - 43 = o. Does 17 divide f?
False
Let l(x) = -13*x - 4*x - 2*x - 4 + 4*x. Does 13 divide l(-4)?
False
Suppose 12 = -k + 82. Is 27 a factor of k?
False
Suppose -4*a = 3*u - 331, 0 = -4*a + 3*u + 147 + 178. Is 8 a factor of a?
False
Let s(p) = p**3 - 2*p - 1. Let k be s(-1). Suppose 5*o