*t + 4*t = 3*u - 68. Is 17 a factor of u/24 + (-157)/(-3)?
False
Let y = 39 - 37. Suppose -14 = y*i - 82. Is 17 a factor of i?
True
Suppose 15*s - 4 = -4. Suppose 5*x - 1605 + 480 = s. Is x a multiple of 25?
True
Let l = 364 - 350. Is l even?
True
Suppose 5*m + 4 = -3*o, 6 = -2*o + 3*o - 2*m. Suppose -o*q - k + 8 = -0*k, 4*q - 4*k = 4. Suppose q*r - 220 + 58 = 0. Is 18 a factor of r?
True
Suppose 8 = j + 3*q, 2*j - 5*q + 4 = -j. Suppose -3*w + 81 = -5*n - 53, -j*n = 2. Is 43 a factor of w?
True
Does 67 divide ((-6)/54 - (-7130)/18) + 3?
False
Let i(p) = 67*p**3 + 3*p**2 - p - 1. Let v = -15 - -16. Does 4 divide i(v)?
True
Let i = 313 + -257. Is i a multiple of 16?
False
Let f(l) = -10*l**2 - 14 + 11 - 20 + 8*l + l**3. Does 31 divide f(11)?
True
Suppose -3*p - 12 = -7*p. Suppose -2*o - 21 = l - 0*o, l - 4*o = p. Let i = l + 30. Is i a multiple of 9?
False
Suppose -5*i - 2*g + 5916 = -4462, 3*i - 5*g - 6233 = 0. Does 64 divide i?
False
Let k = -2215 - -5612. Does 79 divide k?
True
Let j(p) = p**2 + 10*p. Let y be j(-10). Suppose h + 2*h - 15 = y, z - 25 = -h. Does 20 divide z?
True
Suppose -128 = 11*p - 3120. Is 10 a factor of p?
False
Let a be ((-1)/(-1))/((-7)/(-35)). Suppose 0*x + 197 = 2*x + 3*w, a*x - 495 = -5*w. Suppose 4*g = 6*g - x. Is 25 a factor of g?
True
Suppose 8*g = 5*g + 15. Suppose 0 = -l + 7 - g. Suppose -l*h - 79 = -6*h - 5*j, 0 = -4*h + 2*j + 58. Is h a multiple of 7?
False
Let c = 11 + -5. Suppose -3*x - 9 = -c*x. Let s(l) = l - 1. Is 2 a factor of s(x)?
True
Suppose 11*w - 9*w = 0. Suppose 5*x + 161 - 756 = w. Is x a multiple of 17?
True
Is 19 a factor of -8 - ((-121)/(-33))/(3/(-711))?
False
Suppose 2471 + 4522 = 3*o. Does 69 divide o?
False
Let d(g) = 3*g - 35. Let m be d(16). Let v = -53 + m. Does 14 divide (-15)/2*v/3?
False
Suppose -5*w - 3 = -4*o, -w = -o - 1 + 3. Let f be (o + -5)/(1*-2). Does 14 divide (f - -3)*1*7?
True
Suppose -2*z - 19 + 5 = 0. Let s = z - -10. Is 13 a factor of 158/3 - 2/s?
True
Let p(j) = -5*j - 14. Let d be p(-10). Suppose 6*l - d = 3*l. Does 24 divide 11/66 + 1390/l?
False
Suppose 0 = -g - 0 + 3. Let f be (-3)/(33/(-10) + g). Is 10 a factor of (f/(-8))/((-7)/336)?
True
Let j(b) = 3*b**2 - 2*b - 1. Let f be j(5). Let w = f + -24. Is w a multiple of 10?
True
Suppose -510 = -2*r - x + 6*x, -5*x = 3*r - 790. Is 26 a factor of r?
True
Let t = -60 - -66. Suppose -2*w = q - 29, 4*q + 2*w - 56 = t*w. Does 19 divide q?
True
Let l(q) = -28*q + 2. Let y(i) = i - 9. Let w be y(7). Let d be l(w). Suppose 4*n - 3*n = d. Is 31 a factor of n?
False
Suppose 4*n - 41 - 68 = i, 2*i - 3*n + 213 = 0. Does 19 divide -8*(4 + i/12)?
True
Suppose 3*x + 51 = 3*p, -4*p + x + 4*x = -70. Suppose 0 = 3*m + 2*m - p, -5*m - 650 = -5*z. Suppose 3*a = 4*a - z. Does 27 divide a?
False
Let x = 17 - 0. Suppose 15*i - x*i + 146 = 0. Does 11 divide i?
False
Let h = 15 - 9. Suppose 5*w + 0*g - g = h, 5*g = -3*w + 26. Suppose 46 = w*c + 20. Does 13 divide c?
True
Let b be ((-6)/5)/(4/40). Let m = b - -8. Let h(o) = -o**3 - 2*o**2 + 3*o - 1. Does 13 divide h(m)?
False
Let z = 373 + 90. Does 2 divide z?
False
Suppose 3*t + 2*k - 420 = -105, -k = -5*t + 512. Suppose 0 = 3*s - 7*s + 232. Let i = t - s. Is 15 a factor of i?
True
Let b = 7 + -4. Does 3 divide (-4)/b + 440/15?
False
Let d be (-3 - 11)*2/(-4)*1. Suppose 77 = 5*r + 3*y, 4*r + 2*y - 69 = d*y. Does 2 divide r?
True
Let t(y) = -y**2 + 6*y - 8. Let f be t(-10). Let s be (-2)/(-5) - f/5. Let w = s - 7. Is w a multiple of 13?
False
Let g(q) be the second derivative of -q**4/12 - 17*q**3/6 + 17*q**2/2 - 2*q. Is 11 a factor of g(-16)?
True
Let u(w) = w**3 + 6*w**2 - 7*w + 1. Let f be u(-7). Let a be 26/f - (-10)/5. Suppose -2*m - 2*h + a = 0, -5*m - h + 82 = -0*m. Is m a multiple of 6?
False
Suppose 0 = -4*y + 110 + 18. Let x = y - 56. Is (x/(-6))/(3/6) a multiple of 2?
True
Let m = 1293 + -805. Is 13 a factor of m?
False
Is -6*6/72*-10*20 a multiple of 29?
False
Let c(f) = 2*f**3 - 85*f**2 + 46*f + 14. Does 26 divide c(42)?
True
Suppose -4*a + 549 = -3*l, -5*l = -3*a - 53 + 462. Is 2 a factor of a?
True
Let o(h) = 19*h**3 + 2*h**2 - h. Does 11 divide o(3)?
True
Let p = 420 - 173. Is 19 a factor of p?
True
Let k(d) = -d**3 - 25*d**2 + 22*d - 38. Let v be k(-26). Suppose -70*w = -v*w - 20. Does 3 divide w?
False
Let g(d) = 36*d - 3. Suppose -11*c + 12 = -7*c. Is 21 a factor of g(c)?
True
Let h = 1 - 1. Suppose 14*l - 13*l - 86 = h. Is 20 a factor of l?
False
Suppose 21*q = 29*q - 3888. Does 6 divide q?
True
Suppose -2*a + 2*h + 13 = 1, 3*h + 12 = 0. Suppose a*d = 4*d - 150. Suppose -2*u = -u - d. Is 15 a factor of u?
True
Let n(k) = -6*k - 3. Let c be n(-1). Suppose 5*y - 16 = y, -2*y - 124 = -c*b. Let g = -29 + b. Is 3 a factor of g?
True
Suppose 4*v + r - 27 = 0, v - 6*v = -3*r - 55. Suppose -5*s = 4*a - 174, 3*s - 2 + v = 0. Does 13 divide a?
False
Suppose -5 = 3*s + 2*t, 5*t = -s + 2*t - 11. Is s + 10 - (4 - 5) a multiple of 4?
True
Suppose 420 = -4*c + 3*t - 752, t + 1172 = -4*c. Let l = c - -420. Suppose z - u - 33 = 0, -4*u - l = -4*z - u. Is z a multiple of 4?
True
Let c be ((-1071)/(-27))/(1/(-3)). Is 1 - (-1 + c)/5 a multiple of 9?
False
Let n = -9510 - -13676. Is 15 a factor of n?
False
Is 17 a factor of (-240)/(-5) + 5 + -2?
True
Is 17 a factor of ((-14)/(-3) - 2)*(208 + -106)?
True
Suppose 0*l + 81 = -5*l + 2*t, 0 = -2*l + 2*t - 36. Let x be (-1)/6 + (-3)/36*382. Let r = l - x. Is 17 a factor of r?
True
Suppose 102 = 21*s - 20*s. Let n = s + -64. Does 10 divide n?
False
Let g be (20/(-6) - (-14)/21)*12. Let x = 4 - g. Is 28 a factor of x?
False
Suppose 2*f = -0*f - 22. Let r = f - -17. Suppose -136 = 2*p - r*p. Does 6 divide p?
False
Let n be (-241)/8 + (-6)/(-48). Is 6 a factor of 9 - n - (-3 - -2)?
False
Let v = 288 + 80. Is 24 a factor of v?
False
Suppose 1 - 5 = -2*a - 2*h, 0 = -a - 5*h + 2. Suppose v + 2*s - 93 = -0*v, -a*v = 3*s - 183. Does 13 divide v?
False
Suppose 0*t = 4*t - g - 861, 3*t - g - 647 = 0. Is t a multiple of 29?
False
Suppose 3*u + 12188 = 4*v, 5*v - 4*u - 22093 = -6859. Does 15 divide v?
False
Let k(b) = -b**3 - 12*b**2 - 25*b - 35. Is 3 a factor of k(-11)?
False
Let q = 12 + -12. Is 22 a factor of 2 - (3 + q + -302)?
False
Let k(f) = -7*f**2 - 3*f + 1. Let o(l) = 3*l**2 + 2*l - 1. Let b(s) = 2*k(s) + 5*o(s). Let x be b(-4). Is 2*(-3)/x - -31 a multiple of 11?
True
Let t = 309 - 304. Suppose 0 = -h + 4*r + 14, -5*r - 22 = -7. Suppose 0 = 5*c + h*z - 434, -2*c = -c + t*z - 73. Is 25 a factor of c?
False
Suppose 2*q = 3*s - 58, 5*s + q - 112 = 2. Suppose 0 = o - 63 - s. Suppose 265 = 3*w + o. Does 21 divide w?
False
Suppose -4*o + 187 = -213. Suppose -3*a - o = -8*a. Does 16 divide a?
False
Let d be ((-138)/(-4))/(1/2). Suppose -196 = 5*f + 2*l - 3*l, 2*f = 2*l - 80. Let p = f + d. Is p a multiple of 15?
True
Suppose -9*i = -7*i - 594. Suppose 0 = -7*m + i + 242. Does 6 divide m?
False
Suppose -d - 161 = 13. Let k = -2 + -8. Is d/(-9) + k/(-15) a multiple of 5?
True
Let m(z) = z**3 - 33*z**2 + 46*z + 86. Is 28 a factor of m(33)?
False
Let f(h) = -h**2 + 17*h - 10. Let g(k) = -k**3 + k**2 - 2*k + 75. Let t be g(0). Suppose 0*n = -5*n + 3*z + t, 0 = n - 5*z - 15. Does 10 divide f(n)?
True
Let q be ((-12)/(-8))/(70/16 + -4). Does 19 divide (q/(-6))/((-7)/798)?
True
Let g(f) = f + 21. Let m(u) = u**3 - 2*u**2 - u - 7. Let t be m(0). Is 7 a factor of g(t)?
True
Suppose -3*d - 27 = -5*q + 113, 3*q - 228 = 5*d. Let o = d - -210. Does 10 divide o?
False
Let w(r) = r**2 - r + 2. Let a be w(1). Suppose -o - 63 = -3*i, a*o + 95 = 5*i - 3*o. Is 11 a factor of i?
True
Let t = 1 - 4. Let u be 2 - (-2 - t) - -15. Let h = u + -8. Does 2 divide h?
True
Suppose b - 503 = -5*g + 502, 2*b - 4*g = 1996. Is b a multiple of 50?
True
Let a = 200 + -81. Let w = a + -59. Does 10 divide w?
True
Let x(v) = v**2 - 33*v - 291. Is 17 a factor of x(-30)?
False
Let j be ((-2)/3)/((-14)/(-21)). Let d(r) = -21*r. Does 7 divide d(j)?
True
Suppose -5*a = -6*i + 7159, -3*a - 4236 - 1724 = -5*i. Does 12 divide i?
False
Let b(k) = 2*k**2 - 36*k - 32. Let j be b(19). Let h(v) be the first derivative of 2*v**2 + 6*v + 1. Does 8 divide h(j)?
False
Suppose 5*v - v = 4*g + 28, -15 = 5*v + 5*g. Suppose 111 = 5*w - v*b + 25, 5*w = 4*b + 92. Is 16 a factor of w?
True
Let i(y) = 58*y**2 + 19*y