 48830/57)/((-2)/(-18))?
False
Let g(k) = -170*k - 73. Is 24 a factor of g(-9)?
False
Let r = -14552 - -25201. Is r a multiple of 33?
False
Suppose -c - 45 = -9*q + 4*q, 3*q - 29 = c. Let s be (-8)/q*(2 - (2 - 13)). Let k(p) = -2*p + 47. Is 13 a factor of k(s)?
False
Suppose -3*f - 4*m = -11309, 16*m - 14*m = -2. Suppose 4*g - 3732 = -t, -4*g + f - 51 = -2*t. Is 30 a factor of g?
False
Suppose -5*g + 199 = 2*o, -3*g + 0*g - 4*o = -111. Suppose g*j + 5592 = 47*j. Does 11 divide j?
False
Let g(v) = -5*v - 5. Suppose -h - 29 = 5*d + h, -4*h = 2*d + 18. Let n be g(d). Suppose -n*i = -16*i - 328. Is i a multiple of 9?
False
Let p(d) be the second derivative of -d**5/20 + 47*d**4/12 - 25*d**3/2 - 43*d**2/2 + 2*d + 40. Is 18 a factor of p(45)?
False
Let k(p) = -3*p - 9. Let r be k(-5). Suppose -9 = -r*q + 3*q. Suppose h - d - 320 = -q*h, -h = -5*d - 61. Is h a multiple of 9?
True
Let q(a) be the first derivative of a**2 - 23. Let k be q(22). Let w = k + -23. Is 21 a factor of w?
True
Let b(q) = q**3 + 18*q**2 - 89*q + 590. Is 17 a factor of b(14)?
False
Let u(w) = 61*w**2 - 32*w + 103. Is u(8) a multiple of 7?
False
Suppose 4*b - 271 + 35 = 0. Does 2 divide b?
False
Let a(z) = -z**3 - 32*z**2 - 96*z - 31. Let b = 302 - 331. Does 23 divide a(b)?
True
Suppose 541*o = -78*o + 3163090. Is 35 a factor of o?
True
Suppose -5*p - 4*c - 950 = c, 385 = -2*p + 3*c. Let l be 71/(-4) - 27/108. Is (l/(-8))/(3 + p/64) a multiple of 24?
True
Let u(v) = -v**2 - 7*v - 2. Let y be u(-5). Let d(q) = -q**3 - 11*q**2 + q + 11. Let g be d(-11). Is 1*(-4)/y*g - -247 a multiple of 13?
True
Suppose z = 5*g - 15, 4*g + 7 = -7*z + 4*z. Is 0 + (-552)/((-6)/g) a multiple of 8?
True
Suppose 2*c - 4*c + 24 = 4*v, -42 = -5*c - v. Let k(j) = -181 - 9*j**2 + 2*j**3 + 190 - c*j + j**3. Does 22 divide k(5)?
False
Suppose 6*y - 3654 = -y. Suppose -54 = -6*d + y. Does 12 divide d?
True
Suppose -3*p + 26536 = 5*p. Is 16 a factor of p?
False
Suppose -6*l = -3*l + 45. Suppose -10*y + 327 + 183 = 0. Let v = y + l. Is v a multiple of 9?
True
Suppose 5*l + 4*z - 15045 = 0, 0 = l + 26*z - 23*z - 3009. Is 18 a factor of l?
False
Suppose 4*f - 4 = 0, 37*f = 2*b + 35*f + 46. Does 22 divide (40/40)/((-1)/b)?
True
Suppose 0 = -2*h + 3*a + 117, 179 = 21*h - 18*h - a. Suppose -72*o = -h*o - 7812. Is 21 a factor of o?
True
Suppose -5*v = 4*q - 22, v - 6*v + 1 = -3*q. Suppose -28832 = -36*l + v*l. Is l a multiple of 8?
True
Let t(u) = 1332*u**2 + 17*u + 15. Let i(q) = -q**3 + 13*q**2 - 10*q - 25. Let z be i(12). Does 38 divide t(z)?
True
Let x be (-1)/(1*((-5330)/(-2666) + -2)). Let z = -462 + x. Is z a multiple of 80?
False
Let x be 22/(-33) + (-11)/(-3). Let u = -233 + 369. Suppose -x*o = 9, u = c - o - 14. Does 29 divide c?
False
Let p(o) = -4*o + 8. Let i(t) = -7*t + 15. Let z(v) = -3*i(v) + 5*p(v). Let a be z(10). Suppose -188 = -a*u + 167. Is 18 a factor of u?
False
Suppose -1751*p + 1746*p = -5*c + 7490, 4*p + 16 = 0. Is 9 a factor of c?
True
Let g(z) = z**3 + 3*z**2 + 4*z + 9. Let a be g(-3). Let i = a - -13. Suppose -5*p + 665 = i. Is 39 a factor of p?
False
Let v = 9120 - 1807. Does 6 divide v?
False
Let i(q) = q**2 + 7*q - 4. Suppose -46*y + 43*y = 99. Let n = -41 - y. Is i(n) a multiple of 4?
True
Let w(v) = -57*v - 21. Let y(u) = -10*u**2 + 3. Let n be y(1). Does 6 divide w(n)?
True
Let b = 362 - -400. Let v = -165 + b. Does 18 divide v?
False
Suppose 2*d = 2*q + 759 + 4147, -5*d - 2*q = -12244. Is 73 a factor of d?
False
Suppose -107*p + 1970836 = 129*p. Is p a multiple of 65?
False
Suppose 4*p + 4*b - 16508 - 36060 = 0, 5*p - 5*b = 65630. Is 11 a factor of p?
True
Suppose -5*y = 4*y - 63. Suppose -y*o = -85 - 181. Does 9 divide o?
False
Let i be (5/1)/(-4 + 9 - 4). Is 4 a factor of i*15/20*8?
False
Let r(k) be the second derivative of k**5/20 - 13*k**4/6 + 31*k**3/6 - 61*k**2/2 + 12*k. Suppose -67*n - 75 = -70*n. Does 6 divide r(n)?
False
Suppose 5*a + 4*n + 35 = 0, -4*n - 2 = 2*a - 0. Let u(d) = d + 12. Let l be u(a). Is 236/l - (-20 - -25) a multiple of 26?
False
Suppose k = -5*m + 22, 5*m - 31 + 7 = -2*k. Is 40845/189 + k/(-18) a multiple of 36?
True
Suppose 452*m = 326*m + 3301830. Is 5 a factor of m?
True
Suppose 182 - 52 = 13*k. Suppose 0 = -20*o - k*o + 5040. Is 10 a factor of o?
False
Suppose 0 = -2*r - 0*r, -3*r + 14544 = 2*b - 17152. Is 52 a factor of b?
False
Let l = 392 - 323. Let z be (-116)/(-16)*(-3 + 7). Let r = l - z. Is 13 a factor of r?
False
Let u(w) = -2*w**3 - 2*w - 2. Let l be u(-2). Let r(c) be the second derivative of c**4/12 - 17*c**3/6 + 7*c**2/2 + 164*c. Is r(l) a multiple of 5?
True
Let i = -4389 - -15512. Is 28 a factor of i?
False
Is ((-75)/5)/(-5) + (-23)/(92/(-17136)) a multiple of 17?
False
Let f = 4963 + -4771. Is 12 a factor of f?
True
Suppose -15*g - 228501 = -50*g - 58*g. Is 12 a factor of g?
False
Let h = 100893 - 46692. Is 89 a factor of h?
True
Let h(l) = -50*l + 185. Let v be h(4). Is 5 a factor of v/2*360/(-27)?
True
Suppose -19*l - 6 = -21*l, 2*q - 4109 = -3*l. Is q a multiple of 6?
False
Let f(t) = -t**3 - 11*t**2 - t - 13. Let m be f(-11). Let w = m + 8. Suppose -780 = -w*q - 0*q. Is 26 a factor of q?
True
Let w(v) = 6*v + 27. Let b be w(10). Suppose -b = -2*y - 231. Let r = y - -113. Is 4 a factor of r?
False
Let p(r) be the third derivative of -r**6/120 + 7*r**5/60 - r**4/4 + 14*r**3/3 - 3*r**2 - 10*r. Does 27 divide p(5)?
False
Let o be 76/114 + 1/((-3)/(-11422)). Suppose 7*k - o = 287. Is k a multiple of 13?
True
Suppose 23*f + 15*f - 153216 = 22*f. Does 9 divide f?
True
Let l = -405 + 277. Let p = l - -23. Is 14 a factor of (-5850)/p - (-2)/7?
True
Let h(k) = -912*k + 2029. Does 18 divide h(-7)?
False
Let z = 23379 - 19508. Is z a multiple of 6?
False
Let i = -6090 - -12096. Is i a multiple of 12?
False
Let j be (-9288)/63 + (16/14)/(-2). Is 1406/j*(0 + -48) a multiple of 9?
False
Is ((-98229)/(-21) - -2) + (-81)/(-189) a multiple of 65?
True
Let f be 10/(-2 + 6 + 84/(-22)). Let c = -33 + 99. Is c/5 + 44/f a multiple of 7?
True
Suppose 0 = -4*v + 9*v - 10. Suppose -v*q - 2 = -4*q + 3*n, -4*n + 28 = 5*q. Suppose -4*x + 3*x - l = -115, -q*x = l - 448. Is x a multiple of 8?
False
Suppose -55*g + 849860 = 32*g + 118190. Does 94 divide g?
False
Suppose -636 = -5*x + 5*l - 31, 0 = -x - 2*l + 121. Does 3 divide x?
False
Let l be (144/(-216))/(2/(-126) - 0). Let r = 78 + l. Is r a multiple of 15?
True
Does 36 divide 1/((-325)/(-1275326)) + 2/(-25)?
True
Let p(n) = 569*n**2 - 626*n + 29. Is 13 a factor of p(-11)?
True
Let j = -4417 + 8808. Let t = j - 2332. Is t a multiple of 18?
False
Let u(f) = 2*f - 36 - 4*f + f**2 + 2*f**2. Suppose -19*d - 6*d = 225. Is u(d) a multiple of 45?
True
Let k(b) = b + 3*b**2 - 1 - b + b - b**3 - 2*b**2. Let i(o) = 2*o**3 - o**2 + 4*o + 10. Let h(n) = i(n) + 5*k(n). Does 19 divide h(-3)?
True
Suppose 0 = -4*c - s + 19717, 25*c - 5*s = 20*c + 24665. Does 10 divide c?
True
Let d(b) = 16*b - 10. Let l be d(-4). Let p = l + 79. Suppose 0 = -2*q + 4*m + 352, 4*q + 0*q = -p*m + 639. Does 21 divide q?
False
Let f be ((-1972)/4)/(2/4*2). Let j = -385 - f. Does 3 divide j?
True
Let w = 126 + -56. Is (0 - -326) + (-7)/(w/20) a multiple of 18?
True
Is 14 a factor of (((-57)/(-12))/19)/(-5*(-4)/235360)?
False
Suppose 159*p - 158*p = 2. Suppose -p*d + 123 = w, -d + 4*d - 2*w - 188 = 0. Is d a multiple of 5?
False
Let t be 43*1 + (12 - 14). Suppose -40*p = -t*p - 52. Is (-8)/p + (-6128)/(-52) + 0 a multiple of 6?
False
Suppose -75*h = -64*h - 24838. Let w = h + -1112. Is w a multiple of 20?
False
Suppose 362*p + 686453 + 166267 = 419*p. Is p a multiple of 55?
True
Suppose -10160*p = -10136*p - 20448. Does 9 divide p?
False
Suppose -d = -5*z + 2, 2*d - 3*d + 3*z = 0. Suppose 89 = 2*h + 3*h + d*t, -h = t - 19. Suppose 0 = h*o - 216 - 120. Is o even?
False
Suppose 2*v + 0 + 36 = -3*u, -4*v + 12 = -u. Is 49 a factor of (u/21)/(2/(-287))?
False
Suppose -34*k + 28*k = -4080. Suppose 8*o - k = 264. Is o a multiple of 4?
False
Let g(k) = 9*k - 99. Let d be g(13). Suppose d*o - 7*o - 462 = 0. Is 2 a factor of o?
True
Let i = 625 - 119. Let t = i - 357. Suppose -3*j + 445 = -5*m, 5*j + 3*m - 604 = t. Does 25 divide j?
True
Let d be (-4)/(-5) - (-630)/25. Let j = 2 + d. Suppose 7*l + j = 11*l. Is 6 a factor of l?
False
Let a(k) = 6*k**2 