. Does 13 divide k?
True
Let s = -669 + 672. Suppose 2868 = s*j + l, 2*l = -j - 0*j + 951. Is 10 a factor of j?
False
Let h(x) = 3*x**2 - 5*x + 11. Let a(i) = i**3 - 19*i**2 + 20*i - 26. Let o be a(18). Let t = o - 1. Is 11 a factor of h(t)?
True
Let x(p) = 52*p - 1782. Does 150 divide x(66)?
True
Suppose -5*o + 86 = 11. Let k(b) = b**2 - 18*b - 5. Let t be k(o). Let u = 106 + t. Is 28 a factor of u?
True
Let d(z) = 2*z**3 + 2*z**2 + 2*z + 64. Let p be d(0). Does 15 divide (p/(-40))/(((-4)/(-665))/(-2))?
False
Let u(z) be the first derivative of 44*z**3/3 + 3*z**2/2 - 5*z - 899. Let f = 8 + -6. Does 19 divide u(f)?
False
Is -2*(-94713)/6 + 13 a multiple of 96?
True
Suppose -4*d + 27 + 5 = 0. Let v be (0 + -370)/(d/(-12)). Is 47 a factor of v/6 - 12/(-8)?
True
Suppose -258*i + 3635466 = 224190. Does 196 divide i?
False
Suppose 2595 = 194*g - 189*g. Suppose -4*w - 3*x + 995 = -g, -3*x - 1526 = -4*w. Does 22 divide w?
False
Let p = -3056 - -11597. Is 9 a factor of p?
True
Let x be 2/4*0 - -8. Let u(i) be the second derivative of -i**4/12 + 3*i**3/2 + 5*i**2 + 33*i. Does 5 divide u(x)?
False
Let k = -13 - -21. Let d be (-36)/k*(-20)/(-15). Does 10 divide d/(-15)*1*180?
False
Let m(j) = -j**2 + 11*j. Suppose 0 = 4*u + 36 + 24. Let h be 48/u*(-10)/4. Is m(h) a multiple of 12?
True
Suppose 3*u = 4*i + 31, 8*u - 3*u - 4*i - 41 = 0. Suppose 0 = 5*n - 188 - 342. Suppose p - n = u. Is p a multiple of 17?
False
Suppose -x + 5 = 0, -s - 345 = 5*x - 1370. Suppose -2*q = 8*q - s. Suppose 19*g = 20*g - q. Is 17 a factor of g?
False
Let s(r) = 4*r**3 - 47*r**2 + 20*r - 5. Does 4 divide s(12)?
False
Does 30 divide ((4/3)/2)/(163/416628)?
False
Let o = -153 + 156. Suppose -1960 = -5*w - o*c, 5*c + 492 + 1468 = 5*w. Is w a multiple of 18?
False
Suppose 3*r + 2*g - 2 = -0*g, -r - 4*g = -4. Let o be 3 + 11/11 + -4. Suppose r = -o*h - h + 17. Does 2 divide h?
False
Let g(o) be the second derivative of o**4/6 - 35*o**3/6 + 3*o**2/2 + 8*o. Let f be g(21). Suppose -35*q + 40*q = f. Is q a multiple of 6?
True
Let a(h) = 69*h. Let b be a(-2). Let k(r) = 48*r + 283. Let j be k(-7). Let m = j - b. Is 13 a factor of m?
False
Let b = -12053 + 27900. Is 31 a factor of b?
False
Let i be (-22196)/(-30) + (-16)/(-120). Let k = i - 627. Is 3 a factor of k?
False
Let w(l) = l**2 + 13*l + 35. Let k be w(-9). Does 8 divide (12/(-24))/(k/836)?
False
Suppose -18*p = -14*p - 3*b - 2488, -5*b = 4*p - 2456. Is p a multiple of 11?
False
Let q = -41 + 26. Does 10 divide (((-2214)/q)/(-3))/((-24)/60)?
False
Suppose -39 = -9*p + 10*p. Let x be (169/p)/((-2)/6). Let h(z) = 7*z - 31. Does 10 divide h(x)?
True
Let h(k) = -k**3 + 10*k**2 - 7*k - 12. Let l be h(8). Suppose -b + l = 9*b. Suppose 476 = -b*a + 10*a. Is a a multiple of 17?
True
Suppose -5*c + 130 = 3*m, 2*m - 13 = c + 78. Let v(h) = h**3 + 2*h**2 + 2*h - 1. Let o be v(-2). Is m + (-15)/o + 0 a multiple of 24?
True
Let l be (40 - 41)/(2/(-82)). Suppose -88 = -42*o + l*o. Is 45 a factor of o?
False
Let n = -637 - -1079. Let p = n - 255. Is 2 a factor of p/33 - 1/(-3)?
True
Let t = 120 - 70. Suppose 0 = -d - i + t, -2*d - 2*d = 2*i - 206. Suppose -3*o + d = -2*o. Does 11 divide o?
False
Suppose -6*q - 6*q = -349248. Is 17 a factor of q?
True
Let j(d) = -35*d**2 + 11*d + 34. Let p(c) = -17*c**2 + 6*c + 17. Let m(u) = 2*j(u) - 5*p(u). Is m(5) a multiple of 33?
False
Let l be 15 + 2 + -6 + -1*4. Let q = -4 - -7. Suppose -l = -h + q. Does 10 divide h?
True
Let q(w) = -6*w - 34. Let a be q(-6). Suppose 3*v - 2*r - 982 = 0, -a*v - 293 = -3*r - 956. Let l = -214 + v. Is 34 a factor of l?
False
Let h(x) = -x**3 + 4*x**2 + 10 + 14 + x**2 - 8*x + 10*x**2. Is h(12) a multiple of 12?
True
Does 153 divide (2291 - 2) + 4/(36/45)?
False
Let f(y) = -y**2 + 12*y - 4*y**2 + 18*y**2 + 1 + y**3. Let r be f(-12). Does 12 divide 1 + r - 4*(7 - 60)?
False
Is 8 a factor of (8/192*-10844)/((-2)/12)?
False
Is 69 a factor of (-597580)/(-26) + ((-4)/65)/((-346)/865)?
False
Let h(x) = -2*x + 34. Let j be h(17). Suppose j = -3*a - 10 + 208. Does 6 divide a?
True
Let k = 202 + -253. Let g = 86 + k. Is 2 a factor of g?
False
Let g(n) = n**2 + 2*n - 11. Suppose -8*b = -4*b + 20. Let a be g(b). Suppose -2*k - 4*m = -5*k + 172, a*m + 300 = 5*k. Is 10 a factor of k?
False
Suppose -5*v - 12 = -2*r, -v - 2*v - 2 = 4*r. Let w = r - -2. Suppose w*i = -3*c - 14 + 83, 3*i = -5*c + 71. Is i a multiple of 22?
True
Let q(j) = j**2 + 6*j + 10. Let g be q(-4). Suppose -3*c - 7 = g, 5*p + c - 352 = 0. Is p a multiple of 13?
False
Let u = -335 + 927. Let w = u - 318. Is 69 a factor of w?
False
Let z(l) = 8*l**3 + l**2 - 3*l + 2. Suppose w = -4*a + 3 + 6, -5*w + 3 = -a. Let n be z(w). Let q = n - 5. Is q a multiple of 3?
True
Let a be (-535)/(-3) - (-60)/36. Let u = a - 142. Is u a multiple of 30?
False
Let m = 25684 + -14524. Is m a multiple of 20?
True
Let f(a) = a**3 - 6*a**2 + 3. Let i be f(6). Suppose -i*b + 6*b = 189. Is 24 a factor of b?
False
Let z(b) = 169 + 4*b + 180 + 163 + 2*b**2 - 493. Is 7 a factor of z(-5)?
True
Let h(v) = -3*v**2 - 24*v + 32. Let b be h(-12). Is (-12352)/b - 6/21 a multiple of 55?
True
Let o(p) = -p**3 - 14*p**2 - 2*p - 252. Is o(-18) a multiple of 18?
True
Suppose 157*o = 58*o + 1765665. Is o a multiple of 41?
True
Let n(d) = -10*d**2 - 121*d + 28. Is 24 a factor of n(-9)?
False
Let n = -46 + 46. Suppose -5*i + 16 + 39 = n. Suppose -i*j + 16*j - 120 = 0. Is 8 a factor of j?
True
Suppose 2*u + 3006 = 5*i, 0 = -3*i + 2*u + 1083 + 723. Is 30 a factor of i?
True
Does 6 divide (-391)/23 - -21 - -3529?
False
Let x(v) = v**2 - 33*v + 63. Let m be x(0). Let t be -2 + ((-15)/(-1))/3. Suppose -t*y + 4*y = m. Is y a multiple of 12?
False
Let y(u) = 55*u + 234. Let b be y(-13). Let v = -115 - b. Does 10 divide v?
False
Let j = -8538 - -14478. Is j a multiple of 132?
True
Suppose 21*k - 560 = 1855. Let i = 39 + k. Is 14 a factor of i?
True
Suppose -q + g = -3*g - 982, -3*q + 5*g = -2960. Suppose 0*w = -9*w + q. Suppose -5*b - 4*u + w = u, -3*b + 58 = -u. Is b a multiple of 9?
False
Let i = -8 - -24. Suppose 3*b - i - 23 = 0. Is 139/6 - b/78 a multiple of 23?
True
Suppose -3*h + 265 = 2*h - 3*n, 244 = 4*h + 4*n. Let f be 0 - 2 - (3 - h). Is 85*(f/15 - 3) a multiple of 4?
False
Suppose 0*n - 5*n + 8805 = 0. Suppose -3*b = j + 230 + 349, 3*j + b = -n. Is 7 a factor of (-6)/(-4)*j/(-18)?
True
Let q = 32919 + -20709. Is 30 a factor of q?
True
Suppose 5*m - 356 = 2*x, -8 - 123 = -2*m - 3*x. Suppose 4*o - m - 34 = 0. Does 8 divide (-10)/(-25) + o/10 - -13?
True
Suppose 0 = 11*g - 85568 + 7611. Does 19 divide g?
True
Suppose -f + 15164 = 33*n - 28*n, 3*f = -3*n + 9108. Is 10 a factor of n?
False
Let s = -2034 - -20472. Is 11 a factor of s?
False
Let x(y) = 2*y**2 - 24. Let j be x(0). Let s = -20 - j. Suppose -z - 291 = -s*z. Is 13 a factor of z?
False
Let q = 54 - 54. Suppose 2*c + 10 + 12 = q. Let b = 19 + c. Does 2 divide b?
True
Let a be 53 - ((-24)/180 + (-56)/30). Suppose -4*w + r = -171, w + 58*r - 33 = a*r. Does 3 divide w?
True
Is 36 a factor of -6*(12/(-36))/((-2)/(3*-4414))?
False
Let s(l) = l**3 + 11*l**2 + 13*l + 11. Let a be s(-9). Suppose -5*b + a + 59 = 0. Let h = 37 - b. Is h a multiple of 14?
True
Let h(d) = -2*d**2 + 51*d + 13. Let o(s) = 6*s + 3. Let y be o(1). Is h(y) a multiple of 10?
True
Suppose -2*c = -3*k + 127, 4*k + 3*c - 175 = -0*k. Suppose -9640 = 3*x - k*x. Is x a multiple of 16?
False
Let q = -80 - -288. Let g = q - 54. Is g a multiple of 22?
True
Let m(f) be the first derivative of 13*f**2/2 + f - 17. Let p be m(-1). Let g(h) = -2*h + 1. Is 15 a factor of g(p)?
False
Let c be (-1)/((-2)/12 - 24/144). Suppose -4*s - 1728 = -8*s - c*m, -5*m = 2*s - 864. Does 8 divide s?
True
Suppose 4*n - 7396 = 4*k, -5*n - 3*k + 29 = -9184. Does 7 divide n?
False
Let o = -413 - 32. Let y = -433 - o. Is y a multiple of 3?
True
Let t(x) = 2*x**3 + 3 + 6*x**2 + 11 - x**3 - 9. Let z be t(-6). Suppose -423 = -4*r - 3*n - 0*n, -z*n - 15 = 0. Does 10 divide r?
False
Let h be ((-36)/(-8))/((22/12)/(-11)). Let g = 29 + h. Suppose -3*o + 572 = 2*s, 2*s - 3*s + 286 = g*o. Does 26 divide s?
True
Suppose -73*z + 28478 = -18*z - 16567. Does 17 divide z?
False
Suppose -4*j - 13439 = -14*j + 29801. Is j a multiple of 47?
True
Let v(t) = -2 - 10*t**3 + 2*t**2 + 18*t**3 -