j) = 22*j + 2. Let t be o(2). Suppose 0 = 2*d - 22 - t. Does 6 divide 2 - (4 + d/(-1))?
False
Suppose 5*f - 4*k - 2118 = 3823, 0 = 5*f + 4*k - 5949. Does 41 divide f?
True
Suppose -j - 53 = -141. Let l = 151 - j. Is 40 a factor of l?
False
Suppose -86*f + 1056 = -82*f. Does 24 divide f?
True
Let r = -31 + 34. Suppose l - 220 = -r*l. Does 5 divide l?
True
Does 26 divide (0 + 44)*169/26?
True
Suppose 5*q - 1260 = 4*w, 2 = -w - 3. Suppose 4*t - 4*y - 587 = -t, 2*t + 5*y = q. Suppose -h = -3*a - 5*h + t, 4 = -4*h. Is 9 a factor of a?
False
Does 7 divide ((-18)/(-54))/((-1)/(-294))?
True
Let m be (-2 + -30)/(-2*1). Suppose 0 = 2*x - 2*s + m - 38, 0 = -3*x + 5*s + 39. Let a(d) = -d**3 + 9*d**2 + 3*d + 6. Does 12 divide a(x)?
False
Let c(h) = 5*h**3 - 8*h**3 + 9*h + 5*h**3 + 8*h**2 + 12 - 3*h**3. Does 3 divide c(9)?
True
Suppose -2*k + 5*g = 6*g - 2, -3*k + 2*g + 3 = 0. Does 5 divide -1 + k - 0 - (8 + -21)?
False
Let q(b) = b - 7. Let u be q(-7). Let g be (-102)/21 - (-2)/u. Does 22 divide 5*((-52)/g - -2)?
False
Suppose 30 = 3*p + f + 2*f, -3*p + 3*f = 0. Suppose 3*c + u - 230 = 0, -2*c + p*u + 3 = -139. Is 19 a factor of c?
True
Let l = 23 + -39. Let p = 19 - l. Is 35 a factor of p?
True
Is (7815/15 + 4)/((-1)/(-3)) a multiple of 21?
True
Let o = 48 - 60. Let r be (-1)/3 - (-119)/(-3). Is (r/(-24))/((-2)/o) a multiple of 5?
True
Let w(s) = -61*s + 5. Let r(x) = -31*x + 3. Let j(u) = -11*r(u) + 6*w(u). Let f be j(-2). Let c = f + -22. Does 25 divide c?
True
Let i(p) = p**2 + 5*p - 4. Let q(f) = 4*f**2 + 15*f - 13. Let y(u) = -7*i(u) + 2*q(u). Let t = -225 - -220. Is y(t) a multiple of 26?
True
Suppose u = 2*v + 2, 3*v - 2 = u - 3. Let c = v + 3. Suppose -c*s = -16, 2*s + 2*s - 48 = -b. Is b a multiple of 25?
False
Is 32 a factor of 1922/12 + 6/(-36)?
True
Suppose 21000 = 4*p + 2520. Is p a multiple of 12?
True
Is 13 a factor of ((-446)/6)/(20/(-60))?
False
Is (11208/36 - -7) + (-1)/3 a multiple of 12?
False
Is 181/((5/10 + 0)/1) a multiple of 14?
False
Let k be 1*-1 + (-30)/(-5). Suppose -3*x + 209 = -4*c - 147, 5*c + 595 = k*x. Suppose -3*u = 0, -3*z + 0*u + x = -3*u. Does 10 divide z?
True
Let q be (-1)/(-2)*26 + -1. Let u be q/(-16)*12/(-3). Let m(d) = 6*d**2 + 4*d - 1. Is m(u) a multiple of 29?
False
Suppose -4*j + 52 = -208. Is 5 a factor of j?
True
Is 2 + (8 - 5) + 618 a multiple of 21?
False
Let y(l) = l**3 + 4*l**2 - 8*l - 9. Let x be y(-5). Does 8 divide 80/6*-1*x/(-5)?
True
Suppose -3*o - f + 1920 = -0*o, -2*f = 0. Does 26 divide o?
False
Suppose -15 - 21 = 4*w. Is 6/((-1)/(48/w)) a multiple of 32?
True
Suppose 2*n + 4400 = -2*b + 4*b, -n = 5*b - 11012. Is b a multiple of 19?
False
Let m be 2 + -1 - (-2 + -1). Suppose -l + 0*l + 42 = 0. Does 8 divide l*(-1 + m + -2)?
False
Let c be (34 - 2)*1/2. Let f = 97 - 101. Let s = f + c. Is 10 a factor of s?
False
Let w(l) = -70*l**2 + 2*l + 1. Let p be w(1). Let c = 100 + p. Is c a multiple of 7?
False
Let b(t) = -6*t**3 + 2*t + 1. Let y be b(-1). Suppose -y*a + 160 = -470. Is a a multiple of 21?
True
Let y(n) = 26*n - 13*n + 16*n + 17 + 1 - 2*n**2. Does 16 divide y(14)?
True
Let q = 14 + -11. Suppose 6*t = q*t + 12. Suppose 4*n = 32 - t. Does 7 divide n?
True
Let x = 14 - 12. Let h(k) = -4*k**x + 6*k**2 - k - 3 - k**2. Is h(-8) a multiple of 23?
True
Let r(t) = -4*t**2 + 184*t - 28. Is r(33) a multiple of 8?
True
Suppose 421 = 2*m - 275. Is m a multiple of 29?
True
Suppose 12*z - 10*z - 898 = 0. Suppose 0 = -4*f + z + 11. Does 23 divide f?
True
Suppose 0*i + 3*i = 1215. Is i a multiple of 9?
True
Let r(u) = -6*u**3 - 2*u**2 - 3*u. Suppose 1 + 0 = 4*d - 3*q, 0 = d - 5*q - 13. Is 23 a factor of r(d)?
True
Is (-33343)/(-7) - ((-152)/56 + 3) a multiple of 123?
False
Suppose -5214 = 32*l - 31902. Is l a multiple of 6?
True
Let g = 2 - -2. Suppose -g*r = r - 15. Suppose 3*l - 4*d - 43 = 0, r*l + 4*d - 93 = -2*l. Does 5 divide l?
False
Suppose -5*j - 4*n - 1341 = -4917, 3*n = -3*j + 2148. Is 15 a factor of j?
False
Suppose -132 = -5*i + 48. Suppose 0 = -n - j - 5 + 18, -7 = -n + 5*j. Let g = i - n. Does 8 divide g?
True
Suppose -k + 134 - 83 = 0. Is 2 a factor of k?
False
Suppose -3*u + u - b = 315, 2*u + 5*b = -295. Let h be (3/(-2))/((-30)/u). Is 28 a factor of 92*1*(9 + h)?
False
Suppose 29*j - 10407 = -1997. Does 15 divide j?
False
Let u be 5 - (1 - 1)/(-2). Let z = -3 + u. Suppose z*m + 2*m + 25 = 5*k, 56 = 4*k + 4*m. Is k a multiple of 9?
True
Let f(k) = 771*k - 346. Is 37 a factor of f(4)?
True
Suppose -252 = -29*s + 26*s. Is 12 a factor of s?
True
Let t(f) = -7*f - 5. Let g(v) = -7*v - 6. Let y(x) = -2*g(x) + 3*t(x). Does 30 divide y(-7)?
False
Suppose 3*r = -4*i + 101 + 657, -1270 = -5*r - 5*i. Suppose -2*f + r = f. Is 10 a factor of f?
False
Suppose 7*s = -1120 + 1190. Does 5 divide s?
True
Let k(f) = 7*f**3 - f**2 - 2*f - 3. Is 27 a factor of k(5)?
True
Let f(m) = 495*m + 1177. Let p(g) = 13*g + 31. Let q(n) = 2*f(n) - 77*p(n). Does 14 divide q(-5)?
False
Suppose -3*k = 3*l - 2 - 31, 2*k + 20 = 5*l. Suppose -3*a - l = x, 5*x + 14 = -5*a + 4. Suppose 6*z - 56 = z + 3*j, x = -2*z + 3*j + 26. Does 4 divide z?
False
Let v = 10 + -7. Suppose -2*f = -v*f - 7. Let w = 32 - f. Is 27 a factor of w?
False
Let v = -270 + 406. Suppose 5*s - v - 229 = 0. Is s a multiple of 19?
False
Let g be (364/(-6))/(-1) + (-54)/81. Suppose g*l = 58*l + 144. Is l a multiple of 21?
False
Is ((-24)/14)/((-152)/43624) a multiple of 6?
True
Let m(c) = -3*c + 0 + 3*c - 1 + 4*c**2 + 2*c. Let l be m(4). Let q = l - 26. Is 17 a factor of q?
False
Suppose -3*j = 2*j - 75. Let f(c) = -2*c**3 - 21*c**2 - 11*c - 8. Let s be f(-10). Suppose -5*h + s*g = -192, -2*g - j = -h + 17. Is 10 a factor of h?
True
Let l(y) = -y**3 - 13*y**2 - 14*y - 11. Let j = -15 + 14. Let p(m) = -11*m**2 - 1. Let q be p(j). Is l(q) a multiple of 13?
True
Suppose -4 = -x, 26 = 2*z + 2*x - 0*x. Suppose -z = -2*v - 3. Let f = 21 - v. Does 9 divide f?
True
Let g(u) = u**3 + 13*u**2 - 13*u + 12. Let i be g(-14). Let t be i/3*21/14. Does 18 divide 165/(2 - t) + -1?
True
Let d(q) = 572*q**2 - 24*q + 45. Does 18 divide d(2)?
False
Suppose a + 5*p = -8 - 4, -16 = -2*a - 2*p. Suppose a = -d + 119. Is d a multiple of 26?
False
Suppose -3*g + 597 = 5*c, 2*g + 242 = 2*c - 0*g. Is c a multiple of 5?
True
Let a(r) = -11*r - 134. Is 10 a factor of a(-34)?
True
Let o = 794 - -5. Does 71 divide o?
False
Suppose 0 = -2*s + 11 + 25. Let z be (-4)/s + 390/54. Suppose 1 = -k + z. Is 2 a factor of k?
True
Let k be 1/3 - (-504)/27. Let y = 73 - k. Suppose 8*n - 5*n - y = 0. Is n a multiple of 6?
True
Let v be ((-16)/6)/(8/(-180)). Let f be -3 - 11/(11/v). Let k = f - -89. Is 13 a factor of k?
True
Let h(a) = 39*a - 50. Suppose -5*r - 2*u = -30, 5*r + u - 30 = 6*u. Does 23 divide h(r)?
True
Let q = -47 + 445. Suppose 3*d = 5*d - 2*w - 412, 5*w - q = -2*d. Is 51 a factor of d?
True
Let h be -29 + 1/(-2)*-6. Let y = h + 63. Is 4 + -3 + (y - 0) a multiple of 19?
True
Let f be (-4)/10 - (-2 + 21711/(-15)). Suppose -13*m - 8*m + f = 0. Is 23 a factor of m?
True
Let v(o) = o - 7. Let h be v(7). Let k be (-24)/3 - h/1. Is 16 a factor of 52 + 4/k*-4?
False
Suppose 3*k + 93 = 5*f, 0 = 3*f - 2*k - 58 + 2. Let s = f + -15. Suppose -5*r + 1 + 14 = -z, 3*r - s*z = -3. Does 3 divide r?
False
Suppose 140 = -5*v + 1910. Is 33 a factor of v?
False
Let g = 73 + -39. Suppose g*l - 205 = 29*l. Does 5 divide l?
False
Suppose 0 = -5*f - 3*q + 15680, -q + 12544 = 46*f - 42*f. Is f a multiple of 56?
True
Let l(a) = 4*a**2 - 25*a - 5. Let q be l(6). Let j = q - -160. Is j a multiple of 32?
False
Suppose -5*h = -10*b + 7*b - 12885, -3*h - 5*b + 7765 = 0. Is h a multiple of 12?
True
Suppose 0 = -4*q - 48 + 792. Is 62 a factor of q?
True
Let y be ((-566)/4)/((-22)/44). Let b = y - 189. Does 10 divide b?
False
Let l(j) = j**2 + 4*j + 8. Let t(u) = -2*u**2 - 7*u - 17. Let d(i) = -7*l(i) - 3*t(i). Is 7 a factor of d(-4)?
True
Let o = 1917 + -949. Suppose 0 = -0*s - 8*s + o. Is s a multiple of 45?
False
Let d(j) = 36 - 2*j - 19*j + 20*j - 25*j. Does 26 divide d(-7)?
False
Suppose 11 = 3*r + 5. Suppose b = -3*u + r*b + 232, -3*b = 3. Is u a multiple of 24?
False
Suppose 0*k + 2*k - 2 = 0. Let n(h) = 50*h**3 + 2*h**2 - h. Is 17 a factor of n(k)?
True
Let d = -250 - -775. Is 35 a factor of d?
True
Suppose 5*f 