-q - k = -6*q + y, -3*q + 5*k = -72. Suppose q*d = 22*d + 30. Is 6 a factor of d?
False
Suppose 3*m - 2*f = 20182, 5*f - 12002 - 1440 = -2*m. Is m a multiple of 59?
True
Suppose -131*f + 67373 = -3705627 + 50897. Is 99 a factor of f?
True
Suppose 74*s - 69*s - 1680 = 0. Suppose p - 153 = o + 15, -2*p = -o - s. Is p a multiple of 32?
False
Let u(s) = 49*s - 47. Let i be u(1). Suppose 606 = i*d - 108. Does 33 divide d?
False
Let c(r) = -r**3 + 10*r**2 - 9*r - 4. Let t be c(8). Suppose 1024 = 19*h - 154. Let s = h + t. Is s a multiple of 25?
False
Is 68/(-153) - (-57549)/27 a multiple of 23?
False
Suppose -r - 2*a + 602 + 3338 = 0, -a - 3955 = -r. Is r a multiple of 28?
False
Suppose -3*g + 4*r + 652 = 0, -5*r - 5 = -0*r. Suppose -25*w + 26*w - g = 0. Is 3 a factor of w?
True
Let a be ((-9)/(-6))/((-2)/4). Let q be a/(-6) + 7/2. Suppose 0 = -0*u + q*u + 4*l - 28, 0 = -3*u + l + 25. Does 8 divide u?
True
Suppose 5*l + 6*m - 160 = m, 35 = l + 2*m. Let g(j) = 2*j**2 + 93*j + 306. Let h be g(-43). Suppose k = -h + l. Is 8 a factor of k?
True
Let s be (-1 - -2148) + (25/5 - 7). Let v = s + -571. Suppose -5*l + a = -v, -a = 4*l - 5*a - 1256. Does 19 divide l?
False
Suppose 3*x - 46106 = 5*w, -4*x + 8205 + 53275 = -4*w. Is 36 a factor of x?
True
Let c(k) be the second derivative of k**5/20 - 7*k**4/12 + k**3/6 + 21*k**2/2 + 40*k. Does 29 divide c(9)?
False
Is 23 a factor of 20/250 + (-149460)/(-500)?
True
Let s(q) = 5 + 7*q**2 + 2*q - 5*q**3 - 9*q + 4*q**3 + 5. Let y be s(6). Suppose -2*r - r - y*p + 376 = 0, -p = 2. Is 16 a factor of r?
True
Suppose 0 = 664*u - 2069034 - 42791470. Is u a multiple of 13?
True
Let w(m) = -94*m**3 - 32*m**2 - 92*m - 6. Is 12 a factor of w(-4)?
False
Let h(n) = -230*n - 15. Let b be h(1). Let f be (0 + -20)*(-3)/6. Is 27 a factor of (b/f + 2)*(-24)/10?
True
Suppose 4*o + 2*t = 32 + 30, -2*t = 10. Let w(y) = 3*y + 55. Is w(o) a multiple of 17?
False
Suppose -2*z = 5*s - 26626, -120 = -s - 5*z + 5173. Does 16 divide s?
True
Let m(b) = 148*b - 18. Let y be m(2). Let f = y + -184. Is f a multiple of 7?
False
Let k be (-35)/14*2/(-10)*-14. Let g be (-1853)/k - (-24)/84. Let b = g + -54. Is b a multiple of 30?
False
Let q = -1051 - -11989. Is 15 a factor of q?
False
Let l(n) = -n - 1. Let m be l(-4). Let c(d) = -d**3 + 33*d**2 - 44*d - 71. Let r be c(31). Suppose -m*z + 71 = -r. Is z a multiple of 25?
False
Let w = -18 + 21. Suppose -6986 = -w*m - 2*y, -2 = -y - 1. Is 10 a factor of 4/26 + (m/(-78))/(-1)?
True
Let y = -67765 - -97461. Is 16 a factor of y?
True
Suppose -49*f + 213694 = 5*a - 47*f, 213742 = 5*a - 4*f. Is 25 a factor of a?
False
Let c(m) = -23*m + 182. Let i = 490 + -506. Is c(i) a multiple of 11?
True
Suppose 3*x = -2*c - 123, 3*x + 5*c = 2*x - 28. Let z = -41 - x. Suppose 160 = z*b + 3*b. Is 16 a factor of b?
True
Suppose -29*c - 39*c + 5*c + 607635 = 0. Is 5 a factor of c?
True
Let w = -2526 - -2580. Let m = 29 - -10. Let a = w - m. Is a a multiple of 5?
True
Suppose 48*u + 9 = 39*u. Is ((75/12)/(-5))/(u/484) a multiple of 18?
False
Let j be 44/(-55) + ((-1398)/(-10) - -1). Is j + -14*(-6)/(-12) a multiple of 19?
True
Suppose 5*v + 13*v = 54. Suppose 10*x = -v*x + 5863. Does 11 divide x?
True
Let w = -9074 - -9139. Let d be 12/(-1)*(-23)/2. Let n = d - w. Is 12 a factor of n?
False
Let b be (-2 + 10)/1 + -1. Suppose 0 = -12*v - 54 + 90. Is 8 a factor of (v - 1)*b/(14/24)?
True
Let x(c) = -2*c**2 + 5*c + 2. Let r be x(0). Suppose 1 = r*t + 41. Let o = t + 221. Is 25 a factor of o?
False
Let g = 9646 - -11106. Is g a multiple of 41?
False
Let a(m) be the third derivative of m**5/30 - 11*m**4/6 - 38*m**3/3 + 105*m**2. Is 24 a factor of a(27)?
False
Suppose 4*s + 95*o = 90*o + 581, -2*s + 2*o = -304. Does 2 divide s?
False
Let j(y) = 3*y**3 + 16*y**2 - 14*y - 11. Let q(x) = x**3 + 8*x**2 - 7*x - 6. Suppose 0 = 2*h - 12*h + 20. Let c(s) = h*j(s) - 5*q(s). Is 9 a factor of c(8)?
False
Is (-6340)/8*2*(-18)/15 a multiple of 3?
True
Let m(s) = s**2 + 9*s - 4. Let l be m(-7). Let u(q) = 13 - 352*q + 13 + 333*q - q**2. Does 11 divide u(l)?
True
Let p(z) = -5*z**2 - 12*z - 5*z**2 + z**3 + 31*z**2 - 18 - 13*z**2. Suppose 2*s + 2*r + 3*r = -16, -4*r - 8 = s. Is 30 a factor of p(s)?
False
Let d = 99 - 96. Let b(m) = 2*m**3 + 5*m - 10 - 3*m**2 + m**2 + d*m**2. Is b(3) a multiple of 14?
False
Suppose -18864 = 9*d - 18*d. Let j = -1199 + d. Does 13 divide j?
True
Let c = 186 + -181. Suppose 0 = -5*m - 3*o + 701, 43 - 741 = -c*m - 4*o. Is 9 a factor of m?
False
Suppose -3*c = -2*o - 24, -o = c + o. Does 16 divide c/(-39) - ((-5540)/13 + 4)?
False
Suppose 3*d - 97*w + 93*w - 56178 = 0, 4*w - 74848 = -4*d. Is d a multiple of 106?
False
Is (-5904)/(-1)*(-41)/(3198/(-130)) a multiple of 48?
True
Let p = 1212 + -383. Does 12 divide p?
False
Let n(a) = 861*a - 489. Does 142 divide n(7)?
True
Let l(z) = -z**2 + 51*z - 42. Let o be l(24). Let d = o + -219. Is d a multiple of 16?
False
Suppose -7*s + 54796 = 15*s - 8*s. Is s a multiple of 14?
False
Let f(y) = 71*y**2 + 35*y - 135. Does 58 divide f(7)?
False
Let n = -126 + 130. Suppose -4*i - n = 0, -5*i + 190 = 3*g - 0*g. Is 65 a factor of g?
True
Suppose 224 = -29*u + 1210. Suppose -u*m - 9127 + 39795 = 0. Is m a multiple of 22?
True
Suppose i = -2*k - 1, -4*k + 3*k - 5*i - 23 = 0. Suppose -k*n + 210 = -2*v, 5*n - 786 + 249 = 2*v. Is n a multiple of 14?
False
Let o(i) = i**2 - 16*i + 43. Let q be o(13). Suppose -d + 412 = -n, -n = q*n + 20. Is 24 a factor of d?
True
Let j be (-9)/15*4/((-12)/15). Suppose -4*q + 4 = 2*t, 5*q + j = -2*t + 7. Suppose -5*c + q*o + 89 = -2*o, o = -c + 22. Is 2 a factor of c?
False
Let b(w) = -2*w**2 + 3*w + 2. Let u be b(2). Suppose k + u - 2 = n, 22 = -3*k - 4*n. Is -3*((-65)/15 - k) a multiple of 4?
False
Let b(h) = h**3 - 29*h**2 - 38*h + 30. Let z(m) = 3*m**3 - 56*m**2 - 77*m + 59. Let r(n) = 5*b(n) - 2*z(n). Is 40 a factor of r(-32)?
True
Let f(z) = 5*z + 8 + 8*z**3 - z + 5*z**2 + 8*z**3 - 15*z**3. Let x be f(-4). Does 33 divide (33/1)/(2/x)?
True
Suppose -5*r + 454 = -2*t, t + 89 = 3*r - 184. Suppose -7 = -339*g + 1688. Suppose -3*k + 55 = 2*j - r, g*k = 3*j - 268. Is j a multiple of 9?
True
Let o(g) = -79*g - 2. Let t(w) = -w**3 - 5*w**2 - 5*w - 2. Let r be t(-4). Let z be o(r). Does 18 divide (z/60)/((-4)/54)?
True
Let p = -16812 - -28224. Is 4 a factor of p?
True
Suppose 4*s = 3009 - 489. Suppose 0 = 216*l - 223*l + s. Is l a multiple of 3?
True
Suppose 6*a - 29471 = -3*a - 8762. Does 39 divide a?
True
Suppose 2101 = 5*l - 42*m + 41*m, -4 = 4*m. Does 21 divide l?
True
Let g(b) = 17*b**3 + 22*b - 11. Is 75 a factor of g(5)?
False
Suppose -5*t = -5*w + 3620, -4*t + 18 = -2. Let x = -1 + w. Is 26 a factor of x?
True
Suppose -2*x - 4 = 0, -x + 1 = -y - 0*y. Does 26 divide (0 + y)/((-9)/1707)?
False
Suppose 36 = -4*r, 3*r = -2*u + 5*u - 118164. Is 47 a factor of u?
False
Let b be (-3)/3 - 24/(-8). Suppose -2*r = b*z - 786, -5*z + 0*r = r - 1977. Is z a multiple of 44?
True
Let l = 28955 - 5549. Does 141 divide l?
True
Let l(w) = -78*w - 664. Is l(-86) a multiple of 19?
False
Suppose -10*v + 3*x = -11*v, -v - 2*x + 3 = 0. Let m(t) = 14*t + 18. Is 18 a factor of m(v)?
True
Let d = 137 - 263. Let v = d - -88. Let a = v - -385. Does 27 divide a?
False
Suppose 29*y - 135*y - 69*y + 7411950 = 0. Is y a multiple of 26?
True
Let g = -3904 - -20928. Does 19 divide g?
True
Let d be 1 - (8/(-32) - (-18)/8). Let v be (2 - 2) + d - (-4 + 6). Is (2 - (v - -3)) + 43 a multiple of 15?
True
Let l be (-8)/(-16)*-2 - -5. Suppose -3*m + 538 = 4*p - 5*m, 20 = l*m. Is 37 a factor of p?
False
Suppose a = -2*w - 352, 2*w = a + 447 - 87. Is a/(-3)*420/56 a multiple of 20?
False
Let n be 16 + (-3 + 4 - 4). Suppose -n*y - 442 = -11*y. Let g = 347 + y. Does 21 divide g?
True
Let m(w) = 178*w**2 - 258*w - 3262. Does 107 divide m(-12)?
True
Suppose -5*n = -c + 2405, 5*c + 47*n = 43*n + 12112. Does 38 divide c?
False
Let u be (-22)/(8*(-5)/(-60)). Let z(f) = f**3 + 34*f**2 + 33*f + 42. Is z(u) a multiple of 6?
True
Is 7/14*(-40 - -21246) a multiple of 73?
False
Suppose -k = 4*l - 12190, 0 = 3*k + 7*l - 25863 - 10702. Is 71 a factor of k?
False
Let g = -614 - -1815. Is 6 a factor of g?
False
Suppose 5*l + 5*n - 45 = 0, 5*l - 30 = -n - n. Suppose l*u - 402 = 2*k, 5*u + 2*k - 495 = 3*