 4*u**2 + 4*u - 1. Let w be d(-3). Let l(v) = 11*v**2 + 10*v + 35. Is 19 a factor of l(w)?
True
Let i = 12656 + -5136. Is i a multiple of 20?
True
Let c(w) = 3*w + 37. Let p be c(11). Suppose -34*q + 32*q = -p. Is q a multiple of 2?
False
Let b(z) = -z**3 - z**2 + z + 1. Suppose 0 = -3*l - 1 + 4. Let u(f) = -55*f**3 - 5*f**2 + 3*f + 3. Let k(c) = l*u(c) - 4*b(c). Is 10 a factor of k(-1)?
True
Suppose 0 = 3*r - 5*y + 40, 5*r + 5*y - 10 = 2*r. Let s(l) = -37*l - 9. Let f be s(r). Does 33 divide 27/12*f/3?
True
Let l = -3547 - -19434. Does 12 divide l?
False
Is 8 a factor of (-640)/512 + 68709/4?
True
Let i(x) = x**2 + 26*x - 1372. Is i(30) a multiple of 14?
True
Let q = 56 + -52. Suppose -4*y + 3*s + 11 = 0, q = 4*y + 4*s - 0. Suppose -c - p = -0 - 9, 0 = -4*c + y*p + 42. Does 5 divide c?
True
Let f = -168 + 180. Suppose f*y - 2617 = -925. Is y a multiple of 6?
False
Let d(c) = c**3 - 9*c**2 + 15*c - 20. Let m = -81 - -86. Suppose 0 = 4*s + m*v - 47, -5*s + 13 = -5*v - 12. Does 12 divide d(s)?
True
Let g = 17 - 40. Suppose -2*j + 5*j = -4*p - 25, 5*j = 4*p + 1. Let u = j - g. Does 13 divide u?
False
Let g be ((-3)/3)/((-25)/(-375)). Is (528/10)/(9/(-675)*g) a multiple of 33?
True
Let i(c) = 30*c - 10. Let p(n) = 2*n - 29. Let z be p(16). Suppose -g + 4*l + 3 = 0, 4*g - 4*l + z*l - 12 = 0. Does 16 divide i(g)?
True
Let m be (0 + (2 - 4))*112/7. Does 13 divide (0 + -4 + m/(-6))*267?
False
Let u(i) = 4 - 3 - 3*i + i + 5*i**2 + 0*i. Let s be u(1). Suppose -s*z = -7*z + 114. Is z a multiple of 4?
False
Let s = 185 + -77. Suppose s = 19*z - 18*z. Does 17 divide z?
False
Let w(u) = 19*u**2 + 2*u + 3. Let c be w(-3). Let n(j) = j**3 + 18*j**2 + 16*j - 14. Let i be n(-17). Suppose -9*h + c = -i*h. Is h a multiple of 14?
True
Suppose -108*s + 1266949 + 4751 = 0. Does 75 divide s?
True
Suppose -10*w - 142*w + 4013963 = -790757. Is 29 a factor of w?
True
Let y be 140/(-21)*-7*15. Does 6 divide y/15*(-54)/(-21)?
True
Let s = 128 - 123. Suppose -13*p = -s*p - 16. Suppose 5*z = 4*z - 5*n + 152, -4*z + p*n + 608 = 0. Is 38 a factor of z?
True
Let v(i) = -i**2 + 2*i. Let n be v(-6). Let b be -85 + 18/9*-2 + 5. Let a = n - b. Is 9 a factor of a?
True
Suppose -2*a = 5*n + 3, 0*a - 2*a + 5*n = -27. Let i(m) = 0 - 3*m + m**3 + a - 4*m + 6*m. Does 15 divide i(3)?
True
Suppose 4*t - 77*p = -74*p + 102680, -4*t + 5*p + 102664 = 0. Is t a multiple of 57?
False
Suppose 5*u = 3*c - 11834, u - 8 = -9. Is 173 a factor of c?
False
Let a = -1036 - -1769. Suppose 3*k + 4*n - 1407 = 0, -2*n + 1626 + a = 5*k. Does 56 divide k?
False
Let i = 748 - 737. Let v = i - -409. Is 10 a factor of v?
True
Let k(m) = m**3 + 12*m**2 + 35*m + 105. Let z be k(-11). Let q(a) = -a**2 - 2*a - 3. Let c be q(-2). Is (z - c)*(-3)/9 a multiple of 4?
True
Let x = 2837 - -255. Is 239 a factor of x?
False
Suppose -48*m = -55*m + 14. Suppose -m*z + a + 1197 = 257, z = 3*a + 475. Is 7 a factor of z?
True
Suppose 17*v + 1094 = -4*l + 15*v, -v = -5. Let t = l + 563. Is t a multiple of 14?
False
Suppose -3*l + 660 = 7*l. Let q = -57 + l. Suppose 0 = -21*g + q*g + 312. Does 5 divide g?
False
Suppose -2*r = 29*r + 744. Does 17 divide (3*(-482)/r)/((-7)/(-56))?
False
Suppose 32*i - 10994 = 9*i. Suppose -18 = -5*r - 4*g + i, -5*g + 95 = r. Does 6 divide r?
False
Suppose -16*t - 46331 = -71*t + 171524. Does 51 divide t?
False
Let g(m) = -m**2 - 8*m + 35. Let c be g(3). Suppose 0 = -5*v + c*p - 0*p + 597, v - 4*p - 105 = 0. Is v a multiple of 11?
True
Let s(r) = -r**2 - 54*r + 175. Suppose 181 + 143 = -6*w. Is 7 a factor of s(w)?
True
Let j(k) = -k**3 - 8*k**2 + 7*k - 17. Let m be j(-9). Suppose -10*u = -m - 19. Suppose 0 = n + 5*y - 45 + 5, 0 = -u*n - 2*y + 80. Is 8 a factor of n?
True
Let g(x) = -2*x**3 - 24*x**2 - 20*x + 15. Suppose 31*w - 7*w = -336. Is 23 a factor of g(w)?
False
Suppose -414 = -45*p + 39*p. Suppose 0*q + p = -o + 2*q, 5 = q. Let c = o + 91. Is 4 a factor of c?
True
Let w = -78 + 166. Suppose -w*d + 83*d = -4560. Is d a multiple of 57?
True
Let r(n) = -5*n - 27*n**2 + 8*n**2 - 40 - 32*n**3 + 0*n + 31*n**3. Let c = -143 - -124. Is 5 a factor of r(c)?
True
Does 49 divide (8137 + 50)*(-10)/(-15)?
False
Let n = 52 + -43. Suppose -n = 5*a + 11. Is -2 - (a - (1 + 2)) a multiple of 3?
False
Let j = -2385 - -4103. Is 34 a factor of j?
False
Let s be (-1)/(-7) - 58/14. Suppose -f + 8*q - 5*q - 47 = 0, 4*q = -5*f - 273. Does 7 divide (-30)/(-40) + f/s?
True
Let k(h) = -6*h**2 + 2*h**2 + 34 - 4*h + 17*h**2 - 10*h. Is 31 a factor of k(6)?
False
Suppose 3*u + 32 = -109. Let c = u - -62. Suppose 4*h - 1 = c, -t - 5*h + 68 = 0. Is t a multiple of 4?
True
Does 17 divide (-8808)/(-8) + 8 + -10?
False
Let b be (0 - 1)/(4 + 78/(-18)). Suppose -5*l = -5*k + 1025 + 465, 870 = b*k + 3*l. Is 18 a factor of k?
False
Suppose b = -0*b + 5*l + 6, 0 = -b - 3*l + 14. Let p = b + -6. Suppose -g + 124 = p*q, q - 40 = -0*q - 4*g. Does 8 divide q?
True
Let i(t) = 10*t**3 - t**2. Let o be i(2). Let r be (-96)/16*(-1)/(-3). Is -3 - (r/(-2) - o) a multiple of 18?
True
Let x = -74 - -69. Let g = -1 - x. Suppose -3*u + 4*q = 236 - 844, 0 = -g*q + 16. Is u a multiple of 29?
False
Let w = 10338 - -314. Is w a multiple of 7?
False
Suppose 0 = -3*p - c + 28, 5*c - 12 = p - 0*p. Suppose p*a - 42 = 11*a. Let f = 102 + a. Is 11 a factor of f?
True
Suppose 8*z + 308 = z. Let t = z - -47. Suppose 0*h + 2*h + 4*o = 30, 0 = -3*o + t. Does 13 divide h?
True
Let v(o) be the third derivative of -o**6/60 - 2*o**5/15 + 7*o**4/24 + 4*o**3/3 - 6*o**2. Let p be v(-7). Let q = p - 181. Does 18 divide q?
True
Suppose -16*k - 9481 = -53977. Suppose 0 = l + 3*u - 815, -k = -3*l + 2*u - 303. Does 51 divide l?
False
Let l(b) be the third derivative of b**4/4 + 3*b**3 - 7*b**2. Let r be l(-3). Suppose -x + 82 + 24 = r. Does 25 divide x?
False
Let f = -118 - -45. Let h = f + 148. Does 9 divide (-2 + 0)/(h/85 + -1)?
False
Suppose b = 2*v + 8 - 14, 0 = 5*v + 4*b - 2. Let t(f) = 9*f**3 + 4*f**2 - 2*f - 2. Is t(v) a multiple of 7?
False
Suppose 80*d - 1422033 - 2402402 = -1174515. Is 169 a factor of d?
True
Suppose -100*d - 727352 = -123*d. Is d a multiple of 118?
True
Suppose t - 5*y + 2 = 0, -2*y + 0 = -t + 4. Suppose -3*p - 131 = i, i - 3*i = 10. Does 6 divide t/((4/(-6))/(p/18))?
False
Let h be 42*(-7 + 2)/5. Suppose -21*p = -16*p + 280. Let o = h - p. Does 7 divide o?
True
Suppose -42*y = -40*y + o - 1121, -5*y - 2*o = -2800. Let j = y - 38. Is j a multiple of 13?
True
Let s(i) = -i**2 + 5*i - 40. Let j be s(10). Let y be 2*18/j*50/(-4). Suppose -2*a + 1533 = y*a. Is 31 a factor of a?
False
Let x(c) be the first derivative of -c**4/2 - 4*c**3/3 - c**2 - 8. Let z be x(-2). Suppose 0 = -z*o + 221 - 25. Does 17 divide o?
False
Let s = -129 + 132. Suppose -t = s*f + 14 + 103, -t + 5*f - 125 = 0. Let d = 144 + t. Does 24 divide d?
True
Suppose 0 = -4*r - 4*l + 82596, 240*l + 20653 = r + 245*l. Is 31 a factor of r?
False
Suppose -136*k - 9*k + 590295 = 0. Is 3 a factor of k?
True
Does 44 divide (3 - -1)*((-44049)/(-4) + (-73 - -71))?
False
Suppose 4*y = -g + 3931, 3*y - 5652 = -4*g + 10059. Does 7 divide g?
True
Suppose -16*w + 27*w - 493200 = -19*w. Does 274 divide w?
True
Suppose 0 = -5*k + 38 - 13. Suppose -2*a = -3*l - 323, 5*a + l = 1194 - 395. Suppose -k*r + a = -0*r. Is r a multiple of 8?
True
Let m = 3311 + -3320. Let u(h) = -h**3 - h - 1. Let s(i) = 5*i**3 + 7*i**2 - 12*i + 12. Let o(r) = -s(r) - 4*u(r). Does 8 divide o(m)?
False
Let r = 4321 - 1717. Let q = r + -1468. Is q a multiple of 16?
True
Let k = -4503 - -9024. Is k a multiple of 145?
False
Let p be ((-127)/(-3))/(8/24). Suppose 0 = -59*o + 58*o + p. Is o a multiple of 4?
False
Let h(q) = 17*q**2 + 13*q - 163. Is 79 a factor of h(14)?
False
Let u(b) = b**2 + 6*b - 4. Let t be u(-7). Let w be (t - (3 - 30)) + 3. Let z = w + 6. Is z a multiple of 10?
False
Let c be 145 - (-30)/(-5 + -1). Let g = c - 254. Let l = g - -132. Is 2 a factor of l?
True
Let s(o) = -85*o - 174. Let w(x) = -4*x**2 + 12*x - 14. Let n be w(2). Is 12 a factor of s(n)?
True
Does 82 divide (4 + (-10)/5)*(-584)/64*-244?
False
Suppose -3*r - 6817 = -4936 - 19122. Does 135 divide r?
False
Suppose 2*x + 6 = -3*v - 0*v, -6 = 4*v + 2*x. Suppose -5*r + 3*t - 6 = v, 2*r + r - 3 = 4*t. Is 16 a factor of (1 + -3)/(r/48)?
True
Suppos