 factor of z?
False
Let z = 6521 + -4614. Does 37 divide z?
False
Is 41 a factor of (-5)/(((-150)/9020)/15)?
True
Let n(i) be the second derivative of -i**5/4 - 5*i**4/12 - 5*i**3/2 - 10*i**2 + 2*i + 10. Is n(-8) a multiple of 15?
True
Suppose 43*t - 6572 = 68967 + 74187. Does 24 divide t?
False
Let t(v) be the third derivative of v**4/12 + 5*v**3/2 - v**2. Suppose 13 = z - d - 0, z - 5*d - 5 = 0. Does 8 divide t(z)?
False
Suppose -99*s - 50*s = -188121 - 762499. Is s a multiple of 22?
True
Let i be (-78)/(-65)*5/2. Suppose 44 - 29 = i*a. Suppose -3*o = -s - 261, 0 = o + a*s + 13 - 116. Is 44 a factor of o?
True
Suppose 0 = 3*f + 2*u - 48, 3*f - 51 = 9*u - 10*u. Suppose f*q - 2034 = 1260. Is 38 a factor of q?
False
Suppose 21*i = -16*i - 15133. Let s = -151 - i. Does 12 divide s?
False
Suppose -556*t + 558*t - 4*q - 40024 = 0, 80060 = 4*t - 5*q. Does 35 divide t?
True
Let j(l) = 2*l + 6. Let t be j(-7). Let r(x) = -106*x - 130. Let b(a) = -21*a - 26. Let n(p) = -14*b(p) + 3*r(p). Does 14 divide n(t)?
False
Let h(q) be the third derivative of 0*q**4 - 3/2*q**3 + 1/60*q**5 + 0*q - 22*q**2 + 0. Is h(-5) a multiple of 8?
True
Suppose -d - 13 + 16 = 0. Suppose -16 = 4*y - 5*o - 157, -2*o = -d*y + 111. Let j = y + -3. Is 5 a factor of j?
False
Let p = 6590 + -4800. Is 13 a factor of p?
False
Suppose -v - 18 = -20. Suppose -v*u - 3*y + 975 = -2*y, 969 = 2*u - y. Suppose 5*c + u = 14*c. Is c a multiple of 9?
True
Let v = -13 - -14. Suppose 2*d - 289 = -3*o - 0*d, -v = d. Does 22 divide o?
False
Let l be 4/(-8) - 2/(16/748). Let x = l + 151. Is 13 a factor of x*-1*(-12)/18?
False
Let k(n) = -n - 16. Let w be k(12). Let d = 12 - w. Does 3 divide d?
False
Let f(d) = 36*d + 1073. Is f(21) a multiple of 21?
False
Suppose p - 3*u = -u - 45, -107 = 3*p + u. Suppose -12*o = 33*o - 582 - 3. Let x = o - p. Is 25 a factor of x?
True
Let y(d) = d**2 + 3*d - 114. Suppose -117*m = -110*m + 147. Does 6 divide y(m)?
True
Let t = 9238 + -3694. Is 18 a factor of t?
True
Let k(c) = c + 5. Let r be k(-1). Suppose t = -2*q + 23 - 10, -r*t = -2*q - 2. Suppose -3*u + 82 = -2*y, 68 = 3*u + q*y - 0*y. Is u even?
True
Suppose 70*z + 1632 = 102*z. Let h(k) = -k**3 + 50*k**2 + 53*k + 154. Is 24 a factor of h(z)?
False
Suppose 0 = p - n - 10, n = 19*p - 21*p + 5. Let d(z) = 8*z**3 - 17*z**2 + 4*z - 11. Is d(p) a multiple of 63?
False
Let n = -49 + 9. Let m = n + 47. Suppose -2*v = -q - 49, q - 13 = -v + m. Is v even?
False
Let u(a) = 6*a**3 - a**2 - 7*a. Let z(f) = 5*f**3 - 6*f + 1. Suppose 3*l + 2*l + 45 = -4*w, -2*l + 10 = -4*w. Let v(o) = l*z(o) + 4*u(o). Does 10 divide v(-5)?
True
Let g = -8445 - -12690. Is 53 a factor of g?
False
Suppose 109215 = 10*u + 111405 - 299790. Is u a multiple of 320?
True
Suppose 1984 = 29*c - 829. Is c a multiple of 5?
False
Suppose -i = -260 + 262. Is (-11 + 16)*(-84)/i a multiple of 42?
True
Let k = 25911 - 3858. Is 53 a factor of k?
False
Let p = 12 - -379. Suppose -2*w + 0*w = 542. Let v = w + p. Is v a multiple of 24?
True
Let y(v) be the third derivative of v**6/40 - v**5/20 + v**4/12 + v**3/6 - 646*v**2. Suppose -s - j = -0 + 2, 0 = s + 2*j + 6. Is y(s) a multiple of 3?
False
Let a(g) be the first derivative of -g**3/3 - 10*g**2 + 32*g - 1. Let t be ((-24)/(-15))/(148/25 + (24 - 30)). Is a(t) a multiple of 16?
True
Let l = -12 + 27. Let h be 21/(-168) + (1 - (-162)/16). Let v = l - h. Does 4 divide v?
True
Let j = -328 + 749. Let o = -95 + j. Is 16 a factor of o?
False
Let x(p) = -p - 12. Let u be x(-10). Let k(q) = 2*q - 6. Let w be k(-6). Does 7 divide u/6 - 510/w?
True
Let c(v) = v**3 - v**2 + 16. Let y be 0*(-3)/((-36)/(-3)). Let u be c(y). Suppose 0 = -r + u + 22. Is 5 a factor of r?
False
Suppose 10*h - 17*h + 700 = 0. Let d = -58 + h. Is 14 a factor of d?
True
Let y = 391 + -187. Let a = -294 + y. Let s = a - -119. Is 8 a factor of s?
False
Does 15 divide (-45)/9 - -1 - -19*181?
True
Suppose 31*t - 301577 - 33382 = 105551. Is t a multiple of 7?
True
Let r(h) = -10*h**2 + 2*h + 1. Let a be r(-1). Let q(j) = -4*j - 30. Let b be q(a). Is (0 + 553/b)*(-4)/(-2) a multiple of 5?
False
Let d(o) = -20*o - 345. Let h be d(-18). Suppose 0 = 5*p + h, -4*p = k - 301 - 19. Is k a multiple of 42?
False
Is ((-314938)/(-130))/((-6)/(-30)) a multiple of 16?
False
Let g = -45 + 166. Let b = -268 + 183. Let y = g + b. Does 9 divide y?
True
Let y be (-36)/10*-150*2/8. Suppose -24*w = -y - 3585. Is 9 a factor of w?
False
Let a = 1335 - -1415. Is 55 a factor of a?
True
Suppose 13159 = 16*r + 983. Suppose n + 2*w = r, -n + 64 + 685 = -2*w. Is n a multiple of 45?
False
Let p(s) = 536*s + 14. Let b be p(-1). Let y = 1141 + b. Is y a multiple of 53?
False
Suppose -74*m + 35492 = -55*m. Does 6 divide m?
False
Suppose 4*h - 7 = 5. Suppose -3*p = 15, -2*l + 304 = p - h*p. Suppose -3*o = 2*b - 117, b + l = 4*b - 5*o. Is b a multiple of 13?
False
Let g be ((-1065)/10)/(-1 + 3/2). Let t = g - -401. Let n = t + 41. Does 31 divide n?
False
Suppose 0 = 4*h + 2*l + 6, 6*h - 3*l + 31 = 2*h. Let k be 13*(4/h + -6). Does 6 divide -2 + 0 - 13/(k/602)?
True
Suppose -c + 511 = 2*j - 163, 5*c = 5*j + 3415. Is c even?
True
Suppose -13 = -2*g + 123. Let z = g + -70. Does 23 divide (-231)/z + (-5)/10 - 0?
True
Suppose 337*j = -7*j + 1415904. Is j a multiple of 49?
True
Let u(w) = -27*w + 20. Let z(s) = 11*s + 2. Let i be z(-1). Does 18 divide u(i)?
False
Let p = 4109 - -2641. Does 54 divide p?
True
Let j(i) = -2*i + 57. Let l be j(11). Let p(n) = n**2 - 12*n + 3. Let f be p(12). Let a = l - f. Is a a multiple of 8?
True
Suppose 63413 = 16*n - 40634 - 69393. Is n a multiple of 10?
True
Let x(w) = 3345*w + 2784. Does 17 divide x(7)?
False
Suppose 5*t - 23 = 2*l, 0*l - 3*l = -2*t + 7. Let r be 3 + l - (7 - 9). Suppose 12*u = r*u + 738. Does 41 divide u?
True
Let d = -7 - -4. Suppose -4*r + 48*n = 46*n - 44, 44 = r + 5*n. Is r/d - -4 - 424/(-6) a multiple of 18?
False
Does 154 divide 198192*(-4)/(-44) - -4*(-48)/(-352)?
True
Let c(i) = -i**3 - 6*i**2 - 9*i + 1. Let l be c(-4). Let p(t) = -7*t + 34. Let m(s) = -13*s + 68. Let h(x) = l*p(x) - 3*m(x). Does 11 divide h(12)?
False
Suppose -40 = -81*i + 77*i. Suppose 0 = -4*h - 5*w + 1393, h - i*w + 9*w = 337. Does 6 divide h?
True
Suppose -6*a - 1969 = -55063. Suppose 12*h - a = 9199. Is 94 a factor of h?
True
Suppose -8*q + q = -2*q - 26240. Is q a multiple of 78?
False
Suppose 14626 = h + 3*a, -943*h = -939*h - 4*a - 58504. Is h a multiple of 4?
False
Let d be 1/(0 - (-3)/27). Suppose -d*g + 8*g = -99. Let f = 219 - g. Does 12 divide f?
True
Let z(s) be the first derivative of 22*s**3/3 + 44*s + 311. Does 18 divide z(-5)?
True
Suppose 9*v = 7*v - 1370. Let p = -395 - v. Is p a multiple of 13?
False
Suppose -22660 = -4*x - 4*i, 5*x + 3*i + 5693 = 6*x. Does 52 divide x?
False
Suppose -16*s + 203226 - 100744 = -204718. Is s a multiple of 20?
True
Suppose -2*r - 6564 = -j, -3*j - 7413 = 3*r - 27096. Is j a multiple of 93?
False
Suppose 3*s = -4*j + 13457 + 2483, 0 = 5*j - 2*s - 19902. Does 12 divide j?
False
Let k = 753 + -228. Let r = -129 + k. Is r a multiple of 18?
True
Let c(v) = -3*v**3 - 2*v**2 + 6*v - 3. Let o(g) = 5*g**3 + 5*g**2 - 13*g + 7. Let b(y) = 7*c(y) + 4*o(y). Let i be b(5). Let t = i + 97. Does 14 divide t?
False
Let n(d) = d**2 + 4*d - 1. Suppose -5 = 12*h - 11*h. Let y be n(h). Suppose u = -y + 24. Is u a multiple of 4?
True
Suppose 5*y - 4938 = 2*w, 2*y + 62*w = 67*w + 1992. Does 17 divide y?
True
Let f be ((-1)/3)/((-9 - -4)/75). Suppose -149 = f*y - 1149. Is y a multiple of 28?
False
Suppose 0 = 51*z - 112975 - 193025. Is z a multiple of 75?
True
Let j = 206 + -194. Let w = j + 180. Is w a multiple of 4?
True
Let c(j) be the second derivative of 0 + 11*j + 1/3*j**3 - 5*j**2. Is c(8) a multiple of 6?
True
Let x(d) = 10*d + 3. Let f be x(2). Let j = -12 + f. Let o(h) = h**3 - 10*h**2 - 9*h + 9. Is o(j) a multiple of 8?
False
Suppose 56*n - 325475 - 466250 = -55213. Does 129 divide n?
False
Suppose 5*l = 3*u + 53, 2*u + 2*u + 68 = 4*l. Let i be u/9 + 10/(-45). Does 12 divide i/(-5) + 1770/75?
True
Let j be (57/(-9) - -6)/((-4)/47688). Let r = 5672 - j. Is r a multiple of 19?
False
Suppose 3*g - 66 + 0 = -3*s, -23 = -s - 2*g. Suppose -29*r = -s*r - 1688. Does 4 divide r?
False
Suppose 5*g = 16*g - 242. Suppose y + g