False
Suppose 6*g = 4*g + 42. Let h be 0/1 + g/7. Suppose -b + h = -0*b. Does 3 divide b?
True
Suppose 0 = -11*v + 300 + 745. Is v a multiple of 19?
True
Let h = -8 - -16. Let k be 38/h + (-5)/(-20). Suppose k*p - 10 = 85. Is 5 a factor of p?
False
Let g(x) be the third derivative of -x**4/2 + x**3/3 + 13*x**2. Let s(v) = v**3 - 6*v**2 + 6*v - 6. Let n be s(5). Does 7 divide g(n)?
True
Let z(m) = m - 11. Let a be z(15). Suppose -3*v + 102 = -2*x + 5*x, 3*x - a*v - 102 = 0. Suppose -5*q + x = -16. Is 6 a factor of q?
False
Let y = 2 + -8. Let o(r) = 7*r - 13. Let s(n) = 13*n - 25. Let c(g) = y*s(g) + 11*o(g). Is 10 a factor of c(-3)?
True
Let d(f) = -19*f + 5. Does 3 divide d(-1)?
True
Let r(y) = 20*y**3 + 2*y**2 - 13*y - 17. Does 22 divide r(3)?
False
Does 7 divide 5 - (-10 - -1)/(21 + -20)?
True
Suppose -7*c + 87 = -6*c. Let z = 137 - c. Is 6 a factor of z?
False
Let z be 42/9 + (-2)/(-6). Suppose f = -4*f - z. Does 25 divide (f/(-3))/(1/213)?
False
Let k = 21 - 40. Let b = 25 + k. Is ((-32)/b)/(2/(-6)) a multiple of 5?
False
Let v(a) = 7*a**2. Let p(r) = -r**2. Let f(y) = 39*p(y) + 6*v(y). Is f(-3) a multiple of 5?
False
Let y(o) = o + 42. Does 2 divide y(-8)?
True
Let m(i) = -i**2 - 19*i + 32. Does 22 divide m(-16)?
False
Let d(j) be the third derivative of j**4/3 - 25*j**3/6 - 7*j**2. Is 8 a factor of d(8)?
False
Let o be (1/(-2))/((-3)/(-6)). Let d(s) = -12*s + 3. Is d(o) a multiple of 5?
True
Let h(d) = 128*d**3 + d. Let w be h(-1). Let j = w - -196. Suppose -5*l - 22 + j = 0. Is l a multiple of 2?
False
Let n(o) = -o**3 - 5*o**2 + o + 5. Let q be n(-5). Is 17 a factor of q - 6/((-30)/575)?
False
Let r = -73 + 73. Suppose r*d + 2562 = 14*d. Does 13 divide d?
False
Let o = -81 + 81. Let p(x) = -x**2 + 6*x - 1. Let t be p(5). Suppose o*m + 20 = t*m. Does 3 divide m?
False
Let g = -20 + 25. Suppose g*b - 321 = 104. Is 32 a factor of b?
False
Suppose -3*c = s - 812, 0 = 36*c - 35*c - 2*s - 266. Does 6 divide c?
True
Let f(d) be the third derivative of d**5/60 + 5*d**4/12 - 17*d**2. Does 24 divide f(-12)?
True
Let d(y) = -y**3 + y**2 - 2*y + 252. Is d(0) a multiple of 7?
True
Suppose 2*z - 7*z = x - 27, -x + 5*z + 37 = 0. Let j be 50/425 - x/(-17). Suppose 38 = 4*r + 5*d, -6*r + 56 = -r + j*d. Does 4 divide r?
True
Suppose 0 = 8*p - 3*p + 30. Let b be (-292)/(-6) - 2/p. Suppose 0 = -3*v + b + 47. Does 8 divide v?
True
Let z(l) = l**2 + 4*l - 8. Suppose -3*k - 42 = 5*u, 0 = -5*k + 3*k - 8. Let f be z(u). Suppose 179 = -2*o + 7*o + 3*d, -d = f*o - 146. Is 12 a factor of o?
False
Let q = 30 + -27. Suppose 336 = -q*b + 10*b. Is 4 a factor of b?
True
Let i(f) = -f**2 + 29*f + 10. Is i(26) a multiple of 8?
True
Let b be 45/(-20)*136/(-3). Suppose 0 = -b*q + 97*q + 655. Does 18 divide q?
False
Suppose 30*a - 33*a = 72. Is 18 a factor of -108*18/4*8/a?
True
Let y = 531 + -403. Is 8 a factor of y?
True
Let i(l) = l**2 + 4*l - 1. Let y be i(-5). Is 12 a factor of (824/y)/2 - -5?
True
Let a(h) = -h + 2. Let x be a(4). Let p(g) = g**2 - 1. Let l be p(x). Suppose l*k - 84 = -q - 0*q, 3*q - 5*k = 252. Is 28 a factor of q?
True
Let x be (3/(-12))/(4/(-48)). Suppose 2*a - 10 = 0, -d = x*d + a - 17. Is 13 a factor of (-26)/d*(-9)/3?
True
Suppose -96 = 2*f - 2*j, 3*f = 5*f + 2*j + 92. Let p = f - -71. Is p a multiple of 7?
False
Suppose 0 = -7*z - 11*z + 36. Suppose 8 = z*n, n - 212 + 1105 = 3*i. Is 23 a factor of i?
True
Suppose -2*u - 1 = -5. Suppose -2*z + 7 = 3*a, -1 = -z + u*z. Suppose a*q - 5*q = -120. Is 15 a factor of q?
True
Suppose 2*d - 8 = -0*n + n, 4*d + 32 = -n. Let t(s) = s**3 + 16*s**2 - 2*s + 1. Is t(n) a multiple of 10?
False
Let a(j) be the third derivative of j**5/20 + 5*j**4/6 - 7*j**3/3 - 33*j**2. Does 11 divide a(-9)?
False
Suppose -3*o - 11*b = -9*b + 630, 3*o + 3*b + 633 = 0. Let j = o + 425. Is j a multiple of 57?
False
Let g be (-14916)/(-204) - 2/17. Let n = -41 + g. Is 17 a factor of n?
False
Suppose -17*j + 21582 = 5*j. Is j a multiple of 9?
True
Let w(y) = -30*y + 42. Let p be w(5). Let g = -69 - p. Is g a multiple of 2?
False
Suppose -2*v + 9*v + 126 = 0. Is 3 a factor of v*(-4 - 20/(-6))?
True
Let u be -2 + 3 - (0 + 1). Suppose -3*m + 3*h = -60, -m = 4*h - u - 10. Is m a multiple of 3?
True
Let y(i) = 3*i**2 - 58*i - 16. Does 15 divide y(37)?
False
Suppose 2*x = 3*z - 19, 4*z - z - 29 = 4*x. Suppose -5*l + 4*c - 8 = 0, 4*l + c = -4*c - 31. Is (-125)/l + x/20 a multiple of 7?
False
Let m(c) = -48*c + 16. Let k be m(-12). Suppose 4*d + 6*w - 2*w = k, -4*d + 2*w = -592. Does 37 divide d?
True
Let c(s) = -s**2 + 3*s. Let x be c(2). Let o(n) = n**3 - 10*n**2 + n - 13. Let b be o(10). Is 16 a factor of b/(-2) - (-93)/x?
True
Let q(f) = -204*f + 153. Is q(-2) a multiple of 54?
False
Suppose b + 3*b = 0. Suppose b = l - 5*c - 10 - 7, -5*l = 3*c - 1. Suppose r - 29 = -2*v + 28, 3*r = l*v - 53. Does 14 divide v?
True
Suppose -7*z = f - 3*z - 6, -4*z + 26 = 3*f. Suppose 325 = 5*d + 3*r, -5*r = -15 - f. Is d a multiple of 19?
False
Let t(u) = -10*u**2 + 8*u + 1. Let l(j) be the third derivative of -j**5/12 + j**4/6 - 4*j**2. Let c(n) = -5*l(n) + 2*t(n). Does 16 divide c(4)?
False
Is 25 a factor of -3 - 4*((-273)/12 + -3)?
True
Let m be (-1)/((6/9)/(-2)). Suppose 5*q + 2*d = 164, 0*q = -m*q + 2*d + 108. Suppose -134 - q = -4*l. Is l a multiple of 21?
True
Let j be (6/4)/((-15)/(-40)). Suppose -2*n + 4*w = 0, 4*w - 2*w - j = -n. Does 3 divide 9/6*n - -7?
False
Let z be (1474/14)/1 + 74/(-259). Suppose 2*x - x = z. Is x a multiple of 21?
True
Let l(f) = -f**2 + 12*f - 16. Suppose -5*t = -31 - 9. Is l(t) a multiple of 4?
True
Let h be 10*(2 - (-9)/(-6)). Suppose -4*w - 51 + 349 = -2*q, 3*w - h*q = 220. Suppose w = 6*d - d. Is d a multiple of 4?
False
Let x be 20/(-3) - (-1)/(-3). Let f be x/(-1)*(-3)/(-7). Suppose f*j - 28 - 20 = 0. Is j a multiple of 13?
False
Suppose m = -3*k + 14, -2*m - k + 8 = -m. Let c be -1 - 42/(-9) - (-8)/(-12). Suppose v - 85 = -c*v + j, 2*j - 116 = -m*v. Does 8 divide v?
False
Suppose -4*u - 3*m = -20, -4*m + 23 - 7 = 0. Does 13 divide 2*(585/10 - u)?
False
Suppose -419 = -3*l + 61. Is 16 a factor of l?
True
Is 37 a factor of -4 + 180/42 - 41636/(-49)?
False
Let n = -195 - -240. Does 10 divide n?
False
Let w(n) = -44*n - 3. Does 9 divide w(-6)?
True
Does 61 divide 6 - (-7240)/12 - 6/(-9)?
True
Let i be 12/(-24) + (-223)/2. Does 4 divide 4/(-6) - i/24?
True
Suppose 75*d - 28612 = 52*d. Is d a multiple of 60?
False
Let j = 314 - 526. Let c = -112 - j. Is 25 a factor of c?
True
Suppose -4*v + 36 = t - 2*t, 0 = -5*t - 20. Suppose -100 = -v*s + 36. Does 17 divide s?
True
Let d be 435*(2 + 5/(-3)). Let f = d + -33. Does 13 divide f?
False
Suppose -4*l + b = 7, -b - 2 = b. Is (l/6)/((-2)/270) a multiple of 5?
True
Suppose 5*x + 2*m = 5*m + 5665, -2235 = -2*x - 5*m. Is x a multiple of 24?
False
Let o(v) = 26*v - 434. Does 92 divide o(45)?
True
Suppose 5*g - 2675 = -5*d, -g - 3*g = 3*d - 2136. Is 13 a factor of g?
False
Suppose 3*a = 0, 238 = -0*t + 2*t + 5*a. Is 7 a factor of t?
True
Let l(r) = -r**2 - 10*r + 7. Let w be l(-6). Suppose 0 = -3*i + 3*a - 12, 3*i - 23 = -7*a + 3*a. Let j = w - i. Does 10 divide j?
True
Is 12 a factor of (3 + -4)/((-1)/21)?
False
Let v(z) = -2*z + 4. Let p be v(0). Suppose 2*g - p*y - 106 = 5*g, -5*y = -g - 10. Let q = -22 - g. Does 8 divide q?
True
Suppose 4*j + 4*r = 4, -5*r + 7 = -8. Is (7 + -45)*1/j a multiple of 3?
False
Suppose -24*c = -21 - 219. Is 6 a factor of c?
False
Let h = 19 + -18. Let o(s) = -6*s + 60. Let u(f) = f. Let m(c) = h*o(c) + 4*u(c). Does 27 divide m(0)?
False
Is 205/(-246) - (-12430)/12 a multiple of 23?
True
Let d be (-1 - 0) + (1 - -6). Let n = d - 1. Does 8 divide ((-2)/n)/(9/(-540))?
True
Suppose -2 + 17 = 5*q. Suppose 0 = y + q*y - 60. Is 15 a factor of y?
True
Let y = 141 - 5. Suppose 0 = 4*o + 16 - y. Is o a multiple of 6?
True
Let a be (-6)/(-9) + 13/3. Is 20 a factor of a/20*46*6?
False
Let a(v) = -9*v + 113. Does 48 divide a(-26)?
False
Let j(y) = y**2 + 4*y + 6. Suppose 13 + 14 = 5*k - 3*w, -4*w + 34 = 5*k. Let b = k + -11. Is j(b) a multiple of 5?
False
Is 15 a factor of -35*(2/8)/(161/(-1656))?
True
Let k = -1382 - -2029. Is k a multiple of 15?
False
Let b(d) = -d**3 + 5*d**2 - d + 17. Let l be b(-6). Suppose 0 = -4*g - 4*v + 532, -2*v + v = -3*g + l.