*s**3 - 16*s**2 - 2*s + 8. Is 4 a factor of q(h)?
True
Suppose 0 = -9*v + 414 - 126. Suppose t - 39 = v. Suppose -360 = 68*j - t*j. Is 40 a factor of j?
True
Suppose -8*p = -3*p - 1060. Let i = p - 137. Suppose -v - n + 20 + 16 = 0, -2*v - 3*n + i = 0. Is 11 a factor of v?
True
Is (6 - (-39854)/18) + (-9)/81 a multiple of 18?
False
Suppose 497*y - 8 = 501*y. Does 47 divide ((-13350)/20)/(y/(-8) + -1)?
False
Suppose 0 = -5*p + 3*b - 8209 + 42529, -3*p + 20576 = -5*b. Suppose -10*t + p = -3*t. Is t a multiple of 9?
True
Suppose -2*c + g + 2665 = -3481, 0 = -4*c - 3*g + 12322. Is c a multiple of 4?
True
Is 29 a factor of (-89 + -1)/((-138)/13432)?
False
Suppose -6*g + 1695 + 15193 + 26822 = 0. Does 10 divide g?
False
Let b(w) = -3*w**2 + w + 2*w**2 - 5*w + 17*w**3 + 8*w - 4 + 8*w**3. Is 27 a factor of b(2)?
False
Let y(m) = 11*m**2 - 34*m - 523. Is y(-22) a multiple of 7?
False
Does 3 divide (-55104)/(-80)*15/6?
True
Let b = -1620 - -3557. Does 18 divide b?
False
Let f(w) = 21 + 11*w + 4*w - 29*w + 3*w + 3*w + 13*w**2. Does 63 divide f(9)?
False
Suppose -5*o = 3*o + 1280. Let b be o + -13 - (-6 - -1). Is 3 a factor of ((-144)/b)/((-1)/(-14))?
True
Let d be 2/((-8)/2022)*(-636)/477. Let p = -606 + d. Does 17 divide p?
True
Suppose 832 = -14*j + j. Let g be ((-66)/(-8))/((-24)/j). Is (-3280)/(-110) + 2 + (-40)/g a multiple of 8?
False
Let j(s) = 5*s**2 + 158*s - 1385. Is 13 a factor of j(-82)?
True
Let t(x) = -6*x - 13. Let v be t(-3). Suppose s = -f + 940, -v*f - 1845 = 8*s - 10*s. Is 17 a factor of s?
True
Suppose 9*j - 1206 = 3087. Let p = j - 247. Is 46 a factor of p?
True
Is (-8)/10 + ((-14557644)/(-90))/27 a multiple of 14?
False
Let h(v) = 3*v**3 + 3*v**2 + 7 - 12 + 8 - 2*v**3. Let y be h(-3). Suppose -126 = y*l - 12*l. Does 12 divide l?
False
Let k be (-3 - (-9)/3) + 2 + -2. Suppose -v - 4*o - 89 = 0, v + k*v + 2*o + 85 = 0. Let f = 132 + v. Is 5 a factor of f?
False
Let r = -1703 + 7973. Does 30 divide r?
True
Suppose 3*c = -109 - 1241. Let i = -263 - c. Is 11 a factor of i?
True
Let w(h) = h**3 - 4*h + 5. Let u be w(2). Let d be 152/2 + (u - 4). Suppose -k + 5*t = -d, -3*k = -4*t - 25 - 151. Does 11 divide k?
False
Suppose -3250 = 5*y - 720. Let p = y + 1175. Is p a multiple of 19?
False
Let q be (-42)/9*-1 - (-8)/24. Suppose -q*u + 2*y = -28, 2*y = u + 7*y - 11. Suppose -855 = -u*l + 51. Is 30 a factor of l?
False
Is 26*((-847)/(-88) - 1/8) a multiple of 8?
False
Let m = 61 - 58. Let u be (8/16)/(m/2688). Let d = u - 258. Is d a multiple of 23?
False
Let p(s) = 31*s**2 + 76*s - 38. Is p(-14) a multiple of 130?
False
Let a(m) = 29*m + 91. Let r be a(-3). Suppose -f + 1388 = r*x, 2*x + 4*f + f = 712. Is 45 a factor of x?
False
Suppose -3*v = -1033 - 1007. Let s = 862 - v. Does 13 divide s?
True
Let s = 200 + -199. Does 14 divide -6 - (-11 + 6) - -701*s?
True
Let l(j) = j**2 + 2*j - 7. Let o be l(2). Let t be 10 - 6 - -2 - 3*o. Suppose -30 + 201 = t*u. Does 19 divide u?
True
Let h be (1/(-4))/((-62)/3224). Suppose -h*b = -16*b - z + 1259, 4*z = b - 424. Does 28 divide b?
True
Let t(m) = -m**3 + 27*m**2 - 27*m + 44. Let s be t(26). Suppose s*r - 24 = 6*r. Suppose -r*u = 7*u - 513. Does 15 divide u?
False
Let p(k) = k**3 + 6*k**2 + 5*k + 2. Let o be p(-5). Suppose o*u - 4*q + 16 = 0, 2*q = -u - 0*q - 8. Let h = 5 - u. Is 2 a factor of h?
False
Let y(i) = 11*i**2 - 125*i - 2. Let x be y(15). Suppose -593*w = -x*w + 9365. Is 30 a factor of w?
False
Let m(x) = 4*x**2 + 24*x + 55. Is m(15) a multiple of 5?
True
Let x be 1269/45 + (2/(-10))/1. Does 26 divide (-9)/63 + 5100/x?
True
Suppose 9*c - 12*c + 11 = -2*n, 0 = -n - c + 7. Suppose -5*o = -2*g - 505, -n*g + 5*g = -2*o + 183. Is o a multiple of 9?
True
Let d be (-28 + 12)/(-8)*62/(-4). Let x(g) = 2*g + 128. Is 2 a factor of x(d)?
True
Let q(g) = 170*g - 3035. Is 26 a factor of q(68)?
False
Let m(d) = -d**2 + 2*d + 30. Let f be m(8). Let j be -114*((-52)/f + 4/(-18)). Let t = j - -605. Does 32 divide t?
False
Let l(s) = -80*s**2 - 68*s + 14. Let p be l(-23). Does 27 divide (-2)/9 + p/(-117)?
False
Suppose -565 = 5*b - 4*x + 2*x, 4*b + 452 = x. Let k = 113 + b. Suppose k = 2*d + 2*d - 1236. Is 15 a factor of d?
False
Let v = 47 - 26. Let c = v - 15. Let d(f) = 22*f + 14. Does 14 divide d(c)?
False
Let f(j) = 17*j - 10. Suppose 59*w - 56*w - 6 = 0. Let g be f(w). Suppose 4*z - 24 = g. Does 4 divide z?
True
Suppose 5*f - 800 = 6*j - 3*j, 5*f + 4*j - 835 = 0. Suppose 5*w - 1492 = f. Suppose 2*i + 15 - w = 0. Is 23 a factor of i?
False
Suppose -25 = 5*r, -5*i + 481 = 3*r - 329. Suppose -3*b - i = -2*a, 0*b - 5*b = 3*a - 238. Suppose 0 = 2*g - a - 3. Does 7 divide g?
True
Let n be 28/210 - 193/(-15). Suppose 68 = -2*p + 3*p. Suppose -n*m + p + 244 = 0. Does 8 divide m?
True
Let r be 1/(-1)*((-4 - 4) + 5). Is 20 - ((-3 - -4) + r) even?
True
Let v(k) = 5*k + 27. Let z be v(-13). Let o = 44 + z. Let j(q) = 7*q**2 - 15*q. Is 45 a factor of j(o)?
False
Let i(p) = 2*p**2 + 5*p - 22. Let z be i(-5). Suppose 4 = -g, 3*m - 4*m + z*g + 418 = 0. Does 45 divide m?
False
Let r = -5427 - -6038. Is r a multiple of 24?
False
Suppose k + 2*v - 219 = 0, -k = -5*v + 123 - 363. Let d = -143 + k. Is 47 a factor of d?
False
Let t = -21269 + 26904. Does 161 divide t?
True
Let n be (15 - -3)*26/(-6). Let c = -89 - n. Let m(l) = l**2 + 8*l + 24. Is 12 a factor of m(c)?
False
Suppose 31*v - 40 = 41*v. Let t(l) = -21*l - 49. Is t(v) a multiple of 35?
True
Suppose -9*w - 89*w = -62034. Does 2 divide w?
False
Suppose 10*y = 6*y. Suppose 9*k - 10*k = y. Suppose -209 = -5*a + 4*h, k*a - 2*h = -5*a + 207. Is 13 a factor of a?
False
Is (68/(-4) - -4 - -8)*-1391 a multiple of 107?
True
Let a(v) = 818*v**3 + 6 - 817*v**3 - 6*v**2 + 6 + 12*v. Let s be a(6). Suppose r - 7 - 17 = 2*k, -4*k - s = -4*r. Is r a multiple of 2?
True
Suppose 5*x = 10*i - 6*i - 6530, -3*i - 5*x + 4880 = 0. Does 13 divide i?
False
Suppose 403*w - 7680 = 399*w. Is w a multiple of 32?
True
Let h(z) = -91*z + 105. Let c be h(-15). Suppose c = -140*x + 146*x. Is 7 a factor of x?
True
Suppose -12 = 4*v - 7*v. Suppose v*s - 5*r = 13, -2*r + 6*r - 6 = -5*s. Is 15 a factor of 1*88 - s*(1 - 2)?
True
Suppose -19862 = -4*h + h + 6778. Does 12 divide h?
True
Suppose -z + 296 = -3*j + 20406, 5*z = -6*j + 40213. Is 61 a factor of j?
False
Let z(t) = t**3 + 42*t**2 - 3*t - 149. Let a be z(-42). Let m(s) = s**3 + 21*s**2 - 69*s + 15. Is m(a) a multiple of 13?
False
Let o = -296 - -302. Does 21 divide -5 - ((-11448)/63 + o/(-21))?
False
Suppose -4*s + 17*h - 13*h = -8, 2*h - 1 = s. Suppose v + 3*n - 661 = 0, -3400 = -s*v + 14*n - 10*n. Does 13 divide v?
True
Suppose 8*v - 24 = 5*v. Let p(n) = -9*n**2 - 20*n + 10. Let w(a) = -2*a**2 + 1. Let b(t) = -p(t) + 5*w(t). Does 17 divide b(v)?
False
Let d(w) = 11*w - 84. Let k be d(8). Suppose 4*y + 2*t = -t + 809, 5*t + 785 = k*y. Is y a multiple of 4?
True
Let w be ((-1)/(-2))/(42/(-1512)). Is 6 a factor of ((-444)/w)/(2/(-3))*-2?
False
Suppose -5*a = -a - 344. Let o = a + -116. Does 14 divide (2/((-2)/3))/(o/690)?
False
Let a = -270 + 180. Let u = a + 100. Let l = u + 81. Does 7 divide l?
True
Let t(n) = -n**2 - 16*n + 10. Let f be t(-14). Suppose 0*w + 3*w - k - f = 0, 5*w + 3*k - 68 = 0. Does 13 divide w?
True
Let s be (255 + (-3 - 1))*1. Let v = s + -243. Is 7 a factor of v?
False
Let q(n) = n + 5. Let w be q(-15). Let s(r) = r**3 + 8*r**2 - 21*r + 5. Let p be s(w). Let x = 31 + p. Is x a multiple of 6?
False
Suppose -3*y - 5*b = -0*y + 10, -3*b = 5*y - 10. Let c be 7/(y*(-5)/(-75)). Let k = 129 - c. Does 17 divide k?
False
Let z be 28/(-35) + 3101/(-5). Let p = 1090 + z. Suppose -311 = -2*n + r - 0*r, -3*n = r - p. Is 39 a factor of n?
True
Suppose -34719*z + 229944 = -34695*z. Does 3 divide z?
False
Let a = 41 - 46. Let q be 2 - (-1 - -5) - (a - -16). Let w(j) = -8*j - 43. Is 10 a factor of w(q)?
False
Let n(z) = 238*z + 30. Is 171 a factor of n(3)?
False
Suppose -2*v - 12 = 2*p - 8, -4*v = -3*p + 29. Is 96/144 - ((-61)/p - -1) a multiple of 4?
True
Is 14 a factor of ((-177)/(-295)*-2)/(-2*2/23430)?
False
Let m be (-4 + (-19)/(-4))/((-2)/(-600)). Suppose -868 - 94 = -b. Is b/15 + 0 + (-30)/m a multiple of 8?
True
Suppose -53*s = -54*s + 370. Let q = 512 - s. Is q a multiple of 9?
False
Let i(s) = s**3 - 36*s**2 - 199*s - 122. 