 + 9. Let v = b - 4. Let x = v + 56. Does 22 divide x?
True
Suppose -3*p = 4*q - 5*q - 70, -8 = -4*q. Suppose -3*u + 36 = 2*u - 4*i, 2*u - 4*i = p. Does 7 divide 6*1 + (u - 3)?
True
Let p = -47 + 90. Suppose 3*b = p + 41. Is 16 a factor of b?
False
Suppose a + 0 = 3*q + 119, -2*q - 385 = -3*a. Does 19 divide a?
False
Let p(d) be the first derivative of d**2/2 + 15*d - 3. Let f be p(-7). Suppose 45 = -3*w + f*w. Does 9 divide w?
True
Suppose -s = -5*s - 248. Let k = 92 + s. Is k a multiple of 15?
True
Let o be (-9)/((-1100)/272 + 4). Suppose 4*t - 64 - o = 0. Is 19 a factor of t?
False
Suppose 0 = 4*x + x - 15. Suppose x*r + 1 = 4. Is 11 a factor of (2 - 1) + 15 - r?
False
Let z(a) be the third derivative of -a**7/840 + 7*a**6/360 - a**5/24 + a**4/4 - a**3/6 + 2*a**2. Let l(x) be the first derivative of z(x). Does 4 divide l(6)?
True
Let c be 2/5 + (-864)/(-15). Let t = c - 26. Is 17 a factor of t?
False
Let n(x) = -x**2 - 4*x - 3. Let z be n(-5). Suppose 5*o = 1 + 9. Is 7 a factor of (z/3)/(o/(-15))?
False
Is 8970/92 + 1/(4/(-6)) a multiple of 6?
True
Let b(p) = -p**3 + 7*p**2 + 7*p + 1. Let w be b(8). Let u(h) = -h**3 - 6*h**2 + 4*h - 4. Does 10 divide u(w)?
False
Let n(l) = l - 2. Let k be n(-8). Is 2 a factor of (k + -8)*(-1)/2?
False
Let d = -30 - -1. Let m = 1 - d. Does 14 divide m?
False
Does 42 divide (-2)/(-4)*(-5 - 1 - -90)?
True
Suppose -u = 5*o - 2 - 8, 4*u = 2*o - 4. Suppose -75 = -d - 2*c, u = 2*d - 5*d + 2*c + 249. Let r = d + -53. Does 10 divide r?
False
Let h be (-1 + 4)*(-88)/(-33). Suppose 1 - h = -q. Is 2 a factor of q?
False
Let o(l) = 2*l**2 + l + 3. Let h = -6 + 10. Suppose 0 = 2*q - h*x - 4, 4*q - 2*x = 2*q + 6. Is o(q) a multiple of 13?
True
Let s = 1 + 0. Let v be (1 - s) + (3 - 2). Is 3 a factor of (-7)/v*6/(-7)?
True
Let y(f) = 13*f**3 - 2*f**2 - f + 2. Let j be y(2). Suppose -5*g + 11 + 9 = 0. Suppose 4*p - 56 - 12 = 2*d, 0 = g*p + 5*d - j. Is 19 a factor of p?
True
Let d = 166 - 138. Is 9 a factor of d?
False
Let f(b) = b**2 - 1. Let q(x) = -3*x**2 + 2*x. Let n(a) = 3*f(a) - q(a). Is 21 a factor of n(3)?
False
Let p be 80/(-44) + (-4)/22. Let v(f) = -7*f - 3. Does 10 divide v(p)?
False
Suppose -40 = -o + 3. Is o a multiple of 10?
False
Suppose 0 = 2*f + 3*q - 150, 4*f - 3*q - 255 = f. Is f a multiple of 16?
False
Suppose -5*y + 2 = -8, 3*a - 2*y - 305 = 0. Suppose 5*l - a = 82. Is l a multiple of 14?
False
Let v = 0 - -3. Let m be -2 - (0 + -1 - 1). Suppose 18 = v*k - m*k. Is k a multiple of 2?
True
Let p(y) = -4*y - 3. Let b be p(-2). Suppose 64 = b*x - 16. Does 8 divide x?
True
Let l(z) = 2*z**2 + 6*z + 2. Let r be l(-4). Does 18 divide 355/r - (-1)/2?
True
Suppose 3*c + 3*f = 1143, 5*f = 2*c + 2*f - 742. Let i be 5/(-20) + c/4. Suppose -5*v + 5*m = -165, 2*v - 4*m - i = -v. Does 16 divide v?
False
Let y be (-2 - 3/(-3)) + 2. Let b be (y - 1) + (-4)/(-2). Does 2 divide b*3*2/6?
True
Let d(c) = -c + 12. Let t be d(0). Suppose 0 = -o - 1 + t. Let f = o - -1. Is f a multiple of 6?
True
Suppose -7 = -2*h - 3. Suppose 2*a + h - 20 = 0. Is 7 a factor of a?
False
Let m(f) = 19*f**2 + 2*f - 1. Let d(v) = -v - 11. Let i be d(-12). Does 18 divide m(i)?
False
Suppose 3*l = -35 + 5. Let o(p) = -5*p**3. Let v be o(-1). Is ((-56)/l)/(1/v) a multiple of 14?
True
Let m be ((-2)/2 - -4)/1. Suppose -m*i = -6*i - 18. Let u = i - -10. Is 4 a factor of u?
True
Suppose 7 = f + 2*o, 5*f - o + 5*o - 41 = 0. Does 3 divide f?
True
Suppose -10*u + 70 = -100. Does 4 divide u?
False
Suppose 6*p - 103 = 5*p + 5*a, -537 = -5*p + 3*a. Is 27 a factor of p?
True
Let h(g) = -g**2 - 6*g + 4. Suppose 2*x = -2*z - 2 - 10, 0 = 5*x. Does 4 divide h(z)?
True
Let j = 6 + -4. Suppose -4 = -4*w + j*w. Is 2 a factor of w?
True
Let t = 8 - 4. Is 2 a factor of t*(5 - 2)/6?
True
Let f(v) be the first derivative of 35*v**3/6 - v**2/2 - v - 4. Let q(g) be the first derivative of f(g). Is q(1) a multiple of 11?
False
Suppose 2 = 4*o + 10, 3*o = -h - 6. Let k be ((-1)/(-2)*h)/(-1). Suppose -a + 45 = 4*p, 3*p - 5*a = -k*p + 51. Is 6 a factor of p?
True
Suppose -4*p + 669 = -v + 6*v, -p + 170 = 4*v. Is p a multiple of 35?
False
Suppose 0 = 4*u - 266 - 486. Is u a multiple of 31?
False
Let x be (-1 + -2 + 3)*-1. Suppose x*s + 66 = -2*s. Let l = s - -54. Does 18 divide l?
False
Let p(f) = -f**2 - 22*f - 16. Is p(-20) a multiple of 4?
True
Let x(k) = k**3 - 4*k**2 - 8*k + 4. Let p be x(5). Let t = 1 - p. Is 12 a factor of t?
True
Let n(t) be the second derivative of -5*t**3/6 - 3*t**2 - t. Suppose 3*x - 2*q = -6*q - 20, -x + 5*q = -6. Is 7 a factor of n(x)?
True
Let d = 218 - 156. Is 21 a factor of d?
False
Let i = -92 + 172. Is i a multiple of 20?
True
Suppose -200 = 4*k - 548. Does 25 divide k?
False
Let o(q) = -31*q**3 - 1. Let m be o(-1). Suppose 3*i - 2*i - m = 0. Is 14 a factor of i?
False
Let z be (-3)/(-5) + 106/(-10). Let w(g) = 64*g + 2. Let b be w(-2). Is 8 a factor of b/(-15) - (-4)/z?
True
Let k = -2 + 8. Let s = k - -10. Does 8 divide s?
True
Is ((-150)/(-9))/((-4)/(-6)) a multiple of 25?
True
Does 9 divide 15 + -2 - (5 - 7)?
False
Let j(w) be the third derivative of w**4/8 - w**3 - w**2. Let p(i) = -i**3 + 4*i**2 + 2*i + 2. Let x be p(4). Does 22 divide j(x)?
False
Let o(d) = -4*d - 1. Let t be o(-11). Let s = t + -13. Is 10 a factor of s?
True
Let h(l) = 2*l**3 - 11*l**2 + 3*l + 5. Let c be h(7). Suppose 0 = 5*q - c + 33. Is q a multiple of 23?
False
Suppose 2*j - 18 = j. Is 8 a factor of j?
False
Suppose 13*c - 177 - 317 = 0. Is 10 a factor of c?
False
Let q(g) = -16*g**3 - 3*g**2 + 2*g + 6. Is 15 a factor of q(-3)?
True
Does 7 divide (3 + -1 + 1)*7?
True
Let a(l) = l - 9. Let y be a(7). Is ((-15)/9 + y)*-3 a multiple of 9?
False
Let h(d) = d**2 - 5*d - 12. Is h(9) a multiple of 6?
True
Let d(n) = 2*n**3 + 3*n**2 + 2*n + 2. Let x be d(-2). Let p = x + 10. Suppose 3*v + y - 75 = 15, p*v = 4*y + 120. Is 15 a factor of v?
True
Suppose 2*w = -3*w - 2*y + 17, 0 = 2*w - 4*y - 2. Suppose 2*x + w = 7. Let q(v) = 6*v - 2. Does 6 divide q(x)?
False
Let l = -12 + 6. Let f = 8 + l. Is 10 a factor of (-2)/f + 1 + 10?
True
Let p(l) = -90*l**3 + 2*l + 1. Let c be p(-1). Let z be (-5 - -1)*(1 - 30). Suppose -4*v = 4*q - z, q - v = 4*q - c. Is 11 a factor of q?
False
Let d = -2 + 4. Let l(g) = 8*g + 5*g**2 - 2*g**3 + 3*g**3 - 2*g**d + 9 + 6*g**2. Is l(-8) a multiple of 3?
True
Let d = 101 - 0. Does 7 divide d?
False
Suppose -24 = -5*y - 4. Suppose 3*h - 4*h + 36 = -3*c, 2*c = y*h - 34. Let m(k) = k**3 + 11*k**2 - 4*k - 7. Is m(c) a multiple of 20?
False
Suppose 3*s - 1 = -4*j - 22, -3*j - 17 = s. Let u(y) = 2*y**2 + y - 9. Let i(v) = -v**2 - v + 5. Let c(r) = -5*i(r) - 2*u(r). Is c(j) a multiple of 4?
False
Is 23 a factor of ((-46)/(-8))/((-6)/(-72))?
True
Suppose 80 = 4*l - 0. Is 4 a factor of l?
True
Let x be ((-6)/4)/((-6)/12). Suppose -x*u + 5*t = -12, -5*t = -3*t. Is 4 a factor of u?
True
Suppose 2*l + 4*c = 14, 2*l - 23 - 18 = 5*c. Does 5 divide l?
False
Let m(k) be the third derivative of -k**6/120 + k**5/10 - k**4/12 - k**3/6 - 5*k**2. Does 7 divide m(5)?
True
Let a be (130 - 1)*(-2)/6. Let n = 60 + a. Is 16 a factor of n?
False
Let j(f) be the third derivative of -5/24*f**4 - f**3 + 0 - 2*f**2 + 0*f. Does 20 divide j(-6)?
False
Suppose 2*a - 15 = -m, m - 3*a + 30 = 3*m. Does 15 divide m?
True
Let r be ((-96)/(-15))/(1/5). Let o = r + 4. Is 18 a factor of o?
True
Let y(v) = -2*v. Let o be y(-1). Let g(h) = -h**2 + 5*h. Let u be g(4). Is ((-5)/(-2))/(o/u) a multiple of 2?
False
Let t = 0 - -4. Suppose -2*k = -t*v - 10, -2*k + 2*v + 10 = -0*v. Suppose 3*x = u - 22, 2*u - 3*x - k = 24. Does 3 divide u?
False
Let y(u) = -u**2 - 7*u + 8. Let o be y(-6). Let c = o + -10. Is c a multiple of 4?
True
Let r be 14 + ((-6)/(-2))/(-3). Let u be (-108)/(-26) + (-2)/r. Suppose -g = -6*g - 5*k + 175, -u*k + 8 = 0. Is g a multiple of 11?
True
Suppose -4*a - 8 = -4*w - 0, 5*w + 3*a = -6. Suppose k = -w*k + 18. Is 7 a factor of k?
False
Suppose 5 = 3*q - 1. Let l(k) be the second derivative of 3*k**5/20 - 2*k**3/3 + 3*k**2/2 + 2*k. Is l(q) a multiple of 12?
False
Let f be (0 - 3)*39/9. Let b(p) = 6*p - 6. Let j be b(4). Let c = j + f. Is 2 a factor of c?
False
Let r = 8 - 4. Suppose -p = 4*k + 1, -r*p + 8*k + 101 = 3*k. Is 15 a factor of p?
False
Let r = -48 - -32. Is 16 a f