 Let q(v) = v**3 + 8*v**2 - 6*v - 5. Is 17 a factor of q(f)?
False
Suppose -p + 2*o = 3*p - 36, -2*p + 4*o + 24 = 0. Is 8 a factor of p?
True
Let t(d) = -d**3 - 5*d**2 - 5*d + 2. Let j be t(-4). Suppose 5*l - j - 4 = 0. Suppose 5*x = l*z + 43, -z = -3*x + 7 + 19. Is 9 a factor of x?
True
Suppose 2*k + 15 = k. Let b be (-1 + k/6)*10. Let a = 62 + b. Is 10 a factor of a?
False
Let q = -16 + 7. Let y = q - -6. Does 6 divide (1/y)/((-2)/66)?
False
Suppose 0 = a - 2*a + 3. Suppose -4*h = -4*f - 180, -h + 5*f + 181 = a*h. Does 8 divide h?
False
Let o = -5 + 8. Suppose -o*g - 133 = -5*q, 0*g - g = 4*q - 120. Does 13 divide q?
False
Suppose -5*i = -131 - 69. Does 20 divide i?
True
Let b(g) = -g + 4. Let t be b(-7). Let w be 5/2 - 1/2. Suppose 25 + t = w*i. Is i a multiple of 9?
True
Let k = -7 + 13. Let d = 8 - k. Suppose d*l - 22 = 3*q - 0*q, -q - 4 = 0. Is l a multiple of 5?
True
Suppose -3*p = -0*p - 9. Let y = -22 + 36. Let c = p + y. Is 10 a factor of c?
False
Let m = 65 - 35. Is 17 a factor of m?
False
Suppose 4*y + 5*s - 28 = 0, -3*s + 2 = -2*y - 6. Let d(q) = 0*q**2 - 4 + 6*q + 3*q - q**y. Is 7 a factor of d(6)?
True
Let t(q) = q - 6. Let u be 2/2*-2 - -8. Let o be t(u). Suppose -30 = -2*x - 0*z - 2*z, 5*z - 10 = o. Is x a multiple of 6?
False
Does 15 divide (-21813)/(-132) - (3/(-4) - -1)?
True
Let p = -7 + -1. Let q(t) = -t**3 - 7*t**2 + 7*t. Is q(p) a multiple of 4?
True
Suppose -2*z = -s + 5, -4*s + 3*s = z - 5. Suppose 68 = 3*w - 2*d, 5*d - 155 = -s*w - 0*d. Suppose j + w = 2*j. Is 13 a factor of j?
True
Let k(b) = b**2 - 2*b. Let h be k(3). Suppose 4*d = 2*f + 10, h*d - 40 = -f - 4*f. Suppose r - 4 = -3*r, -2*r + 87 = d*a. Is 7 a factor of a?
False
Suppose -u - 16 = -5*u. Suppose u*m = -m + 200. Is m a multiple of 20?
True
Let s(w) = -w + 6. Let x be s(5). Does 7 divide x/(-2) + 306/12?
False
Suppose 4*s - 259 = -3*g + 2*g, -5*g = s - 41. Does 33 divide s?
True
Let z(q) = q - 4. Let y be z(3). Let m(l) = l - 3. Let k be m(-6). Is k/(y*(-9)/(-30)) a multiple of 12?
False
Is 1 + (-30)/26 + (-28728)/(-156) a multiple of 23?
True
Suppose 2*j - 3*j + 5 = 0. Let r be 2/((-2)/6 + 1). Is 17 a factor of (r - j) + (32 - -1)?
False
Let l = -3 + 10. Let m = 11 - l. Suppose -d = 4*u - 14, u - 38 = -m*d + 3. Is d a multiple of 6?
False
Let m be (4 - -2)*(-10)/(-6). Suppose 2*l - 5*u - 10 = -0*u, 0 = -3*l + 5*u + m. Suppose 2*d - 5*o = -0*o + 31, l = 3*d - 4*o - 29. Does 3 divide d?
True
Is 1184/40 - (-2)/5 a multiple of 15?
True
Let w = 125 + -14. Is w/9 + (-4)/12 a multiple of 12?
True
Let l = 4 + 10. Suppose -2*n + l = -6. Is 11 a factor of (n - -1)*(2 + 0)?
True
Suppose -133 = -5*b + 332. Is 36 a factor of b?
False
Let m(o) = 3*o - 8. Let d(h) = 6*h**2 - h. Let u be d(-1). Is 13 a factor of m(u)?
True
Let z(q) = q**3 + 7*q**2 + 5*q - 3. Let o be z(-6). Suppose o*t - t = 14. Is t a multiple of 4?
False
Let d = 186 + -126. Does 12 divide d?
True
Let b(c) = 5*c - 1. Is b(5) a multiple of 12?
True
Is ((-27)/4)/((-335)/160 + 2) a multiple of 9?
True
Let y = 6 + -1. Suppose 9 = 3*t - 2*t + w, 3*w = -y*t + 37. Suppose -2*l - 3*l + t*a + 65 = 0, 20 = 2*l + a. Is 7 a factor of l?
False
Let g be 26/4 + 1/(-2). Let r(n) = -n**3 + 7*n**2 - 2*n - 2. Does 22 divide r(g)?
True
Let d(h) = -h**2 + 13*h - 11. Is d(8) a multiple of 13?
False
Let v be 88 + 0 + 6/3. Suppose -12*m + 15*m - v = 0. Does 10 divide m?
True
Let b(a) = 2*a + 3 - a + 3 - 4. Let g be b(3). Suppose 3*c = -0*c - 2*f + 42, 5*c - 70 = -g*f. Is 7 a factor of c?
True
Let m(j) = j**3 - 12*j**2 + 12*j + 12. Does 4 divide m(11)?
False
Let z(d) = 10*d - 4. Suppose m - 8 = 2. Suppose -2 = -2*f + x, 4*x - m = 6. Is 13 a factor of z(f)?
True
Suppose 0 = -2*d + q + 165, -d + 2*d + 3*q - 93 = 0. Suppose -3*g = -i + g + 31, -3*g - d = -3*i. Is 13 a factor of i?
False
Let q(m) = m**3 - 6*m**2 + 2*m - 4. Let y be q(6). Suppose y - 29 = -3*p. Suppose -2*t - 130 = -p*t. Does 16 divide t?
False
Let w be 38/6 + 2/(-6). Let k(v) be the second derivative of 3*v**3/2 - 3*v**2 - v. Does 14 divide k(w)?
False
Let g(i) = 104*i - 2. Does 12 divide g(3)?
False
Suppose 2*w - 4*l - 8 = 0, 4*w = -6*l + l + 55. Does 10 divide w?
True
Suppose -6*i + 5*y + 50 = -i, -5*y = 2*i + 1. Suppose -2*l = i - 3. Is 11 a factor of (3/l)/(5/(-50))?
False
Let f be 1 + ((-4)/(-1) - 1). Suppose -5*y + 5*c + 284 + 686 = 0, -4*y + c = -764. Suppose -f*t = t - y. Is 13 a factor of t?
False
Let k be (1/4)/((-2)/(-16)). Suppose -h = -5*m - 63, k*m = -h - 3*m + 13. Is h a multiple of 14?
False
Suppose 60 = 6*x - 2*x. Is x a multiple of 15?
True
Is 4 a factor of (32/48)/((-4)/(-246))?
False
Let x(s) = 4*s**2 - 8*s + 12 + s**3 - 9 + 3*s. Is 3 a factor of x(-5)?
True
Is 3/(295/(-1420) - (-1)/4) a multiple of 14?
False
Suppose 4*k + 3*k - 427 = 0. Is 19 a factor of k?
False
Suppose -2*z + z + 69 = 0. Does 15 divide z?
False
Let k(t) be the first derivative of t**6/360 - 7*t**5/60 + t**4/4 - t**3/3 + 4. Let q(l) be the third derivative of k(l). Is 3 a factor of q(14)?
True
Let s(o) = -o**3 - 6*o**2 - 7*o + 2. Suppose -25 = -2*a + 7*a. Does 12 divide s(a)?
True
Suppose 80 = 5*c - 75. Suppose 5*v - c = 19. Is v a multiple of 5?
True
Let d = -1 - -4. Suppose k - 3 = -5*c, -d = -3*c + 2*k - 3*k. Suppose -3*u + 106 = 4*z, -2*u + c*u - z + 79 = 0. Is u a multiple of 21?
True
Let y(p) be the third derivative of -p**6/120 - 2*p**5/15 - p**4/4 + 4*p**3/3 + 3*p**2. Let i be y(-7). Let m(o) = 19*o**3 + o**2. Does 9 divide m(i)?
False
Suppose b - 190 = -9*b. Does 7 divide b?
False
Suppose -3*o = 2*j + 2, 7 - 1 = 4*j + o. Is 2 a factor of j?
True
Let r = 2 - 2. Suppose 4*o - 66 = -2*k, -k + r*k + 31 = 3*o. Is k a multiple of 14?
False
Let s(x) = 6*x**3 + 3*x**2 - 2. Let p(m) = m. Let l be p(2). Let o be s(l). Let z = -25 + o. Is z a multiple of 14?
False
Let k = -81 + 120. Does 13 divide k?
True
Is 0/(-4 - -7) - -30 a multiple of 5?
True
Let b be 96/30 - 1/5. Suppose 4*w + b*y - 211 = -2*y, 0 = -y + 3. Is 10 a factor of w?
False
Suppose -51 = -d + 9. Is d a multiple of 20?
True
Let i = 277 - 101. Is 24 a factor of i?
False
Let o = 57 - 21. Is o a multiple of 12?
True
Let r(b) = 3*b**2 + 7*b - 10. Does 7 divide r(-7)?
False
Let w = -5 - -7. Let a(k) = -k**2 + 5*k - 3. Let u be a(w). Suppose -u*s - s = -12. Does 3 divide s?
True
Is 21 a factor of 24 + -4 + 2 + -1?
True
Let x(i) = -12*i**3 - 2*i**2 + 2*i - 5. Is x(-3) a multiple of 59?
True
Suppose -5*u + 2*u = 0. Suppose c + u = 5. Is c even?
False
Suppose -2*u + 130 = 2*p, -87 = -2*p - 3*u + 44. Is 16 a factor of p?
True
Let g = 39 + -79. Let f = -12 - g. Does 9 divide (1 - f)*(-3)/9?
True
Let q = 32 + 0. Let x be (-8)/((1 + -4)/(-6)). Let t = x + q. Does 9 divide t?
False
Let c = -21 + 63. Does 14 divide c?
True
Is 19 a factor of (-1 + 20)/1*1?
True
Let w(a) = -a**2 - 3*a + 7. Let y be w(5). Let s = y - -49. Does 8 divide s?
True
Suppose -26*t = -23*t - 144. Does 6 divide t?
True
Suppose 3*h - 4*t = 8, -2*h - 5*t = -0*h + 10. Suppose 5*a = 3*x - h*a - 92, -x = -4*a - 26. Does 11 divide x?
False
Let q(z) be the first derivative of -3*z + z**2 + 5/3*z**3 + 3. Does 18 divide q(-3)?
True
Suppose 2*o - 9 = -g - o, -o + 16 = -4*g. Let n(k) = -k - 1. Let c be n(g). Suppose -11 = -j + 3*z + 1, 3*j - c*z = 15. Is j a multiple of 3?
True
Suppose -3*p + 2*n + 2*n - 4 = 0, -3*n + 3 = 3*p. Suppose 0 = -p*h - 3*h + 120. Suppose -k + 31 = 3*z - 82, -2*k - h = -z. Does 12 divide z?
False
Let r(v) = -8*v - 2*v + 3 - 1 + 0. Is r(-3) a multiple of 16?
True
Let o(z) be the second derivative of -z**4/12 - 8*z**3/3 - 7*z**2 - 3*z. Is 9 a factor of o(-14)?
False
Is 7 a factor of 1590/45 - (-2)/(-6)?
True
Let b(j) = j**3 - j - 2. Let q be b(2). Suppose c - q*c = -84. Is c a multiple of 6?
False
Suppose 0 = -3*d + 11 + 814. Does 39 divide d?
False
Let u be -4 - -2 - (2 + -8). Suppose -y - u = -2*y. Suppose 0*v + 2*v = y. Is v a multiple of 2?
True
Let a(c) be the second derivative of c**5/20 + c**4/12 + c**3/6 + 2*c**2 + c. Let v be a(0). Suppose -5*x + 3*x + u = -19, -x - v = 4*u. Does 4 divide x?
True
Let t = 8 - 3. Suppose t*f = -y - 15, 5*y - 12 = 2*y + 4*f. Suppose -5*r + 145 = -y*r. Is r a multiple of 15?
False
Let t(q) = q**3 + 3*q**2 - q - 3. Let w be t(-3). Suppose 2*o - 6*o - 16 = w. Let d(u) = -u**2 - 9*u - 4. Is 13 a factor o