37 = 0, 0 = -6*b + b - 4*i + 736. Is 37 a factor of b?
True
Let f(m) = -m**3 - 2*m**2 + 36*m - 96. Let p be f(-8). Let l(o) = -18*o**3 - 3*o - 1. Let g be l(-2). Suppose p = 3*v - 2*v - g. Is v a multiple of 21?
False
Let z(u) = -3*u**3 + 13*u**2 + 10*u + 1. Let n(y) = 5*y**3 - 26*y**2 - 19*y - 3. Let m(v) = -4*n(v) - 7*z(v). Is m(-12) a multiple of 6?
False
Let l(h) = h**3 + 10*h**2 + 8*h. Let x(z) = -8*z**2 - 8*z - 1. Let d(n) = -4*l(n) - 3*x(n). Is 3 a factor of d(-5)?
False
Suppose -m = 5*z - 198, -z - 5 = 4*z. Let d = 119 - m. Let i = 177 + d. Is 31 a factor of i?
True
Let j be ((-1271)/3)/((-584)/(-144) - 4). Is 23 a factor of (-2)/(-4)*j/(-41)?
False
Let b(u) = -u**3 - 2*u**2 - u + 162. Let p = 68 - 105. Let r = p - -37. Does 29 divide b(r)?
False
Suppose 128*x + 47*x - 4859059 = 2169116. Is x a multiple of 37?
False
Suppose -30*n = 281 - 22361. Is 32 a factor of n?
True
Let h(c) = -c**3 + 6*c**2 + 12*c - 31. Let s be h(7). Suppose -s*d = 57 - 249. Does 6 divide d?
True
Suppose 0 = 9*o + 6*o - 90. Suppose 0 = -5*n + 50. Suppose 0 = n*t - o*t - 420. Is 15 a factor of t?
True
Let g(v) = v**3 + 61*v**2 + 143*v + 191. Does 9 divide g(-58)?
True
Let l(z) = z**3 + 26*z**2 - 2*z - 48. Let t be l(-26). Suppose -h = t*j - 17, -5*j + 15 = -5. Does 21 divide (h/(9/3))/((-2)/(-390))?
False
Let p be (0 + -1432)*(-22)/22. Suppose -2*c = 5*y - 942, -68*c = -71*c + 2*y + p. Is c a multiple of 28?
True
Let p(i) = 5*i**2 - 94*i - 50. Let o be p(34). Suppose -334 + o = 5*c. Is c a multiple of 8?
True
Let p(j) = -j**3 + 2*j**2 - 4*j + 24. Let a be p(3). Suppose -c + 107 = 3*b - 229, -2*c = -a*b - 690. Is c a multiple of 6?
True
Suppose -8 = -n + q, 4*n - 17 = -q + 15. Let v be -62*60*4/n. Does 16 divide v/31*(-2)/3*3?
False
Let p(c) = -c**2 - 22*c - 22. Let w be 3/(-2 - (-13)/8). Is p(w) a multiple of 18?
True
Suppose 16870 = 2*v - 5*s, 85*v - 83*v = -2*s + 16814. Does 55 divide v?
True
Suppose -78*v - 2470209 = -295*v - 715981. Is 94 a factor of v?
True
Suppose -3*y + k - 34 = 0, -4*y + 8*y = -4*k - 56. Let x be ((-28)/112)/(-1*(-1)/y). Suppose 0 = x*v + 2*g - 48, 2*v + 6 - 38 = -4*g. Is v even?
True
Let m be 70/18 - (-3)/27. Let j = m - -8. Is 34 a factor of 3/(j/(-8)) + 138?
True
Suppose -u - 1305 = 3*x, -3*u - 18 = -9. Let f = x + 717. Does 3 divide f?
False
Suppose 4*o = -5*h + 14895, 0*o + 3*h - 3729 = -o. Does 62 divide o?
True
Let q = -8640 - -16153. Is 81 a factor of q?
False
Let u = 4476 + -2658. Let q = -989 + u. Is 38 a factor of q?
False
Let p = 5880 + -98. Is 14 a factor of p?
True
Let m be 1/(-15)*3 + (-72)/(-10). Suppose 5*d = m + 8. Suppose d*c + 5*q = c + 223, 2*q = -2. Is c a multiple of 11?
False
Let c(l) = 556*l - 1541. Is c(44) a multiple of 10?
False
Let g be (3 + 82/4)/(2/4). Let a be 3/(-3) + -25 + 1. Let w = g + a. Does 4 divide w?
False
Let u(n) = -2*n**2 - 10*n + 1. Suppose 0 = 9*b - 12*b + 15. Let d(g) = g**2 + g. Let f(q) = b*d(q) + u(q). Does 5 divide f(4)?
False
Let x(o) be the first derivative of 5*o**3 - 5*o**2/2 - 7*o - 24. Let n be x(5). Suppose n + 197 = 10*h. Does 7 divide h?
False
Let a be (2/2)/(2*8/(-2416)). Let j = a + 347. Does 28 divide j?
True
Let a(u) = -u**3 + 10*u**2 + 13*u - 9. Let w be a(9). Suppose 0 = -d + 174 + 160. Let i = d - w. Is 29 a factor of i?
True
Suppose -6 = 2*s, -59*s + 57*s - 9342 = -3*h. Is h a multiple of 114?
False
Let y be 58706/38 + 74/703. Suppose 5*r = 4*a - y - 795, 0 = 3*a + 3*r - 1755. Is a a multiple of 15?
True
Let q = 4744 - -5988. Is 31 a factor of q?
False
Let p be (134/201)/(2/(-636)). Let c = p - -554. Is c a multiple of 6?
True
Let n = 9 - 17. Let u be 2 - 12/n*(-4)/(-6). Suppose w = -3*r - u*w + 385, r = -w + 127. Is r a multiple of 35?
False
Let b = -327 - -418. Is 13 a factor of b?
True
Let x(r) = 14*r**3 - r**2 - 6*r + 21. Let q(p) = -2*p**2 - 10*p + 51. Let g be q(-8). Is x(g) a multiple of 26?
False
Suppose 0 = 6*i - 17*i - 2497. Let g = i - -683. Does 38 divide g?
True
Let f = -18271 - -28381. Is f a multiple of 152?
False
Let k(b) = -286*b - 12. Suppose -4*w = -13*x + 10*x + 14, 5*x + w = -15. Is 31 a factor of k(x)?
False
Let k = -551 + 2113. Is 94 a factor of k?
False
Suppose -l - 709 = m, 5*m + 8*l - 5*l = -3553. Let n = m + 1147. Is n a multiple of 31?
True
Suppose 5*t + 0*t + 5*k - 5045 = 0, -4*k = 0. Suppose 0 = 3*v + 6, -t + 249 = -3*q + 2*v. Is 21 a factor of q?
True
Suppose 59*z - 56 = 31*z. Suppose -z*w + 2*a = -104 - 28, -2*w - 2*a = -132. Does 6 divide w?
True
Let r(s) = 7*s**3 + 31*s**2 - 39*s - 121. Is r(11) a multiple of 22?
True
Suppose 526 = 5*i + 181. Let g = i + -65. Is 37 a factor of 2/(((-6)/g)/((-333)/12))?
True
Let j(l) = l**3 - 2*l**2 + 11*l - 1. Suppose 5*x - 25 = -0*x. Suppose 4*g - 3*g - x = 0. Does 22 divide j(g)?
False
Let x = 239 + -255. Does 38 divide (1439 - -1) + x/(-4)?
True
Let k = -63 - -80. Suppose -2*z = 5*n - 408, -4*z = -19*n + k*n - 840. Is z a multiple of 23?
False
Is 17 + 27405/18 + 5/(-2) a multiple of 4?
False
Let c = -5865 - -2416. Let q = -1931 - c. Is q a multiple of 28?
False
Suppose 9*b - 2072 = 5*b. Suppose -b = 12*f - 26*f. Is 15 a factor of f?
False
Let m(r) = 2*r**2 - 3*r - 27. Let l(b) = -2*b**2 + 4*b + 27. Let q(z) = -5*l(z) - 4*m(z). Let o be q(8). Suppose -4*u - o + 325 = 0. Does 8 divide u?
True
Let k(w) = -2*w + 8*w**2 + 35 - 6*w + 4*w + 0*w**2. Is 21 a factor of k(4)?
True
Let q = 8 + 4. Let c = 68 + q. Suppose -h - 323 = -2*j - 2*j, -h = -j + c. Does 20 divide j?
False
Let z = -54431 + 78898. Does 181 divide z?
False
Suppose -5*w + 2107 = 4*v + 539, -3*w + 4*v + 928 = 0. Let s = -239 + w. Is s a multiple of 16?
False
Let s = 24 + -17. Suppose s*n = n - 2*n. Suppose -2*v + 27 + 61 = n. Is v a multiple of 20?
False
Let c be 12/(-10)*(-35)/21. Is 20 a factor of ((-16)/(-6) - c*2)*-45?
True
Let q(u) = u**3 - 7*u**2 - 4*u + 5. Let b be q(7). Let n(c) = 6*c**2 - 44*c - 3. Let w be n(8). Let a = w + b. Is 3 a factor of a?
True
Suppose -3*r = -u - 2, 34*r - 31*r - 2*u = 1. Let z(l) = 566*l**2 - 17*l + 18. Is 63 a factor of z(r)?
True
Let j(a) = a**3 - a**2 + 22. Let f be (-4)/6 - 51/(-9). Suppose -5*s + 3*n = 0, 4*s = f*n - 2*n. Does 3 divide j(s)?
False
Let i(r) = -39*r**2 - r + 15. Let u(b) = 13*b**2 - 5. Let g(s) = 2*i(s) + 7*u(s). Does 25 divide g(-3)?
False
Suppose -y = 4*q + 2 + 1, 5*q = -5*y + 15. Suppose -3*z = -y*n + 1145, -70 = -n + 5*z + 159. Is 17 a factor of n?
False
Let b be -1 + -2 - 35/(-7). Suppose h - b*s - 60 = 0, -2*h - 3*s + 8 = -77. Is 5 a factor of h?
True
Let q(a) be the second derivative of -a**5/20 - a**4/4 - a**3/6 + 3*a**2 + 11*a - 1. Is q(-3) a multiple of 9?
True
Let r(m) = -497*m + 557. Is r(-2) a multiple of 24?
False
Is 8/1 - ((-12019104)/3348 - (-6)/(-93)) a multiple of 11?
False
Let c be (-10668)/(-49) + 4/14. Let v = 317 - c. Suppose -q + v = 19. Is q a multiple of 5?
True
Let x = 465 - 462. Suppose -2*c = x*o - 2537, -4748 = -5*o + c - 511. Is o a multiple of 18?
False
Let l = -111 + 14. Let p = -97 - l. Suppose -9*w + 3*w + 630 = p. Does 5 divide w?
True
Let l be 0 - (-9)/(45/(-10)). Does 14 divide 1/l - (-54)/(-36) - -266?
False
Let o be (-38)/(16/(-10) + (-8)/20). Let u = 39 - o. Suppose -u*n + 117 = -17*n. Is 6 a factor of n?
False
Is -42 + 49 + (13450 - 1) + -1 a multiple of 69?
True
Suppose 2*o - 5*i + 10 = 0, 3*i - 4 - 2 = 3*o. Let f(b) = 2*b**3 + 2*b + 210. Is 10 a factor of f(o)?
True
Let g = 31 + -26. Suppose 175 = -g*i + 5*u, 3*i - 2*u + 0*u + 105 = 0. Let x = i - -39. Is x even?
True
Let y be (-145)/(-45) + (-24)/108. Suppose a - y*s - 136 = 0, -2*a - 5*s + 600 = 3*a. Is a a multiple of 31?
True
Let r(u) = -u. Let d be r(4). Let k be -2 - 2 - d - -96. Is 14 a factor of k - 1 - (-7 - -10)?
False
Let i be (-6 + 1172/6)*3. Suppose -4*k + 580 = 4*u - 8*k, -4*u = -k - i. Is 3 a factor of u?
True
Let f be -498 + 2 + -6*(-15)/18. Let m = f + 619. Is m a multiple of 46?
False
Suppose 58759 + 10628 = 101*i. Is 11 a factor of i?
False
Let g = 5409 - 5046. Does 3 divide g?
True
Let r(p) = 2 - 1 - 5 + 19*p - 92*p**2 - 20*p. Let a be r(-2). Let o = 571 + a. Does 13 divide o?
False
Let r = 863 + 4412. Is r a multiple of 102?
False
Suppose 0 = 7*r - 726 - 23. Is 390/65 - -1*r a multiple of 8?
False
Let w be (42/8)/(45/4920). Suppose l - 8*l = -w. Does 7 divide l?
False
Let m