. Let o(k) = 97*k**2 + 11*k + 26. Let l(d) = 5*h(d) - 7*o(d). Let r(p) be the first derivative of l(p). Is r(1) a multiple of 21?
True
Let d(m) = 902*m - 5172. Is d(18) a multiple of 24?
True
Let x(a) = 20*a - 14. Let u be ((-6)/(-2))/(10 - 7). Is 3 a factor of x(u)?
True
Suppose -594 - 3766 - 4123 = -17*h. Does 23 divide h?
False
Let h(v) = 3*v**3 + 3*v**2 + 6*v + 4. Let u be h(-2). Let w = u - -25. Suppose -w*r + 120 = -2*r. Is r a multiple of 20?
True
Let d(u) = -96*u**3 - u - 6. Let p be d(-2). Suppose -4*c - 5*b = -p, c = 3*c - b - 396. Suppose t + o = 2*o + 51, -4*t - 4*o + c = 0. Is 10 a factor of t?
True
Suppose 177*a - 8903 = 14107. Let f(y) = 24*y + 2. Let l be f(-3). Let s = a + l. Is s a multiple of 20?
True
Suppose 88*p + 365 - 1069 = 0. Let z(w) = -w**2 + 9*w - 8. Let k(c) = -c**2 + 10*c - 7. Let h(u) = 5*k(u) - 4*z(u). Is 9 a factor of h(p)?
True
Let d(o) = -3*o**2 - 29*o - 28. Let h be d(-8). Is 796 - 24/9*(-18)/h a multiple of 10?
True
Let s be 108/9*(-1)/(-4)*1. Does 6 divide s/6*(0 - -104)?
False
Let y(b) = -8*b**2 + 17*b**2 - 3 - 7*b**2 + 4*b - 10*b**2 + b**3. Let i be y(4). Let v = i - -142. Is 37 a factor of v?
False
Let z(g) = -30*g - 686. Is 13 a factor of z(-59)?
False
Let l(x) = -x + 20. Let d be (-7)/28 + (-122)/(-8). Let f be l(d). Suppose f*m - 14 = 2*m + 5*o, -2*m + 2*o = -12. Does 4 divide m?
True
Let f = 70 + -68. Let p be (16/6 - 2)/(f/15). Suppose -4*a = -4*i + 520, -p*a + 10*a + 114 = i. Does 13 divide i?
False
Suppose 29*a - 84 = 15*a. Does 20 divide ((-8)/a)/(3475/(-1155) + 3)?
False
Let v(g) = 4*g + 2 - 38*g**2 + 25*g**2 + 14*g**2 - 281*g**3. Is 10 a factor of v(-1)?
True
Suppose -a - 4*b + 30214 = 0, -386*a + 30277 = -385*a - 5*b. Does 7 divide a?
False
Let h = 48 + -60. Let l(c) = 2*c**2 + 9*c - 16. Let k be l(h). Suppose 7*z - k = 2*z - i, 2*i = 2*z - 68. Is 5 a factor of z?
False
Let u(w) = 108*w - 1588. Is 25 a factor of u(33)?
False
Suppose 0*k = 4*v + 5*k + 8821, v = 2*k - 2202. Is 8 a factor of (v/12 + -3)*-3?
True
Let h(s) = 2*s**2 - 3*s - 3. Let v be h(9). Suppose 16*n = -135 + 183. Suppose -n*l + 24 = w, -6*l + 3*l - v = -3*w. Is w a multiple of 3?
True
Let h be 49674/(-24) + 4 - (-1)/(-4). Let t = h + 3628. Does 52 divide t?
False
Suppose -4*g + 38 = -3*d + 16, -5*g = d - 18. Suppose -g*c - 20*c + 9456 = 0. Does 7 divide c?
False
Let g = 17 - 19. Let r(h) = -h - 1. Let t be r(g). Does 17 divide (2 - t)*(0 + -102)/(-3)?
True
Let g = -63 + 69. Suppose -o - 622 = -3*w, o - g*o = 5. Does 23 divide w?
True
Let d(p) = 3 + 7*p**2 + 5 - 5*p**2 - 17*p - 6. Is d(14) a multiple of 26?
True
Let j = 232 - 242. Let q = 144 + -221. Let o = j - q. Is o a multiple of 14?
False
Let a = -82 + 34. Suppose -4*j + 617 = -263. Let x = j + a. Is x a multiple of 14?
False
Let b(p) = 4*p + 20. Let t be b(-4). Let i(l) = -l**2 - 3*l + 28. Let x be i(t). Suppose -6*c - 3*c + 774 = x. Is 11 a factor of c?
False
Suppose 0 = 11*v - 159153 - 3009. Does 24 divide v?
False
Let w be 2/8 + (-99)/(-36). Suppose d - 235 = -w*d - c, -4*d + 241 = -5*c. Suppose -13 = 2*y - d. Is 4 a factor of y?
False
Suppose -10*s - 8488 = -30358. Suppose 393 + s = 15*k. Does 3 divide k?
False
Let q be (-12)/3 + (-20)/(-2). Suppose 78 = -q*t + 9*t. Suppose t*r - 190 = 24*r. Is 13 a factor of r?
False
Let m(c) = 7*c**2 + 88*c - 1370. Is 33 a factor of m(31)?
True
Let h = -19 - 71. Let t = h - -110. Does 10 divide t?
True
Let h = 24751 - 12742. Does 10 divide h?
False
Suppose -2053*w + 24071 = -2050*w + 1775. Is w a multiple of 16?
False
Is 36 a factor of 6465/5 + (6/(-114) - (-370)/(-190))?
False
Suppose -2*h + 12442 = 3*v, -14884 = -3*v - 5*h - 2436. Is v a multiple of 59?
False
Suppose 0 = 3*t - 3*j - 30, 2*j + 2*j = -4*t + 16. Suppose -3*q = -t*q + 48. Suppose 1982 = q*b + 398. Is 12 a factor of b?
True
Suppose -3*w + 4*c = -68, -4*w + 2*c = -0*w - 104. Suppose z + 25 = w. Suppose 25 = -5*g, -5*m + z*g = 521 - 1761. Is 35 a factor of m?
True
Is (5829 - -15) + (-28)/(-6) + 4/(-6) a multiple of 87?
False
Suppose -2*p - 6 = 10. Let n(j) = -j**3 - 8*j**2 - 2*j - 16. Let t be n(p). Suppose t*q - q = -140. Does 20 divide q?
True
Let n = -56 + 4886. Is n a multiple of 35?
True
Does 10 divide ((-19277)/(-74))/(2/(-10))*-16?
True
Let r(j) = -j**3 - 4*j**2 + 5*j - 2. Let n be r(-5). Let h be ((-3 + (-3)/(-6))*n)/1. Suppose h*f - 2*t - 340 = -0*f, -5*f = 2*t - 320. Is f a multiple of 11?
True
Let h = 4956 - -512. Is 23 a factor of h?
False
Let c be 1/(-3) + 7/3. Suppose 0 = 3*v + 3*l + 12, c*l + l + 13 = -2*v. Is (-10230)/(-40) + v/4 a multiple of 15?
False
Suppose 0 = 7*c + 11 - 88. Suppose b + 0*b = c. Suppose 374 = 5*q - b. Does 32 divide q?
False
Let a = -13637 - -25968. Does 59 divide a?
True
Let z(b) = -20*b**3 + 8*b**2 + 8*b - 21. Is 91 a factor of z(-5)?
True
Let y(r) = 2*r**3 + 20*r**2 - 25*r + 10. Let w be y(-11). Suppose 47*k - 1120 = w*k. Is k a multiple of 28?
True
Let b(i) = -4*i - 9. Let o be b(-3). Suppose 8*s - 3 = 7*s - q, -o*q = -3*s - 3. Is 7 a factor of (1 - (-86 + s)) + -2?
True
Suppose -147*o = 148*o - 708885. Is o a multiple of 22?
False
Let o(z) = 5*z**2 - 6*z - 4. Let a be o(-4). Let h = 182 + -228. Let i = h + a. Is i a multiple of 27?
True
Suppose -4*m - 4 = -2*t, -16 = 5*t - m + 1. Let z = t + -1. Does 14 divide 57/z*(-6 + 1)?
False
Let f = 42 + -40. Suppose 46 + 82 = f*i. Suppose -2*c + i + 56 = 0. Is 6 a factor of c?
True
Let q(i) = 6*i**3 + 392*i**2 + 127*i + 212. Is 15 a factor of q(-65)?
False
Let l(n) = 269*n**2 + 133*n - 886. Is l(10) a multiple of 180?
False
Suppose 3*n + 10 = -3*i - 14, 3*i + 32 = -4*n. Let d(f) be the first derivative of f**4/4 + 11*f**3/3 + 17*f**2/2 + 3. Is d(n) a multiple of 8?
True
Let t(m) be the first derivative of 22 + 0*m**2 - 25*m + 2/3*m**3. Is 22 a factor of t(-9)?
False
Let r = 5156 - 3705. Is r a multiple of 14?
False
Let i(j) = 95*j**2 + 4*j + 17. Let w be i(-4). Suppose 2*b - 2025 = -4*v - 3*b, 3*b = -3*v + w. Is 15 a factor of v?
True
Suppose -30*n + 890262 - 191652 = 0. Is 46 a factor of n?
False
Suppose -4*s + 9427 = -5*r, s + 2*r = 1614 + 733. Is 13 a factor of s?
True
Let a(w) = -w**3 + w**2 + w + 1. Let x(b) = 13*b**3 + 2*b**2 + 7*b + 12. Let k(r) = -3*a(r) - x(r). Is 43 a factor of k(-3)?
False
Suppose o = 3*d + 18, -2*d + 1 = -5*o + 26. Is (-1990)/(-10) - (o - 0 - -1) a multiple of 24?
False
Let t(i) = 14*i + 700*i + 14 + 13 - 37. Does 22 divide t(1)?
True
Let h(y) = -y**2 + 5*y + 8. Let q be h(6). Suppose -4*p = g - 587, p - 155 = q*g - 5*g. Suppose 0 = 3*s - p - 118. Is s a multiple of 10?
False
Suppose -254*x + 496600 = -124*x. Is x a multiple of 105?
False
Let g(a) = 26*a**2 - 6*a + 5. Let x be g(1). Does 14 divide x*(0 - -6) + 4?
True
Let l(q) = q**2 - 16*q + 30. Let s be l(14). Suppose s*c - 3 = -f - 0, -f = -c. Let v(n) = 65*n**2 + 3*n - 2. Is 33 a factor of v(f)?
True
Suppose 4*c - 35*s + 39*s = 45952, 2*c - 13*s = 22946. Does 51 divide c?
False
Let n = -263 + 268. Suppose -7*w + 10*w - 437 = -n*b, 5*b = -w + 129. Does 74 divide w?
False
Suppose -3*y = -6 - 0. Suppose -19*h + 2210 = -y*h. Does 26 divide h?
True
Suppose 0 = 44*o - 46*o + 2*a - 20, -2*a = 6. Let n(m) = -4*m + 5 - 9*m + 3*m - m. Does 19 divide n(o)?
False
Suppose 0 = -f - 8*l + 241, -3*f = -2*f - l - 214. Is f a multiple of 28?
False
Is (-247)/(-1)*((-8 - -22) + -1 + 2) a multiple of 65?
True
Suppose -2*r = 8, 5*r - 8472 = 101*g - 105*g. Does 7 divide g?
False
Suppose -22*f = 12*f - 77*f + 343914. Does 93 divide f?
True
Let p = 4476 + -4300. Is p a multiple of 8?
True
Let t be (12/(-15))/((-4)/(-70)). Let p = t + 239. Suppose -o = 4*o - p. Does 5 divide o?
True
Suppose 33*i = 3*q + 28*i - 164521, -q = 3*i - 54845. Is q a multiple of 26?
False
Let f(h) = -h**3 + 13*h**2 + 15*h - 16. Let a be f(14). Let b be (-3 + a)/5 + (2 - 7). Is 14 a factor of 1 - 4600/(-24) - (-4)/b?
False
Let j = -4788 - -7098. Is 6 a factor of j?
True
Suppose 2*q + 3*m = -q + 27, 5*q + 4*m = 46. Suppose -2829 = -q*d - 299. Is d a multiple of 36?
False
Let h(j) = j + 1. Let w be h(0). Let x(c) = 5*c - 14 + 16 - 6*c + 6*c**2 - 3*c. Is x(w) a multiple of 4?
True
Let q(y) = 2*y - 8. Let v(u) = -u**3 + 4*u**2 + 10*u + 19. Let f be v(6). Let i be q(f). Is 12 a factor of i/(-10)*-1 - 1611/(-15)?
True
Suppose -3*h + 2740 = 5*n + h, 0 = -5*n 