 Let f be k(a). Let n = -129 + f. Does 34 divide n?
True
Let a(f) = f**3 + 25*f**2 - 25*f + 30. Let s be a(-26). Suppose 408 = -s*h + h + 2*g, 2*g = 2*h + 270. Let k = -78 - h. Is k a multiple of 12?
True
Let a(v) = -v**3 - 39*v**2 - 38*v - 278. Does 14 divide a(-39)?
True
Let a = -4 - -4. Suppose a*i - 6*i = 234. Is (-1432)/(-13) + -2 + (-72)/i a multiple of 11?
True
Suppose 4*n - 4 = 0, 0*f - n = -3*f + 8. Suppose f*w + 11 = -r + 2*r, 0 = 3*r + 5*w - 75. Suppose -2*v + 6*v = 5*j - 50, -2*j = 5*v - r. Is 10 a factor of j?
True
Let o(q) = -10*q - 2. Let g be o(-1). Let v(w) = -4*w + g - 5 + 26*w**3 - 38*w**3 - 5*w**2. Is 42 a factor of v(-3)?
True
Suppose -25600 = -0*i - 5*i + 4*v, 2*i - 2*v - 10242 = 0. Is 22 a factor of i?
False
Suppose 10*x + 2596020 = 56*x + 38*x. Does 21 divide x?
False
Let o(z) = 23*z**2 - 8*z + 44. Let w be o(-9). Suppose 1981 = 4*g - w. Is g a multiple of 99?
True
Let v(q) = 14*q**3 + 14*q**2 - 20*q - 168. Let u(d) = -5*d**3 - 5*d**2 + 7*d + 56. Let l(g) = -17*u(g) - 6*v(g). Let j be -1*0*3/(-15). Does 6 divide l(j)?
False
Let u = -8155 + 9845. Is u a multiple of 35?
False
Let g be 10/55 + ((-130)/(-11) - 3). Let s(u) = -2*u + 12. Let q be s(g). Is 19 a factor of (-6)/3 - (q + -53)?
True
Let m(c) = c + 2. Let o be m(3). Suppose -16 = o*g - 4*v, -2*v + 12 = v. Suppose g = 3*i + 15, 2*i - 25 = -t - 0*t. Is 11 a factor of t?
False
Suppose 2*o - 68 = -2*o. Let t be 174/16 + 34/272. Suppose -t*n + 27 = -o. Is n a multiple of 4?
True
Let v = -52 - -114. Suppose 24 - v = -2*o. Is o a multiple of 4?
False
Let q = 691 - 61. Let y = 965 - q. Is y a multiple of 29?
False
Let d = -79 - 34. Suppose 3*q - 3*a + 159 = 0, 2*q - 52*a = -51*a - 100. Let s = q - d. Does 19 divide s?
False
Let u(n) = n**2 + 13*n + 23. Let g be u(-11). Suppose 6*b - g = -7. Is 2 + (-87)/(-2) - b/(-2) a multiple of 9?
True
Suppose -5*d + 3*k + 4987 = 0, 0*d + 3*k = -2*d + 1999. Is d a multiple of 37?
False
Let s = -1132 - -13673. Does 32 divide s?
False
Suppose 0 = -5*m + 3*h + 72753, 7*m + 4*h = 10*m - 43665. Does 23 divide m?
False
Let x(d) = -d**3 + 6*d**2 + d - 3. Let z be x(6). Let g(t) = 4 + 1 - 31*t - 4 - z. Is g(-1) a multiple of 12?
False
Let c = -300 + 465. Suppose 3*p - 192 - c = 0. Suppose p = 6*q - 73. Is 8 a factor of q?
True
Let k(i) = i**3 + i**2 + 2*i - 1. Let q(r) = 3*r**3 + 15*r**2 + 26*r + 92. Let m(b) = -2*k(b) + q(b). Is m(-9) a multiple of 44?
True
Suppose -16872 + 115397 = 35*u. Does 81 divide u?
False
Let o = 1460 - 888. Suppose -5*r = -5*y + 2055, -2*y = 2*r - 234 - o. Is y a multiple of 12?
False
Let z be (-2)/(((-3)/2)/(225/60)). Suppose 5*j - 71 = -2*h + 61, -z*j + 5*h + 160 = 0. Is ((-77)/j)/((-1)/8) a multiple of 2?
True
Suppose -b + 239 + 434 = 0. Suppose l = -p + 339, 0 = -2*p - 4*l + 3*l + b. Suppose 8*z = -p + 1302. Does 11 divide z?
True
Let z = 1258 + -808. Suppose 70*k - 61*k - z = 0. Is k a multiple of 7?
False
Let j(k) = k**3 - 6*k**2 + 8*k - 10. Let g = 17 - 15. Suppose s = 5*t - 27, -3*s = g*t + t - 9. Does 2 divide j(t)?
False
Suppose 37 = 3*r + 6*p - p, 5*r + 4*p = 40. Suppose r*f = -8*f + 2868. Is 9 a factor of f?
False
Let x be 3/2*(-168)/(-9). Let u(s) = -x - 10 - 7 - 9*s. Does 13 divide u(-12)?
False
Let b = 91 - 123. Let l = b + 33. Let i(s) = 132*s**3 - 2*s**2 + 2*s. Is 11 a factor of i(l)?
True
Suppose 2*t + 10 = 0, 5*j + 2*t = -58 - 57. Does 17 divide (-7)/j - 2852/(-12)?
True
Suppose 3*l + 2*j = -2*l + 22804, -5*l - 4*j = -22818. Is l a multiple of 13?
False
Let i = 11 - 8. Suppose i*q = -q. Suppose -z - 4*p + 121 = q, -3*z + 376 = -0*z - p. Is z a multiple of 25?
True
Let f be ((-183)/6)/(2/(-4)). Suppose -f = 4*d - 1. Does 10 divide (-9)/d - (2 - (-222)/(-5))?
False
Let u be ((-1)/(-2) - 2/2)*0. Suppose u = -2*k - 4*x - 4, 5*x = -3 - 17. Let b(j) = 2*j**2 + 5*j - 13. Does 10 divide b(k)?
False
Is ((-1898)/365)/((-1)/25) a multiple of 10?
True
Let u be (-14 - -11)*21/(-9). Suppose 0 = -u*z + 4*z + 810. Does 30 divide z?
True
Suppose -11*i = -8*i - 1680. Suppose -79 - i = -3*d. Is d a multiple of 58?
False
Let k(h) = -2*h - 6. Let b be k(-3). Suppose b = 3*s + f - 332, -8*s + 961 - 61 = -f. Is s a multiple of 7?
True
Suppose 4*c - 12 = 0, 2*c + 114 = -l - 568. Let p = -608 - l. Does 4 divide p?
True
Suppose 0 = -2*t - d + 101, d = t - 176 + 127. Suppose w - 144 = -2*n, 4*n + 0 = -4. Let k = w - t. Is 24 a factor of k?
True
Let k = -39447 - -77747. Is k a multiple of 50?
True
Let q = 1669 + 914. Is q a multiple of 9?
True
Is 21 a factor of ((-30)/(-255) - (-35)/(-153)) + 102908/18?
False
Suppose -c = 6*c. Let n be 4 + -5 + c/1. Is 9 a factor of n - (10 + 4)*-3?
False
Suppose 15*d - 21471 = -4*u + 12*d, -2*d + 16102 = 3*u. Does 18 divide u?
True
Let t = 2069 - -139. Is t a multiple of 96?
True
Let y be (2 - -1)/(-3)*239. Let m = -63 - y. Does 8 divide m?
True
Let i(q) = -10*q**3 - 16*q**2 - 87*q - 147. Is i(-11) a multiple of 8?
True
Let s(p) = 4*p**2 - 3*p + 3. Let d be s(1). Suppose 4*g - 281 = -h, -d*g = 5*h - 343 + 42. Suppose g + 67 = 4*k. Is k a multiple of 17?
True
Let w(d) = -d**3 + 4*d**2 + 6*d - 1. Let g be w(5). Let m = 60 + -12. Suppose g*z = 3*z + m. Does 12 divide z?
True
Is (-2)/(11 - 2055125/186825) a multiple of 40?
False
Suppose 5*y - 1658 = 3637. Is y a multiple of 5?
False
Suppose -4*q = -m - 13, 9 = 4*q - 7. Suppose 0 = -m*z + 1111 - 571. Is z a multiple of 3?
True
Let x = -129 + 123. Does 10 divide x + 1 + (-290)/(-2)?
True
Let f(g) = 12*g**2 + 12*g - 29. Let z be f(7). Let j = -461 + z. Does 13 divide j?
True
Let c(a) = 1431*a - 2478. Is 138 a factor of c(8)?
True
Let b(d) = 10*d**2 + 13*d + 128. Is 29 a factor of b(24)?
False
Let j(m) = -m**2 + 14*m - 8. Let c be j(4). Suppose -3*t - z + 2 - c = 0, -7 = 2*t + 5*z. Let q = 6 - t. Is q a multiple of 3?
False
Let c(j) be the first derivative of -j**4/4 - 8*j**3/3 + 11*j**2 + 3*j - 156. Is 8 a factor of c(-11)?
False
Suppose -5*x = 2*u - 3811, 2*u + 27*x - 24*x - 3805 = 0. Does 13 divide u?
True
Let r = 561 + -509. Does 2 divide ((-715)/r + -9)/(1/(-4))?
False
Let n(b) = -4*b**2 + 6*b + 27. Let m be n(7). Let d = m - -487. Is 40 a factor of d?
True
Suppose 0 = 6*j - 7*j - 131. Let g = -126 - j. Is g even?
False
Is (-7)/(98/(-269700)) - ((-561)/(-77) + -7) a multiple of 301?
True
Let r(q) = -q**3 + q**2 + 19*q + 133. Is 8 a factor of r(0)?
False
Let z(k) = 2*k**2 + 21*k + 147. Let g be z(-14). Suppose 5*v = 25, -g = -h + 13*v - 8*v. Does 30 divide h?
True
Suppose -16*b + 1156 = -444. Does 5 divide b?
True
Let y = -207 + 213. Does 22 divide ((16/y)/8)/(1/939)?
False
Suppose -427*i = -379*i - 140448. Does 11 divide i?
True
Let y = 30326 + -27631. Is y a multiple of 77?
True
Suppose -16530 = -28*i + 1670. Let s = -622 + i. Is 28 a factor of s?
True
Let p = 1901 + -943. Suppose -18*h + 338 = -p. Is 4 a factor of h?
True
Suppose 2*c + 3*n - 20 = -0*n, -40 = -4*c - 2*n. Is (c/(-6))/(32/(-6) - -5) a multiple of 5?
True
Suppose -30 + 2 = -7*p. Suppose 670 = p*c + 2*g, -4*g + 1 = 5. Does 21 divide c?
True
Suppose -4*i - 50 = -2*u, 2*i + i - 86 = -5*u. Suppose -u*m - m + 6780 = 0. Is m a multiple of 27?
False
Let i(k) = 7*k**2 + 0 + 2 - 3*k - 5*k. Let z(y) = 6*y**3 + 10*y**2 + 3*y + 10. Let x be z(-2). Is 29 a factor of i(x)?
False
Let q(f) = -11*f + 5. Let s be q(0). Suppose -4 = w - 8, 4*c = s*w. Is 10 a factor of (c - (-15)/3)*2?
True
Let n(m) be the first derivative of m**3/3 - m**2 + 6*m + 21. Is 42 a factor of n(12)?
True
Let n(o) = -188*o - 1204. Is n(-14) a multiple of 34?
True
Let w(d) = 646*d**3 - 2*d + 1. Suppose 10*r = 25*r - 15. Is 24 a factor of w(r)?
False
Let v be 9/4*4/3. Let p(g) = -g**3 - 5*g**2 + 3*g. Let b be p(-6). Suppose -v*m - b = -5*u + m, -u - 9 = -5*m. Is u a multiple of 2?
True
Is 7 a factor of (3/(-2) - 0)*(-42 - 744920/66)?
False
Let j(d) be the second derivative of -d**5/10 - d**4/2 - d**2 + 9*d. Let r be j(-3). Is (-5)/r*(41 - 1) a multiple of 29?
False
Let k(i) be the third derivative of -19*i**4/8 - 113*i**3/2 + 242*i**2. Is 11 a factor of k(-13)?
False
Let i(j) = -7*j**2 - 2. Let o be i(2). Let p be (2 - 3) + -5*18/o. Does 17 divide 540/(7 + -4) + p?
False
Suppose -10*s + 8*s = 22. Let r be (0 - 1) + (-33)/s. Suppose r*f - 66 = -c - f, 5*c - 294 = 3*f. Is c a multiple of 6?
True
Suppose 0 = 3*u - u + 2*d, 3*