 2*r. Is r a multiple of 8?
True
Let u = -17143 - -20263. Is 12 a factor of u?
True
Suppose 3*n + 23031 = 2*t, 5*t - 53*n = -55*n + 57606. Is 12 a factor of t?
True
Let s = 183 + -183. Suppose -41*x + 38*x + 1341 = s. Is x a multiple of 4?
False
Suppose -5*q - 40 = -0*q. Let g(k) = -k**2 - 2. Let j be g(q). Is 24 a factor of j/99 - (-1 - (-119)/(-3))?
False
Is 22 a factor of 10/165 + (-538688)/(-66)?
True
Let t be (2/5)/(-1)*-5. Suppose 70*m - 251*m = 425*m. Is 37 a factor of m/t + 142 + 6?
True
Let z = -6581 + 13119. Suppose -z - 1302 = -14*c. Does 14 divide c?
True
Suppose -3*u + 18 = 0, 2*u + 50641 + 10607 = 4*w. Is 29 a factor of w?
False
Let w(p) = 6*p + 6. Let s be w(-1). Let c be (s + -6)/((-9)/(-18)). Does 19 divide -2 + (-33)/(-18) + (-914)/c?
True
Let c(f) = 98*f - 9. Suppose 2*k + 3 - 7 = 0. Suppose 3*u = -k*u + 10. Is c(u) a multiple of 17?
True
Is (-19052)/6*-2*(-27)/(-36) a multiple of 13?
False
Suppose 26*g - 4*g + 5*g = 54891. Does 19 divide g?
True
Let x be 1658 - (0 + -1 + 5). Suppose -j + x = -u, -j + u - 3293 = -3*j. Does 65 divide j?
False
Let g = 5104 + -3570. Suppose -4*k = 2*a - g, -a = -4*k + 293 + 1232. Is k a multiple of 13?
False
Suppose -a = 4*l - 14849, l + 74266 = 9*a - 4*a. Does 35 divide a?
False
Let g(a) be the second derivative of 8*a + 1/2*a**3 - 11/2*a**2 - 1/20*a**5 - 1/4*a**4 + 0. Does 9 divide g(-5)?
False
Let m be -3 - (1 - (0 + 12)). Is 32 a factor of (36/45 + m)*(-1 + 56)?
False
Suppose 9*b + 51 = 15. Is 6 a factor of (-3766)/(-21) + b/(-6)?
True
Let w(x) = 7*x**2 - 33*x - 655. Is w(-13) a multiple of 30?
False
Let r = -20586 - -39046. Is r a multiple of 191?
False
Let q be (24/(-9))/((-2)/3). Suppose 931 = 5*u + q*v - 145, -3*u - 5*v = -643. Suppose 2*h = b - 188, -b = 5*h - 0*h - u. Is b a multiple of 14?
True
Let t(i) = -2*i + 49. Let j be ((-14)/(-4))/(11/(-22)). Is t(j) a multiple of 10?
False
Let a be (1 + -1)*3*(-9)/(-81). Suppose 9*s + h - 3865 = 4*s, a = 3*s - 2*h - 2319. Is s a multiple of 12?
False
Let u = 1679 + -1054. Suppose -u - 3135 = -2*w. Suppose -16*j + 6*j + w = 0. Is j a multiple of 47?
True
Does 2 divide 315327/534*(2/(-1))/(-1)?
False
Suppose 0 = 19*c - 24260 + 1802. Does 3 divide c?
True
Let z = 12982 + -7662. Is z a multiple of 4?
True
Let i = 40807 + -31312. Does 4 divide i?
False
Is 64 a factor of 4 + 0/7 + 7773 + -33?
True
Suppose -3*x + 3*k + k = 11, -2*x = -3*k + 9. Let q be 47/15 + ((-4980)/225 - -22). Suppose 3*b + x*u - 15 = 2*b, -q*b = 5*u - 29. Is 3 a factor of b?
True
Let x = 4135 + -2054. Suppose 3*b - x = 376. Suppose -9*k = -6*k - b. Does 18 divide k?
False
Suppose -2*t + 11 = 3*d + 4, 5*d = t + 16. Suppose d*i + 4*b - 1127 = 0, -5*i + 0*b = -b - 1886. Does 13 divide i?
True
Let f(x) = -104*x**3 + 2*x**2 - x - 1. Let d be f(1). Let z = d - -410. Does 17 divide z?
True
Suppose 2*t - 161*p = -156*p + 1635, -3*t - 3*p = -2505. Is t a multiple of 10?
True
Let r = 212 + -126. Let i = r + -46. Is 5 a factor of i?
True
Let m be -3*(-32)/(-60)*50/(-20). Suppose 15*q - 14*q = m*z - 629, 2*z - 297 = -3*q. Is 50 a factor of z?
False
Let c(j) = j**2 - 655*j + 270. Does 239 divide c(-48)?
False
Let g = -4477 + 5971. Is g a multiple of 18?
True
Let x(m) = m**2 - 3*m + 27. Suppose 3*d - 17 = -2*i + 6*i, -5*i = 25. Let g be d/((-2)/4*6/15). Is 9 a factor of x(g)?
False
Let n = 54547 - 31930. Does 34 divide n?
False
Let p = 97 - 86. Suppose -4*r - 4*f = -212, -p*f - 48 = -r - 7*f. Does 13 divide r?
True
Let d = 623 - 805. Let z = 272 + d. Is z a multiple of 30?
True
Suppose 211 = -53*m + 12*m - 117. Suppose -5*y + 3*t = 224, -6*y + y = 2*t + 234. Let i = m - y. Is 14 a factor of i?
False
Let m(f) = 7*f**2 - 13*f - 100. Let x be m(-19). Suppose -105 = -4*r + n + x, 0 = -3*r + 2*n + 2078. Does 29 divide r?
True
Let n(o) = 443*o**2 - 9*o + 9. Is 27 a factor of n(3)?
True
Suppose 10*a + 15 = 15. Is 25 a factor of ((-50)/(-8))/(a - (-5)/100)?
True
Let a(z) = 9*z - 1. Let h be a(5). Let p = h + -41. Suppose -4*n = -3*v + 194, 4*v - 158 = -p*n + 134. Is v a multiple of 11?
False
Suppose -4*r = 0, p - r = -4*p + 120. Let o = 29 - p. Suppose 0*k = o*k - 3*t - 723, 5*k + 2*t - 718 = 0. Does 24 divide k?
True
Suppose 28*y = -83*y - 188*y + 2431169. Does 4 divide y?
False
Let k = 125 - 227. Let a = 255 - k. Is a a multiple of 21?
True
Suppose 0 = -5*w - 3*a + 251232, 27*w - 25*w = 2*a + 100496. Does 17 divide w?
False
Suppose -j - 3*f + 6557 = 0, 92*f + 26241 = 4*j + 91*f. Does 82 divide j?
True
Let n(g) = -2*g**2 + 11*g + 11. Let q be (8/(-10))/(22/(-165)). Let f be n(q). Suppose 16 = k + 3*i, -i = -f*i + 16. Is k even?
True
Let g(r) = -r**2 + 8*r + 86. Let x be g(-6). Let z be 20/9 + (-10)/45. Suppose -3*f + 473 = -f - 3*u, 0 = -x*u + z. Is f a multiple of 14?
True
Let f = 155 + -71. Suppose -77*z - 588 = -f*z. Does 14 divide z?
True
Let w(z) = z**3 + 33*z**2 - 25*z + 109. Does 40 divide w(-25)?
False
Let a(j) = -20*j - 7. Let w = 54 + -59. Let v be w + (-7)/7*(1 - 2). Is 17 a factor of a(v)?
False
Let t(c) = 3*c**2 - 25*c + 51. Is 4 a factor of t(8)?
False
Let s(u) = -486*u + 49. Let m be s(3). Let t = -872 - m. Is 12 a factor of t?
False
Let v(y) = -2*y**3 + 30*y**2 + 32*y + 8. Let p be v(16). Suppose -3*o + n + 3482 = 0, 5*o + p*n - 5794 = 5*n. Does 20 divide o?
True
Suppose 0 = 143*o - 153*o + 48790. Does 50 divide o?
False
Let x = -489 - -389. Does 19 divide (x/35)/10 - 6519/(-7)?
True
Let c(d) = d**2 - d - 2. Let w be c(6). Suppose -73*i + 66*i = -w. Is 2 a factor of i?
True
Suppose 0 = 4*k + 17 + 19. Let c = k + 11. Suppose -n + 56 = -0*n + c*u, -n - u = -61. Is 11 a factor of n?
True
Suppose -r - 17540 = -2*u, -4*u - 13834 + 48916 = -r. Is u a multiple of 123?
False
Let d(c) = 207*c**2 - 113*c - 1144. Is d(-9) a multiple of 26?
True
Suppose 3*x = -5*x - 35*x + 80281. Is x a multiple of 9?
False
Suppose -5*q - 33 + 23 = 0. Let b = q + -16. Is (-476)/(-36) + 4/b a multiple of 13?
True
Suppose -3*o - 7 = a, o + 1 = a - 0. Let j be o/(-7) + (-132)/(-28). Suppose -5*i - 3*t = -797, 8*i + 3*t = j*i + 477. Is 16 a factor of i?
True
Suppose 0 = 2*x - 6, b = -5*x + 6*x + 3650. Is 3 a factor of b?
False
Let t(x) = 27*x + 4. Let a be t(-4). Let c be (-1932)/15 - ((-2)/(-20) - 25/(-250)). Let q = a - c. Does 12 divide q?
False
Let r = 587 + -480. Let g = r + 250. Is g a multiple of 6?
False
Let x = 23263 + -11552. Is x a multiple of 7?
True
Does 6 divide (-54 - (-237718)/41) + (-1 + 1 - 2)?
True
Suppose 0 = -10*a - 525 - 555. Is 52 a factor of (3699/a)/((-1)/8)?
False
Let t(f) = -9*f**2 - 2127*f - f**3 - 15 + 2123*f - 3*f**2. Let c be (12/10)/(1/(-10)). Is t(c) a multiple of 6?
False
Let u = 67 - 58. Suppose u*w - 1388 - 1816 = 0. Is w a multiple of 39?
False
Let j = 39 - 37. Suppose -3*c + j*o = 5*o + 81, 5*c - 4*o = -135. Let l = 66 + c. Is l a multiple of 10?
False
Suppose -94*o + 4396800 = 26*o. Does 16 divide o?
True
Let a = -353 + 353. Let y(l) = 2*l - 23 - l**2 + l**3 + 91 - 38 + 90. Does 15 divide y(a)?
True
Let y = 625 + -313. Does 5 divide ((y/5)/3)/(22/275)?
True
Let p(w) = -5*w**2 - 20*w + 6. Let s be p(8). Does 7 divide s/(-18) - 2/6?
False
Let n be (-10 - -42)*(3 + -1 + 0). Let c be (-6)/(-2)*(n + 1). Suppose c = 5*g - 0*g. Does 3 divide g?
True
Let x(l) = -6*l - 7. Let a be x(10). Let f = 66 + a. Does 24 divide f + (-195)/(-1) + -2?
True
Suppose -19*g + 534 + 14250 = -154316. Is 20 a factor of g?
True
Is 43 a factor of ((-6)/10)/(957/(-14434750))?
False
Let v be (-38)/(-8) + (2/8)/1. Suppose -5 = a, 3*u - 5*u - 2*a = -36. Suppose -27 = -v*d + u. Is d a multiple of 8?
False
Suppose -331 + 259 = -3*d. Is (-2 - d/(-10))*1650/3 a multiple of 4?
True
Suppose -92*u + 117 = -89*u. Does 5 divide ((-106)/(-10))/(u/975)?
True
Let q be (-3)/(-9) + 24*9/81. Suppose n = -3*o + 901, -3*n + 993 = -q*o - 1746. Does 91 divide n?
True
Let s(z) = 29*z - 6. Let b be s(9). Let v be (3 - b)/4 + -3. Let q = v - -237. Is q a multiple of 46?
False
Suppose -1362*k = -4*v - 1363*k + 76951, -3*v + 3*k + 57732 = 0. Does 53 divide v?
True
Let k = 562 + 701. Let u = k - 651. Does 51 divide u?
True
Let s = -28825 - -52655. Does 34 divide s?
False
Suppose -55*f - 53085 = 65*f - 297765. Is f a multiple of 2?
False
Suppose w - 4*w = -93. Suppose 503 = 32*y - w*y. Is 10 a factor of y?
False
Let a be ((-28)/16