5*z**3/3 - 9*z**2 + 2*z. Let x(n) = n**3 - 12*n**2 + 24*n + 22. Let o be x(9). Is 8 a factor of a(o)?
True
Let o(l) = 69*l**2 - 816*l - 43. Is o(29) a multiple of 14?
False
Let p be (0 + -1)/((1/(-35))/1). Suppose 3*u - 2*g - 626 = 0, 0 = 3*u - 4*g - p - 593. Is u a multiple of 33?
False
Let h = 38739 + -14374. Is 11 a factor of h?
True
Let b(l) = 157 - 3*l - 131 + 22*l**2 + 5*l. Is 43 a factor of b(7)?
True
Suppose 58*d - 9*d = 1133025 + 802524. Is 12 a factor of d?
False
Let u(w) = 4*w**3 - 33*w**2 + 38*w - 32. Is 64 a factor of u(16)?
True
Let h = 348 - -776. Does 22 divide h?
False
Suppose -8*k - 1 = -17. Suppose -k*f = 2*b - 6*b + 2242, f = -2*b + 1119. Suppose -b = -11*j + 210. Is 34 a factor of j?
False
Let z(v) = -961*v - 1252. Is z(-10) a multiple of 42?
True
Suppose 66*w - 23*w = 43. Suppose 2*u + u - 57 = 0. Suppose -v + u = w. Is 3 a factor of v?
True
Suppose -3*i + v = -9 - 1, -4*i + 4*v = -24. Suppose -i*d = -3*q - 3*d + 15, -4 = 2*q - 4*d. Is (q/(-5)*1375/10)/(-2) a multiple of 10?
False
Suppose -8 = 5*f + x, 3*f - f = -2*x. Let z be f + (-3)/6*-2. Is 4 + 576/(5 + z) a multiple of 10?
False
Let a = -31 + 34. Suppose 2 = -2*t + 2*q, 22 = 5*t + a*q + 3. Suppose -2*i + 26 = u - 15, t*u = 2*i - 32. Does 2 divide i?
False
Let z = -26 - -73. Suppose -z = q - 10. Let y = q + 46. Does 2 divide y?
False
Let m = 30446 + -20476. Is 110 a factor of m?
False
Let d = -40 - -50. Let a = d + -10. Suppose l - 18 = -a*l. Does 5 divide l?
False
Let r(v) = v**2 - 2*v + 64. Let b be r(7). Suppose -3*f - 3*q = -120, q - 93 - b = -5*f. Let y = f - 10. Does 7 divide y?
True
Let l(t) = 57*t - 2904. Does 13 divide l(53)?
True
Let j(l) = l**2 + 3*l + 15. Let b be j(-11). Suppose b*o - 93*o - 230 = 0. Does 3 divide o?
False
Let v = -668 + 2238. Is 5 a factor of v?
True
Suppose 2*v = 3*x + 5023, 36*x - 3*v - 1689 = 37*x. Let u = x - -3395. Does 14 divide u?
False
Let r(f) = -254*f + 3792. Is 12 a factor of r(-33)?
False
Let o = 21 - 19. Suppose -23 = 5*t + o. Let a(j) = j + 15. Is 6 a factor of a(t)?
False
Let d(p) = -p**2 - 2*p + 7. Let y be d(-3). Suppose 0*a = -2*a - 5*q + 167, 0 = a + y*q - 79. Let r = a - 15. Is r a multiple of 38?
True
Let w = 134 - 27. Let p = -51 + w. Does 4 divide p?
True
Let u be 4/18 - 6/(270/(-2645)). Suppose -u*g + 810 = -49*g. Is 4 a factor of g - (-3 + (4 + -6 - -6))?
True
Let z(d) = -17*d**2 - 1570*d. Is 3 a factor of z(-92)?
True
Let a = 3 - 17. Let r = a + 31. Let f = r + 16. Is f a multiple of 5?
False
Suppose 5*u - 199 = -3*l + u, 0 = 3*l - 5*u - 190. Does 9 divide l?
False
Suppose -4*u + 20 = 0, 3*u = 9*l - 4*l - 700. Suppose 6*d - 5*d + 5*w - l = 0, -140 = -d - 2*w. Is d a multiple of 16?
False
Suppose 127014 = 114*m - 1042284. Is m a multiple of 39?
True
Let n(s) = -s**2 - 11*s + 4. Let c be n(-10). Suppose c*h = 9*h - 10. Let d(k) = 7*k**2 - 2*k - 6. Is 21 a factor of d(h)?
False
Let p(r) = -426*r**3 - 2*r**2 + r + 2. Let f be p(-1). Let u = -385 + f. Is u a multiple of 15?
False
Let t(j) = j. Let z be t(3). Let n be (2 - 2)/(z/3). Suppose p + n*p = 4. Does 4 divide p?
True
Let d be -174*(-10)/2*1. Let z = 1638 - d. Does 64 divide z?
True
Suppose 9 + 1 = 2*b. Suppose 4*a - 557 = 19*k - 20*k, 286 = 2*a - 2*k. Suppose -b*j + 115 = -a. Is 17 a factor of j?
True
Suppose -4*z = 5*f + 42, 7*f = 4*f - 2*z - 24. Let p(j) = 33*j + 1. Let d(y) = y**2 - 30*y - 3. Let g(u) = 5*d(u) + 5*p(u). Is g(f) a multiple of 15?
False
Suppose -2*y - 5*c + 46 = 0, 14 = y - c + 5. Is 75 a factor of 2*(-14619)/(-78) + 2/y?
True
Suppose 169348 - 62893 = 15*w. Does 17 divide w?
False
Suppose -18*z + 9472 = 2776. Suppose z = -9*m + 2964. Is m a multiple of 12?
True
Let k(o) = o**2 + 2*o - 1. Let b be k(2). Let t(m) = -4*m - 15. Let q(u) = -3*u - 15. Let z(c) = 7*q(c) - 6*t(c). Does 3 divide z(b)?
True
Let y = 121 + 10. Suppose 71 = g - f, 0 = -2*g - f + 2 + y. Suppose -3*b = -5*q + 502 - g, q + 2*b = 79. Is 16 a factor of q?
False
Let u be ((-5)/((-45)/(-1533)))/((-2)/6). Suppose 5*n - f = u, -5*f = -8*n + 3*n + 515. Is n a multiple of 7?
False
Let t be 3/(-6) + (-6)/(12/(-25)). Suppose -5*m + 25 = 0, -q = t*m - 11*m - 174. Is 13 a factor of q?
True
Let g be (-126)/(-35)*(0 - (-5)/2). Suppose 8*a + 590 = g*a. Is a a multiple of 12?
False
Suppose 4*p = 3*f + 3119, -3*p + 2893 - 551 = -5*f. Suppose -5*b = -v - p, 0*v + 2*b - 1534 = 2*v. Let i = -536 - v. Is i a multiple of 12?
True
Let g = -117 + 121. Is 11 a factor of -1 + 399/4 + 1/g?
True
Suppose 3*u = -5*v + 6*u + 4, 0 = -u - 3. Let z be (1/v - 0) + (7 - 8). Let l(j) = -16*j**3 + 3*j**2 + 9*j + 14. Is l(z) a multiple of 18?
False
Suppose 652587 = 98*i + 25*i + 114708. Is i a multiple of 5?
False
Suppose 30818 = -7*b + 126018. Does 80 divide b?
True
Suppose -13*x + 15*x - 48 = -t, 3*t = -x + 139. Suppose -53*s + t*s + 490 = 0. Does 8 divide s?
False
Let f be (-28)/(-8)*(-32 - -4). Is (-58814)/f - 12/(-14) a multiple of 31?
False
Suppose 0 = 5*t + 3*a - 9388, -a = 316*t - 313*t - 5636. Does 8 divide t?
True
Let q = 283 + -26. Suppose -5*w = n - 271, 148*n = 144*n + 2*w + 1128. Suppose 4*t - n = 3*g, -8*g + 3*g + q = 4*t. Is 13 a factor of t?
False
Suppose -19*i + 16 = -3*i. Let m(n) = -3*n**2 + 3*n - 2. Let w be m(i). Is (w - 1*-171) + -4 a multiple of 32?
False
Suppose -5*a + 170892 = 4*s, 11*s + 3*a - 128172 = 8*s. Suppose -8*l - s = -36*l. Is l a multiple of 14?
True
Does 69 divide -19 + 9 + 3520 + 9?
True
Let w be ((-1576)/(-6 + 2))/(-5 + 7). Suppose t - 205 = -2*d - 2*d, t + 2*d = w. Does 9 divide t?
True
Let s(o) = -3*o + 21. Suppose 3*w - 4*t - 16 - 17 = 0, -4*w - 4*t = -16. Let p be s(w). Is 21 a factor of 17 + 0 + (p - (-2 - 2))?
True
Let f be 1/4*((1 - -4) + 3). Let j be 9/(-18)*-8*1. Suppose j*r - a - 169 = 0, -3*r - 5*a = f*r - 205. Is 14 a factor of r?
True
Let s(g) = g**2 + 32*g - 102. Let f be s(-35). Suppose 0 = 5*h - 4*x - 904, 5*x - f - 172 = -h. Does 9 divide h?
True
Let y = -36 - -64. Suppose -y + 28 = -3*f. Does 2 divide (-1)/((-3)/(-7))*(-3 - f)?
False
Suppose -37*j + 9845 = -26*j. Is 6 a factor of j?
False
Let h = 6223 - 5493. Does 3 divide h?
False
Suppose -2*o + o - u + 22 = 0, 0 = 5*o + 4*u - 106. Suppose o*m + 140 = 13*m. Let v = m + 54. Is v a multiple of 4?
False
Suppose 49*j + 117636 = 2*k + 45*j, 0 = -5*k + 4*j + 294054. Is k a multiple of 81?
True
Let i = 5859 - -3652. Is i a multiple of 35?
False
Let r(p) = -11 + 7*p + 5 + 0 - p**3. Let l be r(2). Let t(k) = -11*k + 263. Is 41 a factor of t(l)?
False
Let f = -25 + 32. Suppose -8*q = -f*q - 168. Suppose -4*k + 2*k + q = 0. Is k a multiple of 12?
True
Let g(i) = 2*i + 15 - 3*i + 5. Let a = 243 - 233. Is g(a) a multiple of 2?
True
Let j = -74 + 77. Let y be (-35)/(-11) + j - (-2)/(-11). Is 6 a factor of ((-234)/(-36))/(2 + y/(-4))?
False
Let z(h) = h**3 - 2*h**2 + 2*h + 350. Suppose -6 = 14*w - 6. Is z(w) a multiple of 64?
False
Is (3321/72 - -11)*8 a multiple of 3?
False
Suppose -1617210 = 28*l - 118*l. Does 151 divide l?
True
Let s(x) = -40*x + 134. Let o be s(-48). Is 57 a factor of o/18 + (-17)/153?
True
Suppose 1314 = -8*k + 13634. Is k a multiple of 3?
False
Suppose -20*b - 2220 = -22*b. Suppose 0 = -4*u + b + 370. Does 50 divide u?
False
Suppose 954*j = 1003*j - 353045. Is j a multiple of 55?
True
Let b(a) be the first derivative of -21*a**2/2 + 24*a - 5. Let s be b(-12). Let j = -146 + s. Is j a multiple of 17?
False
Let d(x) = 9*x**2 - 9*x - 49. Let j be (-297)/(-66)*(2 + 24/(-9)). Is 2 a factor of d(j)?
False
Suppose 88 = 2*n + 4*p, 76 = 2*n - 4*p - 52. Let k be (-4)/(-3)*n/12. Suppose 0 = f + 1 - k, -5*u + 240 = -5*f. Is u a multiple of 25?
False
Let u = -543 + 681. Does 8 divide u?
False
Let m(r) = -10*r**3 - 4*r**2 - 19*r + 7. Let a be 0 + -2 - 76/38. Does 29 divide m(a)?
False
Let d(s) = s - 15. Let a be d(9). Let k(i) = i**2 + 2*i + 1. Let t be k(a). Is 27 a factor of 4*((t - 1) + 3)?
True
Let j(z) = -37*z**3 + 5*z**2 + 33*z + 386. Does 19 divide j(-7)?
True
Let t(z) = -6 - 5 + 4*z + 6. Let n be ((-1)/2)/(4/(-56)). Does 23 divide t(n)?
True
Let p(i) = -i**3 + 2*i**2 + 10*i + 10. Let y be p(5). Does 9 divide (-10)/(6 + 95/y)?
False
Let o(r) = -r**2 + 24*r + 84. Let t be (2/(-5))/((-33)/2145). Is 32 a factor of o(t)?
True
Let x(d) = d - 22. Let h be x(25). Let l(r) = 44*r - 75. Does 2 divide l(h)?
F