first derivative of -3*n**2/2 + 96*n - 6. Is 16 a factor of c(0)?
True
Let v(y) = y - 7. Suppose -2*w + 2 = -18. Let l be v(w). Suppose -r + 22 = 3*b, l*r + 46 = 3*b + 148. Is r a multiple of 27?
False
Let d(y) = -y**3 + 10*y**2 - 7*y - 19. Let n be d(9). Let i(f) = -26*f - 1. Is i(n) a multiple of 3?
False
Let j be 80/(-280) + (-38415)/(-21). Suppose -4*y - 101 = -j. Is y a multiple of 9?
True
Suppose 1871 = 42*p - 481. Does 37 divide p?
False
Let u = 295 + -290. Suppose -u*h + 205 + 795 = 0. Does 7 divide h?
False
Suppose 4*j + w + 11978 = -0*w, -5*j - 2*w - 14974 = 0. Let p be 1 - (j/18 - (-2)/(-3)). Let l = p - 99. Is l a multiple of 12?
False
Let i(x) = 181*x - 580. Does 20 divide i(26)?
False
Suppose -3*g + 6 + 24 = 0. Let m be (-8)/(5/((-25)/g)). Suppose -2*u + 2*z + 111 = -z, u + m*z = 39. Is 17 a factor of u?
True
Suppose -5*b + 18740 = 2*f - 9*b, 4*b = -5*f + 46794. Is f a multiple of 151?
True
Suppose 19*o - 155 + 459 = 0. Let a = 592 - o. Is 19 a factor of a?
True
Let b(x) = -x**3 + 24*x**2 - x + 25. Let v be b(24). Suppose 2*p - 1896 = -4*u, -3*u - v = -4*u. Is p a multiple of 12?
False
Suppose 5*h + 25 = 0, 209*p - 25700 = 204*p + 2*h. Is p a multiple of 14?
True
Let k(c) be the second derivative of 6*c**2 - 15*c + 1/12*c**4 + 0*c**3 + 0. Does 6 divide k(-5)?
False
Suppose -3*y - f + 511 = 2*y, -y - 4*f = -87. Suppose 574*g - 559*g = 0. Suppose g = 2*z + 19 - y. Does 7 divide z?
True
Let c(i) = 2*i**3 + 92*i**2 + 88*i + 37. Is c(-36) a multiple of 16?
False
Suppose 6*t = 10*t - 32. Let h be 2/(t/1204*7). Suppose h*y = 42*y + 112. Is y a multiple of 28?
True
Suppose -7*i - 73 = -62 + 31. Let b(h) = -2*h**3 + 6*h**3 - 3*h**3 + 12 + 9*h**2 + 4*h. Does 12 divide b(i)?
True
Let d = -3349 - -4988. Let m = -919 + d. Is m a multiple of 30?
True
Does 20 divide ((-3566)/6)/(716/1200*5 - 3)?
True
Let d(c) = 2*c + 2. Suppose 3*j - 10 + 7 = 0. Let a be d(j). Suppose -q - 2*q - 6 = 0, -q = a*r - 46. Is 12 a factor of r?
True
Let w = 2751 + -1872. Suppose 5*z - 1646 - w = 0. Is z a multiple of 18?
False
Let c(o) = 4*o**2 - 27*o + 165. Is 19 a factor of c(29)?
False
Let b(d) = -150*d**3 + d**2 - 9*d - 10. Let r be (-176)/144 + (1 - 14/18). Does 5 divide b(r)?
True
Let r = -18 - 15. Let l(b) = 9*b**2 + 27*b + 83. Let s be l(-3). Let a = s + r. Is a a multiple of 6?
False
Suppose -2*q = 2*u - 306, 5*u - 762 = -4*q - 0*q. Suppose -10*b = -15*b + u. Does 3 divide b?
True
Let w = -1 - -8. Let l(j) = 3 + 8*j + 6*j + w*j. Does 9 divide l(2)?
True
Let y be 1 + -2 + (-6 - -6). Let d(t) = 80*t - 1. Let j be d(y). Let b = -49 - j. Is 14 a factor of b?
False
Suppose 0 = -3*z - 0*k - 2*k - 194, 0 = -4*z - 4*k - 264. Let y = -113 - z. Let n = y - -126. Is n a multiple of 25?
True
Let j = 13 - 12. Let b be -1 + 0 + 39/j. Suppose -2*q + 26 = -b. Is 7 a factor of q?
False
Let w = 2335 - -9190. Is w a multiple of 5?
True
Does 26 divide (-711260)/(-198) - 16/(-54)*(-9)/12?
False
Let z = -52 - -55. Suppose i = z*i - 6. Suppose 10 = -r + i*r. Is r even?
False
Suppose 4*i + 5*h = -62, 8 = h + 10. Let c(s) = s**3 + 16*s**2 + 29*s + 51. Does 41 divide c(i)?
False
Let b = 21246 + -8363. Is b a multiple of 32?
False
Suppose -3*t + 310 = 2*q - 55, 5*q - 921 = t. Let k = -2914 - -3043. Let b = q - k. Is b a multiple of 10?
False
Let r(s) = -2*s**3 + 46*s**2 - 46*s - 40. Let p be r(22). Let y = -185 - -275. Let c = p + y. Does 6 divide c?
True
Let x be 1 - 4/16 - 5/(-4). Let s be (-5)/(10 + 0) + 155/x. Let y = s + -27. Does 8 divide y?
False
Let y = 9941 + -8518. Is 54 a factor of y?
False
Let s = 59 + -59. Suppose 4 = 4*t - 4*f, -4*t + 0*t + 2*f = s. Is -5 - ((-5)/t + -269) a multiple of 51?
False
Is 25 a factor of 121227/33 + ((-1288)/8855 - 4/10)?
False
Suppose 3*g - 3*w - 105 - 15 = 0, -5 = 5*w. Suppose -g*p + 7*p = -2464. Does 8 divide p?
False
Let s = -13511 - -21101. Is 30 a factor of s?
True
Suppose -2*n = -2*v - 1984, 6*v + 4950 = 5*n + 3*v. Does 19 divide n/(15/5) + -6?
True
Suppose 0 = -5*c + 783 - 88. Suppose 104 = 2*m + 2*j, -2*j = -3*m + 102 + 59. Suppose -c = -r + m. Does 31 divide r?
False
Let p = -2670 - -3741. Is 92 a factor of p?
False
Let v(d) = -23*d - 92. Let j be v(-14). Suppose 9*n - j = 355. Is n a multiple of 8?
False
Suppose 7*c - 24192 = -4*u + 6*c, 5*u - 30240 = -3*c. Does 72 divide u?
True
Suppose 30*u - 59051 = 25*u + 3*s, -u = 3*s - 11803. Is u a multiple of 15?
False
Let q(y) = 77*y. Let s(o) = -1926*o. Let i(t) = -99*q(t) - 4*s(t). Let l be i(3). Suppose -2*j + 122 = 2*c, 0*c - 3*c = 4*j - l. Is j a multiple of 15?
True
Let j(t) = t**2 - 9*t + 16. Let l be j(7). Let a be l/3 - 32/3. Is 5 a factor of (-33)/(-6)*a/(-5)?
False
Let k(u) be the second derivative of 4*u**4/3 + 2*u**3/3 + 3*u**2/2 + 26*u. Is k(-1) a multiple of 2?
False
Is (1/(-3))/(29 - (-159040)/(-5484)) a multiple of 109?
False
Let w(z) = 2*z**2 - 67*z + 133. Is w(42) a multiple of 7?
True
Let q(t) = -97*t - 308. Let s(l) = l. Let b(o) = q(o) + 4*s(o). Is b(-6) a multiple of 25?
True
Suppose 4*z = -z - 27*p + 179011, 2*z + 5*p - 71645 = 0. Is 320 a factor of z?
True
Let g be (11 - 17) + 427 + 3. Suppose -5*a - g + 2734 = 0. Does 13 divide a?
False
Let h(d) = d**3 + 19*d**2 - 41*d + 33. Let i be h(-21). Let a(f) = f**3 - 8*f**2 - 20*f + 21. Does 17 divide a(i)?
True
Suppose 0 = -4*l + 2*v - 4*v + 1746, -2*l + 4*v = -858. Let p = 902 - l. Suppose -5*d + p + 358 = 4*k, -4*d = -2*k - 660. Is d a multiple of 9?
False
Let b be (646 - -6 - -2)*-1. Let c = -334 - b. Does 64 divide c?
True
Suppose 5 = -y, 3*y + 11 = -2*r - 2*r. Is 11 a factor of r*(6 + 143) - 3?
False
Suppose -2*f - 4*x - 190 = 1178, -3*x = f + 687. Is 16 a factor of 2/5 + (9 - f/30)?
True
Let s(f) = 466*f**2 + 12*f. Let x be s(3). Suppose -7*q - x = -16*q. Is q a multiple of 20?
False
Let c = -743 + 430. Let h = -300 - c. Does 6 divide h?
False
Suppose 2*o = 3*f + 2*f - 17, 2*o + 14 = 4*f. Let s(k) = -k + 26*k - 5*k + 36*k. Is s(f) a multiple of 28?
True
Suppose -150*g + 2030939 = 22*g + 21*g. Is 17 a factor of g?
True
Let v(k) = k**3 - 16*k**2 + 17*k - 27. Let h be v(15). Suppose -h*o - 4*o + 1498 = 0. Is 10 a factor of o?
False
Let h(p) = 2*p**2 - 56*p. Let k be h(28). Is 277 - 0/(-3 + k) a multiple of 14?
False
Let b(c) = -c**2 - 59*c - 851. Let d be b(-25). Let i be 1 - ((0 - -1) + 3766). Is 4/18*d - i/18 a multiple of 11?
True
Suppose -11799 = -18*y + 13671. Suppose -2*o = -n - y + 470, 0 = -5*o + 2*n + 2365. Is 5 a factor of o?
True
Let c(n) = 327*n + 6. Let k be c(6). Suppose -552*f + k = -546*f. Does 41 divide f?
True
Let g = 7742 + -2144. Is 9 a factor of g?
True
Let z = -4517 + 4569. Does 4 divide z?
True
Let l(j) = 8*j**3 + j**2 - 35*j + 339. Is l(12) a multiple of 37?
False
Let w(k) = 78*k - 53. Let c be w(7). Let h = 885 - c. Is h a multiple of 13?
False
Let x(u) = u**3 + 70*u**2 + 534*u - 108. Is 81 a factor of x(-31)?
True
Suppose 4*p = -352 - 280. Let d(u) = -13*u + 195. Let k be d(-11). Let a = p + k. Is 30 a factor of a?
True
Suppose 71*w + 27*w - 353192 = 0. Is w a multiple of 9?
False
Let g = -58 - -60. Suppose -5*u = -y + 118, 0 = -5*y - g*u - 0*u + 509. Suppose -3*t = -2*o - 237, -4*t = 2*o - 419 + y. Is 15 a factor of t?
False
Suppose -66*l = -71*l + 1235. Let n = l - -297. Is n a multiple of 13?
False
Let w = -91 - -96. Suppose 5*v - v = -2*f + 250, 40 = v + w*f. Does 3 divide v?
False
Suppose 47*g - x - 306 = 46*g, 1524 = 5*g - 2*x. Suppose g - 16 = 8*m. Is m even?
True
Suppose -29964 - 282456 = -410*q. Does 2 divide q?
True
Is 128 a factor of (3069/(-1))/(-1) + 5 + -2?
True
Let d(j) = -831*j**3 + j**2 - 4*j - 1. Does 11 divide d(-2)?
False
Let p(u) = -7*u**3 + 78*u**2 + 2*u + 50. Is 21 a factor of p(-8)?
True
Let z(d) = 5*d + 15*d**2 + 0*d**2 - d**3 - d - 26 - 3*d. Let m be z(15). Let s(c) = -c**3 - 11*c**2 - 10*c - 13. Is 16 a factor of s(m)?
False
Let r(z) = -4*z**2 + 92*z + 6. Let s be r(23). Is (-79959)/(-143) + s/(-39) a multiple of 13?
True
Let f(q) = q**3 - 2*q**2 + q + 73. Let a be f(0). Suppose 3*n - a = -298. Let b = n + 132. Does 13 divide b?
False
Does 130 divide (-2 - 0 - -1083 - 3)/((-12)/(-78))?
False
Let i = 15009 - -23423. Is i a multiple of 96?
False
Let n(p) = -256*p + 10. Let u be n(1). Let a = 456 + u. Is a a multiple of 7?
True
Let h = 314 + -309. Suppose 24*f = h*f 