 4*a**2 + a - 14. Let i be h(4). Does 9 divide 2/10 + (8088/i)/(-6)?
True
Let g be (-51 - 2/((-4)/(-2)))/(-1). Suppose 4*x + 4*i - g = 0, 4*x - 3*i = -0*i + 80. Is 4 a factor of x?
False
Let d(u) = 40 - 1 - 3*u - 11 + 34. Let o be d(22). Does 3 divide (1/(o/(-12)))/((-6)/(-22))?
False
Suppose -3*o + 4 = -2, 0 = -3*a - o + 14. Is 30 a factor of a/30 - 20264/(-120)?
False
Let p = -66 - -84. Let b = 103 - p. Is 5 a factor of b?
True
Is 126 a factor of (-3278*(-4)/24)/((-1)/(-12))?
False
Let o = -155 - -159. Is (o - -2) + (60 - -4) a multiple of 10?
True
Let q be (-29 - -17)*(2/6 + 0). Let u(v) = -11*v**3 + v**2 - v - 14. Does 10 divide u(q)?
True
Let t(r) = 167*r - 2226. Is t(78) a multiple of 45?
True
Let i(o) = o**3 - 3*o**2 - o + 44. Let q be i(0). Let z be 28960/q - (-5)/((-165)/6). Suppose 2*l + 5*l = z. Does 15 divide l?
False
Suppose -5*n = 5*h - 15, -5*h - 31 = -3*n - 14. Let y be 16/(-216)*-186 + n/18. Suppose 7*p + 588 = y*p. Does 42 divide p?
True
Let u = 190 + -185. Suppose 3*n + u*o - 2797 = 0, 11*n - 4595 = 6*n + 5*o. Does 11 divide n?
True
Let m(d) = 5*d**2 + 5*d - 6. Let l be 14/63 - (-112)/(-18). Let f(a) = -a**2 - a. Let z(r) = l*f(r) - m(r). Does 14 divide z(12)?
False
Let m = 1394 - 881. Let b = -972 - -691. Let w = m + b. Is 23 a factor of w?
False
Let u be 957/231 + (-2)/14. Suppose u*v = 276 - 192. Is 21 a factor of v?
True
Let y(n) = -n + 19. Let d be y(16). Suppose -41*o = -39*o - 3*r - 57, d*o = -5*r + 114. Is 2 a factor of o?
False
Let x = 94 + -92. Suppose -4*r - 1851 = -3*s - 364, -x*r = 4*s - 1946. Is 10 a factor of s?
False
Let z = 8151 - 4184. Is z a multiple of 50?
False
Does 86 divide 5/(7 + -22)*428*-39?
False
Let y = -42 - -46. Suppose 0 = -12*v + y*v + 40. Suppose 2*p - 2 = -m - 5, 0 = v*m + p - 12. Is m a multiple of 2?
False
Suppose 14*z = -0*z + 182. Suppose -x + z = 4*l - 89, 2*l = 0. Is x a multiple of 6?
True
Suppose 1140 = -4*u - 5*r, -5*u + 7*r - 1470 = 2*r. Let y = u + 422. Does 12 divide y?
True
Let l = 198026 + -117770. Is 384 a factor of l?
True
Let b be 2/(1 - ((-2 - 3) + 5)). Let p(l) = -l**3 - 4*l**2 - 2*l - 7. Let w be p(-5). Let q = b + w. Is q a multiple of 5?
True
Suppose 262 + 222 = -22*k. Does 21 divide (-34120)/(-110) - (-4)/k?
False
Suppose l = -4*j + 26, l = 2*j + 6 + 2. Is 74 a factor of ((-113)/(-2))/(l/(-2 + 142))?
False
Suppose 74*n - 76*n + x = -20682, -2*n + 4*x = -20658. Does 6 divide n?
False
Suppose -36*s - 3765 - 807 = 0. Let j = 4 - 1. Is 21 a factor of j*(-4)/12 - s?
True
Does 134 divide 25327/2 - (-24)/(-16)?
False
Let u(x) = 8*x**2 - 4*x**2 + 5*x - x + 7. Let w(s) = 4*s - 15. Let z be w(2). Does 25 divide u(z)?
True
Let u(s) = 34*s + 165. Let p be u(-12). Let h = 212 - p. Does 35 divide h?
True
Suppose -57*r + 206235 + 342048 = 0. Does 6 divide r?
False
Let t = 4168 - 2867. Is 5 a factor of t?
False
Let p be 24/2*(-3)/(-6). Suppose -p*i + 10 = -4*i. Suppose 0*d = -3*d + i*r + 152, 0 = -r - 4. Is 14 a factor of d?
False
Let c = 404 - 411. Does 20 divide 2 + c - (-1500 - 5)*1?
True
Suppose -2*m - v + 0*v = -107, -15 = -3*v. Suppose 2*c - 12 + 33 = t, -t = 4*c + m. Let h(q) = -q**2 - 19*q - 27. Is h(c) a multiple of 7?
False
Let d = -154 + 414. Let u = -181 + d. Is 6 a factor of u?
False
Suppose 0 = -14051*f + 14001*f + 450600. Is 4 a factor of f?
True
Let b be 9/9 + 321 + 0 + -2. Suppose 0*q - 2*q = -b. Does 20 divide q?
True
Let z = -129 + 114. Let u = 306 - z. Is 11 a factor of u?
False
Let l(s) = -23*s**3 + 7*s**2 + 8*s + 762. Is 13 a factor of l(-12)?
True
Does 20 divide 4/18 + (-2)/9 - -6600?
True
Let f(b) = 1717*b + 332. Does 38 divide f(8)?
False
Is (-16185)/(1 + -2 - (5 + -5)/(-3)) a multiple of 7?
False
Suppose 0 = 2*c - 1138 - 4702. Is 8 a factor of c?
True
Suppose -5*u + 31 - 11 = s, 0 = 5*s. Let r be (-1 - 130/(-30))*(-1 + 5/2). Suppose d + 551 = u*d + r*y, d - 161 = 4*y. Is 8 a factor of d?
False
Let d = 130 - 366. Let j(k) = 49*k + 44. Let m be j(-11). Let o = d - m. Is o a multiple of 37?
True
Let w(o) = -6*o**2 - 11*o - 35. Let i(q) = -19*q**2 - 32*q - 105. Let f(j) = 2*i(j) - 7*w(j). Is 5 a factor of f(-5)?
True
Suppose 2*k + x = 28282, 4*x + 27481 - 126471 = -7*k. Is 9 a factor of k?
False
Let a(t) be the first derivative of t**6/120 + 3*t**5/20 - t**4/6 - t**3/3 + 19*t**2/2 + 7. Let d(m) be the second derivative of a(m). Does 26 divide d(-6)?
True
Suppose -22*l + 629035 + 140670 = -114541. Is 138 a factor of l?
False
Let g(f) = 2*f**2 - 39*f + 3. Let i be g(19). Is 13/((-182)/(-567))*i/(-3) a multiple of 6?
True
Let j(h) be the third derivative of h**5/30 - 11*h**4/24 + 11*h**3/6 + 40*h**2. Let s be j(1). Suppose s*k = -k + 129. Does 37 divide k?
False
Suppose c = 501 - 50. Let y = c - -151. Suppose -5*k - 4*p + 460 = -k, 5*k - 4*p - y = 0. Is 33 a factor of k?
False
Suppose -2*o + 6*o = 4*s + 384, s + 192 = 2*o. Suppose -2*i = -6*i + 12. Suppose m - 1 = -0*m, o = i*h - 3*m. Is 9 a factor of h?
False
Let b = 6969 - -1013. Is 13 a factor of b?
True
Suppose 6*g - 4800 = -2*g. Does 6 divide g?
True
Let y(i) = -5*i - 15. Let g be y(-4). Suppose 0 = g*x - 6*x + 11. Does 3 divide x/2*4 - 1?
True
Let u(t) = t**2 - 2*t. Let p(w) = 5*w**2 - 40*w - 5. Let l(c) = p(c) - 6*u(c). Is l(-7) a multiple of 9?
False
Let i(o) = 3*o**2 - 131*o - 152. Is i(114) a multiple of 68?
False
Let y be (-10)/(16/108*(-4)/32). Suppose -118*o + 114*o + y = 0. Does 5 divide o?
True
Let v = 154 - 149. Suppose -u = -0*u - 130. Suppose 0 = d + v*b - u, 2*d - b - 216 = -0*d. Does 12 divide d?
False
Let y(n) = 8*n**3 - 2*n**2 - 15*n + 7. Suppose -2*m + 4*p + 20 = 0, -p + 17 = 2*m + 3*m. Is 44 a factor of y(m)?
False
Suppose -2319*m + 2372*m - 75578 = 0. Is 25 a factor of m?
False
Let x(d) = d**3 - 61*d**2 + 129*d - 819. Is 11 a factor of x(61)?
False
Suppose -4*n = -4*k + 4, 3*n + 5*k - 27 = 2*k. Suppose -3*v = 3*p - 309, n*p + 186 + 109 = 3*v. Let a = v - -59. Is a a multiple of 16?
True
Let l = 55 - 35. Let p be -3 - (-3338)/8 - 5/l. Suppose -114 = -3*f + p. Does 12 divide f?
False
Suppose 2*g - 11383 - 3705 = 5*k, 3*g - 2*k - 22632 = 0. Does 41 divide g?
True
Let a(j) = -j + 53. Let t be a(-34). Is ((-2291)/t)/(((-5)/(-6))/(-5)) a multiple of 20?
False
Let w(k) = -k**3 - 12*k**2 - 10*k + 25. Let d be (-4)/5 + 1 + (-1838)/(-10). Let l be d/(-16) - 3/(-6). Is w(l) a multiple of 6?
False
Let r(i) = 42*i + 377. Let q be r(-9). Is 35 a factor of (-79)/(q/2 - (-15)/90)?
False
Let l = -1 + 7. Let o(b) = -b**2 + 5*b + 10. Let r be o(l). Suppose 0 = -5*v - 2*m - 0*m + 246, 0 = r*m - 12. Is 24 a factor of v?
True
Let y = 133103 - 76583. Does 20 divide y?
True
Let b(s) = 2*s**2 + 12*s + 9. Let q be 1/(2/(-6)) + -4. Let z(r) = -2*r**2 - 11*r - 8. Let k(v) = q*z(v) - 6*b(v). Does 14 divide k(-4)?
True
Does 3 divide 734 - (11/66 + (-295)/(-30))?
False
Suppose -1358*m + 1363*m - 21924 + 1044 = 0. Does 45 divide m?
False
Is (-8 + 18 - (36 - 15))*-1020 a multiple of 6?
True
Suppose 8*d - 242 = 6*d. Let w = -1 + d. Does 41 divide w?
False
Suppose 0 = 5*x - 20, 0*l + 4*l = 5*x - 4. Suppose 15*f = -22*f - 296. Does 3 divide 2/f + (133/l - -6)?
True
Suppose -3*w = -3*l + 492, -2*l = 3*l + 5*w - 770. Let j = l + -276. Let o = j - -404. Does 41 divide o?
True
Let y(o) be the third derivative of -o**6/24 + 3*o**5/20 + 7*o**4/24 + 5*o**3/6 + o**2 - 30*o. Does 4 divide y(-3)?
True
Suppose -12*x + 7*x - 57235 = -2*h, -h + 3*x = -28616. Is 35 a factor of h?
False
Let x be (-1)/((-8)/(52*-6)). Let n = x - -152. Does 2 divide n?
False
Let p be (1/((-1)/(-2)))/((-1)/(-26)). Suppose -3*d + 95 = -p. Is d a multiple of 49?
True
Suppose -2*t - 1172 = -2*v, 5*v - 3*t - 1554 - 1368 = 0. Suppose 0 = 4*f - u + v, 4*f - f + 428 = 5*u. Is f/(-4) - (-8)/16 a multiple of 13?
False
Let t(c) = 3*c**3 - 2*c**2 - c + 1. Let y be t(3). Suppose 19 = 10*a - y. Let n = 130 - a. Does 18 divide n?
False
Let t = -258 - -3415. Is t a multiple of 77?
True
Let t(p) = 6*p**2 + 4*p + 41. Let q be t(-10). Suppose 0 = 22*v - 169 - q. Is v a multiple of 7?
True
Suppose v + s = -8, 0 = -3*v - s - 11 - 17. Let m(q) = 11*q**2 - 30*q - 51. Is m(v) a multiple of 19?
True
Suppose -771*w + 866*w = 921690. Does 126 divide w?
True
Let b(r) = 18*r**2 + 38*r - 14. Suppose 19*w - 42 = 25*w. Is b(w) a multiple of 14?
True
Let h(m) = 127*m + 524. Is h(-4) a mu