 5*h**2 - h. Let z be u(-5). Suppose z*x = 25, 0 = -3*c + x + 4. Let w(p) = 3*p**3 + p + 1. Is 17 a factor of w(c)?
True
Let f be (-40)/24 - ((-2)/1)/(-6). Let x be (-3)/(-4) - ((-85)/20 - f). Is x/(-15) + (-192)/(-10) a multiple of 3?
False
Let w = -213 - -87. Is 11 a factor of ((-48)/18)/(-1 + (-125)/w)?
False
Let x be (-870)/12*((-56)/(-5))/(-2). Suppose s + 8*g = 3*g + 192, -2*s = -g - x. Is 7 a factor of s?
False
Is 10 a factor of 3/8*14*366560/1185?
False
Suppose -p - 4*p + 2774 = -2*i, 0 = -3*p + 5*i + 1672. Suppose 712 = 5*d - 4*z, d - 2*z = 5*d - p. Is d a multiple of 10?
True
Let v(s) = -2*s - 3262*s**2 + 3259*s**2 - 3*s - 2 - 53*s**3. Is 70 a factor of v(-2)?
True
Is (26 - -11418) + (-3 - -1)*2 a multiple of 130?
True
Let v be (170/12)/5 + (-25)/(-150). Suppose -3*l - v*c = 2*l - 1462, -4*l = 2*c - 1168. Is 55 a factor of l?
False
Does 36 divide 3*55986/(-693)*-11?
False
Suppose 16 = 2*g + s, -g + 0 = -s - 8. Suppose g*m - 96 = 6*m. Does 3 divide m?
True
Suppose -2*b - 5 = -11, 0 = -5*r + 3*b + 6. Suppose -3*j = -r*p + 705, 5*p + 2*j - 102 = 1087. Is p a multiple of 28?
False
Let h = 12 - -3. Suppose 0*z + z + 2*y + 7 = 0, 3*z + 4*y = -h. Let o(k) = -31*k**3 - k**2 - 4*k - 4. Does 15 divide o(z)?
True
Suppose 2*l + l - 2*l - 2356 = 0. Is 7 a factor of l?
False
Let u(w) = -w**3 - 8*w**2 + 2*w + 15. Let c be u(-8). Let v = c - -13. Is v a multiple of 3?
True
Let m(k) = -17*k**2 + 1009*k - 118. Is m(58) a multiple of 38?
True
Suppose 4*q - t - t - 18 = 0, 2*t = -2. Let d be 2*-1*(-2)/q. Does 10 divide (0/d - -1) + (53 - 44)?
True
Suppose -3*c = -l + 4*l - 6, -28 = -2*l + 4*c. Is l/(-24)*(-3 + -113) a multiple of 29?
True
Let h = 196 - 37. Let p = -103 + h. Suppose l = -r + p, -2*r + 340 - 45 = 5*l. Does 19 divide l?
False
Suppose 7*t + 29 = -20. Let k(d) = -10*d - 18. Let m be k(t). Suppose -5*f + 92 + 54 = -2*a, -m = -2*f + 4*a. Is f a multiple of 4?
False
Let g = 157 + -154. Suppose 5*h - 755 - 130 = -g*y, 2*h + 1206 = 4*y. Does 6 divide y?
True
Suppose k + 3*k + 80096 = 20*k. Does 31 divide k?
False
Let f(w) = -19*w**3 - 6*w**2 - 4*w + 4. Let h be f(-3). Suppose h*t + 536 = 479*t. Is 7 a factor of t?
False
Let c(j) = -j**3 + 33*j**2 - 43*j + 25. Let u be c(32). Let n = 36 - u. Is 32 a factor of n?
False
Suppose 0 = -0*w + 4*w - 20. Suppose -w*m + 5*k = 2*k - 2245, -3*m + 3*k + 1341 = 0. Suppose 0 = 8*t - 4*t - m. Is 28 a factor of t?
False
Suppose -f + 7 = -133. Let g = f - 64. Does 19 divide g?
True
Suppose 3*w - 48*w + 73260 = 0. Does 70 divide w?
False
Let c = 61 + -71. Let j be -6 + (-2)/5*c. Let d(i) = -24*i**3 - i + 3. Does 14 divide d(j)?
False
Let h(c) = c + 16. Let m be h(-20). Let n = m + 6. Does 33 divide 160 - (2 - 10/n)?
False
Suppose -53*f + 384 = -21*f. Suppose -f*z - 26884 = -38*z. Is z a multiple of 11?
True
Let i = 15001 - 4456. Does 5 divide i?
True
Let g = 82246 + -49304. Is g a multiple of 14?
True
Suppose 21 = 43*x - 36*x. Suppose 0 = b - x*b + 2*u + 352, -2 = -2*u. Is b a multiple of 24?
False
Let y = -9745 - -13661. Is y a multiple of 84?
False
Suppose -9*r + 8*r = -72. Let l = r + -22. Is 4 a factor of l?
False
Let b be (-222)/9*(-66)/4. Let w = -59 + b. Let u = 528 - w. Is 12 a factor of u?
True
Suppose -12755 = -c + 5*h + 8545, 4*h - 85200 = -4*c. Is 110 a factor of c?
False
Suppose 0 = 15*b - 6*b - 9. Let o(t) = 616*t**2 + 20*t - 21. Is o(b) a multiple of 19?
False
Suppose -17*u + 135 = -817. Suppose u = 3*b - 4*v, -2*b - 50 = -7*b - 2*v. Is b a multiple of 3?
True
Let w(c) = c - 8. Let q be w(12). Suppose 4*p - 15 = -p, r = -p + 219. Suppose q*o - 2*y = o + 216, 3*o - r = -3*y. Is 36 a factor of o?
True
Let s = -65 - -69. Suppose -s*m + 32 = -2*h + 2, 4*m = -2*h + 2. Let o(r) = -r**2 - 9*r - 4. Is 8 a factor of o(h)?
False
Let q = 3625 - 3315. Is 10 a factor of q?
True
Is -10 + 2364 + (-6 - 5) a multiple of 33?
True
Let c(i) = -32*i + 113. Let s be c(6). Let r = s + 159. Is r a multiple of 48?
False
Let j(a) = -12*a**3 + 29*a**3 + 2*a - 18*a**3. Let q be j(-2). Is q + 178 + (-4)/(-8)*-2 a multiple of 23?
False
Let a(c) = c**2 + 2*c - 8. Let q be a(2). Suppose q = 4*p - 16, -p - 3*p = 2*z - 24. Suppose -z*g = -48 - 52. Is g a multiple of 4?
False
Let r = -40084 - -64654. Is r a multiple of 12?
False
Let k = -32 - -37. Suppose -k*o + 7 = -8. Suppose o*n - 6*n = -453. Does 33 divide n?
False
Let g(k) = k**3 + 9*k**2 + k + 8. Let m be g(-9). Let y be 606/30 + m/5 + 3. Suppose -28*s + y*s + 45 = 0. Is 6 a factor of s?
False
Suppose 475 = 10*z - 4275. Is 2 a factor of z?
False
Let v(u) = 3*u**2 + 11*u - 43. Let p be 10/5*(3 - 1). Is v(p) a multiple of 25?
False
Let j = 15983 + -4391. Is 23 a factor of j?
True
Does 103 divide (35/(-105))/((-1)/4017)?
True
Suppose 5*n + 4*a = 38420, -6*a + 23020 = 3*n - 10*a. Is 24 a factor of n?
True
Does 41 divide (-336)/(-280) + 93388/10?
False
Let f be 221/187 - (-4)/(-22). Suppose -19 = -4*w + f. Suppose -2*v + 2 = 0, -w*v + 187 = -l + 3*l. Is 20 a factor of l?
False
Suppose 84*q - 517598 = 28*q - 97150. Is 169 a factor of q?
False
Let y = -21 - -34. Suppose 3*q = i - 6 - 3, 3*i = 2*q + y. Let x = 119 - q. Is x a multiple of 7?
False
Let m be (6/(-4))/(((-9)/10)/3). Suppose 0 = m*c - 2766 - 1509. Is 3 a factor of 1/(4 + c/(-215))?
False
Is 146/30 + -5 + (-430752)/(-90) + -2 a multiple of 46?
True
Is 126 a factor of 2395997/388 + (-5)/4?
True
Let w be (-2)/(8/(-13)) + (-90)/(-120). Suppose -2*d - 13158 = -w*d. Is 18 a factor of (2/6)/(17/d)?
False
Let y = 460 + -449. Suppose -6325 = -y*l - 1584. Is 18 a factor of l?
False
Let j = 1230 - 876. Does 51 divide j - (-5)/(-35)*0?
False
Let p(y) = -16*y**3 - y**2 + 8*y - 2. Let j be p(-4). Let x = j + -622. Is 36 a factor of x?
False
Let p be ((-5)/(-5))/(-1) + -2. Let d be 4 - (7 + -5 + p). Suppose d*c = -r + 1057, -3*c - r + 637 = r. Does 43 divide c?
False
Let g = 23 - -15. Suppose -3*a + g = -5*s, -4*a = 4*s - 0*s - 72. Suppose a = -4*d, 5*d + 57 = 2*h + 1. Is h a multiple of 6?
True
Suppose -5*o = -v + 1003, 3*v = 2*o + o + 609. Let j be ((-68)/10)/(7 + 1405/o). Suppose 282 = 2*t - 0*t - 2*r, 4*r = 2*t - j. Is 26 a factor of t?
False
Let z = 11771 - 9476. Is z a multiple of 153?
True
Let l(s) = 14*s**2 - 15*s + 118. Is l(35) a multiple of 22?
False
Let i(l) = -36*l**2 + 14*l - 4. Suppose 2*c - 5*v = -4, c = -4*v + 10 + 1. Let r(n) = -7*n**2 + 3*n - 1. Let w(q) = c*i(q) - 16*r(q). Does 16 divide w(5)?
False
Let p = -38 - -40. Suppose -5*z + v = 9 + 6, 0 = 2*z + p*v - 6. Is (z/(-3))/(-1) - 62/(-3) a multiple of 5?
True
Let w(m) = 2*m**3 - 28*m**2 - 8*m + 548. Does 164 divide w(26)?
True
Suppose 0 = 4*i + 2*i + 378. Let q be (i - -4)/(2/(-10)). Suppose -85 + q = 3*b. Does 39 divide b?
False
Is 3 + -14 - (-7 - -3) - -3246 a multiple of 4?
False
Suppose -141*f - 10132 = 584. Let z be (327/9)/((-2)/(-6)). Let t = z - f. Does 27 divide t?
False
Suppose 10 - 9 = -v, -3*m = -2*v - 3740. Is m a multiple of 89?
True
Suppose -3*q - 5*y = 351 - 4592, 0 = 4*q - 2*y - 5620. Is 6 a factor of q?
False
Suppose -488 = f - 3*v, 2*f - v = 2*v - 973. Does 9 divide -6*(-6)/((-90)/f)?
False
Suppose 0 = 10*i - 2566 - 14. Suppose -2*c + 3 = -3*s, -4*s + 0 = c - 7. Is (c*-2)/((-12)/i) a multiple of 18?
False
Suppose -2*w - j - 2*j = -15, -j = -2*w - 5. Let z(k) = -k**3. Let p be z(w). Suppose 0 = -4*x - 3*c + 234, p*x = -3*x + 3*c + 186. Is 5 a factor of x?
True
Suppose 38 - 23 = 3*f, 3*q = 5*f + 131. Is 24 a factor of q?
False
Let u be (1 + (-20)/15)/(5/15). Let n(h) = 42*h**2 - 3*h - 3. Is 21 a factor of n(u)?
True
Let k(o) = -o**3 - 6*o**2 - 4*o - 13. Let n be k(-6). Suppose 16*u - n*u = 0. Suppose 5*v - 3*g = v + 128, v + g - 25 = u. Is v a multiple of 18?
False
Let l be 1/((-1)/(-1475)) + 7 + -2. Suppose -2*d - 3*d = 3*x - 920, -5*x + 5*d = -l. Is 21 a factor of x?
False
Let n(q) = 17*q**2 - 5*q - 45. Let o(s) = 37*s**2 - 11*s - 89. Let j(x) = 7*n(x) - 3*o(x). Is 24 a factor of j(-8)?
True
Let t(g) = g**2 - 1. Let f be t(-2). Let d = 0 + f. Is 9 a factor of (-5028)/(-36) - (2/d - 0)?
False
Let p = -588 - -6100. Is p a multiple of 26?
True
Suppose -5*a = -3*a - 28. Suppose a*h - 325 = -101. Suppose h*j = 7*j + 720. Is j a multiple of 20?
True
Suppose 13520 = 2*l + 4*t, 0 = -5*t - 125 + 95. Is 133 a factor of l?
False
Let m be 11064/(-192) + (-6