 142 = -w, w - 476 = 3*p. Is w a multiple of 13?
False
Is 3 a factor of (49*4/(-6))/(-10*21/62055)?
False
Let b be (-3)/1 + 1*(-14)/(-7). Let r be ((-77)/14)/(b/98). Suppose -r + 115 = -4*h. Does 8 divide h?
False
Let x = -161 - -479. Let a = 130 + x. Is 32 a factor of a?
True
Suppose 11 = -5*y + 5*z + 46, 5*y - z - 19 = 0. Suppose -4*j + 5*a + 528 + 528 = 0, 0 = -y*a - 12. Is j a multiple of 7?
True
Let x(a) = 3*a**2 - 78*a + 1115. Is x(113) a multiple of 18?
False
Let x(m) = -8*m - 260. Let d be x(-10). Let u = d - -501. Is 10 a factor of u?
False
Let u = -1218 + 2218. Is 21 a factor of u?
False
Suppose 12*x + 40 = 22*x. Is 28 a factor of (-2)/8 - (x - 2919/12)?
False
Let p = 1683 + -842. Is 3 a factor of p?
False
Suppose -122 = -n + 3*s, 387 = 3*n - 4*s + 2*s. Suppose -3*z - 510 = -3*l, -5*z + 1023 - 325 = 4*l. Let w = l - n. Does 3 divide w?
False
Let j = 8277 + -6540. Is j even?
False
Let w(p) = 42*p + 21. Let l be w(7). Let c be (l + -1)*(0 - -5 - 3). Suppose 4*i = -2*d + c, -2*i - 4*d = -i - 164. Does 13 divide i?
True
Let m(i) = 1449*i**2 + 31*i + 17. Does 13 divide m(2)?
False
Let y(d) = d**3 - 21*d**2 + 4. Let z be y(21). Suppose -4*c - 177 = -s, -391 - 92 = -3*s - z*c. Is 9 a factor of s?
False
Let v(d) be the first derivative of 4/3*d**3 + 2*d**2 + 4*d + 13. Does 25 divide v(-4)?
False
Let r = -11766 - -20553. Does 19 divide r?
False
Let u(g) = g**2 + 30*g + 1584. Does 88 divide u(-132)?
True
Suppose -2*w + w = 6, -12*j + 3*w = -128718. Is j a multiple of 65?
True
Suppose -7*z + 17 = -2*z - 2*d, 3*z + 4*d = 5. Is (-15978)/(-30) - z/5 a multiple of 28?
True
Let b(h) = h**3 + 55*h**2 - 351*h - 80. Is b(-46) a multiple of 9?
False
Is (-814453)/(-115) + 6 - (-2 + -1)/(-15) a multiple of 16?
True
Suppose -20*v - 15*v + 30135 = 0. Is v a multiple of 8?
False
Let a be 6 - 4/(4 + 0). Let h(w) = -6 + 14 - a - 9*w. Does 22 divide h(-7)?
True
Let m(q) = -43*q - 80 + 75 + 31*q. Let k be ((-1 - 0) + 4)/(-1). Is 4 a factor of m(k)?
False
Suppose 4*c - 2 = 2*q, 2*c + 0*q - 5*q = -19. Suppose c*y = 6*y - 27. Suppose y*p - 4*p - 15 = 0. Does 2 divide p?
False
Suppose -3*f + 100 = 2*c, -150 = c - 4*c - 4*f. Is 4 + -1 + 80/c*55 a multiple of 5?
False
Suppose -101025 = 2005*y - 2020*y. Is y a multiple of 6?
False
Let l = -267 - -6203. Is l a multiple of 28?
True
Suppose 61*g + 62*g - 135300 = 0. Does 44 divide g?
True
Let u(o) = 2 - 72*o**3 - o + 142*o**3 + 11*o**2 - 71*o**3. Let a be u(11). Does 9 divide ((-4)/3)/(-2) + (-1029)/a?
False
Suppose 2*a + 18*a - 136800 = 0. Is a a multiple of 30?
True
Suppose 0 = b + 4*y - 7*y + 6, -2*b + 3*y = 3. Suppose -6*h + 3*h + 2*t + 166 = 0, b*h - 158 = 4*t. Suppose -374 = -4*m + h. Is 12 a factor of m?
True
Let x(j) = j**3 + 7*j**2 + 3*j + 7. Suppose -10*m + 34 = -16. Suppose 0*u - u - 15 = 3*i, -25 = m*i - 5*u. Is 6 a factor of x(i)?
True
Is 82 a factor of ((-58)/3)/((-334)/315129)?
False
Let z = 32493 + 8849. Is 10 a factor of z?
False
Suppose 28*l - 52768 - 3036 = 0. Is 12 a factor of l?
False
Suppose -a - 2*r + 7677 = 1143, 19567 = 3*a - r. Is 102 a factor of a?
False
Let d(v) = v + 7. Let t be d(-2). Suppose 3*q + 3*o - 321 = -o, -t*o = -3*q + 348. Is q a multiple of 3?
True
Let q(c) = 8*c**2 - 189*c - 765. Is 233 a factor of q(-50)?
False
Let h = -4121 - -11967. Is h a multiple of 3?
False
Let g(i) = 25*i**2 + 72*i + 1807. Is 97 a factor of g(-37)?
True
Let b be (-219)/(-1) - (13 + -17). Let f = 47 + b. Does 37 divide f?
False
Suppose 4 = r, 5*p - 16*r = -18*r + 16563. Let o = -2303 + p. Is 36 a factor of o?
True
Does 7 divide (171748/12 - 3)*((-189)/(-42))/3?
False
Is 9 a factor of 243508/136*(-1)/(5/(-10))?
False
Let g be (-50)/325 - 4/(-26). Suppose -5*v - 93 + 98 = g. Does 15 divide 44/(-8)*-8 + v?
True
Let o(g) = -3*g**3 - 34*g**2 + g + 54. Let i be o(-17). Suppose 12*q - i = 5082. Is 19 a factor of q?
True
Let n(r) = -r**2 + 7*r + 2. Let j be n(9). Let w(s) be the third derivative of s**6/120 + 7*s**5/30 - 3*s**4/2 - 2*s**3/3 - 57*s**2. Is 12 a factor of w(j)?
True
Let w(z) = 3*z**3 - 29*z**2 - 74*z + 49. Is w(18) a multiple of 17?
True
Let n = -303 + 305. Let k(i) = -168*i - 14. Let x(b) = 56*b + 5. Let p(a) = 3*k(a) + 10*x(a). Is 40 a factor of p(n)?
True
Suppose -d = 3*s - 64, -2*d + 2*s - 59 = -3*d. Suppose -51*t = -d*t - 972. Is 18 a factor of t?
True
Let n(l) be the second derivative of l**5/10 - l**4/3 + l**3/3 + 3*l**2/2 - 11*l + 2. Does 8 divide n(3)?
False
Let f(u) = -2*u**3 - 197 + 21*u + 3*u**3 - 17*u**2 + 146. Does 34 divide f(17)?
True
Suppose 0 = -53*f + 56*f - 1194. Let j = 1213 - f. Does 13 divide -2*((-8)/12 - j/6)?
True
Suppose -10*z = -7*z + 576. Let h = z - -566. Is 22 a factor of h?
True
Let p(x) be the first derivative of -x**5/60 + x**4/8 + 32*x**3/3 + 28. Let w(c) be the third derivative of p(c). Does 3 divide w(0)?
True
Suppose -y = -4*c - 139, 58*c - 62*c = -3*y + 441. Does 11 divide y?
False
Let l = -11 - -109. Let v be ((-140)/(-12))/(-1 + (-28)/(-24)). Let k = l - v. Is 4 a factor of k?
True
Let s = 41266 + -7962. Is 49 a factor of s?
False
Let r be 2 + (-1368)/120 + (-3)/5. Does 3 divide (-1154)/r + -6*1/15?
False
Let g be 1 + (49 - 1) + 3. Suppose -d = -4*w - 6*d + g, 48 = 5*w + 2*d. Suppose -y - 4*y + 500 = -5*k, -2*k = -w. Is y a multiple of 16?
False
Let w be (3 - 6) + 3 + 0. Let c(u) = u - 289. Let h be c(w). Let b = -97 - h. Is b a multiple of 40?
False
Let l(s) = s**2 + s - 12. Let k be l(-5). Suppose 2*y - k = -2*y, 6 = 2*z + 5*y. Is 10 a factor of (-6)/(-3)*(1 + (z - -6))?
True
Suppose -h - 2*v + 400 = 0, 3*h + 0*v - 4*v - 1200 = 0. Suppose -4*l - 3*a = -400, 3*l - h = -l - 4*a. Does 5 divide l?
True
Suppose 3*n - 106600 = -28*n + 6*n. Is n a multiple of 4?
True
Suppose -4*w + 55 = -3*w. Let q be (543/9)/((w/(-30))/(-11)). Suppose -5*o = -4*l + q, 5*l - 3*l - 194 = -4*o. Does 31 divide l?
True
Let h(g) = -6182*g - 16 + 78 + 6184*g. Does 46 divide h(-8)?
True
Let k(z) = -2*z**2 - 12*z + 23. Let s be k(-10). Let i = s + 53. Does 17 divide ((-420)/8)/5*i?
False
Let q = 225 + -461. Let b = q + 346. Does 11 divide b?
True
Let g = -7948 - -21673. Is g a multiple of 5?
True
Let j(c) = 157*c**2 - 49*c + 103. Is 43 a factor of j(6)?
True
Let n be (-2)/9 + -2 + 8629/(-9). Let m = -686 - n. Is (4/(-5))/((-2)/m) a multiple of 11?
True
Suppose 6*q = 13 + 23. Suppose 5*n - q + 21 = 0. Let h(o) = -o**3 + 2*o**2 - 6*o - 6. Is h(n) a multiple of 18?
False
Let p(n) = 271*n**2 + 104*n + 730. Is p(-8) a multiple of 74?
True
Let l = -13 - -8. Let j be (0 - 1)/(l/135). Suppose -c + 5*p + j = -20, -38 = -2*c - 4*p. Is 19 a factor of c?
False
Let u(c) = -327*c**3 + 78*c**2 + 3*c - 11. Does 141 divide u(-6)?
False
Let o(y) = -y**3 - 15*y**2 + 13*y + 35. Let p be o(-16). Does 17 divide (7 + -8 - -3) + p?
True
Let o(m) = m**3 - 9*m**2 - 11*m + 5. Let g be o(10). Let c(n) = 362 - 167 + 3*n**2 - 179 + 7*n. Is c(g) a multiple of 16?
False
Let z = -148 - -212. Suppose z*k - 63*k - 475 = 0. Does 25 divide k?
True
Let f be (-6)/(-4)*(-40)/(-15). Suppose 98 = f*v - 378. Is 17 a factor of v?
True
Let b = 15873 - 14088. Is 20 a factor of b?
False
Suppose -155*h + 28652 = -153*h - 4*c, 4*h - 57200 = -5*c. Does 73 divide h?
False
Let j be 8/(-64) + 17355/(-40). Let h = j + 697. Does 14 divide h?
False
Let m(o) = o**3 - 16*o**2 + 17*o + 3. Let w be m(15). Suppose 366 = 2*i - 2*h, h + w = 4*i - 696. Suppose -4*s = 3*c - i, -4*s + c + 220 = 30. Does 10 divide s?
False
Let c(y) = y**2 + 2*y + 1. Let v be c(-3). Suppose 4*m + 5*u - 33 = 0, -m + 6 = v*u - 2*u. Is -6*(-1 - 76/m) a multiple of 11?
True
Suppose 0 = -8*u - 0 + 16. Suppose 3*j - u*s = -6 - 1, -5*s - 5 = 0. Does 17 divide 0/2 + (-276)/j + 2?
False
Does 27 divide 2 + (-1202388)/(-78) - 147/637?
True
Let u = -241 + 241. Suppose u = 2*s - 1215 + 73. Is s a multiple of 50?
False
Let a = -467 + 469. Suppose -a*o + 6*w = 8*w - 280, 0 = 4*o + 3*w - 560. Is 20 a factor of o?
True
Let w(c) = -73*c + 4. Let t be w(-1). Suppose -h - t + 78 = 0. Is (-6)/(-2) + (313 - h) a multiple of 45?
True
Let i(r) = -12*r**2 + 21*r - 7. Let d(g) = -5*g**2 + 10*g - 4. Let n(x) = 5*d(x) - 2*i(x). Suppose 2*c = -6 + 14. Is n(c) a multiple of 4?
False
Suppose 5*w + 93 = 3*n, 4*w + 90 = 2*n + n. Suppose 1032 + 2712 = n*c. Is 6 a factor of c?
True
Suppose 5*d - 4*x + 41