 be 2/8*-2*(2 + -2). Suppose -30*b + 19*b = f. Let j(t) = -10*t + 42. Is 14 a factor of j(b)?
True
Suppose 2*x + 2*g + 14 = 0, 9*g - 7*g = -x - 12. Is (x + (-118)/(-5))/(52/390) a multiple of 18?
True
Let h be (-6 - -7)*-3 + 5. Suppose -3*g - 4*l - 3043 = -8*g, h*g = 5*l + 1207. Is 47 a factor of g?
True
Suppose 5*k = -k + 60. Let s be 5/k + (-1)/2. Let p(w) = -w**3 + w + 12. Does 4 divide p(s)?
True
Let c(m) = -m + 10. Let p be c(7). Let r(x) = -x - p*x + 5*x + 57*x**2 - 2 + 0*x. Is 12 a factor of r(1)?
False
Let u(b) = -b**3 + 7*b**2 + 6. Let l be u(9). Let f = -51 - l. Let v = f + -50. Is v a multiple of 13?
False
Let d be (18/36)/(2/12). Suppose d*h - 1980 = -0*h. Suppose -825 = -5*p - 2*g, -p + h = 3*p + g. Does 33 divide p?
True
Let t(z) = z + 11. Let y be t(-12). Let h(u) be the first derivative of 112*u**3/3 - 5*u**2/2 - u - 41. Does 29 divide h(y)?
True
Suppose 0 = 3*f + 4*l - 24, 5*f - 2*l - l - 11 = 0. Let n(u) = 3 - u**2 + 0*u**2 + 9*u - u**2. Is n(f) even?
False
Let i = 26281 - 20665. Is i a multiple of 234?
True
Suppose 0 = -3*j - 5*n - 59383 + 158559, 4*j + 3*n = 132264. Is 106 a factor of j?
True
Suppose 2604 = 3*c - 2796. Suppose -c = 33*y - 39*y. Suppose 5*q - y = -5*a, -q + 2*a = q - 100. Is q a multiple of 21?
False
Suppose q - 225 = -3*b - 16, 0 = -4*b - 4. Does 14 divide q?
False
Let v = 14215 - 11173. Does 117 divide v?
True
Suppose -5*p + 5*y + 1480 = 0, y = -5*p - y + 1508. Let f be (p/8)/(((-15)/(-4))/5). Let o = f + -44. Does 4 divide o?
False
Suppose -2*p = 43*a - 46*a - 13769, -3*a - 9 = 0. Does 80 divide p?
True
Let d(u) = u**3 - 2*u + 90. Let b be d(0). Let i = b + -27. Suppose 2*l - 2*k = 3*k + 36, -k = 5*l - i. Is l a multiple of 13?
True
Suppose 64192*f - 64167*f = 550750. Is 6 a factor of f?
False
Let s(q) = -8*q + 37. Does 17 divide s(-27)?
False
Let x be 62/93*3/(-2). Is 54 a factor of (-3 - -705) + (x - -1)/(-4)?
True
Suppose -1010 = 5*o - c, 2*c = 2*o - 0*c + 396. Let h = 879 + o. Is 13 a factor of h?
True
Let q(r) = 920*r - 4308. Does 12 divide q(12)?
True
Let n = -1461 + 3685. Is 7 a factor of n?
False
Let i(o) = -2*o**3 - 4*o**2 + 14*o + 114. Does 304 divide i(-13)?
False
Let d(z) = 6*z - 48. Let o be d(10). Let j(n) = n + 13 + 2*n - 2*n. Is j(o) a multiple of 5?
True
Suppose -405 - 20 = -5*r. Suppose -18*u - 99 = -9. Let j = u + r. Is 40 a factor of j?
True
Let y be 369/5 + (-3)/(-15). Let s = 70 - y. Let q(x) = -62*x - 6. Does 11 divide q(s)?
True
Suppose -4*g - 5*z = 17, 3*g = 3*z + 1 + 20. Suppose -3*j + 8*r = 3*r - 233, 5*r - 122 = -g*j. Suppose -3*c = -h - j, 3*h + 5 = c - 16. Is 4 a factor of c?
True
Let t = -192 + 1396. Does 4 divide t?
True
Suppose -11 + 11 = 7*c. Does 26 divide (c - -977)/(36 + -35)?
False
Let i(q) = -343*q + 1976. Is 15 a factor of i(2)?
True
Let y(h) = 39*h + 20446. Is y(-38) a multiple of 5?
False
Let z(w) = 16*w**2 + 126*w - 30. Does 5 divide z(-20)?
True
Let r(s) = 50*s**3 + 6*s**2 - s + 632. Does 41 divide r(11)?
False
Suppose 48*v - 42*v - 24 = 0. Suppose -5*t + v*g = -50, -4*g = -4*t + 6*t + 8. Is (104/60*t)/((-3)/(-15)) a multiple of 13?
True
Let j be 4 + ((-225)/36 - (-2)/8). Does 6 divide 80 - (-3 + (0/j)/(-4))?
False
Let j = -693 - -1231. Let y = j + -241. Is 24 a factor of y?
False
Let w = 3882 - 2198. Is 56 a factor of w?
False
Let a(x) = 43*x**2 + 31*x + 7. Let l be a(9). Suppose l = 10*v - 441. Let i = v + -111. Is 41 a factor of i?
False
Let r(z) be the second derivative of -5*z + 11/2*z**2 + 0 - 5/3*z**3. Does 11 divide r(-9)?
False
Let u(v) = -v**3 + v**2 - v + 305. Is u(0) a multiple of 61?
True
Let b be 1974/630 - (-2)/(-15). Suppose 0 = -3*g - b*z + z + 1852, 0 = 4*g + 5*z - 2474. Is g a multiple of 88?
True
Suppose -2*c - 2*a + 4526 = 0, 632*c - 628*c - 4*a - 9060 = 0. Is 85 a factor of c?
False
Suppose 2*y - 5*q = -3*q - 216, 0 = 4*q. Let z = 199 + y. Does 3 divide z?
False
Let s be 2*4/(-32) + 15681/4. Suppose -5*h - t + s = 0, -2*h + 3136 = 2*h + t. Is 16 a factor of h?
True
Is 4/(-2 + -2)*(4 + (2 - 143)) a multiple of 39?
False
Let b(n) = -34*n + 7. Let r(y) = y**3 + 19*y**2 + y + 12. Let q be r(-19). Let t = q - -5. Does 29 divide b(t)?
False
Let d be 8*(7/(-4))/(-7). Suppose 0 = -d*o + 4*o - 54. Let h = o + 37. Does 16 divide h?
True
Suppose -s - 4*u - 172 = 0, 7*s - 2*s + 4*u = -924. Let z = -122 - s. Suppose 7*d - z = 67. Does 4 divide d?
False
Suppose c = -3*i + 12, 0*i + 4*i = c + 16. Does 6 divide (-3)/(-3) + i + 30 - 4?
False
Let c(o) be the first derivative of -59*o**2/2 - 6*o + 465. Let v = -4 - -2. Is 8 a factor of c(v)?
True
Suppose 367*y - 365*y - t - 12346 = 0, -y = 5*t - 6162. Is y a multiple of 17?
False
Let q(k) = 1037*k**3 + k. Is q(1) a multiple of 6?
True
Let y = 5235 + -2042. Does 5 divide y?
False
Suppose 4*s = s - 6, v - 2*s = 2184. Suppose 6580 = 8*j + v. Is j a multiple of 79?
False
Suppose -186 = 5*l + 4*g, 4*g + 2 - 6 = 0. Let o = l - -1. Let a = 8 - o. Does 8 divide a?
False
Let m = -78 - -1337. Suppose 3*n + 331 = u - 0*u, -n + m = 4*u. Does 10 divide u?
False
Let a be (-4192)/12*15/(-10). Let y = a + -455. Is y even?
False
Suppose -i = -3*j + 1, -9*i = -5*i + 4*j - 12. Suppose 5*m = -i*o + 89, 2*m - 245 = -4*o - 75. Is 21 a factor of o?
True
Suppose -45*u = 142*u - 917983. Is u a multiple of 30?
False
Let x(i) be the third derivative of 1/30*i**5 + 0 + 1/2*i**3 - 5/12*i**4 - 8*i**2 + 0*i. Is 24 a factor of x(-7)?
False
Suppose -4*b - t + 42 = -4, 0 = b + 4*t - 4. Let m be (16/4)/(2/b). Suppose m = v - 0*v. Is 10 a factor of v?
False
Let m(f) = 5*f**2 + 11*f - 302. Does 77 divide m(-32)?
True
Let a(g) = -2*g**2 + 10*g - 103. Let n be a(19). Let m = -239 - n. Is 11 a factor of m?
True
Let l = -25 + 15. Does 6 divide (205/l*3)/((-6)/8)?
False
Suppose 0 = -167*f + 1613929 + 721232. Is 79 a factor of f?
True
Let o = -56 + -1530. Let d be -2*5/55 - o/11. Let u = d - 111. Does 11 divide u?
True
Is (-14)/8 + 7268/368 a multiple of 8?
False
Let i(n) = n**3 + 12*n**2 + 3*n + 6. Let k be i(-9). Suppose 0 = 3*f + k - 1707. Suppose -8*y + f = -3*y. Does 9 divide y?
True
Let p(o) be the third derivative of o**5/60 + o**4/24 - 2*o**3/3 + o**2. Suppose 0 = -5*q, -4*k + 3*q + 162 = 142. Is p(k) a multiple of 8?
False
Let l = -175 + 273. Suppose -2*o + l - 8 = 0. Does 5 divide o?
True
Let w(l) = 633*l - 13. Let z be w(1). Suppose 0 = -5*c + 4*d + 1113, 0 = -5*c - d + 508 + z. Is c a multiple of 15?
True
Let j(v) be the third derivative of 7*v**6/120 - v**4/24 + 19*v**2. Let n be j(-1). Is (162/24)/(n/(-32)) a multiple of 22?
False
Let z(f) = -f**2 + 22*f + 9 + 4*f**2 - 19. Let l be z(-13). Suppose -5*j = -389 - l. Is 15 a factor of j?
True
Let y(m) = -m**3 + 21*m**2 - 18*m - 4. Suppose 2*p - 62 = q - 5*q, 0 = 5*q + 3*p - 79. Is y(q) a multiple of 18?
True
Let x(h) = h**3 + 13*h**2 + 4*h + 44. Let a(z) = -z**3 + 13*z**2 - 4*z + 42. Let t be a(13). Is 16 a factor of x(t)?
True
Suppose -y + 7*i - 10 = 2*i, -10 = 2*i. Let f(u) = u**3 + 34*u**2 - 45*u - 46. Is f(y) a multiple of 38?
True
Is 8 a factor of (-4)/(-6) + 4449*32/72?
False
Let x be (-9)/((-270)/(-3072))*(-1 + -4). Let j be (-4 + 1)*6/(-9). Suppose j*c - 4*o - x = 0, -5*c = -0*c + 2*o - 1268. Is 15 a factor of c?
False
Let b(i) = 14*i**3 + 3*i**2 - 6*i + 1. Let v be b(4). Suppose -v = -9*r + 6*r. Let c = r + -183. Is 19 a factor of c?
False
Suppose -5*b + 3*u = -12, 3*b + b + u = 13. Suppose x - b*n - 3 = -0, 0 = x - 2*n - 3. Suppose 103 = x*d + 3*w - 107, -3*w + 139 = 2*d. Is d a multiple of 11?
False
Let b be (1*-1*5)/(35 + -36). Suppose 0 = b*z + 770 - 2210. Is z a multiple of 24?
True
Suppose 0 = 3*p + 2*a - 34, -5*p = 4*a - 5*a - 48. Suppose 6*g = 11*g + p, -3*k = -g - 254. Does 6 divide k?
True
Suppose 9 = -3*g, f - 3*f - g + 27 = 0. Let l(m) = f*m + 35 - 38 - 130*m - 23*m. Does 10 divide l(-1)?
False
Let p(g) = -43*g - 136. Let b be p(-3). Let y(n) = 17*n**2 - 18*n + 1. Is 16 a factor of y(b)?
True
Let j = -1954 - -1980. Suppose 0 = -2*r + 26 + 10. Let p = r + j. Is 22 a factor of p?
True
Let i(v) be the first derivative of v**4/4 - 4*v**3 - 6*v**2 + v + 47. Is 4 a factor of i(13)?
False
Suppose -5*j + b - 1748 = -54402, -3*j + 4*b = -31606. Is j a multiple of 78?
True
Let l(k) = 2*k**3 - 7*k**2 + k - 8. Does 18 divide l(7)?
True
Suppose -2*z + 8 = 3*t - 13, 5*z - 40 = -