 0 = 5*v + 3*p - z - 194. Does 16 divide v?
False
Let s(m) = -m**3 - 8*m**2 + 2*m - 8. Let y be s(-8). Let b be (-19)/(-4) + (-6)/y. Suppose 2*z + 60 = b*z. Is z a multiple of 10?
True
Let x(a) = -73*a - 77. Let u be x(-3). Let h = 172 - u. Does 5 divide h?
True
Is 29/(-58) - (-9777)/2 a multiple of 140?
False
Let n(s) = 8*s**2 + 9*s - 13. Let i be n(-9). Let y = i - 248. Let g = -180 + y. Does 26 divide g?
False
Let a(h) = 13*h - 15*h + 8*h + 5*h - 29. Does 2 divide a(6)?
False
Let f(x) = -496*x + 2606. Is 23 a factor of f(5)?
False
Let z(s) be the first derivative of 99*s**2/2 - 12*s - 39. Is 8 a factor of z(4)?
True
Does 19 divide (-197 - -223)*1653/6?
True
Let d = -970 - -4581. Is 3 a factor of d?
False
Let t(k) = 3*k - 16. Let l be t(7). Suppose 2*o = 4*f - 25 + 147, 0 = l*f - 3*o + 155. Is 4 a factor of (f/8)/((-3)/18*1)?
False
Let h be (-1 - -87)*(-4 - -3). Let r = 91 + h. Suppose -r*s + 31 = -29. Is 4 a factor of s?
True
Suppose -10*n + 3*x = -6*n + 1413, -3*x - 15 = 0. Let b = -331 - n. Does 4 divide b?
False
Let d = -56 + 63. Is 5 a factor of d*(6 + (5 - 1))?
True
Let r = -11 + 16. Let i be (-10)/(r + (-33)/6). Suppose 36 + i = c. Is c a multiple of 19?
False
Let a(y) = -17*y - 17*y + 33*y - 15 + 18*y**2 - y**3 - 52*y. Is a(14) a multiple of 2?
False
Suppose 15*j - 29547 = 65253. Is j a multiple of 20?
True
Let c be 4084/14 - 12/(-42). Let w = 500 - c. Is 13 a factor of w?
True
Let z(p) be the first derivative of 2*p**4 + p**3/3 + 3*p - 487. Let r(n) = n - 2. Let i be r(5). Is z(i) a multiple of 38?
True
Let i(q) be the third derivative of -12*q**2 + 5/6*q**3 + 0 + 2/3*q**4 + 0*q. Is i(2) a multiple of 10?
False
Suppose -17*z = 9834 - 1504. Let h = z - -770. Is 11 a factor of h?
False
Suppose 0 = 2*v - 5*a - 101, -a = -0*a + 5. Let g = v - 92. Does 11 divide ((-32)/(-16))/((-4)/g)?
False
Let r = -25081 + 57939. Is 34 a factor of r?
False
Suppose 2*y + 20610 = 4*q, -6*q + 10309 = -4*q - 5*y. Is q a multiple of 18?
False
Suppose 13 = y + 2*i, 5*i - 24 = 1. Let j be (30/(-35))/((-7)/7791). Does 43 divide (2/y)/(6/j)?
False
Let h(z) = -z**2 - 21*z + 22. Let a = 54 - 49. Suppose -n + a = 17. Is 26 a factor of h(n)?
True
Suppose 3*g + 10 - 7 = 0. Let w be (3 + 4)*(-2 - g). Let c = w - -48. Is c a multiple of 15?
False
Let r(o) = -o**3 + 64*o**2 - 37*o + 150. Is 7 a factor of r(62)?
True
Let k(w) = 32*w**2 - 165*w - 59. Is k(-11) a multiple of 21?
True
Does 36 divide (404/(-3)*(-798)/(-84))/(8/(-12))?
False
Suppose -2*h = 3*q - 8823, 3*h - 3*q - 14460 = -1203. Does 8 divide h?
True
Let s = -710 + 3104. Is s a multiple of 114?
True
Suppose 13*d - 1 = 103. Let t = d + 11. Is 14 a factor of t?
False
Suppose 47765*z = 47754*z + 24640. Is 3 a factor of z?
False
Suppose -33*o = 22*o + 3233 - 142383. Is 11 a factor of o?
True
Suppose 9310 = -16*f - 1410. Let m = 1606 + f. Is 39 a factor of m?
True
Let z = -61 - -144. Suppose 5*l = 4*g + z, -3*l + 2*g = l - 64. Suppose -2*w + l = w. Does 4 divide w?
False
Let d = -82 - -84. Let b be d*-1*8/4. Is 4/(-6)*(b - 892/8) a multiple of 8?
False
Let p be (-7 - (-13)/2)*(1 - 1). Suppose 6*m + p*m - 120 = 0. Is 5 a factor of m?
True
Let j(z) = z**3 - 2*z**2 - 3*z + 11. Let n be j(6). Let l = n - 71. Let d = -15 + l. Does 17 divide d?
True
Let o(k) = 8*k**2 - 55*k + 23. Suppose -5*f + 54 = 5*p - 1, 0 = 3*p - 6. Does 16 divide o(f)?
True
Suppose 5*g + c - 22 = 0, 5*g - 4*g - 2 = c. Suppose -38 = -q + 4*y, 0 = -4*q + g*y + 81 + 71. Does 36 divide q?
False
Suppose 3*j - 4*j - 5 = 0, -4*p - 270 = 2*j. Let s = -391 - -234. Let o = p - s. Is 16 a factor of o?
False
Let b be 30/(0 - -6)*352/10. Suppose 728 = 2*d + b. Is 23 a factor of d?
True
Let p(c) = -c - 7. Let t be p(4). Let m = t - -57. Suppose 0 = 2*z - 132 - m. Is 8 a factor of z?
False
Suppose -14 = j + 5. Let f = -151 + j. Is (-18)/(-24)*(2 + f)/(-2) a multiple of 9?
True
Suppose 9 = 3*u, -3*q = -0*q + 2*u + 5790. Let i = q - -3022. Does 13 divide (-8)/140*-5 - i/(-7)?
True
Suppose -62*n + 49963 + 6206 = -59*n. Is n a multiple of 151?
False
Let i(d) = 80*d**2 + 10*d + 155. Does 41 divide i(11)?
False
Let r be (6 - -1) + (3 - 8). Suppose r*p - 5*g - 751 = 0, 0 = 3*p - 2*p + 4*g - 356. Does 14 divide p?
False
Suppose -86860 = -s + 4*k, 0 = 19*s - 17*s - k - 173776. Is 52 a factor of s?
True
Let t = -56 - -76. Suppose 3*z + z = -t, 2*z + 10 = 5*x. Suppose -3*b + b + 76 = x. Is b a multiple of 7?
False
Let q = -14 - 85. Let u = 27 - q. Suppose -2*x + 4*x = u. Is x a multiple of 7?
True
Suppose 0 = 2*r + 4 + 4. Let c be ((-26)/3 - r)*-15. Let m = c - 30. Is m a multiple of 10?
True
Does 77 divide (-82)/(-123) + (12/(-30) - (-405401)/15)?
True
Suppose -39 = 5*h - 294. Let l = h - 47. Suppose -b + 123 = 4*a - 2*b, -l*a - b + 125 = 0. Does 31 divide a?
True
Suppose -6*b + b + 82 = a, -4*a - b + 328 = 0. Let p = -69 + a. Is 2 a factor of p?
False
Suppose 4*x - 12 = 0, -2*t - x = -7 + 6. Let o(l) = 870*l**2 - 1. Does 47 divide o(t)?
False
Suppose -5110 - 9175 = -5*t - 3*x, 5*t - 14285 = 2*x. Is 4 a factor of t?
False
Suppose 2*u + 3*p = 33540, -u + 2*u - 16773 = -p. Is 17 a factor of u?
True
Suppose 2*n = -0 - 6. Let q be (-200)/n - 6/(-18). Let y = q - 51. Is y a multiple of 16?
True
Suppose 3*b = -4*w - 2 + 6, 3*b - 12 = 0. Let f be w/((-5)/(-835)*-2). Suppose 0 = 2*v + 4*s - f + 35, 3*v = -5*s + 195. Does 9 divide v?
False
Suppose 2*a = -4*m + 272, -17 = -5*m + 3*a + 334. Suppose 9*s = -m - 543. Let f = -50 - s. Does 2 divide f?
True
Let m(j) = 3*j**2 + 26*j - 9. Let h be m(-9). Suppose -11*l + 3*l + 1232 = h. Is 7 a factor of l?
True
Suppose -60*a = -62*a + 14, -n + 7*a + 9329 = 0. Is n a multiple of 18?
True
Suppose 79927 = 90*r - 10704 - 33749. Does 7 divide r?
False
Let x(n) = -n**2 - 7*n - 8. Let o be x(-2). Let p be ((-2)/(-35)*5)/(o/28). Suppose -355 = -p*q + 37. Is q a multiple of 22?
False
Let q(z) = z**2 + 3*z - 4. Let y be q(-4). Suppose -h + 10 = s, -4*s - 2*h + 62 = s. Is 4 a factor of 0 - y - (-672)/s?
True
Suppose 72 = 6*y + 6*y. Let f be (-35)/(-2) + ((-30)/(-4) - y). Suppose 4*b + f - 823 = 0. Is b a multiple of 20?
False
Let z be 6 - (-1 - 0)*-4. Suppose -4*o + z*o + d = -111, 12 = 4*d. Is o/15 + (-11)/(-5) + -2 even?
True
Suppose -14*j = -6*j - 296. Let f = 42 - j. Suppose -2*a = 10, -c + 66 = -f*a - 0*a. Does 2 divide c?
False
Suppose -3*l + 40 = -4*p, -3*p - 6*l - 1 = -l. Let o(g) be the second derivative of g**5/20 + 2*g**4/3 - g**3/2 - 2*g**2 + g. Does 10 divide o(p)?
False
Suppose -3*y = 7 + 5. Let c be y*12/(-16) - -17. Suppose 0 = -j + 51 + c. Does 17 divide j?
False
Let x(u) = u**2 + 4*u - 7. Let z be x(-5). Let i = z - 54. Let f = -43 - i. Is f a multiple of 3?
False
Suppose 3*f - 23721 = -3*n, -2*f - 59*n + 15835 = -64*n. Is f a multiple of 57?
False
Let a be (-27)/(-21) + -1 - 5/(-7). Let q(b) = 3*b**3 + 2*b**2 - 2. Let z be q(2). Is 9 a factor of ((-3)/(-2))/(a/z)?
True
Let q = -64 - -65. Let w be ((-56)/12 + 5)/(q/18). Suppose w*t + 7*t = 182. Does 2 divide t?
True
Suppose d - u + 1035 = 3612, d = -2*u + 2589. Does 4 divide d?
False
Suppose z + 2*p = -0*z + 11, -4*z - 2*p = -32. Let t be z/(-21) - (-436)/3. Let v = -25 + t. Is v a multiple of 24?
True
Suppose 2*x - 5*k + 101 = 0, -k + 145 = -3*x - 0*k. Let s = 290 + -383. Let n = x - s. Is n a multiple of 9?
True
Let x(t) = t**2 + 6*t + 2. Let o = 7 + -3. Let u(h) = h + 1. Let p(r) = o*u(r) + x(r). Is 30 a factor of p(8)?
True
Let y be 1/4*(-15 + 7). Does 55 divide (300/(-5))/(1*y/22)?
True
Let l(k) = -10*k - k**2 + 22 - 8*k - k**3 - 11*k**2. Let j be l(-10). Suppose -5*u + 860 = 3*v, -4*v + 7*u = j*u - 1205. Does 59 divide v?
True
Suppose -2*l = -3*h - 14520, 2*h = -50*l + 52*l - 14526. Is l a multiple of 10?
False
Let q = 42 + -38. Suppose -q*a - 30 + 10 = -2*m, -3*a - 15 = -5*m. Suppose 4*o + 1 = 3*o, m = h - o - 29. Is h a multiple of 28?
True
Let w = 167 + 8482. Is w a multiple of 9?
True
Let k = 36 + -35. Let x be ((-6)/12 + k)/(1/6). Suppose -2*y + 235 = x*h, -3*y + 16 = 1. Does 25 divide h?
True
Suppose 4*r = -3*c + 76504, -3*c = 2*r - 43853 + 5589. Is r a multiple of 17?
False
Let i = 16 + -17. Let w be (i + (-2)/(-3))*(-11 - 4). Suppose 0 = -2*y - w*t + 131, -268 = -4*y - 3*t - t. Is y a multiple of 34?
True
Let j = 16072 + -11687. Is j a multiple of 25?
False
Suppose