s g(5) a multiple of 13?
False
Suppose 4*j = 5*v - 29, 0*j - 4*j + 1 = v. Suppose 20 = -v*b, g - 31 = 3*b + 23. Is 21 a factor of g?
True
Does 11 divide (692/(-10))/(10/(-25))?
False
Let j = -7 + 13. Is 10 a factor of 5*(2 + j/3)?
True
Let a(f) = -f + 4. Let x be a(5). Does 11 divide -1 + x - (-30 + 2)?
False
Let f be (-13)/(-2) + 1/2. Let c = -5 + f. Suppose -p - c*p = -63. Is 21 a factor of p?
True
Let l = -138 - -200. Let w = -43 + l. Does 6 divide w?
False
Suppose -14 = -4*z + 2*m, 4*z + 3*m - 18 = m. Suppose 0 = -l - z*v + 31, 2*l - 3*v - 16 = 2. Does 9 divide l?
False
Let z = 285 - 195. Is 14 a factor of z?
False
Let y(r) = 2*r - 2. Let o be y(2). Suppose 4*d + 2*p = 172, o*p + 3*p = 10. Does 14 divide d?
True
Let w = 155 - 62. Does 19 divide w?
False
Let b be (1 + -1)*(-7 + 6). Suppose 0 = -i + 5*i + 2*r - 20, b = -r. Suppose i*n - 117 = 123. Is 16 a factor of n?
True
Let y be (-4 - -3)*1*-3. Is y/((-9)/33)*-3 a multiple of 16?
False
Let q(h) = -h**3 - 22*h**2 - 29*h - 43. Is q(-21) a multiple of 10?
False
Is 52 a factor of (-22)/55 - 522/(-5)?
True
Let g(l) = 2*l**2 - 83. Does 13 divide g(-10)?
True
Let x = 126 - 23. Let z = x - 66. Is z a multiple of 18?
False
Does 6 divide 21*1 + (-9)/3?
True
Suppose 2*u = 4*u - 24. Suppose -5*q = -q - u. Let s = q + 19. Does 11 divide s?
True
Let x be 402/18 + 2/(-6). Does 32 divide 1412/x - (-4)/(-22)?
True
Let i(c) = 1. Let d(j) = 4*j + 20. Let a(n) = d(n) - 20*i(n). Is 4 a factor of a(3)?
True
Is 20 a factor of 3 + -6 + 184/2?
False
Suppose -4*g = -3*q + 184 + 84, -4*q + 370 = g. Is 16 a factor of q?
False
Let d = -5 - 14. Let p(n) = n**3 - 7*n**2 + 5*n - 3. Let j be p(6). Let a = j - d. Does 3 divide a?
False
Suppose -212 + 76 = -4*h. Is 17 a factor of h?
True
Let s(l) = l**3 + 11*l**2 + 6*l + 12. Is s(-9) a multiple of 8?
True
Let u(b) = -2*b**3 - 5*b**2 - 3*b - 4. Let x(m) = 3*m**3 + 4*m**2 + 2*m + 3. Let w(r) = 3*u(r) + 4*x(r). Let f be w(-2). Let a = 72 + f. Is 20 a factor of a?
False
Suppose 4*s + 3*f - 20 = 5, s - 3*f = -5. Let u(o) = 0*o**2 - 7*o - o**2 + 0 - s - 4*o. Is u(-10) a multiple of 3?
True
Suppose 5*w = -1 + 11. Suppose w*h + h - 3*b = 36, -35 = -3*h + 4*b. Is 6 a factor of h?
False
Let u(k) = -3 - 4 + 6 - k - 1. Let i be u(-5). Does 18 divide (-1)/i*-3*18?
True
Let r(t) = -3*t**3 - t**2. Let q be (-1)/(4/2 - 1). Let z be r(q). Suppose -4*l - 2*h + 76 = 0, 2*l - 10 = z*h + 22. Is l a multiple of 9?
True
Suppose -21*p = -22*p + 95. Does 15 divide p?
False
Let c(w) be the first derivative of w**4/4 - 3*w**3 - 4*w**2 + 3*w + 1. Let x be (-460)/(-45) - (-8)/(-36). Is c(x) a multiple of 12?
False
Is ((-3)/((-60)/(-104)))/((-1)/10) a multiple of 9?
False
Let n(w) = w - 2. Is n(6) even?
True
Suppose -4*w + 255 = -561. Is w a multiple of 28?
False
Let u = 162 + -85. Suppose 0 = q - w - u, -5*q + 4*w + 49 + 341 = 0. Is 14 a factor of q?
False
Let m = 5 - 9. Is ((-5)/m)/((-2)/(-8)) a multiple of 5?
True
Let g(n) = n**3 - 10*n**2 + 9*n. Let o be g(9). Let h = 7 + -3. Let x = h - o. Does 2 divide x?
True
Suppose -196 - 70 = -19*d. Is 8 a factor of d?
False
Let t be (-2)/(-4)*(-9 + -3). Let x be -7*4*21/t. Suppose -i + 90 = 4*j, -4*j + 2*i + i = -x. Does 19 divide j?
False
Is 25 a factor of (-2)/1*(1 + 77/(-2))?
True
Let z(r) = r**2 - r + 42. Let w = 2 + -2. Let h be z(w). Suppose 2*j = -j + h. Is 14 a factor of j?
True
Let i(t) = -t**3 + 7*t**2 + 9*t - 6. Let g be i(8). Let j(z) = 5*z + 1. Does 11 divide j(g)?
True
Suppose 39*c - 44*c = -250. Does 6 divide c?
False
Let r = 6 - 6. Let k = r + 20. Is 10 a factor of k?
True
Let n(j) = -2*j + 5*j - 12 - 7*j - 5*j. Is 9 a factor of n(-8)?
False
Let w(z) = -z**3 - z + 4. Let l be w(0). Let y(q) = q + 1. Let b be y(l). Suppose -b*g + 12 = -3*g. Is g even?
True
Let k(l) = l**2 + 12*l + 13. Let o be k(-11). Suppose -60 = -2*s - 3*h, -5*s + o*h + 77 = -35. Does 12 divide s?
True
Suppose 2*y - 1 = 3*l - 7, 5*l + y - 23 = 0. Suppose l = 5*f - 21. Let d(u) = 2*u**2 - 4*u + 2. Does 16 divide d(f)?
True
Let x(d) be the third derivative of -1/30*d**5 + 5/24*d**4 + 0*d - 1/2*d**3 - d**2 + 0 - 1/120*d**6. Does 8 divide x(-4)?
False
Let a = -3 - -8. Suppose -a*n = -23 - 92. Let u = n + -14. Does 3 divide u?
True
Suppose 5*w - 30 + 120 = 0. Is (64/(-12))/(1/w) a multiple of 30?
False
Suppose -3*r + 7*r = -4. Let f be 0*(r - 2*-1). Suppose f = -5*h - 10, -d - 3*d = -5*h - 190. Is d a multiple of 17?
False
Suppose -h - 65 = 4*i - 174, 5*h = -2*i + 59. Suppose -5 = 3*o + 46. Let a = i + o. Is 10 a factor of a?
True
Suppose b + 239 = 4*a + a, -2*a + 90 = b. Is a a multiple of 6?
False
Let m(o) = 6*o + 20. Is 23 a factor of m(12)?
True
Let s(u) = -11*u + 0*u - 2*u. Let a(m) = -2*m - 11. Let z be a(-5). Is 13 a factor of s(z)?
True
Let z be (-8)/(-6)*(-6066)/(-12). Does 12 divide z/14 - 5/35?
True
Let s be ((-3)/(-6))/((-2)/4). Let q be s/3 - 111/(-9). Let x = q - -4. Is 8 a factor of x?
True
Suppose 14 = -2*p - 2*g, 1 = -3*p + 4*g + 8. Does 15 divide -45*p*4/9?
True
Does 8 divide (-3445)/(-52) + (-6)/(-8)?
False
Let j = 5 + -2. Suppose 2*s + 3*p = -p + 30, 0 = 5*s - j*p - 62. Is s a multiple of 13?
True
Suppose -x = x - 10. Let p(w) = 12*w - 7. Is 22 a factor of p(x)?
False
Let z(a) = 8*a. Let p be z(8). Suppose 0 = 5*t - 0*q + 2*q + 168, -2*q = 3*t + 100. Let w = p + t. Does 21 divide w?
False
Suppose -t + 102 = 2*o, 0 = -o + 4 - 1. Does 32 divide t?
True
Let k = 4 + -2. Suppose k*i = -3*i + 240. Does 17 divide i?
False
Let j be (-2)/(-1)*3/2. Suppose -4*c + j*y = -117, 3*c - 93 = 2*y + 2*y. Is (c/6)/((-2)/(-12)) a multiple of 18?
False
Let r(q) = 1 + 7*q + 5*q - 5*q. Does 3 divide r(1)?
False
Let d be (-2 - 1 - -19) + 1. Let h = d + -8. Does 9 divide h?
True
Suppose 6 = -0*i + 3*i. Suppose 5*u + 3*j - 55 = 0, 3*j = -5*u - i*j + 65. Let a = u + 2. Is a a multiple of 5?
True
Let r = -4 - -49. Is 15 a factor of r?
True
Suppose 0 = -0*o - o - 5*g - 11, -2*g + 2 = 2*o. Let c(t) = 2*t**2 - 3*t - 1. Is 19 a factor of c(o)?
True
Let l = -7 - -9. Is l/6 + 89/3 a multiple of 15?
True
Let m = 3 + -2. Let c be m*(0/2 + -7). Let u(i) = -i - 1. Is u(c) a multiple of 6?
True
Is (20/8)/5*(173 + 1) a multiple of 43?
False
Let c(x) = -x**3 - 12*x**2 - 13*x. Is c(-11) a multiple of 10?
False
Suppose 0 = -3*b - 12. Let k(t) be the first derivative of t**3/3 - 2*t**2 + 3*t - 3. Does 22 divide k(b)?
False
Let f = -2 + 5. Suppose 3*q = f*c - 5*c - 4, -5*q = 20. Suppose 11 = -c*g + 5*g. Does 3 divide g?
False
Suppose -2*y - 2*y = -2*t + 8, -5*t + 3*y - 15 = 0. Let x = t - -18. Does 12 divide x?
True
Suppose 0 = w + 7 - 111. Suppose -v - v = -w. Does 16 divide v?
False
Suppose 1103 = 9*b - 265. Is b a multiple of 19?
True
Let f = 36 - 9. Let s be 1/4 + 2/(-8). Suppose -5*m - 2*r = -153, -m = -s*m + 4*r - f. Is m a multiple of 24?
False
Suppose -3*v - 5*g + 5 + 2 = 0, -g = 4*v + 2. Let b = v + -2. Is (-2)/(-1) + (42 - b) a multiple of 20?
False
Let i be (2/(-4))/1*-2. Is 6 a factor of 14 - i*3/3?
False
Suppose -q - 8 = 3*q, -2*v + q + 2 = 0. Suppose 2*o - 3*o = -3*l - 22, l + 3 = v. Is o a multiple of 13?
True
Is 4 a factor of (128/(-96))/(((-10)/24)/5)?
True
Suppose -6*n + 2*n + 8 = 0. Suppose -4*a = -6*t + n*t - 104, 3*a - t - 82 = 0. Is a a multiple of 14?
True
Let h(u) = u - 1. Let k be h(5). Suppose -k*y + 8*y - 32 = 0. Does 4 divide y?
True
Let d be (3/(-12))/((-1)/(-4)). Let n be ((-8)/(-6))/(2/(-6)). Is (2 - (d + n))*1 a multiple of 4?
False
Is ((-32)/20)/(1/(-15)) a multiple of 4?
True
Let y be (-8)/(-16) + (-9)/(-2). Suppose 4*g - 8 = 8, -g - 156 = -y*j. Is 8 a factor of j?
True
Let h(o) = -13 + 12*o + 4*o - 3*o - o**2. Let i be 2/(1 + (-12)/15). Is h(i) a multiple of 12?
False
Suppose -4*y + 316 = 2*r, 6 = y + 3*r - 68. Is 20 a factor of y?
True
Let i(m) = 5*m**3 - 3*m. Does 21 divide i(3)?
True
Let w = 52 + -22. Is 5 a factor of w?
True
Let c = -7 + 12. Suppose 5*b - 4*u - 150 = 0, -3*u - 44 = -c*b + 101. Does 9 divide b?
False
Let j(o) = 0*o - 2*o + 4*o - 11 - o. Let b be j(7). Let d(i) = i**3 + 7*i**2 + 4*i + 4. Does 13 divide d(b)?
False
Suppose 4*o - 31 = -5*q, 19 = -0*o + o + 5*q. Let u = 33 - o. Is 14 a factor of u?
False
Let w = -9 + 7. Let v be (w + 3)*(-5)/(-1). Suppose -5*i + 5 + 5 = -v*g, g - 2*i + 7 = 0. Is g a multiple of 3?
True
Does 35 divide (1180/(-8))/5*