et z(n) = -2*n**3 - 18*n**2 - 9*n + 24. Let v(b) = -b**2 + 14*b + 41. Let l be v(17). Let a be z(l). Let d = 454 - a. Is d a multiple of 28?
True
Let x(q) = 61 + 120 - 229 + 13*q**2 + q. Does 44 divide x(8)?
True
Let q be 4/(-10) + 5664/60. Suppose -28*u + 32*u - 396 = 0. Suppose q*p + 450 = u*p. Is 30 a factor of p?
True
Let g be (77 - -2)/(-6 + 87/15). Let y = -267 - g. Is y a multiple of 9?
False
Suppose -92836 = -7*m + 55844. Is m a multiple of 254?
False
Suppose -92*i + 84*i - 2088 = 0. Let y = i + 421. Is y a multiple of 32?
True
Let c = 138 - -86. Suppose -5*n = -c - 321. Is 11 a factor of n?
False
Suppose -4*b - 16 = 12. Let w be b/1*(-96)/(6 + 0). Does 58 divide 2/(-4)*(3 - 1) + w?
False
Suppose -10*h - 7 + 47 = 0. Suppose 0 = 3*d - h*z - 50, -z + 40 = 5*d + z. Does 3 divide d?
False
Suppose -193*k + 197*k - 4284 = 0. Suppose -3*b = -3*m - k, -32*b = -28*b + 4*m - 1420. Does 9 divide b?
False
Is 28*6/12 - -643 a multiple of 9?
True
Is 20/(-15) + (-8)/144*-36438 a multiple of 19?
False
Suppose 5*r = 3*z + 104, -r + 166 = -5*z - 0*r. Let k be (z/6 + -1)*-10. Suppose -j + 64 = -2*m, -2*j - 5*m + 27 = -k. Is 10 a factor of j?
False
Let m be 4 - (-1059 + -3) - -2. Let f = m + -717. Does 4 divide f?
False
Let v(d) = -66*d - 6. Let h be v(-2). Let q = 169 - h. Does 23 divide q?
False
Let d be ((1 - 0) + -2)/((-5)/50). Suppose d*h - 1289 - 1591 = 0. Is h a multiple of 48?
True
Let n(x) be the second derivative of -23*x**3/3 - 117*x**2/2 + 161*x. Is 15 a factor of n(-12)?
True
Let q(l) = -312*l**3 - 10*l**2 - 2*l + 3. Is 38 a factor of q(-3)?
False
Suppose 0 = 3*n - 3 - 12. Let t be ((-12)/30)/((-1)/n). Suppose -h + 20 = -t*a, 33 = -4*h + 6*h + 3*a. Is 9 a factor of h?
True
Let a(z) = 37*z + 31. Let r be a(-9). Let x = -60 - r. Is 16 a factor of x?
False
Let t(g) = 45 - 106*g + 104 - 108. Is t(-5) a multiple of 51?
False
Let h(u) = -213*u**3 - u**2 - 2*u - 2. Let g be h(-1). Suppose -10*a + 14*a + g = 0. Let w = a + 81. Is w a multiple of 14?
True
Suppose 0 = 5*n - 23 - 22. Suppose -n*y = -8*y. Let g(c) = 3*c + 19. Is 6 a factor of g(y)?
False
Let k be -1 + 9 + -3 + -8. Is 9 a factor of 586 - 0 - (k - (0 + 1))?
False
Suppose 0 = y - 653 + 247. Let b = y + -355. Is 2 a factor of b?
False
Let t(w) = 34*w - 47. Let v be t(-12). Let k be (8/10)/((-14)/v). Does 29 divide -261*(2 - 0)*(-13)/k?
True
Let b be ((-13)/(-39))/(3/27). Suppose -458 = -b*q + 3*k + 889, q - 447 = 3*k. Is q a multiple of 5?
True
Let d(j) = j**2 - 15*j + 24. Let f be d(14). Let r be f*(-236)/(-8) + -2. Suppose r + 67 = 4*l. Is 6 a factor of l?
True
Suppose -4*b - 645 = 3*k + 502, -5*b - k = 1431. Let p(m) = 2*m**3 - 22*m**2 + 20*m. Let l be p(12). Let g = b + l. Is g a multiple of 14?
False
Is 160 a factor of 1*30/25 + 5117442/165?
False
Let u(a) = 2927*a**2 + 53*a - 234. Is 155 a factor of u(4)?
True
Let i(z) = -7*z**3 - 282*z**2 + 21*z + 2. Is i(-41) a multiple of 154?
True
Is 7 a factor of -3 + 13 + -16 + (1 - -3778)?
True
Suppose 20 = -m + 7*u - 2*u, 0 = 2*m + 2*u - 20. Suppose 12*j + 5280 = m*c + 7*j, 4*j = 5*c - 5280. Is c a multiple of 48?
True
Let j = -510 + 883. Suppose -391*h + 30798 = -j*h. Is 104 a factor of h?
False
Let r(a) = 29*a**3 + a**2 - a + 2. Let q be r(4). Let t = q - 666. Is t a multiple of 86?
True
Does 7 divide (238 - 1400)*(6 + -7)/((-2)/(-20))?
True
Let b(p) = -p**3 - 35*p**2 + 19*p - 349. Is b(-36) a multiple of 30?
False
Let m(o) = 167*o - 80. Let v be m(10). Is -6 - 6/((-36)/v) a multiple of 86?
False
Let m be -240 - 5/(15/9). Let t = -11 - m. Does 8 divide t?
True
Suppose 0 = -24*c + 4*c + 200. Does 19 divide 1 + (-18)/30 + 3106/c?
False
Let k = -146 - -208. Let s = 489 + -489. Suppose -r - 4*v - 6 = s, -3*r + k = -3*v - v. Does 7 divide r?
True
Suppose 39*u - 2659343 + 371903 = -41*u. Is u a multiple of 27?
True
Let n(p) be the third derivative of 7*p**6/180 - p**5/40 - p**4/6 + 19*p**3/6 + 3*p**2. Let l(d) be the first derivative of n(d). Is 39 a factor of l(-3)?
False
Let n = -44 - -47. Suppose -20 = 5*w, -t - t + 172 = n*w. Does 92 divide t?
True
Suppose 0 = o + 3*a - 6*a - 391, 5*a = -o + 359. Is 2 a factor of o?
False
Let q = -511 - -3927. Does 61 divide q?
True
Let r(p) = 258*p**2 + 399*p - 2863. Is 121 a factor of r(7)?
False
Is 2/60 - 371995/(-150) a multiple of 19?
False
Suppose 0 = 5*g + 13*w - 15*w - 4226, 0 = -g + w + 847. Is g a multiple of 4?
True
Suppose -m - 2*m = -408. Let q be (-2)/(-12) - (11 - 5700/(-72)). Is 5 a factor of (q/75)/(-2 - m/(-70))?
False
Is 12 a factor of (-17 + (-3 - 4))/((-22)/19041)?
True
Suppose 3120605 - 741494 + 4044229 = 430*j. Does 79 divide j?
False
Let r(a) = 26*a - 23. Let b be r(-2). Let p = b - -90. Suppose 8*q = p*q - 896. Is q a multiple of 32?
True
Let m(c) be the second derivative of -c**4/12 + 26*c**3/3 - 54*c**2 + 5*c - 30. Is 45 a factor of m(38)?
False
Let x be 1/(25/(-15) + 2). Suppose 10 = -5*i + 5*n, 0 = 3*i - 5*n - 1 + x. Let o(j) = 4*j**2 + 5*j - 2. Is o(i) a multiple of 21?
True
Let n(i) = -5*i + 37. Let y be n(-11). Let k = -38 + y. Suppose k = 5*a - 2*a. Is a even?
True
Suppose 8*q - 4*q = -6*q. Suppose q = -n + 4*n - 2535. Does 12 divide (7/((-70)/(-4)))/1*n?
False
Suppose -15*i = -688 - 122. Suppose k + 17 = 2. Does 18 divide i/(-8)*(k + 7)?
True
Let f = -32 + 39. Suppose 0 = f*y - 438 - 1025. Does 82 divide y?
False
Let j(n) = -n**2 + 6*n + 7. Let b be j(6). Suppose b*i = 11*i + 792. Does 18 divide (-6)/(1 + -4 + (-583)/i)?
True
Let j(w) = -w**3. Let v(t) = 6*t**3 - 4*t**2 + 5*t - 3. Let l(x) = 4*j(x) + v(x). Let h be l(4). Let y = h - 42. Is y a multiple of 13?
True
Suppose -2*r + 3 = -h, 2*h = -3*r - 0*r - 6. Let l be h/(-3) + (-27 - -2). Is 11 a factor of (6/1)/(-3) - l?
True
Let t = 40634 - 32986. Does 11 divide t?
False
Suppose 0 = -5*a - 241 - 1999. Let r = a + 558. Is r a multiple of 5?
True
Let a be (4 + (-10 - 1) - -4) + 8. Suppose 3*n = 2*h - 432, -h + a*n + 6 + 210 = 0. Is h a multiple of 18?
True
Let w = -17979 + 34049. Is 49 a factor of w?
False
Let l = 231 + 225. Is 12 a factor of l?
True
Let o = -1848 + 2674. Suppose o = m + 5*l, -l - 563 - 1835 = -3*m. Is 49 a factor of m?
False
Let c = 21 - 86. Suppose -5*o + 2*q = -140 + 682, o - 4*q + 94 = 0. Let t = c - o. Is 7 a factor of t?
False
Let k(h) = -119*h + 650. Does 38 divide k(-22)?
True
Let c = 5 + -1. Suppose -h = -c*h + 5*f + 662, 0 = -5*h - 2*f + 1124. Suppose 73 = 3*m - h. Is 15 a factor of m?
False
Let b(s) = 134*s**2 + 86*s + 32. Is b(12) a multiple of 39?
False
Let l = 108 + -184. Let k be 60*4*8/(-96). Does 52 divide 20*(4 + l/k)?
True
Let d(r) = -1344*r - 1601. Does 17 divide d(-24)?
False
Let r = 63000 - 22799. Does 77 divide r?
False
Let p(c) = -c**2 - 10*c + 20. Let w be p(-10). Suppose -6*b - w = -8*b. Suppose 303 = b*z - 7*z. Is 13 a factor of z?
False
Let k be (-2)/3 + 1694/21. Let v = k - 70. Let s(q) = 3*q**2 - 16*q + 25. Is 55 a factor of s(v)?
True
Is 22 a factor of (-22)/((-6)/(7833 - -9))?
True
Let z be 16/7 + 324/42 + -8. Suppose 827 = z*y - 3*c, 385 = 3*y + c - 828. Is 29 a factor of y?
True
Let l(b) be the third derivative of 0*b - 5/2*b**3 - 19/24*b**4 - b**2 + 0. Does 14 divide l(-3)?
True
Let c(q) = -q**2 - 2*q + 23 + 4*q + 1 - 3. Let j be c(-7). Let l = j + 72. Is l a multiple of 15?
True
Let j be (-110)/(-11) + -10 + (-20)/(-5). Suppose -d + j*a = -312, -361 + 1975 = 5*d - 2*a. Does 54 divide d?
True
Suppose -6*p + 10*p + 69012 = 4*r, 0 = -2*p + 4. Does 71 divide r?
False
Suppose -5 - 1 = 2*s. Let m be 90/42 - s/(-21). Does 16 divide -1 + 3 + 312/m?
False
Let i(x) = -2*x**2 + 15*x + 10. Let z be i(8). Suppose -21 = -z*h + 3*s, h - 6*s + s - 28 = 0. Suppose 4*w - 65 = -f, h*f - w - 111 = 32. Is f a multiple of 9?
False
Let y = 618 + -614. Suppose -m + 667 = -4*n, y*n + 3351 = 7*m - 2*m. Is 61 a factor of m?
True
Suppose -2*a = -4*m + 598, 4*a = 5*m - 759 - 440. Let n = -178 - a. Suppose -5*l - 4*d - n = -625, 4*l = 4*d + 416. Does 34 divide l?
True
Let b(a) = -a**2 + 13*a + 5. Suppose 34 = 11*o - 131. Let q be b(o). Does 29 divide q/10*116/(-2)?
True
Is 29 a factor of ((-100)/(-15) - 6)*3747?
False
Suppose 0 = 29*k - 117371 - 32820. Is 8 a factor of k?
False
Let l = -6759 + 47891. Is l a multiple of 91?
True
Suppose -11*c + 54 = -8*c. Let o(r) = r**3 - 17*r**2 + 8*r - 11. Let m be 