vide x?
True
Suppose 4*v + 3*b = -1 + 18, 4*v - 2*b - 2 = 0. Suppose 5*h - 2*h - 307 = -v*s, -3*h + 295 = -4*s. Does 5 divide h?
False
Let u = 4430 + -3099. Does 10 divide u?
False
Suppose -7*w = -9658 - 275. Does 5 divide w?
False
Let o(r) = 148*r + 1043*r - 646*r + 48. Is o(1) a multiple of 15?
False
Is 23 a factor of (51 - 54) + 1*-1 + 29536?
True
Let v = -17804 - -24748. Is v a multiple of 28?
True
Let o = 16260 - 9327. Does 14 divide o?
False
Let g be ((-34)/8)/(4 - 143/36). Is 9 a factor of (-46767)/g - (-2)/6?
True
Let i be -2 - (-593 + 2)/((-3)/(-9)). Let g = i - 1015. Does 10 divide g?
False
Suppose -67*c + 749407 = 140219 - 123122. Is 35 a factor of c?
False
Let q = 39240 + -16750. Does 26 divide q?
True
Suppose 2*c + 5*r - 5058 = 0, -3*c + r + 3322 = -4316. Is c a multiple of 29?
False
Let d = 26 - 144. Let m = -78 - d. Suppose 0 = -4*v + m + 136. Does 11 divide v?
True
Is (-27)/(-36) - 108145/(-20) a multiple of 35?
False
Suppose 0 = -5*f - 4*b + 7337, 4*f + 3*b - 4720 - 1149 = 0. Let g = -865 + f. Suppose 5*s = -3*s + g. Does 15 divide s?
True
Let k = -8090 - -19486. Is k a multiple of 22?
True
Suppose 9*j = -121 + 4. Let t = j - -54. Suppose 0 = -h + y + t, -h + 4*h - 4*y = 128. Is 9 a factor of h?
True
Suppose -g + 77 = 65. Let i = 177 + -57. Suppose g*o - 17*o = -i. Is o a multiple of 3?
True
Let k(r) be the second derivative of 11*r + 0 + 4*r**2 + 29/6*r**3. Does 37 divide k(1)?
True
Let v(j) = 1132*j**2 - 87*j + 174. Is 78 a factor of v(2)?
False
Suppose 3*w = -s + 3, -5*w + 10 - 6 = 2*s. Suppose 3*h + 7*a - 1367 = w*a, -2*h - 2*a + 906 = 0. Does 18 divide h?
False
Let v(a) = 11*a**2 + a + 1. Let y be v(-2). Suppose y*p - 31376 = -10*p. Does 16 divide p?
True
Let p be (5/3)/(3/9). Suppose -5*m + 2*m = 4*h - 589, -m + 750 = p*h. Suppose x - 4*x = n - h, -5*x - 383 = -3*n. Is n a multiple of 24?
False
Let s = -253 + -141. Let q = s - -896. Is 9 a factor of q?
False
Suppose 0 = 4*z + 5*o - 12651, -4*z + 4*o = -7840 - 4784. Does 13 divide z?
True
Suppose -2*p + 883 = -1445. Does 12 divide p?
True
Let y = 50 + -46. Suppose -y*j - 1 = g - 3*j, -5 = 5*g - j. Does 15 divide g/5 - 314*6/(-20)?
False
Let b = 2856 - -1552. Does 167 divide b?
False
Let n = 8741 + -7224. Is n a multiple of 101?
False
Let h(n) = -12*n**3 - 22*n**2 + 6*n + 18. Let q be h(-6). Let l = 226 + q. Is 14 a factor of l?
False
Suppose 107*m - 110*m = 18. Is (-1*4/m)/((-45)/(-12420)) a multiple of 9?
False
Let n be ((-38)/(-4))/((-8)/(-16)). Let g = -23 + n. Let d(m) = 3*m**2 - 5*m - 1. Is 9 a factor of d(g)?
False
Suppose i + 0 = 23. Let g = -6 + 9. Suppose a + i = 2*v, -g*v - a = a - 45. Does 10 divide v?
False
Does 8 divide 5072 - (13 + (-5 - 1))?
False
Let c be (-3)/(-15) + 234/(-45). Let f(v) = 4*v**2 + 5*v + 3. Is f(c) a multiple of 29?
False
Let a = -12 - 18. Let z be (-1928)/(-20) - (-12)/a. Suppose -3*q - 223 = -5*t + q, z = 2*t - 5*q. Is 11 a factor of t?
False
Let x = 306 + -450. Is 11 + x/(-60) - 4/10 a multiple of 3?
False
Let s = -21213 - -31596. Is s a multiple of 7?
False
Suppose -82*z - 20*z - 35943 = -269625. Is z a multiple of 29?
True
Suppose 24*t = 91237 + 56019 - 31192. Is 9 a factor of t?
False
Suppose 4*u + 15980 = 3*s, 4*s + 59*u - 21260 = 55*u. Does 9 divide s?
False
Suppose 932*g - 926*g - 22686 = 0. Does 19 divide g?
True
Suppose -4073 - 3808 = -37*r. Let g = r + 573. Does 10 divide g?
False
Suppose -f - 2*f - 17 = -4*p, -2*f = 5*p - 4. Suppose -5*g = -p*s + 164, -2*s + 2*g + 0*g = -152. Is s a multiple of 6?
True
Let w = -34939 + 59180. Is 6 a factor of w?
False
Suppose -4*c = -f - 31342, -17*c = -14*c - 4*f - 23526. Does 59 divide c?
False
Suppose 0 = -x - 4*w - 22, -4*w - 26 = 3*x - 0*w. Is 2 a factor of 4*3/48*-118*x?
False
Let o(z) = 233*z**2 + 204*z + 2265. Is 21 a factor of o(-12)?
True
Let o = 677 - -65. Let j(u) = u**2 - 5*u - 6. Let y be j(13). Suppose -6*q + y = -o. Does 20 divide q?
True
Let p(r) = r**3 + 4*r**2 - 5*r - 12. Let m be p(-6). Let w = 50 - m. Does 52 divide w?
True
Let f(h) = 179*h**2 - 2*h + 73. Let o be f(7). Does 31 divide 2/(o/(-2945) - -3)?
True
Let h = -42 - -40. Let f be ((-40)/(-16))/(1/h). Is (-260)/f + (-6)/3 a multiple of 11?
False
Let v(s) = -2*s**3 + 11*s**2 + 30*s + 10. Suppose -2*h - 4 = -14, 5*h = i + 29. Does 50 divide v(i)?
False
Let n = -34 - -42. Suppose -26 + n = -3*c. Is c a multiple of 6?
True
Suppose -j - 74*m = -78*m - 33431, -3*m = 4*j - 133686. Is j a multiple of 21?
False
Let g be -7 - (326 + (-4 - -9)). Let t = g + 998. Is t a multiple of 5?
True
Suppose 280 = 7*r - 5*r. Suppose 10*o = 6*o + 3*m + 345, 3*o = -4*m + 290. Let v = r - o. Is 12 a factor of v?
False
Let q = -118 - -120. Suppose 88 = 2*y - q*h, 6*h = 4*y + h - 179. Does 5 divide y?
False
Suppose 0 = -18*y - 0*y + 1566. Let l = y + -24. Let k = l - -10. Is k a multiple of 23?
False
Suppose -31*q - 64*q = -19*q - 321556. Is 29 a factor of q?
False
Let p(j) = -12*j + 7*j + 9*j - 9*j**3 - 2*j**2 + 8*j**3. Does 11 divide p(-5)?
True
Suppose 5*f - 2 - 8 = 0. Suppose 0 = 5*p - 12 + f. Suppose -p*i + 3*i = 47. Is 13 a factor of i?
False
Let q(l) be the second derivative of 7*l**4/4 - l**3/3 + l**2 - 2*l + 3. Does 55 divide q(4)?
True
Let t = -70 - -27. Let x = t - -47. Suppose i = -x*m + 44, -5*i = m + 4*m - 40. Does 10 divide m?
False
Is 3 a factor of 85754/36 - (-120)/(-2160)?
True
Let d(j) = -18*j**3 + j**2 + 26*j - 49. Is d(-7) a multiple of 56?
True
Let m(v) be the first derivative of 3*v**4/4 + 4*v**3/3 - 3*v**2/2 + 7*v - 19. Let s be m(3). Let y = -43 + s. Does 24 divide y?
True
Let t = 242 + -204. Let l = t + 35. Does 2 divide l?
False
Let r be (-16)/(((-2)/(-20))/(75/(-50))). Is 16 a factor of r/(-32)*44/(-5)?
False
Is (-72338)/(-32*8/16) + (-2)/16 a multiple of 62?
False
Let x = -111 - -124. Suppose 421 = x*t - 203. Is t a multiple of 4?
True
Suppose -3*w - 5 = 10. Let d be w/3*6/(-5). Suppose -d*c + 808 = 3*m, 0*c = -m + 2*c + 256. Is m a multiple of 19?
True
Let q(c) = -6*c**3 - c**2 - 2*c - 3. Let j be q(-1). Suppose -8*l - 4*g + 5555 = -3*l, j*l + 3*g = 4443. Is 17 a factor of l?
False
Suppose 0 = j + 4*t + 96, 4*t + 348 = -2*j - 2*j. Let w = j - -83. Does 36 divide 4*w/2*(-117 + -1)?
False
Suppose 3*j - 54 = 6*j. Does 38 divide 4/j - (-3 - (-5926)/(-18))?
False
Suppose -330 - 195 = -5*f. Let w be 3/(-15)*188 + (-3)/(-5). Let t = w + f. Does 17 divide t?
True
Let d be (-81)/(-6) + 10/4. Let z(s) = -11*s + 39. Let j be z(4). Does 31 divide (j - d/(-4))/((-2)/268)?
False
Suppose 129*t - 43*t = 615330. Does 12 divide t?
False
Let h be (-6)/(-45) - (-896)/30. Suppose 3*d - h = -0*d - c, 50 = 5*d + 4*c. Let r = d - -6. Is r a multiple of 3?
False
Let d(q) = 2*q**2 + 4*q + 693. Is 10 a factor of d(-25)?
False
Let i = -1185 + 450. Let z = -430 - i. Does 40 divide z?
False
Suppose 0 = -3*w + 5*y + 19, -4*w = 4*y + y - 2. Suppose 0 = 5*i - 3*c - 530, 0*i - 3*c = w*i - 318. Does 8 divide i?
False
Suppose -5*z = -3*z - 2*f - 8, -3*z + 26 = 4*f. Suppose -3*w - 5*b = -560, -5*w - z*b + 916 = -2*b. Does 20 divide w?
True
Suppose 0 = -0*v - v - 3. Suppose -4*j - 20 = 2*x, -25*j + 28*j + 22 = 2*x. Is (-60)/(-4)*(v + (0 - j)) a multiple of 9?
True
Let g(h) = 6*h + 3 + 1 + 3 - 4. Let n be g(3). Suppose -25*x + n*x + 144 = 0. Is 3 a factor of x?
True
Let o = 2 - -69. Suppose 0 = -56*r + o*r - 5040. Does 48 divide r?
True
Let m(w) = 1242*w**2 - 68*w - 154. Is 106 a factor of m(-2)?
False
Is 31 a factor of 248*(70/(-945) + 2523/162)?
True
Let k = -2032 - -2047. Suppose 0 = -7*s + 2*s - 120. Let z = k - s. Does 4 divide z?
False
Suppose -36*j = 39*j - 76*j + 3633. Is 21 a factor of j?
True
Let z(x) be the third derivative of -97*x**4/4 - 4*x**3/3 - 6*x**2 + 9*x. Is z(-3) a multiple of 40?
False
Suppose -169*t + 1817802 = 20*t. Is 21 a factor of t?
True
Let s(m) be the first derivative of -17*m**2 - 25*m + 20. Is s(-10) a multiple of 21?
True
Let d be 0 + -5 + 3/3 + 3. Is 12 a factor of (d/(-2) - 0)*(2 + 170)?
False
Let c(i) = -i**3 + i**2 + 55*i + 10442. Is c(0) a multiple of 23?
True
Let b(y) = y**2 - 7*y - 3. Let t be b(8). Suppose -316 = -4*a + 37*g - 32*g, 2*a = -t*g + 158. Is 4 a factor of a?
False
Let a(u) = -560*u + 7865. Does 367 divide a(-22)?
True
Let z(v) = 10*v + 5*v + 139 - 2*v + 3*v - 28. Is 15 a factor of z(8)?
False
Sup