 derivative of c**6/12 - 5*c**3/6 - c**2. Is x(n) a multiple of 14?
False
Suppose -2*y + 15306 = -4*k, -3*y + 2*k + 782 + 22205 = 0. Is y a multiple of 23?
False
Let v = 53688 + -43546. Is v a multiple of 11?
True
Suppose -19*q = -2*q + 663. Let g = q - -204. Is g a multiple of 9?
False
Suppose 386687 - 34323 = 185*d - 129376. Is 24 a factor of d?
False
Suppose 0 = 5*v - n - 38164, 306*v = 310*v + 7*n - 30500. Does 24 divide v?
True
Does 3 divide 298949/441 + (-174)/(-594) + 4/(-22)?
True
Let s = 41903 - 27900. Does 17 divide 7/((-105)/(-6)) + s/55?
True
Let f(l) = -4*l - 16. Let z be f(-7). Suppose -20*r = -z*r - 2480. Suppose 3*a = 8*h - 4*h - r, -h + a = -78. Does 13 divide h?
False
Suppose -17 = -2*t - 3*w - 7, -2 = -w. Suppose -4*s + 4*v + 758 = 2*v, -364 = -t*s + 4*v. Is 59 a factor of s?
False
Let n(v) = -101*v + 84. Let p(l) = 20*l - 17. Let x(t) = 6*n(t) + 33*p(t). Let r be x(26). Suppose 7*h - r = 221. Is 28 a factor of h?
True
Is 165 a factor of -1 + -1 + (-790)/474 + 8921/3?
True
Is 137 a factor of (-6575)/(-2) + -1 - (-59)/((-1652)/(-42))?
True
Suppose 3*l + s = -2714, -2*l = -15*s + 14*s + 1816. Let f = l - -1689. Is 5 a factor of f?
False
Suppose -46 = -4*p - 18. Suppose 0 = -3*k - c + 37, -k + 3*c = 2*k - 57. Suppose -p = -s + k. Does 4 divide s?
False
Suppose -8*t - 108 = -4*t. Let i(h) = -56*h - 517. Let v be i(-8). Let s = t - v. Does 10 divide s?
False
Let t = 216 + -33. Suppose 572 = -179*p + t*p. Does 8 divide p?
False
Let x(p) = 6101*p + 1043. Does 34 divide x(2)?
False
Let n = -6195 - -8535. Does 9 divide n?
True
Let z be (6 + (-17)/3)/(2/414). Suppose 0 = 74*n - 77*n - z. Let a = 62 + n. Is 13 a factor of a?
True
Let h = 43 - 13. Let w = h - 32. Is 10 a factor of w/(-6) + (-854)/(-21)?
False
Let a(t) = -98 + 14*t - 126*t + 279 - 135. Does 13 divide a(-4)?
True
Suppose -6*n + 496 = -2*n. Suppose -n = -8*q + 6*q. Suppose 2 = 2*p - q. Is 8 a factor of p?
True
Let j be 122/4 + (6/12 - 1). Let s be 2/j*-723 + (-2)/(-10). Let a = s + 254. Is 30 a factor of a?
False
Let r(h) = h**2 + 3*h - 3. Let b be r(-4). Let m be -1 - -2 - (-1 - b). Is (-13)/(-7) + m*5/105 even?
True
Let m(r) = 108*r**3 - 2*r**2 + 2*r + 3. Is m(3) a multiple of 57?
True
Let w(a) = 13*a - 121 + 95 - 3*a. Suppose 5*v + 22 = f, -19 = -5*f + 3*v + 25. Does 11 divide w(f)?
True
Suppose -949 = -46*d + 11609. Let c(g) = 9*g. Let z be c(5). Suppose z - d = -4*w. Is w a multiple of 6?
False
Suppose -j + 2094 = 2*z, -3*j - 213*z + 212*z + 6302 = 0. Does 9 divide j?
False
Let m(d) = -d**3 - 39*d**2 - 204*d - 72. Does 88 divide m(-36)?
False
Let t(q) = 13865*q**2 + 37*q + 74. Is 235 a factor of t(-2)?
True
Suppose -460 = -2*v + 2*a, -2*a + 950 = 4*v - 0*v. Let r = -119 + v. Let d = r + -76. Is 4 a factor of d?
True
Suppose -3*g - 420*f + 425*f + 129553 = 0, 4*f = -5*g + 215934. Is 302 a factor of g?
True
Let k(o) = o**2 + 8*o - 19. Let x(t) = 8*t - 59. Let w be x(8). Let b be (-4 + 1)/((w/(-10))/1). Does 14 divide k(b)?
False
Let a(d) be the second derivative of -10*d**3/3 - 62*d**2 + 24*d - 2. Does 12 divide a(-11)?
True
Let f = -6083 + 12708. Does 53 divide f?
True
Let l = 414 + -414. Suppose -112*x + 143*x - 7006 = l. Does 8 divide x?
False
Suppose -4*m + 60*y = 62*y - 39136, -5*y = -5*m + 48965. Does 17 divide m?
False
Suppose 10*z + 40*z - 704854 = 548346. Does 52 divide z?
True
Let a(d) be the third derivative of -d**6/30 - d**5/6 - d**4/6 - 17*d**3/6 + 19*d**2 + 2*d. Is a(-7) a multiple of 21?
False
Suppose 6*r - 13 = 5*r. Suppose r = 2*s + 3. Suppose 49 = 4*t + s. Is 11 a factor of t?
True
Let m be -2 + (-128)/(-20) + 4/(-10). Suppose m*t - 11*t = -28. Suppose -2*v = y - 46, -5*v - 2*y + 124 = -t*y. Is v a multiple of 5?
False
Let g(b) = 18*b - 255. Let v be g(29). Let i = v - 163. Does 13 divide i?
True
Suppose 5*q + 172 = 182, m - q = 1014. Is m a multiple of 139?
False
Let r(o) = 192 - 2375*o + 2376*o + 10. Does 17 divide r(-24)?
False
Let j(y) = 80*y + 56. Let w be (-9)/(-3) - (6/(-3) - 0). Let d(a) = -53*a - 37. Let v(i) = w*j(i) + 8*d(i). Is v(-7) a multiple of 38?
True
Let s(x) be the second derivative of -x**3/3 + 66*x**2 - 9*x. Is 17 a factor of s(34)?
False
Let y be 2/(-4)*-6*(-12)/(-9). Suppose 6*l + 1469 = y*s + 3*l, l = 5*s - 1839. Is s a multiple of 15?
False
Let k(p) be the first derivative of p**5/20 + p**4/2 + 7*p**3/6 + 8*p**2 - 22*p - 16. Let n(q) be the first derivative of k(q). Does 3 divide n(-5)?
True
Let d(a) = 24*a + 39. Let s be d(-5). Let c be 698/18 + (-18)/s. Suppose c = 7*v - 171. Does 13 divide v?
False
Let c(h) = 910*h - 234. Does 29 divide c(16)?
True
Let n = -602 - -702. Suppose 0 = -2*k - 3*k + 240. Let u = n - k. Is u a multiple of 13?
True
Let l = 110 + -138. Let k(b) = b**3 + 28*b**2 - 3*b + 33. Is 9 a factor of k(l)?
True
Suppose 0 = 12870*t - 12905*t + 146580. Is 12 a factor of t?
True
Let v(j) = j**3 - 6*j**2 + 10*j + 156. Is 12 a factor of v(12)?
True
Let m be (2 + -4)*274/(-4). Suppose -7*r - 452 - 108 = 0. Let a = r + m. Is a a multiple of 19?
True
Let z = 415 - 1058. Let d = -508 - z. Is 5 a factor of d?
True
Let t = -31367 + 56945. Is t a multiple of 21?
True
Suppose o = -3*h - 421 - 1321, 5*h + 4*o + 2894 = 0. Let s = h + 107. Let q = s + 697. Is 12 a factor of q?
False
Let f = -64 + 62. Suppose -p + 0*a = -3*a - 32, -4*a - 16 = 0. Does 15 divide (p/f)/((-26)/91)?
False
Is (-19)/((-1197)/268086) - (-4)/6 a multiple of 19?
True
Suppose -5*c - 4*b = -202, b - 5*b - 26 = -c. Suppose -2*r + c = -4. Is r a multiple of 7?
True
Suppose -5*g - 15 = -5*r, 2*g + 5 = 3*r - 3*g. Let s be (-111)/(-4) - 2/(-8). Suppose s = r*p - 37. Is 5 a factor of p?
False
Let a(o) = 166*o + 2. Let z be a(1). Suppose 3*w + 0*j + j - 39 = 0, 0 = -w - j + 13. Suppose -z = 9*k - w*k. Does 7 divide k?
True
Suppose 3*p - 1 + 19 = 5*b, -5*b + 42 = 3*p. Suppose -25*q + 1083 = -b*q. Is q a multiple of 25?
False
Let w be (-48)/((-3 + -2)/5). Suppose -2*k = -48 + w. Suppose 3*u = -2*z + 81, k = 4*u - 0 + 12. Is z a multiple of 15?
True
Let w be -2 - 0 - ((-445 - 5) + 8). Let i = w + -184. Is 16 a factor of i?
True
Suppose -5*w + 3*u - 1 = 0, -2*w + 2*u + 8 = -3*w. Let d be (134/4)/(1/w). Let n = d + 109. Is n a multiple of 14?
True
Suppose 3*n = 8 - 89. Let u = 20 - n. Let r = -44 + u. Is 3 a factor of r?
True
Let x = 360 - 255. Let y = x + 161. Is 14 a factor of y?
True
Let n(a) = 9*a**2 - 20*a + 20. Suppose -240 = -38*x + 14*x. Does 30 divide n(x)?
True
Let y be 2/(-7) + (-3846)/14. Suppose -2*v - 2*v = 4*j + 716, -5*v = j + 159. Let i = j - y. Does 13 divide i?
True
Let n(v) = v**3 + 3*v**2 - v - 20. Let l be n(-6). Does 61 divide (l/(-3))/(27/162)?
True
Suppose 0 = 5*l - 2*l - 1155. Suppose 0 = g - 3*i - 47 - l, -4*g = 3*i - 1773. Suppose g = a + 8*a. Is a a multiple of 5?
False
Let l be -1 - (-4)/(4/(-4)). Let w(p) = 15 + 2*p**2 + 11 - 32 - 2*p. Is 12 a factor of w(l)?
False
Let r = -219 + 223. Suppose w - 282 = -r*g, -15*g = -5*w - 13*g + 1388. Is 9 a factor of w?
False
Let v(j) = -230*j**3 - j**2 - j - 1. Let z be v(-1). Let h = z + -143. Suppose 0 = -5*p + 4 + h. Is 6 a factor of p?
True
Suppose b = -n + 6*n - 513, 0 = -n + 3*b + 97. Let y = n - 73. Let r = y + 5. Is r a multiple of 13?
False
Let a = 2079 + 11436. Is a a multiple of 85?
True
Let r = 8105 + -7150. Does 3 divide r?
False
Let u be 1768/153 - (-8)/18. Suppose -11*x = -u*x + p + 1549, -3*x + p = -4653. Is 16 a factor of x?
True
Suppose 13928*b - 13987*b + 71518 = -1487380. Is 88 a factor of b?
False
Let t(m) = -2*m + 20. Let u be t(13). Let i(s) = -39*s - 64. Is i(u) a multiple of 7?
False
Suppose -12*h + 10 = -17*h. Let d be (h - 1) + 5*4/10. Is ((-7 + 5)*-3)/(0 - d) a multiple of 5?
False
Let v = -6 - -11. Suppose 5*x - 2565 = v*a, -x + 513 = -4*a + 2*a. Does 19 divide x?
True
Is 90 a factor of ((-8188)/(-115))/((-11)/((-25575)/10))?
False
Suppose 5*j = -4*n + 1266, 190*j - 1650 = -5*n + 195*j. Is n a multiple of 9?
True
Let k(z) = 1670*z**2 - 69*z + 72. Is 53 a factor of k(1)?
False
Let j(b) = b - 22. Let o be j(22). Suppose 9*c - c - 16 = o. Suppose 5*m = -l + 184 + 173, 148 = c*m + 3*l. Is m a multiple of 42?
False
Let g be (77438/(-186))/((-2)/(-6)). Let q = -832 - g. Does 25 divide q?
False
Suppose 3 = -10*k + 53. Suppose -5*s + 495 = k*h, -4*s + 203 = -h - 208. Is s a 