y(p). Let w = f + 84. Does 5 divide w?
False
Let j(q) be the second derivative of 11*q**3/3 - 68*q**2 + 3*q + 51. Is 16 a factor of j(28)?
True
Let r(m) = -m**2 + m + 72. Let h be r(-8). Suppose d + 3*i + 209 = 3*d, -2*d - 2*i + 204 = h. Is 2 a factor of d?
False
Let v = 552 + 8281. Is 120 a factor of v?
False
Suppose 37232 = 4*o - 4*f, -33*f = 4*o - 30*f - 37211. Is o a multiple of 39?
False
Let l(f) = 40*f + 218. Let c be l(-11). Let i = 1331 + c. Is 63 a factor of i?
False
Let k(i) be the first derivative of i**3/3 + 2*i**2 - 162*i + 125. Does 4 divide k(-16)?
False
Let n = -13751 + 18376. Is 3 a factor of n?
False
Let o be (-1617)/(-21)*(19 + 1 + -2). Suppose -18*d + 9*d + o = 0. Is 22 a factor of d?
True
Suppose 179 = -2*u + l - 2*l, 3*u + 2*l = -271. Let x = u - -139. Suppose 100 = 4*p - 5*k, -2*p = -k - k - x. Does 4 divide p?
False
Let m = 13663 - 12788. Is m a multiple of 8?
False
Suppose -5*n + 6*n + 60 = -4*r, 3*r + 34 = 2*n. Let z(w) = -w**3 - 16*w**2 - 29*w - 4. Let c be z(r). Suppose -3*g - c*g + 845 = 0. Is 5 a factor of g?
True
Let m = -10431 - -19285. Is m a multiple of 38?
True
Let x(m) = -19*m - 2. Let b be x(-9). Let p(o) = 31*o + 490. Let y be p(-17). Let g = b + y. Does 9 divide g?
False
Does 83 divide (-1 + 33)*(-5644)/(-136)?
True
Let a = -48 + 51. Let o = 2 + a. Suppose -d - o*q = -135, 5*d + 2*q - 3*q = 675. Is 45 a factor of d?
True
Let k(n) = 5*n**2 + 11*n. Let w(j) = 4*j**2 + 12*j - 1. Let m(t) = 3*k(t) - 4*w(t). Suppose -3*h = 2*c + 15 + 2, 4*c - 4*h + 24 = 0. Is m(c) a multiple of 12?
True
Suppose -22 - 8 = 3*o. Let d be 75/o + 3/2. Does 9 divide d + 2 + (-2 - -78)?
True
Let y = 32914 - 16776. Is y a multiple of 54?
False
Let h(n) = -n**3 + 8*n**2 - 7*n + 23. Let s(i) = -2*i**3 + 17*i**2 - 13*i + 45. Let j(w) = -11*h(w) + 6*s(w). Let l be j(14). Is l/15*5*23 a multiple of 15?
False
Let o(n) = -n**3 + 20*n**2 - 20. Let c(d) = -5*d**2 - 20*d**3 + 22*d**3 + 2*d - d + 19 - 16*d**2. Let q(a) = -2*c(a) - 3*o(a). Is q(-18) a multiple of 6?
False
Let h be 150/16 + (-60)/160. Suppose -1 = 2*m + h. Is 17 a factor of (284/(-10))/(2/m)?
False
Let l(w) = -w**3 - 6*w**2 - 8*w + 5. Suppose 6*b + 44 + 4 = 0. Let d be l(b). Suppose 821 = 4*o + d. Does 25 divide o?
False
Let l be 27/(-18)*16/(-12). Suppose -2*m + 696 = -l*o, 5*o = m - 86 - 278. Is 8 a factor of m?
True
Suppose -3*w = -252*h + 248*h - 14963, 2*w - 9994 = -2*h. Is w a multiple of 7?
False
Suppose -5*l + 0*l = -15. Suppose -2*x + 70 = 2*s - 24, l*s = x - 39. Is 11982/90 + 84/x + -2 a multiple of 46?
False
Suppose -16 = -45*k + 29. Let t(c) = 772*c + 44. Is 17 a factor of t(k)?
True
Let y(z) = -z**2 - 19*z - 17. Let m be y(-1). Is ((-4)/(-2) - -625)*m a multiple of 11?
True
Let l = 54929 - 43378. Is l a multiple of 166?
False
Suppose 3*l + 4*h + 49 = 0, -3*h - 6 - 28 = 2*l. Let r(g) = -9*g - 91. Is r(l) a multiple of 3?
False
Suppose 4*m + 4 = 4*t, 39*t - 41*t + m = -7. Let w be 14856/27 + 2/(-9). Suppose -w = -t*n + n + 5*i, 0 = -3*n + 5*i + 336. Does 24 divide n?
False
Suppose -60 + 108 = 3*l. Is 46 a factor of 9544/l - (-24)/16?
True
Suppose -2*j - 7586 = -v, 8*v = 4*v + 7*j + 30345. Is 81 a factor of v?
False
Does 134 divide (-1 + 7438)*((-2240)/(-21))/20?
True
Let o be ((-10)/(-5))/((-4)/(-6)). Suppose -12*f + 795 = 3*v - 9*f, 1341 = 5*v - o*f. Does 8 divide v?
False
Let s(c) = -2*c**3 + 15*c**2 - 16*c + 46. Let f be s(6). Suppose 10890 + 11266 = f*p. Is p a multiple of 10?
False
Let f(v) = -6*v + 4. Let m(l) = 24*l - 16. Let z(n) = 9*f(n) + 2*m(n). Let t be z(-4). Suppose 0 = -9*b + t - 1. Is b even?
False
Suppose 5*p - 5168 = -2*y, -8*y + 3*y - 2*p + 12899 = 0. Suppose -y = -20*s + 2581. Does 34 divide s?
False
Suppose -561 = 2*t - 3*h, -203 - 88 = t - 5*h. Let y = t + 796. Is y a multiple of 13?
True
Suppose -137520 = -29*t - 43*t. Is 18 a factor of t?
False
Suppose -11*q = -171*q + 651840. Is 7 a factor of q?
True
Let a(n) = 2923*n - 268. Is a(1) a multiple of 59?
True
Suppose 49 = 7*x - 4*x - 2*f, 4*x - 67 = 3*f. Suppose x = -5*s - 32. Let w(c) = -7*c - 31. Is 4 a factor of w(s)?
True
Suppose o - 1230 = -2*o. Let n be (1 - (-2)/(-4))*572. Let g = o - n. Does 9 divide g?
False
Let r be (-1 + 3)/((-9)/(27/(-2))). Suppose r*b + 0*b = 9. Suppose -4*q + 102 = -b*l, -q = -7*l + 2*l - 34. Is q a multiple of 4?
True
Let s(v) = v**2 + 5*v - 18. Let r(x) = -x**2 + 15*x + 85. Let i be r(19). Does 18 divide s(i)?
True
Let l(y) = y**3 - 32*y**2 + 98*y - 1668. Does 214 divide l(31)?
False
Let p = 454 - 430. Let l(w) = 52*w + 267. Is 75 a factor of l(p)?
False
Suppose 0 = -2*c + 7*c - 25. Suppose -c*d + 4*i = -179, -d - 4*i + 31 + 0 = 0. Suppose 34*a = d*a - 51. Is a a multiple of 2?
False
Suppose 13 = -b + 4*i - i, 0 = -b - i + 7. Let f(p) = -5*p**3 + 30*p**3 - 64212*p + 64215*p - 4*p**2. Is f(b) a multiple of 38?
True
Does 38 divide 2/26 - (2 - (-4442162)/(-377))?
False
Let f(w) = 83*w**3 + 9*w - 16. Does 15 divide f(2)?
False
Let h(g) be the third derivative of g**4/4 + 7*g**3/3 + 97*g**2. Is h(26) a multiple of 10?
True
Suppose -18*t = -24*t + 14442. Suppose 28*c - 11731 + t = 0. Is 12 a factor of c?
False
Suppose 5*b - 9*l = -8*l, -b + 4*l = 0. Let o(y) = 2*y**2 + 3*y + 204. Does 17 divide o(b)?
True
Let g be -5*51*(-6)/15. Suppose 0*c + c + g = 0. Let a = c - -162. Is a a multiple of 6?
True
Let z = 102 - 100. Suppose 310 = 2*l - 5*b, -z*b + 5 = -3. Is 15 a factor of l?
True
Let b(i) be the third derivative of -i**6/120 - 7*i**5/30 - i**4/24 + i**3 - 12*i**2. Suppose 112 = 38*u - 46*u. Is 2 a factor of b(u)?
True
Let q(y) = 184*y - 607. Is q(17) a multiple of 8?
False
Suppose -15*l = -23986 - 4259. Suppose -12593 = -9*s - l. Does 15 divide s?
False
Let a be 10*3*(-5)/(-50). Suppose 0 = 5*o - m - a*m - 1281, -5*m = -3*o + 779. Does 34 divide o?
False
Is (-26526)/((-8)/20 + (38/(-5) - -6)) a multiple of 140?
False
Suppose -65 - 5 = -5*r. Let g be 12/(-84) - 138/r. Let x(o) = o**3 + 11*o**2 + 3*o + 3. Does 13 divide x(g)?
False
Let d(a) = -300*a - 4302. Does 9 divide d(-45)?
True
Let n(a) = 24*a**2 - 8*a - 262. Is 6 a factor of n(-11)?
True
Let m(j) = 13*j**2 + 68*j + 393. Is 2 a factor of m(-6)?
False
Let w be 100/45 + -2 - 50/(-18). Suppose -4*h - 2*z + 1310 = -0*z, -w*z + 1305 = 4*h. Suppose -24*a + h = -22*a. Is a a multiple of 33?
True
Let g = 176 + 2407. Is 4 a factor of g?
False
Is 49 a factor of (-27)/(513/(-475))*355?
False
Suppose -3*m - 19*a = -20*a - 8934, -3*m - 11*a = -8862. Is 31 a factor of m?
True
Let z = 100 - 69. Suppose z*g - 30*g = 2. Suppose -g*b = -0*b - 8, a - 70 = -4*b. Does 9 divide a?
True
Let v = -2333 + 2717. Does 3 divide v?
True
Suppose 2*i + q + 6 = -2*i, 18 = -4*i + 5*q. Does 24 divide 0 - 1140/(-8) - 1/i?
False
Is (-890995)/(-84) - 47/564 a multiple of 74?
False
Let a(d) = 2*d**2 - 10*d + 9. Suppose -v + 0 + 4 = 0. Suppose 6*z - z = v*o + 19, z + 5*o - 27 = 0. Is 9 a factor of a(z)?
False
Let i(z) = -2*z**2 - 2*z - 4. Let o be i(-2). Is 8 a factor of (-3)/18*o*54 - -1?
False
Let b(d) = 190*d**2 - 2. Let v(h) = -6*h - 13. Suppose 4*g = -11 + 3. Let c be v(g). Is b(c) a multiple of 30?
False
Let n = -3583 + 3797. Does 4 divide n?
False
Let z = -103 + -613. Let h = 900 + z. Is h a multiple of 12?
False
Let j = -465 + 284. Let g = j - -262. Does 4 divide g?
False
Suppose 260 = -4*c - 6*c. Let k = 107 - c. Let y = -101 + k. Is 8 a factor of y?
True
Suppose 4*v = 4*l - 10524, -l + 3*v - 8*v = -2607. Is 30 a factor of l?
False
Let k be 2/8 + 60462/72. Suppose -49*x + 35*x + k = 0. Does 60 divide x?
True
Suppose -14*x = -12*x + 80. Does 10 divide ((-60)/x)/(6/1040)?
True
Let g(z) = 4*z - 48. Let y be g(16). Suppose -7*l + y*l = 1233. Is l a multiple of 17?
False
Suppose -6*l + 13*l = -4*l + 45122. Is 7 a factor of l?
True
Suppose 21*r + 12367 = 121609. Does 102 divide r?
True
Suppose 0 = 2*y + 2*x + 2, -3*x + 0 = -2*y + 13. Suppose -w = y*c - 343, -4*w + 164 = 5*c - 1223. Is w a multiple of 5?
False
Suppose -152 = -0*g - 4*g. Let z = 109 + -105. Suppose z*f = g + 218. Is 17 a factor of f?
False
Let g(v) = 2*v**2 + 205*v + 17484. Does 7 divide g(0)?
False
Let l(i) = -38*i - 2160. Is 10 a factor of l(-87)?
False
Suppose -439*y + 443*y - 5*a - 127823 = 0, 5*a = -3*y + 95946. Is 280 a factor of y?
False
Let f(m) = -1669*m + 199. Is 18 a factor