t = -3 - 2, 5*w - 453 = 3*t. Let d = 80 - -10. Suppose -5*b + d = -w. Does 18 divide b?
True
Let v(m) = m**3 - 4*m**2 + 3*m + 2. Is 21 a factor of v(5)?
True
Suppose 3*c = -3*j + 324, 0 = 5*j + c - 5*c - 540. Let t(b) = 3*b**2 + 5*b - 1. Let f be t(-6). Let u = j - f. Does 11 divide u?
False
Let x(y) = -y**3 - 4*y**2 + 7*y + 6. Let w be x(-5). Let k(q) = q**3 + 6*q**2 + 6*q + 4. Is 12 a factor of k(w)?
True
Suppose k + 2*h + 2*h - 2 = 0, -5*k = -h - 73. Is k a multiple of 14?
True
Let u(y) be the first derivative of 5*y**4/4 + y**3 - 3*y**2/2 + y - 3. Is 19 a factor of u(2)?
False
Let j be 6/27 + 86/18. Suppose 3*m = -j*k + 53, k + 2*m - 52 = -4*k. Is k a multiple of 2?
True
Suppose -7 - 1 = -o + 3*x, -19 = -4*o - x. Suppose -8 - 32 = -o*s. Is s a multiple of 8?
True
Is ((-3)/(-9 + 3))/((-2)/(-368)) a multiple of 4?
True
Suppose n + 42 = 48. Let k = -6 + 8. Suppose -14 + n = -k*c. Is 3 a factor of c?
False
Let n be (-3 - -1) + 48/2. Suppose -n = -0*c + 2*c. Let q = 16 + c. Does 3 divide q?
False
Let u = 1 + 0. Let h be (6/(-21))/(1/(-7)). Is 15 - 0/(h/u) a multiple of 7?
False
Is 2/(-4) - (-33)/2 a multiple of 9?
False
Suppose -n = -0*n - 79. Suppose -68 = -3*w - 5*p - 7, n = 5*w - 3*p. Is w a multiple of 17?
True
Suppose 4*n + 5*z = 25, 4*n + z - 26 = 11. Let s = 29 - n. Is 11 a factor of s?
False
Let g = 55 + 19. Let m = g - 48. Let s = m + -17. Is 9 a factor of s?
True
Let w = 7 - -217. Is 32 a factor of w?
True
Let x(q) = -4*q**3 + 4*q**2 - 2*q. Let v be x(2). Is ((-22)/4)/(5/v) a multiple of 11?
True
Suppose -77 = -j - 2*u, -2*j + 4*u = 2*j - 272. Let h = j + -49. Is h a multiple of 11?
True
Let p = -55 + 70. Is 3 a factor of p?
True
Suppose 4*h = -37 + 69. Is 2 a factor of h?
True
Let i = -15 + 70. Does 11 divide i?
True
Suppose 0 = -3*w - y + 915, -2*y = -4*w + 1157 + 73. Is 51 a factor of w?
True
Let h(u) = -u**3 + 21*u**2 - 16*u + 7. Does 23 divide h(20)?
False
Is ((-9)/(-3))/((-9)/(-150)) a multiple of 10?
True
Let p = 97 + 52. Does 11 divide p?
False
Let j(r) be the first derivative of 1 + 2*r**2 + 2 - 8*r - 2. Does 16 divide j(6)?
True
Let y(g) = g - 3. Let c(k) = 6*k - 16. Let b(q) = -3*c(q) + 16*y(q). Suppose 0 = -4*d + d - 12. Does 3 divide b(d)?
False
Suppose 7*f = 3*f + 12. Let k be (-15 + 0)*(-1)/f. Suppose l + 5*m = -0*l, -k*l + 56 = -3*m. Does 10 divide l?
True
Let g(x) = x**3 + 9*x**2 + 9*x - 7. Is g(-7) a multiple of 7?
True
Is 15 a factor of 6 - 8 - (1 + -18)?
True
Let f(z) = 3*z + 2. Is 6 a factor of f(5)?
False
Let a(u) = -u**2 + 4*u + 1. Let l be a(3). Suppose -3*h = -5*b + 14, 5*h - h - 3*b = -l. Is h a multiple of 2?
True
Suppose 4*y = 17*y - 5538. Is y a multiple of 34?
False
Is (-5)/(-2)*12/5 a multiple of 2?
True
Let g(n) = 5*n**2 - 6*n + 3. Let j be g(4). Let c = 8 - 4. Suppose 5 + j = c*o. Does 14 divide o?
False
Suppose 21 = 2*h + 9. Does 2 divide h?
True
Let h = -9 + 12. Let f = h + 6. Is 5 a factor of f?
False
Let q(j) = -j**2 - 9*j + 5. Does 4 divide q(-7)?
False
Let f be 421/9 + 8/36. Let y(x) = x**3 + 2*x**2 - 3*x - 5. Let s be y(-4). Let t = s + f. Does 11 divide t?
True
Let b(r) be the third derivative of -1/2*r**3 - 2*r**2 + 0 - 5/24*r**4 + 0*r + 1/12*r**5 + 1/120*r**6. Does 11 divide b(-5)?
True
Let s(v) = 17*v - 7. Let u(k) = 16*k - 7. Let y(w) = -5*s(w) + 6*u(w). Does 18 divide y(5)?
False
Let z be 1/(((-2)/14)/1). Let d = 1 - z. Is d a multiple of 4?
True
Let v(h) = h**3 + 3*h**2 - h. Let u be v(-3). Suppose u*w = -4*i + 214, 2*w = -0*w + 4. Is i a multiple of 15?
False
Let h = 254 + 86. Is 34 a factor of h?
True
Let a be (-2 + 7)*(-24)/30. Is 7 a factor of (1 - a)*(-22)/(-10)?
False
Let k = 26 - -5. Is k a multiple of 9?
False
Suppose -5*r + 5*c - 60 = 0, 3*r + 37 = c - 5. Let y = -9 - r. Is y even?
True
Let o = 10 - 4. Suppose 2*n = o*n - 20. Is n a multiple of 2?
False
Let n = -8 - -13. Suppose -2*o + 100 = -0*o. Suppose 0*w - n*w = -o. Does 3 divide w?
False
Let u = 316 - 128. Is 12 a factor of u?
False
Suppose 0 = -6*d + 2*d + 32. Let x = d - -22. Is x a multiple of 15?
True
Suppose 98 = 4*u - 2*o, 3*o + 124 = 5*u - o. Is u a multiple of 12?
True
Let x(s) = -s**2 - 11*s + 1. Let t be x(-5). Let n(j) = 3*j + 7*j**2 - 2*j - j**2 + t*j**2. Is n(1) a multiple of 14?
False
Let k(q) = 3*q - 1 - q - 4*q**2 + 7*q + 3*q**2. Is k(7) a multiple of 13?
True
Let u = 20 + -22. Is 31 a factor of 103*2*u/(-4)?
False
Let v be (8/12 - 2)*-3. Is 12 a factor of v*6/32*20?
False
Let j(o) = o**3 - 4*o**2 + o - 4. Let w(i) = 4*i**3 - i**2 + 2*i - 1. Let x be w(1). Let f be j(x). Does 5 divide 5 + -3 + (f - -9)?
False
Let d = 9 - 18. Suppose 60 = 3*s + 12. Let p = d + s. Is p a multiple of 7?
True
Let f be 20/3*(-12)/(-4). Suppose -5*r - 4*c + f = 0, 2*r + 3*c = -0*c + 1. Does 4 divide r?
True
Let d(a) = a**2 + 9*a - 6. Is d(6) a multiple of 14?
True
Let u(p) = p**3 - 8*p**2 - 8*p - 4. Let l be u(9). Suppose l*o + 2*i - 22 = -2*i, o + 3*i - 11 = 0. Suppose 0*b + 30 = o*b. Is 5 a factor of b?
True
Is 3 - 2 - (3 - 31) a multiple of 6?
False
Suppose 0 = 4*z - 2*b - 1102, 0*b + 5*b - 820 = -3*z. Is 12 a factor of z?
False
Is 16 a factor of (5/(-4))/(2/(-40))?
False
Let n = 232 - 97. Is 15 a factor of n?
True
Let s(o) = 5*o + 26. Let g be s(-6). Let z(i) = 2*i**2 + 2 - i**3 + i + i - i**2. Is 28 a factor of z(g)?
False
Let v = 4 - -9. Suppose -v + 3 = -5*b. Suppose -3*m = b*m - 40. Is m a multiple of 5?
False
Suppose 2*f = -4, 2*f + 3*f - 294 = -2*m. Is m a multiple of 19?
True
Let p be 4/14 - (-115)/(-35). Does 19 divide (2 + -1)/(p/(-177))?
False
Let s(u) = -u**2 + 18*u - 1. Is 9 a factor of s(8)?
False
Suppose -7*f = -2*f + 50. Is (f/(-3))/((-1)/(-9)) a multiple of 8?
False
Suppose -363 = -30*k + 27*k. Is 13 a factor of k?
False
Suppose 80 = 3*i + 5*m, i - 3*i + 24 = -4*m. Is 4 a factor of i?
True
Let m be (8/(-10))/((-8)/(-100) - 0). Let y(c) = 20*c**2 + c - 1. Let h be y(1). Let w = m + h. Does 10 divide w?
True
Let m = -42 - -27. Let t = m + 19. Is 2 a factor of t?
True
Is (-5 - -1) + (-68)/(0 - 2) a multiple of 2?
True
Suppose -a = 2, -2*a - 14 = -5*z - 5*a. Does 9 divide (-54)/(-3)*2/z?
True
Let f = 8 + -8. Suppose f = -i + 2*w + 8, -i = -w - 0*w - 6. Suppose -i*v + 48 = 2*u, 2*v + 60 = -u + 6*u. Is 7 a factor of u?
True
Suppose -4*p + 0*p = k, -4*p = 4*k. Suppose c + 4*c - 70 = k. Does 7 divide c?
True
Let v(y) = y**3 + 8*y**2 + 4*y - 13. Is v(-6) a multiple of 8?
False
Suppose 2*g = 68 + 52. Is 10 a factor of g?
True
Is (2/6 - (-4730)/(-150))*-10 a multiple of 13?
True
Suppose -2*m - 4 + 0 = 0. Is 7 a factor of ((-10)/(-25))/(m/(-70))?
True
Let h = 125 - 57. Let d = h + -139. Let r = -35 - d. Does 12 divide r?
True
Let i(x) = -8*x + 8. Let c be i(6). Let a = c + 57. Does 17 divide a?
True
Let t(d) = -d**3 - 3*d**2 + 4*d. Let u be t(-4). Let h(b) = 18 + 0*b**2 - b**2 + 0*b**2 - b + 2*b. Is h(u) a multiple of 13?
False
Suppose -x + 3*x = 48. Is x a multiple of 8?
True
Let j be ((-15)/(-6))/((-1)/2). Is 42/(-2 - j) + 2 a multiple of 16?
True
Let g be (2/4)/((-1)/10). Is 14 a factor of (-1 + -13)*g/2?
False
Let b = -3 - -7. Suppose -2*d + 5*d + b*i - 84 = 0, -5*i = 3*d - 87. Is 12 a factor of d?
True
Let l be 51/(-9) + (-2)/6. Is 35 a factor of ((-12)/(-15))/(l/(-885))?
False
Let v be (-2 - -1)*(0 - -1). Let o be -9*((-2)/v - 3). Let d(u) = -u**2 + 12*u - 11. Is d(o) a multiple of 8?
True
Suppose -144 = -5*z - 14. Suppose a = -2*g + 145 + z, 5*g = 4*a + 408. Is 22 a factor of g?
False
Let h = -2 + 2. Suppose 2*n - 53 + 7 = -4*i, h = 2*i - n - 33. Is 7 a factor of i?
True
Let r be -1 - (-31 + (0 - 2)). Suppose -128 = -4*k - r. Does 8 divide k?
True
Let t(b) be the first derivative of b**7/840 - b**6/36 + 11*b**5/120 - 11*b**4/24 + 2*b**3/3 + 2. Let d(z) be the third derivative of t(z). Does 6 divide d(9)?
False
Let m be 1*8*(5 + -3). Let b = m + 8. Is b a multiple of 12?
True
Let m = 25 - 20. Is 5 a factor of m?
True
Let m = 98 - 67. Let x = -7 + m. Is x a multiple of 12?
True
Let y(l) = 5*l. Is 14 a factor of y(14)?
True
Is (2/3)/((-12)/(-990)) a multiple of 15?
False
Suppose -2*b = 0, a + 0*b = 3*b + 31. Is 13/(-26) - a/(-2) a multiple of 5?
True
Let p(t) = t + 14. Suppose 4*a - 8*a - 40 = 0. Let b be p(a). Suppose b*s = 92 - 28. Is 16 a factor of s?
True
Suppose i - 21 = -2*b - 4, 19 = 2*i + b. Let r be (-3)/