False
Let s(v) = -v**2 + v + 5. Let i be s(0). Suppose 42 = i*o - 138. Is 15 a factor of 4 + o + 0 + 0?
False
Let j(u) be the first derivative of 7*u**3/3 - 2*u + 1. Is 13 a factor of j(2)?
True
Let k = 36 - 3. Does 17 divide k?
False
Let t = 15 + -7. Is (-358)/(-4) - 4/t a multiple of 23?
False
Let h be 0/(-2) + 0/(-2). Suppose h*n + 3*n = 0. Suppose n = 2*g + 5*y - 30, -4*g + 3*y - y = -12. Is 3 a factor of g?
False
Let k be 1/(-1)*(-1 + 1). Let i be (1 - 5)/(k + 2). Is i/(-13) + 462/39 a multiple of 11?
False
Let h = 153 + -90. Is 14 a factor of h?
False
Let q(p) = 30*p - 31. Is q(5) a multiple of 10?
False
Let x(j) = 6*j**2 + 8*j + 11. Is x(-4) a multiple of 17?
False
Suppose 3*c + 392 = 8*c - 2*i, -4*i = 4*c - 308. Is 6 a factor of c?
True
Suppose 7*n - 6*n = 5. Does 2 divide n?
False
Suppose -s + 2*s - 5*n - 83 = 0, 4*n = -s + 128. Is 36 a factor of s?
True
Suppose 2*g = -4*j + 44, -3*j - 40 - 26 = -4*g. Is 3 a factor of 13/2 - 9/g?
True
Let q(r) = r**3 + 4*r**2 - 10*r - 7. Let z be q(-6). Suppose l + 3 + 43 = 0. Let y = z - l. Does 13 divide y?
False
Let f be 3 + (-12)/8*-2. Suppose 176 = 2*x - f. Is x a multiple of 21?
False
Let j be -6*((-80)/12 + 4). Is j/4 + (-248)/(-4) a multiple of 14?
False
Let w be (-3)/(-3 - (-111)/38). Suppose -w = -3*t - 5. Is t a multiple of 6?
False
Suppose 0*a + a + 5 = -5*w, -3*a + 2*w = -2. Let k(j) = j**3 + j**2 + j + 20. Does 13 divide k(a)?
False
Let d(a) = -a**3 - 5*a**2 - a + 11. Let w(b) = -3*b**3 - 15*b**2 - 2*b + 32. Let r(q) = 11*d(q) - 4*w(q). Is r(-5) a multiple of 8?
True
Suppose 2*t - 5 = 5. Suppose -t*j + l = -65, 16 = 3*j + 5*l - 23. Is 6 a factor of j?
False
Suppose -44 + 12 = 2*z. Let o be (-5)/1 + 3 - -3. Does 14 divide 3/(-2)*z/o?
False
Suppose 3*c = 5*b - 10, -4*b + 20 = -b + c. Suppose -12 = -b*f + 23. Is 7 a factor of f?
True
Is 4 a factor of 15*(32/(-12) - -3)?
False
Let h = 12 + -6. Is 13 a factor of -2*1 - (-168)/h?
True
Suppose -c - 116 = 2*d - 4*d, -3*d - 4*c = -163. Is 29 a factor of d?
False
Let l = 14 - 0. Is 7 a factor of l?
True
Let f be (-2)/3 - 10/(-15). Let v be f/(1*1/(-1)). Suppose -x = -l + 12, 2*l + 3*x - 1 - 8 = v. Does 4 divide l?
False
Let o = 7 - 4. Let z = 9 - o. Does 5 divide z?
False
Let d be -6*(-2 + 8/6). Suppose 176 = 4*u + 2*o, -o = -3*u + d*o + 106. Is 15 a factor of u?
False
Let k(p) = -6 + 26*p**2 - 23*p**2 - 1 - 4*p. Is k(5) a multiple of 16?
True
Let g(u) = -4 + 5 - 3*u - 5. Is 9 a factor of g(-6)?
False
Let v(b) = -b**3 - 3*b**2 - b. Let a be v(-3). Suppose -a*m + 2*h = -112, 5*m + h = -2*h + 174. Does 18 divide m?
True
Suppose 0 = -6*a + 124 + 68. Does 16 divide a?
True
Suppose -5 = -2*b + 1. Suppose -w + k - 3 = -4*k, 0 = b*w - 2*k - 30. Does 12 divide w?
True
Let h = 155 - 95. Does 30 divide h?
True
Suppose -45 = -2*c - 11. Is c a multiple of 5?
False
Let o = 19 - 7. Suppose -3*c - 5*l = -o - 16, 5*c - 3*l - 92 = 0. Does 6 divide c?
False
Suppose 3*p = -y + 4, -6*p + 3*p = -9. Let a = -1 - y. Does 2 divide a?
True
Suppose 4*l + 4*b - 10 = b, 5*l - 4*b + 3 = 0. Let d(a) = 9*a. Let u be d(l). Suppose 5*c - 21 = u. Is 3 a factor of c?
True
Let o = -10 + 30. Suppose 0 = 5*n - o, 0 = 2*t - 3*n - n - 18. Is t a multiple of 16?
False
Let j = 7 - -13. Is j a multiple of 7?
False
Let j(b) = 2*b**2 + 5*b + 2. Let v be j(-5). Suppose 51 = 2*z - v. Is 22 a factor of z?
False
Let v(s) = -3*s**2 + 11*s - 15. Let o(g) = 2*g**2 - 6*g + 7. Let m(w) = 5*o(w) + 3*v(w). Suppose 22 = -3*j + 1. Is m(j) a multiple of 12?
False
Let b(k) = 3*k**2 + 3*k + 4. Let o be b(-3). Let v = o + -16. Is 6 a factor of v?
True
Suppose w = 2*j - 0 - 6, -4*j = -3*w - 8. Suppose 4*x - 4 = 0, -x + 2*x - 521 = -j*g. Is g/10 + (-6)/15 a multiple of 10?
True
Suppose n = -3, -3*n + 2*n - 9 = -3*u. Let c(g) = 5*g**2 + 4*g - 4. Is c(u) a multiple of 24?
True
Let a be (-192)/(-14) - (-8)/28. Let n = -2 + 2. Suppose -2*g + 52 - a = n. Does 8 divide g?
False
Let p = 83 + -75. Let f = 5 + -8. Is 6 a factor of p/f*(-36)/8?
True
Let p(d) = 41*d**3 - d**2 - 2*d + 2. Let x be p(1). Let m = -3 + 2. Let c = x - m. Is 20 a factor of c?
False
Let v = 77 + -46. Is v a multiple of 8?
False
Suppose 0 = 2*u - 4, 5*q + u - 2091 = -2*u. Is 61 a factor of q?
False
Let k(c) = -3*c**3 + 5*c**2 + 4*c - 1. Does 5 divide k(-2)?
True
Does 19 divide (-574)/(-10) - (-2)/(-5)?
True
Suppose 0 = 2*p - 3*p + 2*g + 28, p + 4*g - 52 = 0. Is 6 a factor of p?
True
Let k = 33 - 15. Is k a multiple of 6?
True
Suppose 42 = 5*r - 108. Does 26 divide r?
False
Let j be 6*(-6)/(-9)*-2. Does 5 divide j/52 + (-396)/(-39)?
True
Suppose h - 1 = 2*h. Let x = h - -3. Suppose u + 4*b - 31 = 4, -70 = -4*u - x*b. Is 12 a factor of u?
False
Let l be 122 - (-2 - -1 - 0). Is l/6 - (-4)/8 a multiple of 9?
False
Suppose 23 + 30 = d. Does 30 divide d?
False
Let k(s) = -3*s**3 + s**2 - 1. Let d be k(-1). Suppose 150 = 4*p + d*c, -4*p + 6*c = 4*c - 140. Is 12 a factor of p?
True
Let g = 8 + -5. Suppose -g*p + 2*o = -79, -4*p - 6*o + o = -90. Is p a multiple of 22?
False
Suppose 3038 + 658 = 14*r. Does 44 divide r?
True
Let i be (8/(-10))/(2/10). Is 2/i - (-249)/6 a multiple of 15?
False
Suppose 3*d = -2*a + 51, 4*a - 8*a + 100 = 4*d. Is 6 a factor of a?
True
Suppose 0*d = 4*c - 3*d - 385, 20 = 4*d. Suppose -5 = 4*o - 5*o. Suppose -3*v = 4*p - c, -4*p + o*v = 51 - 119. Does 11 divide p?
True
Suppose 3*x + 1 = 2*x. Let a = x + 4. Suppose -2*p - 3*q = -a*p, 0 = 2*p + q - 14. Is 6 a factor of p?
True
Suppose y = 5*y - 748. Does 27 divide y?
False
Let a = 87 - 48. Does 13 divide a?
True
Let f(o) = -o**2 - 4*o - 1. Let m be f(-3). Let n be (4/6)/(m/9). Suppose 0 = n*h - 5*h + 38. Is 18 a factor of h?
False
Let q(l) be the first derivative of -l**5/20 - l**4/12 + l**3/6 - l**2/2 - 2*l - 3. Let x(o) be the first derivative of q(o). Is 14 a factor of x(-3)?
True
Suppose -6*a = -10*a + 64. Is 5 a factor of a?
False
Suppose -5*d = 3*r, -d + 4*d + 24 = 3*r. Suppose 4*t = 2*u + 43 - r, -3*u = 5*t - 75. Is 10 a factor of t?
False
Let g(j) = 6*j + 52. Is g(10) a multiple of 7?
True
Let t(k) be the second derivative of 5/2*k**2 - k + 0 + 1/6*k**3. Is t(0) a multiple of 2?
False
Does 3 divide (-10 + 5)*(-13)/5?
False
Let j(n) = -2*n + 10. Let w be j(-10). Suppose w = 4*g + g. Let c = 15 - g. Is 3 a factor of c?
True
Suppose c - 3*c = 0. Suppose -16 = 2*g + 2*g, c = 3*j - g - 61. Is 8 a factor of j?
False
Let n(f) = f**3 + 11*f**2 - 10*f. Let z be n(-12). Let d = -3 - z. Does 7 divide d?
True
Let t(a) = a + 24. Is t(12) a multiple of 4?
True
Suppose -12*l - 3*l = -2625. Is l a multiple of 18?
False
Let a = 447 - 271. Suppose -4*d + 0*d = -a. Suppose -2*s + d = -2*w, 4*w + w + 25 = 0. Does 17 divide s?
True
Suppose -74 = -3*s + 2*s. Suppose 5*q - s = 66. Let w = q + 29. Is 15 a factor of w?
False
Let b = 8 - 4. Suppose b*j - 3*j = 8. Is j a multiple of 8?
True
Suppose 0 = 3*k - 7*k + 16. Let j be (-6 - -5)*(0 - k). Suppose j*w + 52 = 3*h, 3*w = h - w - 4. Does 12 divide h?
True
Let d be (-64)/6 + 2/(-6). Let c = -7 - d. Suppose -h - 42 = -c*h. Is h a multiple of 7?
True
Let k(a) = -3*a + 4. Let c be k(-5). Let l(w) = -w**3 + 14*w**2 + 2*w - 1. Let q be l(14). Let u = q - c. Is 8 a factor of u?
True
Let k = -4 - -6. Let p = k + 1. Is 16 a factor of 1 + p/((-9)/(-138))?
False
Let q = 72 - 35. Does 12 divide q?
False
Suppose 4*l + 142 = -5*p, 0*p - p = -4*l - 130. Is 10 a factor of -6 + 3 + 0 - l?
True
Suppose -4*t - 138 = -t. Let u be (-99)/(-2)*(-4)/(-3). Let n = t + u. Does 8 divide n?
False
Let y = 41 - 12. Is y a multiple of 25?
False
Let i be 4 + (-3)/(6/4). Let f(l) = l**i + l + 5 - 2 + 0*l**2. Is 2 a factor of f(0)?
False
Suppose 0 = -0*c + 3*c. Is 8 a factor of 1 + c - (-13 + 6)?
True
Suppose -3 = v - 14. Suppose -12*x + 11 = -v*x. Is 7 a factor of x?
False
Suppose 3 = c - 3*v, -v = -c - 3*v + 28. Let m = 28 - c. Is m a multiple of 5?
True
Suppose -146 = -3*v + 2*l, -41 = -3*v - 5*l + 77. Is 21 a factor of v?
False
Let l(s) = 3*s - 1. Let i(g) = 6*g - 2. Let h(o) = -6*i(o) + 14*l(o). Is 7 a factor of h(2)?
False
Let j = -11 + 7. Let r(i) = -i**2 - 7*i - 6. Is 2 a factor of r(j)?
True
Let d = 90 + -58. Suppose 0 = 5*m - 368 + 103. Let y = m - d. Is 13 a factor of y?
False
Does 13 divide (-1)/((-9)/6) + (-3180)/(-9)?
False
Let z be 6/8 + 3/(-4). Let g(j) = j + 