 0*h - 2*s + 1116 = 0, 288 = h - 4*s. Suppose -26 - 4 = -3*f. Suppose -5*t = -f, 5*n + 8*t = 3*t + h. Does 9 divide n?
True
Suppose 8 = -0*j + 4*j. Suppose -u = -4*h + 2*u + 220, j*h - u - 108 = 0. Is h a multiple of 14?
False
Suppose 5*c - 40 = 3*i - 105, 0 = 5*i + 3*c - 131. Is i even?
False
Suppose 1305 = -4*c + 3*n + 4914, 2*n - 2711 = -3*c. Is 21 a factor of c?
True
Let o(b) be the second derivative of b**5/20 - 5*b**4/6 - b**3/2 + b**2 - 15*b. Is o(11) a multiple of 13?
False
Let r(o) = o**3 - 9*o**2 - 16*o + 3. Is 4 a factor of r(11)?
False
Suppose -6925 = -5*x + 39*z - 38*z, -x - 3*z + 1401 = 0. Is x a multiple of 11?
True
Suppose -q - 4*m = -323, 5*q + 378*m - 373*m = 1600. Is q a multiple of 45?
False
Let m be (-6)/(-8) + 13055/140. Let o(h) = -32*h + 6. Let k be o(-6). Suppose -2*c = l - m, -4*c + k = -l - 2*l. Is c a multiple of 16?
True
Suppose 0 = 2*j + 5*j - 35. Suppose -j*s - 15 = -135. Does 4 divide s?
True
Let v = 725 - 500. Is v a multiple of 25?
True
Is 2*((-1 + -3)*-43 - -1) a multiple of 49?
False
Suppose 0 = -5*z - 10*c + 14*c + 5170, 5*z - 5*c - 5175 = 0. Does 40 divide z?
False
Suppose -33*u + 29*u + 20 = 0. Suppose -2*c = -u*p - 316, 0 = -5*c + 3*p + p + 756. Is 49 a factor of c?
False
Let y(p) = p. Let h(q) = 3*q - 5. Let x be h(2). Let z(u) = -8*u. Let m(l) = x*z(l) - 4*y(l). Is 24 a factor of m(-4)?
True
Suppose -4*i = 28*o - 32*o + 8528, 5*o - 2*i - 10663 = 0. Is o a multiple of 9?
True
Let c(x) = -435*x - 201. Is c(-4) a multiple of 9?
True
Suppose 3*s = 2*w + 3, -4*w - 1 = 3*s + 32. Let f(h) = h + 1. Let c(d) = -d**2 - 9*d + 4. Let g(x) = c(x) + f(x). Is 8 a factor of g(w)?
False
Suppose -2*n + 13 = 5*s - 4*s, s - 1 = 2*n. Let o(c) = c - 1. Is o(s) a multiple of 3?
True
Let o be 4 - (0 - 1)*1. Suppose -o*i + 92 = 3*g, 0 = -g - 2*g - i + 76. Is 8 a factor of g?
True
Let y(f) = f**3 - 7*f**2 - f + 7. Let w be y(7). Let t(q) = q + 4. Let x be t(-6). Is 3 + 5 + x - w a multiple of 2?
True
Suppose -i - 50 = k, -5*k = -0*k - 4*i + 250. Let v = 132 - k. Is 26 a factor of v?
True
Suppose -15*k + 16*k = 52. Let m = k - 24. Is 11 a factor of m?
False
Let h be 2/10 - 6/30. Suppose h*d - 5*d = -210. Is d a multiple of 17?
False
Does 38 divide ((-1)/(-2))/(11 + (-55566)/5052)?
False
Let q = 1445 - 500. Does 27 divide q?
True
Let a(p) = 3*p**2 - 8*p - 57. Does 3 divide a(9)?
True
Suppose 5*s = 2*s + 102. Let v = s - -51. Is v a multiple of 17?
True
Let o(b) = -2*b. Suppose 0 = -12*p + 15*p + 66. Does 10 divide o(p)?
False
Let o(y) = y**3 - 6*y**2 - 7*y - 5. Let r be o(7). Let w(i) = 2*i**2 + 3*i - 7. Let n be w(r). Suppose 8 = -4*j + n. Is 5 a factor of j?
True
Let f(w) = -4*w**2 + 4. Let z(x) be the second derivative of 11*x**4/12 - 13*x**2/2 + 4*x. Let h(g) = -7*f(g) - 2*z(g). Is 26 a factor of h(-3)?
True
Suppose 144*x = 133*x + 33792. Is 24 a factor of x?
True
Let z(w) = -7*w - 8. Let f be z(-4). Suppose -3*k + f - 2 = 0. Let j = k + 3. Is 7 a factor of j?
False
Let p = 85 - -1742. Is p a multiple of 21?
True
Suppose -2*q = -185 - 155. Suppose j + q - 59 = 0. Let z = 173 + j. Is 11 a factor of z?
False
Let g(r) = -6 - 20*r + 11*r + 5*r - 25*r. Does 39 divide g(-7)?
False
Let r be (-3 - -7) + 2 + -2. Suppose 0 = j + 2*w - 91, 5*j + r*w = j + 348. Is 40 a factor of j?
False
Let k be -10*1 + 44/22. Is 9 a factor of 2/k - (-936)/32?
False
Is 4 a factor of 3930/10*3*2/18?
False
Suppose i + 18 = -5*a + 98, 2*i - 4*a = 174. Is i a multiple of 12?
False
Let y = 65 - 62. Suppose y*v + 104 = 5*v. Is v a multiple of 26?
True
Let b(x) = 3*x**2 - 4*x - 17. Let a be b(5). Let f = 2 - -1. Suppose 5*o - 45 = -f*d, 3*o + 2*d - a = -o. Is o a multiple of 6?
True
Let b(d) = 2*d + 24. Let t be b(-12). Suppose 5*q - 692 = -2*m - 219, t = -5*q + 2*m + 457. Is 24 a factor of q?
False
Let m(t) = -62*t**2 - 4*t - 3. Let x be m(-1). Let w = x + 155. Is w a multiple of 10?
False
Let u(z) be the first derivative of -2*z + 4 - 1/4*z**4 - 3*z**3 - 6*z**2. Does 10 divide u(-8)?
True
Let k(m) = 3*m**2 - m + 2. Let t = -15 - -18. Let v be 20/12 + t/9. Is 4 a factor of k(v)?
True
Let y(f) = -f**3 + 7*f**2 - 5*f - 4. Let j be y(6). Suppose 0*m + j*m = 0. Is 17 a factor of (-3 - m)*155/(-15)?
False
Let y(k) = -k**2 + 8*k - 12. Suppose 4*b = -1 + 25. Let i be y(b). Is 25 a factor of 1 - (i - (46 - -3))?
True
Let r = 138 - 270. Let k = r + 186. Does 5 divide k?
False
Let p be (-3*(-6)/15)/((-3)/(-10)). Suppose 0 = -2*m + 3*a + 138, -p*m + a + 221 = -m. Is 25 a factor of m?
True
Let s = -4 + 22. Suppose s = -3*x + 4*x. Is x a multiple of 8?
False
Let w = -16 - -7. Is ((-24)/w)/(2/18) a multiple of 13?
False
Let v(m) = m**3 - 17*m**2 + 10. Let y be v(17). Does 8 divide ((-192)/(-20))/(2/y)?
True
Let u be 47 + (4/8)/(-1)*0. Suppose 3*z - 36 = -3. Let t = u - z. Does 12 divide t?
True
Let u(r) be the second derivative of -13*r**4/12 - 5*r**3/6 + 57*r**2/2 - 5*r. Let i(h) = 3*h**2 + h - 14. Let j(b) = -9*i(b) - 2*u(b). Is 5 a factor of j(0)?
False
Let i(f) = -f**3 - 18*f**2 + 17*f - 31. Let s be i(-19). Suppose s*r = 155 - 43. Is r even?
True
Let h(o) = o**2 - 18*o + 68. Let n be h(6). Let u(f) be the second derivative of -5*f**3/6 + 3*f**2/2 - f. Does 4 divide u(n)?
False
Suppose 8*p = 7*p + 1. Let l be (p - 0)/((-1)/(-4)). Suppose -q = l*q - 230. Does 15 divide q?
False
Let j(n) = 11*n**3 - 2*n**2 + 3*n - 6. Let h(z) = -2*z**2 + 16*z - 12. Let g be h(7). Does 15 divide j(g)?
False
Let r(z) = -z**3 - 21*z**2 + 28*z - 68. Is r(-24) a multiple of 7?
False
Let t(j) = -j + 5. Let k be t(8). Let o be 0/((k + 0)/(-3)). Suppose -65 = -4*c + 3*g, o = -4*c - 6*g + g + 73. Is 17 a factor of c?
True
Let w(h) = 4*h**2 + 20*h + 29. Let a be w(-13). Suppose -5*d - 3*q + 308 = -3*d, -3*d + 4*q + a = 0. Does 35 divide d?
False
Suppose 3*z - 2*b - 34 = 0, -z - 2*b = 3*b. Let q be ((-2)/(-4))/(z/(-160)). Let r = q - -28. Is 8 a factor of r?
False
Let y = 87 + -53. Let k(v) = -20*v. Let i be k(1). Let c = y - i. Does 16 divide c?
False
Let p(z) be the first derivative of z**2 - z - 4. Let b be p(2). Suppose -u = -5*t - 5 + 120, -39 = -t - b*u. Is t a multiple of 15?
False
Suppose -3*d = 4 + 14. Is 24 a factor of 2/6 - 430/d?
True
Let c = -470 + 737. Is 13 a factor of c?
False
Suppose -403 + 43 = -6*k. Let m = 103 - k. Does 20 divide m?
False
Suppose 0 = -o + 1 - 4. Let s(r) = r + 7. Let h be s(o). Does 25 divide -2 + 0 + h + 48?
True
Suppose -4*y = 2*l + 2, 3*l - 4*l = -3*y + 1. Let h = 63 + l. Does 6 divide h?
False
Let y be (2*-1)/(5/(-140)). Suppose 2*w = -2*p + y, p = 5*w - p - 126. Is 26 a factor of w?
True
Does 20 divide (6 + 4)*7/(42/108)?
True
Let m(f) = f**3 + 40*f**2 + 22*f - 32. Is 50 a factor of m(-39)?
False
Let t be (23 - 197)/((-3)/2). Is (0 - -4) + -1 + t a multiple of 8?
False
Let f(a) = a**3 - 6*a**2 + 8*a - 32. Let v(z) = z**2 - 11*z + 26. Let r be v(9). Is 10 a factor of f(r)?
True
Is 11 a factor of (-3)/(-7) + (-566400)/(-420)?
False
Let t be (-36)/(-108) - ((-220)/6 - 0). Let j = t + 143. Is j a multiple of 20?
True
Suppose -x + 356 = -5*x. Let k = x - -125. Suppose m + 5*b = k, 3*m + 2*b - 104 = -9. Does 23 divide m?
False
Let r(p) = 10*p**3 + p**2 + p - 1. Let y be (2 - 5)*(-2)/2. Suppose 2*w = y*q + 8, -4*w = -0*q + q - 2. Is 11 a factor of r(w)?
True
Let c(m) = -m**3 - 2*m**2 - 4*m - 7. Let g be c(-3). Does 45 divide -6*(0 - -9)*(-35)/g?
True
Suppose 0 = -12*a + 11*a - 165. Let x = a + 368. Is x a multiple of 11?
False
Let q(f) = -f**3 - 4*f**2 - 6*f - 6. Let h be q(-4). Does 22 divide 138 - ((-14)/10 + h/45)?
False
Let l(y) = -5*y**3 - 7*y**2 - 9*y - 31. Is l(-5) a multiple of 15?
False
Suppose -24 + 114 = -2*k. Let n = 17 + k. Let r = -10 - n. Is r a multiple of 9?
True
Suppose 2*i - 3*i + 97 = 5*s, -391 = -3*i + 5*s. Suppose -6*a + 910 = -i. Is a a multiple of 43?
True
Suppose 0 = -260*f + 258*f + 346. Let b = f + 23. Is b a multiple of 14?
True
Let z(k) = 166*k - 110. Is z(11) a multiple of 78?
True
Suppose -30 = j - 3*m, -4*j + m - 185 = 2*m. Let n = j - -181. Does 16 divide n?
False
Is (-36 - -35)*(0 + (-21 - 2)) even?
False
Suppose 0 = 2*r - w, -2*r + 5*r + 2*w = 0. Does 14 divide r - 0 - -39 - -3?
True
Let c(g) = -g**3 + 9*g**2 - g + 12. Let p(k) = -k**2 + 11*k - 1. Let l be p(10). Is c(l) a multiple of 3?
True
Let p(i) be the third derivative