Let w be c(20). Let x be (-1 + -1)*(-35)/w. Suppose 0 = 12*k - x*k - 25. Does 2 divide k?
False
Let u(n) = 14*n**3 - n. Let j be u(1). Suppose -9*k + j*k = 28. Suppose -k*w + 4*w = -15. Does 4 divide w?
False
Let d be (-20645)/(-255)*6/2 + 68/578. Suppose 452 = 4*y - 0*y. Let u = d - y. Is u a multiple of 10?
True
Let c(y) = 6*y + 32*y**2 - 18*y**2 + 4 + 12*y**2. Is c(-3) a multiple of 22?
True
Suppose 1322176 = 164*t + 119*t. Is t a multiple of 8?
True
Let s = -46 + -137. Let w = s + 245. Is w a multiple of 8?
False
Let y(b) = 19*b**3 - 7*b**2 - 65*b + 463. Is y(6) even?
False
Suppose 76*s + 3801096 = 232*s. Is 262 a factor of s?
True
Suppose -3*h + 0*k + 23744 = -4*k, -h - 5*k + 7883 = 0. Let f be -1*-3*20/4. Does 21 divide h/90 + 2/f + 2?
False
Let m(f) = -f**3 - f**2 + 266. Suppose 6*h = 14*h. Does 19 divide m(h)?
True
Let u = 24606 - 16408. Does 24 divide u?
False
Is 11 a factor of (-3 - 12)/((-16)/2112)?
True
Let l(d) = -d + 15. Let u be l(13). Suppose 0 = u*k - 8 + 18, -2*f - 3*k + 447 = 0. Does 4 divide f?
False
Let h(n) = 218*n**2 + 5*n + 1. Let q be h(-1). Suppose 2*i = 4*x + q, 2*x + 567 = 8*i - 3*i. Let a = 35 + i. Is 14 a factor of a?
False
Let q be (-4*(-9)/(-30))/(6/30). Let w be 0 - 0/(-2 - q). Suppose -6*u + 248 + 238 = w. Does 27 divide u?
True
Suppose -5*o + 22 - 2 = 0, 4*o + 514 = -2*n. Does 3 divide (n*(-6)/30)/1?
False
Is ((-36)/(-5))/((-10359)/1480 - -7) a multiple of 12?
True
Let u = 2335 + -949. Is u a multiple of 139?
False
Let f(w) = -20*w + 355. Let v be f(18). Let h(j) = 16*j**2 + 14*j + 83. Is 6 a factor of h(v)?
False
Suppose -498 = -4*l - 3*w, 9*l + w = 7*l + 250. Suppose 3*d + 32 = -2*f + 150, 5*d - l = -2*f. Is f a multiple of 53?
True
Suppose -21*o + 58*o = -27*o + 652032. Is o a multiple of 32?
False
Suppose 0 = 19*u - 196847 + 2838. Is u a multiple of 27?
False
Suppose -7*n - 2*n + 198 = 0. Let s(v) = 2*v**3 - 44*v**2 + 5*v + 6. Does 29 divide s(n)?
True
Let d(w) be the first derivative of 8*w**3/3 + 4*w**2 + 28*w + 227. Does 67 divide d(-6)?
True
Let m(c) = 444*c - 11992. Is m(54) a multiple of 7?
True
Let v(q) = 38*q**2 + q - 261. Does 14 divide v(17)?
True
Suppose 35*n - 63945 - 153265 = 0. Does 30 divide n?
False
Let k(a) = -120*a**3 + 6*a**2 + 10*a + 5. Let y = 583 + -585. Is k(y) a multiple of 69?
False
Let v be (40/(-25))/4 + 113710/25. Suppose -24*h + 828 + v = 0. Does 28 divide h?
True
Suppose 6*y = 72 + 132. Let x(o) = -17*o + 5. Let q be x(-4). Let c = y + q. Does 21 divide c?
False
Let i(n) = -n**3 - 2*n**2 + 3. Let s be i(0). Suppose 0 = -s*w + 11*w + 40. Is 8 a factor of (-158)/w + (-16)/(-40)?
True
Suppose -3*k - 2*x = -235, -5*x + 55 + 45 = k. Suppose k - 79 = 4*w. Is 29 a factor of (-1647)/36*(6/(-2) + w)?
False
Let t(u) = u**3 + 16*u**2 + 26*u - 41. Let n be t(-14). Is (-61 + 2)*(n - -12) a multiple of 14?
False
Let r(a) = -5*a**2 + 3*a. Let z be r(2). Let y = -30 + z. Is 9/(18/(-4))*y a multiple of 8?
True
Suppose 2*d = 4*w + 2, 5*d + 4*w + 11 = 2. Let n(x) = -10*x**2 + 2*x + 1. Let r(h) = -h**2 + 1. Let s(l) = d*n(l) + 3*r(l). Is s(5) a multiple of 35?
False
Suppose -q + 49 = 4*z, z = -q + 47 - 1. Suppose -92*k = -10293 + 2565. Let r = q + k. Is 17 a factor of r?
False
Suppose 0 = 14*n - 23*n + 3942. Let s = -346 + n. Is 17 a factor of s?
False
Suppose -68*p + 70*p = 5*k - 25, 0 = -5*p - 2*k + 10. Suppose 3*o - 522 = -3*x, 5*o - x + 4*x - 872 = p. Does 3 divide o?
False
Let v(n) = -n**3 - 15*n**2 - 11*n + 3. Let y be v(-12). Let m = 552 + y. Does 15 divide m?
True
Let d be (-88)/(0 + (-2)/(-8)). Let o = -5185 - -4631. Let i = d - o. Does 31 divide i?
False
Let o(b) = -934*b + 283. Does 57 divide o(-6)?
False
Suppose -4*h + 306 = 2*i, -5*h = -2*h - 4*i - 257. Let q = 84 - h. Does 14 divide (q - 45/5)/((-1)/7)?
True
Suppose -b + 8*b = 0. Suppose -22 = -4*p + 3*o, -4*p + b*o + 18 = -o. Suppose -281 = -0*q - 3*q + 5*i, 5*q - 490 = p*i. Is q a multiple of 17?
True
Let w(n) = 22*n**3 - 5*n**2 + 15 - 9*n + 24*n**3 - 45*n**3. Let g be w(7). Suppose 0 = x - 5*m - g, -2*x + 5*m + 100 = m. Is x a multiple of 25?
True
Let u(h) be the first derivative of -h**4/2 - 2*h**3 - h**2 + 6*h - 74. Does 16 divide u(-9)?
False
Let a = 31002 + -15600. Is 102 a factor of a?
True
Let y(j) = -45*j - 23. Let w be y(-1). Let x(c) = 61*c - 172. Does 45 divide x(w)?
True
Let h(u) = u**2 - 23*u - 60. Let o = -27 + 67. Does 19 divide h(o)?
False
Suppose 3*h = -13 + 10, -5*z - 4*h + 91 = 0. Suppose z*m - 27846 = 2*m. Does 42 divide m?
True
Let g = -232 + 122. Let i = g - -212. Does 17 divide i?
True
Let u = -2300 + 7074. Does 33 divide u?
False
Let f be (1886/69)/(4/(-6)). Let m = -37 - f. Is 2 a factor of m?
True
Is 96 a factor of 15/9 + (-3 - 0 - (-110924)/33)?
True
Suppose 9*g + 7*g - 32 = 0. Suppose 5*l = -5*i + 3340, l - 6*l + 3331 = g*i. Is 35 a factor of l?
True
Let l(j) = -9*j**2 - 5*j - 11. Let f(c) = -17*c**2 - 10*c - 20. Let k(h) = 2*f(h) - 5*l(h). Is 8 a factor of k(-4)?
False
Let q = -2746 - -2868. Is q a multiple of 10?
False
Suppose 11*d = 434 + 677. Suppose 0 = d*x - 98*x - 312. Does 13 divide x?
True
Let s = 74686 - 44094. Is s a multiple of 32?
True
Suppose -m - 4*o - o + 0*o + 4005 = 0, 0 = -o. Does 29 divide m?
False
Let f(v) = 20*v - 28*v**2 + 108 + 29*v**2 - 7*v. Does 10 divide f(-18)?
False
Let o = -6442 - -8892. Is o a multiple of 49?
True
Suppose 1105851 = 134*j + 221451. Is 75 a factor of j?
True
Let f be -532 + (-10)/(-4)*(-78)/65. Let p = -499 - f. Is p a multiple of 12?
True
Let z = -11089 + 27251. Is 5 a factor of z?
False
Let w = 396 + -355. Suppose w*i - 44*i + 2*a = -85, 3*i - 97 = -a. Is 8 a factor of i?
False
Let g be ((-4 + 2157)*-2)/(-1). Suppose 367 - g = -13*s. Is 8 a factor of s?
False
Let n(f) = 946*f**2 - 575*f - 2909. Is n(-5) a multiple of 54?
False
Let x be ((-3)/(-9) - 1)*-3. Suppose x*v + 641 - 1975 = 0. Suppose 4*b = 3*b + 2*r + 135, 5*b = 2*r + v. Does 18 divide b?
False
Suppose -4*l + 20644 = 5*v, 3938 = -2*l + 4*v + 14234. Is 4 a factor of l?
True
Let h = 24103 + -22379. Is 18 a factor of h?
False
Suppose 3*n + 5*d = 2245, 2*d + 4 = -2*d. Let r = n - 1157. Is 3 - (-87)/(-27) - r/9 a multiple of 15?
True
Suppose 56*m - 58*m + 10086 = -3*y, 2*y - 20156 = -4*m. Does 28 divide m?
True
Let w = -2571 + 3342. Is 14 a factor of w?
False
Suppose 5*b = b + 32. Let i(q) = 5*q**2 + 27*q + 103. Let z(c) = -2*c**2 - 9*c - 36. Let a(x) = -4*i(x) - 11*z(x). Is 10 a factor of a(b)?
True
Let q(a) = -a**3 - 4*a**2 - 3*a + 4. Let d be q(-3). Suppose b - 6 = -d*o - b, -5*b = 4*o + 3. Suppose o*y - 160 = -y. Is 8 a factor of y?
True
Is 7 a factor of (3 - (-118)/6)/(25*(-54)/(-180225))?
False
Let p = 4388 + -1592. Does 5 divide p?
False
Let q(j) = j**2 - 43*j + 133. Let y be q(44). Let u = 210 - y. Is u a multiple of 33?
True
Let s = 306 - -16. Let l = s + 78. Is l a multiple of 40?
True
Let y(b) = -7*b + 106. Let t be y(4). Suppose -84 = -3*c + 2*v, 3*c - 5*v - t = 15. Does 13 divide c?
True
Suppose 5*o - 2*q - 19 = 0, -2*o = -4*o - 3*q. Suppose u - 42 = -o*z, 2*u + z - 94 = -u. Does 6 divide u?
True
Let i(g) = g**2 - 5*g - 11. Let v be i(5). Let p(h) = 6*h + 10. Let l be p(v). Let a = -18 - l. Does 14 divide a?
False
Let o be (-16)/288 + 10531/18. Suppose 8*r = 3455 + o. Is 12 a factor of r?
False
Let o(l) = l**3 + 7*l**2 - 2*l + 5. Let z be o(-4). Let r be 1/(1/(-1)*4/(-56)). Let m = z + r. Is 15 a factor of m?
True
Suppose 966 = 6*y + y. Suppose -g = -4*t + 135, -t + 2*g = 3*t - y. Does 11 divide t?
True
Let z be -2 - (1 + 0)/(16/1376). Let n = z + 184. Suppose -n = -4*i + 132. Is 17 a factor of i?
False
Let b(x) = 49*x**2 + 166*x + 20. Is b(-19) a multiple of 71?
True
Let k = -131 - -53. Let d be ((-2 - -3) + 0)*k/6. Let b(f) = -3*f - 11. Is b(d) a multiple of 7?
True
Suppose 0 = -3*k + 5*k + 8. Let n = 3 + k. Let g(p) = 14*p**2 - 2*p - 2. Is 7 a factor of g(n)?
True
Suppose 237*r - 212*r - 121975 = 0. Is r a multiple of 119?
True
Suppose -3*f + 244 = 2*g, -g - 2*f + 76 + 47 = 0. Does 2 divide g?
False
Suppose -2*u = 5*n - 4*n - 4049, -5*n + u = -20201. Is 156 a factor of n?
False
Suppose 100*k - 165494 = -9*m + 99*k, -5*m = 3*k - 91924. Is 7 a factor of m?
True
Let m be 5 - 6/6*0. Suppose 5*b - 8210 = 5*i, m*b + 3*i - 897 - 7345 = 0. Does 13 divide b?
False
Suppose -3*a + 12*a - 558