 - 71*c**2 + 201*c + 9. Does 54 divide k(3)?
True
Let b(o) = -o**3 - o**2 + 4*o + 4. Let a be b(-3). Let g be ((-7)/a - 5/(-25))*-8. Suppose -g*s - 139 = -5*w, -112 = -4*w - 0*w + 4*s. Is w a multiple of 12?
False
Is 4 a factor of (1 - 0)*(-1)/(-13)*9347?
False
Suppose l = -6*l - 2884. Let a = -90 - l. Suppose -4*c = 3*c - a. Does 7 divide c?
False
Suppose 132336 = 5*l + 4*a, 26467 = l - 18*a + 19*a. Is 255 a factor of l?
False
Suppose -9 = -t - 1. Suppose t = -3*f + 7*f. Suppose f*b = -4*x + 68, -35 = -b - x + 4. Is 11 a factor of b?
True
Suppose 17*y = 433 - 110. Suppose -11*p - 3496 = -y*p. Does 16 divide p?
False
Is 3/(-21) - (-141122)/14 a multiple of 8?
True
Suppose 22*u = 164386 + 220614. Does 250 divide u?
True
Suppose 3*s - 2053 = -4*m + 2575, 2*m - 4*s - 2292 = 0. Is 9 a factor of m?
False
Let n = 26915 + -23731. Is n a multiple of 63?
False
Let g(p) = 11*p + 175. Let z(l) = 7*l**2 + 7*l - 7. Let c be z(2). Is 7 a factor of g(c)?
True
Suppose 11*h = 6*h + 55. Suppose -13*u + 10 = -h*u. Suppose 4*w + 4*d - 248 = 152, u*w - 500 = -2*d. Is w a multiple of 25?
True
Suppose 121*m - 360249 - 265200 = 0. Does 87 divide m?
False
Let r be 4*(27/(-6))/3. Let w(b) = -b**2 - 5*b + 15. Let m be w(r). Suppose m*p - 360 = 6*p. Does 15 divide p?
True
Suppose -2 + 3 = -b. Let h be 3 - (b + -3 - 15). Suppose -14*d = -h*d + 560. Does 35 divide d?
True
Suppose -7*w + 44 = 9. Does 14 divide (4/w)/((-15)/(-4725))?
True
Let t(n) = -2022*n - 5316. Does 376 divide t(-18)?
False
Suppose -21*p = -55548 - 38532. Does 40 divide p?
True
Let d(t) = 7*t + 15*t - 36*t - 2 + 11*t. Let o be d(6). Let n = o + 90. Is n a multiple of 14?
True
Let q(t) = 3*t**2 - 7*t + 28. Let v = 300 - 296. Is 3 a factor of q(v)?
True
Suppose -3*v + 53 = -d, -d + 25 = -6*d. Suppose -6 = 5*t - v. Suppose t*h + 25 = 105. Is 7 a factor of h?
False
Suppose -27*o + 117761 + 112845 = 47789. Is 61 a factor of o?
True
Is 13 a factor of (-8)/(112/(-103202)) + 16/(-28)?
True
Let f = 67 - 25. Suppose 4*u - 3*r - 26 = 0, 16 = 4*u + 3*r - r. Suppose u*s = 128 + f. Is s a multiple of 17?
True
Let s be (0 - -2)*-3*1. Let r be s/(-10) - 891/(-15). Suppose 52*i = 57*i - r. Is i even?
True
Suppose 61*s - 71*s + 13857 = 2797. Is s a multiple of 4?
False
Suppose 0 = -n - 2*f + 10, 0 = n - 0*n - 2*f + 10. Suppose -5*o + 16*o - 429 = n. Is o a multiple of 12?
False
Let w(j) = -13 + 37 - 500*j + 481*j. Is w(-4) a multiple of 20?
True
Let g(j) = 8*j**3 + 4*j**2 - 4*j. Let o be g(2). Does 16 divide (o/10)/(6/160)?
True
Suppose -3*t = -5*s - 90426, -59*t = -63*t + 3*s + 120568. Does 41 divide t?
False
Suppose -21 = h - 28. Let o(q) = -258*q + 6. Let i be o(h). Is 15 a factor of ((-6)/(-8))/((-10)/i)?
True
Let i = 416 - -3367. Is i a multiple of 2?
False
Suppose 7 = -4*p - 1, 3*d - 3*p = -234. Let t = -76 - d. Suppose 0 = t*j - 4*g - 368, 4*j + 0*j - 3*g - 363 = 0. Is 11 a factor of j?
False
Let j(h) = -109*h + 5*h**3 - 97*h - 5*h**2 + 210*h. Is j(5) a multiple of 40?
True
Suppose 0 = 12*a - 41*a + 65569. Is a a multiple of 7?
True
Let y = 3012 - 1556. Is y a multiple of 4?
True
Let r = 867 + 7. Does 38 divide r?
True
Let m = 13657 - 9511. Does 64 divide m?
False
Let i(o) = 88*o**2 - 4*o - 26. Let d be i(-3). Let s = d + -317. Does 17 divide s?
False
Let v be ((-2)/6 + 0)*0. Suppose -7*b + 10 - 549 = v. Let r = -29 - b. Is r a multiple of 12?
True
Let j = -16 - -11. Let k be (41 + -2 - j) + -2. Is 3/18 + 1127/k a multiple of 2?
False
Let w = -5777 + 8344. Is w a multiple of 10?
False
Suppose 95461 = 34*n - 73281. Is 141 a factor of n?
False
Let u be (-2)/8*(-39 - -39). Suppose -10*h + 25*h - 2775 = u. Is h a multiple of 37?
True
Suppose 0 = -5*g - 5*z + 1750, -10*z - 1018 = -3*g - 5*z. Is (-10 - -7)/((-2)/g) a multiple of 24?
False
Suppose 5 = 2*y - 2*c + 5*c, -2 = 2*c. Suppose -y*h + 1241 = -3*s, -2*h + 396 = 5*s - 205. Suppose 7*w + 0*w = h. Is w a multiple of 14?
False
Let r be (7 - (-20)/(-5)) + 11. Suppose -122 = 5*n + o + r, -5*o = 2*n + 59. Does 20 divide (-546)/n + (-4)/18?
True
Is (-62)/((-2)/28*-3*6/(-18)) a multiple of 3?
False
Let u be 1/((-8)/2) - (-365)/4. Suppose u - 11 = 4*x. Suppose x = -3*d - 4*t + 166, 0 = -t - 1. Is 10 a factor of d?
True
Suppose 5*x - 2*t = -454, 3*x + 261 + 13 = 2*t. Does 70 divide ((-28)/(-6))/((-272)/x - 3)?
True
Let d(i) = i**3 + 5*i**2 + 4*i + 3. Let p be d(-4). Let z be (-12)/(-6) - 0/(0 + p). Suppose 0 = -2*c + 8, -j + z*j + 2*c - 217 = 0. Does 37 divide j?
False
Let b(g) = -g**2 + 13*g - 17. Let u(s) = -s**3 + 3*s**2 + 10*s - 6. Let i be u(5). Let f be (-3)/i + 51/6. Is 19 a factor of b(f)?
True
Let p be 0*(0 - (-5)/5). Let d = p - -2. Suppose -b - 3*o - 2*o + 19 = 0, -4*o = d*b - 62. Is 6 a factor of b?
False
Let a = 8532 + -7279. Is 5 a factor of a?
False
Suppose -2*v - 700 - 3740 = -3*v. Is v a multiple of 6?
True
Let l be (-70)/(-5)*(-10 - 34). Let f = -158 - l. Is f a multiple of 25?
False
Suppose 19*y - 57*y - 1786 = 0. Let t = y + 125. Is 11 a factor of t?
False
Suppose -5*y + 10667 = 4*r, -4*r + 655*y - 658*y + 10669 = 0. Is 23 a factor of r?
True
Let y(l) = l**3 + 11*l**2 + 30*l + 16. Let f be y(-7). Let a(k) = -k - 2 + 0*k - 5*k**2 + 23*k**2. Does 17 divide a(f)?
True
Let i(v) = -14*v - 11. Let s(g) = -12*g - 12. Let l(b) = -4*i(b) + 3*s(b). Is l(6) a multiple of 16?
True
Is (-4)/20*(62 + -19047) a multiple of 14?
False
Let g be (-39)/(-6)*8*4. Suppose 5*h = 2*m - g, 209 = -5*h + 5*m - 4*m. Let v = h + 64. Does 22 divide v?
True
Let q(c) = c**3 - 6*c**2 + 4*c - 30. Let x be q(6). Let w(l) be the third derivative of l**5/10 - 5*l**4/12 - 2*l**3/3 - 5*l**2. Is 16 a factor of w(x)?
True
Is 1789210/430 + (-88)/(-1892) a multiple of 19?
True
Let f be (3/(-6) + 1)*6. Let g(c) = c**3 - 4*c**2 + 11*c - 37. Let w be g(4). Suppose f*r + 172 = w*r. Is 9 a factor of r?
False
Let m(w) = -9*w - 10 - 7*w + 72*w. Let c be m(6). Suppose 3*r - 2*q - c = 0, 5*r + q + 14 = 553. Is 27 a factor of r?
True
Let c(h) = -h**2 - 6*h - 1. Let p be c(-3). Let b = 119 - 115. Suppose 1038 = b*g - 2*s, 5*s - p*s + 1023 = 4*g. Is 43 a factor of g?
True
Let d = -6695 + 11741. Is 17 a factor of d?
False
Suppose p = -5*i + 1615, i - 2*p - 146 = 188. Let m = 609 - i. Is m a multiple of 17?
False
Let o(i) be the second derivative of 9*i**4/2 + 3*i**3/2 + 6*i**2 - 172*i. Is 42 a factor of o(-5)?
False
Suppose 2*t + 15847 - 5012 = 13*t. Is t a multiple of 9?
False
Suppose -37*n = -39*n + 2854. Suppose -l + 79 + 208 = -2*b, n = 5*l - 2*b. Is l a multiple of 11?
False
Suppose 280 = 5*x - 45. Suppose 4*u + 5*j = 202 + 133, 0 = u - 5*j - x. Is 6 a factor of u?
False
Let x be 1988/44 + -1 - (-6)/(-33). Suppose -f + 5*f = -x. Is 10 a factor of 3*-1*-8 + (-13 - f)?
False
Let i(d) = -d**3 + 10*d**2 - 12*d. Let a = -86 - -93. Is i(a) a multiple of 5?
False
Let w = -4282 - -7932. Is w a multiple of 24?
False
Suppose 0 = -16*n + 18*n + 2*r - 58118, -3*n - 5*r + 87185 = 0. Does 7 divide n?
False
Let q = -428 - -428. Let v(a) = -a**2 + 6*a + 5. Let t be v(5). Suppose 5*r = t, -2*h + r + 178 = -q*r. Is h a multiple of 20?
False
Suppose 0 = 5*x - 5*h + 18816 - 184796, 0 = 2*h + 8. Does 12 divide x?
True
Suppose 203 = -5*d - 5*g - 172, 3*d + 2*g + 228 = 0. Is d/(4*(0 + 3)/(-6)) a multiple of 3?
True
Let x(r) = -r**2 - 7*r + 14. Let l(q) = q - 7. Let i(g) = g - 1. Let d(p) = 4*i(p) + l(p). Let v be d(1). Does 10 divide x(v)?
True
Let p = 2034 - 1822. Is p a multiple of 4?
True
Does 24 divide (1 + (-4709)/85)/(6/(-135))?
True
Let g be 3*4/6 - (-2 - 7). Let p(n) = n**3 - 11*n**2 + 2*n - 20. Let w be p(g). Suppose 0 = w*a + a + 9, 3*k - a = 18. Does 4 divide k?
False
Suppose 0 = k + 4*l + 9, -4*k - 3*l - 2 = -5. Suppose -k*x + 21 = 5*w - 4, -w + 7 = x. Does 3 divide x?
False
Let r(v) be the second derivative of -v**5/20 - v**4/6 + 3*v**3 - 3*v**2 - 146*v. Let k = -21 + 15. Does 9 divide r(k)?
False
Suppose -722 = 7*m + 2274. Let u = m - -1360. Does 50 divide u?
False
Let j = -91 - -94. Suppose -4*v + 1908 = y + j*y, 2*y = v - 465. Is 43 a factor of v?
True
Suppose -49*u + 251256 = -20*u. Does 24 divide u?
True
Suppose 29*t + 1921 = 33*t - 3*u, 0 = 3*t - u - 1447. Does 2 divide t?
True
Suppose 96*t - 100*t - 876 = 0. Let n = t - -475. Is 32 a factor of n?
True
Let h(x) = 12*x**3 - 11*x**2 + 31*x + 314. Does 289 di