/2 + 32*t - 40. Is b(d) a multiple of 9?
True
Suppose -3*j - 17566 = 21089. Let i be j/(-20) - 3/48*4. Suppose i = -9*w + 2174. Is 34 a factor of w?
True
Suppose -8*g + 1080 = -2*g. Let y be (-24)/g - 1483/15. Let p = y - -113. Is 6 a factor of p?
False
Let p be (-8 - -500) + -2 + 0 + 2. Let d = -340 + p. Is 19 a factor of d?
True
Let j = 11857 + 898. Is j a multiple of 28?
False
Suppose -31*d - 80560 = -71*d. Does 131 divide d?
False
Let d be (-1)/(-3) + 296/(-24). Does 18 divide (-2228)/d*3 + -6?
False
Does 22 divide -5 + (-141605)/(-4) - (-6 + (-85)/(-20))?
True
Suppose 0 = -2*u - 5*k + 2719, 10*u - 3*k - 2743 = 8*u. Suppose -u = -4*z + o, z + 3*o - 191 = 141. Is 31 a factor of z?
True
Suppose 19*t = 18*t + 18. Suppose p + 3978 = t*p. Is 39 a factor of p?
True
Suppose 0 = -11*c + 8*c + 6210. Does 18 divide c?
True
Let w(i) = 2*i + 21. Let v be w(-9). Is 9 a factor of -4*v*(-24 + 8 + -5)?
True
Suppose 5*f + k - 13 = 27, -k + 24 = 3*f. Let r be (0 - 6/f)/((-31)/372). Suppose s = r*s - 192. Is s a multiple of 13?
False
Suppose -k - l = -4*k + 969, -3*k = 2*l - 960. Let h = 248 + k. Is h a multiple of 10?
True
Suppose 7*k = -25*k + 32. Is 31 a factor of k + -2*(-3 - (-2196)/(-8))?
False
Let z(f) = -9*f - 138. Let n be z(-17). Suppose 2*o + 18*p - 111 = n*p, 0 = -3*o + p + 194. Does 21 divide o?
True
Let q(a) = -1924*a + 15173. Is 21 a factor of q(-25)?
True
Suppose -37*t + 29*t + 40 = 0. Suppose 25 = t*z - 0, 5*n - 570 = -3*z. Does 3 divide n?
True
Let s(c) be the second derivative of -c**5/20 - c**4/4 - 5*c**3/6 - 7*c**2/2 - 20*c + 1. Let y(l) = -2*l + 6. Let h be y(5). Is s(h) a multiple of 9?
False
Let r(j) = 5*j**2 + 15*j - 37. Suppose 124 = -10*w + 14. Is 31 a factor of r(w)?
True
Suppose 4*k - 34 = -3*s, 3*s - s = -5*k + 39. Let p(o) = 15*o - 33. Is 8 a factor of p(k)?
True
Let y be 3/(-2)*(-44)/33. Suppose -y*n + 51 = -3*u, -3*n - u - 14 = -74. Suppose -5*o + 144 = 4*t + n, 21 = o + 2*t. Does 27 divide o?
True
Suppose -o - h + 35 = 0, 2*o - h + 99 = 5*o. Suppose 3*q = 8*q - 215. Let z = q + o. Is z a multiple of 25?
True
Let k = 187 - 183. Suppose 4*x = -k*x + 2424. Does 13 divide x?
False
Suppose 23 = r - 1. Suppose -j - 1067 = -4*h - r, -1034 = -4*h - 2*j. Let s = -150 + h. Is 23 a factor of s?
False
Suppose 436051 = 11*o + 125741. Is o a multiple of 14?
True
Let g(f) = 39*f + 78. Let l be g(55). Suppose -l = -2*o - 489. Does 13 divide o?
False
Suppose 0 = -l - 2 + 3. Let r(q) = 2*q**2 + 17*q - 20. Let g(j) = j**2 - j - 1. Let x(u) = l*r(u) - 3*g(u). Is 12 a factor of x(18)?
False
Let j(q) = 3*q + 32. Let p be j(0). Let t = -93 + p. Let f = -58 - t. Does 3 divide f?
True
Is 10 a factor of (-1785)/(-14)*188/10?
False
Let d be (-6 - 30/(-5))/(-2). Suppose -17*y + 2828 + 28 = d. Is y a multiple of 21?
True
Let v(l) = -7*l + 336. Let w be v(37). Suppose -w*p + 20979 + 14980 = 0. Is p a multiple of 83?
False
Let i be (-3)/((-42)/4) + 9675/21. Suppose -i = -y + 5*r, -6*r + 489 = y - 4*r. Does 32 divide y?
False
Suppose 2*y - 5 = -u + 1, -2*y = -3*u - 6. Suppose o + 0*o = -4, u = b + o - 136. Is 70 a factor of b?
True
Let n be 30/25 + (-6208)/40. Is 39 a factor of ((-88)/n + (-134)/14)*-65?
True
Let f(n) = -n**3 + n**2 + 10. Let j be f(-5). Let r = j + -32. Suppose -5*y + r = 3. Is 18 a factor of y?
False
Let f = 341 + -593. Let z = f + 349. Is 15 a factor of z?
False
Let z(h) = 2979*h**2 - 2980*h**2 + h - 1 + 4*h + 7*h**3. Does 17 divide z(4)?
False
Let u be 1/1 - (-284)/2. Let i = 3189 - 3151. Let b = u - i. Does 35 divide b?
True
Suppose -2*g - 12 = 2*g. Let b be (-7 + 0)/(g/6). Is 5 a factor of (2/1 + -9)*(b + -15)?
False
Let z be (-4)/14*(4 + -11). Suppose 0 = 3*a - z*y - 6, 2*y = -a - a - 6. Suppose -2*v - 10 = -a*v, -3*m + 181 = -5*v. Does 9 divide m?
False
Let p(i) = -i**3 + 44*i**2 + 10*i + 26. Let l be p(43). Suppose -426*g = -421*g - l. Is g a multiple of 82?
False
Let s(u) = 11*u**3 - u**2 - 5*u + 6. Let q be s(1). Suppose -q*i + 12160 = 1160. Is 69 a factor of i?
False
Suppose 53 - 131 = -13*f. Let y be 4*(3/(-2) - 0). Is 12 a factor of (-4)/y*(-234)/(-12)*f?
False
Let m be 9/(1080/16) + 1646/30. Suppose m*u = 21*u + 8772. Is u a multiple of 24?
False
Suppose -15*m - 2*m = -31314. Suppose -28*w = m - 7890. Does 24 divide w?
True
Let r(z) = z**2 + 30*z + 20. Let l be (-91)/3 - -1 - (-90)/270. Let w be r(l). Let b = 111 + w. Is b a multiple of 7?
False
Suppose -3 = i - 0. Suppose -5 = a + p, -4*a + 2*p + 13 = 27. Is (a/(-3))/(i + 19/6) even?
True
Suppose -2*v + 2*a = -1393 - 11193, 6296 = v - 4*a. Is 26 a factor of v?
True
Suppose -3*h + 187 = c, -h = 2*c - 103 - 256. Is c a multiple of 2?
True
Let z be (-3)/(1001/110 - 9). Let m(n) = 69 - 13 + 29*n + n**2 + 0*n**2. Does 29 divide m(z)?
False
Let q = 7360 - -2752. Does 128 divide q?
True
Suppose 0 = 41*q - 59*q + 3024. Does 28 divide (q/10)/(4/320)?
True
Is 16 a factor of (-12)/9*(-1055457)/78?
False
Let r be -5 - ((1 - 234 - -1) + 3). Suppose -r - 4004 = -7*l. Is l a multiple of 15?
False
Let h(g) = 429*g + 830. Is h(26) a multiple of 56?
True
Let h(c) = -c**3 - 14*c**2 + 30*c - 30. Let p be h(-16). Let s be (-13 - -3)*4/(-10). Suppose -s*y = 2*g - 5*g - 136, -4*y - p*g + 156 = 0. Does 8 divide y?
False
Suppose -5*r - 12 = -2*v - 4, -3*v + 12 = 5*r. Suppose -2*t = q - 564, -13*t - v*q = -8*t - 1416. Is t a multiple of 35?
True
Let o = -56 - -58. Suppose -3*i + 375 = o*i. Is 8 a factor of 3 - 0 - i/(-5)?
False
Suppose 361*y = 328*y + 13431. Is y a multiple of 11?
True
Suppose -139*v + 1036336 = -6*v. Is 16 a factor of v?
True
Suppose 71*q - 30*q - 20828 = 0. Is 4 a factor of q?
True
Suppose -32*g + 53*g = -168. Let z(o) be the first derivative of -o**4/4 - 8*o**3/3 - 5*o**2 - 3. Is z(g) a multiple of 16?
True
Let z = 11222 - 3918. Suppose -z - 7196 = -20*o. Does 79 divide o?
False
Let f = 8900 - 1061. Is 39 a factor of f?
True
Let y = 241 - 238. Suppose -y*t + 573 = -174. Is 6 a factor of t?
False
Let i be 3 - (11 + -5) - 1. Let y be i - 408/(3/(-1)). Suppose 4*o + 2*p = -3*p + 207, -4*p - y = -3*o. Does 12 divide o?
True
Let w(r) = 1188*r + 9. Is 33 a factor of w(8)?
False
Let t = 1728 - 986. Let s = t - 374. Does 92 divide s?
True
Let d be 130 + 2 + (12 - 9). Let f = d + -68. Does 48 divide f?
False
Suppose 0 = -w + 13*a - 11*a + 6194, 2*w - 12308 = -6*a. Does 57 divide w?
False
Let r be 39/(-1 - (-1)/(-2)). Let k be r/(-14) + (-1)/(-7). Suppose -7*o - k*o = -909. Is o a multiple of 5?
False
Suppose 0 = -4*h + 2*b + 9868, -2*b + 10061 + 2247 = 5*h. Does 106 divide h?
False
Does 6 divide ((-290984)/(-24))/((-1)/(-3))?
False
Suppose -3*u = 3*q + 2214, -4*u - 2210 = 3*q - 0*u. Let w = q - -1120. Does 14 divide w?
True
Let z = 5302 - 2798. Does 20 divide z?
False
Suppose 0 = -5*c + 5*q + 10, -2*c - q - 1 = -5. Let s(a) = 8*a + 1 + c*a**2 - 8 - 5*a. Is s(-7) a multiple of 24?
False
Does 7 divide 13/117*(3 + -5) + 2868/27?
False
Is (-1*(-490 - 2))/((-4548)/(-756) + -6) a multiple of 82?
True
Let j(m) be the third derivative of -m**4/24 + 5*m**3/3 + m**2. Let f be (6/(-7))/((-21)/98). Does 6 divide j(f)?
True
Suppose 5*u - 3 = 32. Let s be (-9)/(252/8) + 37/u. Suppose s*f - 100 - 115 = 0. Is f a multiple of 8?
False
Let q(k) be the third derivative of k**5/60 - 23*k**4/24 + 4*k**3 - 6*k**2 + k. Let m be q(22). Is 7 a factor of m*-7*15/(-10)?
True
Suppose -4730 - 943 = -3*j. Let f = j - 948. Does 23 divide f?
True
Suppose i - 827 = -4*n, -156 = -4*n + 3*i + 691. Is 8 a factor of n?
True
Let b be (-126)/(-12) + (10/(-4))/(-5). Let a = b - -7. Let j = a + 6. Does 17 divide j?
False
Let n(l) = 10*l - 33. Let f be n(-6). Let w = f - -96. Does 6 divide 33 - (5 - (w + 1))?
False
Let q = -50 - -74. Let b = 29 - q. Suppose 0 = -f + 2*g + 21, f + b*g - 13 = -6. Does 17 divide f?
True
Let r(x) = 401637 + 0*x - 401605 + x. Let t(w) = 2*w**2 + 6*w + 4. Let u be t(-4). Is r(u) a multiple of 34?
False
Let b(w) = -20*w**2 - 22*w - 17. Let a(c) = -21*c**2 - 24*c - 16. Let y(k) = 5*a(k) - 6*b(k). Does 11 divide y(-4)?
False
Let v(f) = -10*f + 90*f - 3 + 5*f + 1. Is 64 a factor of v(10)?
False
Suppose -6*f + f = -30615. Let x be (-12)/15 + f/(-65). Let q = -65 - x. Does 3 divide q?
True
Let v be -6 - 5/1*-1. Is 4 a factor of ((-4)/(-10))/(v/(-740))?
True
Let h(v) = -2*v**2 - 207*v**3 + 0 + 203*v**3 -