False
Let k(s) = 5*s**3 + 3*s**2 - 3*s - 5. Let q be k(-4). Let f = 380 + q. Is f a multiple of 3?
False
Let j = 263 + -125. Suppose -537 = -5*d + j. Does 27 divide d?
True
Let r(t) be the first derivative of 3/2*t**2 + 46 - 29*t + t**3. Is r(-6) a multiple of 7?
False
Is 4 a factor of (-6)/2 - (-23)/((-23)/(-1205))?
False
Let m = 421 + -476. Does 60 divide 11/m*15 + (1 - -1202)?
True
Let a(l) = -51*l - 17. Let f be a(-8). Suppose -5*v - 624 - 41 = -5*o, -3*o + 5*v = -f. Is o a multiple of 22?
False
Is 946 + 8/(-72)*-3*-15 a multiple of 43?
False
Does 54 divide ((-3266172)/35)/(-6) - 6/5?
True
Let r(h) = 15*h**2 - 3*h. Suppose -g - 5 = -6*l + 8*l, 4*l - 4*g + 28 = 0. Does 42 divide r(l)?
True
Let r be ((-12)/(-54) + 70/9)/2. Suppose 0 = -3*i + 2*u + 1176, -4*u = r*i - 125 - 1423. Is i a multiple of 13?
True
Is 148 a factor of ((-33)/(-9) - 3/3)/(6/22311)?
True
Let p(y) = -169*y + 1283. Does 15 divide p(-47)?
False
Suppose 3*b = -0*b + 42. Let g be (-145)/45*-3 + (-8)/12. Suppose -b*k = -g*k - 70. Is 5 a factor of k?
False
Suppose -r + 18*r - 3808 = 0. Let z = r + 100. Is 3 a factor of z?
True
Let f = 78 + -22. Suppose 5*c - 4*x - 128 = 269, -c = 2*x - 71. Suppose 4*w - f = -5*a + c, -a = -3*w + 114. Is 37 a factor of w?
True
Let x = 3194 + -1979. Is 21 a factor of x?
False
Suppose -25 = -5*j, -2*j - 24 = -3*m + 11. Suppose 0 = 9*q - 14*q + m. Suppose 2*w - 2*l = 198, w - 89 = -q*l + 2. Does 49 divide w?
False
Let i(d) = -28*d**3 + 3*d**2 + 4*d - 2. Suppose -3*k = 3*k + 12. Does 14 divide i(k)?
False
Suppose 786 = s + 226. Suppose -y - 20 = 4*v, 2*y - 4*y = 3*v + 15. Suppose y*o - s = -7*o. Does 10 divide o?
True
Let b be (-28)/(-6)*(-1020)/(-238). Suppose -5248 = -b*u + 4*u. Does 13 divide u?
False
Let t(k) = -k**2 - 1. Let u(s) = 77*s**2 - s + 4. Suppose -4*m - 3*y = -m - 9, 5*y + 3 = -2*m. Let h(l) = m*t(l) + u(l). Does 14 divide h(-1)?
True
Is 210*382 + (-25)/(-200) + (-1)/8 a multiple of 51?
False
Let l be (13 - 13)*(-2)/(-4). Suppose l = -5*d + 3*b + 3, 0 = -2*d - 0*b + b + 2. Is 0 + 1 + 40*(d + -1) a multiple of 7?
False
Let p(v) = 8*v + 182. Let c = -510 - -490. Is p(c) even?
True
Let m = 1457 + 1073. Is m a multiple of 110?
True
Suppose 3*w = -7*n + 183350, 4*w + 78531 = 157*n - 154*n. Is 62 a factor of n?
False
Let l(g) = 292*g - 1380. Is l(34) a multiple of 16?
False
Let u = 20 + -15. Suppose x = 3*a - 2*x - 255, u*a = -5*x + 455. Suppose -3*l + 3*b + 51 = 0, -l + a = 4*l - 2*b. Does 9 divide l?
True
Let z be (0 - -2) + -1 + 2. Let x = 173 + -113. Is 1 + (x - 4) + z a multiple of 17?
False
Is 4628988/1911*14/3 a multiple of 36?
True
Let l = -3855 + 8384. Is l a multiple of 32?
False
Suppose 84*p = 98*p - 28560. Is 14 a factor of p/(7 + -5) + 2?
True
Let o(v) = -v - 22. Let w be o(-22). Let b be w - -2 - (1 + -33). Suppose -2*g = -0*j - 2*j + b, 91 = 3*j + 5*g. Does 11 divide j?
True
Let y be (-22)/(-5)*10/(-1). Let b = 84 + y. Suppose -5*a = -0*a - b. Does 6 divide a?
False
Is (-23 + 22)*4/((-20)/1875) a multiple of 25?
True
Suppose -27 = -5*g + 4*r, -8*g = -9*g - 3*r - 6. Suppose -g*u - q + 4051 = 0, -10*q - 1377 = -u - 5*q. Is 13 a factor of u?
True
Let u be 3/(-4)*7176/23. Let j = 612 + u. Is j a multiple of 27?
True
Suppose 0 = 3*h - 3, -26*l + 5*h = -21*l - 55615. Is 206 a factor of l?
True
Suppose 119 = 6*u + u. Suppose -u*j + 15*j + 10 = 0. Suppose 372 = 2*y + 2*x, j*y - 6*x + 2*x = 921. Does 19 divide y?
False
Let q(y) be the first derivative of 26*y**2 + 150*y - 270. Is q(0) a multiple of 4?
False
Let m = -254 - -334. Is (-20)/(1/1 + m/(-76)) a multiple of 38?
True
Let r = 137 - 27. Suppose 3*k = k + r. Suppose k = -7*g + 307. Is 4 a factor of g?
True
Suppose -46972 = -23*y - 11690. Suppose -n + y = 9*j - 8*j, 4*n + 3086 = 2*j. Does 15 divide j?
False
Let j(v) = -922*v + 33. Let b be j(-3). Let p = b + -1215. Is 11 a factor of p?
True
Is 26 a factor of (-1297355)/(-40) - ((-306)/16 + 19)?
False
Let z(n) = 44*n**3 - 32*n - 13*n**2 - 12*n**2 - 31 - 43*n**3 + 9*n. Let w be z(26). Suppose w*t = 42*t + 105. Is t a multiple of 7?
True
Is -25 + 9678 + 25 - (3 - 5) a multiple of 242?
True
Let c(d) = -d**3 + d**2 + 7. Suppose 2*i = -2*i. Let x be c(i). Suppose x*f - 545 = -55. Is f a multiple of 14?
True
Suppose -2*n - t + 11 = 0, -4*t + 3*t = -5*n + 31. Suppose 0 = -n*q + 33*q - 945. Does 35 divide q?
True
Suppose -6*g + 240 = -g. Let h(m) = -2*m**2 + 114*m - 134. Let i be h(55). Let l = i - g. Is 19 a factor of l?
True
Suppose 15*b + 5*b = 26*b - 17910. Is b a multiple of 39?
False
Suppose 3*k - 5*m = 663, 0 = 5*m - 12 - 3. Suppose -2*d + 220 = -k. Is d a multiple of 37?
False
Suppose v + 3*o = 22, 2*v + 4*o - 46 = -v. Suppose -3*n = -v*n + 812. Let k = 206 - n. Is 15 a factor of k?
True
Let a(w) = 35 + 23 - 59 - 38*w - w**2 + 28. Does 8 divide a(-38)?
False
Let h(u) = -47*u - 23. Let v be h(5). Is ((-110)/44)/((-5)/4) - v a multiple of 12?
False
Let i(w) = 141*w + 17034. Does 68 divide i(-34)?
True
Suppose -34173 = -3*w + 4*x, -13434*w + 13437*w + 2*x = 34173. Is w a multiple of 9?
False
Let l(h) be the third derivative of 11*h**6/30 + h**5/60 + h**3/6 + 22*h**2. Let y be l(1). Let j = y + -38. Does 3 divide j?
False
Let y = 3945 + -2685. Is 28 a factor of y?
True
Let x(a) be the first derivative of -a**4/4 + 11*a**3/3 + 29*a**2/2 + 41*a + 187. Is 15 a factor of x(-7)?
True
Let u be (-2)/5 - (-255)/75. Suppose -u*r = o - 35, -3*o + 6*o - 3*r - 93 = 0. Does 32 divide o?
True
Let x = 104402 - 37658. Is 33 a factor of x?
False
Let i be 2*(-2)/14 - (-11831028)/462. Suppose 36*h + i = 58*h. Does 44 divide h?
False
Let n(m) = -m**3 - 6*m**2 + 7*m. Let l be n(-7). Suppose l = b - 0*b + 109. Let c = -59 - b. Is c a multiple of 25?
True
Suppose -1347*x - 3009 = -1330*x. Let s = -41 + 11. Let b = s - x. Does 21 divide b?
True
Let t be 4/2*(5 + 22/(-4)). Is 5 a factor of t/7 - 2952/(-84)?
True
Suppose -g - q = -91, -5*g + 4*q - 1 = -456. Let a = 183 - g. Is a a multiple of 22?
False
Let d(i) = 491*i**3 + i**2 - 4*i - 4. Does 5 divide d(2)?
True
Suppose -p = -0*p - 5*u - 9, 0 = p - 4*u - 8. Let j be 5 + (28 + p - 1). Is 21 a factor of (j/(-10))/(10/(-175))?
True
Let t = 2816 - 2746. Is t a multiple of 7?
True
Let i(d) = 0*d - 14*d - d**3 - 40 + 0*d + 18*d**2 + 42*d. Is 15 a factor of i(19)?
False
Let c = -67 + 77. Suppose -c = -6*t + t. Suppose -t = -r - g - 0, -4*r = 5*g - 8. Is 2 a factor of r?
True
Suppose 4*w - f = -0*f - 289, -5*w = -4*f + 364. Let r = w - -171. Is r a multiple of 19?
False
Suppose 4*c = -2*z + 28928, 176*z - 172*z - 57821 = -c. Is 34 a factor of z?
False
Let t = 391 + -325. Suppose 0 = y - 102 + t. Is 12 a factor of y?
True
Let l = -1442 - -3037. Let f = -789 + l. Is f/8 + (-68)/(-16) + -5 a multiple of 10?
True
Let m = 143968 + -93208. Is 14 a factor of m?
False
Let u = 147 - 141. Is (1/(u/42))/(2/108) a multiple of 27?
True
Let d = -796 - -1743. Suppose 2*q - 758 = 3*v, -d - 220 = -3*q - 3*v. Does 57 divide q?
False
Suppose -261 + 23 = -s. Suppose s = 4*r - 862. Is r a multiple of 11?
True
Let g = -95 - -100. Suppose -3*p - 4*l + 25 = 0, 4*p + g*l = -0*p + 33. Suppose -c + p*c = 384. Does 7 divide c?
False
Is 61 a factor of (201/(-5))/(24/(-4880))?
True
Let i(z) be the first derivative of 2*z**4 - 2*z**3/3 - 14*z**2 + 3*z - 226. Is i(5) a multiple of 35?
False
Let h(a) = -4*a**2 - 32*a + 8. Let r be h(-8). Is ((-604)/r - -2)*-2 a multiple of 3?
True
Let i = 188 + -208. Does 22 divide (i/(-6))/((-56)/(-1428))?
False
Let x(v) = 3*v**2 + v. Let j be x(3). Let t = -57 + j. Let y = -18 - t. Is y a multiple of 2?
False
Let u(l) = 8*l + 1342. Is u(-85) a multiple of 290?
False
Let j(k) = 234*k + 540. Is j(10) a multiple of 72?
True
Let t = -5979 + 8444. Does 2 divide t?
False
Let n = -268 + 263. Does 83 divide (0 + 2)*(n - -174) + 3?
False
Suppose 96*c - 111*c + 51645 = 0. Is c a multiple of 28?
False
Let a(q) = q**3 + 66*q**2 - 174*q + 15. Is 195 a factor of a(-56)?
False
Suppose 591*p + 27194 = 593*p + v, -3*v - 13576 = -p. Is p a multiple of 21?
False
Is 15 a factor of 16/72 + (-138498)/(-54)?
True
Suppose -5*v = 5*d - 395, 4*v + 5*d = 202 + 118. Let n = -8079 - -8084. Let l = n + v. Is 31 a factor of l?
False
Suppose 5*u - 218 = 57. Let z be -1 + ((-2)/11 - 155/u). Is z + (-16 + 10)/(2/(-27)) a multiple of 16?
False