-8 = -4*i - 4*z, -3*z + 6*z = -2*i + 2. Suppose 4*v = -h - 323, -8*h - 308 = 4*v - i*h. Let r = -56 - v. Does 10 divide r?
False
Let s = 16549 - 9493. Is s a multiple of 18?
True
Let c(j) be the first derivative of j**3/3 - 13*j**2/2 - 31. Suppose h + 4 + 8 = 0. Is 50 a factor of c(h)?
True
Is 999 + -2 + 0 + 0/(2 - -1) a multiple of 8?
False
Suppose h + 1440 = 2*x - h, -x + 5*h = -732. Is 73 a factor of x?
False
Let z(h) = -2*h**2 - 11*h - 5. Let b be z(-4). Is 19 a factor of (-2)/(-4) - -802*b/28?
False
Let z(s) = -2027*s - 997. Is z(-6) a multiple of 11?
True
Let y(j) = j**3 + 19*j**2 + 45*j + 57. Suppose -790*x + 796*x = -60. Does 39 divide y(x)?
True
Suppose 5*k = 2*f - 54 + 16, k - 26 = -2*f. Suppose f*y + 1378 = 5984. Does 4 divide y?
False
Let q(h) = -148 - 2*h**3 + 3*h**3 - 2*h + 260. Suppose 3*i + 2*l + 2 = 0, -3 = -3*i - 2*i + 3*l. Is 16 a factor of q(i)?
True
Suppose -7*k - 9294 + 26233 = -26825. Does 12 divide k?
True
Let h(v) = v**3 + 11*v**2 - v - 17. Let y be h(-11). Let g be (4 + 208/y)/((-4)/6). Does 30 divide g + 10 + (-8)/(-2)?
True
Is ((-9)/(-60) - (-6)/24)*31685 a multiple of 8?
False
Does 9 divide -9 + -1 - (-534 + 462)?
False
Let o(i) = 2*i**3 + 59*i**2 + 34*i + 61. Is 26 a factor of o(-17)?
True
Suppose 0 = -309*v + 254*v + 269170. Is v a multiple of 8?
False
Let h = 68 - -50. Is 4 a factor of 30/(-10)*h/(-6)?
False
Let a = -29 + 30. Let o(m) = 76*m + 1. Let w be o(a). Let j = w - 57. Is j a multiple of 10?
True
Let x = -4695 + 21711. Is x a multiple of 23?
False
Suppose 30*j - 76300 = -5*j. Suppose -j = 198*s - 208*s. Is s a multiple of 21?
False
Let a = -15337 + 16093. Is a a multiple of 126?
True
Let w = -2 - 0. Let z(y) = -41*y + 27. Is z(w) a multiple of 12?
False
Suppose -5*t - 6*a = -2*a + 1095, -4*t = a + 865. Let v = 275 + t. Is 3 a factor of v?
True
Suppose 5*w - 7*w - 6 = 3*r, 6 = -3*r. Suppose -m = s - 257, 2*m - 6*m - 20 = w. Is 23 a factor of s?
False
Does 29 divide (13/1)/((-3072)/(-438) + -5 + -2)?
False
Let t(p) = -p**3 - 6*p**2 - 4*p + 10. Let b be t(-5). Let f be (11 + -3)/(b/(10/4)). Is 4 a factor of 10/(-40) - ((-627)/f)/3?
True
Suppose 2*o = 4*o - 5*l + 79, -5*l - 2 = o. Is 39 a factor of (-120 + o/3)*(-7)/3?
False
Is (-2 - 8/(-16))*(-11408)/12 a multiple of 23?
True
Let n be 24/11 - 30/165. Let c(i) = 2 + 0 + n + 8*i. Does 11 divide c(5)?
True
Is 14 a factor of (-4 + 99 + -2)*(6 + 206/3)?
True
Let x(m) = m**2 - 5*m - 6. Let c be x(6). Let v(j) be the second derivative of -j**3/6 + 35*j**2/2 - 70*j - 3. Is v(c) a multiple of 6?
False
Let l be (-27)/((-3402)/2081492) + (-4)/(-18). Suppose -17*m + l = -3*m. Is m a multiple of 18?
False
Suppose t = 3*v + 105, 3*t + 0*v - v = 347. Does 23 divide (13/(t/(-66)))/(2/(-33))?
False
Let k be (5/(60/(-5298)))/((-3)/6). Suppose -887*g + k*g = -1628. Does 18 divide g?
False
Suppose 151*r - 256094 = 297924 + 765118. Is 28 a factor of r?
True
Suppose -217*b + 215*b + 4 = 0. Suppose -52 - 1396 = -b*d. Is 11 a factor of d?
False
Let f = 102199 + -58151. Is 26 a factor of f?
False
Let q(m) = -m**2 - 2*m + 2. Suppose 2*z = -4*y + 6, -8*y + 4*y - 5*z = -15. Let l be q(y). Suppose -a + 225 = l*a. Is a a multiple of 25?
True
Let j(v) = 16*v + 9*v**2 - 3*v**2 + v**3 + 0*v**3 + 5*v**2. Let z be j(-10). Does 33 divide (73/(-1) - -1)*z/48?
False
Let d(x) be the second derivative of -x**5/20 - 11*x**4/12 - 2*x**3 + 13*x**2 + 36*x - 1. Is 14 a factor of d(-15)?
True
Let w(u) = 3*u**3 - 5*u**2 + 4*u - 3. Let o be w(11). Suppose -6*z = -o + 429. Let q = 850 - z. Is q a multiple of 50?
True
Let c = 198 - 165. Suppose 0 = 3*w + c - 117. Is w a multiple of 7?
True
Let y(u) = 257*u**2 + 255*u + 100. Does 9 divide y(10)?
True
Let x be 2/10*-12*(-2590)/111. Let s = -53 + x. Does 13 divide (-8)/s*(9 + -3 + -45)?
True
Suppose 4*c - 16 = u, -c = 5*u - 4 - 0. Let b be (u*2/(-4))/(3*1). Suppose 0*m - 3*m + 2*d + 941 = 0, -3*m - d + 938 = b. Is m a multiple of 30?
False
Suppose 366*y = 378*y - 20436. Is 43 a factor of y?
False
Does 13 divide (14 + -27)/((15/(-750))/(38/4))?
True
Suppose 4*k + 24 = 5*a - a, -4 = -2*a. Let j(h) = 2*h + 65. Does 16 divide j(k)?
False
Let n be (4 - 19/4)*-2*-78. Let x be (-16)/6 - (-1)/(-3). Is 9 a factor of n/((-3)/9 + 2/x)?
True
Let n(v) = -2*v**2 + 59*v - 6. Let c be n(-8). Let u = -366 - c. Is u a multiple of 30?
True
Let n = 576 - 407. Suppose z - n = 2*i + 3*i, 5*i - 815 = -5*z. Does 20 divide z?
False
Let w = -27 + 35. Suppose 3*p - 4 = 5, w = -o + 3*p. Is 40 a factor of ((2 - o) + 130)/1?
False
Suppose 4*w - 8 = -3*t - 18, 2*w + 8 = -2*t. Is 15 a factor of ((-27)/t - 3)*386/3?
False
Let n(q) = -q**2 - 29*q - 157. Let h be n(-22). Does 6 divide 4*h/(-48) - (-3206)/8?
False
Let w = 13 - 5. Let f be (-1)/((-6)/(-27)*(-9)/(-12)). Does 22 divide 129/(-2)*(w/f)/2?
False
Let f(n) = 87*n. Let u(k) = -615*k. Let t(s) = -15*f(s) - 2*u(s). Does 20 divide t(-3)?
False
Let f(b) = -b**2 - 13*b - 3. Let x(a) = a**2 + 17*a - 24. Suppose -21*q + 20*q - 18 = 0. Let d be x(q). Is 10 a factor of f(d)?
False
Let x(a) = 2*a**2 - 28*a - 27. Suppose -2*q + 5*q - 51 = 0. Is x(q) a multiple of 15?
True
Let u = -451 + 1333. Let f = u - 463. Is 11 a factor of f?
False
Suppose m - 1175 = -h, m - h - 1175 = -4*h. Let p = m - -883. Suppose -17*r + 3*r + p = 0. Does 28 divide r?
False
Suppose g = -g + 604. Let u = 512 - g. Suppose -h - h - 2*k + u = 0, h = -4*k + 93. Is h a multiple of 22?
False
Let g(s) = -s**2 - 24*s + 4. Let w be g(-24). Let i(c) = c**3 + 3*c**2 - 3*c + 2. Is 17 a factor of i(w)?
True
Suppose w + 7 = -4*m, 5*w + 0*m = m - 14. Let d = -35 + -1. Let q = w - d. Is q a multiple of 11?
True
Let f = 47 - 29. Suppose -f = -u + 25. Suppose -u = -3*o + 89. Does 11 divide o?
True
Let x = -2330 + 3063. Is x even?
False
Suppose -156*p + 641424 = -72*p. Does 18 divide p?
False
Let t(o) = 2*o**2 - 6*o + 5. Let p be t(3). Suppose -i + 2 = -5*l, -i + 7 - p = 0. Suppose -8*h = -l*h - 1768. Is h a multiple of 13?
True
Suppose 5*g = 2*r + 91634, 2*g + 3*r = 16891 + 19774. Is 22 a factor of g?
False
Suppose -y - 5*i + 8683 = 0, -78*y = -79*y + 5*i + 8693. Is 14 a factor of y?
False
Let b = -10572 - -14247. Does 11 divide b?
False
Let n = 26031 - 5136. Is 7 a factor of n?
True
Let k(t) = 2*t - 40. Let f be k(21). Suppose -848 = f*b - 3602. Is b a multiple of 27?
True
Suppose -5*o - 8*p + 5570 = -6*p, -5*p = -2*o + 2257. Is o a multiple of 6?
True
Let h = -42 + 54. Is 27 a factor of ((-24)/(-20))/(h/6030)?
False
Let k = 60 - 56. Let w be k/7 - (-740)/28. Let j = -9 + w. Does 6 divide j?
True
Let h = 407 - 402. Suppose -4*y - 384 = -r, -1062 - 518 = -4*r + h*y. Does 40 divide r?
True
Suppose 3*n + 86942 = 4*h, 5*n - 105 = -75. Is 20 a factor of h?
True
Let z = 9371 - 3847. Does 45 divide z?
False
Suppose w - 4*f + 17 = 0, -2*w - f - 3*f = 10. Let v = -2 + 4. Is 3 a factor of (-190)/(-45) + -1 + v/w?
True
Suppose 3*i = -3*a + 141, 0 = 2*a + 7*i - 3*i - 102. Let g = a + -33. Is 10 a factor of g?
True
Let i(r) be the third derivative of 7*r**5/20 + 5*r**4/12 - r**2. Suppose -2*l - 4*z + 8 = -0*z, 4*l + 5*z - 13 = 0. Does 49 divide i(l)?
False
Suppose 4*o = 2*n + 212, 2*o - 3*n - 35 - 75 = 0. Suppose 5*z = -o + 102. Suppose -z*p - 186 + 1896 = 0. Is p a multiple of 19?
True
Let y = 12533 - 244. Is 85 a factor of y?
False
Suppose 4*h - a - 17 = 0, -5*a = 7*h - 2*h - 40. Suppose 0 = h*o + 20, -2*o = -3*k + 120 + 41. Is 5 a factor of k?
False
Suppose 5 + 5 = 5*r, 0 = 3*t + r - 26. Suppose t = 2*q + 4. Suppose 0*m - q*m = 2*a - 206, 0 = 5*a - 5*m - 565. Is a a multiple of 11?
False
Let w = 48 + -151. Let o = 251 + w. Does 34 divide o?
False
Let x = -49 + 7. Let u = x - -39. Is 9 a factor of ((-264)/u - 1) + 8/2?
False
Suppose 128 = 121*c - 113*c. Suppose -c*r + 15*r + 2*k = -191, k = -5*r + 911. Is r a multiple of 3?
True
Suppose -4*x - 8096 = -5*i, -8*i + 11*x = 14*x - 12916. Is i a multiple of 101?
True
Let o be (-2)/(-4) + (-378)/12. Let c = 31 + o. Suppose c*m - 232 = -2*m + 2*a, -5*m + 564 = 3*a. Is m a multiple of 57?
True
Let c(s) = -s. Let q be c(-2). Suppose -25 = 4*f - 2*m - m, -q*m = -4*f - 26. Let z = 40 + f. Does 11 divide z?
True
Suppose -2*m + 684 = -124. Let y(k) = 112*k - 13. Let v be y(1). Let j = m - v. Does 39 divide j?
False
Suppose 6*w + 130 = 142. Is (-1)/(-2)*(w + 1