es 12 divide k(x)?
True
Suppose -3392 = -8*d + 4336. Does 6 divide d?
True
Let m(o) be the second derivative of -7*o**3/6 + 2*o**2 + 15*o. Is m(-3) a multiple of 5?
True
Suppose -5*p = 7*l - 2*l, -5*p + l + 12 = 0. Is (p - 6/(-3)) + 7 a multiple of 7?
False
Let u = -427 - -554. Is u a multiple of 28?
False
Is 19 a factor of (-13662)/(-30) + ((-60)/25 - -2)?
False
Suppose -2*i - 3*w = 291 - 1424, -2*i + 1135 = 5*w. Is 15 a factor of i?
False
Is (0 + -7 - 50/(-10))*-239 a multiple of 2?
True
Suppose -29*u + 4602 = -25326. Does 24 divide u?
True
Let n(y) = -3*y + 806. Is 25 a factor of n(-48)?
True
Suppose 0*d - 2100 = -5*d. Suppose 2*s - 9*s = -d. Is 7 a factor of s?
False
Let j(d) = -537*d - 13. Does 5 divide j(-1)?
False
Let x = -10 + 15. Suppose u + 110 = 3*u. Suppose x*k + 6*w - 2*w - 103 = 0, -w - u = -3*k. Does 11 divide k?
False
Let i(t) = 2*t**3 - 40*t**2 + 12*t + 14. Is 58 a factor of i(20)?
False
Let p = 47 - 49. Does 19 divide ((p - -4) + -13)*(-7 - 0)?
False
Suppose 0 = -4*b + 16, 7*u - 5*b = 5*u + 52. Does 8 divide u?
False
Let o(x) = x - 7. Let i be o(12). Suppose -2*m + 4*m = 4*g - 4, -14 = 4*m - i*g. Is 13 a factor of (-386)/m + 20/30?
True
Suppose -11*j + 9*j + 4 = 0. Suppose 2*q = -5*t + 278, -695 = -3*q - j*q - t. Is q a multiple of 45?
False
Let i(t) be the first derivative of -t**3/3 - 11*t**2/2 - 4*t + 9. Let s be i(-12). Is 11 a factor of (2/(-4))/(s/2464)?
True
Is 30 a factor of ((-9072)/32)/(3/(-2) - -1)?
False
Let s(t) = 11*t**2 - t. Let i = -7 - -8. Let h be ((-1)/(-1)*i)/(-1). Does 12 divide s(h)?
True
Let d be -4 + (0 - -2) - -8. Suppose 21 - 5 = -4*b. Does 8 divide b/(-6) - (-44)/d?
True
Let j be (54/(-45))/(4/(-10)). Let s = 98 + -93. Suppose -256 = -j*o - s*z + 34, -348 = -4*o + 3*z. Is 24 a factor of o?
False
Suppose 4*a = j - 91, a - 2*j = -0*a - 28. Let r be 2/11 + (-84)/a. Suppose 5*t = -r*n + 12 + 5, -2*n = -2*t + 14. Is t a multiple of 5?
True
Let i(t) = t**3 + 2*t**2 - 2*t + 325. Is 5 a factor of i(0)?
True
Let m be 1*(308 - (0 + -1)). Suppose -t - 126 = -3*q + q, t = 5*q - m. Suppose 2*x - 6*z + z = q, 5*z - 47 = -4*x. Is 6 a factor of x?
True
Let v(s) = s**2 + 17. Let n be v(0). Let o = 99 + -110. Let m = o + n. Is m a multiple of 3?
True
Let x(r) = -663*r + 442. Is x(-3) a multiple of 126?
False
Suppose -3*c - 561 = -4*v, -3*v + 3*c + c + 412 = 0. Let d = -68 + v. Let l = 120 - d. Is 9 a factor of l?
False
Suppose 23 = -6*p + 17. Let a(g) = -102*g. Does 34 divide a(p)?
True
Suppose -5*x + 578 = y, y - 341 = -x + 217. Does 15 divide y?
False
Let x be (-2 + 1)/((-2)/6). Let z(h) be the second derivative of h**5/20 + h**3/2 - 4*h + 3. Is z(x) a multiple of 12?
True
Is 83 a factor of -3 + (-2 - -1) + 59 + 592?
False
Let r(b) = 4*b. Let y(p) = -11*p. Let t(c) = 8*r(c) + 3*y(c). Let o(m) = 10*m**2 + 8*m + 5. Let w(k) = o(k) + 4*t(k). Is w(-2) a multiple of 14?
False
Suppose -8*n + 2664 = -5*n. Does 46 divide n?
False
Let t be (-8)/5*(-25)/(-10). Let g(i) = -i + 36. Does 20 divide g(t)?
True
Let n(h) be the first derivative of -h**4/2 - h**3 + h**2/2 - 4*h - 7. Is n(-3) a multiple of 20?
True
Let o(b) = -10*b - 130. Is o(-15) a multiple of 2?
True
Let g(i) = -13*i - 20. Let z(s) = -14*s - 21. Let h(k) = -5*g(k) + 4*z(k). Let c be h(-9). Let m = c + 137. Is m a multiple of 28?
False
Suppose -4*s + 5 = -x, 2*s = -4*x + 2*x - 10. Suppose s = -4*u + 206 + 438. Does 23 divide u?
True
Let k be 108*(-6)/(48/20). Is (12/(-10))/(18/k) a multiple of 15?
False
Let q = 320 + -177. Is q a multiple of 20?
False
Let w(v) = 3*v**2 - 22*v + 11. Let i(q) = q**2 - 7*q + 4. Let k(b) = 7*i(b) - 2*w(b). Let j be k(4). Suppose 1 = j*o - 123. Is 19 a factor of o?
False
Suppose -11 - 16 = -g + o, 2*g = -3*o + 44. Let z = 23 + g. Is 14 a factor of z?
False
Is (-28)/70 + 7446/(-45)*-3 a multiple of 31?
True
Let j = -67 + 71. Suppose 0 = -j*r + 2 + 170. Is 19 a factor of r?
False
Let p = 298 - -243. Is 12 a factor of p?
False
Let j = 4 - -16. Suppose 5*k = j + 15. Does 2 divide k?
False
Is 28 a factor of (11 + -9)/(8/1172)?
False
Suppose 3*b - 10*b + 4333 = 0. Suppose 317 + b = 6*t. Is t a multiple of 26?
True
Suppose -4656 - 816 = -19*i. Is i a multiple of 22?
False
Suppose 4 = 45*a - 43*a, 0 = -3*v + 5*a + 338. Is 4 a factor of v?
True
Does 11 divide -3*266*(-6)/18?
False
Let w = -151 + 267. Suppose -w = i - 298. Is i a multiple of 35?
False
Suppose 6*w - 2208 = -4*b + 2*w, 4*w + 2200 = 4*b. Is 29 a factor of b?
True
Suppose -2*f + 70 = -50. Suppose f = 6*q - 5*q. Does 12 divide q?
True
Suppose 4*f + 4*d - 2*d - 154 = 0, 4*f - 5*d = 175. Let a be (-1 - -2)/((-2)/(-8)). Suppose -3*w = -a*w + f. Is 10 a factor of w?
True
Suppose -3180 = -76*s + 71*s. Is 76 a factor of s?
False
Let x = -5 - 63. Let l = 75 + x. Is l a multiple of 7?
True
Suppose -2*v - 2 = -142. Suppose -2*q = 3*q + 10, 0 = 2*l - q - v. Does 5 divide l?
False
Does 9 divide -10 - (-1497 + 9 + -11)?
False
Let g(b) = -b**2 - 10*b + 14. Let j be g(-10). Suppose 2*r + 12 = 2*h, 4*h + 3*r + j = 59. Is h a multiple of 9?
True
Let c = -22 - -175. Does 17 divide c?
True
Suppose -6357 = -3*v + 173*w - 172*w, -3*v - 5*w = -6375. Does 10 divide v?
True
Suppose -3*h = -2*z - 437, -3*h = -3*z - 50 - 391. Does 5 divide h?
False
Suppose -10*r - 200 = -6*r. Let m = 82 + r. Does 16 divide m?
True
Suppose -3*s + 4 = s, d - 642 = -s. Does 9 divide d?
False
Suppose 527 = -p + 142. Let l be (-1 + 4)/(11/p). Let t = l - -151. Does 13 divide t?
False
Suppose 5*m - y + 13 = -7, 0 = -5*m - 3*y - 20. Let t(z) = 7*z + 1. Let k(f) = -7*f - 2. Let o(l) = -3*k(l) - 4*t(l). Does 10 divide o(m)?
True
Suppose -7*v + 2*v + 12 = 3*n, 3*v - 4 = -5*n. Suppose -19 = -4*o - v. Is o a multiple of 4?
True
Let w = -718 - -1260. Is 9 a factor of w?
False
Let b = 151 - -101. Let x = b - 177. Is 19 a factor of x?
False
Let n(v) = 2*v**3 - 3*v**2 - 6*v + 6. Let i be 0 + 2 + 1 - 0. Is n(i) a multiple of 5?
True
Let r(l) be the second derivative of l**5/20 - 5*l**4/12 + l**3 - 2*l**2 - l. Let g be r(4). Let c = 1 + g. Does 2 divide c?
False
Suppose -t = -6*t - 25. Let f = t - -34. Suppose 4*a = -4*k + 60, 0 = 3*k - 3*a + f - 80. Is 11 a factor of k?
False
Let q(c) = c + 1. Let g(o) = 63*o + 9. Let h(n) = -g(n) + 5*q(n). Is h(-1) a multiple of 18?
True
Let c(u) = -u**2 - 47*u - 21. Does 63 divide c(-33)?
True
Let y(q) = q**3 - 6*q**2 - 17*q + 10. Let w be y(8). Suppose w*p = -3*p + 5*d + 1085, 4*d = -2*p + 410. Is 55 a factor of p?
False
Suppose -3*j = -6*j + 3*f + 9, 0 = 3*j - 4*f - 10. Suppose j*s - 5 + 1 = 0. Is (-72)/(-4)*8/s a multiple of 24?
True
Suppose -1 - 9 = -5*a. Suppose 0*o - f - 9 = -3*o, -a*f + 22 = 4*o. Suppose -2*r + 52 = 3*d, -o*d = 5*r - 8*r + 78. Is r a multiple of 13?
True
Suppose -3 = 2*z + 5, -5*z + 1484 = -2*u. Is 15 a factor of 3 - 3 - 1/(4/u)?
False
Let y(s) = 4*s**2 - 6*s - 14. Is y(6) even?
True
Let k be (1 - 2)*(3 - 150 - 2). Let q = k + -58. Is 19 a factor of q?
False
Let c be -3 + 7/(21/(-6)). Let v = -2 - c. Suppose -5*u = -v*j - 35, 15 = -2*u + u + 5*j. Is u a multiple of 10?
True
Suppose -2*i = -v - 311 + 881, 0 = -3*v - 5*i + 1710. Is v a multiple of 3?
True
Let u(t) = -t**2 + 5*t + 2. Suppose f - 5*f = 128. Let v be 1/((-4)/f*2). Is u(v) a multiple of 2?
True
Suppose 0 = -24*g - 788 + 26732. Is g a multiple of 5?
False
Let i = -1234 + 2412. Is i a multiple of 14?
False
Let b be 22/(-6) + (-70)/(-6) + -10. Let r(o) = o**3 - 4*o**2 - 9*o + 6. Let f be r(6). Is 3 a factor of 348/f - 1/b?
True
Let u = 60 - 52. Suppose -5*g + u*g = 63. Is g a multiple of 21?
True
Let f be (-12)/9 - 8/12. Let m(k) = -k + 10. Is m(f) a multiple of 4?
True
Suppose -74 = -3*s + 5*m, -3*s - 2*m + 0*m = -109. Suppose 0 = -5*w + 17 + s. Suppose 5*t - n - w = -0*t, -5*t = 3*n - 30. Is t a multiple of 2?
False
Suppose 0 = -6*x + x + 3*l - 35, 0 = -x + 3*l - 19. Let d be 1/4 + 130/(-8). Does 14 divide (-570)/(-8) - x/d?
False
Let h(n) be the first derivative of n**3/3 + 3*n**2/2 + 6*n - 8. Does 3 divide h(-3)?
True
Let o = 29 + -29. Let d be (o - -3)/(4 + -3). Suppose -d*j = 4*j - 546. Is j a multiple of 13?
True
Suppose 83*n - 1895 = -z + 79*n, 2*z - 3770 = -4*n. Does 125 divide z?
True
Let m(b) = -53*b**2 - b. Let p be m(1). Let y = 95 + p. Does 12 divide y?
False
Let q be (-4 - -7)*(-14)/(-3). Suppose -q - 5 = 