d derivative of -5*q**3/6 - 8*q**2 + 52*q. Is 21 a factor of j(-11)?
False
Let i = 4 + -5. Let l(d) be the first derivative of -9*d**4/2 + d + 1. Does 11 divide l(i)?
False
Suppose -5*v = -3*h - 22 + 2, 16 = 4*v + 3*h. Suppose n = 12 - v. Is 4 a factor of n?
True
Let h(o) = -78*o - 10. Does 19 divide h(-1)?
False
Is 28 a factor of (-1308)/(-54) + 4 - 10/45?
True
Let b(a) = -46*a - 174. Is 17 a factor of b(-23)?
True
Let n be ((-4)/5)/((-6)/15). Suppose 0 = -n*y - 0*y - 72. Is (-6)/27 + (-1844)/y a multiple of 13?
False
Let c be -1 - 74 - 56/(-14). Let o = 146 + c. Is o a multiple of 15?
True
Let k be (58/(-4))/(-1)*2. Suppose -2*j = -3*b + b - 26, 2*b + j + k = 0. Let s = b + 24. Is s a multiple of 3?
False
Suppose 2*r - 1436 = 5*z, 0 = 4*r - z - 3242 + 352. Is r a multiple of 18?
False
Let l = -89 - -152. Let a be (-5 - 0)*l/(-45). Suppose -n + z + 75 = 0, 5*n - 2*z - 345 = -a*z. Is n a multiple of 12?
True
Suppose 4*o - 65 = -53. Let d = -2 + 2. Suppose -o*j - s = -14, j - 4*s = -d*j - 4. Is j a multiple of 4?
True
Let q(n) = -n**2 + 3*n + 27. Let f be q(6). Suppose -19 = -2*s - f. Does 2 divide s?
False
Let t(u) = -6. Let b(j) = j - 19. Let o(y) = 4*b(y) - 11*t(y). Is o(13) a multiple of 7?
True
Let c be (-18)/27 - (-400)/(-3) - 3. Let b = c - -147. Is b a multiple of 3?
False
Suppose 3*p = 6, 5*o + 4*p = -8 - 14. Let c be -4*o/8 - -1. Suppose -c*n + 180 = n. Does 6 divide n?
True
Suppose 0 = 6*x - x - 35. Let b = x - 0. Is 4 a factor of b?
False
Suppose h - 5 = -3. Suppose h*q - 6 = 78. Does 14 divide q?
True
Suppose -4*z + 3 = 5*j, 2*z + z + 15 = 2*j. Suppose -j*w = -2*w - 104. Is 26 a factor of w?
True
Let z(w) = w - 14 + w + 4*w - 8*w. Is 2 a factor of z(-9)?
True
Let m(b) = 2*b**3 + b**2 - b + 1. Let s be ((-2)/(-2) - 2)/(-1). Let q be m(s). Suppose 0 = -t - v - q*v + 32, t - 3*v = 18. Is 12 a factor of t?
True
Let d be 2/6*(2 - -13). Suppose 4*p = -4*j + 380, d*p + 425 = 5*j - 0*p. Does 15 divide j?
True
Let l(c) = c**2 - 11*c + 5. Let u be l(11). Let j be ((-8)/20)/(1/u). Is 4 a factor of j/(-9) + 388/36?
False
Let u(d) = -3*d - 9. Let v be u(-4). Suppose r + 2*l - 130 = -2*l, -l = -v*r + 377. Is r a multiple of 14?
True
Suppose 3*i - 6735 + 257 = 2*h, 5*h + 25 = 0. Is i a multiple of 14?
True
Let w(h) = -2286*h**3 - h**2 - 2*h - 1. Does 86 divide w(-1)?
False
Suppose 0 = 4*h + 5*u - 55, -15 = -2*h + 2*u - 1. Let s be -1 + h - (-5)/5. Is 4/s - 1647/(-45) a multiple of 13?
False
Let m be (3 - (6 + -1)) + -1 + 8. Suppose z - y - 103 = 0, -85 = -6*z + 5*z - m*y. Does 6 divide z?
False
Let r(z) = -z**2 + 10*z - 4. Suppose -3*q - 2*q = -35. Let b be r(q). Is b - ((-36)/(-3))/(-3) a multiple of 19?
False
Suppose 0*m - 851 = 5*v - 2*m, 4*v - m = -679. Let j = -84 - v. Suppose 0 = -5*a + j + 10. Does 6 divide a?
False
Suppose 4*c - 5*q + 9 = 0, 30 = -5*c + c - 2*q. Let z be (-3)/c*6 + 27. Let s = 62 - z. Does 16 divide s?
True
Suppose -j = -321 + 105. Is j a multiple of 18?
True
Let r(u) = -u + 1. Let v(x) be the first derivative of -6*x**2 - 5*x - 5. Let i(j) = -4*r(j) - v(j). Is i(5) a multiple of 27?
True
Suppose h - 5*h + x = -40, -2*x + 52 = 4*h. Does 10 divide (7 - h)/((-3)/30)?
True
Suppose -3*v + 112 = 5*z - 20, z = 4*v + 8. Is 6 a factor of (z/30)/(2/15)?
True
Let u(o) = 7*o. Let d be u(-1). Let q(z) = z**2 + 7*z + 5. Let y be q(d). Suppose 0*v - y*m = -v + 2, m + 10 = v. Does 3 divide v?
True
Let q(d) = -2*d**3 - 5*d**2 - d + 3. Suppose -95 = 5*f - 2*v, -4*f - 5*v - 130 = f. Let j = 18 + f. Does 15 divide q(j)?
True
Let c = 55 + -33. Let q(u) = u**3 - 22*u**2 + 4*u - 71. Is q(c) a multiple of 17?
True
Suppose c - 1275 - 1555 = 0. Does 80 divide c?
False
Suppose -4*q + 1724 = 2*u, -5*q = -15*u + 16*u - 850. Does 15 divide u?
True
Let f(y) be the second derivative of -y**8/6720 + y**7/360 - y**6/720 - 3*y**5/40 + y**4/6 + y. Let d(p) be the third derivative of f(p). Is 5 a factor of d(6)?
False
Let w(b) = 3*b**2 + 5*b. Let f be w(-2). Suppose 5 = f*p - 3. Suppose -8*v + 3*v + 54 = -y, -p*y = -v + 7. Is 3 a factor of v?
False
Suppose 7 - 3 = 2*h. Suppose 3*j - 197 = -4*f, 0 = 5*f - h*j + j - 232. Does 7 divide f?
False
Let n(p) = 4*p**2 + 15*p + 8. Let r be n(-6). Let v = r - 31. Is v a multiple of 9?
False
Let k be (-8)/36 + 38/9. Let l be 6*(10/k + -3). Let i(b) = -b**3 - 3*b**2 - 2*b + 4. Is i(l) a multiple of 5?
True
Let m = 3138 - 2082. Is m a multiple of 19?
False
Suppose 0 = 16*g - g - 1380. Is 8 a factor of g?
False
Suppose -49 = 5*y + 4*o + 41, 5*o = 4*y + 72. Let d = 20 - y. Is 11 a factor of d?
False
Let u(d) be the first derivative of 7*d**5/120 - 13*d**4/24 - 5*d**3/3 + 6. Let v(y) be the third derivative of u(y). Is v(10) a multiple of 19?
True
Let o(v) = 28*v + 17. Is 21 a factor of o(6)?
False
Let g(a) = -1. Let p(b) = 3*b + 21. Let q(j) = 15*g(j) + p(j). Let x be q(-12). Does 30 divide (12/x)/(2/(-300))?
True
Let i(o) = 12*o**2 + 23*o - 185. Is 14 a factor of i(7)?
False
Let d = -71 - -130. Suppose -15*r = -14*r - d. Is 17 a factor of r?
False
Suppose -z = 2*z - 780. Suppose 0 = -r + 5*f - 22, 2*f + 3*f = -4*r + 37. Suppose -l = r*l - z. Is l a multiple of 17?
False
Suppose 4*c + 12 = 2*f, -f = -5*c - 0*c - 9. Is (-672)/(-9)*(6 - 12/f) a multiple of 13?
False
Suppose 2*o = -n - 34, 26 = -o - 5*n - 9. Let w be ((-35)/o)/(3/(-270)). Is 4 a factor of w/(-24) - 6/8?
True
Let y = 64 - 13. Does 7 divide (1/(-3))/((-1)/y) + 2?
False
Suppose -3*u = 16 - 94. Let y = u - 2. Does 6 divide y?
True
Is 11 a factor of (231/(-2))/(3*4/(-120))?
True
Suppose 32 = 4*w + 4*r, 2*r - 6*r = 3*w - 25. Let l be -3 - (-4)/(4/w). Suppose -t = -5, 130 + 105 = 5*s - l*t. Does 17 divide s?
True
Let a = 8 + -2. Suppose a = 4*g - 10. Suppose -32 = -g*d - 4. Does 3 divide d?
False
Let a be (1 - 9) + 4 + 119. Suppose 3*d + 2*w = w + 87, -w = 4*d - a. Is 14 a factor of d?
True
Let b(p) = 1 + 1 + 0*p**2 + p - 9*p**3 + 0 - p**2. Suppose 4*y + 10 = 3*j, j = -3*j + 2*y. Is 14 a factor of b(j)?
False
Let g(f) = -f**2 - 3*f + 6. Let v be g(3). Is 160/2*(-6)/v a multiple of 8?
True
Suppose 0*r - 3*r - 3*y = 21, -4*r + y = 13. Is 234/r*1*(-6 - -4) a multiple of 16?
False
Suppose 0*g - 3*w = 2*g - 140, -3*w + 350 = 5*g. Is 7 a factor of g?
True
Suppose 3*u = -2*a - 8 - 41, 48 = -3*a + 4*u. Is (0 + (-2 - 1))*a a multiple of 20?
True
Let u(l) = -4*l - 35. Let n be u(-11). Let v(a) = -a**2 + a. Let t(g) = -2*g**2 - 2*g + 3. Let o(q) = t(q) - 3*v(q). Does 10 divide o(n)?
False
Suppose 0 = -5*k - 3*h + 2850, -16*k = -15*k - 3*h - 570. Is k a multiple of 10?
True
Let n = -634 - -679. Is 5 a factor of n?
True
Let b be (-158)/(-14) + (-2)/7. Suppose b - 176 = -5*a. Is 8 a factor of a?
False
Let a be ((-45)/(-27))/(1/(-9)). Is 6*(4 - 1 - (a + -1)) a multiple of 19?
True
Let i(y) = 13*y**2 + 10*y + 20. Is i(-4) a multiple of 11?
False
Let u(x) be the first derivative of -x**4/4 - 3*x**3 - 3*x**2/2 - 3*x + 10. Let d be u(-10). Let n = -15 + d. Is n a multiple of 16?
True
Let t(u) = 7*u**2 - 51*u + 354. Is 12 a factor of t(6)?
True
Suppose 2*j + w - 2 = 0, 0 = -3*w + 2 + 4. Suppose r + 3*d + d - 221 = 0, j = -5*d + 15. Is 19 a factor of r?
True
Let q(s) = 22*s**2 + 2*s - 2. Let w = 52 + -51. Is 4 a factor of q(w)?
False
Suppose -1 = -x - 5. Let y be (3 - (0 - x))*-88. Suppose l = 5*l - y. Is l a multiple of 22?
True
Let t(v) = 3*v**2 - 2*v + 3. Let j be 87/27 + (-2)/9. Is t(j) a multiple of 8?
True
Let h(i) = 42*i - 12. Let m(q) = -83*q + 25. Let a(l) = -7*h(l) - 4*m(l). Does 15 divide a(6)?
False
Let c(q) = -q**3 - 4*q**2 + 4*q + 3. Let n(j) = 4*j + 21. Let h be n(-7). Is 27 a factor of c(h)?
False
Suppose 15*w + 4042 - 60652 = 0. Is 51 a factor of w?
True
Let a(m) be the first derivative of m**4/4 + 3*m**3 + m**2 - 7*m + 12. Does 13 divide a(-5)?
False
Let a(p) = -p**2 - 2*p - 2. Let q be a(3). Let y = 23 - q. Is y a multiple of 8?
True
Let s(b) = 4*b**3 - 6*b**2 + 2*b**2 + b**2 - 4 - 3*b - 2*b**3. Is s(3) a multiple of 4?
False
Is (-1 - 5)/((26/752)/(-13)) a multiple of 83?
False
Suppose -1401 = -3*s + 3*q, 9*q = s + 4*q - 467. Suppose -s - 208 = -5*z. Is z a multiple of 27?
True
Suppose 4*r + 56 = 11*r. Suppose r*l + 426 = 2210. Is l a multiple of 9?
False
Let b be 22/(4 + 7/(-2)). Suppose 0 = -5*i - 5*f + 141 + b, 0 = -5*i - 3*f + 181. Suppose -25 = -p + i. Is 20