
Let b(c) = 4*c**3 - 5*c**2 + 3*c + 2. Does 24 divide b(3)?
False
Suppose 5*k + 20 = 0, 4*k + 17 = -3*u + 2*k. Is (-8)/((-1 - u)/(-1)) a multiple of 3?
False
Let b = 108 + -53. Does 8 divide b?
False
Let k = -1 - 0. Let o be k - (2 - 15/3). Suppose a - o*a + 12 = 0. Is 6 a factor of a?
True
Let h = -17 + 59. Is 14 a factor of h?
True
Suppose -2*h + 3*j + 18 = -1, -4*h = 3*j + 7. Is 3 + h + 13 + -1 a multiple of 5?
False
Suppose 3*p - f + 116 = -p, 116 = -4*p - 4*f. Let n = p - -55. Does 13 divide n?
True
Let u(y) = 57*y + 5. Is u(3) a multiple of 11?
True
Let q = 55 + 173. Does 12 divide q?
True
Let k(u) = -u**2 - u + 8. Let z be k(0). Let l(w) = 4*w - 8. Is l(z) a multiple of 6?
True
Suppose q + 5*m = 27, -2*q + 3*m - 6 = m. Suppose 0 = -4*p - 4, 4*x - 4 = -q*p + 114. Is x a multiple of 15?
True
Let u = 18 - 10. Does 5 divide u?
False
Let w be 1 - (-1 - 1 - -3). Suppose w = 3*h - 0*h - 66. Is 22 a factor of h?
True
Let c(r) = r**2 - r + 12. Let f be c(0). Let d = f - 5. Is 7 a factor of d?
True
Suppose 3 = 2*x + 7, 4*i + 4*x - 16 = 0. Is 5 a factor of (-1067)/(-66) + (-1)/i?
False
Suppose -4*a + 24 = 4*s - 0*s, 0 = -2*s - 4*a + 18. Is s a multiple of 2?
False
Let n(h) = h**2 + 3*h. Let j be n(-4). Suppose 0 = -3*r + 5*p + 16, j*p - 6 + 2 = 0. Is r a multiple of 4?
False
Let u = 4 + -3. Let t(q) = -16*q**2 + 3*q - 1. Let a(c) = c. Let y(v) = 3*a(v) - t(v). Is y(u) a multiple of 9?
False
Let w(b) = -b**3 - 7*b**2 + 6*b - 5. Let s be 2/3*1*-12. Is 4 a factor of w(s)?
False
Is 9 a factor of (3/15*18)/((-6)/(-45))?
True
Suppose u + u = -4. Let z = u + 11. Does 9 divide z?
True
Let x = -37 + 72. Let y = 7 + x. Is y a multiple of 14?
True
Let p = -2 - -19. Is p a multiple of 8?
False
Let r(a) = -5*a - 16. Let l(d) = -14*d - 47. Suppose 2*v - 78 = -4*g + 4*v, -2*v - 61 = -3*g. Let c(m) = g*r(m) - 6*l(m). Is 10 a factor of c(0)?
True
Does 11 divide 1/((-150)/153 - -1)?
False
Let q be (-4)/(-10) + 2169/15. Let c = 205 - q. Suppose 2*o - 2*k - c = 0, -2*o + o + 38 = -5*k. Is o a multiple of 15?
False
Suppose 0 = 2*p - r - 0*r - 3, 0 = -p + 2*r. Suppose 3 = p*i + 5*t + 37, -5*i - 100 = 5*t. Let n = 4 - i. Is 13 a factor of n?
True
Let v(x) = 10*x - 6. Suppose -10 = -h - h, -3*y - 4*h = -35. Suppose -5*f = -y*c + 50, -4*f - 9 = -2*c + 21. Is 14 a factor of v(c)?
False
Suppose 3*s - 130 = 2*b, s - 5*b = -0*b + 26. Does 23 divide s?
True
Let i(l) = -l + 9. Is 4 a factor of i(5)?
True
Let u = -135 + 288. Suppose -u = 2*t - 5*t. Suppose -3*n + t + 21 = 0. Is 12 a factor of n?
True
Let a(p) = p**3 + 8*p**2 + 2*p + 5. Let q be a(-7). Suppose 3*y - 5*c = q, -c + 40 = -5*y + 136. Does 17 divide y?
False
Suppose -4*m + 3*u + 419 = 0, 3*u + 0*u = -4*m + 413. Is m a multiple of 16?
False
Let s = 6 - 4. Suppose -15 = -s*o + 9. Is o a multiple of 12?
True
Let h(y) = -25*y + 18. Let u be h(-9). Suppose 5*c = 57 + u. Does 15 divide c?
True
Let n = 55 - 38. Does 3 divide n?
False
Suppose -s - 4*s = n - 3, -5*n + 15 = s. Does 11 divide 22/(s + (-6)/(-15))?
True
Let b be 3/((-6)/(-244)) + 0. Suppose 4*z - 3*u + u = b, -3*z = -3*u - 93. Is 4 a factor of (-4)/14 + z/7?
True
Let l be 1/(-4) + 1*(-21)/12. Suppose 40 = 4*q - 5*s, -5*q + 5*s = -0*s - 45. Is 3 - 2 - (l - q) a multiple of 3?
False
Suppose 0 = -2*b + b. Suppose -10 = -5*i - b. Is 2 a factor of i?
True
Let m(z) = -2*z - 1. Suppose -4*l + 10 = -2*g, -5*l = g - 24 + 8. Let k = l + -8. Is m(k) a multiple of 4?
False
Let w(t) = -2*t - 1. Let r be w(1). Let k be (-1)/3 - 19/r. Let c = k + -4. Does 2 divide c?
True
Let y = -418 - -589. Is 19 a factor of y?
True
Suppose 3*z - 345 = 45. Is z a multiple of 36?
False
Let a be (-3)/(-9) + (-8)/6*106. Let v(p) = -p**3 - 4*p**2 + 5*p + 2. Let w be v(-4). Is 5 a factor of 4/w + a/(-27)?
True
Is 13 a factor of (5 - 195/(-25))*(-60)/(-3)?
False
Let v be (-3)/2 + 51/(-2). Let j = 63 + v. Is 21 a factor of j?
False
Suppose 6*x - 3*x = 15. Suppose -2*d - 2*s + 70 = 0, x*d = d - s + 143. Is d a multiple of 9?
True
Suppose 5*d + 124 = 2*v - 74, -3*v + 297 = 4*d. Does 11 divide v?
True
Let p = 47 + -26. Does 8 divide p?
False
Let f = -7 - 3. Does 9 divide (f*1)/(-5 + 4)?
False
Suppose -6*n = -419 + 59. Is 19 a factor of n?
False
Suppose -z - 4 = 0, -j - 3 = -0*j + 2*z. Suppose 56 = j*b - 3*b. Does 14 divide b?
True
Let j(r) be the first derivative of r**6/120 - 3*r**5/20 + r**4/6 - 2*r**3 + r**2/2 - 3. Let t(h) be the second derivative of j(h). Is t(9) a multiple of 7?
False
Let l = 16 + -19. Let u = 12 + l. Does 3 divide u?
True
Let f = 22 - 18. Is 2 a factor of f?
True
Let w be (-21)/35 - 13/(-5). Suppose w*u - 57 = -9. Is 12 a factor of u?
True
Let p = 7 + -12. Let b(c) = -6*c + 7. Does 18 divide b(p)?
False
Suppose -300 = 17*w - 4941. Does 13 divide w?
True
Let v = 10 - 5. Let o(d) = -v*d**2 - 6*d + 2*d**2 + 4 + 2*d**2. Is 6 a factor of o(-4)?
True
Let y(q) = -5*q**2 + 7. Let b be y(-5). Let x = -58 - b. Is 20 a factor of x?
True
Is 3 a factor of (-4)/((-8)/(-2)) + 10?
True
Let k(y) = -155*y - 10. Is 15 a factor of k(-3)?
False
Suppose -4*s - 42 + 6 = 0. Let p = 4 + s. Is (-36)/3*(1 + p) a multiple of 24?
True
Suppose 4*q - 5*r = 71 + 44, 5*r = 5. Does 10 divide q?
True
Is 1 + ((-15)/(-6) - 2)*164 a multiple of 16?
False
Suppose 4 = 2*l + 5*j - 2, -3*j + 3 = l. Suppose -k + l*k = 6. Suppose -2*r - 4*n = -40, 0 = -k*r + 2*r + 3*n + 15. Is r a multiple of 6?
True
Let h(y) = 6*y**3 - 2*y**2 + 3*y. Does 23 divide h(2)?
True
Suppose 4*b = 4*i + 56, -4*b - 4 = 2*i - 0*b. Let r be 22/i + 3/15. Does 13 divide 3*-1 - (r + -45)?
False
Let m(d) = -5*d - 5 - 2 - d + 3. Does 13 divide m(-5)?
True
Let d = 535 - 371. Let o = 97 - d. Let g = 107 + o. Is 20 a factor of g?
True
Let u = -6 + 11. Let d(g) = -g + 1. Let k(i) = i**2 - 9*i. Let w(p) = 4*d(p) - k(p). Is w(u) a multiple of 4?
True
Let s = 7 - 0. Suppose -5*b - 4*a = -29, s*b - 4*b - a = 14. Suppose -b*r - 24 + 204 = 0. Does 12 divide r?
True
Let d = -14 + 26. Is d a multiple of 6?
True
Suppose 0 = 2*g + g - 288. Is 8 a factor of (g/30)/((-1)/(-5))?
True
Suppose -20 = -5*v + 10. Is 78/8 + v/24 a multiple of 5?
True
Let r = 6 + -6. Suppose -h = a - 62, r = 5*a - 4 - 21. Does 19 divide h?
True
Let b(t) be the second derivative of t**3 + 3*t**2 - t. Is b(4) a multiple of 15?
True
Let v(z) = 3 + 1 - 1 + z**2 - 2. Is v(-2) a multiple of 5?
True
Suppose -6*z = -5*z + 5*c + 18, 21 = -2*z - 5*c. Does 3 divide (-30)/(-9)*z*-1?
False
Suppose 0 = 2*o - h + 35 - 0, -5*o - 3*h - 104 = 0. Let t = 103 - 72. Let n = o + t. Is n a multiple of 4?
True
Suppose -3*v + 315 = 3*o, 3*v = 5*v + 4*o - 220. Does 8 divide v?
False
Suppose 2*s - 3 = s. Let y be ((-5)/(-4))/(2/8). Suppose s*v - 1 = -5*z, y*v + z - 10 - 21 = 0. Is v a multiple of 7?
True
Let f(k) = k**3 + 12*k**2 + 12*k + 13. Let t be f(-11). Let n(y) = 4*y**3 - 4*y**2 + 2*y. Is n(t) a multiple of 7?
False
Suppose 39 = 3*x - 5*n + 10, -2*x = -3*n - 18. Suppose h + 7 = 3*b + 2, x*b + 3 = 3*h. Suppose 39 = y - 3*k - k, -h*y = 3*k - 99. Is y a multiple of 10?
False
Suppose 5*m - 165 = -0*m. Let z = -16 + m. Does 17 divide z?
True
Suppose 0*n = 4*n - 192. Suppose -4*d = a - 183, -d - 3*a + 5*a + n = 0. Does 23 divide d?
True
Suppose 0*r + 6 = r. Let a(u) = u - 2. Does 4 divide a(r)?
True
Let j(n) = -n**2 - 9*n + 17. Does 12 divide j(-7)?
False
Suppose -t = t - 58. Does 16 divide t?
False
Let q be (-1)/(-4) - (-183)/(-12). Let j = -41 - q. Let i = -14 - j. Is i a multiple of 6?
True
Suppose 45 = 2*h + 5*u, -5*u = h - 5*h + 15. Let i = 17 - h. Let o = 15 + i. Is o a multiple of 11?
True
Suppose 4*p = -16, -5*p = 4*j - j - 115. Is 5 a factor of j?
True
Let h(q) = q**3 - 13*q**2 + 7*q + 5. Is 8 a factor of h(13)?
True
Does 6 divide (-1 + 6)*(-66)/(-55)?
True
Is 9 a factor of 3 + 1 - (-28 + 5)?
True
Let g be 1*-1 + (26 - -1). Let b = -12 - -17. Suppose g = 3*s + b. Is s a multiple of 7?
True
Let u(h) = 26*h - 2. Let r be u(3). Is r - 1 - (5 + -3) a multiple of 19?
False
Let x be -3 - ((-1)/1 + 5). Let l(m) = m**3 + 7*m**2 - 5*m - 4. Is l(x) a multiple of 12?
False
Let t(l) = 5*l**2 - 3*l + 1. Is 6 a factor of t(3)?
False
Let j = -537 - -857. Is j a multiple of 16?
True
Let m = -21 + 11. Does 13 divide (-262)/m - 6/30?
True
Suppose 0 = -0*v - 5*v + 1320. Suppose 0 = -2*c + 5*c - v. Suppose -3*y = y - c. Is 11 