-5)/(-10) - 1)*-10. Suppose 0 = -3*t + s*o + 885, -5*t - 2*o + 1509 = o. Is 27 a factor of t?
False
Let i = 53433 + -28507. Is 4 a factor of i?
False
Let j(d) = 6*d - 39. Let b be j(7). Is (b + 0 - 1) + 216 + 1 a multiple of 6?
False
Let h(j) = 16*j**2 - 130*j + 73. Is h(22) a multiple of 42?
False
Let p(a) = 19*a - 50 + 5*a**2 + 147 - 63 - 53. Does 9 divide p(-8)?
False
Does 185 divide (-17390)/(((336/(-36))/(-7))/(-2))?
True
Let f be 0 + (2/(-1))/2 - -43. Let q be f/35*-10*1/(-3). Suppose 4*s - 3*s + 4*d = 1, -2*d = -q*s + 76. Does 5 divide s?
False
Does 164 divide (35/(-7))/((-10)/(-8)*(-56)/630980)?
False
Suppose -3*m + m = -2*g + 32, 3*m + 52 = 4*g. Let t be 8/(-6)*m/(-8) - 2. Is (-2 + 3)*((3 - t) + 3) even?
True
Let x(u) be the third derivative of -u**5/60 - u**4/12 + 2*u**3/3 + 4*u**2. Let k be x(-4). Is 21 a factor of (-1344)/(-5) + k/(-20) + 0?
False
Suppose -3*t = 4*t - 875. Let b = -70 + t. Suppose -2*x + 5*x - 5*w = b, 3*x - 56 = 4*w. Is 5 a factor of x?
True
Let f be (-65)/(-9) + (-4)/18. Let s(r) be the second derivative of -r**5/20 + 3*r**4/4 + r**3/6 + 7*r**2/2 - 21*r. Is 14 a factor of s(f)?
True
Suppose 42*w + 138983 = 265717 + 235852. Does 31 divide w?
False
Let l(o) = 30*o**3 + o**2 - o. Suppose 0*y - 8 = -8*y. Let w be l(y). Suppose -10 = -u + t, -2*u + 4*u + 3*t = w. Is 6 a factor of u?
True
Suppose -540*y - 227824 = -581*y + 157822. Is 226 a factor of y?
False
Suppose -5*m - 4*f + 20 = -f, 0 = 4*m + 2*f - 18. Let a(v) = -v + 9. Let u be a(m). Suppose u*c + 18 = 126. Does 18 divide c?
True
Suppose 0 = 4*k - 4, -19 + 4 = 3*b - 3*k. Let t = -6 - -24. Is 6 a factor of t*(-2)/12*b?
True
Let r = -125 + 20. Let x be (-26999)/r - 6/45. Let m = -136 + x. Is 34 a factor of m?
False
Let f = -122 + 121. Let q(z) = -750*z**3 - 5*z**2 - 3*z. Is q(f) a multiple of 14?
False
Let s(l) = l**3 + 5*l**2 - 7*l. Let x be s(5). Let r be (-18)/10*(-55)/33. Suppose 0 = 5*v + r*m - x, 5*m - 2*m + 107 = 2*v. Does 20 divide v?
False
Let d be 7/1 + (4 - 7). Suppose -d = a - 22. Is 30 a factor of (4 + 66/9)/(3/a)?
False
Suppose -79*b = -g - 75*b + 3276, -5*g + 16380 = -4*b. Is g a multiple of 36?
True
Suppose -n + 5 = 0, 28 = j - 0*n + 5*n. Suppose -9 - j = -3*s. Is 5 a factor of 73*1 - 12/s?
True
Let t(d) = -5*d - 42. Suppose 0 = -2*s + u - 13, 3*u - 12 = s + 2*s. Let b be t(s). Suppose -634 = -5*z - 4*w, -373 = -b*z + 4*w + w. Is z a multiple of 11?
False
Let z(b) = -12*b**2 - b - 2. Let i be z(2). Let t = i + 37. Is (-10)/t - (-356)/6 a multiple of 10?
True
Let a = 57949 - 40394. Is 16 a factor of (-2)/10 - (-3)/75*a?
False
Let q = 5813 + 1212. Is 110 a factor of q?
False
Suppose -5*a + 1791 = -2034. Suppose 3453 = 6*w + a. Is w a multiple of 32?
True
Is 45735/((-105)/(-7))*1 a multiple of 21?
False
Let r = -456 + 667. Let p = -69 + r. Is 46 a factor of p?
False
Let f be 5/(15/16) - (-5)/(-15). Suppose -3*i = -6, 5*h = 4*h + f*i - 6. Suppose 0 = h*n + 3*n - 287. Is n a multiple of 8?
False
Suppose 2*v + 19524 = 4*h, 23*h = 21*h - 2*v + 9756. Suppose 0 = 16*t - 12*t - h. Is 11 a factor of t?
False
Let a(c) = 3*c - 55. Let p(r) = 5*r - 111. Let x(l) = -5*a(l) + 2*p(l). Suppose -13 = -2*f - 3. Does 7 divide x(f)?
True
Suppose -78*y + 76*y + 10 = 0. Suppose -y*v + p = -566, -4*p = -v - 7*p + 110. Does 15 divide v?
False
Let f(n) = -2*n - 17. Let k be f(-10). Suppose -j = -3*u - 28, u + 96 = 5*j - k*u. Suppose -p = -55 - j. Is 22 a factor of p?
False
Let q be -3*3/9*-2. Suppose q*l = 5*r - 16, -5*l - 18 = -2*r + 1. Is (423/12)/l*-8 a multiple of 14?
False
Suppose -4*p + 1 = -z + 12, -4*p - 16 = 0. Let i be 0 + (-24)/z + (-38)/(-190). Suppose i*k - 237 = -2*h, -h + 2 = 1. Is 10 a factor of k?
False
Let d(m) = -2*m + 22. Let o be d(11). Does 25 divide (-27)/(-1) + 1 + (o - 3)?
True
Does 66 divide 39/24 - 2 - ((-37656)/64 + -16)?
False
Let r be (-3)/((-3)/45*9). Suppose -150 - 275 = -r*z. Does 8 divide z?
False
Suppose 9*q = -4*i + 5842, -4*i + 5856 = q + q. Does 5 divide i?
True
Suppose b + 2 = 0, -7 = -3*r - 3*b + 2. Is r*(-26)/4*(-24)/30 a multiple of 13?
True
Suppose -u = -2*r + 16, r - 8 = -0*u - 3*u. Suppose -x + r*x - 630 = 0. Suppose -7*h + 4*h + x = 0. Is h a multiple of 25?
False
Suppose 0 = 220*p - 205*p - 2430. Does 9 divide p?
True
Suppose -4*v + 11 = -9. Let h be 34 - (-1 + 2) - (v - 3). Suppose -3*y + h = -2*y. Is 4 a factor of y?
False
Let p = -1544 + 558. Let k = -527 - p. Is 14 a factor of k?
False
Let a(s) = -215*s - 1259. Is a(-7) a multiple of 82?
True
Let b(m) = m**2 + m - 2. Let y be b(-3). Let j(q) = -y*q - q + q + 14*q + 6. Is 14 a factor of j(5)?
True
Let b = -145 - -159. Is 17 a factor of (-2 - 20)*(-301)/b?
False
Suppose -4*m + 35522 = -q, 3*m + q - 21140 = 5512. Is 8 a factor of m?
False
Suppose x = -3*s - 10 - 11, -5*x + s - 41 = 0. Does 21 divide 3/6 - (14202/12)/x?
False
Suppose -2*g - 2*l + 432 = 0, l - 646 = -3*g - l. Suppose -j + g = -533. Suppose 6*p = 15*p - j. Is 17 a factor of p?
False
Suppose 51*p - 62*p + 99 = 0. Is 9 a factor of (-1377)/(-18)*12/p?
False
Suppose 0 = -9*j + 379 - 109. Is 594*(6/j + (-3)/(-10)) a multiple of 9?
True
Let r = 42 + -39. Suppose -r*o + 328 = -m, o = -4*o - 4*m + 575. Is o a multiple of 37?
True
Suppose 4*i - 6 = i. Suppose -i*x = x - 0*x. Suppose -12*h + 2504 + 304 = x. Is 22 a factor of h?
False
Suppose -18150*p + 18147*p + 1575 = 0. Is p a multiple of 5?
True
Let z = 511 + -127. Suppose -9*v - z = -6*v. Let t = -86 - v. Is 14 a factor of t?
True
Let s be 4 - (21 + -24 - -11*1). Let f(u) = -2*u**3 - 7*u**2 - 10*u - 32. Does 6 divide f(s)?
True
Let r = -14957 + 24057. Suppose -29*w + r = -7923. Does 62 divide w?
False
Let l be (-150120)/(-140) + (-1 - 5/(-7)). Let y(q) = 10*q**3 - 3*q**2 - 3*q - 2. Let h be y(3). Suppose l = 4*x + h. Is 15 a factor of x?
True
Let a(p) = -2*p + 2. Let z be a(3). Let r = 42 - 21. Is 21 a factor of (r/z)/((-3)/36)?
True
Let z be 7*4*5/(-80)*-20. Let f = 905 - z. Is f a multiple of 30?
True
Suppose -2*z = -a + 5434 + 10701, -8*a = -3*z - 129171. Is a a multiple of 73?
False
Let q = 165 + -166. Let u = q + 171. Is u a multiple of 17?
True
Let b = 25 - -26. Let n = -46 + b. Suppose -y + n*q = 2*y - 154, -2*q = 5*y - 236. Does 4 divide y?
True
Let t(d) = -4*d**3 - 17*d**2 + 16*d - 6. Let n(l) = -9*l**3 - 37*l**2 + 32*l - 11. Let r(g) = 3*n(g) - 7*t(g). Let h be (-3)/2*(4 + 2). Does 30 divide r(h)?
False
Suppose 151*j = 152*j - 18. Suppose 2*r - c + j = -323, 2*r - 2*c + 346 = 0. Is 8 a factor of 14 - r - (-4 + 2)?
True
Suppose 0 = -l + 4, 3*t + l - 4938 - 1066 = 0. Is t a multiple of 40?
True
Suppose -5*a = -5*z + 15, 22 - 2 = -5*a. Let c be 2/2 + (5 - 2*z). Suppose -c*d + 223 = -7*d. Does 33 divide d?
False
Let d(t) = 19*t + 5935. Does 29 divide d(13)?
False
Let m(g) = 25*g**2 - 108*g + 1235. Is 78 a factor of m(13)?
True
Let z be (3 + 65 - -1) + -3. Let m(o) = -o**3 + 8*o**2 + 8*o + 11. Let k be m(9). Suppose 4*v = k + z. Is v a multiple of 17?
True
Let s be (-42)/1 - 3*(2 - 3). Let a = s - -39. Suppose 4*p + 3*r - 22 = a, -3*r - 5 - 9 = -5*p. Is p a multiple of 4?
True
Suppose 0 = -5*w + 20, -8*h - 35 = -3*h - 5*w. Let a(m) = 29*m**2 - m - 16. Is a(h) a multiple of 31?
True
Suppose -7*n + 21*n - 86373 = -13*n. Does 19 divide n?
False
Suppose 27 - 91 = -16*w. Suppose 98 = j - w*l, -171 = -5*j + 4*l + 399. Let n = j - 58. Does 6 divide n?
True
Suppose -14*b = -16*b + s + 3729, -s + 3735 = 2*b. Suppose 219*t - b = 218*t. Does 14 divide t?
False
Is 47 a factor of (-9)/12 + ((-10570743)/36)/(-41)?
False
Let r(u) = -4*u - 22. Let o(m) = 10*m - 7*m**2 + 496 + m**3 - 496. Let d be o(4). Does 10 divide r(d)?
True
Let t(o) = -306*o - 231. Let x be t(-9). Suppose -3*r - 273 = -x. Is r a multiple of 15?
True
Let r(p) = 204*p**3 + 2*p**2 - p - 1. Suppose -2*b = -4*y + 18, 0*y + 2*y = 3*b + 7. Is r(b) a multiple of 4?
True
Let f be (12/4)/(12/40). Suppose f*s = 21*s - 6545. Does 85 divide s?
True
Let p(t) = 132*t + 542. Let j be p(-11). Let i = j + 1192. Is 14 a factor of i?
False
Does 21 divide 6/(-10) + -3 + (-396480)/(-50)?
False
Let b = 28 - 28. Suppose 2*d + 6 = b, 0*d - 2*d = 2*a - 80. Suppose 0*r + 4*j = 3*r - a, 3*r = -2*j + 19. Does 9 divide r?
True
Let d be ((-315)/60)/(6/(-8)). Is -2 - (-4209)/d - (-2)/(-7) a multiple of 13?
False
Is 58 a factor of (-136)