oes 5 divide q?
False
Let l be (-13)/65 + 478/(-10). Let a = l - -105. Is a a multiple of 11?
False
Let j = -35 - -101. Does 42 divide j?
False
Let i(t) = t**3 - 7*t**2 + 2*t - 6. Let h be i(6). Let m = 22 - h. Is 26 a factor of m?
True
Let x = 203 + -133. Is 11 a factor of x?
False
Let p(a) = 15*a - 59. Is 14 a factor of p(17)?
True
Let v(p) = -3*p - 7. Let u be v(-6). Let a = 20 - u. Is a a multiple of 7?
False
Let c(t) = -t**3 + 4*t**2 + 5*t. Let u be c(5). Suppose u*y = -2*y. Suppose y = -6*p + 2*p + 92. Is 15 a factor of p?
False
Let z be 14/3 - 4/6. Suppose 1 = f + z. Is 8 a factor of 3/(1*f) + 9?
True
Let u be 21*(-2 + 5) - -1. Let g be (-3)/(-9) + u/(-3). Let b = -10 - g. Does 4 divide b?
False
Let d(b) = 1. Let q(o) = 4*o. Let i(v) = 2*d(v) + 2*q(v). Let n(x) = x**2 - x - 1. Let m(s) = i(s) + 6*n(s). Does 22 divide m(-3)?
True
Suppose r = g - 36, g - 5*r = 5 + 15. Is 10 a factor of g?
True
Let z(j) = j**3 - 6*j**2 - 4*j + 5. Is 7 a factor of z(7)?
False
Let t be 6/(-3) + 3 + 1. Suppose -5*f + t*f = 0. Suppose 2*o - 5*o + z + 17 = 0, 5*o + 3*z - 47 = f. Is 6 a factor of o?
False
Suppose -z - 5*t = 1 - 19, -104 = -4*z - 4*t. Is z a multiple of 4?
True
Let w = -24 + 46. Is w a multiple of 5?
False
Let p = 4 + -2. Let s = 0 + p. Suppose -s*j = 2*j + 2*y - 86, 0 = 4*j + y - 85. Does 9 divide j?
False
Let c(d) = 6*d**2 + d - 1. Let x be c(1). Let f(i) = -i**3 + 5*i**2 + 7*i + 2. Is f(x) a multiple of 4?
True
Is 5 a factor of -5 + 28 + -5 - 3?
True
Let j(f) = -82*f - 5. Let b be j(-4). Suppose -83 = 3*i - b. Let p = 118 - i. Is p a multiple of 19?
True
Let a = -22 - -32. Suppose p + p + a = 0, 3*p - 144 = -3*r. Is r a multiple of 15?
False
Suppose 4*d = 3*t - 7*t + 596, 2*d = -4*t + 592. Is 19 a factor of t?
False
Let x(b) = b + 11. Let l(d) = d. Let w(v) = 6*l(v) - x(v). Let k(g) = 4*g - 11. Let i(z) = -6*k(z) + 5*w(z). Is i(-5) a multiple of 6?
True
Let l(c) = c**3 + 9*c**2 - c - 4. Is 22 a factor of l(-8)?
False
Suppose -3*q + q - c = -33, 0 = 5*q + c - 90. Does 13 divide q?
False
Let d(h) = h + 9. Let u be d(-7). Suppose u*t - m = 7 + 26, t = m + 17. Does 8 divide t?
True
Let c = 14 + 3. Is c a multiple of 13?
False
Let m = 31 + -20. Is m a multiple of 11?
True
Suppose -2*k = -4*k. Let o(c) = -c**2 - c + 7. Let i be o(k). Suppose 3*r = -2*t + 78, i*t = 4*r + 2*t - 104. Is r a multiple of 14?
False
Let o(f) = 17*f - 10. Does 9 divide o(5)?
False
Suppose 2*c + 24 = 8*c. Is 21 a factor of 125/3 + c/12?
True
Let r(t) = 4*t**2 - 1. Let w be r(-1). Suppose 4*g = w*m + 21, -g + 3*m = 4*g - 24. Suppose -g*n - 4*z = -122, 2*z + z = 15. Is 17 a factor of n?
True
Let u(a) = a**3 - 6*a**2 + 4*a - 7. Let v be u(5). Let i = 15 - v. Is i a multiple of 5?
False
Let i(s) be the second derivative of -s**3/6 - s**2/2 - s. Does 2 divide i(-5)?
True
Let p = 58 + -40. Does 18 divide p?
True
Suppose 3*c - 564 = 36. Suppose -t = -6*t + c. Does 20 divide t?
True
Let n(t) be the second derivative of t**4/12 + t**3/6 - t. Let m be n(5). Suppose -y = y - m. Does 15 divide y?
True
Is 8/10*(-125)/(-2) a multiple of 25?
True
Suppose z = 4*z - 81. Let s = z - 18. Is 9 a factor of s?
True
Let s be 1*-2 + (2 - 17). Is 4 a factor of (-2)/(2/s) + 0?
False
Let n = -43 + 423. Is n a multiple of 29?
False
Let b(t) = 2 + 0*t**3 + t**3 - 6*t**2 + t**2. Let m(c) = -c**3 - c**2 + 3*c - 3. Let k be m(-3). Is b(k) a multiple of 17?
False
Let t(h) = h**2 + 3*h - 6. Let u(y) = 3*y**2 + 7*y - 13. Let s(b) = -5*t(b) + 2*u(b). Let q be s(3). Suppose -q - 38 = -4*o. Does 5 divide o?
False
Suppose -4*m = -4*h + 4 - 24, -5*h - 3*m = 1. Does 19 divide h/(-10) + 852/15?
True
Suppose -5*n + 3*v + 243 = -0*v, 0 = -n + 2*v + 43. Is n a multiple of 17?
True
Let u = -1 - -3. Suppose b + u = 2*c + 2*c, -2*b + 5*c = 1. Suppose 4*z - 167 = -x, -b*z + 61 = -4*x - 9. Is 14 a factor of z?
False
Suppose 0 = 4*m + 2*r - 12, 4*m - 1 - 3 = -4*r. Let q = 11 - m. Let s = q - -37. Does 17 divide s?
False
Let b(w) = 104*w**2 + 2*w - 2. Does 16 divide b(1)?
False
Let w be (3/(-6))/(-1)*8. Suppose 0 = -w*l + 3 + 1. Let j(p) = 9*p**2. Does 8 divide j(l)?
False
Let o(x) be the third derivative of 7*x**6/720 - x**5/10 - x**4/12 - 2*x**2. Let a(g) be the second derivative of o(g). Is 18 a factor of a(9)?
False
Let d(n) = 3*n**2 - 2*n - 2. Let t be d(5). Let b = t + -28. Is 15 a factor of b?
False
Suppose 5*a = -2*p + 137 + 13, 0 = -5*p - 2*a + 354. Is p a multiple of 24?
False
Let b(t) = -t**3 + t**2 + 4*t - 2. Is 31 a factor of b(-4)?
True
Let m(b) be the third derivative of -b**6/120 + b**5/10 - b**4/8 + b**3/6 + 2*b**2. Let c be m(4). Suppose 5*j + c = l, -12 = -2*l - 2*j + 6. Does 11 divide l?
True
Let b = 9 + -6. Suppose -c = b*c. Suppose c = -p - 3*p + 36. Is 5 a factor of p?
False
Let l(q) = -q**3 + 5*q**2 + 3*q + 9. Suppose z = -2*z + 15. Is 12 a factor of l(z)?
True
Let u be -1*0/3 + 2. Suppose -100 = -u*f - 2*f. Is 8 a factor of f?
False
Suppose -4*c = -4*f - 116, 0*c + 2*c + 2*f = 70. Does 16 divide c?
True
Suppose 4 = -5*q - 6. Let v be q/4 - (-6)/(-4). Does 23 divide (1 + 25/v)*-2?
True
Let s(m) be the third derivative of m**5/60 - m**4/6 - 5*m**3/6 + m**2. Let d be s(5). Suppose d = -5*n - 5*t + 25, 0 = 2*n - 4*n - t + 8. Is 2 a factor of n?
False
Let f = -6 - -16. Does 4 divide (f/(-20))/(1/(-8))?
True
Suppose -5*u + 10 = -3*u. Suppose -4*z = -u*q + 16, 2*z = 2*q + 2*q - 14. Let v(o) = 4*o**3 + 2*o**2 - 2*o + 1. Is v(z) a multiple of 3?
False
Let y(n) = 11*n**2 + 9*n + 13. Does 27 divide y(-5)?
True
Let h be 1/((-1)/(-16)*-2). Let l(y) = -y**2 - 10*y + 1. Does 17 divide l(h)?
True
Let m be (-1 - 3/(-12))*4. Let t = m + 8. Suppose 4*r = -t*b - 0*r + 151, 4*r = -4*b + 120. Does 12 divide b?
False
Suppose -i + 3*i = 16. Let r = i + -5. Suppose r*u - 17 = -2. Does 2 divide u?
False
Let s = 33 + -30. Is s a multiple of 3?
True
Let v(i) be the first derivative of i**4/4 - 5*i**3/3 + i**2 - 6. Let f be -2*2*(-5)/4. Does 10 divide v(f)?
True
Is 6/(-9)*-1*(0 - -102) a multiple of 17?
True
Suppose -a - a = -6, a = -w + 3. Let q = w - -24. Is 17 a factor of q?
False
Suppose 3*u + 1 - 10 = 0. Suppose -26 = -5*g + u*g. Is 8 a factor of g?
False
Suppose -3*x + 10 = 229. Is x/(-5) + (-2)/(-5) a multiple of 15?
True
Let l(m) = -2*m**2 + 19*m - 11. Is 2 a factor of l(8)?
False
Let h(p) be the second derivative of p**4/12 - p**3/3 + p**2 + p. Let g be h(7). Let f = g + -24. Is 13 a factor of f?
True
Suppose 2*p - 20 = -3*p. Suppose -61 = -z - p*t, 5*t + 94 = 4*z - 171. Does 23 divide z?
False
Let o(q) = 10*q**2 + q - 1. Let w = 5 + -4. Is o(w) a multiple of 10?
True
Let h be (-1 + 4/6)*-21. Let b be -1*h/(21/(-18)). Suppose -b - 18 = -3*j. Does 7 divide j?
False
Is 240/42 + (-6)/(-21) a multiple of 6?
True
Suppose o = -3*j + 3 + 54, -2*o + j = -79. Let a = 84 - o. Does 21 divide a?
True
Does 34 divide 3/(3/(-20))*816/(-60)?
True
Suppose -5*x + 4*r = -459, -4*x + 5*r = 4*r - 376. Is x a multiple of 35?
False
Suppose -8*t + 8 = -4*t. Suppose t*r + 81 = 3*r. Is 26 a factor of r?
False
Let j = 185 + -99. Is j a multiple of 20?
False
Suppose -5*k = -7*k + 74. Suppose 2*v - k = 63. Does 25 divide v?
True
Suppose 3*n - 25*n + 638 = 0. Is 3 a factor of n?
False
Let i(j) = j**2 + 8*j - 6. Let g be i(-9). Suppose -5*l - v + 2*v = -26, g*v = -3. Does 2 divide l?
False
Suppose 2*b = -4*n + 12, -n + 4*b + 16 = n. Let t = n + 45. Is 18 a factor of t?
False
Let r(v) = -v**3 + 5*v**2 + 6*v - 8. Let p be r(6). Let z = -2 - p. Does 4 divide z?
False
Suppose 2*b - 4*t = 30, b - 2*t - 20 = t. Let r be (-2)/(-9) - 626/(-18). Suppose l = b*w + r, 4*w + 55 = 4*l + w. Does 6 divide l?
False
Is 12 a factor of (-90)/12*944/(-20) - 1?
False
Suppose -4*w + 2*g - 182 = 0, -w - g - 93 = w. Suppose 0 = -5*d + d - 376. Let z = w - d. Is z a multiple of 13?
False
Let i(v) be the third derivative of v**5/60 + v**4/12 - v**3/6 - v**2. Let r be ((-4)/(-6))/((-4)/(-6)). Is i(r) a multiple of 2?
True
Let x = -40 - 13. Does 27 divide -1 - (x - (-3 - -5))?
True
Suppose 7*x - 2*x + 3*y - 215 = 0, -4*x + 5*y + 209 = 0. Does 15 divide x?
False
Let m be 7 - 1/((-2)/(-4)). Suppose -m*v + 4*k = -2*v - 9, 5*v = k + 32. Does 3 divide v?
False
Suppose -5*m - 2*t = t - 60, 5*m + t - 60 = 0. Suppose 2*s + 0 + m = -c, -2*c + 5*s = -12. Does 9 divide (18/c)/((-5)/10