pose -2*k + 3*s = 5*s - 576, 3*k = -4*s + 866. Does 13 divide k?
True
Let g be (94/(-3))/((-1)/(-3)). Suppose -2*a - 88 = -2*l, -l = -4*a + l - 176. Let v = a - g. Does 14 divide v?
False
Let h(j) be the third derivative of -j**4/12 + 37*j**3/6 - 4*j**2. Is h(0) a multiple of 11?
False
Suppose 19*q = 75*q - 66528. Is q a multiple of 18?
True
Let c(r) = -6*r**2 - 8*r - 7. Let y(t) = -t**2 + t + 1. Let q(h) = -c(h) - 4*y(h). Suppose -4*w - 19 + 7 = 0. Is q(w) a multiple of 27?
True
Suppose 406 = 5*l - 1194. Suppose l = -2*d - 2*d. Let y = d - -121. Does 11 divide y?
False
Suppose 4*f + 19 = -2*a - 33, 0 = 3*f - 2*a + 46. Let w(s) = s**2 + 3*s - 12. Let d be w(-7). Let v = d - f. Does 11 divide v?
False
Let m = 389 - 273. Let h = 206 - m. Suppose -4*q + 3*w + h = -117, 28 = q + 4*w. Does 16 divide q?
True
Suppose -6*x + 7*x = 9. Suppose -5*s = 11 + x. Let j = 43 + s. Does 13 divide j?
True
Let o(u) = -35*u + 691. Is o(10) a multiple of 13?
False
Does 4 divide (-5)/(-2)*(-48)/(-30)?
True
Let o = 51 + -16. Let i = 53 - o. Is i a multiple of 9?
True
Let d = -95 + 341. Is 41 a factor of d?
True
Is 85 a factor of 5/(275/(-5)) + 16831/11?
True
Let f(v) = 44*v + 4. Let m be f(-5). Let h = m - -377. Is 25 a factor of h?
False
Let h(c) = -36*c**3 - 1. Let a be h(-1). Let s be 158/5 - (-14)/a. Suppose -8 - s = -5*k. Does 4 divide k?
True
Suppose 0 = 11*h - 3485 - 3159. Is h a multiple of 14?
False
Let u be (22/33)/((-2)/(-135)). Let a be (10/(-3))/((-30)/u). Suppose 15 = a*c - 40. Does 5 divide c?
False
Suppose 4*h + 2799 - 957 = 5*r, 1455 = 4*r + 3*h. Is 15 a factor of r?
False
Let h be (-6)/1 - (44 + -39). Let o(v) = 2*v + 29. Let r(b) = b + 15. Let p(g) = -6*o(g) + 11*r(g). Is p(h) a multiple of 2?
True
Let h = 6 - 0. Suppose 0 = 2*q - 3*v + h, 0*v - 9 = 3*q - 4*v. Is 4 a factor of 1/(q/(-18)*1)?
False
Let w = -485 + 653. Is w a multiple of 7?
True
Suppose 79*l + 5*a = 75*l + 3949, -a - 2976 = -3*l. Does 12 divide l?
False
Let l be (-2)/(-2)*(56/7 - 4). Suppose -l*u + 341 = -587. Is 31 a factor of u?
False
Let g = 88 + -97. Is (g/(18/112))/((-2)/8) a multiple of 20?
False
Suppose -5*q - 24 = -2*q. Suppose 0 = -27*m + 42 + 12. Does 4 divide 18 - (-12)/q*m?
False
Let d(y) = 23*y**3 - 6*y**2 + 3*y - 3. Does 15 divide d(3)?
False
Let d(m) = m + 2. Let u be d(-1). Is (u - -2)/((-30)/(-40)) a multiple of 4?
True
Suppose 3*z - 16*z + 8710 = 0. Is z a multiple of 40?
False
Let r(u) = -u**3 - u**2 - u + 4. Let n be r(0). Suppose -1 = -k + n. Suppose 0 = k*m + 5*i - 340, m - 272 = -3*m + 3*i. Does 15 divide m?
False
Let g be 4 - (-3 + (-3)/(-1)). Suppose g*t = -5*o + 27, 0 = 3*o - 0*t + t - 12. Suppose -o*s - 10 = -58. Is 9 a factor of s?
False
Suppose 3*l - 3*b = 2332 + 995, -5*l + 5561 = 3*b. Is 11 a factor of l?
True
Let g be (-7)/(12 + -5) - 3*-1. Suppose -g*j + 2 = 0, 2*k - j - 36 = 3*j. Does 20 divide k?
True
Suppose -2*q + 5*u + 57 = 0, -2*q - 2*u - u + 81 = 0. Let s = 144 + q. Is 16 a factor of s?
False
Let o(q) = -11*q + 633. Does 57 divide o(-15)?
True
Let q be (-422)/(-6) - (-2 - (-21)/9). Suppose 249 = 11*m - q. Is m a multiple of 29?
True
Let k(m) = m - 4. Let l be k(4). Let f(d) = d**2 - 12*d + 15. Let t be f(11). Suppose 0 = -l*s + t*s - 368. Is 25 a factor of s?
False
Let x(s) = -s**2 - 10*s + 4. Let q be x(-10). Let h be (-26 + 12)/(2/q). Let l = h + 40. Does 12 divide l?
True
Let a(n) = 6 - 11 - 10 - 4*n. Let y(b) = b**2 + 6*b - 6. Let h be y(-6). Is a(h) a multiple of 9?
True
Let g(l) = 16*l. Let r be g(-1). Let q be ((-60)/r + -3)*4. Is 51/12 + q/(-12) a multiple of 4?
True
Let t = 188 - 56. Is 11 a factor of t?
True
Let v = -6 - -1. Let n(g) = 7*g**2 + 10*g - 6. Does 17 divide n(v)?
True
Let l(n) be the first derivative of -n**2/2 + 9*n - 3. Let b be l(0). Suppose -204 = 5*m - b*m. Is 17 a factor of m?
True
Let n = 14 - 38. Let m = 0 - n. Suppose m = -l + 2*l + 2*q, -4*q - 120 = -4*l. Does 16 divide l?
False
Suppose -2*k + k + 5 = f, 0 = 2*f - 3*k + 15. Suppose f*c - 4*c = 8. Is 30/3 - (c - -3) a multiple of 3?
True
Let r(n) be the second derivative of n**5/30 - 3*n**4/4 - n**3/3 + 2*n**2 + 3*n. Let l(w) be the first derivative of r(w). Does 34 divide l(13)?
True
Suppose 196 = 65*g - 61*g. Suppose g - 399 = -10*p. Is p a multiple of 18?
False
Let f(k) = 3*k**2 + 24*k + 0*k**2 - 1 - 36*k. Is 3 a factor of f(5)?
False
Suppose 0 = -4*n + 55 - 55. Suppose 6*k - 199 + 1 = n. Is 11 a factor of k?
True
Let q = 116 - 111. Suppose -q*b + 961 = -2*o, -4*b - 2*o = -5*b + 197. Does 12 divide b?
False
Let i(u) = 27*u**2 - 44*u - 17. Let s(h) = -9*h**2 + 15*h + 6. Let l(c) = 6*i(c) + 17*s(c). Is l(6) a multiple of 18?
True
Let a(g) = g**2 + 3*g + 2. Let n be a(-4). Let v(j) = j. Is v(n) a multiple of 2?
True
Let h = 3 - 3. Let n(v) = v**3 - v**2 - v + 249. Is 42 a factor of n(h)?
False
Let z(o) = 10*o**2 - 3. Let a be z(2). Suppose 2 = k - a. Is 13 a factor of k?
True
Let s be (-4 - -7)/(3/2). Let j be s/(-10) - 1210/(-50). Suppose -j = -i - 7. Is 17 a factor of i?
True
Suppose -2*x + 2*t + 14 = 0, -4*x - 5*t + 18 = -1. Suppose -5*j + 1262 = -m, x*m - 4*m + 753 = 3*j. Is j a multiple of 19?
False
Let n(s) = s**3 + 8*s**2 + 5. Let y be n(-8). Suppose 4*v = b + b - 184, 0 = 4*b - 3*v - 368. Suppose b = 4*k + t, -3*t + 0*t = -y*k + 132. Does 24 divide k?
True
Let j(w) = -w**2 - w + 4. Let c be j(0). Suppose c*o = 427 + 101. Is 22 a factor of o?
True
Let t(g) = g - 1. Let o be t(3). Suppose -o*b = n + 2*n + 2, -3*b + 27 = -3*n. Suppose -2*f + 22 = -2*i, -3 = -i - b. Does 9 divide f?
True
Suppose 0 = -6*x + 782 + 1282. Is 12 a factor of x?
False
Is 2 a factor of 1922/6 + (-34)/102?
True
Let j(x) = -x**3 - 2*x**2 + x + 4. Let q be j(-3). Let w = 24 + -30. Is w/30 - (-452)/q a multiple of 13?
False
Suppose 27*o = 31*o - 88. Is o a multiple of 11?
True
Let u = 52 + -31. Suppose r - 2*j - u = 0, 5*r - j = 2*j + 105. Let v = r + -12. Is v a multiple of 3?
True
Suppose 3*x + 2*k - 12 = 0, -5*x + 18 = 4*k - 0*k. Let i(d) be the third derivative of d**4/8 - d**3/2 - 4*d**2. Is i(x) a multiple of 15?
True
Suppose -8*a = -3*a - 685. Is a a multiple of 2?
False
Let c be 4760/24 - (-4)/6. Let t be ((5 - 3) + -2)/(-2). Suppose 3*j - 2*j + p - 50 = t, 3*p - c = -4*j. Does 12 divide j?
False
Let s be (-753)/(-18) - -2 - 2/(-12). Suppose -7*l = -236 - s. Is l a multiple of 24?
False
Does 17 divide (-1 - 16)/(-2 + 525/266)?
True
Suppose -5 = -5*y, -6*k + 5*y = 3*y - 2686. Is k a multiple of 28?
True
Suppose 2*z + 15 = 7*z. Let y be -3 + z + -3 + 6. Suppose 79 = y*x + 13. Does 12 divide x?
False
Suppose -5*o + 1090 = 6*i - 4*i, -5*o - 10 = 0. Is i a multiple of 22?
True
Let j(i) = -21*i + 6. Suppose -3*a + 4 = -5*d, 3*d + 4*a = -a - 16. Does 12 divide j(d)?
True
Suppose 22*n = 5452 + 38372. Does 24 divide n?
True
Suppose 6*w + 4*c = w + 334, -3*w = 2*c - 200. Is 8 a factor of (w/55)/(3/20)?
True
Suppose -k + 2*v + 84 = 0, -3*v = -2*k - 3*k + 434. Does 44 divide k?
True
Suppose 5*z + 890 = v + 4*v, -z + 722 = 4*v. Does 20 divide v?
True
Let f(a) = 22*a**2 + 2*a - 1. Let g be f(-2). Suppose -g - 45 = -u. Let l = 212 - u. Is 28 a factor of l?
True
Let l(i) = i**3 - 10*i**2 - 5*i + 8. Suppose 2*u - 102 = -5*y, 2*y + 48 = u - 12. Suppose -4*x + u = 12. Does 20 divide l(x)?
False
Let h = 1914 + 1134. Is h a multiple of 47?
False
Suppose 4*n - 3*u - 148 = -7*u, -3*n - 5*u = -115. Is n a multiple of 9?
False
Let x = -441 - -163. Let z = -198 - x. Is 20 a factor of z?
True
Suppose -2*k = 2 - 8. Suppose 19 = i - 4*y, 0*i + 11 = -k*i - 5*y. Is 68 + 0*i/(-9) a multiple of 17?
True
Let f(w) = w**3 - 8*w**2 + 42*w - 5. Does 48 divide f(7)?
True
Suppose -5*m - 6 = -16. Let b be (-14)/(-35) + m/(-5). Suppose -w - x + 2 + 8 = b, 35 = 2*w - x. Is w a multiple of 5?
True
Suppose 3*r - 2*r = -5*i + 12, 0 = 3*r + 5*i - 16. Let y be (-1 - 13/(-5))*5. Is 5 a factor of 20/y*r*4?
True
Suppose 0 = -3*y - 5*y + 24. Does 22 divide -1*(6 - y) + 226?
False
Let m(b) = b**2 + 132. Let k be m(0). Let n be 1/(-1) - (-510)/102. Suppose -n*x + 4*r = -k, -4*r = -7*r + 15. Is x a multiple of 6?
False
Suppose 0*z - 3*z = -48. Suppose -2*a = -10 - z. Let j = a + 8. Is 14 a factor of j?
False
Suppose -2*a + 1826 = 5*d, -11*a + 8*a = d - 373. Is 5 a factor of d?
False
Let r = -588 - -813. Does 43 divide r?
False
Le