2. Does 19 divide v?
False
Let w = 89 + -148. Let a = -50 - w. Let g = a + 49. Is 17 a factor of g?
False
Let a(l) be the second derivative of 19*l**6/360 + l**5/24 + l**4/8 + 7*l**3/2 - 20*l. Let j(f) be the second derivative of a(f). Is 29 a factor of j(-2)?
False
Let d(l) = -4*l**3 - 2*l**2 + l + 6. Let y be d(-5). Suppose y = 2*k - 329. Suppose 0 = 5*h - k - 170. Is 13 a factor of h?
False
Let x(h) = 84*h**3 - 16*h**2 + 9*h + 9. Is x(3) a multiple of 90?
True
Suppose 0 = -3*y - 5*r + 290, 18*r - 17*r = 3*y - 266. Is 18 a factor of y?
True
Let n(v) be the second derivative of 3/2*v**2 + 4/3*v**3 + 0 - 18*v. Is n(6) a multiple of 33?
False
Let j = -200 - -206. Suppose j*t - 8*t - x + 52 = 0, 4*t + x - 108 = 0. Does 14 divide t?
True
Let j(c) = 6*c**2 - 12*c + 6. Suppose -24 = 8*k + 24. Does 49 divide j(k)?
True
Let f be 70/10 - 1/(-1). Suppose -536 - 904 = -f*b. Does 9 divide 31180/b + 1/(-9)*2?
False
Suppose -4776 + 7881 = 9*k. Does 2 divide k?
False
Let q(n) = 3*n**3 - 41*n**2 - 46*n - 12. Let s(f) = -f**2 + 19*f - 3. Let r be s(18). Does 9 divide q(r)?
True
Let b(h) = -h**3 + 7*h**2 - h + 3. Let p be b(7). Let c be 265/5*p*15/(-4). Suppose 3*l = -2*l + c. Is 12 a factor of l?
False
Let n = -69 - -71. Suppose n*z = -z + 4*f - 76, -2*f - 22 = z. Does 12 divide 4/6 - z/18 - -10?
True
Suppose -15150 = -s + 3*w, 3*w = 2*s + w - 30276. Is 26 a factor of s?
True
Let u = -4290 - -8298. Suppose -3*g + u = 4*l, 0 = -g + l + 1455 - 112. Is 67 a factor of g?
True
Let k(x) be the first derivative of -7*x**2/2 - 18*x + 32. Does 22 divide k(-12)?
True
Let u = 13 - 9. Suppose 20 = -4*m - u*b, 4*m + m - 4*b + 7 = 0. Does 26 divide ((-33)/5 + m)/(1/(-5))?
False
Let s be ((-20)/40)/((-2)/36). Let l = -4 + s. Suppose d + 3*g + 6 = 52, l*d - g - 246 = 0. Does 13 divide d?
False
Let s(g) = 3*g**2 - 9*g + 10. Let l be s(5). Suppose -39*o = -l*o - 134. Let k = o - -246. Is k a multiple of 16?
True
Let n(d) = -d - 10. Let f(m) = -m**2 - 10. Let c(y) = -6*f(y) + 5*n(y). Is 10 a factor of c(3)?
False
Is (-1937852)/(-147) + 8/6 a multiple of 206?
True
Is (-220)/(-8)*56/(-10)*18/(-6) a multiple of 21?
True
Suppose -223 = -13*n + 115. Suppose -18 = 4*f - n, 83 = y + f. Does 10 divide y?
False
Let z be (0 + -2 - -45)/((-7)/21). Let l = z - -190. Does 2 divide l?
False
Is 13 a factor of (-54)/(-19 - -25) - 115*-2?
True
Let s = -3525 + 6143. Is 77 a factor of s?
True
Let b = 3099 - 1453. Is b a multiple of 23?
False
Suppose -4*y - 10 = y. Let x be (y + 2)/(6/6). Is -1 + x/2 + -1 + 54 a multiple of 13?
True
Suppose 0 = 5*q + 108 - 483. Does 45 divide q/2*5/(40/96)?
True
Let y(j) = -j**3 - 2*j**2 + 2*j + 4. Let w be y(-2). Suppose 0 = -s - 5*p + 137, w*s + p = -s + 145. Does 17 divide s?
False
Suppose -5*m - 15 = -q, -2*q = -3*m + 4 - 20. Suppose -q*j - 555 = -i, -3*i + 3*j = j - 1691. Does 34 divide i?
False
Let x(k) = 4621*k - 3309. Is x(6) a multiple of 31?
False
Let i(p) = p**3 + 18*p**2 + 14*p - 29. Let y be i(-13). Suppose 6*r - y = 986. Is r a multiple of 9?
True
Let x = 704 - -6706. Does 39 divide x?
True
Let l(c) = 8*c**2 + 30 + 12*c**2 + c**3 + 12*c - 2*c**3 - 6*c**2. Does 21 divide l(11)?
True
Suppose -68*y + 66*y - 42 = 0. Does 3 divide 168/35*(-1190)/y?
False
Let h(z) = 67*z**3 - 9 + 2*z**2 - 3*z**2 - 3*z + 69*z**3 - 138*z**3. Is h(-7) a multiple of 36?
False
Let v = -5341 - -6826. Is v a multiple of 15?
True
Let y = 602 + -406. Let n = y + -132. Does 8 divide n?
True
Let u = -13768 + 19220. Is 47 a factor of u?
True
Let z(p) = -4*p + 4. Suppose 110 + 34 = -6*g. Does 17 divide z(g)?
False
Let h(u) = u**3 - 10*u**2 - 83*u - 67. Is h(22) even?
False
Let f(n) = -17*n**2 + 4 - 3 - n + 18*n**2. Let s be f(5). Suppose -19*k + s*k = 300. Is 25 a factor of k?
True
Suppose -2*f - 20*f + 12*f = -3040. Is 100 a factor of f?
False
Let k be (-10)/(-8) + -2 - 5238/(-72). Suppose -k = -2*d - i, 3*d - d = 5*i + 96. Is 3 a factor of 3 - (d/(-14) + (-18)/63)?
True
Suppose -4*y - 5*o = -863, -8*y - 2*o + 1083 = -3*y. Suppose 4*j = 825 - y. Is 8 a factor of j?
True
Does 9 divide 1296390/180 + 42/(-36)?
False
Let t be (-4)/14 + ((-3195)/(-35))/1. Let r = t - 99. Is ((-1)/(-2))/(-1) - 1804/r a multiple of 14?
False
Let m(u) = u**3 + 12*u**2 + 25*u + 2. Let b be m(-13). Let y = 684 + b. Does 25 divide y?
False
Suppose -17*g = -15*g - 3770. Is g a multiple of 29?
True
Let c(m) = 99*m**3 + 4*m**2 - m. Let t be (7 - 6)/(3/9). Let g be c(t). Suppose 0 = 10*l - g - 354. Does 36 divide l?
False
Let l(n) = n. Let k be l(-5). Let u(v) = v**3 - v**2 - 2*v + 1. Let a(d) = -2*d**3 + d**2 + 2*d - 2. Let z(j) = 2*a(j) + 3*u(j). Is 21 a factor of z(k)?
False
Let q be -2 + (-1 + 6)*-53. Let w = q - -105. Is 39 a factor of -4 + w/(-42) - (-1178)/14?
False
Suppose r + 25 = 2. Let g(m) = m + 33. Let s be g(r). Is ((-2736)/6)/6*s/(-8) a multiple of 15?
False
Let c be (40/(-32))/(5/(-1000)). Suppose 5*n + c = m + n, 0 = -4*m - 3*n + 1019. Is m a multiple of 25?
False
Suppose 0*q = 3*q - 4*l - 2075, 0 = 3*q - 2*l - 2077. Suppose -q = -y + 664. Is y a multiple of 59?
True
Let f = 1219 + 4817. Does 18 divide f?
False
Let i(x) = 7*x**2 + 5*x + 43. Let y = 224 + -228. Is i(y) a multiple of 6?
False
Let v = -362 + 985. Let j be (-30)/90 + 3651/(-9) + 1. Let r = v + j. Is r a multiple of 10?
False
Let n(y) = 4*y + 4 - 6 - 2. Let c = 4070 - 4067. Is 3 a factor of n(c)?
False
Let y be (-3 - 7/(-4))*-4. Let t be 3/((60/(-16))/y). Let x(h) = -6*h - 2. Is x(t) a multiple of 22?
True
Does 3 divide (744/32)/(3/(-28))*-3?
True
Let j(x) = 8*x**2 + 2*x - 3. Let p(w) = -w**3 - w**2 + 41*w - 2. Let r be p(-7). Does 9 divide j(r)?
True
Suppose 3*p - 3*r - 194 = 2*p, -3*p - 3*r = -606. Does 24 divide 225850/p - 10/8?
True
Let w(g) = -25*g**3 - 22*g**2 - 26*g + 7. Let r(i) = -8*i**3 - 7*i**2 - 9*i + 3. Let u(s) = -11*r(s) + 4*w(s). Is 8 a factor of u(-5)?
False
Suppose 22*k = 3*k + 95*k - 404624. Is 20 a factor of k?
False
Let b(h) = -1. Let a(d) = 94*d**2 - d + 5. Let r(u) = a(u) + 4*b(u). Suppose -3*j + 9 = 6. Is r(j) a multiple of 22?
False
Suppose 19817 = 10*c - 32623. Suppose 27*y - 156 = c. Is y a multiple of 13?
False
Suppose -11*p = -27 - 17. Suppose -3*v + 39 = n - 3*n, -3*v + p*n + 33 = 0. Is v a multiple of 5?
True
Let u(n) be the third derivative of -37*n**4/8 - 47*n**3/3 + 24*n**2. Does 23 divide u(-4)?
False
Suppose 4*q - 7 = 1. Suppose 0 = -z - q + 4. Does 10 divide 5/(z/(-5)*(-9)/18)?
False
Suppose -5*y + 244710 = 5*w, 5*y + 3*w + 20869 = 265569. Is y a multiple of 63?
False
Suppose 3*k + 2320 = 5*d, 5*k = 2*d + 2*d - 1856. Does 13 divide d/8*1*(1 + 0)?
False
Suppose -115*d + 140*d = 143600. Does 13 divide d?
False
Suppose 0 = 7*c - 20*c - 3692. Let j = 353 + c. Is 3 a factor of j?
True
Let f(q) be the third derivative of q**4/24 + q**3 + 16*q**2. Let l be f(2). Suppose -4*r + 300 = 5*n - l*r, 0 = 2*r. Does 15 divide n?
True
Suppose 20*v = 16*v + 440. Suppose -4*t + 240 = -3*y, -t - 4*y = -3*t + v. Is t a multiple of 6?
False
Let l(h) = 19*h - 143. Let p be l(23). Let m = -56 + p. Is 17 a factor of m?
True
Suppose -4*i - 7130 = -54*m + 52*m, 2*m + 5*i - 7085 = 0. Is 5 a factor of m?
True
Does 23 divide (3/(-5) - 3/(-5)) + 661572/282?
True
Suppose -5*o + 370 = -4*c, -7*o = -3*o + 4*c - 260. Suppose i - 271 = o. Is 31 a factor of i?
True
Suppose 67*d - 66*d - 32970 = 3*k, -2*d + 4*k + 65930 = 0. Is 215 a factor of d?
False
Let p be 3 + (15/(-3) - (-49)/7). Suppose -2*a - m + 206 = -380, -p*m = -a + 282. Does 38 divide a?
False
Suppose 4126 = 4*i - 5*t - 381, 4*t - 3357 = -3*i. Is i a multiple of 56?
False
Suppose -y + 4*t = -648, -1052 - 328 = -2*y - 4*t. Is y a multiple of 14?
False
Suppose 3*k - 15632 = 13*g - 14*g, -2*g + 2*k + 31232 = 0. Does 54 divide g?
False
Suppose 3*n - 2*a + 4 = 0, a + 4*a + 5 = 0. Let c(h) = 146*h**2 - h - 7. Is c(n) a multiple of 6?
False
Suppose -4*o = 2*o - 24. Suppose 0*j + 38 = 2*b - o*j, 0 = 4*j + 8. Let d = 43 - b. Is d a multiple of 7?
True
Let a = -7483 - -7780. Is a a multiple of 4?
False
Suppose -g = 4*z + 45, -2*z + 0*g - 21 = g. Is 3 a factor of (1 + 56/z)*-18?
True
Let y = -337 - -689. Let m = 363 - y. Is 3 a factor of m?
False
Let a be (-33)/(-3) + 1*(2 + 4). Suppose -1016 - 616 = -a*k. Is 2 a factor of k?
True
Let v(q) = -69*q + 7586. Is 163 a factor of v(0)?
Fa