 Let c be x(2). Suppose -c = 6*t - 32. Suppose t*w - 396 = -8*w. Does 19 divide w?
False
Let f be 0/((3 + -1 + -1)*-3). Let m(h) = 2*h**2 - h + 2. Let j be m(f). Does 11 divide 3 + (-139 + 7)*(-1)/j?
False
Let r be 2 + 0 - (1 + 68). Let w = -37 - r. Suppose -4*d - 34 = -n, -2*n = -n - 2*d - w. Does 5 divide n?
False
Let s(u) = 8*u + 3687. Is s(0) a multiple of 18?
False
Suppose -2*h - 140 = -22. Let l = h + 157. Is 40 a factor of l?
False
Let y(s) be the third derivative of -s**5/60 - s**4/3 - 2*s**3 - 2*s**2 + 7. Let q be y(-3). Does 6 divide (608/(-380))/(q/((-45)/2))?
True
Let a = 279 - 443. Let k = a + 350. Suppose -4*h + 790 = -l, -2*l - k = -3*h + 409. Is 23 a factor of h?
False
Let b(w) = w - 1. Let z be b(2). Let j be (-18)/(-12) - 10/(-20). Does 9 divide (-50 + j)*(2/(-4) - z)?
True
Let v be ((-10)/(-25))/(3/(-225)). Let i = 48 + v. Suppose -23*g + i = -22*g. Is g a multiple of 4?
False
Let v = 230 - 227. Suppose 5*m - 6111 = -4*f, m - v*f = -m + 2426. Does 25 divide m?
False
Let u be (-10221)/18 - 3/18. Let i be ((-18)/(-27) - 2)/((-1)/654). Let z = i + u. Does 19 divide z?
True
Let h(y) be the third derivative of 41*y**5/60 + y**4/6 - 3*y**3 + 17*y**2. Is 64 a factor of h(-4)?
False
Suppose 2*y = p + 497, -y + 2*y = 4*p + 245. Does 19 divide y?
False
Let g(i) = 1920*i**2 + 7*i - 23. Is g(2) a multiple of 19?
False
Suppose -y = 4*y - 2*y. Suppose -v + 3*h + 11 = -8, y = -4*v + 2*h + 26. Suppose -v*i + 13 + 479 = 0. Does 16 divide i?
False
Let q(v) = 2*v**3 + v**2 + v - 1. Let b(n) = -13*n**3 - 20*n**2 - 21*n - 3. Let w(l) = b(l) + 6*q(l). Is w(-13) even?
False
Suppose -4*q = 12, -4*d - 3*q - q = -4. Suppose -d*k + 1959 + 1485 = 0. Is k a multiple of 21?
True
Suppose -n = n - 8. Suppose 3*g - 6*g + 637 = 4*x, 5*x - n*g = 804. Is 27 a factor of x?
False
Let r(j) = -114*j - 270. Let m be r(-8). Let z = m - 202. Does 8 divide z?
True
Suppose 21*v + 86*v - 999380 = 0. Is v a multiple of 42?
False
Suppose -146784 = -43*y + 66*y - 34*y. Is 56 a factor of y?
False
Let p(s) = 9*s**2 - 12*s - 122. Is 34 a factor of p(22)?
False
Suppose -4*f = -5*k - 5834, -5*k + 6191 - 377 = 4*f. Is 34 a factor of f?
False
Let p = 25 + -42. Let h be (p/2)/(22/4 - 6). Let b = h + 38. Is b a multiple of 11?
True
Let i be (-1)/4 - (7 - (-111)/(-12)). Suppose -m + 841 = i*h, -3*m + 5*h = -5*m + 1681. Is m a multiple of 14?
False
Let l(g) = 1605*g + 962. Does 149 divide l(9)?
False
Let a(u) = 11*u**2 - 21*u + 3. Let o be a(2). Suppose o*b = 4*j + 2699, -5*j = -b - 68 + 591. Does 16 divide b?
False
Let b(k) = -5*k**3 - 7*k**2 + k - 1. Let x be -4 + 7 - (11 - 5). Is b(x) a multiple of 3?
False
Let f(q) = -10*q + 4*q + 8 - q**3 + 3*q - 11*q**2. Let d be f(-11). Let u = d - -23. Does 16 divide u?
True
Let q = 3419 - 2861. Does 6 divide q?
True
Suppose -4*d = 9*d - 57330. Suppose h = -5*u + d, 2*u - 1764 = -0*h + 3*h. Does 21 divide u?
True
Let s(y) = 4*y**3 + 14*y**2 + 15*y - 7. Let g(v) = -v**3 - v**2 + 1. Let t(f) = 5*g(f) + s(f). Is t(7) a multiple of 24?
False
Suppose 0 = -3*t - 5*z + 15884, 191*t + z + 21148 = 195*t. Is t a multiple of 33?
False
Let d = -62 - -68. Suppose d*r + 6 = -54. Is (28/r)/((-10)/700) a multiple of 28?
True
Suppose 3*m - 5*m - 4189 = 5*p, 15 = 5*m. Let h = p - -1752. Is h a multiple of 16?
False
Suppose 7*r = -r. Suppose r = -4*m - 299 + 1867. Suppose 3*w + m = 10*w. Is 28 a factor of w?
True
Let i(r) = -r**2 - 6*r + 19. Let a(t) = -t**2 - 6*t + 18. Let d(z) = 2*a(z) - 3*i(z). Suppose -5*l = k - 0*k + 34, 0 = -4*k - 5*l - 61. Is d(k) a multiple of 2?
True
Suppose 4*r = -4*u + 7068, -472*u = -469*u + 2*r - 5296. Is u a multiple of 18?
False
Suppose 0 = -20*i + 15*i + 90. Suppose -4*z + i = -2. Suppose -p + 5*x + 14 = 0, -p = -x + z - 31. Is p a multiple of 4?
False
Let s(r) = 51*r**2 + 23*r - 12. Let w(z) = -52*z**2 - 22*z + 9. Let y(v) = -5*s(v) - 6*w(v). Is 25 a factor of y(-4)?
True
Let w(j) = -j**2 - 13*j - 17. Let m be w(-7). Let l(t) = 2*t**3 - 50*t**2 + 16*t - 10. Is 39 a factor of l(m)?
True
Is (58/(-4))/(8/(-688)) + 9 a multiple of 2?
True
Suppose 3*q - 8068 = 58*h - 57*h, 5*q + 4*h = 13441. Is 13 a factor of q?
False
Suppose 0 = -2*k + 4*n + 63246, -502*k = -504*k - 5*n + 63309. Does 14 divide k?
False
Let u(l) = 47*l - 13. Suppose -4*z = 20 + 12. Let x(a) = 71*a - 19. Let k(j) = z*u(j) + 5*x(j). Is 39 a factor of k(-7)?
True
Let x = 19265 + -12731. Suppose -5*l + x = l. Suppose -4*p + l = 7*p. Is p a multiple of 7?
False
Suppose 0 = -20*h + 19*h + 4, 3*x = -2*h + 33365. Suppose -x = -9*s - 2326. Is 49 a factor of s?
False
Let n(m) = -3952*m - 5152. Is 232 a factor of n(-6)?
True
Suppose 5*d - 5*v - 166675 = 0, -5*d - 19*v = -21*v - 166660. Is 15 a factor of d?
True
Let t(a) = a**2 + 18*a - 53. Let j be ((-22)/(-4))/((-520)/(-48) + -11). Is t(j) a multiple of 13?
True
Let i be 126/(-12)*10/(-15). Suppose -d - i*v = -11*v - 260, -20 = -4*v. Is 20 a factor of d?
True
Let o(i) = 2*i - 1. Let c be o(-4). Suppose -32*u + 213 = -1227. Is 4 a factor of (21/c*1)/((-3)/u)?
False
Let y(c) = 4*c**2 + 120*c + 416. Does 78 divide y(26)?
True
Let p(f) = f**3 + 11*f**2 - 9*f + 13. Let i be p(-12). Suppose 3*b - 96 = 51. Let g = b - i. Is 24 a factor of g?
True
Suppose t = 2, 3*f + 8*t - 13*t = 311. Let n = f + -83. Does 3 divide n?
True
Suppose 6 = -37*g + 39*g. Let t(r) = 16*r**3 - 2*r**2 - 11*r + 11. Is 10 a factor of t(g)?
False
Suppose -3*j - 15 = -6*j. Suppose -467 = -4*d - 5*u, -17*u + 18*u = 3. Suppose 76 = j*q + w - 29, 5*w + d = 4*q. Does 22 divide q?
True
Let m = -738 + 235. Let t = 764 + m. Let p = t + -108. Does 27 divide p?
False
Let d(m) = -2*m**2 + 46*m - 87. Let q be d(20). Suppose -30640 = -q*j - 7*j. Is 28 a factor of j?
False
Does 40 divide (2/(-3))/((-1)/((-10)/(-10)))*4461?
False
Let d = -8787 + 13485. Is 18 a factor of d?
True
Let d be -4 - (4 - 13) - 3. Suppose -f - 5*i = -0*i + 7, 4 = -d*i. Let s(h) = 2*h**2 - h - 3. Is 2 a factor of s(f)?
True
Suppose 3*v + 0 = 18. Let i(p) = 10*p - 6. Let u(r) = -19*r + 11. Let q(g) = -5*i(g) - 3*u(g). Does 13 divide q(v)?
True
Does 189 divide (19 - 20)*582896/(-16)?
False
Is 4 a factor of ((-1061626)/(-4216) + 3/(-51))*136?
False
Suppose 4*l + 36*s = 35*s - 8, -4*l - 24 = 5*s. Is (l - 136/(-10))/(192/3200) a multiple of 14?
True
Let l be 16/80 + ((-3)/15)/1. Suppose -4*y - 4*g + 1840 = l, -4 = g - 3. Is y a multiple of 35?
False
Let z(h) = 10 - 11 + 9 + 3 + 792*h + 11. Is 52 a factor of z(1)?
False
Let l be (-2 + 142)/((-2)/(-107)). Suppose 4*c = -770 + l. Suppose -11*z + 4*z = -c. Does 20 divide z?
True
Suppose -101 = 13*o + 16. Does 14 divide ((-48)/o)/(-4)*-294?
True
Suppose -58 = 5*t + 2*r, -3*t - 35 = -0*r + r. Let v = 58 - t. Does 18 divide v?
False
Let m(q) = 2*q**3 - 3*q**2 - 3*q - 12. Let a be m(-4). Let s be (4/(-12))/(-1)*-9 - a. Let g = s + -59. Does 7 divide g?
False
Let d = -368 + 365. Is 1358/12 - (-1)/(d + -3) a multiple of 8?
False
Let h = 115 - 94. Suppose -h*i = -10*i - 627. Is 2 a factor of i?
False
Let p(v) be the first derivative of 2*v**3/3 - 6*v**2 + 3*v - 4. Let a(q) = 9*q - 1. Let z be a(1). Is 8 a factor of p(z)?
False
Let h = -74 + 127. Let g be (((-48)/20)/(-2))/((-2)/(-5)). Suppose -g*a + h = -67. Is a a multiple of 5?
True
Let q(g) = g**3 - 17*g - 2. Let d be q(4). Is 4 a factor of 117/(-12)*(370/(-15) + d)?
False
Let h be ((-36)/16*14)/((-6)/(-8)). Is (-5)/(30/4)*h a multiple of 6?
False
Let v(h) be the third derivative of 23*h**4/12 - h**3/2 + 2*h**2. Let o(t) = -40*t + 1241. Let l be o(31). Is v(l) a multiple of 18?
False
Suppose 0 = -4*t - 5*j + 38, -4*t + j = -2*j - 22. Suppose -365 = -t*n - 50. Suppose n = 3*b - 135. Is 14 a factor of b?
False
Let p = -5429 + 13633. Does 79 divide p?
False
Let b be -53 + 48 - (-7448 + 2 + 0). Suppose 23*q = b + 862. Is q a multiple of 16?
False
Let t be (-4)/(-58) + (-35898)/(-899). Let x(s) = s**3 - 39*s**2 - 35*s - 98. Is x(t) even?
True
Suppose 0 = 2*y + 4*q + 252, -5*q - 379 = -3*y + 6*y. Let p = y + 295. Does 10 divide p?
False
Let h(n) = -106*n - 2369. Does 20 divide h(-40)?
False
Suppose 0 = -4*d - 0*d + 4*f + 260, 0 = d + 3*f - 73. Suppose d = 6*s + 325. Let v = s - -148. Is 7 a factor of v?
True
Suppose 0 = -73*h + 68*h - 1715. Let m = h + 623. Is m a multiple of 14?
True
Suppose 34 = 15*k - 13*k. Let r