4442 - 14605. Does 119 divide z?
False
Let f(l) = -l**3 + 7*l**2 - 8*l + 3. Let i be f(5). Suppose 2*q = k - 12, 3*q - 3*k + 5*k = -32. Let h = i - q. Is 4 a factor of h?
False
Let l = -118 + 304. Let c = -143 + 143. Suppose c*g = -g + l. Is 21 a factor of g?
False
Let j be 73/(-3)*3 + -3. Let z = -126 - j. Let a = z - -80. Does 6 divide a?
True
Suppose 9*n = 11*n - 2*a - 64, 3*n = 2*a + 96. Suppose 774 = n*h - 29*h. Is 13 a factor of h?
False
Suppose 20*h + 10*h = 24120. Suppose 3*m = -2*j - j + 624, -3*m - h = -4*j. Is j a multiple of 4?
True
Let g be 1/(-2 - 9/(-4)). Let u(z) be the first derivative of z**4/4 + 2*z**3/3 - 4*z - 224. Is 28 a factor of u(g)?
False
Suppose 16 = 4*n + 4*w, -4*n - 4 = -2*w - 14. Suppose -2067 + 360 = -n*v. Is 47 a factor of v?
False
Let r(b) be the first derivative of -5*b**3/3 + 4*b**2 - 23*b + 11. Let o(d) = 4*d**2 - 8*d + 24. Let q(k) = -6*o(k) - 5*r(k). Does 19 divide q(7)?
True
Let q = 17787 + -17773. Is q a multiple of 7?
True
Let j = 75857 - 30137. Does 120 divide j?
True
Suppose -16*c - 2*y = -21*c + 38, -8 = 2*y. Does 68 divide c*(4/(-36))/(8/(-14172))?
False
Let j = 108376 - 32250. Does 293 divide j?
False
Let d = 12 - 4. Let u(s) = 7*s - 44. Let v be u(d). Suppose 4*r = -v, 4*j + 2*r = 5*j - 36. Does 5 divide j?
True
Let m = 119750 - 68894. Is m a multiple of 13?
True
Let o = -9 + 27. Suppose 0 = -21*n + 15*n + o. Suppose 3*r - 72 = -m, 0 = -n*m - 0*r + 3*r + 264. Is m a multiple of 14?
True
Let w = -630 + 850. Suppose w = -p + 3*p + 2*m, p = 5*m + 134. Is 19 a factor of p?
True
Let u(a) = -a**3 - 59*a**2 - 168*a + 739. Does 149 divide u(-67)?
False
Is 240 a factor of ((-7 + 48007)*-1)/(2 - (4 - 1))?
True
Is ((-18843)/12)/((-21)/84) a multiple of 15?
False
Suppose -20 - 4 = -3*l - 3*v, -2*v = l - 6. Is 21 a factor of (352/(-12))/(l/(-15))?
False
Let l(r) = 11*r**2 + 108*r + 55. Is l(-35) a multiple of 50?
True
Let j(p) = -2*p**3 + 16*p**2 + 7*p - 12. Let w(k) = k**3 - 16*k**2 - 8*k + 15. Let f(o) = -6*j(o) - 5*w(o). Is 33 a factor of f(5)?
True
Let f(c) = 2*c**3 + 5*c**2 - 14*c - 143. Is f(13) a multiple of 69?
False
Let k(m) = 6*m**3 + 11*m**2 - 11*m + 3. Let f(z) = 8*z**3 + 12*z**2 - 10*z + 2. Let p(a) = 5*f(a) - 6*k(a). Is p(3) a multiple of 4?
False
Let t be 8/3 - 24/(-18). Let q(u) = 12*u**3 - 5*u + 8. Let n be q(t). Suppose r = 8*r - n. Does 27 divide r?
True
Suppose 0 = 2*d - 5*d. Suppose 5 = k - d*k. Suppose 0 = -k*g - f + 101, -g + 0*g - 5*f = -25. Does 4 divide g?
True
Let a(v) = -v**3 - 11*v**2 - 7*v + 31. Let h be a(-10). Is ((-8)/10)/(h/(-305)) - -1 a multiple of 35?
True
Let t = -25249 + 28592. Does 30 divide t?
False
Let t = 1450 + -825. Let g = 1129 - t. Is g a multiple of 42?
True
Let d(w) = 59*w**2 - 19*w + 307. Is 2 a factor of d(6)?
False
Let o = 19 + 84. Let h = 1980 - 2036. Let i = h + o. Is 10 a factor of i?
False
Suppose -2*d + 119 = -h, 2*d + 5*h + 0*h - 137 = 0. Suppose 0 = -52*p + d*p - 3555. Is 21 a factor of p?
False
Is 4 a factor of (9/36 - (-33)/(-4))*3768/(-48)?
True
Suppose -11*v + 12*v + 78 = b, 5*b - 360 = -v. Let z = b - -233. Is z a multiple of 18?
True
Let r(c) = -5*c - 6. Let x be r(-8). Suppose 4*p + 3*z = 12 + 9, p - x = 5*z. Is 4 a factor of p?
False
Let q(o) = -15675*o - 3403. Is q(-2) a multiple of 113?
False
Let a be 4*(-2)/(-20) - 38745/(-75). Let y = -108 + a. Does 5 divide y?
False
Suppose -48*s - 50*s = -2545452. Is s a multiple of 18?
True
Let o(d) = 7*d - 82. Let r be o(28). Let a = 217 - r. Let l = 58 + a. Is l a multiple of 14?
False
Suppose 147 = -3*u + 177. Suppose u*o - 121 = 429. Does 11 divide o?
True
Suppose l + 2*v - 2165 = -2*v, -3*l = 3*v - 6495. Is l even?
False
Suppose -49 = 3*v + 83. Does 7 divide (((-1573)/v)/11)/((-1)/(-56))?
True
Suppose 5*r - 21 = -1. Let b be 143/r + (-13)/(-52) + -3. Is b*(4 - 22/6) a multiple of 3?
False
Suppose 2*j - j = 3*m - 65, 0 = -3*j + 3*m - 219. Let k = j - 111. Let c = -103 - k. Does 17 divide c?
True
Suppose 5*n - 4*t - 159 = 0, 5*n + 4*t = -t + 195. Suppose -u + 29 = -132. Suppose 3*y + n - u = 0. Is 21 a factor of y?
True
Suppose 295 = -15*z + 40. Let l = z + 254. Does 21 divide l?
False
Suppose -2*s - 23 = 3*q - 4*q, 3*s = -3*q + 87. Let l be ((-7)/(-3) - 2) + 1368/q. Suppose l = -4*j + 443. Is 14 a factor of j?
True
Let c = -309 + 311. Suppose c*r - 1110 = 4*x + x, -5*x = 4*r - 2190. Is 14 a factor of r?
False
Suppose 9*q = 8*q + 23. Suppose -q = -7*v - 2. Suppose -5*g - 410 = -v*y - 2*y, -3*g = y - 74. Is 16 a factor of y?
True
Let y = 6312 - 6181. Is 3 a factor of y?
False
Let p be (-75 + (0 - 0))*1. Let u be -56*((-1064)/98 + 12). Let m = u - p. Is m a multiple of 2?
False
Let m(y) be the third derivative of 61*y**4/6 - 8*y**3/3 - 7*y**2. Does 12 divide m(1)?
True
Let p(l) = -l**2 - 13*l - 21. Let r be p(-8). Let h = 10 - r. Let q = 21 + h. Does 4 divide q?
True
Is (-6)/14*1 + 3653073/189 a multiple of 16?
True
Does 27 divide -7 - ((-3924)/6 - 1)?
True
Let n = 460 + 855. Does 13 divide n?
False
Suppose -12*f + f = 4*w - 106149, 0 = f - 4*w - 9663. Is f a multiple of 11?
False
Suppose -7*i - 92 = -36. Let x(g) = 3*g**2 + 8*g - 9. Is x(i) a multiple of 7?
True
Let f(k) be the first derivative of -7*k**2 - k**3 + 6*k - 1/4*k**4 + 21. Is 34 a factor of f(-6)?
False
Suppose -2*j + 18922 = -f, -3*j + 24421 = 2*f - 3934. Is 7 a factor of j?
True
Let o(n) = 13*n**2 - 51*n - 8*n**3 - 15 + 20*n**3 + 61*n - 13*n**3. Does 35 divide o(8)?
True
Let n(a) = a + 1. Let i(c) = -5*c + 11. Let z(l) = -i(l) + 6*n(l). Let j be z(2). Suppose -2*f = -61 - j. Is f a multiple of 5?
False
Let l(c) be the second derivative of c**5/5 - c**4/2 - 2*c**3/3 - 5*c**2 + 47*c. Is l(5) a multiple of 10?
True
Let q(x) = -4*x - 16. Let f be q(-10). Suppose -2*d - f = 24. Is 33 a factor of (-294)/(-4)*d/(-9)?
False
Let p(o) = -151*o + 9. Let r = 677 + -678. Is p(r) a multiple of 10?
True
Suppose -3*r + 21 = 4*k - k, 0 = -4*r + 20. Suppose d + 404 = 2*n - d, -2*n = k*d - 396. Is 25 a factor of n?
True
Let c(a) be the third derivative of a**5/40 + 7*a**4/8 - 2*a**3/3 + 4*a**2. Let y(r) be the first derivative of c(r). Is y(9) a multiple of 12?
True
Let j be (-92)/23 - 5*(-1 + -1). Let g(m) = m + 9. Let p be g(j). Does 5 divide (p/9)/(-1 + 20/18)?
True
Suppose 2*v + 7 = 3*a, 3*v - 93 = -5*a - 75. Is 9 a factor of 258/8*36/a?
True
Let j = 131 + -107. Let y be 2 + 15*3 - j/6. Let c = y - 33. Is 5 a factor of c?
True
Let u(z) = z**2 + z + 3. Let d be u(-3). Let h(g) = 8*g - 127. Let f be h(21). Let c = d + f. Is c a multiple of 25?
True
Does 72 divide (-19)/(988/(-2293538)) - (-6)/(-4)?
False
Let j(x) = 221*x + 7. Let p(n) = 222*n + 8. Let d(b) = 3*j(b) - 2*p(b). Does 28 divide d(1)?
True
Suppose -2*d + 3*g + 15178 = 0, -19*g + 17*g - 7586 = -d. Is 41 a factor of d?
False
Let v be (2 - 2) + (-3 - -1) - -10. Let d be (27/(-12))/(3/(-324)). Suppose d = v*a - 5*a. Does 26 divide a?
False
Let l = -581 - -956. Let u be 723*(-2)/(-8)*76/57. Suppose 11*f = u + l. Does 8 divide f?
True
Let r(k) = 2*k**2 - 4*k + 4. Let y = -126 - -122. Does 3 divide r(y)?
False
Does 87 divide ((-1)/((-8)/1972))/(39/3276)?
True
Let q = 1929 + -1041. Let s be (-9)/18*-16 + -3. Suppose -q = s*m - 11*m. Is m a multiple of 15?
False
Suppose -162 - 69 = -33*c. Is 2356/14 - c*(-14)/(-343) even?
True
Let b(w) = -24*w**2 + 3*w + 2. Let q be b(-1). Let i(o) = -6*o + 73. Let x be i(q). Suppose 4*y - 433 = x. Is 9 a factor of y?
False
Suppose -96 = -11*f - 52. Suppose -5*y - 144 + 1059 = f*u, y = 5*u - 1151. Does 46 divide u?
True
Let h(j) = -j**3 - 10. Let l be h(0). Let q = 10 + l. Is 18 a factor of (4 + q)*18/2*2?
True
Suppose s - 4 = 0, -4*v = 4*s - 4 - 44. Suppose 5*r = 3*w - 1114, -r - r + v = 0. Suppose 0 = 5*d - 8*d + w. Is 18 a factor of d?
True
Suppose 2140 = 2*h + 789 - 1381. Is h a multiple of 15?
False
Suppose 0 = -2*q - c + 9, 9*q - 7*q + 4*c = 18. Suppose 2*f - 4*t = 1096, q*f - 1373 = 2*t + 267. Is f a multiple of 26?
True
Let j be 357/(-7)*(-1)/3. Suppose -10*u + j*u - 77 = 0. Does 2 divide u?
False
Suppose w = 3*a - 176 + 66, -33 = -a + 4*w. Suppose 2*v + 132 = 6*v. Let q = a + v. Is 7 a factor of q?
True
Suppose 2*z = -3*h - 227, 4*z - 4*h + 383 = z. Let x = z + 190. Let o = 229 - x. Is 20 a factor of o?
True
Suppose -1 = -4*v + 7. Suppose -r = 0, r = -2*u