181 - 68. Let y = 158 - w. Suppose -5*n + 360 = y. Is n a multiple of 9?
True
Let l = -52713 + 107810. Is 64 a factor of l?
False
Let l(b) = -2*b**3 + 16*b**2 + 5*b + 5. Let p = 303 + -295. Is 5 a factor of l(p)?
True
Let g = 242 + -222. Is 14 a factor of (2064/10)/(g/50)?
False
Let b be (-2)/(-10) - (-5 + 320/(-25)). Is 19 a factor of (b/(-9))/6 + (-2372)/(-6)?
False
Suppose -26*t + 27*t - 2 = 0. Suppose -124 = -3*w + k, 3*w + t*w = -4*k + 184. Let q = 95 + w. Is 45 a factor of q?
True
Suppose 2*h - 3563 = -3*s, 0 = 4*h - 3*s - 2013 - 5194. Does 2 divide h?
False
Let w = -14324 + 34346. Does 141 divide w?
True
Let y be (2268 - 32)*(-2)/(-8). Let o = y - -156. Does 12 divide o?
False
Let f = 27 + -24. Suppose -f*i + i + 10 = 0. Suppose -3*n + 118 = -7*c + 2*c, i*n - 5*c = 190. Is n a multiple of 12?
True
Let j be (-6)/(-24) - 14/(-8). Suppose -j*l - 157 = -1629. Does 3 divide 4/(-26) - (5 + l/(-52))?
True
Does 16 divide (-224)/(-3)*(6 - (-117)/2)?
True
Let w = 1123 + -696. Let y = 712 - w. Suppose -2*b + 5*b = y. Does 21 divide b?
False
Is 4 a factor of 1/2 + 5786/4 - (122 + -129)?
False
Let c(d) = -3*d - 3. Let r be c(2). Let b = r - -167. Is 53 a factor of b?
False
Suppose 3*r + 629 = 4*d, 3*r - 7*r + 503 = 3*d. Let o = d - -178. Is o a multiple of 6?
False
Let q be (-3 + 9)*-1*(0 + -197). Suppose 0 = -20*k + q + 678. Is k a multiple of 6?
False
Let z = 9036 - -1945. Is z a multiple of 23?
False
Let l(a) = 44*a**2 + 2*a + 4. Let m be l(-3). Let b = -267 + m. Does 6 divide b?
False
Let w = -96 - -103. Is 14 a factor of w/(((-57)/18)/(-19))?
True
Let w(a) = -273*a**3 + 22*a**2 - 12*a - 5. Does 29 divide w(-2)?
True
Let o(y) = -16*y**3 + 4*y + 11 + 4*y**3 - 6*y**2 + 10*y**3. Does 67 divide o(-6)?
False
Suppose -4*z = h + 14, 5*h + 6*z + 70 = 4*z. Is (-4068)/h - 20/35 a multiple of 67?
False
Suppose -1145*d + 5008 = -1137*d. Is d a multiple of 3?
False
Let d = 235 + 228. Suppose 2*w - d = -i, -5*w - 5*i + 161 = -984. Is 18 a factor of w?
True
Is 2/17 - (3148404/(-1122) + 8/44) a multiple of 61?
True
Does 60 divide 3594/4*(1 - (-44)/12)?
False
Let s(x) = 2*x**2 - 151*x + 2857. Is 13 a factor of s(0)?
False
Let w = -61 - -64. Let n be 100 - (3 - 2)*w. Suppose 3*r = -r - 16, -r - n = -b. Is b a multiple of 31?
True
Suppose -20277 = -2*n + 682*w - 679*w, -2*w + 2 = 0. Is n a multiple of 52?
True
Is 31 a factor of 46426/10 + 2807/2005?
False
Let u = 689 - 431. Suppose -4*t + u = 82. Does 3 divide t?
False
Suppose t - 5*c - 4 = 0, 0 = 4*t + 2*c - c - 100. Let a = -24 + t. Suppose -2*z + 0 + 180 = a. Is 15 a factor of z?
True
Let u be 14/(-3) - (-4)/(-12). Let l be -4 - (u/5 + -3). Suppose -5*n - 98 + 343 = l. Does 4 divide n?
False
Let c(w) = 129*w**3 + w**2 + 2*w - 3. Suppose 0 = -21*n - 4*n + 25. Is 10 a factor of c(n)?
False
Suppose 27267 = 24*p - 11949. Is 25 a factor of p?
False
Let n = -146 + 237. Suppose g - 309 + n = 0. Suppose -15*t + 14*t = -g. Is t a multiple of 17?
False
Is 24 a factor of (-1 + 20310)*18/(-15 - -33)?
False
Does 31 divide ((-99138)/(-234))/((-3)/(-45))?
True
Let c(i) = -4*i**3 + 7*i**2 - 6*i. Let n be c(4). Let z = n + 986. Does 24 divide z?
False
Is 13488/11 - (-1 + (-91)/(-77)) a multiple of 30?
False
Suppose 0 = -7*m + 3582 - 5. Let y = 354 - m. Is 31 a factor of -1*1*(6 - y)*-1?
False
Suppose 2*r + 6 - 16 = 2*g, -2*g - 1 = r. Suppose b + 2*b + 3*z = -12, -b - 2 = -z. Is 10 a factor of b/(-3) + (-158)/g?
True
Suppose 5*s - 12 = 3*s, s + 18746 = g. Does 32 divide g?
True
Let h be (-1)/10 - (-8)/80. Suppose -5*x - 5*s + 215 = 0, -2*x + s + 2*s + 111 = h. Does 16 divide x?
True
Let f(m) = -m + 67. Suppose 0 = 6*c - 2*c. Let t be f(c). Let k = t + -47. Is k a multiple of 9?
False
Let u(t) = 11*t**2 - 275*t - 351. Is 13 a factor of u(60)?
False
Let z be (4/(-12))/(-2 - 13/(-6)). Is z/5*-5 - -13 a multiple of 15?
True
Let s = 9 + -6. Let a(q) = -2*q**3 - 11*q**2 - 15*q - 40. Let k(r) = r**3 + 5*r**2 + 8*r + 20. Let n(o) = s*a(o) + 5*k(o). Is 5 a factor of n(-8)?
True
Suppose -17*o - 11384 + 57522 = 0. Is 90 a factor of o?
False
Let i = -3547 + 6099. Does 22 divide i?
True
Let w = 98 + -96. Suppose -18*d + 8300 = w*d. Is d a multiple of 71?
False
Suppose -4*i + 5*i = 4*n + 135, 5*n + 5*i + 200 = 0. Let t = -44 - n. Let j(m) = -4*m - 13. Is j(t) a multiple of 10?
False
Let h(z) = z**2 - z - 1. Suppose 0 = -2*l - 18 + 16. Let b be h(l). Is 5 a factor of (b*-38 - 1)*-1?
False
Suppose 24*b = 9*b + 1485. Let j = 393 - b. Does 49 divide j?
True
Suppose 69 = 3*b - 54. Suppose b*z - 43*z = -18. Let r(u) = 13*u + 30. Is r(z) a multiple of 21?
True
Suppose 7*f + p + 6 = 3*f, -2*p = -3*f + 1. Let g(j) = 1385*j**2. Let s be g(f). Suppose 3*k = 8*k - s. Is k a multiple of 42?
False
Let u = -2016 - -3555. Is 19 a factor of u?
True
Let q = 119 + -106. Let c = 13 - q. Suppose c = -n + 74 + 10. Does 14 divide n?
True
Let g = 492 - 488. Suppose 2*l - 2*b = 2130, l - g*b + 8*b = 1085. Is 57 a factor of l?
False
Let a = -261 - -7887. Is a a multiple of 18?
False
Let q(m) = -10230*m + 2196. Is q(-3) a multiple of 174?
True
Let g(r) = 11*r - 11. Let k be g(4). Suppose 0 = 4*p + k - 473. Suppose j + 43 = p. Is 30 a factor of j?
False
Suppose -76 + 28 = -8*j. Is 16 a factor of (-6)/16 - (j + 61938/(-48))?
False
Is (-36)/(-4860)*27 + (-138399)/(-5) a multiple of 160?
True
Suppose -3*m - 3 = 0, 16*m - 15*m = 3*a - 29275. Is a a multiple of 26?
False
Let p(i) = -2*i**2 + 34*i + 19. Let h(t) = -5*t**2 + 103*t + 56. Let c(y) = -3*h(y) + 8*p(y). Is 19 a factor of c(-11)?
False
Let m = 45 + -47. Is 2*m - (-154)/((-9)/(-9)) a multiple of 82?
False
Let k(o) = 11*o**2 - 56*o - 15. Let h = 473 - 461. Is k(h) a multiple of 23?
True
Let o(m) = -m**3 + 8*m**2 - 5*m - 7. Let n be 4/((-8)/14)*-1. Let l be o(n). Does 43 divide 1/((-3)/(-486)) + l + -6?
False
Let q(d) be the third derivative of -d**6/60 - d**5/20 + d**4/24 + 7*d**3/6 + 8*d**2. Let u be q(-4). Let w = -32 + u. Is 7 a factor of w?
False
Let n(w) = w**2 - 117*w - 347. Is 16 a factor of n(-56)?
False
Let t = 2084 - 519. Suppose t = 8*v + 197. Is 19 a factor of v?
True
Let v(l) = -3*l - 4. Let p be v(-2). Does 32 divide (p*192)/((-2)/(-5 - -3))?
True
Let n be 4/(6/(-3))*278/4. Let o = 255 + n. Is o a multiple of 22?
False
Let k be (-104 + -4)*2*(-21)/9. Let o = k - 262. Does 28 divide o?
False
Suppose 31*c + 47*c = 14586. Is 11 a factor of c?
True
Suppose -43 - 163 = -q - n, 0 = -n + 2. Is 3 a factor of q?
True
Let w be 1236/62 + (-20)/(-310). Let m(a) = a**3 + 4*a**2 - a + 1. Let y be m(-4). Suppose -5*j + 260 = -5*o, -y*o = -o + w. Does 47 divide j?
True
Suppose -52*v + 53*v - 5975 = 4*o, -2*v + 3*o = -11955. Is v a multiple of 24?
False
Let g be (-8)/(-24) - (224/(-12) - -3). Suppose 4*n + 4*q = 5*q + 11, 12 = -4*q. Suppose n*y = 76 + g. Is 23 a factor of y?
True
Is 6*6/(192/58384) a multiple of 41?
True
Let a = -29511 + 44471. Is a a multiple of 187?
True
Let g(l) = -4*l**3 - 8*l**2 + 43*l - 15. Let k be g(-8). Suppose -3*i - 63*f + 886 = -59*f, -f = 4*i - k. Does 6 divide i?
True
Is 28 a factor of ((-257 + 7)*1)/((-5)/50)?
False
Let a(s) = 102*s + 12. Let n be a(6). Let y = n - 244. Suppose -o - j = -125, -y = -3*o + 4*j - 2*j. Does 9 divide o?
True
Let c(i) = 66*i**2 + 98*i - 354. Is 47 a factor of c(-25)?
True
Let i(m) be the second derivative of m**5/5 + 2*m. Suppose 35*p = 26*p + 27. Is 26 a factor of i(p)?
False
Let f be (-126)/15 + 8 + (-2098)/5. Let p = 472 + f. Is p a multiple of 4?
True
Let f = 5 - -19. Let m = 24 - f. Suppose m = c - 12. Is c a multiple of 6?
True
Let t(f) = 5*f**2 + 7*f + 1. Let a be t(5). Let h be (24/(-48))/((-1)/(-16)) - -735. Suppose -3*g - 5*d - a + h = 0, 0 = d - 4. Does 26 divide g?
True
Let b be 2/(-9) - (-12894)/189. Let f = b + -60. Is 2 a factor of f?
True
Let f(k) = 16*k**2 - 8. Let g be f(-5). Let u be 11/33 - (g/6)/(-2). Suppose 28*o - u*o + 390 = 0. Is 7 a factor of o?
False
Let j(v) = 58*v - 2. Let u be j(7). Suppose -2*w + u = 3*s, -w - s - s = -204. Let n = w - 39. Is n a multiple of 21?
False
Let d(b) = -3*b**3 - 19*b**2 + 3*b + 1. Let p be d(-7). Suppose -3*y + p = 3*y. Is y a multiple of 4?
False
Let c be 2 - (5 - 10 - 3/(-3)). Let w be (5 + -4 - 3)*(-9)/c. Suppose 3*f = 3*z + 2*f - 31, 43 = w*z - 4*f. Is z a multiple of 2?
False
Let f = -8619 - -15