 = -u**2 - 17*u - 55. Suppose -4 = b - 2*h, 34*b = 35*b + 3*h + 19. Is g(b) a multiple of 2?
False
Suppose h + 9 = 30. Let w be 28/56*(h + -1)/2. Suppose 4*y - y - 2*m - 111 = 0, -111 = -3*y + w*m. Does 22 divide y?
False
Let q = -95 + 95. Suppose -13*t + 7*t + 2040 = q. Is t a multiple of 46?
False
Let y = -51 - -33. Let n = -18 - y. Suppose 0 = h - 6*h - 4*l + 459, n = -h - 4*l + 95. Is 18 a factor of h?
False
Let f(y) = 8*y**2 - 82*y + 264. Does 3 divide f(21)?
True
Let s = 1294 - 696. Suppose s*a - 602*a = -140. Is 5 a factor of a?
True
Let u = 312 + 189. Suppose -n + 251 = c, -2*n = -2*c - 5*n + u. Is c a multiple of 63?
True
Let y(l) = 13*l - 9. Let k be y(-8). Let z be 968/(-220) + 6/(-10). Let p = z - k. Is p a multiple of 9?
True
Suppose -39*z + 42*z = -969. Let i = -269 - z. Does 5 divide i?
False
Suppose 2*f = -6*f - 8. Let r = 4 + f. Suppose -4*z + 689 = 3*u, r*z + 2*u = -u + 519. Does 14 divide z?
False
Let t be -161*(-1 + -1 - -3). Let x = 208 - t. Is 9 a factor of x?
True
Let c be (-22)/33 + 86/(-6). Is 3 a factor of 3564/55 + (-2 - 18/c)?
False
Suppose -2*f + 0*f = 126. Let y = f + 159. Let z = y + -52. Is z a multiple of 44?
True
Suppose -3*j + 70173 = -2*s, 39*j - 31*j - 187128 = s. Is 113 a factor of j?
True
Let q = -23 + 25. Let x be ((-98)/(-21))/(-4*q/(-180)). Does 22 divide 2/15 + (13951/x - 2)?
False
Suppose -5*c + 5 = -5*u, 0 = 2*u - u + 2. Is (30 + -66)*c*22/6 a multiple of 5?
False
Let t = 11729 - -41623. Does 34 divide t?
False
Suppose 3*x = 5*v + 6 - 26, 0 = -5*x - 3*v + 12. Suppose 7*z - 158 - 556 = x. Is z a multiple of 17?
True
Let o = 9150 - 6813. Does 28 divide o?
False
Suppose 11*a = 4*t + 7*a - 23796, 5*a = 15. Is t a multiple of 34?
False
Let o(x) = 8*x - 3. Let c be o(1). Suppose 30 = -3*d + 4*q, 0 = 2*q - c*q. Let b(i) = i**3 + 11*i**2 + 3*i - 12. Does 18 divide b(d)?
False
Suppose -117145 + 44002 = -5*h - u, 5*h - 2*u = 73134. Does 14 divide h?
False
Let g(d) = -d. Let u(p) = 8*p + 2. Let z(w) = -42*w - 11. Let s(q) = -11*u(q) - 2*z(q). Let h(o) = 12*g(o) - s(o). Does 12 divide h(-21)?
True
Suppose -2*x + 4*q - 3 = -67, 4*x - 4*q - 136 = 0. Suppose -v + 3*v = 4*d - x, 5*v + 65 = 5*d. Is (1/(v/(-18)))/((-7)/(-168)) a multiple of 6?
True
Let b(o) = 2*o**2 - 64*o - 99. Let t(h) = h**2 - 21*h - 33. Let u(n) = -2*b(n) + 7*t(n). Does 63 divide u(-6)?
True
Let t(r) = -1298*r - 6042. Does 24 divide t(-9)?
True
Let k(q) = 2*q**3 - 35*q**2 - 26*q + 24. Let n be k(18). Let l = n - -400. Is l a multiple of 49?
False
Let n = 18068 + -3823. Does 55 divide n?
True
Let v = -5 - -7. Suppose -a = v*a + 273. Let d = a - -127. Is 4 a factor of d?
True
Suppose -14*d = 8 - 36. Suppose -d*n - 4*j = -254, 3*n + 5*j - 9*j = 371. Is n a multiple of 9?
False
Let w(u) = 9*u**3 - 9*u**2 + 8*u - 1. Let y be w(1). Let h(d) = 4*d - 4*d + 4 + 2*d - 6. Is 3 a factor of h(y)?
True
Let x(m) = -m**3 - 4*m - 5. Let p be x(-2). Let o(l) = -l**3 + 12*l**2 - 13*l + 15. Let f be o(p). Let w(n) = -n**2 - 11*n + 4. Is w(f) a multiple of 4?
True
Let i(m) = -10*m**2 + 3*m + 21. Let h be i(-10). Let k = 1891 + h. Suppose 7*j = -2*j + k. Does 14 divide j?
True
Let z = -117 - -130. Suppose 0 = z*v - 34 - 5. Suppose 0 = v*y - 11*y + 1848. Does 30 divide y?
False
Suppose -706 = -8*t + 1238. Does 6 divide t?
False
Suppose 5*s - 2*k = 148, -2*k = 2*s - 87 + 25. Is 11 a factor of s/210 - 9714/(-14)?
False
Let f be ((-13)/2)/(-1)*286/(-11). Let u = f - -181. Is u a multiple of 6?
True
Suppose 0*n + n - 713 = -3*o, 4*n + 2*o - 2812 = 0. Suppose 16*p = n + 339. Is p a multiple of 9?
False
Suppose 0*h = -2*h - 4*z + 436, -3*z - 817 = -4*h. Suppose 2*m = -3*j - h, j + 0*m = -m - 68. Is 0 + -1 + (15/(-5) - j) a multiple of 8?
False
Let t(v) be the third derivative of 7*v**6/120 - v**5/30 - 5*v**4/24 - v**3/3 - v**2 - 21*v. Does 74 divide t(5)?
False
Let p(i) = 4*i - 19. Let z(w) = 2*w - 20. Let y(l) = 6*p(l) - 7*z(l). Does 51 divide y(28)?
True
Is (-1)/((-2)/32144) - 1 - 258/86 a multiple of 103?
True
Let d = 6 + 1. Suppose 0 = d*x + 13 + 8. Let p(h) = 3*h**2 + 4*h + 4. Is 19 a factor of p(x)?
True
Let i = -17522 + 24632. Is i a multiple of 15?
True
Let c = 726 + -725. Does 7 divide ((-34)/(-102))/(c/579)?
False
Let g = -38118 - -80315. Is g a multiple of 17?
False
Does 41 divide ((-18)/(-30))/(-3) - (-20784)/(-30)*-39?
True
Is 2737/(14 - 13) + -10 a multiple of 32?
False
Let f = 49 + -30. Let u = 18 - f. Is 17 a factor of 3 - (-31 - (-1 - u))?
True
Suppose z + 13*m - 16485 = 9*m, -m = 4*z - 65865. Is 37 a factor of z?
True
Let b(f) = -f + 1. Let l(c) = -5*c**2 - 6*c - 18. Let m(q) = 4*q**2 + 5*q + 17. Let r(j) = 5*l(j) + 6*m(j). Let y(t) = -4*b(t) - r(t). Is 28 a factor of y(8)?
False
Let t be 2 - 4 - (-27 + -2 + -3). Is 16 a factor of (-5)/(-3)*-8*(-1116)/t?
True
Suppose 2*h = -10*f + 12*f - 1816, h + 4 = 0. Is f a multiple of 30?
False
Suppose 0 = 70*u - 42*u - 204120. Is u a multiple of 47?
False
Suppose 48*i - 51*i = -12. Suppose -i*v + 5*w - 4*w + 347 = 0, 2*v - 191 = -3*w. Does 11 divide v?
True
Let c(y) = -127*y**2 + y - 5. Let f(i) = 1. Suppose 0*k - 10*k - 50 = 0. Let t(j) = k*f(j) - c(j). Does 16 divide t(-1)?
True
Let l(d) = 74*d**2 + 5*d + 1. Let z be l(-4). Suppose -83 - z = 12*n. Is 3 a factor of (-1170)/n + (-1)/4?
False
Suppose 4*i = 4*d + 1280, -2*d = 4*i - 2*i - 656. Suppose -124 = -16*w + i. Does 7 divide w?
True
Is 10 a factor of (-2*5286/15)/(16 + 405/(-25))?
False
Suppose -43392 - 215022 - 364710 = -76*p. Is 63 a factor of p?
False
Let p(m) = -111*m + 22. Let w be p(-30). Is 1/((-16)/w)*(1 - 7) a multiple of 29?
False
Let y = -233 + 129. Let n be (-3)/(-2)*y/(-39). Let h(u) = 3*u**3 - 5*u**2 - 4*u + 3. Is 21 a factor of h(n)?
False
Let q(h) = 32*h**2 - 56*h - 401. Does 30 divide q(-11)?
False
Let i be (-2)/12 - (-242)/12 - 3. Suppose -8*t - 36 = -i*t. Suppose -t*a + 7*n + 76 = 3*n, -3*n + 53 = 2*a. Is a a multiple of 3?
False
Suppose -379094 = -61*x + 213033. Is 111 a factor of x?
False
Is 14 + (-7 - -64761) + 17 a multiple of 107?
False
Let t = 71 - 35. Suppose 0 = -5*w - b + t, 2*b + 36 = 4*w + 10. Let n(q) = 12*q + 6. Is n(w) a multiple of 18?
True
Suppose 0 = -7*z + 2*z - 3*q + 1, 4 = -z - 2*q. Suppose -5*y - 330 = -2*n + 197, -z = 2*y. Is n a multiple of 10?
False
Suppose -701*l = -703*l - 2*s + 1074, s - 3 = 0. Is 4 a factor of l?
False
Let d = -39 - -48. Suppose 0 = -7*s + d*s - 162. Suppose 7*w - s = 6*w. Is w a multiple of 33?
False
Suppose 22*v = 100301 + 15309. Is 8 a factor of v?
False
Let i(q) = 13*q**2 - 8*q - 9. Let n be i(-8). Suppose -3*s = -190 - n. Suppose -3*o + g = -s, 4*o - 2*g - 113 = 365. Is 40 a factor of o?
True
Let d(c) = -c**3 + 45*c**2 - 38*c + 238. Is d(27) a multiple of 8?
False
Is 45 a factor of (38880/56)/((-2)/(-7))?
True
Let g(y) = y**2 + 2*y - 2. Let j be g(4). Suppose -19*b - 12 = -j*b. Suppose -247 = -u - 3*s, b*s = 3*u - 4*u + 250. Is u a multiple of 17?
True
Let d = -3 + 6. Let y(s) = -5 + s**d + 4*s - 5*s**3 + 2*s**3. Is 15 a factor of y(-3)?
False
Let d = -15236 + 24812. Is d a multiple of 19?
True
Suppose -605 = 3*d - 5*p, -3*d - 5*p - 169 - 426 = 0. Let y = -16 - d. Suppose 2*a - 4*a = 3*j - 182, -3*j + y = a. Is 7 a factor of j?
False
Let l(r) = -r**3 - 17*r**2 + 2*r + 16. Let d(u) = 5*u**3 + 86*u**2 - 11*u - 81. Suppose 43 = 3*n + 37. Let j(o) = n*d(o) + 11*l(o). Is 7 a factor of j(-15)?
True
Suppose -5*y - 3*l = -18, 8 = 4*y - 0*y + 4*l. Let m be 22/y - (50/15)/5. Suppose 2*d - 386 = -5*v, -m*d + 148 = 4*v - 158. Is 13 a factor of v?
True
Is 14 a factor of (512/(-12))/(-6*4/5544)?
True
Let a = 469 + 191. Is a a multiple of 44?
True
Is 20 a factor of (-56 + -4)*(-5364)/9?
True
Suppose 4*w - 5088 = -5*m, -2*w - 3*m + 2979 - 433 = 0. Is 83 a factor of w?
False
Let t(p) = 11*p - 66. Let i be t(6). Suppose -3*d + 98 + 358 = i. Does 4 divide d?
True
Let j(p) = 10*p - 12. Suppose -4*n - 18 = -42. Does 8 divide j(n)?
True
Suppose 3*c = -3*c + 1620. Let i = 44 + c. Does 8 divide i?
False
Suppose 41*y + 1174784 = 297*y. Is 5 a factor of y?
False
Let u = -15417 + 22116. Is 46 a factor of u?
False
Let r be (0 - 75/(-3))/((-1)/7). Let a = -65 - r. Is 22 a factor of a?
True
Suppose 6544*w - 6548*w + 135684 = -2*u, -5*u = -w + 33957. Is 13 a factor of w?
True
Suppose -8*k = -24 - 88. Is 42 a factor of 11