 6 = 3*m. Let y be (9/(-3))/((-1)/m). Let g(u) = u + 8. Is g(y) a multiple of 10?
False
Does 9 divide -3 + (4 - 1) + 25?
False
Suppose -7*l = -3*l - 16. Suppose -d = l*d - 195. Suppose d + 1 = 5*u. Is 4 a factor of u?
True
Let v be 1/4 + 99/4. Let o = v + -13. Is o a multiple of 12?
True
Suppose 0 = -2*r + 129 - 29. Does 15 divide r?
False
Suppose 0 = 5*t + 14 + 1. Let w be ((-3)/(3/19))/(-1). Let f = t + w. Is 6 a factor of f?
False
Is (0 - (-9)/(-6))*-32 a multiple of 9?
False
Let s = 23 + -7. Does 15 divide s/120 + 508/15?
False
Suppose 5*l = -3*m + 125, 2*l + 0*m = 4*m + 24. Is l a multiple of 22?
True
Let x(q) = -25*q - 2. Let f be x(-5). Suppose -2*o - 2*o - 4*p = -244, -2*o = 3*p - f. Let s = o - 33. Does 24 divide s?
False
Let z be ((-6)/(-5))/((-6)/(-15)). Suppose -4*m + z*b + 23 = -74, -2*m - b = -61. Is m a multiple of 28?
True
Is ((-3)/2)/((-9)/102) a multiple of 3?
False
Let t(y) = y**2 + 6*y + 2. Let d be t(-6). Suppose 0 = -d*w + 26. Is w a multiple of 13?
True
Suppose -13 = 2*x + 23. Let r = x - -58. Is 10 a factor of r?
True
Suppose -55*b - 140 = -60*b. Is b a multiple of 15?
False
Let a(u) = 8*u**2 - 5. Let p be a(-3). Suppose -2*k = -3*b - p, -5*k - 3*b = -b - 120. Does 7 divide k?
False
Let z = -17 + 33. Let n = 37 - z. Let a = 35 - n. Does 7 divide a?
True
Let f(q) = q - 1. Let s be 6/((-4)/(-2)) + 2. Let w be f(s). Suppose -g + w*g - 45 = 0. Is 6 a factor of g?
False
Suppose -2*p - 9 + 61 = 0. Is 3 a factor of p?
False
Let m be 2/9 + 140/18. Let x = -1 + m. Is 4 a factor of x?
False
Let w = -30 + 39. Is w a multiple of 9?
True
Let p(q) = -q**3 + q**2 + q. Let y(k) = k**3 + 5*k**2. Let f be y(-5). Let t be p(f). Is 10 a factor of (t - (4 + -2))*-5?
True
Let w be 12/(0 - (2 + -1)). Let i = 18 + w. Is i a multiple of 3?
True
Let m(y) = 5*y**2 + 4*y + 4. Let q be m(-3). Let n = q - 20. Is -2*(0/(-1) - n) a multiple of 17?
True
Let c = -4 + 7. Suppose 4*z = d - 82, z + c*z + 2*d = -88. Let w = z - -53. Does 13 divide w?
False
Suppose 6*l - 20 = 2*l. Suppose -3*f = 3*b - 9, 15 = -0*b + 3*b + l*f. Suppose -2*w + 23 = -2*a + 87, b = a + 2*w - 32. Is 16 a factor of a?
True
Suppose -a + 3*v = -21 - 36, 4*v = 3*a - 191. Is 13 a factor of a?
False
Suppose -4*v = -248 + 56. Is 18 a factor of (v/(-28))/(4/(-42))?
True
Let c(b) be the first derivative of 2*b**3 + 3*b**2 + 2*b + 4. Is 24 a factor of c(-4)?
False
Suppose 4*q + 80 = 5*c + 575, -3*c + 503 = 4*q. Does 17 divide q?
False
Let n = 26 - 1. Is 25 a factor of (4 + -2)*n/2?
True
Suppose -11*l = -7*l - 352. Does 9 divide l?
False
Suppose -5*c = -3*o + 130, 2*c + 19 = -5*o + 215. Suppose 3*w = 2*w + o. Let d = w - 24. Is d a multiple of 8?
True
Suppose 2*p - 3*u + 44 = 7*p, u - 31 = -4*p. Does 7 divide p?
True
Suppose 8*y - 4*y = 100. Does 5 divide y?
True
Let p be 10/(-3)*36/30. Let q(i) = i**3 - 3*i**2 - 2*i - 2. Let s be q(4). Let z = s - p. Is z a multiple of 5?
True
Suppose -5*q + 4*q = 3, -3*g + 4*q + 84 = 0. Does 2 divide g?
True
Let w(o) = -12*o - 1. Let f(a) = 6*a. Let g(q) = 9*f(q) + 4*w(q). Is 12 a factor of g(3)?
False
Let z(m) = -2*m + 4. Is z(-5) a multiple of 10?
False
Suppose -f - 2*m = -235, 10*f - 5*m = 5*f + 1100. Suppose -3*s + 3*g = -f, 0 = s + 4*g - g - 67. Does 22 divide s?
False
Let q(p) = 18*p**2 - 2*p + 2. Let m be (-2)/(-2 - -4)*-2. Let z be q(m). Suppose -z = -9*y + 4*y. Is y a multiple of 5?
False
Let q = -51 - -12. Is 14 a factor of 1 - q*(0 + 1)?
False
Let g = 49 + -31. Is 4 a factor of g?
False
Suppose 0 = 3*d + 4*w - 44 - 27, -3*w - 78 = -4*d. Is 6 a factor of d?
False
Let b(s) = -s**3 - 4*s**2 - 3*s - 2. Let j be b(-3). Let r be (-1)/j + 51/6. Let t = r - -33. Does 21 divide t?
True
Let b(o) = o**3 + 7*o**2 + 8*o + 2. Let w be b(-6). Let y = 34 + w. Does 7 divide y?
False
Suppose 2*a - a - 8 = 0. Suppose a*p = 12*p - 68. Is 12 a factor of p?
False
Does 24 divide ((-34)/2)/(3/(-11 - -2))?
False
Suppose 4*z - 8*z = -16. Let a be (-1 + 2/z)*0. Suppose a = -d - 4, 0*n - 5*d = -2*n + 44. Does 5 divide n?
False
Let v = -58 - -104. Is v a multiple of 20?
False
Let g(t) = -4*t. Does 5 divide g(-3)?
False
Let s = -55 - -37. Let x be s*10/(-3)*-4. Does 16 divide (x/(-10))/(3/4)?
True
Let t(h) = -h**2 - 17*h. Is t(-12) a multiple of 10?
True
Let r = 3 + 0. Suppose r*n = -h - n - 3, -12 = -h + n. Is 7 a factor of h?
False
Suppose -3*x = -2*x - 7. Suppose 4*s - x = 5. Let g(y) = y**3 + 2*y**2 + y + 2. Is g(s) a multiple of 18?
False
Suppose -4*p = -2*y + 8, -y + 4 = -p + 2. Is (-16 - p/(-1))*-1 a multiple of 9?
True
Let y = 23 + -14. Is y a multiple of 5?
False
Let q(s) = 2*s**2 + 188. Is q(0) a multiple of 16?
False
Suppose n = 3*n. Suppose n*s = -s + 32. Is s a multiple of 23?
False
Let s(y) = -y**2 + 5*y - 4. Let n be s(3). Suppose n*j = -3 + 21. Does 9 divide j?
True
Let h(s) be the first derivative of 4*s**2 - s - 1. Is h(1) a multiple of 7?
True
Let w(t) = t**3 + 4*t**2 + 4*t + 5. Let i be w(-3). Suppose i*j - 57 = -j. Is j a multiple of 4?
False
Let x(d) = 2*d**2 - 5*d. Suppose 3*l - 6 - 4 = -5*o, -5*l - o + 24 = 0. Does 4 divide x(l)?
False
Let t = -4 - -6. Suppose -2*g - 15 = -6*g - m, t*m = -2*g + 12. Suppose -30 = -3*r + 3*a, 5*r - r = -g*a + 54. Is 7 a factor of r?
False
Let v = -50 + 23. Does 4 divide (-3 - -2) + v/(-3)?
True
Does 14 divide 2046/18 - (-4)/(-6)?
False
Is 4/(-6)*-23*(-4 + 10) a multiple of 23?
True
Let g = -9 + 13. Suppose 0 = -0*i + 2*i - 2*x - 58, 0 = g*x. Suppose 2*t - 5*p - i = 0, -4*t + 4*p + 52 = -0*t. Is t a multiple of 5?
False
Let g = 86 - 50. Does 12 divide g?
True
Let w = -1 + 3. Let k be (-22)/12*-3*w. Let m = 26 - k. Is 4 a factor of m?
False
Is 14 a factor of 480/35 - (-4)/14?
True
Let b = 46 - 28. Is 5 a factor of b?
False
Let r(o) = o**2 + o - 2. Is r(4) a multiple of 15?
False
Suppose 5*i + 6 + 22 = 3*n, -n = -2*i - 11. Is n*-4*(-5)/4 even?
False
Let y be ((-7)/(-2))/((-6)/(-12)). Is (5/2)/(y/14) a multiple of 5?
True
Let f(j) = j**2 + 6*j + 2. Does 19 divide f(-14)?
True
Let a = -87 - -205. Is 28 a factor of a?
False
Let t be (-2 - -8)*12/9. Does 3 divide t/3*(-12)/(-8)?
False
Does 5 divide ((-330)/88)/((-2)/16)?
True
Let i = 107 - 57. Is 25 a factor of i?
True
Suppose -4*b - 3 = -3*o + 1, -2*b + 2*o = 4. Suppose -j + b*s + 59 = 0, j - 3*j + 3*s + 115 = 0. Let z = j + -25. Does 14 divide z?
True
Suppose 4*r + 145 = -4*c + 5*r, 0 = 5*c + 2*r + 191. Let k = 100 - 153. Let u = c - k. Is 8 a factor of u?
True
Suppose 0*v + v = 0. Suppose -4*x + x = v. Suppose -l + 5 - 2 = x. Is 2 a factor of l?
False
Suppose 2*z = -0*k + 2*k - 24, 5*k + z = 42. Suppose -k = -g + 27. Does 18 divide g?
True
Suppose -193 - 95 = -4*h. Is 12 a factor of 2/4*h/3?
True
Let q = 116 - 67. Is q a multiple of 9?
False
Let t be (-1)/(-1 + 15/12). Let m = 7 - t. Suppose 3*c = 2*c + m. Is 7 a factor of c?
False
Let g(k) be the third derivative of -5*k**4/24 - k**3/2 + k**2. Is 6 a factor of g(-3)?
True
Let x = 7 - 3. Let n be (x/(-6))/((-4)/6). Suppose 4*u = -n + 13. Is u a multiple of 3?
True
Let v = -2 - -4. Suppose 2*l - 8 = -0*l - v*w, -l = -5*w - 34. Let f = l - -5. Is f a multiple of 9?
False
Suppose -4*h + 5 = 5*m - 15, 5*m + 3*h - 20 = 0. Does 11 divide 66/m*4/3?
True
Let j(s) = -s - 1. Let t be j(6). Let n(o) = o**3 + 5*o**2 - 11*o - 7. Let y be n(t). Let l = -17 - y. Is 11 a factor of l?
True
Does 23 divide 6 + (-26)/4 - 189/(-2)?
False
Is (-35 - -34)/((-2)/78) a multiple of 15?
False
Let s(n) = -n**2 + 18*n - 26. Is 5 a factor of s(16)?
False
Suppose 2*r + 3*m = 3 + 41, 4*r = -5*m + 90. Is r a multiple of 4?
False
Let k(b) = -b**3 + 7*b**2 - 2*b - 6. Let y be k(6). Suppose 2*n = 4*d - 20, -n = 4*n - 2*d + y. Let h = n - -10. Is h a multiple of 8?
True
Suppose -4*z - 2*t + 5*t = -882, -5*t + 1120 = 5*z. Let l = z - 147. Is 15 a factor of l?
True
Suppose -5*i - 15 = 0, 0*i = 5*n - 4*i - 332. Does 16 divide n?
True
Let k = 193 + -63. Does 26 divide k?
True
Let b(g) = 10*g**2 + g + 5*g - 7 + 7*g - g**3. Is b(11) a multiple of 15?
True
Does 10 divide (-30 + 5)*(-12)/15?
True
Let m(y) = y**2 + 9*y + 5. Is m(-10) a multiple of 15?
True
Let y(q) = 8*q + 15. Let s(x) = 25*x + 44. Let t(v) = -6*s(v) + 17*y(v). Does 13 divide t(-5)?
False
Suppose 4*z = -5*j + 3*j + 110, 5*j = -5*z + 130. Is 4 a factor of z?
False
Suppose -14 = -54*n + 52*n. Is n e