es 17 divide k?
True
Suppose 8 + 44 = -4*y. Let g = 29 + y. Is g a multiple of 11?
False
Let n = -1473 + 669. Is n/(-10) - 8/20 a multiple of 15?
False
Suppose 0*c - 4*c = -20. Let d be c*(-2)/(-5) - 0. Suppose -m = -2*m - d*h + 59, 0 = 5*h. Does 12 divide m?
False
Let r be -2 + (3 - (4 - -45)). Let i = r + 121. Does 11 divide i?
False
Let d = -70 + 91. Suppose -a = -15 - d. Is a a multiple of 18?
True
Suppose t - 4*x + 38 - 124 = 0, 5*t - 5*x - 400 = 0. Suppose 76*l + 42 = t*l. Is 2 a factor of l?
False
Suppose 2*g + 2*n - 994 = 0, 4*n = 4*g + 6*n - 1986. Is 14 a factor of g?
False
Let y = -28 + 89. Suppose 107 + y = 4*j. Does 6 divide j?
True
Suppose -1354 = 3*g + 2*p, -2*g - 9*p + 10*p - 905 = 0. Let u = -277 - g. Does 35 divide u?
True
Let q = 4 + -2. Let a = 30 + q. Let g = 21 + a. Is g a multiple of 23?
False
Let x = -2 + -2. Let s = -1 - x. Let a(o) = 2*o**3 - 2*o**2 + 2*o - 2. Does 20 divide a(s)?
True
Let h = -45 + 17. Let j = -26 - h. Is 19 a factor of 55 + 0/(j/(-1))?
False
Let o = 50 + -28. Let r = o + 19. Suppose h = 2*j + r + 18, -j + 317 = 5*h. Is h a multiple of 21?
True
Let r(o) = o. Let n(c) = -26*c**3 - 4*c. Let a(l) = -l**2 - 11*l - 7. Let p be a(-10). Let k(q) = p*r(q) + n(q). Is 20 a factor of k(-1)?
False
Is 4*(-6)/8*78/(-9) a multiple of 13?
True
Suppose 0*o = -3*o + 12. Suppose -n = 2*q + 2*q - 180, 3*q - o*n - 116 = 0. Does 11 divide q?
True
Suppose 0 = -4*p - k - 0*k - 85, -5*p = -k + 113. Let u = p + 32. Does 31 divide 5/u*(1 - -61)?
True
Let w = 8 + 9. Let u = w - 27. Does 3 divide ((-5)/u)/((-2)/(-28))?
False
Let b be 108/(-144) + (1/(-4))/1. Is (b - 2/(-5))/((-2)/130) a multiple of 5?
False
Let n(c) = 6*c - 1. Let k be n(1). Let v(z) be the second derivative of z**3/6 + z**2/2 - z. Does 2 divide v(k)?
True
Let a = 67 - 25. Suppose -2*h - 5*s = 18 + 26, -3*h - 66 = -5*s. Let z = h + a. Is z a multiple of 10?
True
Suppose 263 - 101 = -2*k. Let j = 4 - k. Is j a multiple of 15?
False
Suppose 0 = 4*i - 126 - 74. Let h = -198 + 201. Suppose 0 = h*a - i - 106. Is 13 a factor of a?
True
Is 7 a factor of 1410/14 + (-8)/(-28)?
False
Suppose -17*d + 10*d = -21. Suppose d*f - 36 = 3*j - 5*j, -36 = -2*j + 5*f. Does 6 divide j?
True
Suppose 2*j - 294 = 6*d - 9*d, 2*d + 4*j - 188 = 0. Is 10 a factor of d?
True
Let o(w) = 4*w. Let a be 4/(-6)*18/(-12). Let j be o(a). Suppose 9 = l + 5*b, 0*b + j*b = -5*l + 108. Is l a multiple of 24?
True
Suppose -4*a + 83 = 5*s - 102, s - 3*a = 18. Let n = s - 11. Is 11 a factor of n?
True
Let g(x) = -x**3 - 8*x**2 + 10*x + 2. Let p be g(-10). Suppose 5*i - 60 + 174 = 3*h, -h = 5*i + p. Let z = 27 - i. Does 16 divide z?
True
Let k(w) = 45*w - 5. Let y be k(5). Suppose -v = 2*r - 95, -5*r - 2*v + y = -3*v. Is r a multiple of 10?
False
Suppose 5*n + 1609 = 3*t - 2069, n + 1226 = t. Is t a multiple of 48?
False
Let v(t) = t**2 - 7*t - 38. Is 31 a factor of v(-17)?
False
Let z(u) = 134*u**2 - 11*u - 8. Does 11 divide z(-2)?
True
Let h = 10 + 4. Let q(i) = 11*i + 6. Is 13 a factor of q(h)?
False
Suppose -20 = -4*d - d. Suppose 7 = d*i - 5. Let f(k) = 4*k**2 - 2. Does 17 divide f(i)?
True
Let y(u) = -8*u**2 + 10*u + 21. Let p(g) = -g**2 + g + 1. Let z(v) = 6*p(v) - y(v). Is 9 a factor of z(8)?
True
Suppose 4*m = -26*m + 87780. Is 19 a factor of m?
True
Is (195/(-2))/13*(1 - 11) a multiple of 15?
True
Let w(g) = -16*g + 124. Is 58 a factor of w(-14)?
True
Suppose 4*d - 5*b = 3*d + 1, 0 = d + 3*b + 15. Is 18/d - (-215 + -2) a multiple of 43?
True
Let h be (-233 - 1) + 4 + (-15)/3. Let n = -137 - h. Does 14 divide n?
True
Let i(o) be the second derivative of -o**5/20 + 7*o**4/6 - 4*o**3/3 - 5*o**2/2 + 16*o. Is i(13) a multiple of 6?
True
Suppose 3*k - 5*w - 185 = 0, 5*k + 2*w + 0*w = 329. Suppose -4*l - l = -k. Suppose 2*c = 41 - l. Does 6 divide c?
False
Suppose 340 = -5*m + 1495. Suppose t - m = -6*t. Does 9 divide t?
False
Suppose 0 = -2*d + r + 4980, -2*d + 6791 = 2*r + 1799. Does 28 divide d?
True
Suppose 645 = 6*k - 555. Does 8 divide k?
True
Suppose 303 = o + 2*o. Suppose -3*i + 46 = -35. Suppose -3*q = -4*x + o, 2*x - x + q = i. Is 8 a factor of x?
False
Suppose 142 = 2*i - 1376. Suppose d + i = 2*h, h + 2*h - 3*d - 1134 = 0. Suppose -7*a + 46 = -h. Is a a multiple of 12?
False
Let w = 12 - 11. Suppose w = 2*d - 7. Suppose d + 12 = 2*r. Does 3 divide r?
False
Suppose 4*r + 5*t + 3 = -6, 0 = -3*r + t + 17. Suppose -h = -3*j + 230, r*h = -j + 2*h + 65. Is 15 a factor of j?
True
Let j = 7 - -5. Suppose -j*i + 8 = -8*i. Suppose i*d = d + 36. Is 15 a factor of d?
False
Suppose 16*v - 1521 = 7*v. Is 8 a factor of v?
False
Is (4/(-17 + 5))/(3/(-2925)) a multiple of 15?
False
Suppose -5*x + 706 = -3*s, 5*x = 2*x - 2*s + 416. Suppose 3*b + v + 250 = 0, -4*v - 513 = 5*b - 94. Let q = x + b. Is 12 a factor of q?
False
Let u = 19 + -20. Is (-5 - -29 - 5)*(-1)/u a multiple of 6?
False
Is 11 a factor of 8 - 9 - (-597 - -2)?
True
Suppose 2*y = -0*y + 30. Let c(w) = -w**3 - 7*w**2 - 2*w - 5. Let p be c(-7). Let s = p + y. Does 12 divide s?
True
Suppose -p = -7 + 46. Let r = p + 82. Is 14 a factor of r?
False
Let l be 2/5 + 6969/15. Suppose -l = -4*z + u, z - 3*u - 28 = 91. Is 24 a factor of z?
False
Let t = 25 + -20. Suppose 4*v - 6*v + 712 = t*h, -427 = -3*h - v. Is h a multiple of 15?
False
Let z(g) = g**3 - 7*g**2 - 9*g + 10. Let h be z(8). Suppose -5 = 2*b - p, -6*b + h*b = p + 19. Is 19 a factor of b/(-6) - 220/(-12)?
True
Does 3 divide (-1 - 1)*(-31 + -7)?
False
Suppose -5 = m - 45. Suppose 10*w - 6*w = 0. Suppose 3*d - 4*d + m = w. Is d a multiple of 10?
True
Let s = 39 + 342. Is 15 a factor of s?
False
Suppose 5*h + 27 = 8*h. Let t = h + 87. Is 13 a factor of t?
False
Let a(q) = -9*q**2 + 17*q + q**3 + 96 + q**2 - 134. Is 14 a factor of a(9)?
True
Suppose -3189 = -13*a + 1257. Is a a multiple of 38?
True
Suppose -11 = -5*k - 3*b, 1 = -3*k - b + 10. Suppose 0 = 3*i - k*s - 1708, 937 = 4*i + s - 1372. Is 14 a factor of 1/(-2)*i/(-8)?
False
Suppose j - 400 = 5*m + 529, 923 = j + m. Is 8 a factor of j?
False
Let t(g) = g**3 + 29*g**2 - 8*g - 97. Is t(-29) a multiple of 8?
False
Is -38*50/40*-2 a multiple of 19?
True
Suppose 0 = 4*x - x - 117. Suppose 0 = r - 17 + 86. Let g = x - r. Does 29 divide g?
False
Let w(u) = 11*u**3 + 21*u**2 + 7*u - 2. Let v(q) = 4*q**3 + 7*q**2 + 2*q - 1. Let f(h) = -8*v(h) + 3*w(h). Let i be (-11)/2 + (-2)/4. Is f(i) a multiple of 4?
True
Suppose -3*i + 130 = -188. Does 7 divide i?
False
Let g(j) = j**3 - 9*j - 24. Is 17 a factor of g(9)?
False
Suppose -25 + 19 = -3*y. Does 44 divide 2 + 125 - 4 - y?
False
Let v be -2*2/((-8)/74). Let l = 112 - 110. Suppose -j + v = 3*f, j + 4 = l*j. Does 3 divide f?
False
Suppose 166 = -4*l + 2*o, 4*o = -2*l - 127 + 29. Suppose k + 130 = -k. Let g = l - k. Is g a multiple of 11?
True
Let u = 4339 - 2809. Is 15 a factor of u?
True
Suppose -20 - 15 = -5*l. Let y(u) = -u**2 + 10*u + 3. Does 2 divide y(l)?
True
Let z(o) be the first derivative of 2*o**3/3 + o**2 - 12*o + 26. Does 33 divide z(8)?
True
Let k be ((-15)/(-12))/((-1)/4). Let p be (7 + -2 - 4)*25. Is (-2)/k - (-265)/p a multiple of 7?
False
Does 2 divide (6/(-15))/(2/(-60))?
True
Let t(u) be the third derivative of u**4/3 + 5*u**3/6 - 7*u**2. Let g be t(4). Let w = 39 + g. Is 12 a factor of w?
False
Suppose i = 3*i - 3*l + 11, -5*l + 21 = -2*i. Suppose q - 119 - 32 = 2*v, -i*q + v + 296 = 0. Does 15 divide q/5 - 12/(-20)?
True
Let g be (4/(-12))/((-2)/12). Let y(p) = 7*p**2 + g*p**2 - 4 - p**3 - 9*p + 11 + 5*p**2. Is y(13) a multiple of 20?
False
Suppose -3*g + 28 = 91. Is g/(-42)*140/2 a multiple of 5?
True
Let f = -163 + 653. Is f a multiple of 66?
False
Suppose 3*o = 4*c - 6644, 4*o = -0*c - c + 1661. Is 11 a factor of c?
True
Suppose 2*k = -3*h - 0*h + 883, 0 = -3*h - 5*k + 898. Let z = h + -84. Does 21 divide z?
False
Let u be 2/8 - (-3)/(-12). Suppose -3*q = 4*z - u*z - 50, z - q - 9 = 0. Does 2 divide z?
False
Suppose 10*n - 4973 = 6027. Suppose 12*m - n = 7*m. Is 24 a factor of m?
False
Let k(r) = 157*r + 137. Is k(6) a multiple of 26?
False
Is 62 a factor of (-7811)/(-3) + (-32)/(-96)?
True
Suppose -20 = 12*v + 40. Does 10 divide 322/4 - v*1/(-10)?
True
Let u = 649 + -609. Is 20 a factor of u?
True
Let r(n) = 31*n - 113. Let i(l) = 15*l - 56. Let f(d) = 13*i(d) - 6*r(d). Is