 Does 12 divide w?
False
Let w(u) = 2*u**2 - 62*u + 8. Is w(41) a multiple of 4?
True
Suppose 2*h = -2*h - 2*h. Suppose 0 = 5*z - g - 24, -5*g + h*g = 4*z + 4. Suppose z*o + d - 255 = 0, -5*o + 204 = 5*d - 111. Is o a multiple of 16?
True
Let n(d) = 72*d - 3206. Does 10 divide n(113)?
True
Let b(h) be the third derivative of h**3 + 7/24*h**4 + 0 + 1/12*h**5 - 25*h**2 + 0*h. Is b(-6) a multiple of 16?
True
Suppose -6*j - 28*j = -10*j - 190584. Is j a multiple of 11?
False
Let r = 1400 - -6748. Does 21 divide r?
True
Let u = 3710 - 3150. Is 7 a factor of u?
True
Let x = -24 - -28. Let p be 42/(-28)*x/3 - 151. Let g = p - -251. Is 17 a factor of g?
False
Let s(q) = 707*q**3 + 4*q**2 - 82*q + 79. Is s(1) a multiple of 3?
True
Let t(o) = 9310*o - 8716. Is 36 a factor of t(10)?
True
Suppose 0 = 5*t - 20, 4*t = 143*y - 142*y - 3524. Does 10 divide y?
True
Let j(n) be the second derivative of n**4/2 + 11*n**3/6 - 4*n**2 - 36*n. Let h be j(7). Let b = -210 + h. Is b a multiple of 9?
True
Let j(h) be the third derivative of h**5/10 + h**4/24 - h**3/6 + h**2 + 12. Is j(-4) a multiple of 13?
True
Suppose -3*v - 28503 = -3*b, -2*b - 40*v = -48*v - 19038. Is 9 a factor of b?
True
Let a(i) = -i**3 - 8*i**2 - 2*i - 12. Let z = -32 - -24. Let h be a(z). Suppose 2*v + h*v = 216. Does 8 divide v?
False
Suppose 0 = 4*r - 24 - 20. Suppose 54 = -2*y + r*y. Is (-1 + -1)/((-6)/y)*56 a multiple of 56?
True
Let f(b) = 967*b**2 + 82*b + 375. Is f(-5) a multiple of 31?
False
Let c(l) be the third derivative of -21*l**2 - 7/2*l**3 - 5/12*l**4 + 0 + 0*l. Is 12 a factor of c(-6)?
False
Let r = -415 - -411. Is (1 - (r - -4)) + (1 - -553) a multiple of 16?
False
Let c be (-1 + -1)*(-11)/(77/42). Suppose 0 = w + 9 - c. Suppose -w*l - 3*l = -1014. Is l a multiple of 13?
True
Let o(k) = k**3 - k**2 + 7*k - 18. Let g be o(2). Let a(d) = -5*d + 62. Is 9 a factor of a(g)?
False
Suppose -8*x - 4*n = -5*x - 5464, 2*x - 4*n - 3676 = 0. Is 10 a factor of x?
False
Let l(b) = 9*b - 36. Let j be l(4). Suppose -9*r - 5*i = -13*r + 1524, j = 2*i. Does 46 divide r?
False
Let k(r) = 5*r**2 + 5*r - 2. Suppose -2*y + 16 = 10. Let c(v) = -2*v**3 + 7*v**2 - 3*v - 3. Let w be c(y). Is k(w) a multiple of 13?
False
Suppose 3*t + 27 = 2*q - 59, 0 = 5*t + 20. Suppose 0 = -2*l - 5*j + 194, 9*l = 4*l + 4*j + 518. Let b = l - q. Is b a multiple of 7?
False
Suppose 4*a = 2*u - 840, 665 + 599 = 3*u - 2*a. Let g = u - -3. Is 15 a factor of g?
False
Let i = 257 - 212. Suppose -5*p + n = -237, -2*n = p - 3*n - i. Does 17 divide p?
False
Suppose 0 = 4*b + 4*p - 14692, 0 = -3*b + p + 3*p + 10984. Suppose b = -41*z + 55*z. Does 32 divide z?
False
Let o be (-3)/2*(-16)/3. Let b(p) = 2*p**3 - 16*p**2 + 3*p - 20. Let r be b(o). Suppose 630 = 7*s - r*s. Is 42 a factor of s?
True
Let f(o) = -o**2 - 2*o - 3. Let h = 51 + -54. Let d be f(h). Is ((-3)/d)/((-4)/96*-4) a multiple of 3?
True
Suppose 4*q = -2*u + 96, 5*u + q - 341 + 65 = 0. Let n(h) = 4*h - 3. Let j be n(3). Suppose -j*f = -8*f - u. Is 14 a factor of f?
True
Suppose -4*r + 4 = -5*j - 14, 0 = 4*r + 5*j + 2. Is (-1)/r - -1 - 1554/(-28) a multiple of 28?
True
Let i be ((-1200)/14)/(((-174)/(-420))/(-29)). Suppose i = 188*x - 168*x. Does 30 divide x?
True
Let k = -6396 + 22908. Does 96 divide k?
True
Suppose -154*n + 2422910 = 895230. Is 160 a factor of n?
True
Let m = 6191 - -2574. Does 113 divide m?
False
Suppose -4*c + 87 = -5*p, 0 = -2*c - 2*p + 7*p + 41. Suppose -11 + c = 6*y. Suppose -y*a - a = -24. Is a even?
True
Is (20/10)/((-3)/(26775/(-6))) a multiple of 9?
False
Let s = -233 - -393. Suppose 0 = 2*p - 2*r - 305 - 31, 0 = p + r - s. Is p a multiple of 16?
False
Suppose -26*n = -53859 - 26351. Does 75 divide n?
False
Let v = -2783 + 8892. Is v a multiple of 13?
False
Let k = 148 + -104. Suppose f = -42 + k. Suppose -336 = -f*d - 12*d. Does 6 divide d?
True
Let a be 186/15 - (-2 + (-24)/(-10)). Let o be (-2 + -2 - a)*30/(-8). Let r = o + -29. Does 9 divide r?
False
Let d(v) = -v**2 + 4*v + 1. Let j be d(3). Let n be (-1)/(3/9*-1). Is 8 a factor of j + -4 + n + 77?
True
Suppose 2*k = 6, -d - 3*k + 0*k = -34. Let s(n) = -d + 25 + 106*n. Is 27 a factor of s(1)?
False
Let b = 1595 - 1370. Is b a multiple of 2?
False
Let j(q) = -5797*q - 1544. Is 28 a factor of j(-4)?
True
Let o = 62 - 46. Suppose o*f - 11*f = -40. Does 11 divide 4/f*(-5)/(5/264)?
True
Let k = -44 - -41. Let r be k/(-6)*4*2. Suppose -r*j = 4*j - 432. Is j a multiple of 9?
True
Is 104 a factor of ((-1664)/6)/(8*(-21)/12600)?
True
Suppose 564*x = 567*x - 6045. Is x a multiple of 13?
True
Let v(y) = -4*y + 28. Let a be v(7). Suppose 264 = -a*k - 6*k. Let t = 77 + k. Is 11 a factor of t?
True
Let x = -1573 + 4048. Is 8 a factor of x?
False
Suppose -27660 - 9242 = -4*h + 2*s, h + 5*s - 9242 = 0. Does 34 divide h?
False
Let b(a) = 484*a + 23. Let s be b(3). Suppose -5*m = -5*r - s, 0 = 12*r - 10*r - 4. Is m a multiple of 11?
True
Suppose 0 = -j + 2*l - 294, 4*j - l = -3*l - 1206. Let a = j + 354. Is a a multiple of 5?
False
Let f be 7/(-14)*-2 + -136. Does 47 divide f/18*(2 + 120/(-9))?
False
Suppose 4*d + m = 658 - 1951, -5*d - 2*m - 1614 = 0. Let a = -633 - d. Let u = -188 - a. Is 49 a factor of u?
False
Let t(x) = -6*x**3 - 33*x**2 + 31*x + 16. Does 20 divide t(-14)?
False
Let i(o) = -o**2 + 34*o - 28. Let m be i(33). Suppose 2*t = 4*q + 133 - 2343, 2*q + m*t = 1075. Is 11 a factor of q?
True
Let j(g) be the first derivative of g**4 - 7*g**3/3 + g**2 + 15*g - 55. Is 61 a factor of j(6)?
False
Suppose 3*q + 2*r = 73, 4*r - 8 = -2*q + 30. Let l be -12 - 2 - 12*(-12)/36. Let x = q + l. Is x a multiple of 8?
False
Let a = 6 - 2. Suppose -a*x = -11*x + 154. Suppose -3*t = -o - x - 7, 5*o - 35 = -3*t. Does 10 divide t?
True
Suppose 8*h - 12 = 12. Suppose -3*a - 4*b - 4 = 0, 0 = -4*a + b + 4 - h. Suppose -k + 54 - 9 = a. Is k a multiple of 14?
False
Let b(i) = i**3 - 7*i**2 - 19*i + 1. Suppose -19 = -4*v + 17. Let p be b(v). Does 30 divide 2/p + (-2205)/(-36)?
False
Suppose -k = -p + 6*p + 20, -4*k = 4*p + 16. Suppose 2*u - 111 = 3*c, 2*c - 4*c + 6 = k. Suppose 4*l - u = 2*l. Does 15 divide l?
True
Let g be -2*(-5)/((-20)/8)*-2. Suppose g = 4*i + l + 26, -l + 2 = 0. Let w(d) = 3*d**2 - 2*d + 11. Is 16 a factor of w(i)?
True
Suppose 4*n - 6*n - 118 = 0. Let v(l) = -22*l - 4. Let u be v(3). Let i = n - u. Is i a multiple of 7?
False
Suppose 0 = 7*n - 2*n - 295. Suppose -8*t + n = 251. Let z = -3 - t. Is 6 a factor of z?
False
Let z(f) = 2*f**3 + 143*f**2 - 247*f + 68. Is z(-72) a multiple of 20?
False
Suppose 4*g + 4*c = 24, -4*g - 2*c + 25 = 7. Suppose -g*r + 5*h = -170, -4*h + 0 - 16 = 0. Let p = r + 3. Is 11 a factor of p?
False
Suppose 96672 = 39*v - 49968. Is 80 a factor of v?
True
Let n(z) = -z**2 - 2*z + 71. Let a be n(8). Does 12 divide (-7 - a - 37)*(0 - 3)?
False
Let k = 228 - 444. Let a = -693 - -688. Does 15 divide (a/4)/(3/k)?
True
Suppose -4*m + 3740 = p, -2*m = -2*p - 0*p + 7480. Is 10 a factor of p?
True
Suppose 81*h = 119505 + 163347. Is h a multiple of 41?
False
Let u = 3314 + 4222. Is u a multiple of 20?
False
Let h = 5 + -3. Suppose 2*z + 2*t = 2, -5*z + h*t + 37 - 4 = 0. Suppose 0 = 5*j - 5*c + c - 287, -z*c + 95 = 2*j. Does 15 divide j?
False
Does 51 divide (-390)/273 + 106826/14?
False
Let o = -14857 - -20973. Is 278 a factor of o?
True
Suppose 149 = 7*g - 264. Is 26 a factor of g + ((-16)/(4/(-1)) - 2)?
False
Let g be (-1 - -2)*(20 + -17). Is (1/9*6)/(g/1899) a multiple of 20?
False
Suppose -566028 = -54*g + 501282. Is g a multiple of 6?
False
Let y(t) = -t**2 - 7*t + 4. Let z be y(-7). Suppose 3*o + 166 = z*o - 3*j, 150 = o + j. Let d = o - 86. Is d a multiple of 15?
False
Suppose -4*v + 12 = -4*h - 0, -4*h - 14 = -2*v. Is 23*(v/(-1) + (-12)/(-4)) a multiple of 22?
False
Let b(p) = p**2 + 3*p - 49. Let d be b(5). Let k(h) = -h**2 - 3*h - 2. Let q be k(-4). Is (1 - 0)*117*q/d a multiple of 13?
True
Suppose 630*d = 635*d - 18210. Does 4 divide d?
False
Suppose -2*v - v = h - 11, -3*h - 11 = -2*v. Suppose 4*y - v*u + 5*u = -184, 0 = -3*u. Let q = y + 100. Is 18 a factor of q?
True
Suppose -106 = 5*b - v, 21 = -b + 5*v - 5. Let z(a) = -450*a + 219. Let x(j) = -45*j + 22. Let k(y) = b*x(y) + 2*z(y). Does 25 divide k(4)?
False
Let h = -19265 + 32285. Does 70 divide h?
True
Suppos