- 8*t, 4*b - 4*t = 32. Does 8 divide s(b)?
True
Let b be (-31)/(-4)*-14 - (-12)/8. Let v = b - -135. Let f = v + -15. Is f a multiple of 13?
True
Suppose -13*s + 8*s + 301756 = g, -s + 60371 = -2*g. Is s a multiple of 332?
False
Let i be 1 - (-1)/1*13. Suppose i - 36 = -2*k. Suppose 6*q + k - 641 = 0. Is q a multiple of 20?
False
Let p(o) be the second derivative of o**4/12 + o**3/3 + 145*o**2/2 - 10*o. Let m(k) = -k**3 - 2*k**2 + 6*k + 4. Let v be m(2). Is 16 a factor of p(v)?
False
Let u = 15001 + 5415. Is u a multiple of 88?
True
Let p(z) = -30*z**3 + 28*z**2 + 145*z - 5. Is p(-8) a multiple of 56?
False
Suppose -15*h - 108 = -19*h. Suppose 3*y - 5*u - 325 = 0, -2*u = 4*y - 0*u - 468. Suppose 2*w + 3*n + h - 107 = 0, -3*w - 2*n = -y. Is 11 a factor of w?
False
Suppose -5*w + 3*p = -122462, 0 = -w - 2*p + 13110 + 11372. Is w a multiple of 67?
False
Let g(o) = o**3 - 4*o**2 - 20*o + 68. Let w be (12/(-13))/((-76)/494). Is 2 a factor of g(w)?
True
Suppose -2*r + p = -529, -2*r + 6*r - 3*p = 1059. Let x = -5730 - -6125. Suppose -2*m + 3*k + r = 0, -9*k = -3*m - 4*k + x. Is m a multiple of 27?
True
Suppose h - i + 5*i - 7 = 0, h - i = 2. Suppose t + h*n = -8, t + 2*n = 6*t - 28. Is t a multiple of 4?
True
Let k be ((-3)/(-9))/((-3)/(-18)) - 19. Let v = 34 + k. Suppose -11*n - 408 = -v*n. Is n a multiple of 17?
True
Let u = -25135 + 37307. Is u a multiple of 34?
True
Let s be -1 + 1 + (-11 - -12). Let g be (-3 + s)*3/(-3)*2. Suppose 0 = k, -g*a - 5*k + 121 = -55. Does 9 divide a?
False
Let h = -20 + 35. Suppose 0 = -18*n + 15*n + h. Suppose -3*d + 5*j + 145 = 0, -n*j - 33 = 4*d - 203. Is 15 a factor of d?
True
Suppose 0 = 169*d - 174*d + 1415. Suppose 306 = 3*t - 3*f, 5*t + 5*f - d = 247. Does 3 divide t?
False
Let l(c) = 6*c**2 + 22*c - 133. Does 3 divide l(7)?
True
Does 19 divide (-174 - -3)*((-267)/12)/((-3)/(-12))?
True
Let b = 1082 - -6182. Is 8 a factor of b?
True
Suppose 9*x + 1796 = -724. Let r = x + 400. Let p = 280 - r. Is 40 a factor of p?
True
Let f(j) = j**2 + 11*j - 29. Let s be (-4)/(-56)*-178 - (-6)/(-21). Let d be f(s). Does 15 divide (-1 - d)*2 - -26?
True
Let b(n) = 8*n**2 + 38*n + 25. Let m(i) = -2*i - 35. Let h be m(-23). Is 17 a factor of b(h)?
True
Let v(n) = 3*n**3 - n**2 - 2*n + 2. Let x be v(1). Suppose -2*r - 2*f + 5 = 1, x*r + f - 2 = 0. Suppose 10*g - 16*g + 132 = r. Is 12 a factor of g?
False
Let l(y) = 256*y - 26. Let n(p) = -p**2 - 8*p - 13. Let o be n(-3). Is l(o) a multiple of 12?
False
Suppose 5*l + 21*l - 5727 = -553. Does 89 divide l?
False
Suppose -4*c - y - 43 = 0, -15 = -5*c - 2*y - 65. Let q(d) = -d**3 - 11*d**2 + 3*d + 26. Let w be q(c). Let z = w + -108. Is z a multiple of 6?
False
Suppose -87 = -655*b + 658*b. Suppose i + 5*w = 38, -i - w = 2*w - 42. Let o = i + b. Does 19 divide o?
True
Let u(q) be the second derivative of -7*q**4/12 - q**3/6 + 280*q**2 - 53*q + 1. Is 12 a factor of u(0)?
False
Let v(t) = 58*t + 306. Let x be v(-3). Suppose -37 + 99 = -p + 5*d, -4*d = -3*p - 219. Is (x/(-77))/(2/p) a multiple of 22?
True
Is 47 a factor of 2997 + 113 + ((-32)/(-2))/(-2)?
True
Suppose -467 = -5*z - 4*h + 6440, 6925 = 5*z - 5*h. Let l = z - 532. Does 23 divide l?
True
Let p = 194 + -168. Suppose -8*v + p = -38. Is v a multiple of 4?
True
Suppose 0 = 2*k - x - 4153 - 7615, 4*k - x - 23538 = 0. Is k a multiple of 43?
False
Let o(i) = -5*i**2 + 275*i + 45. Is o(17) a multiple of 40?
False
Suppose 2*d - 818 = -2*q, -962 = -3*d + 5*q + 305. Suppose 25*h = 27*h - d. Is h a multiple of 20?
False
Suppose -3*q + 75807 = 5*p - 0*p, -p + 2*q + 15164 = 0. Does 19 divide p?
True
Let d = -6187 + 6229. Suppose 5*p + 738 = -4*l + 8*l, -p = -l + 184. Suppose 40*a = d*a - l. Is 13 a factor of a?
True
Let h be 249 + (28/2)/(-7). Let l = h + -114. Does 13 divide l?
False
Let u(n) = 5*n + 40. Let r = 74 - -54. Let p = r + -134. Is u(p) a multiple of 10?
True
Let p = 37385 + -26645. Does 20 divide p?
True
Suppose -2*i = -5*r + 1690 + 3023, 0 = 2*i + 3*r + 4721. Does 36 divide i/(-6) - (-6)/(-36)?
False
Suppose 10*s + 420 = 45*s. Suppose -y = -s - 7. Does 3 divide y?
False
Let s(o) = -31*o - 34*o + 67*o - 30. Let n be s(-8). Is (-3)/(-4 + 15/6) - n a multiple of 10?
False
Suppose -4*s = r - 4580, -3*s = 61*r - 58*r - 13695. Is r a multiple of 80?
True
Suppose -5*b + z + 89593 = -90118, 143780 = 4*b + 2*z. Is 13 a factor of b?
False
Suppose 26*h - 35239 = -105*h. Is 17 a factor of h?
False
Suppose 216*r = 219*r - 18552. Does 103 divide r?
False
Let i = -335 - -336. Does 35 divide 1 - (-1668)/24*i*2?
True
Let s = 10098 - 3365. Does 3 divide s?
False
Let m = 18685 - 13365. Does 38 divide m?
True
Let g be ((-2)/1 - 156)*20/(-40). Is 79 a factor of g/(-3)*3225/(-43)?
True
Let c be (-4 - -3 - -5) + -16. Let h be c/(-16) - (17/(-4) + 2). Suppose 2*y = -4*q + 344, -h*y + 5*q - 870 = -8*y. Is 44 a factor of y?
True
Suppose 26201 = -5*b + 4*p + 105977, -2*p + 15972 = b. Does 133 divide b?
True
Let k(j) = 2*j**2 + 5*j - 26. Let l be ((-10)/25)/((-2)/35). Is k(l) a multiple of 8?
False
Suppose u + 11 = 14. Suppose -y - 240 = u*y. Let k = -24 - y. Is k a multiple of 7?
False
Suppose 3*f = 32 - 14. Let a = 86 - f. Does 10 divide a?
True
Let s = 126 + -123. Suppose s*k + 296 = 1484. Is 44 a factor of k?
True
Let b(t) be the first derivative of -t**3/3 + 12*t**2 - 39*t - 31. Does 8 divide b(6)?
False
Let z be 51/(-1)*(-8)/(-56)*-7. Suppose 222 = 54*p - z*p. Is 37 a factor of p?
True
Suppose -193372 + 38252 = -16*x. Is x a multiple of 7?
True
Suppose -4*z + 5068 = 10*b, -2*b - 4*z - 167 = -1171. Is 17 a factor of b?
False
Suppose 0 = 32*d - 31*d - 56595. Suppose -38*u = -5*u - d. Is 49 a factor of u?
True
Let b = 21532 + -1687. Does 135 divide b?
True
Suppose -11*o = 5*o - 5904. Suppose -244 + 33 = -3*z - 5*m, 5*z = -4*m + o. Does 7 divide z?
True
Let k be (-305)/(-45) - (-6)/(-27)*-1. Let a be 2/(-7) + (-4 - (-198)/k). Suppose -3*o = -y - 68, a = o - 2*y - 2. Does 22 divide o?
True
Suppose 2*q + 0 = 4. Let x be 3 - (q - 4 - -1)*-10. Let d = x - -33. Does 5 divide d?
False
Let v(w) = -363*w + 4051. Is 116 a factor of v(0)?
False
Suppose 0 = -2*y, -2*o - o + 3*y = -2307. Is o a multiple of 38?
False
Suppose r = -8*i + 3*i + 116, -5*r = -4*i - 638. Let b(g) = -13 + r*g + 38 - 129*g. Is b(-16) a multiple of 7?
False
Let i be 1*(-3 - -5 - (-1 + -36)). Let d = i + -35. Suppose -5*f + 65 = d*m, -5*f + 50 = 2*m + m. Does 4 divide m?
False
Let s be 71012/(-123)*(0 - (-6)/(-4)). Suppose -5*r + 9*d - 11*d = -1076, -4*r = -d - s. Is r a multiple of 36?
True
Let n = -118 + 121. Suppose 3044 - 1124 = n*w. Is w a multiple of 20?
True
Suppose -4*a = -144 - 136. Suppose -474 - a = -8*d. Is d a multiple of 17?
True
Suppose 3178 = 55*d - 140812. Is d a multiple of 22?
True
Let f = -244 - -431. Suppose 0 = -y + 5*a + 216, -1074 = -4*y - 3*a - f. Is 14 a factor of y?
False
Let r be 33/(-44) - 71/(-4). Suppose r*x - 615 = 12*x. Suppose 2*s + 4*d = s + 137, 0 = s - 3*d - x. Is 43 a factor of s?
True
Suppose -59*w + 49*w = -20. Suppose -1408 = -2*z - w*z. Does 10 divide z?
False
Suppose 0 = 358*j - 6969244 - 2854992. Is j a multiple of 124?
False
Let a = -92 + 132. Let l be (-8)/a + 882/10. Let j = l + -61. Is 6 a factor of j?
False
Let c = -35 - -35. Suppose c = 11*j - 16 - 17. Suppose 0 = 3*d - j*t + t - 106, 81 = 3*d + 3*t. Is 8 a factor of d?
True
Let j(a) = -50*a - 168. Let v = 282 + -298. Is 31 a factor of j(v)?
False
Let j = 3598 - -7231. Is 91 a factor of j?
True
Let s(v) = -v**3 + v**2 + 11*v - 1. Let m be s(4). Let l(k) = 11*k**2 + 12*k + 2. Is 19 a factor of l(m)?
False
Let n(d) = -d**2 - 18*d + 3. Let x be n(-18). Let k(s) = -s**x + 180 - 2*s**2 - 2*s - 17 + 15 + s**2. Is k(0) a multiple of 28?
False
Let b(k) = k**3 - 6*k**2 + 3*k + 3. Let f be 4/(-1) - ((-1 - 0) + 1). Let i be f + (-4 + 0 - -14). Is b(i) a multiple of 3?
True
Let f = -5108 + 20172. Does 56 divide f?
True
Suppose -4*b + 0*y - 4*y + 504 = 0, 5*b = 3*y + 630. Let u(s) = b - 26*s - 30*s + 55*s. Is u(0) a multiple of 21?
True
Suppose 135*z - 136*z + b + 18139 = 0, 4*z - 72552 = 2*b. Is 7 a factor of z?
True
Let h = 3598 - -558. Is 4 a factor of h?
True
Let y(m) = -34*m - 123. Let j = 427 + -441. Is 7 a factor of y(j)?
False
Suppose -5*l = -2*l + j - 11, -2*l = 5*j - 3. Suppose -l*v + 2*v