se
Let r(n) = -n**3 - 11*n**2 + 10*n - 6. Suppose 4*j + 0*j = 20, -2*x + 2*j = 34. Is 6 a factor of r(x)?
True
Suppose 6*d - 2*p - 13 = 3*d, d = -p - 4. Let g be (d + 0/1)*-2. Let a(u) = -5*u**3 + u**2 + u. Is 21 a factor of a(g)?
True
Let w(u) = u**2 + 10*u. Is 8 a factor of w(9)?
False
Suppose 24 = 5*m - 4*m + 5*h, -27 = -2*m - 3*h. Does 3 divide m?
True
Let q(f) be the third derivative of 1/4*f**4 + f**2 + 7/6*f**3 - 1/120*f**6 + 0*f + 0 + 1/15*f**5. Is q(5) a multiple of 5?
False
Let p(i) = 5*i**3 - i**2 - i - 61. Let s(x) = x**3. Let m(w) = -p(w) + 4*s(w). Does 21 divide m(0)?
False
Suppose 0 = -5*p + 236 - 56. Does 12 divide p?
True
Suppose 4*i - 564 = -0*i. Is 27 a factor of i?
False
Suppose -3 = l - 9. Let m be 1/(1*2/4). Suppose l = -2*a, 3*n + m*a = -0*a + 27. Does 7 divide n?
False
Let o be (-618)/((-12)/(-4)) - 2. Does 12 divide 3*(-2 + o/(-12))?
False
Suppose -5*f = -2*u - 26, 17 = 2*f - 2*u - u. Suppose 3*h + 32 = f*h - d, 2*h - 4*d - 60 = 0. Is 20 a factor of h?
False
Suppose -5*r + 0*r = -35. Suppose 3*n = 31 - r. Does 8 divide n?
True
Suppose 4*z - 12 = -2*d, 0 = -5*d + z + 3*z + 2. Suppose l - q = -d*q, 4*q - 4 = -2*l. Is (l - 0)*1 + 11 a multiple of 4?
False
Suppose 9 + 1 = 5*d. Suppose 0 = d*c - 2*n - 8, 4*c - 3 = n + 19. Does 12 divide (c/(-3))/((-3)/36)?
True
Does 39 divide 1285/11 + (-14)/(-77)?
True
Suppose 4*i = 10*i - 162. Is 8 a factor of i?
False
Suppose 0 = -3*p + 12, -3*l - 2*l = -3*p + 12. Let a be 0 - l - (2 + -6). Let k(j) = j**2 + 7*j - 5. Is k(a) a multiple of 13?
True
Let c = -6 - -10. Suppose 2*j + 68 = c*j. Let h = j + -23. Does 6 divide h?
False
Suppose y + 14 - 122 = 0. Is 27 a factor of y?
True
Suppose -7 = -5*a - 2. Is 7 a factor of (-10 - -8) + (a - -33)?
False
Suppose y - 56 = 3*y + 5*b, 0 = y - 2*b + 37. Let p = y + 65. Is p a multiple of 16?
True
Suppose 0 = a - 0*a - 4. Suppose -12 = -4*q, -q - 33 = -5*x + a. Is x*(-2 + (-33)/(-12)) a multiple of 5?
False
Suppose -1 + 53 = 2*j. Is j a multiple of 20?
False
Let d = 22 + -10. Is 4 a factor of d?
True
Suppose -2*i + q + 9 = -0*i, -2*i = -4*q - 18. Does 3 divide i?
True
Suppose -3*a = -0*a + 108. Let q be (12/5)/((-8)/180). Let p = a - q. Is p a multiple of 6?
True
Suppose -2*y + 3*y - 9 = 0. Is 2 a factor of y?
False
Let b(s) = s**3 + 3*s**2 + 3. Let w be b(-3). Suppose 2*j = w + 21. Does 2 divide j?
True
Let c = 6 - 2. Suppose 5*n + 2*d = 75, 124 = c*n - 4*d + 36. Let h = n + -7. Is h a multiple of 6?
False
Let f = -85 - -121. Is f a multiple of 8?
False
Let a(o) = o + 5. Let s be a(0). Is 4 a factor of 39/5 + 1/s?
True
Suppose -u - 2*u = -c - 30, -2*u = 3*c - 20. Suppose 4*a + u = 5*a. Does 7 divide a?
False
Let s(o) = -o**3 + 6*o**2 + 10*o - 4. Let u be s(7). Suppose 112 - u = -z. Let y = -63 - z. Is 17 a factor of y?
False
Let k(i) be the third derivative of -1/6*i**4 + 0 + 1/120*i**6 - 13/6*i**3 + 0*i + 1/6*i**5 - 3*i**2. Is 10 a factor of k(-10)?
False
Let i(x) = 6*x**2 - 5*x + 6. Let w be i(4). Suppose 14 = -2*h - w. Is (-1)/(-3 + 2) - h a multiple of 17?
False
Let q(l) = l + 4. Let n = 121 + -75. Let m be 2/6 + n/6. Is 5 a factor of q(m)?
False
Let c(r) = -r**3 - 8*r**2 - 2*r - 9. Suppose -p + 24 = -4*h, 3*p - 15 - 2 = h. Suppose -p*i - 52 = -20. Is c(i) a multiple of 7?
True
Let t be (-1)/((-2)/90) + -1. Does 11 divide (-9)/6*t/(-6)?
True
Suppose 3*p - 35 = 28. Is p a multiple of 6?
False
Suppose 2*w = -g - g + 2, -4*w + 2 = 3*g. Does 7 divide 14*(5/g + -2)?
True
Is 9 a factor of (10 + -8)*(-2 - -29)?
True
Let t(u) = -10*u + 8. Does 16 divide t(-4)?
True
Suppose -22*f = -17*f - 1450. Is 29 a factor of f?
True
Let w = -149 - -281. Is 22 a factor of w?
True
Let h = 30 - 23. Suppose 0 = -h*c + 2*c + 55. Is 5 a factor of c?
False
Suppose -5*a + 18 = 4*w, -3*a - 4 = -5*w - 0*w. Suppose 3*l = k + 3*k + 148, -100 = -a*l + 4*k. Does 7 divide l/9*(-9)/(-6)?
False
Let o be 17 + 3 + 0 + 1. Let q = 33 - o. Suppose -q + 50 = n. Is 19 a factor of n?
True
Suppose 8 = -3*h - 2*g, -4*h + g = -2*g - 12. Suppose 4 = -h*n - n. Let y(t) = -2*t**3 - 4*t**2 - 1. Does 25 divide y(n)?
False
Suppose 0 = p - 2*p - g - 4, 3*g + 7 = 2*p. Let q be (p - -2)/(3/6). Is 18 a factor of q*-3*(-74)/12?
False
Is 254/7 - (-22)/(-77) a multiple of 12?
True
Suppose -11*p = -6*p - 350. Is p a multiple of 14?
True
Let t(z) = 6*z + 6. Let a be t(8). Suppose -5*y + 66 = -3*i, 0 = y + 4*y + 3*i - a. Does 12 divide y?
True
Suppose 2*q = 4*q. Suppose -3*l - 18 + 72 = q. Is 8 a factor of l?
False
Let m(h) = 2*h**3 + 2*h**2 - h. Let l be m(1). Suppose 5*g + 23 = -2*q - 30, 0 = -3*g + l*q - 15. Let o(w) = -w**2 - 10*w + 2. Does 8 divide o(g)?
False
Suppose 0 = -5*h + 406 + 284. Does 23 divide h?
True
Does 5 divide (4/5)/(10/375)?
True
Is (-219)/6*8*(-3)/2 a multiple of 60?
False
Let b = 116 + -74. Is 12 a factor of (-340)/(-14) - 12/b?
True
Let v = -299 - -485. Does 62 divide v?
True
Let a(k) be the second derivative of k**4/12 - k**3/6 + 3*k**2/2 - 2*k. Is a(3) a multiple of 3?
True
Let w be 114/(-30) + (-1)/5. Let k be (-1 - w) + -2 + 6. Suppose -k = -4*b + 1. Is 2 a factor of b?
True
Suppose y + 4*x - 10 = 3, 0 = -4*y - 2*x + 52. Let q(h) = -7*h - 8*h - 3 + 3*h - y*h. Does 19 divide q(-2)?
False
Is (-4)/8*-2 - -31 a multiple of 15?
False
Let x(j) = 2*j**2 - 11*j - 3. Is 3 a factor of x(7)?
True
Let m be 1 + (-17)/(-3)*3. Suppose 4*a = 7*a - m. Does 6 divide a?
True
Suppose -3*m + 0 = -15. Suppose 123 - 18 = m*v. Is 21 a factor of v?
True
Let z = 69 - -9. Is z a multiple of 39?
True
Let x(y) = 2*y**2 + 3*y + 3. Let f(i) = -i**3 - 5*i**2 + 8*i + 9. Let v be f(-6). Is x(v) a multiple of 4?
True
Is (11 + -14)/(6/(-196)) a multiple of 48?
False
Let f be 1*2 + 0/6. Suppose -5*g + f*n - 5*n = -100, n = 5. Suppose 0 = d + g - 54. Is d a multiple of 24?
False
Suppose -5*q - 5*s + 115 = 0, 61 = 3*q - 0*s + s. Is 19 a factor of q?
True
Let r = -10 + 20. Is r/5*(5 + -1) a multiple of 8?
True
Let p(z) = 2*z**2 + 4*z + 4. Let n be p(-3). Suppose -r + 20 = -n. Suppose r = -0*m + 2*m. Is 6 a factor of m?
False
Suppose -4*i = n - 138, -2*i + 142 = -3*n + 4*n. Let m = n - 22. Suppose 3*q - m + 28 = 0. Does 16 divide q?
True
Suppose 272 = 34*j - 30*j. Does 34 divide j?
True
Suppose -3*n = 5*i + 27, 2*i + 4*n = -3*i - 26. Let g = i + -5. Is g*(2 - 3) + 2 a multiple of 7?
False
Let n(w) = 12*w**2 - 2*w - 2. Does 42 divide n(2)?
True
Let p = 6 + -22. Let f be p/6*6/(-4). Suppose 0*u - 60 = -2*w + u, -w + 44 = -f*u. Is w a multiple of 14?
True
Let k(r) = -12*r - 1. Is 11 a factor of k(-2)?
False
Suppose -5*o = -4*r - 12, -4*o - 12 = 4*r + o. Let u be -2 - (-6)/(-3)*r. Suppose 2*s - 4*s = 5*l, -3*s + 7 = u*l. Is 5 a factor of s?
True
Let t = 7 - 4. Suppose 0 = -3*l - 3, 0 = 4*u + t*l + 2*l - 15. Suppose 4*w - 66 = -u*g, -3*g + 19 = 2*w - 15. Is 14 a factor of w?
True
Suppose -136 = 8*u - 4*u. Let c = u + 64. Is c a multiple of 15?
True
Does 14 divide -1 - 3/(6/(-226))?
True
Does 14 divide (-130)/(-3) - 20/(-30)?
False
Suppose -4*v - 3 = -27. Let i(f) = f**3 - 5*f**2 - 3*f - 8. Does 5 divide i(v)?
True
Suppose -2*w = -0*w - 90. Is w a multiple of 15?
True
Let v(g) = g + 8. Let t be v(-5). Suppose -t*n - n = -28. Suppose -4*o = -n*o + 72. Is 12 a factor of o?
True
Suppose 4*t - 62 = 2*q, 2 = t + 5*q - q. Does 13 divide t?
False
Suppose -6 = -3*t + 2*t. Let a be ((-4)/t)/((-2)/237). Suppose 0 = 2*r + 4*d - 22, -5*r + 0*d + a = -2*d. Does 15 divide r?
True
Let z(c) = -c**3 + 10*c**2 + 11*c - 20. Is z(8) a multiple of 14?
True
Suppose 3*v - q = 53, -2*v - q + 58 = 4*q. Is v a multiple of 4?
False
Suppose 0 = -2*r + 27 + 9. Let f be 32/r + (-4)/(-18). Is f/(-3)*69/(-2) a multiple of 10?
False
Suppose -19*p = -24*p + 770. Does 11 divide p?
True
Suppose -5*x + 0*x + 5*i + 190 = 0, -2*x = -5*i - 82. Is x a multiple of 19?
False
Does 50 divide ((-912)/(-40))/((-2)/(-25))?
False
Suppose 3*h = -3*k - 12, -4*h - 19 = -3. Does 17 divide -1 + 4 + (k - -45)?
False
Suppose -6*a + 1291 = 205. Does 11 divide a?
False
Let y be 55/(-20) - 2/8. Let z(q) = -q**3 + 2*q + 3. Is z(y) a multiple of 24?
True
Let f = 15 - 8. Let d(x) = -3*x + 4 + f*x + x. Does 16 divide d(4)?
False
Let d = 3 - -1. Let c be (2/4 + 1)*d. Suppose -2*v + c = -v. Is v a multiple of 6?
True
Let b = 5 + -3. Let g = -120 + 247. Suppose 5*o + b - g = 0. Is 23 a