Suppose -6*g = -h - 108. Is 18 a factor of g?
False
Suppose 2*u - 5*k = 5044, -4*k = 157 - 173. Is u a multiple of 12?
True
Suppose 0 = 159*c - 159 - 33231. Does 15 divide c?
True
Let y(o) = o**2 + 58*o - 43. Is y(67) a multiple of 66?
False
Suppose -26*v + 197139 = -79371. Does 3 divide v?
True
Suppose -g + 0*p = p + 61, 2*g = 4*p - 116. Let f = 330 - g. Does 13 divide f?
True
Let a(k) be the second derivative of 103*k**3/6 + 59*k**2 + 190*k. Is a(8) a multiple of 76?
False
Suppose k = x + 2*x - 15, -2*k + 2*x - 14 = 0. Let l be 0 + (k/5)/((-11)/55). Is (3/(l/71))/(2/4) a multiple of 9?
False
Suppose -704 - 318 = -7*z. Suppose -362 + 118 = -5*h + 2*y, -3*h + z = -y. Is 12 a factor of 2*(4072/h - (-2)/(-6))?
False
Let t(d) = d**3 - 10*d**2 - 13*d - 8. Let h be t(12). Suppose 4*c - h + 132 = 0, -c = -4*z + 4898. Is 34 a factor of z?
True
Does 17 divide (-2)/(-29) - (-26)/(-377)*-362499?
False
Let c = 21 + -15. Suppose -c*r - 181 = -5725. Suppose 2*q - r = -9*q. Is q a multiple of 24?
False
Let u = -2 + 6. Suppose 0 = -n - u*n + 10. Suppose -n*z + 9 = -9. Is 3 a factor of z?
True
Let t be (-4)/(-8)*898 + (-6)/(-3). Let i = t - 398. Is 5 a factor of i?
False
Let w be (40/30)/(1/(-3)). Is 23 a factor of (36/(-21))/(((-8)/(-322))/w)?
True
Let w = 0 + -18. Let b be (w/(-27))/(1/(-147)). Is (80/14)/((-28)/b) a multiple of 10?
True
Let c(b) = -b**3 + 46*b**2 - 88*b + 313. Is 7 a factor of c(42)?
False
Let b(y) = y - 1. Let d be b(7). Let f be 1*-2*(-320)/((-55)/11). Is 5 a factor of (12/8*-1)/(d/f)?
False
Suppose -1982360 + 16347816 = 417*w + 739147. Does 33 divide w?
False
Suppose 0 = -d - 6, 0 = 4*w + 5*d - 418 - 11716. Is 30 a factor of w?
False
Let y = 18708 - 14650. Is 19 a factor of y?
False
Let n(u) = 254*u - 1221. Is n(7) a multiple of 31?
False
Let v(o) = 5809*o + 121. Is 142 a factor of v(3)?
False
Let r(s) = 3*s**2 + s - 1. Let y = -14 + 11. Let x be r(y). Let i = x - -1. Is i a multiple of 4?
True
Let d = 8547 + -4278. Suppose 0 = -6*k - 1689 + d. Does 10 divide k?
True
Let h be (-1 + 2)/((-18)/(-702)). Let k = h + -39. Does 34 divide 0 + 58 - (k - -4)?
False
Let g = 312 - 245. Suppose g*u = 69*u - 4348. Does 13 divide u?
False
Let j(z) = -2*z**2 - 57*z - 48. Let r = -276 + 249. Does 9 divide j(r)?
False
Suppose -z - 3*z - 2*a - 4 = 0, z = -4*a - 15. Is (z + -623)*((-40)/(-5) + -9) a multiple of 16?
False
Suppose 3*p - 10 = -5*u - 32, 2*p - 5*u = -48. Let m = p - -19. Suppose -4*a - m*r + 280 = a, -2*a + 117 = -3*r. Is a a multiple of 10?
False
Let q(f) = 12*f**2 - 24*f + 80. Let v be q(4). Let t = 200 - v. Is t a multiple of 4?
True
Let q(z) be the second derivative of 101*z**4/12 + 7*z**3/3 - 38*z**2 + 102*z. Is q(4) a multiple of 57?
True
Suppose -9550*k - 31527 = -9553*k. Is k a multiple of 23?
False
Let f be 27*(4 - (-115)/(-15)). Let l = f - -103. Suppose -l*n - 88 = -2*q, 0*q - 4*q - 5*n = -124. Is 9 a factor of q?
True
Suppose 109*c - 33*c = 55*c + 992481. Is c a multiple of 16?
False
Suppose 5*j = 17528 + 28412. Is (-4)/6 - j/(-12) a multiple of 9?
True
Let s(d) = d**3 - d + 4. Let c be s(0). Suppose -3*w + c*w + 3*m = 134, m + 575 = 4*w. Suppose 0 = 3*k + u - 163, -2*k - 5*u = k - w. Does 14 divide k?
True
Let c(s) = 6712*s**2 - 4*s. Does 39 divide c(1)?
True
Let u be (-84)/(-16) - (-2)/(-8). Suppose -31*g = -28*g - 792. Suppose -u*s + g = 3*s. Is 10 a factor of s?
False
Suppose j = 4*y - 14, 0 = -5*y + 23*j - 18*j - 5. Let b = 4 + -2. Suppose -2*q + 174 = 5*f - 21, 0 = -b*q + y*f + 165. Is q a multiple of 15?
True
Suppose 4*f - 701 = -3*b, 5*b - 2*b + 5*f - 700 = 0. Is b a multiple of 10?
False
Let v be (12/(-9))/((-2)/(-219)). Let l = v + 165. Does 17 divide l?
False
Let n = -3432 - -12051. Is 22 a factor of n?
False
Suppose 0 = 15*r - 5*r - 70. Suppose -r*d - 397 + 2238 = 0. Is 20 a factor of d?
False
Let f(v) = 13*v**2 - 65*v + 69. Is 53 a factor of f(27)?
True
Let n(u) = -u**2 - 24*u + 22. Let f be n(-25). Does 10 divide (-54)/(-7)*(-98)/f?
False
Let s(y) = y - 13. Let p be s(-12). Let w be (-4)/(-10) + (-7090)/p. Suppose -3*t + 2*i + 180 = -w, -i - 617 = -4*t. Is t a multiple of 14?
True
Suppose -239*v + 238*v + q + 4059 = 0, -1 = -q. Does 290 divide v?
True
Suppose -5 = 4*b - 17. Let k be b/4 - 34/(-8). Let a = 0 + k. Is 5 a factor of a?
True
Let m(y) = -y**3 - 111*y**2 - 390*y - 694. Is 14 a factor of m(-108)?
False
Let q = 7 + -5. Suppose -q*f + 6 = 2*a, 4*f - 2*a - 13 = -5*a. Suppose 0 = -f*v + 167 + 333. Is v a multiple of 25?
True
Suppose -2*s + 4*o + 36189 = -26795, 0 = -2*s - 5*o + 63020. Does 250 divide s?
True
Is 96/5*60/9*(-1312)/(-32) a multiple of 128?
True
Let r be -2*(-1)/(2/(-6)). Let u be 12/4*(0 + (-2)/r). Is ((-165)/25)/(u/(-15)) a multiple of 46?
False
Suppose -7*k = -3*k. Let t be 10 + k/(1 + 3). Suppose -46 = -t*g + 54. Is g a multiple of 5?
True
Let v(j) = 10*j + 82. Let q be v(4). Suppose 0*l + 91 = 4*g + 3*l, -5*g - l = -q. Is 25 a factor of g?
True
Suppose -11384 - 17036 + 6376 = -12*n. Does 7 divide n?
False
Is 31 a factor of ((-30)/(-18) + -4)/((-19)/46911)?
False
Suppose -5*d - 4*g + 5*g = 189, -39 = d + g. Suppose 0 = 2*w + 19 - 111. Let s = w + d. Is 3 a factor of s?
False
Let q be 30/2 - -3*1. Let t be (-16)/(-7) + q/(-63). Suppose t*v = 4 + 76. Is v a multiple of 19?
False
Let q = -37387 + 50767. Does 30 divide q?
True
Let z(i) = i**2. Let h be z(-2). Let c(l) = 19*l + 34. Let a(s) = -39*s - 71. Let y(j) = 2*a(j) + 5*c(j). Is 8 a factor of y(h)?
True
Let s(u) be the third derivative of -u**6/60 - 41*u**5/30 - 11*u**4/3 + 59*u**3/6 - u**2 - 31. Does 31 divide s(-40)?
False
Let s = 796 - 181. Suppose -6204 = -9*r - s. Is 23 a factor of r?
True
Let r = 6699 + -5169. Is 187 a factor of r?
False
Suppose 3*a = -4*v - 12 - 6, a - 2*v + 16 = 0. Does 20 divide (186/a)/((-34)/340)?
False
Suppose -4*i + 246 + 462 = 0. Suppose i = 3*o - 0. Suppose 46 = 5*b - o. Is b a multiple of 4?
False
Let r(a) = 113*a - 105. Let g(u) = -u**2 - 13*u - 33. Let k be g(-9). Is r(k) a multiple of 18?
True
Let k = 19025 + -13110. Does 65 divide k?
True
Suppose -2*q - 4*a + 607 = -131, -3*q = 2*a - 1119. Let r = q - 240. Does 9 divide r?
True
Suppose -14 = -5*i + 11, c + 4*i - 22 = 0. Suppose -361 = -2*z - g - 0*g, c*g = -z + 173. Is z a multiple of 12?
False
Let z be 0/(4 + 0)*1. Suppose 17 = 5*b - 4*r, b + 5*r - 15 = -z*r. Suppose 412 = 2*i - b*t - 26, 3*i - 631 = t. Is 32 a factor of i?
False
Is 65 a factor of 27707 - (-5 + -1)/((-645)/(-30) + -20)?
False
Let d(c) = 9*c**2 - 6*c + 19240. Does 19 divide d(0)?
False
Let u(r) = 4*r**2 + 132*r + 56. Is 7 a factor of u(-33)?
True
Let p(o) = 41*o**2 - 339*o - 1661. Is 15 a factor of p(-5)?
False
Let y = -87 + 9. Let l = -20 - y. Does 21 divide l?
False
Let u = 6430 + -4206. Is u a multiple of 6?
False
Let d be ((-6)/(-1))/((-15)/50). Let n be 238/4 - (-30)/d. Suppose -4*x + 2*l + n = 0, 3*x + 3*l + l - 71 = 0. Is 17 a factor of x?
True
Suppose 0 = -5*h - 7*a + 10*a + 34, a + 13 = 2*h. Is 3 a factor of h/(-10)*-234 + 0?
True
Suppose -2*z = z - 9. Suppose -7*v + 3*v - 80 = z*t, 0 = 2*t + 8. Let s = v + 38. Is s a multiple of 4?
False
Let n = 102 + -94. Suppose -4*d - n = 0, 5*f + 3*d - 68 = 36. Is 19 a factor of f?
False
Is 213 a factor of (-76682)/(-4) - (24/21 - (-9)/(-14))?
True
Let g = -31132 + 58107. Does 25 divide g?
True
Let b = 1297 + -326. Let z = b - 911. Does 30 divide z?
True
Suppose -y - 46 = 3*x - 0*x, 0 = -3*y - 3*x - 150. Let w = y - -192. Is (-2)/3 - w/(-21) a multiple of 4?
False
Suppose 3*l + 8 = 2*i, -73 = -i + 5*l - 76. Suppose 3*t + i*t = 4900. Is 70 a factor of t?
True
Let m(i) = -i - 2. Let n be m(0). Let p = -95 - -177. Let v = n + p. Is 16 a factor of v?
True
Suppose r + 4*f = 183, f - 101 = 2*r - 449. Is 50/r + 2544/14 a multiple of 26?
True
Does 17 divide (32/(-6))/((-78)/17901)?
True
Let a be 3/(18/(-44))*(-328 - -325). Suppose -a*o + 32727 = -933. Does 13 divide o?
False
Suppose -4662*j - 302900 = -4687*j. Is 5 a factor of j?
False
Let j(p) = 10*p - 1. Let r be j(2). Let t = 2435 + -2429. Suppose -18*l = -r*l + t. Is l a multiple of 6?
True
Let z(g) = 9*g + 105. Let c be z(-11). Is (-3)/((-2487)/414 + c) a multiple of 69?
True
Let w = -173 + 164. Let k = 81 - w. Is k a multiple of 15?
True
Suppose g = -7, 4*g = -5*j - 0*j + 1252. Does 8 divide