ose -h - 5*h = -g. Is h a multiple of 25?
False
Let g be -18*(32/6 - 0). Let n be (-9)/5 - 7791/(-795). Is 12/g - (-2305)/n a multiple of 18?
True
Let a(l) = 10*l - 17. Let t be a(2). Suppose -832 = -4*w + t*x - 7*x, 4*w = x + 837. Does 41 divide w?
False
Suppose n - 6103 = -2*m, -9*n - 6103 = -10*n + m. Is n a multiple of 9?
False
Let o be 4 + 263 - -7 - 6. Does 5 divide (-4 - (-20)/4)*o?
False
Let x(c) = 9*c + 9. Let d(z) = 8*z + 10. Let h(f) = 5*d(f) - 4*x(f). Let v be h(8). Let l = 90 - v. Is 12 a factor of l?
False
Suppose 29*g - 232988 + 18011 = 0. Is g a multiple of 132?
False
Let j be (3 - 6 - -2)*2*-3. Suppose 6*f = j + 42. Suppose 0 = 7*h - f*h + 126. Is h a multiple of 18?
True
Let g(z) = 9*z**2 - 2*z + 3. Let h(i) = i - 37. Let v be h(40). Is g(v) even?
True
Is 10/2 + (-6)/11 + (-1410808)/(-308) a multiple of 5?
True
Suppose 13*j = 5*j + 80. Suppose p + 882 = j*p. Suppose -174 - p = -2*m. Is 13 a factor of m?
False
Let w be (-3)/(-12)*-2*-4. Suppose -9*m + 63 = -w*m. Is 40 a factor of 362/m + (-4)/18?
True
Suppose -663032 = 44*h - 178*h. Is h a multiple of 64?
False
Suppose 0 = -155*j + 109*j + 239292. Does 36 divide j?
False
Let v(m) = -10 - m**2 - 4*m + 2*m**2 - m. Let n be v(7). Is n/(-18) - 382*3/(-54) a multiple of 21?
True
Let r(l) = -l**3 - 19*l**2 + 14*l - 111. Let x be -4*((-945)/(-20))/9. Is 16 a factor of r(x)?
False
Let x(r) = 5*r - 3. Let t be x(1). Suppose 17*q + t*m = 18*q - 251, 3*m + 762 = 3*q. Is q a multiple of 9?
False
Is 23745/20 + (-66)/264 a multiple of 159?
False
Let p(k) = k**3 + 15*k**2 + 6*k - 12. Is p(-7) a multiple of 35?
False
Let y(p) = 52*p**2 + 2*p + 4. Let g be y(-1). Suppose 4*r - 10 = 10. Suppose -r*w + g = -q + 4, 4*w = -2*q + 26. Is 9 a factor of w?
True
Let v = -56 - -86. Is 836/v - (-34)/255 a multiple of 4?
True
Let r = 3486 - 3279. Is 69 a factor of r?
True
Let z = -7462 + 8806. Does 7 divide z?
True
Let z(n) = -8 + 14*n - 34*n + 21*n. Let f be z(6). Does 9 divide (2/(8/132))/(f/(-6))?
True
Let g(p) = 5356*p + 626. Does 67 divide g(2)?
False
Suppose 4*b - 22 = 3*w + 13, 3*w = -4*b + 5. Suppose b = -5*q, -2*z + 4*q + 41 + 59 = 0. Suppose -g + z = g. Does 3 divide g?
True
Suppose 28*l + 28066 - 292778 = 0. Does 58 divide l?
True
Suppose 5617 = 8*j - 12247. Is 24 a factor of j?
False
Let r(k) = k**3 + 19*k**2 + 17*k - 16. Let m be r(-18). Suppose -u - 18 - 51 = 2*w, m*u + 114 = 2*w. Let x = u - -238. Does 18 divide x?
False
Is 13571910/1683 - 2/34*2 a multiple of 72?
True
Let g be ((-5)/(-4))/(17/68). Suppose -g*q = q + 114. Let o = 32 + q. Does 13 divide o?
True
Let t be 14/21*51/2. Suppose -16 - 2007 = -t*y. Does 7 divide y?
True
Let a(q) = -2*q**2 + 18*q - 6*q + 3 + 0*q**2 + 3*q**2. Let f be a(-9). Let j = 39 + f. Is 4 a factor of j?
False
Let y(k) = -6*k - 30. Let i be y(11). Let b be (4/(-3))/(i/360). Suppose 5*c + 0*x - 802 = x, -4*c + 630 = b*x. Is 20 a factor of c?
True
Let b = -99 - -104. Suppose 0 = -b*m + 10, -4*j = -9*j + 3*m + 1969. Does 12 divide j?
False
Suppose 0 = 62*a - 57*a - 10. Is 26 a factor of ((-1)/a)/(2/(-1028))?
False
Let o(y) = y**3 - 8*y**2 + 7*y + 6. Let r be o(7). Let n be 7/2*-2 - -3. Is 23 a factor of ((-86)/(-2))/(2 + r/n)?
False
Does 61 divide 3579 + -13 - 3 - -11?
False
Let t(b) = b**2 + b - 8. Let z be t(6). Let k(y) = y**3 - 34*y**2 + 2*y. Does 5 divide k(z)?
False
Let o be 4 + 0 - 67/67. Suppose 2*m - 1605 + 216 = o*b, -b - 3505 = -5*m. Is m a multiple of 19?
False
Is 39 a factor of 1412*(0 + 1) - (-885 - -892)?
False
Let p = 63 - 59. Suppose -29*v = -p*v - 12975. Is 31 a factor of v?
False
Let o be 222 + (-8)/(-12)*-3. Suppose -43*k = -42*k - o. Suppose 0 = 9*f + 85 - k. Does 15 divide f?
True
Let f(s) be the first derivative of s**2 + 40*s + 16. Let y be f(-18). Suppose 0*l + l = -m + 103, 3*m - 316 = y*l. Is 13 a factor of m?
True
Let o be ((-17)/4)/(2/(-32)). Let k = 70 - o. Suppose 7*q + 106 = 9*q + 4*r, -r = k*q - 97. Is q a multiple of 8?
False
Suppose -3*y = -10*y + 98. Let l be (-580)/(-70) + (-4)/y. Is 4 a factor of 22/l*13 - (-3)/(-4)?
False
Is 74 a factor of 20691 + (17/119*91 - (0 - -6))?
False
Let a be ((-60)/(-18) + -2)/((-2)/(-6)). Suppose -192 = -2*i + 2*p, -a*i = i - 3*p - 482. Suppose -2*g - 2*g + 268 = -4*s, 5*s = -g + i. Is g a multiple of 12?
True
Suppose -82990 = -108*v + 48878. Does 7 divide v?
False
Let c(h) be the third derivative of h**7/5040 + 13*h**6/180 + h**5/10 + 12*h**2. Let t(i) be the third derivative of c(i). Is t(-7) a multiple of 3?
True
Let a(m) = 10*m - 4. Let z be a(-5). Let c(n) = -46*n**2. Let x be c(1). Let g = x - z. Is 4 a factor of g?
True
Suppose 0 = -5*x + 15*o - 11*o + 48353, 5*x - 48339 = -3*o. Is 11 a factor of x?
True
Let i(m) = m**3 - 10*m**2 - 8*m - 24. Suppose 64*y - 65*y + 11 = 0. Does 9 divide i(y)?
True
Let m = 11868 + -7910. Is 60 a factor of m?
False
Suppose -10*k = -11*k - 3, 0 = 15*h + 5*k - 182295. Is h a multiple of 118?
True
Let i(r) = -r**3 + 10*r**2 - 7*r + 15. Let v be i(8). Let h = v + -2. Does 6 divide h?
False
Suppose 0 = -z + 4*j + 13, 0 = z - 2*z - j - 7. Let s(d) = -17*d + 79. Let o(p) = -6*p + 26. Let h(n) = z*s(n) + 8*o(n). Does 3 divide h(18)?
False
Suppose -7*s + 11*s - 12 = 0. Suppose s*c - 430 - 305 = -2*l, 2*l - 4*c = 700. Is 13 a factor of l?
False
Suppose 17*b + 3*h - 43942 = 13*b, -2*b + 2*h = -21950. Does 15 divide b?
False
Suppose -5*c + 3*c + 41 = f, 4*f = 2*c - 66. Suppose -c*h = -19*h - 264. Suppose h = p - 10. Is 21 a factor of p?
False
Suppose 351*q - 4392 = -5*c + 348*q, q = 4. Is c a multiple of 36?
False
Suppose -389*o + 1731224 = -2753790 + 1644925. Does 149 divide o?
True
Let x(d) = 224*d**3 - 12*d**2 + 16*d - 13. Is x(2) even?
False
Let t(l) = l**2 - 5. Let r be t(-3). Suppose -2*m + 5*s + 16 = 0, 1 + 0 = 3*m + r*s. Suppose -x = v - 112, -m*v + 556 = 5*x - 2*v. Is 15 a factor of x?
False
Let g = 62 - 62. Suppose g = -4*b - 25 + 245. Does 10 divide b?
False
Is 10 a factor of (1 - 3131/5)*(-2340)/104?
False
Let n(a) = 1807*a + 1099. Is 18 a factor of n(5)?
True
Let q(z) = -9*z**3 + 19*z**2 - 9*z + 1. Is q(-9) a multiple of 133?
False
Let b(u) = 8*u**3 - 15*u**2 - 7*u + 10. Suppose -35 - 25 = -12*g. Is 60 a factor of b(g)?
True
Let h = -298 + 318. Let m = h - -124. Does 9 divide m?
True
Let g(u) = -137*u - 9. Let z be g(-4). Does 3 divide 3 + z/(4 + 3)?
False
Let v(n) = -99*n + 11514. Does 15 divide v(11)?
True
Let c(y) = y**2 - 22*y - 12. Let i be c(21). Does 14 divide (336/(-36))/(2/i)?
True
Let p(l) = -3066*l - 302. Is 28 a factor of p(-4)?
False
Suppose -2*z - 6 = 0, -2*p = -5*z - 1174 + 213. Let x = -331 + p. Does 24 divide x?
False
Let k(d) = 6*d - 21. Let q = 16 - 11. Let y be k(q). Suppose y*p - 8*p = 7. Is p a multiple of 5?
False
Let l(t) = 44*t**2 - 177*t - 37. Does 11 divide l(7)?
True
Suppose -3*s - 166 = -49. Does 17 divide 1573/s*-9*6/3?
False
Suppose 5*w - 270370 = 5*s, w - 8*s + 14*s = 54109. Is 25 a factor of w?
False
Suppose -6*o + 4*o - 5*o = 0. Suppose o = -9*i + 442 + 1754. Is 16 a factor of i?
False
Let i(s) be the second derivative of -s + 4 - 7/6*s**3 - 21*s**2. Is i(-12) a multiple of 7?
True
Let a(f) be the second derivative of -f**3/2 + 107*f**2/2 - 111*f - 1. Is 3 a factor of a(29)?
False
Suppose -1491 = -21*i + 20*i. Is i a multiple of 71?
True
Let i(v) = -v**3 - 8*v**2 - 17*v - 6. Let z be i(-5). Suppose 3 = 5*h - z*h. Suppose 2*j - 5*f + 7*f - 102 = 0, -j + h*f + 35 = 0. Is 4 a factor of j?
False
Let y = -199 + 200. Let r(h) = 111*h + 5. Is r(y) a multiple of 58?
True
Let m(k) = 5*k + 26. Let q be m(-6). Let v be (-94)/q - 2/(-8)*2. Does 27 divide (v/16)/((-6)/(-184))?
False
Let g(c) = 2*c**2 + 2*c + 13. Let w be 4/(3 - 33/9). Let z be g(w). Suppose -z = j - 205. Is 22 a factor of j?
True
Let f(t) = 38*t - 64. Let o be f(8). Let p = -104 + o. Is p a multiple of 8?
True
Let l be ((-9)/6 - -2)*6*1. Suppose -3*s - l*u = -174, -u - 5 = -0*u. Suppose -2*a + s + 7 = 0. Is a a multiple of 17?
False
Suppose -80*j - 84 = -83*j. Suppose 5*o = -4*s + 15, -2*s - j = 3*o - 7*s. Does 38 divide (2 - o)/((-9)/(-570) - 0)?
True
Let d(i) = i**2 + 14*i + 29. Let z be d(-11). Is (-10)/z + 6699/66 even?
True
Suppose 57603 = 69*o - 52443 + 13101. Does 2 divide o?
False
Let n be 760/48 - 1/(-6). Suppose -n = 4*a - 8. Is 2 a factor of (4*1 + a)/((-18