*y - 4. Is b(f) a multiple of 6?
False
Is 47 a factor of -4 - 830/(-4 + -1)?
False
Suppose 3*u = -n + 146, 5*u - 230 = 4*n + n. Suppose -4*t = 3*k - 63, 3*k - u = -0*t - 3*t. Let c = -7 + t. Does 6 divide c?
False
Suppose 2*i = -2*i. Suppose i*h = 4*h - 112. Is h a multiple of 14?
True
Suppose -4*a = 4*s - 412, -3*s = -0*a + a - 111. Is 11 a factor of a?
True
Let n(r) = r**3 - 11*r**2 + 3*r - 4. Let l(z) = z**3 - 10*z**2 + 3*z - 4. Suppose 0 = -4*x + 5 + 15. Let y(g) = x*l(g) - 4*n(g). Is y(6) a multiple of 7?
True
Let r(j) = 4*j**3 + j**2 + 2*j - 2. Is 7 a factor of r(2)?
False
Is (16 - 1)*(-45)/(-25) a multiple of 13?
False
Let u(w) = 7*w - 57. Is 14 a factor of u(17)?
False
Suppose 2*x + 1 = 3*s - 3, -s = -4*x + 2. Suppose -5*z + 94 = 2*n, s*n - 2*z - 110 = -3*z. Does 24 divide n?
False
Is (1 + 5)*(-21)/(-14) a multiple of 9?
True
Let x(y) be the first derivative of -y**4/4 - 10*y**3/3 + y**2 - 9*y + 4. Is 30 a factor of x(-11)?
True
Let n(a) = -22*a**2. Let z be n(1). Is 4/z - (-2648)/44 a multiple of 14?
False
Is 1/1*(55 - 8) a multiple of 13?
False
Is 36 a factor of (1373 + 1)*(-10)/(-60)?
False
Let r(k) be the first derivative of -3*k**2/2 + 5*k + 1. Is r(-8) a multiple of 17?
False
Let s be 2/(-3 + (-4)/(-2)). Let k = s - -10. Is 8 a factor of k?
True
Let k(r) = -r**2 - 4*r + 3. Let b be k(-4). Is 1*9/b - -19 a multiple of 10?
False
Let c be (-2)/3 + 366/9. Let z(p) = -p**2 - 10*p - 6. Let s be z(-9). Suppose 5*x - c = s*x. Is x a multiple of 10?
True
Is 5 a factor of 685/45 - 2/9?
True
Suppose 4*b = 43 + 25. Let l = b - -24. Suppose 3*j + 5*q - 53 = 0, -4*j + j - 2*q + l = 0. Is 11 a factor of j?
True
Let l = -84 + 101. Is l a multiple of 5?
False
Let y be ((-36)/15)/(5/(-100)). Does 7 divide (-59)/(-4) + y/(-64)?
True
Let u(r) = -17*r - 1. Let a = 1 - 2. Is u(a) a multiple of 12?
False
Suppose k + 6*o = 3*o + 20, k - o - 12 = 0. Does 7 divide k?
True
Suppose 0 - 4 = -p. Suppose 2*a = p*a + 3*k + 111, 4*k = 2*a + 76. Let y = a + 81. Does 14 divide y?
False
Suppose 11*s - 375 = 6*s. Is 7 a factor of s?
False
Let l be (-66)/(-15) + 3/5. Suppose p + 194 = -n + 5*n, -3*p = -l*n + 246. Is n a multiple of 16?
True
Suppose -3*r + 4*r = 47. Does 11 divide r?
False
Let d(x) = x**2 + 7*x + 2. Let k be d(-3). Let f = k - -17. Does 2 divide f?
False
Let i(m) = 5*m - 3. Suppose 1 = 2*v - 5. Is 6 a factor of i(v)?
True
Let n = 8 + -6. Suppose -n*h = 3*c - 36, 3*h + 0*h = 4*c + 54. Is h a multiple of 6?
True
Let p(c) = 12*c**2 + c + 1. Let r = 2 + -3. Is p(r) a multiple of 7?
False
Let a(j) = j**3 - 11*j**2 - j + 10. Let r be a(11). Let o(h) = 29*h**2 - 7*h + 4. Let n(b) = -b + 1. Let x(i) = -5*n(i) + o(i). Is x(r) a multiple of 15?
True
Let i be (1 - 0) + -7 + 8. Suppose -4*j + 83 = -x, i*x - 37 = -j - x. Does 22 divide j?
True
Let y(h) = -7*h**2 - 18*h - 8. Let i(b) be the first derivative of 2*b**3 + 17*b**2/2 + 7*b - 2. Let r(w) = -6*i(w) - 5*y(w). Is r(-9) a multiple of 15?
False
Let q(d) = d**3 + 6*d**2 + 4*d + 2. Let a be q(-4). Let b be 832/a + 2/(-9). Suppose -5*v - 2*t = -b, -46 = -7*v + 3*v + 3*t. Is v a multiple of 10?
True
Let o = 3 - 7. Is 13 a factor of 50/4 + (-2)/o?
True
Is 32 a factor of 3 + 4 + 484/4?
True
Let h = 22 - -18. Does 8 divide h?
True
Let l = 4 + -2. Let j(v) = 4 - 3*v + 0*v - v - l*v + v**2. Is j(6) a multiple of 2?
True
Suppose 6*s = 3*s + 2*t + 101, 0 = -4*s - 2*t + 144. Is s a multiple of 10?
False
Let k = 63 + -26. Is 5 a factor of k?
False
Suppose 5*d = -10 - 0. Let l be d/(-4) + (-5)/(-2). Suppose -4*v + 17 = l*k - 14, -v = -3*k - 4. Is v a multiple of 7?
True
Let i(k) = k**2 - 3*k + 2. Let l(h) = -2*h**2 + 5*h - 3. Let v(g) = 8*i(g) + 5*l(g). Let w be v(-1). Is (-1 - w)*1*31 a multiple of 15?
False
Suppose 0*z = z + 2. Let j = z + 5. Suppose -o = j*k - 16, 3*k - 42 = 4*o - 16. Is 4 a factor of k?
False
Let f be 2*12/(-8) - -4. Let g = 2 + f. Is g a multiple of 3?
True
Let g(k) = 2*k + 55. Does 16 divide g(0)?
False
Suppose 0 = -3*v - 125 - 199. Let r = -74 - v. Is 15 a factor of r?
False
Let q = 0 + 6. Let m(v) = -5*v**3 + 6*v**2 + 2*v + 3. Let w(a) = -4*a**3 + 5*a**2 + 2*a + 3. Let y(r) = q*w(r) - 5*m(r). Does 13 divide y(3)?
False
Suppose 34 + 62 = 6*w. Is 16 a factor of w?
True
Suppose -m + 8 = -17. Does 25 divide m?
True
Let b(d) = d**3 - 7*d**2 + 3*d - 9. Let i be b(7). Is 54/i*4/3 a multiple of 2?
True
Let k(q) = -q**2 + 9*q + 9. Is 14 a factor of k(7)?
False
Suppose -u = 2*u - 9. Suppose u*n - 8 = -n. Is (-1)/(1/(-22)) + n a multiple of 11?
False
Suppose h - 5*j - 14 = 0, 4*h - 17 = 3*h + 2*j. Is h a multiple of 3?
False
Suppose -36 - 89 = -5*h. Is h a multiple of 25?
True
Suppose -3*r + 6*r = 0. Let z be r + 3 + -2 + 3. Is (-6)/z - (-62)/4 a multiple of 7?
True
Suppose 5*s - 44 = 3*k, -5*s - 3*k = -0*s - 26. Let t = s + -3. Suppose t*j - 118 = p, -4*p + 96 = 2*j + 28. Is j a multiple of 17?
False
Let k = 0 + -32. Let u = -13 - k. Let h = 27 - u. Does 3 divide h?
False
Suppose k = -4*k + 20. Suppose k*r + 6 = 18. Is 15 a factor of (-12 - -2)*r/(-2)?
True
Let h = 71 + -46. Suppose -2*f = -2*b + 4, -5*b = 5*f - 3*b - h. Is f a multiple of 3?
True
Let i(v) = -10*v + 12. Is 5 a factor of i(-5)?
False
Let j(k) = -k**3 + k**2 - 2*k - 1. Let n be j(2). Let t be 206/6 - 6/n. Suppose 5*o - t = -0*o. Is o a multiple of 7?
True
Suppose -13 - 2 = -5*f. Is 5 a factor of f/(0 - (-9)/15)?
True
Suppose 20 = -4*w + 4*v, 0 = -0*w - 3*w + v - 9. Let b be 76/(-10) + (-4)/10. Is 8 a factor of ((-6)/w)/((-3)/b)?
True
Is 12/16 - (-3102)/24 a multiple of 10?
True
Let q be 0*(-3)/(-6) - -3. Let t(b) = 7*b**3 + 2 + 4*b + 2 - 6*b**2 - 6*b**q. Does 14 divide t(6)?
True
Let o = -80 + 324. Does 51 divide o?
False
Let r = -153 + 323. Is r a multiple of 17?
True
Let k(v) = 3*v**2 + 6*v - 5. Let f be k(4). Let h = -26 + f. Is h a multiple of 22?
False
Suppose -5*p + t = -54, 4*p = -3*t - 5 + 33. Is 5 a factor of 7 - p - 36/(-2)?
True
Suppose 2*t = -4*d + 208, 5*d - 150 = 2*t + 101. Is d a multiple of 17?
True
Let k = -29 + 77. Is k a multiple of 8?
True
Let z(c) = -c**2 - 21*c + 22. Is 11 a factor of z(-20)?
False
Suppose 145 = 6*i + 7. Is i a multiple of 3?
False
Let c = -111 - -345. Does 14 divide c?
False
Is 17 a factor of (-7*(-18)/168)/(1/68)?
True
Is 4 a factor of (-2)/(-4)*6 + 405/9?
True
Let i = 8 + -6. Is 6 a factor of 16 + i*2/(-4)?
False
Suppose -16 = -4*r + 4*c, 5*r + 17 = -c + 43. Suppose 0 = -p + 4*p - h - 46, 0 = -2*p - 5*h + 8. Let g = p - r. Is g a multiple of 5?
False
Suppose -3*q = -0*q - 5*u - 66, 4*u - 66 = -2*q. Suppose -4*j + x + 123 = -4*x, -j + 5*x + q = 0. Is 16 a factor of j?
True
Suppose -2*g - l - l = 6, -g - 4*l - 15 = 0. Suppose 4 = u + g. Suppose 2*k - 46 = -u*i, -2*i + 28 = -0*k + 4*k. Does 10 divide i?
False
Let z(w) = -w**2 - 4*w + 7. Let o be z(-5). Suppose o*q - 4*q = -4*s - 18, 4*q - 16 = 4*s. Is (-2 + q)/3 + 13 a multiple of 6?
True
Let q(b) = b**3 + 4*b**2 + b. Let g(h) = h**3 + h**2 - 5*h - 5 + 2 + 3*h**2 + 0*h. Let p be g(-5). Does 6 divide q(p)?
True
Let j(b) = 2*b**2 - b - 14. Does 21 divide j(6)?
False
Let y be 539/4 - 10/(-40). Suppose 4*i + k - 185 = -0*i, y = 3*i + 2*k. Is 22 a factor of i?
False
Suppose -15 = -k + 5*j + 1, k + 24 = -5*j. Suppose -5*x - 32 - 45 = 2*l, 0 = 5*l + 3*x + 164. Let s = k - l. Does 10 divide s?
False
Let y be 11/2*(-1 + -13). Let u = 110 + y. Is u a multiple of 21?
False
Let q = 1 - -5. Is 6 a factor of q?
True
Is (1 - (-12)/(-9))*-51 a multiple of 4?
False
Let v(j) = -j**3 + 8*j**2 - 7*j + 2. Let q be v(7). Suppose -5*y = 2*i + q - 9, 0 = -5*y - 25. Is i a multiple of 10?
False
Let u(g) = -27*g + 6. Let b be u(-5). Suppose 137 = 4*k - j, -4*j - b = -4*k + j. Is 17 a factor of k?
True
Let r(s) = -14*s**2 + s - 1. Let g(b) = 13*b**2 - b + 1. Let a(m) = -4*g(m) - 5*r(m). Is a(1) a multiple of 13?
False
Suppose 86 = p + 67. Does 17 divide p?
False
Does 21 divide 4*3/(-18) - (-736)/6?
False
Does 4 divide (5 + 22)*(0 + 2 - 1)?
False
Let x(b) = b**3 + 5*b**2 + 3*b + 5. Suppose p - 6 = 3*p. Let l = -1 + p. Is 3 a factor of x(l)?
True
Let n be 0 - ((0 - -1) + -2). Does 13 divide (2 - 3)*n + 68?
False
Let p = -33 + 47. Let v = 26 - p. Is 12 a factor of v?
True
Let z be (-2)/(-4) + 820/8. Suppose -3*v = 7 - z. Is v a multiple of 8?
True
Let o(q) = q + 5. Let p be o(0).