 divide s?
False
Let y be -1 + 6 - 24/(-6). Is (4 - 1)/(y/6)*182 a multiple of 26?
True
Let s(b) = 10*b - 69. Let i be s(-29). Let t = 576 + i. Is 8 a factor of t?
False
Let i(f) = -70*f**3 + 12*f**2 + 30*f - 6. Let p be i(-4). Suppose 0 = 10*t - p - 1614. Is 8 a factor of t?
True
Is 54 a factor of ((-1350)/9)/(1/(-54))?
True
Let p(m) be the first derivative of 48*m**3 + 2*m**2 - 3*m - 13. Let f be p(2). Does 26 divide 18/(-90) - f/(-5)?
False
Let d = 7285 + -4131. Does 83 divide d?
True
Let k = 89 - 87. Suppose k*h = 3*h - 26. Is 8 a factor of h?
False
Is 191 a factor of (-2)/(-7) - ((-407355)/35 - (-15 - -27))?
True
Let v(i) = -i**3 + 40*i**2 + 48*i + 78. Let d(r) = r**3 - 20*r**2 + 2*r + 1. Let k be d(20). Is 73 a factor of v(k)?
True
Let t = -126 - -124. Does 17 divide (-255)/t + (135/6)/15?
False
Does 11 divide (630/25)/(26/65) + -8?
True
Let f = 73702 + -47473. Is f a multiple of 6?
False
Let d = -152 - -255. Suppose -486 = -109*y + d*y. Is 9 a factor of y?
True
Suppose -235*a + 2378844 = -28*a + 405*a. Does 23 divide a?
True
Suppose 2*f + 34 = f. Let d(a) = -a**3 - 30*a**2 - 191*a + 46. Let w be d(-21). Let m = f + w. Is 8 a factor of m?
False
Does 40 divide 96850/75 - (1 + (-11)/3)?
False
Suppose -3*r = -3*h - 3177, -302 - 3934 = -4*r - 5*h. Is 10 a factor of -1*(-1 + 3)*r/(-6)?
False
Let y be 16/6*12*(-5)/(-40). Suppose -5*w = m - 0*m - 245, -4*w = -y. Is 44 a factor of m?
False
Let x = 87 + -79. Is x/14 - 2*(-39489)/42 a multiple of 19?
True
Let f be 30/6*(-1)/((-1)/1). Suppose -5*s + 1095 = -k + 111, f*k = s - 216. Does 7 divide s?
True
Suppose 0 = -10*w + 5*u + 79950, -u + 2*u + 31986 = 4*w. Is w a multiple of 43?
True
Suppose o + 13*o + 5445 = 15*o. Is 51 a factor of o?
False
Let o(l) = l**3 + 14*l**2 - 22*l + 12. Let a be o(-10). Let s = -532 + a. Is s a multiple of 10?
True
Is (-8*268)/(-5*44/330) a multiple of 24?
True
Let x = 6 + -2. Suppose -5*w + x*w - 5 = 0. Let g(o) = -43*o - 17. Is g(w) a multiple of 11?
True
Let x = -11206 - -17747. Suppose 13*a + 18*a - x = 0. Is 22 a factor of a?
False
Let g(v) = 20*v + 215. Let z be g(-19). Let y = -76 - z. Is y a multiple of 18?
False
Suppose -2*r - 1 = c, c + 3 = -4*r - 2. Let s be -30 + 30 - -3*c. Suppose -s*k = -0*k - 144. Does 8 divide k?
True
Let p(f) = 5*f**2 + 12*f - 34. Let g(k) = -4*k**2 - 12*k + 34. Let u(v) = -6*g(v) - 5*p(v). Let x be u(4). Is 30 a factor of 109/(x/(-16)*4)?
False
Let o(l) = 76*l**2 - 2*l - 2. Let p be o(-1). Suppose 0 = -4*a + 5*q - p, 0*q + 24 = -2*a - q. Let z = 40 + a. Does 13 divide z?
True
Let y be ((-9)/3 + -25)/(-2). Suppose -18*l = -792 - 342. Is (-1051)/(-9) + y/l a multiple of 15?
False
Let q(o) = -6*o**2 - 3*o + 7. Let x be q(3). Let k = 2 + x. Let l = k - -114. Is l a multiple of 12?
True
Let r(l) = 16*l**2 - l - 2. Let p be r(-2). Suppose 2*t + 26 + p = 0. Let z = -2 - t. Is 43 a factor of z?
True
Let l(g) = -3*g**2 - g + 2. Let j be l(0). Suppose j*i - 1174 = 5*m - 166, -1531 = -3*i - 2*m. Is i a multiple of 23?
False
Let m(n) = n**2 + 8*n + 12. Let i be m(-7). Suppose -i*l = 2*j - 2076, -15*l + 10*l + j = -2082. Is 32 a factor of l?
True
Suppose -l + k = -7 + 2, 5*l = k + 13. Suppose 2*r + 5*y + 3757 = 5*r, -3*y + 2473 = l*r. Is r a multiple of 33?
False
Let g(h) = -55*h - 29. Suppose 2*l = 5*u - 13 + 1, l - 5 = -3*u. Is 13 a factor of g(l)?
True
Let b(w) = w**3 - 5*w**2 + 9*w - 3. Let x be b(8). Let n = x + -166. Let s = n + -31. Is 64 a factor of s?
True
Let h = -177 + 1097. Let n = -808 + h. Is n a multiple of 28?
True
Let h(r) = 11*r + 170. Let j be h(0). Let o = j + 215. Is 77 a factor of o?
True
Let m = 5074 + 18950. Is 104 a factor of m?
True
Let q be (1/(-3) - -1)/(144/(-65880)). Let i = q + 383. Is i a multiple of 6?
True
Let w be ((-3)/(-6))/((-1)/(-108)*6). Suppose -w*s = 167 - 3101. Does 6 divide s?
False
Let n(a) = -539*a - 10. Let y(v) = 180*v + 3. Let z(c) = -2*n(c) - 7*y(c). Let w be z(-1). Suppose k = w - 13. Does 42 divide k?
True
Suppose -31*r + 33*r - 20 = 0. Suppose 5184 = r*l + 8*l. Is 16 a factor of l?
True
Suppose -51 = -4*t + 3*s, -2*s - 77 + 75 = 0. Does 29 divide -6*11/(-66)*t*93?
False
Let h be 4212 - -1 - (9 + -8). Suppose -30*u + h = -24*u. Is u a multiple of 54?
True
Suppose 7*g = -5*x + 2*g, 5*x - 21 = 2*g. Suppose 4*d + 2*w + 398 - 976 = 0, 0 = -x*d + 4*w + 406. Is 16 a factor of d?
False
Let r(a) = 331*a + 126. Does 12 divide r(6)?
True
Let i = 31451 + -4433. Is i a multiple of 180?
False
Let g(m) = 163*m + 45. Let j = 136 + -134. Is 23 a factor of g(j)?
False
Let i(l) = -2*l**2 - 21*l + 10. Let z be i(-10). Suppose 0 = -z*m - 17*m + 69153. Is m a multiple of 21?
True
Suppose 0 = 3*i - 15, 4*o - o - 38 = 2*i. Let a = 17 - o. Let g(j) = 107*j**3 + 2*j**2 - j. Is g(a) a multiple of 27?
True
Let c(d) = -d + 1. Let l(b) = 3*b + 1 - 4 - 3 - 4. Let s(z) = 2*c(z) - l(z). Is s(-9) a multiple of 10?
False
Let d be (-1 + (-1 - -2))/(138/69). Does 15 divide 60*(45/18 + d)?
True
Let a be 2*-1*(-27)/(-18) + 2. Let v be 0/a - (16 + -18). Suppose -4*j + 90 = -v*j. Is 15 a factor of j?
True
Let v = 2353 + -1554. Let f = v + -405. Is f a multiple of 11?
False
Suppose -2*a + 243 = p - 6*a, -2*p + 3*a + 491 = 0. Let k = 273 - p. Does 26 divide k?
True
Suppose 4*p + 4 = -b - 0*b, 2*p = -b + 4. Suppose 0 = -25*v + 29*v - b. Is 24 a factor of (-1 - (-142 + v)) + 0?
False
Suppose -75*o + 70*o = -2710. Suppose 3*n - 5*n + 3*b + 1089 = 0, 4*b + o = n. Does 42 divide n?
True
Suppose 5*c + 229 = 2*j + 4*c, 4*j = 3*c + 463. Suppose -j = -2*t + 560. Is 42 a factor of t?
True
Suppose 126 = -30*m + 44*m. Let t(i) = 24*i - 111. Is 28 a factor of t(m)?
False
Let o = 30 - 28. Suppose 3*t = o*b + b - 12, -17 = 5*t - 2*b. Is 3 a factor of -2 - 50/(-4) - t/2?
True
Suppose -4*o - 22 = -118. Let p be 18/(-9) + 5/((-5)/(-196)). Let f = p + o. Is f a multiple of 18?
False
Suppose 795 = 20*o - 825. Suppose -2*h - 3*r = -o, 0 = h + 2*r + 2*r - 28. Is h a multiple of 6?
True
Let d = -959 + 1406. Suppose 3*w = 3*c - d, -4*w - 454 = -3*c - 8*w. Is 9 a factor of c?
False
Suppose 118148 = 4*l + z, -64*z = l - 69*z - 29558. Is 15 a factor of l?
False
Let v be 21270/27 + 2 - (-2)/9. Suppose -7*w = 3*w - v. Let b = -28 + w. Is 4 a factor of b?
False
Suppose 7*z = 5*m + 19513, 9725 + 4214 = 5*z - 3*m. Is z a multiple of 13?
False
Let v(p) = p**3 + 12*p**2 + 9*p + 9. Let g be v(-11). Suppose -g*o - 18 = -29*o. Does 25 divide (-2 - 1) + 35 + (o - -3)?
False
Let r(s) be the third derivative of s**5/12 - s**4/3 + 19*s**3/6 + 92*s**2. Is 11 a factor of r(8)?
True
Let d(q) = 4*q**3 + 7*q**2 - 3*q - 6. Let z be d(4). Suppose z = -5*k + 945. Let v = k + -84. Is 13 a factor of v?
False
Suppose 1630 = -p - 4*p. Let v be p/(-5)*(-5)/(-2). Let s = v - 93. Is 35 a factor of s?
True
Let v = -86948 + 133582. Does 326 divide v?
False
Let r be (0 - 2)*(6 + 17/(-2)). Suppose 5*w + k = 4*k + 849, -5*w - r*k + 865 = 0. Does 19 divide w?
True
Let j(v) = -v**3 + 2*v**2 + 5*v - 1. Let r be j(4). Let s = -2 - -102. Let f = s + r. Is f a multiple of 29?
True
Let k(m) = m**2 + 17*m - 17. Let h be k(-18). Let r(t) = t**2 - 2*t + 1. Let n be r(h). Is 3 a factor of (n - 0) + 4 - -29?
True
Suppose -131 = -2*a - 271. Is 4 a factor of (360/(-140))/(3/a)?
True
Does 6 divide 6/(-22) + (-12)/(-440)*386330?
True
Let d(g) = -g + 10. Let o be d(5). Suppose o*v - 7*v - 63 = -5*y, -y = 2*v - 3. Suppose -1333 = -y*n + 922. Does 18 divide n?
False
Let n be ((-40)/14)/(3/(-21)). Suppose 2*t = 2*g - n, t - 6*t - 40 = -3*g. Suppose 4*r - 130 = 2*u, -2*r + u - g*u = -50. Does 16 divide r?
False
Let g(p) = 54*p**3 + 9*p**2 - 33*p - 25. Does 59 divide g(5)?
True
Let v(g) = g**3 - 8*g**2 + 17*g - 63. Let u be v(7). Let b(t) = 11*t**2 - 46*t - 2. Is 17 a factor of b(u)?
False
Suppose v + 2 = b, -3*b = -5*v + 3*v - 11. Let u be (-2)/b + (-78)/21. Is 4 + u - (-2 - 9) a multiple of 7?
False
Let n be (-42)/14 - (-1 - 4) - -5. Is 29 a factor of 460 + (-8 - -5) + n?
True
Is 35 a factor of 15590*9/6 + (-55 - 0)/11?
True
Suppose -29*u = -28*u + 2. Let f be (24/(-15))/(u + 48/25). Does 13 divide f/(-5) + -2 + (-2 - -86)?
True
Let o = -45 - -53. Suppose 4*g - 2*k = 2*k, 4*k = 2*g + o. Suppose -g*m - 3*m + 140 = 0. Is m a multiple of 9?
False
Suppose 2*m - 3696 = -2*b + 4*m, -4*b + 3*m + 7395 = 0. Suppose -11*x 