q(5). Let w(y) = s*y**3 - 1 + 4 + y + 0. Is 9 a factor of w(2)?
False
Let b(m) = -13*m - 5. Let t(i) be the first derivative of i**3/3 + 5*i**2 + 4*i - 6. Let r be t(-9). Is b(r) a multiple of 15?
True
Suppose 966 = 14*q - 5600. Does 7 divide q?
True
Let o be 0 - -1 - (-3 - -172). Let t = o + 237. Does 23 divide t?
True
Suppose b = 5*a - 50, 2*b + 4 = -a + 5*b. Suppose 0 = -19*j + 17*j + 6. Suppose -n + 27 = 2*t, 3*n + j*t - a - 73 = 0. Is 13 a factor of n?
False
Let u be -1 + 4 - (5 - 6). Suppose 232 = 2*y + 5*z, 3*y - u*z = 264 + 107. Is y a multiple of 11?
True
Let r(p) = 38*p**3 - 3*p**2 + p. Let g be r(1). Suppose 5*b = 4*n + g, 4*b = 3*n + 15 + 14. Suppose 2*c = b*c - 48. Does 2 divide c?
True
Let w = -98 - -335. Does 28 divide w?
False
Let b(r) = -r**3 - r**2 + 3*r + 1. Let k be b(-2). Let g be (-3 + 3 + 43)*k. Let d = -11 - g. Is d a multiple of 16?
True
Let q = 650 + -557. Is 3 a factor of q?
True
Let g(q) be the third derivative of 0 + 0*q - 7/6*q**3 - 1/8*q**4 - 4*q**2. Is g(-7) a multiple of 7?
True
Let a be 4 - 5 - 2 - -3. Let z(w) = -w**3 - w**2 - w - 47. Let u be z(a). Let h = 91 + u. Is 11 a factor of h?
True
Let d(z) = z**2 - 12*z + 7. Let y be d(12). Is 9 a factor of 317/7 + (-2)/y?
True
Let d = -131 - -404. Is d a multiple of 6?
False
Let o(b) = b - 3. Suppose -5*t + 19 = -4*y, -7*y = 4*t - 2*y - 7. Let g be o(t). Suppose 5*a - 233 = -4*v + 211, 5*a = g. Does 30 divide v?
False
Suppose 2*k - 1741 = 5*g, -3*k - 4 = -k. Let t be g/(-3) - (-1)/(-3). Suppose 0*a - 4*a + t = 3*v, -a = -v + 41. Is v a multiple of 20?
True
Let l = -933 - -1689. Is l a multiple of 67?
False
Let l(o) = -o**3 + 22*o**2 - 34*o + 49. Does 12 divide l(15)?
False
Suppose -2*f + 61 = -5*q, -4*q = q - 15. Let i = 41 - f. Is i even?
False
Let j(y) = y**3 + 7*y**2 - y - 1. Let a be j(-7). Suppose r - a*r = -70. Does 10 divide r?
False
Let j(w) = -9*w - 9. Let p(x) = 8*x + 9. Let l(s) = -5*j(s) - 4*p(s). Let i be l(-4). Let h = 87 + i. Is 15 a factor of h?
False
Let n = 2306 - 1865. Is 48 a factor of n?
False
Suppose 7*r - 3*r = -l + 15771, 4*r = -5*l + 15751. Is 29 a factor of r?
True
Let y(h) = -5*h + 1. Suppose 4*c + 7 = 3. Let b be y(c). Suppose -3*f + 66 = -b. Is 12 a factor of f?
True
Suppose -5*l - 3*m = -l - 7, l - m - 7 = 0. Suppose -8 - 8 = -l*n. Is 4 a factor of n?
True
Suppose -277*n + 274*n = -42. Does 2 divide n?
True
Let y be (-9)/27 + 136/3. Let w be y/10 + 9/(-6). Suppose w*j + 16 = -3*l + 73, j - 39 = 3*l. Is 15 a factor of j?
False
Let v(l) = 64*l - 36. Is 25 a factor of v(8)?
False
Is -1 + (-14 - -7) + 879 a multiple of 67?
True
Suppose 2*h + 8*b - 51 = 11*b, 0 = -4*h - 2*b + 78. Is 3 a factor of h?
True
Let i(t) = 1562*t**3 - 2*t**2 + t + 1. Is 28 a factor of i(1)?
False
Is 29 a factor of 8/16*1880/4?
False
Is 7/(112/15928) - (-2)/(-4) a multiple of 35?
False
Let k = 1847 + -1287. Is 16 a factor of k?
True
Let b = 8 - 3. Let h(x) = 5*x - 1. Let o(f) = 10*f - 2. Let w(r) = -5*h(r) + 3*o(r). Is w(b) a multiple of 7?
False
Let i(y) = -99*y**2 + 5*y + 12. Let h(b) = b**2 - b - 2. Let f(o) = -6*h(o) - i(o). Does 46 divide f(-1)?
True
Let w(i) = 5*i + 6. Let s be w(-1). Let m(l) = -1079*l**2 - 91*l + 91. Let h(b) = 24*b**2 + 2*b - 2. Let k(p) = 91*h(p) + 2*m(p). Is k(s) a multiple of 16?
False
Let v be 0/(-1 - 1) + 6. Let h(l) = -2*l**2 + 3*l + 22. Let s be h(4). Suppose 2*y - s*q - 28 = 0, -v*y + 4*q = -y - 68. Is y a multiple of 12?
True
Let a(y) = y**3 - 7*y**2 - 5. Does 7 divide a(9)?
False
Let z be -5 + 4 - 24/(-2). Let w = 27 - 70. Let d = z - w. Is 18 a factor of d?
True
Let a(w) = w - 2. Let o be a(5). Suppose -o*q - 49 = -2*j, -65 = -5*j - 5*q + 20. Is 5 a factor of j?
True
Let m be 4/10 + (-38)/(-5). Is (3 + -21)*(-124)/m a multiple of 17?
False
Let s(z) = -z + 5. Let m be s(10). Is 2/m - (-5096)/65 a multiple of 17?
False
Let c(y) = 8*y**2 - y - 6. Is c(-2) a multiple of 14?
True
Let j be (-360)/(-16) - (3/2 - 1). Suppose u = 182 - j. Is 9 a factor of u?
False
Suppose 8*g - 39 + 7 = 0. Suppose -g*f + 504 = f + 2*k, -2*f + 3*k = -194. Does 20 divide f?
True
Let t = -2 - -7. Suppose 4*z - 5 = 2*l - 3, -3*l - t*z + 41 = 0. Is (l/3)/((-6)/(-36)) a multiple of 13?
False
Does 15 divide 9 + 133/(-14) + (-211)/(-2)?
True
Let a be 26 + 1*(-3 + 1 - 0). Suppose 0 = -0*n + 4*n - a. Does 4 divide n?
False
Let z(b) = b**3 + 11*b - 25. Does 3 divide z(2)?
False
Suppose -267 = 2*f + 5*q, f = -q - 104 - 31. Let v = -56 + 91. Does 13 divide (f/(-10))/(14/v)?
False
Suppose -h = -2*r - 0 + 12, -h - 4*r = 0. Let w(b) = -b**3 - 7*b**2 + 7*b. Let u be w(h). Suppose 3*j = -i + 196, -3*i - u + 2 = 0. Does 22 divide j?
True
Let z be (-3 - (-8)/4) + (1 - 3). Let n = z + 87. Does 21 divide n?
True
Let q(s) = 49*s**2 + 8*s - 9. Is q(-5) a multiple of 24?
True
Let l(d) = -d**2 - 10*d - 10. Let h(g) = -g**3 + 16*g**2 - 8*g - 21 - 9*g - 19*g + 22*g. Let y be h(15). Is l(y) a multiple of 7?
True
Suppose -59 - 1 = -3*t. Let h = -20 + t. Is 19 a factor of 8 - 5 - (-54 + h)?
True
Suppose -5*p + 22 = 2*s, -3 = -2*p - 2*s + 7. Let t = 49 - 25. Suppose -z + p*z = t. Is 2 a factor of z?
True
Let v = 17 + -12. Suppose 3*o = -4*a - 4, v*o = -2*a - 3*a - 10. Is 30 - 2 - (-5 + a) a multiple of 14?
False
Let u(s) = s**3 + 4*s**2 - s - 1. Let p be u(-4). Suppose -p*z - 7*h = -3*h - 28, -h + 1 = 0. Does 4 divide z/(-3)*(-21)/4?
False
Let n = -31 - -22. Let y be (-1)/(-2 + n/(-5)). Suppose 5*j - 105 = y*r, -r + 24 - 9 = j. Does 6 divide j?
True
Let v be 9/(-6)*16/(-6). Suppose 0 = -2*n + 2*h + 4 + 8, v*h = -4*n + 56. Is n a multiple of 5?
True
Suppose g + 852 = -4*s + 4*g, -5*g = 3*s + 668. Let o be 1 - 4 - (2 - 313). Let h = s + o. Is h a multiple of 22?
False
Suppose 3*z + 12 = 2*z - 4*q, 3*q = -3. Let k be -10 + (5 - z/(-2)). Let f(t) = -t**3 - 9*t**2 - 6*t + 1. Does 14 divide f(k)?
False
Let s be (-6 - -2)/(5 + -3). Let q be ((-14)/(-21))/(s/(-3)). Suppose -b = -13 + q. Does 7 divide b?
False
Suppose -u = 2*w - 166, -3*w + 0*w + 244 = 4*u. Is w a multiple of 10?
False
Does 10 divide 4/1 - (-13)/((-26)/(-412))?
True
Let g be -2*(3 - 3 - -2). Let z(t) = -27*t - 12. Does 44 divide z(g)?
False
Is 13 a factor of ((-78)/91)/(3*(-6)/43176)?
False
Suppose 3*x - 5*x - 4*b = 8, 5*b = 4*x - 23. Let s be (-53)/(((-15)/(-6))/(-5)). Suppose -4*v + 3*k + 103 = 0, 0 = -3*v - v + x*k + s. Is 14 a factor of v?
True
Let r = 7 + -11. Let f = 11 + r. Suppose f*h - 300 = 2*h. Is 14 a factor of h?
False
Suppose 0 = -a + 5*v - 3, 2*v + 5 - 3 = 2*a. Let z be 3*a/(-6)*-11. Suppose -3*x + 116 - z = 0. Does 15 divide x?
False
Let s(x) = 22*x**2 - 14*x - 60. Is s(-5) a multiple of 28?
True
Let c = -565 + 901. Does 21 divide c?
True
Suppose 2*b = 1127 + 1109. Is 67 a factor of b?
False
Does 24 divide 2*(-4)/(-12) - (-1159)/3?
False
Is (9 + -6)*(-1568)/(-6) a multiple of 11?
False
Does 3 divide (-58*2)/(-3 + 6/6)?
False
Let p(a) be the second derivative of 47*a**3/6 - 3*a**2/2 - 7*a. Is 12 a factor of p(2)?
False
Let h(s) = 82*s - 455. Is 13 a factor of h(13)?
True
Is 9 a factor of 5/1 + (-94 - -386)?
True
Is (9/(-5) - -1)/((-170)/15725) a multiple of 8?
False
Let c(i) = i**3 + i**2 + 1. Let h(t) = 20*t**2 + 2*t - 3. Let z(a) = -3*c(a) + h(a). Does 6 divide z(5)?
True
Let b(n) = 495*n + 323. Is b(2) a multiple of 88?
False
Let q(o) = -o**3 - 9*o**2 + 10*o + 10. Let t(w) = 15*w - 21. Let g(k) = 7*k - 10. Let h(n) = 13*g(n) - 6*t(n). Let f be h(-6). Is q(f) a multiple of 5?
True
Suppose 2*m + p - 5552 = 0, m - 2775 = -0*m - p. Is 148 a factor of m?
False
Let m = 240 + -177. Does 4 divide m?
False
Let s(c) = -2*c + 87. Is 53 a factor of s(-15)?
False
Let g(c) = -3*c - 2 + 2*c + c**3 - 2*c**3 + 7*c**2. Let h = -93 + 99. Is g(h) a multiple of 10?
False
Suppose -k = -2*l - 574, 1372 = 2*k + 5*l + 260. Is 3/6 - k/(-4) a multiple of 20?
False
Let c(l) be the third derivative of l**4/24 + 2*l**3 - 9*l**2. Is 3 a factor of c(11)?
False
Suppose 86 - 12 = 2*a. Let o = a + -17. Does 6 divide o?
False
Suppose -2*a - 416 = -6*a. Let w = 2 + 3. Suppose 21 = w*m - a. Is m a multiple of 5?
True
Suppose 14 = 3*n + 2*b + 4, -5*n - 2*b + 18 = 0. Is 16 a factor of (-1)/(n + -5) + 87?
False
Let j be 1 - (-2 - (-1 + 36)). Let a = -22 + j. Is a a multiple of 4?
True
Let i be 1 + (-1 - -2) - -9. Let r = -7 + i. Suppose -h - 279 