)/(-27))?
False
Let o(i) = i**3 + 38*i**2 + 18*i + 4. Does 17 divide o(7)?
False
Let g(t) = -322*t - 1260. Is g(-6) a multiple of 2?
True
Suppose -7*o + 8 = -6. Is 6 a factor of 4/24*-3 + 25/o?
True
Suppose -5*k = -2*x - 620, k - 80 - 47 = x. Suppose 130 + k = 4*q. Does 6 divide 108/14*-1*q/(-9)?
True
Suppose 2*u - 3*d = u + 167, -u - d = -151. Suppose -15*a = -11*a - f - 144, 5*a - u = -5*f. Does 27 divide a?
False
Suppose z + 1 = 3. Let g(s) = -4*s**z - 39*s + 66*s - 29*s - 2*s**3. Is 5 a factor of g(-3)?
False
Let p be (-232)/8*(2 + -1). Let c = p + 19. Is 13 a factor of 4/c*(-18 - 47)?
True
Suppose -12*j + 2*t + 7776 = -10*j, -5*j + 4*t = -19434. Is j a multiple of 2?
True
Let r(w) = -w**3 + 6*w**2 + 18*w - 12. Let f be r(8). Suppose 0 = -3*z + l + 19, -f = -l - l. Suppose -z*x + 12*x = 50. Is x a multiple of 6?
False
Suppose 41*i + 1546400 = 241*i. Is 19 a factor of i?
False
Let s be 2 + -1 + -2 + -710. Let j = s + 496. Let t = -147 - j. Does 8 divide t?
False
Let w be 43*(26/(-104) - (-5)/4). Suppose -p = 4*b - w, -2*p + 45 = -5*b - 2. Does 19 divide p?
False
Let w(d) = -d**3 + 115*d**2 + 527*d - 642. Is w(115) a multiple of 22?
False
Let l(j) = -2*j**3 + j**2 - 2*j - 2. Let b be l(-1). Let z be (0 + b)/((-6)/664*-4). Let q = z + 1. Is 42 a factor of q?
True
Let w(d) = d**3 + 26*d**2 + 35*d - 20. Suppose -14*b - 124 = -9*b - x, 3*b - 2*x + 80 = 0. Is 12 a factor of w(b)?
False
Let r(d) be the third derivative of d**6/120 + 3*d**5/20 - d**4/2 - 11*d**3/3 - 125*d**2. Is 29 a factor of r(-5)?
False
Suppose 0 = -3*b - b + 24. Does 23 divide ((-36)/(-3 + b))/((-4)/74)?
False
Let v be -2 + 2176 - (1 - 2). Suppose -3*r - 1365 = -4*z, -5*z - 3*r - 462 = -v. Is z a multiple of 6?
True
Suppose -1 - 62 = 7*x. Let f be (x + 10)/(3/285). Suppose -o + 2*o - 5*d = f, -o = -2*d - 101. Is 21 a factor of o?
True
Let q = 241 + -351. Let a = q + 113. Suppose -3*k - 63 = -m, a*m + 2*k = -m + 252. Is m a multiple of 25?
False
Let f(i) = 3*i**2 - 4*i + 38. Let z be f(6). Suppose -3*o - p + 468 = z, 8 = 2*p. Does 6 divide o?
True
Let u be (-45)/10*-8 + 1. Let g = u - 32. Suppose -t + 2*t + 41 = 3*s, -g*s + 3*t + 71 = 0. Does 4 divide s?
False
Suppose 0 = -36*p + 30*p + 24. Suppose 92 = 4*h + p*q, 4*h - 7*q - 47 = -2*q. Does 20 divide (91 + h/6)*3?
False
Suppose -68418 - 342447 = -91*v. Is 36 a factor of v?
False
Let l be 2/((-56)/324) - (-30)/(-70). Let f(a) = -51*a - 128. Is 11 a factor of f(l)?
True
Suppose -9*h + 0*h + 180079 = 22*h. Does 24 divide h?
False
Let z be 48/(-20)*((-3)/(-6) - 3). Let g(u) = 10 - z*u - 17*u**2 - 19*u**2 + 41*u**2. Does 20 divide g(4)?
False
Let a = 33112 + -8692. Is a a multiple of 12?
True
Does 81 divide -10566*(11 - 476/42)?
False
Let u(x) = -x**3 - 15*x**2 - 9*x - 2. Let l be u(-10). Let y = 20 - l. Suppose -5*w - 4*j + 723 = 0, 7*w - 4*w + 3*j = y. Does 24 divide w?
False
Suppose -53*p - 51*p - 20331 + 199731 = 0. Does 5 divide p?
True
Suppose -3*s - 4*f + 62 = 0, -3*s + 4*f + 2 = -20. Is ((-48)/(-8) + 6)*s a multiple of 24?
True
Let y(d) = -19707*d - 536. Is 16 a factor of y(-3)?
False
Let k(b) = 2854*b**2 + 448*b - 879. Is k(2) a multiple of 20?
False
Suppose 3*i = -3, -4*g + 2*i - 3260 = -810. Let a = 1032 + g. Is 12 a factor of a?
False
Suppose 0 = 4*n - 2*t - 73692, 8*n + 2*t - 36846 = 6*n. Is n a multiple of 40?
False
Let w = 1861 - -1811. Is w a multiple of 216?
True
Suppose 2*a + 2*a - 22 = 5*t, -3*t - 3*a + 3 = 0. Let l be (4/6)/(t/(-72)). Does 12 divide ((-14)/4)/((-2)/l)?
False
Let h(k) = k**3 - 4*k**2 + k - 1. Let j be h(4). Let v(s) = 17*s**3 + 2 - 1 + 5*s - 5*s**2 - 10*s**3. Is v(j) a multiple of 16?
True
Let b = -55 - -66. Let g(w) = -w + 101. Does 40 divide g(b)?
False
Is 26 a factor of ((-21216)/15)/(9*34/(-3825))?
True
Suppose v - 13 + 14 = 0. Let r be ((-15)/9)/(v/378). Suppose 0*k = 6*k - r. Is 5 a factor of k?
True
Suppose 3*b - 2956 = -5*t, -4*t - 5*b = 988 - 3332. Is t a multiple of 244?
False
Let j = 7815 - -957. Does 51 divide j?
True
Let v(y) = -y**3 - 50*y**2 + 257*y + 120. Is 15 a factor of v(-55)?
True
Suppose 5*u + 3 = 6*u. Let a be 3 + u - (2 + 1). Suppose 8*t - a*t - 397 = 2*i, 5*t - 5*i = 385. Is 7 a factor of t?
False
Suppose 17 = -8*o + 113. Is 9 a factor of o/(3 - (-567)/(-196))?
False
Suppose 3*a - 26 - 283 = 0. Suppose -2*y = -a + 5. Let l = y + -28. Is 3 a factor of l?
True
Let q(u) = -u**2 - 10*u - 18. Let o be q(-8). Let v be 4/(-14) + (o/(-7))/1. Suppose v = 16*b - 2398 - 482. Is 18 a factor of b?
True
Suppose -5*q + 95 = -2*y, 2*q + 9 = -q. Suppose r + 136 = 5*r. Let n = r - y. Does 14 divide n?
False
Let j = 355 - 380. Let q = j - -145. Does 25 divide q?
False
Let w(s) = 3*s**3 + 7*s**2 - 5*s - 60. Let i be w(11). Suppose -4*m + i = 11*m. Does 35 divide m?
True
Suppose 0 = -3*q - 15, h + 3*q = 1207 + 4875. Is 67 a factor of h?
True
Suppose 377*l = -3*f + 372*l + 25382, -f - 2*l = -8462. Does 121 divide f?
False
Let j be (-28)/2*26/(-4)*-5. Is 19 a factor of j/14*(-820)/25?
False
Suppose 0 = -34*z + 775693 - 186201. Is 5 a factor of z?
False
Suppose q + 15 = -5*g, 5 + 10 = -5*g + 5*q. Does 19 divide g/9 + (-2198)/(-6) - 5?
True
Let s be -35 - -33 - 1/((-1)/6). Let q(w) = 5*w**2 + 7*w - 49. Let z(m) = 2*m**2 + 4*m - 24. Let k(p) = s*q(p) - 9*z(p). Is 35 a factor of k(10)?
True
Let r(l) = -5*l**2 + 8 - 952*l + 12*l**2 + 6*l**2 + 944*l. Does 32 divide r(-6)?
False
Suppose -3*o = 4*g - 93, 2*o = -g - 4 + 31. Let y = g + -21. Suppose y = 12*p - 7*p - 480. Is p a multiple of 16?
True
Let k = 65426 - 25373. Does 169 divide k?
True
Let u(p) be the third derivative of p**6/120 - 2*p**5/5 - 5*p**4/3 - 29*p**3/6 - 46*p**2 - p. Is u(26) a multiple of 10?
False
Let o = 70 + -65. Suppose w - o = -1, 0 = 2*d + 5*w - 50. Let a(u) = 21*u - 35. Does 40 divide a(d)?
True
Let j = 433 - 206. Suppose t + 126 = -36. Let u = t + j. Is 13 a factor of u?
True
Suppose -4*o + 3 = 3*d - 192, o - 53 = -5*d. Does 16 divide o?
True
Suppose -6*j + 5*x = -11*j + 45, -2*j + 12 = -4*x. Suppose 0 = 5*k + 4*s - 3485, -3*k + 2091 = 5*s - j*s. Is 17 a factor of k?
True
Suppose 2*q - 10*q - 4248 = 0. Let a = 968 + q. Does 8 divide a?
False
Suppose 37*v - 123658 = -3*f + 35*v, -2*v = -2*f + 82422. Is f a multiple of 56?
True
Is 5 a factor of (-13 - -10) + (-74798)/(-14) + (-66)/(-231)?
True
Let j be ((-20)/15 - -2) + 345/9. Suppose j*v = 5666 + 2758. Does 4 divide v?
True
Let o be (3 + 0)*2/(-4)*-2. Let t(j) = 7*j - j + 3*j**o + 5*j**2 - 12*j + 20 + 0*j**3. Does 52 divide t(4)?
False
Suppose -3*l + 15 = 3*v, -3*v + 3*l = 4 + 11. Let p be 19 - v - (-15 + 11). Let d = p + 33. Is 7 a factor of d?
True
Let h(r) = -14*r - 404. Let v be h(-17). Is 13063/13 - v/1079 a multiple of 30?
False
Suppose 5*k = -5*j - 125, 3*k - 3*j + 57 = -0*k. Is 21 a factor of (-56)/(-616) - 32228/k?
False
Let z be (-2094)/(-8) - (-3)/12. Suppose -167 + 203 = 9*v. Suppose -6 + 1 = 5*r, z = v*c + 2*r. Is c a multiple of 11?
True
Suppose -3*m - 2 = -17. Suppose -v + 4570 = 4*v - 5*t, m*t = v - 922. Does 8 divide 1/((-18)/(-4)) + v/27?
False
Let m = -4360 + 7510. Is m a multiple of 18?
True
Suppose -179 = 5*u - 3*l - l, 0 = u + 4*l + 31. Let p be -4*(5025/20)/(-15). Let c = p + u. Is c a multiple of 21?
False
Let f(l) = l - 16. Let n be f(18). Let p(g) = -g**3 + 2*g**3 + 4 - 7*g + 1 - n. Does 13 divide p(4)?
True
Let a be (6 + 11146)/8 + -8. Suppose 924 = 22*x - a. Is x a multiple of 9?
False
Let c(t) = -3*t**2 - 6 + 16 - 7*t - 10*t**3 + 12*t**3. Is 6 a factor of c(5)?
True
Let k = -2188 + 3792. Does 5 divide k?
False
Suppose 17*h - 13 = 16*h. Suppose -h*v + 21*v - 72 = 0. Suppose 2669 = v*b - 328. Is 48 a factor of b?
False
Let r be (4/14)/((-6)/(-42)). Suppose 5*s = 4*i + 10, -4*i - r*s = -s - 2. Suppose 2*x - 4*u = 3*x - 67, i = 2*u. Is 37 a factor of x?
False
Let t = 3 - 11. Let g = -12 - t. Let b(d) = 4*d**2 + 3*d - 10. Is 14 a factor of b(g)?
True
Suppose 49*f + 66 = 51*f. Suppose f*j = 30*j + 597. Is 13 a factor of -3 - j/(-1)*1?
False
Suppose 86*h + 15630 = 6*o + 89*h, 4*h + 2605 = o. Is 9 a factor of o?
False
Suppose 6*b - 70 = -8*b. Suppose 14 = 3*d - 1, -3*c + 2639 = -5*d. Suppose 7*o + b*o - c = 0. Is o a multiple of 9?
False
Let s(w) = 79*w**2 - 506*w - 47. Is s(13) a multiple of 2?
True
Let a(l) = 2*l**2 - 1. Let w(t) = -4*t**2 - 3*t - 1.