d = -4*u. Suppose u = 2*y + 2*y + 104. Does 7 divide 1/(y/14 + 2)?
True
Let k = 4022 + -3967. Is k a multiple of 5?
True
Suppose z + 12962 = 6*z - 2*s, -z + 5*s = -2597. Suppose -z = -12*p - 12*p. Is 27 a factor of p?
True
Suppose 9*u + 6 = -12. Is (6017/44)/(9/4 + u) a multiple of 29?
False
Let q = 183 + -131. Suppose q*o = 59*o - 6790. Does 44 divide o?
False
Suppose 17*r - 60 = 5*r. Let p = 49 + -60. Does 12 divide ((-3)/r)/(p/220)?
True
Let s = -1406 - -4413. Is 13 a factor of s?
False
Let c(n) = -969*n + 4065. Does 22 divide c(-5)?
True
Suppose -261*y = -138024 - 743450 - 1156675. Is y a multiple of 3?
True
Suppose -4*s = 16, 11*y - s = 9*y + 21186. Is 139 a factor of y?
False
Suppose 0 = -6*d - 29 - 61. Suppose -5*g + 2*g = -6. Does 2 divide d/g*7/(126/(-48))?
True
Let v = -4125 - -8725. Is 25 a factor of v?
True
Suppose 80*j - 74*j - 9875 = 2785. Is j a multiple of 171?
False
Let o(z) = 4*z + z**3 - 4*z**2 - 2*z**3 + 11 - 1. Let l be (-19 - -16) + 1*-2. Is o(l) a multiple of 9?
False
Suppose 55869 - 134047 = -59*z + 85193. Does 54 divide z?
False
Let a be ((-38)/(-6) + -7)/(2/(-12)). Suppose 6*z = -a*z + 1710. Is 9 a factor of z?
True
Let q(x) be the second derivative of x**4/12 + 13*x**3/6 - 26*x**2 - 28*x - 2. Is 12 a factor of q(6)?
False
Let g = -1887 - -5746. Does 17 divide g?
True
Let k be 51 - (10/(-4) + 1/(-2)). Let a = -48 + k. Does 24 divide ((-18)/(-8))/(a/384)?
True
Let n(r) = -r**3 + 9*r**2 + 14*r - 16. Let o be n(11). Let k = o - -317. Is 25 a factor of k?
False
Suppose c - 59 + 702 = 0. Let h = c - -1970. Does 17 divide h?
False
Suppose 36*f - 37*f = 5*p - 77878, 4*p - 62306 = -2*f. Does 35 divide p?
True
Suppose -14*a = -13*a - 63. Let l = a - 50. Let k(i) = i**2 - 14*i + 40. Is k(l) a multiple of 2?
False
Suppose l = 0, -5*p = 2*l - 326 - 249. Suppose 118*z = p*z + 1410. Is z a multiple of 18?
False
Suppose -4*o = -3*x + 982, -o - 26 = -28. Is 15 a factor of x?
True
Let c be (-15)/(-1 + 1032/1050). Suppose 643 + c = 3*i. Is 46 a factor of i?
True
Is (96/(-80))/((-5)/(-50)) - -37511 a multiple of 77?
True
Suppose -34*z + 518613 = -443315. Is z a multiple of 78?
False
Suppose -7*y = -17*y + 200. Suppose -y + 28 = 4*x. Does 2 divide x?
True
Let l(m) = -m**2 + 12*m - 12. Let n be l(12). Is 18 a factor of (-5 - n) + 1*254?
False
Suppose t = 0, -20*t = -2*a - 18*t + 40478. Suppose 6*c = -31*c + a. Is 18 a factor of c?
False
Suppose 0 = 41*h - 32*h + 3906. Let d = -179 - h. Is d a multiple of 15?
True
Let q(y) = 7*y**2 + 50*y - 144. Let o be q(-44). Suppose 8*c = -16*c + o. Is 32 a factor of c?
False
Suppose -66875 = -3*k + 5*r, 3*r = -114 + 111. Is 50 a factor of k?
False
Let p be (-513 + (-4 - -5))/(4/(-6)). Suppose 3*h - p = -4*j, 39 = -2*j + h + 413. Is 9 a factor of 0 - j/28*(1 + -9)?
True
Suppose -3*w + 13898 = 10*s + 680, 5*s - 6594 = w. Is 33 a factor of s?
True
Let m = 30957 + -15249. Is m a multiple of 11?
True
Let t = 545 + -543. Suppose -t*a = -2*d - 642, -2*a + 652 = -0*a + 3*d. Is 9 a factor of a?
False
Let j be (3 + 3)*9/(135/100). Suppose 4998 = -j*m + 47*m. Is m a multiple of 7?
True
Let o = 1720 + 1533. Is 97 a factor of o?
False
Let u = -200 - -23347. Is u a multiple of 25?
False
Suppose -10*j + 443 = -1047. Let x = j - 68. Is 6 a factor of x?
False
Let h = 21 - 22. Let u be -3*(h/3 - -1). Does 4 divide (-12)/24 - 103/u?
False
Suppose -4*r - 5*n - 7 = 6, -4*r = -5*n - 37. Suppose 55 = -r*l + 1399. Suppose 7*f + f - l = 0. Is 28 a factor of f?
True
Let y(k) = -2. Let s(l) = -29*l + 66. Let f(h) = s(h) - y(h). Is 35 a factor of f(-14)?
False
Let s(o) = 48*o**2 - 149*o - 2. Does 5 divide s(9)?
True
Suppose -3*q - 102151 = -13*q + 55399. Does 50 divide q?
False
Let f = 289 - 178. Let a = -15 + f. Does 32 divide a?
True
Suppose -55820 = -19*v + 15*v. Suppose -v = -22*d + 1731. Is d a multiple of 49?
False
Suppose 5*a + 2*q + 9 + 6 = 0, 3*q = -2*a - 17. Does 4 divide -5 - -130*a/(-2)?
True
Let b(g) = 11*g - 7. Let y be ((-84)/49)/(4/(-14)). Suppose 16 = 2*r + y. Is b(r) a multiple of 11?
False
Suppose -4*d - 3*v - 2205 = -7*d, -3*d - 5*v = -2213. Let o = 439 + d. Does 25 divide o?
True
Let q = 47 + 6. Suppose q = 16*i - 59. Suppose -21*u = -i*u - 840. Is u a multiple of 24?
False
Suppose -78*c + 276760 = 77*c + 15*c. Is 9 a factor of c?
False
Let t(x) = -x**2 + 6*x + 12. Suppose -2*j - g + 22 = 6, -j - g = -7. Let y be t(j). Let s = -9 - y. Does 5 divide s?
False
Suppose 253*p - 255*p = 0, 0 = 3*t + p - 11130. Is 10 a factor of t?
True
Let s = 57 - 141. Let c = 153 + s. Does 11 divide 4/8*-4*c/(-2)?
False
Let b(q) = 12*q**2 - 687*q + 21. Does 56 divide b(63)?
True
Suppose 5*x - 2*x + 2*d = 730, 4*x = -3*d + 972. Let y = x - 214. Is y a multiple of 3?
False
Suppose 17*p - 9113 = 16*p - 2*c, 6*p = c + 54769. Is 11 a factor of p?
False
Suppose 2*s - 8*s = 2*s - 4608. Is s a multiple of 64?
True
Let z = 40 + 207. Suppose -47 + z = y. Does 20 divide y?
True
Is 18 a factor of 16/28 + 2/((-56)/(-26164))?
False
Let k = 4 + 50. Suppose -2*b + k = 4*b. Let w(n) = -n**3 + 8*n**2 + 14*n - 18. Does 27 divide w(b)?
True
Suppose 33*f - 297548 = -259*f. Does 15 divide f?
False
Let c(l) = 8*l - 131. Let v be c(17). Suppose 1692 = -v*m + g + 4609, g - 2330 = -4*m. Does 51 divide m?
False
Does 13 divide (-25 - 1576/(-4))*(-56)/(-6)?
False
Let v = -40 - -102. Let p = v + 360. Is p a multiple of 31?
False
Let f(t) = -t**3 + 11*t**2 - 22*t + 2. Let j be f(4). Suppose -2*k + 2*o = -28, 6*k = 3*k - 5*o + j. Suppose -2*v - 1000 = -k*v. Is 10 a factor of v?
True
Let a = 1138 - -132. Is 5 a factor of a?
True
Suppose 1144 = -134*l + 145*l. Suppose l = -25*z + 979. Is z a multiple of 2?
False
Let p(a) = a**2 - 5*a - 2. Suppose 5*q - 6*k = -k + 15, 3*q - 4*k - 7 = 0. Suppose 0 = 5*u + 20 - q. Is p(u) a multiple of 11?
True
Suppose 0 = 7*q - 10*q - 180. Let y = q + 45. Let v = 73 - y. Does 22 divide v?
True
Suppose 0 = 187*c + 19*c - 80720 - 618032. Is 53 a factor of c?
True
Let r(i) = 3*i**2 - 43*i + 3. Let d(o) = 2*o**2 - 29*o + 2. Let k(p) = 7*d(p) - 5*r(p). Let g be (4 - -4 - -1) + 0. Does 13 divide k(g)?
True
Suppose -142*a + 146*a = -860. Let o = a + 248. Is o a multiple of 3?
True
Suppose -8 = 4*g, 3*m - 5*g + 10*g = 16562. Suppose -5*u = -m - 961. Is 10 a factor of u?
False
Let x be 4 + 0 + 4/4 + 2. Suppose -2*u + 2403 = x*u. Suppose -2*v + 89 = r, -2*v + 6*v = -3*r + u. Does 11 divide r?
False
Suppose 6*s - 73258 = -4*k + 81766, 0 = -2*s - 2*k + 51676. Is s a multiple of 16?
False
Suppose -5*s = 6*s + 3*s. Suppose s = -o + 3*n + n + 155, 0 = 5*n + 15. Is o a multiple of 9?
False
Suppose -14*r + 12*r + 8 = 0. Suppose r*i = 5*i - 8. Suppose -13*c = -i*c - 450. Is 30 a factor of c?
True
Is 2 a factor of 2 + 36945/21 - 1/(42/12)?
False
Let y(z) = -8*z**2 + 10 - 9*z + 6*z + 2*z**3 - 3*z**3. Let l be y(-7). Is 16 a factor of (3/18 - 6027/l) + 1?
True
Does 21 divide (33/2)/((-964479)/25382 + 38)?
True
Let j(t) = 344*t - 62. Let q be j(3). Suppose -4*z - o = -2*z - q, -2436 = -5*z + 3*o. Is z a multiple of 27?
True
Let o be (1/(-2))/((-7)/252*3). Suppose 4*g + 256 = -5*d + o*d, g = -3*d + 716. Does 10 divide d?
True
Let q be (-12)/(-18) - 1/(-3). Is 70 a factor of 199*q + 30/6?
False
Let l(b) = -5*b + 179. Let w be (-18)/54 - ((-28)/3 + 2). Is 16 a factor of l(w)?
True
Suppose -168*j + 169*j = 5. Suppose j*c = -h + 50, -3*c + 37 + 21 = h. Does 14 divide h?
True
Let s be (5*(-7)/2)/(5/(-40)). Let f = s + -129. Does 3 divide f?
False
Let u = 617 - 617. Suppose 3777 = 5*f + 3*i, -4*f + 8*f + 2*i - 3022 = u. Does 54 divide f?
True
Let q be (-204)/36 + (-5)/(-3) + -1. Let k(t) = -5*t**3 + 3*t**2 + 20*t - 6. Is 33 a factor of k(q)?
True
Suppose -3*r + r - r = 0. Suppose r*f - 19*f = -2128. Is f a multiple of 16?
True
Let u = -29 - -45. Let y be 600/u*(-8)/(-10). Does 5 divide y/(-1)*52/(-65)?
False
Let l = 127 + -121. Suppose -588 = -13*s + l*s. Is s a multiple of 12?
True
Suppose 17*s - 389697 = 245613 - 29685. Is s a multiple of 15?
True
Suppose 21 = 2*r + 17. Let j be 3 - (r - 6)/(-4). Suppose -2*t + 264 + j = 0. Is 19 a factor of t?
True
Let d = -4467 - -4974. Is d a multiple of 2?
False
Let f(k) = -2*k**2 + 330*k - 5542. Is f(142) a multiple of 18?
True
Let x(v) be the third derivative of v**5/6 + v**4/6 - v**3/6 - 117*v**2. Is 10 a factor