+ 27. Let a be -1*z/2*-2. Is 0 + 208/(a - -4) a multiple of 36?
False
Let w = -12543 - -13683. Is w a multiple of 10?
True
Let t(z) = z**3 - 2*z**2 + z + 10. Let r be t(0). Let u(d) = 110*d + 0 - 3 + 7 - 107*d. Does 17 divide u(r)?
True
Let p be -1*(-445 + -2 + 2). Let f = -369 + p. Is 16 a factor of f?
False
Suppose -f + 2*c = -6, 4*f - c + 5 = 15. Suppose -r = 4*r - b - 11, 0 = -2*r + f*b - 2. Is 9020/80 - r/4 a multiple of 16?
True
Let u(j) = -3*j + 3. Suppose 11 = 4*n + 7. Let r be u(n). Suppose 4*g + 5*q - 291 = r, -2*q = g - 0*q - 72. Does 23 divide g?
False
Let y be 300/25 + (5 - 13). Suppose o - 7 = -4*l + 16, -3*l = -3. Suppose -y*b = -o - 85. Is 5 a factor of b?
False
Let k = 4353 - 409. Is k a multiple of 26?
False
Let n(f) = f**3 - 22*f**2 + 19*f + 47. Let z be n(21). Suppose d + 367 = -3*d + z*j, -3*d + 3*j = 279. Does 26 divide (-5)/(-2)*(-15)/(75/d)?
False
Let s(o) = 102*o + 36. Let d be s(2). Does 6 divide 5/4 - (-31380)/d?
True
Let k(b) be the second derivative of 31*b**3/6 - 24*b**2 + 2*b + 16. Is 67 a factor of k(21)?
True
Let i(a) = -2*a**3 - 29*a**2 + 14*a + 3. Let g be i(-16). Let x = -327 + g. Is x a multiple of 11?
True
Let q(a) = -19*a - 99. Let t(w) = 35*w + 197. Let s(z) = 13*q(z) + 6*t(z). Is s(-9) a multiple of 19?
True
Let h(t) = t**3 + t**2 - 53*t - 8. Let b be h(13). Suppose 1665*w + 1260 = b*w. Is w a multiple of 21?
True
Let d = -306 + 90. Let b = -162 - d. Does 6 divide b?
True
Let v be 4 + 2*15/6. Let x = -9 + v. Is 4 a factor of (x/1 - (-2)/(-4))*-12?
False
Suppose -n - 2*b + 1225 = 0, 4*n - 6*b - 965 = 3893. Is 5 a factor of n?
False
Let g(t) = t**3 - 13*t**2 - 50*t + 11. Let p be g(17). Suppose 5*u - p - 470 = 2*b, -158 = -u + b. Is u a multiple of 39?
False
Suppose 2*m - 156 = -24*m. Let d be (-1 + 2)*(30 - 0). Let g = m + d. Is g a multiple of 4?
True
Is 20 a factor of (-568)/1*507/(-52) - 5?
False
Is 6 a factor of (1*516/(-8))/(22/(-1144))?
True
Suppose -2*k = -39*h + 35*h - 1020, 3*k = 2*h + 1518. Does 12 divide k?
True
Let z be ((-228)/7)/((-16)/280). Suppose 3*c - z + 0 = 0. Is c a multiple of 24?
False
Let s(v) = v**3 + 81*v**2 + 51*v - 232. Does 19 divide s(-80)?
False
Suppose -5*o - 5*f = -31545, -3*o + 3*f + 12593 = -o. Does 32 divide o?
True
Is 91 a factor of ((-2245)/6)/(575/(-3450))?
False
Let o(y) = 3*y**2 + 10*y + 102. Is o(-35) a multiple of 14?
False
Let i = 87 + -83. Let g = i - -286. Suppose 6*f - 292 = g. Does 12 divide f?
False
Suppose 12*g = 833 + 475. Let t = g - -468. Is t a multiple of 13?
False
Suppose 43*r - 3035 = 1953. Suppose 2226 = -113*n + r*n. Is n a multiple of 14?
True
Let m = 47 - 25. Suppose 16 = -m*w + 20*w. Is 21 a factor of ((-6 - w) + 22/4)*14?
True
Let y(m) = 2*m + 22. Let d be y(-10). Let n be 22 - (-1 + d + -3). Suppose -g + 3*g - n = 0. Is g even?
True
Suppose 0 = -28*r - 4551 + 3905 + 35450. Does 11 divide r?
True
Let x(i) = -i**2 - 8*i. Let z be x(-6). Suppose -5*g + z*g = 21. Suppose 52 = 7*s - g*s. Is 9 a factor of s?
False
Let u(o) = -3*o**2 - 12*o + 11. Let z be u(9). Let g = z + 590. Is g a multiple of 15?
False
Let p = -3039 + 1810. Does 15 divide 693/(-198) - p/2?
False
Let k(p) be the first derivative of -145*p**2/2 + 26*p - 127. Is 83 a factor of k(-6)?
False
Let d(z) = -48 + 11*z**2 + 5 - 21*z - 5 - 13 - 31. Is 48 a factor of d(-5)?
True
Let k(t) = 11*t + 24. Let h be k(15). Suppose 4*d + 5*n - 88 - h = 0, -2*d = 5*n - 151. Is 9 a factor of d?
True
Suppose 0 = -4*n + 3*g + 11, 3*n + 2*g - 12 = 3*g. Is 16 a factor of 12/n - 3 - 428/(-5)?
False
Suppose 0 = 6*k - 5744 - 16636. Suppose -7*x - 825 = -k. Is 12 a factor of x?
False
Suppose 3153 = 2*c - 1327. Suppose 5*w + 10*o - c = 7*o, 0 = -2*w - 2*o + 896. Is 32 a factor of w?
True
Let k = 39 + -31. Let h(d) = 17*d. Let w be h(k). Suppose 12*o = 10*o + w. Is o a multiple of 16?
False
Suppose 83 = 5*p - 3*h, -3*p - 3*h + 43 = 2*h. Is 9 a factor of p/(-14)*-39 + (-9)/(-21)?
True
Let f be (-3)/((-15)/10)*(-17)/(-2). Suppose -j = 3 - f. Does 2 divide j?
True
Suppose 6961 = 3*k + 913. Is 12 a factor of k?
True
Let h(b) = -6565*b + 204. Is 132 a factor of h(-1)?
False
Suppose -66*f - 119939 = -386975. Is f a multiple of 58?
False
Let m be 8/(-24) + 14/6. Suppose -3*p = m*h - 0*h + 51, 0 = -4*h - 2*p - 82. Is (-4)/(-18) - 626/h a multiple of 6?
False
Let s = -3861 - -47123. Is s a multiple of 10?
False
Does 9 divide ((-80)/(-72) + (-429050)/45)*(-1 - 2)?
False
Suppose a + 2*u + 40 = -162, -5*a = 3*u + 1003. Let i = 33 - a. Is i a multiple of 58?
False
Suppose -8*f = -9*f + 3. Suppose -4*w + 2*b = -8, -f*w + 5*b + 20 + 0 = 0. Let p(c) = -5*c + 33. Is 7 a factor of p(w)?
False
Is (((-77)/42)/11)/(14/(-21))*49540 a multiple of 132?
False
Let c be (-42500)/51 - (3 - 20/6). Let t = 1309 + c. Does 28 divide t?
True
Suppose 52*o - 426197 = 1292871. Is 56 a factor of o?
False
Suppose -3*i + 111*l - 116*l = -164060, -5*l - 54700 = -i. Is i a multiple of 135?
False
Let y(f) be the third derivative of f**4/3 - 11*f**3/6 + 16*f**2. Let b be y(10). Is 17 a factor of (1 - b)/2*(-9)/6?
True
Let r(c) = -c**3 - 7*c**2 - 13*c + 6. Let b(j) = -j**3 - 7*j**2 - 14*j + 8. Let y(h) = 6*b(h) - 7*r(h). Let o = -17 - -12. Is y(o) a multiple of 3?
True
Let g = 1500 + -866. Suppose g = -13*w + 3039. Is 10 a factor of w?
False
Let d = 139 - 130. Suppose -5*r = d*r - 658. Is r a multiple of 3?
False
Let f(r) = 7*r + 43. Suppose 0 = m, -4*l + 0*l = -3*m. Is f(l) a multiple of 18?
False
Let d = -3494 - -8113. Is d a multiple of 39?
False
Suppose 5*d - 5*r = 4115, -d + 581*r - 577*r + 817 = 0. Is 25 a factor of d?
True
Let o(h) = -3*h + 16. Let r = -71 + 65. Let l(y) = -19*y + 97. Let b(v) = r*l(v) + 39*o(v). Is 47 a factor of b(-11)?
False
Suppose 3*c + 2*w - 939 = 0, -4*c - w - 660 = -1917. Let f = c + 54. Does 9 divide f?
True
Let n(b) = 16*b - 13. Let v be n(1). Suppose -5*s + 5*r = -635, -v*s + 626 = 2*s + 4*r. Is s a multiple of 2?
True
Let r(t) be the second derivative of 45*t**4/4 + t**3/6 - 6*t. Let g be (-2)/(-24)*-4*3. Is 44 a factor of r(g)?
False
Let g(b) be the first derivative of -b**4/4 + 14*b**3/3 + 5*b - 1. Let c be g(14). Suppose 0 = -c*l + 10 - 0, -2*r + 24 = -5*l. Does 3 divide r?
False
Let i = 165159 + -102868. Is i a multiple of 23?
False
Suppose 2*v - 4*y = 14, -14 + 52 = 2*v + 2*y. Suppose -2*b - 11271 = -v*b. Is b a multiple of 17?
True
Let z(n) = 234*n**3 + 10*n**2 - 42*n + 111. Is z(5) a multiple of 21?
False
Suppose 4*d = -2*t + 22, -4*t - d + 28 = t. Suppose -t*p - 3*o + 2122 = 0, -o + 1455 = 3*p + 181. Is 25 a factor of p?
True
Suppose 0 = z - 74 - 517. Suppose -2*j - 38 + 57 = 3*a, 3*a - 4*j - 7 = 0. Suppose -4*y = -b - 0*b - z, 573 = 4*y + a*b. Does 27 divide y?
False
Let i(x) = 48*x**2 - 1239*x + 68. Is i(28) a multiple of 17?
False
Let j(d) be the second derivative of 133*d**4/6 + d**3/3 + 83*d. Is 12 a factor of j(-1)?
True
Let g(w) be the third derivative of w**5/60 + w**4/3 - 8*w**3/3 + 7*w**2. Suppose 116 = 8*y + 20. Is 14 a factor of g(y)?
True
Does 120 divide -10*5/10 - (3 - 5598)?
False
Suppose 6*o - 12366 = 28182. Is 77 a factor of o?
False
Let v be (-2 + 7/3)/(1/15). Suppose 3*d - 23 = n - v, -2*n - 3*d = 27. Let u = n - -31. Does 4 divide u?
True
Let q(i) = 4*i - 11*i - 59 - 7*i. Let d be q(7). Let g = d - -274. Is 28 a factor of g?
False
Let a(s) = 5*s - 2. Suppose 0 = 5*y - y - 20. Suppose -5*l + 3*n + 0*n = -21, 0 = l - y*n - 13. Is a(l) a multiple of 4?
False
Suppose 5*v - 4*j = 32876, 0 = -0*v + 2*v - 5*j - 13164. Is v a multiple of 53?
True
Let w(n) = -3937*n + 228. Does 68 divide w(-3)?
False
Let v(d) = -36*d + 1104. Does 7 divide v(-16)?
True
Let c be ((-10)/(-45))/(1/9). Suppose c*p + 326 + 504 = f, 7*f + 4*p - 5774 = 0. Is f a multiple of 47?
False
Let g(x) = -x**3 + 15*x**2 + 5*x + 22. Let u be g(13). Suppose 3*m - 4*r = 248, -u = -m - 4*m - 5*r. Let n = m - -161. Is n a multiple of 44?
False
Suppose 3*q - 258 = 5*c + 15062, 2*q - 10255 = -5*c. Is 55 a factor of q?
True
Suppose -19*n + 8 - 8 = 0. Is 9 a factor of (262 + n)*(-144)/(-96)?
False
Suppose 0 = -3*m, 0*y - 3*y + 5*m + 213 = 0. Suppose 3*j + 102 = -h, 3*j + 4*h - 187 + 280 = 0. Let g = j + y. Does 12 divide g?
True
Let j = -288 + 307. Let u(p) = 50*p + 90. Is 80 a factor of u(j)?
True
Suppose 5*i - 2027 = 3*g, -2031 = -5*i 