 29 divide g?
False
Let y(p) be the second derivative of -p**5/10 + 7*p**4/3 - 13*p**3/6 + 16*p + 3. Does 28 divide y(12)?
True
Let n(s) be the second derivative of -s**4/12 + 13*s**3/2 - 35*s**2 + 79*s. Does 5 divide n(33)?
False
Let j(r) = -502*r + 10. Does 23 divide j(-14)?
True
Suppose b = 168*x - 165*x + 3061, -4*b + 12205 = x. Is b a multiple of 16?
False
Suppose 2*p - 16 = 0, 36*z - p = 32*z + 37508. Does 83 divide z?
True
Let c = 48 - -4. Suppose 49 = 2*l - 3*y - c, l - 2*y = 51. Is l a multiple of 7?
True
Suppose -6700 = 4*p + 4*u, 4*u = 26 - 10. Let a = p - -2909. Is a a multiple of 15?
True
Let b(y) = 13*y. Is b(52) a multiple of 3?
False
Suppose 0 = 3*l + 13 - 10. Let m be 2*l*(-7)/((-56)/(-300)). Suppose 0 = -2*d, -3*q + 2*d + 33 + m = 0. Is 9 a factor of q?
True
Let o(b) = -b - 10. Let f be o(-13). Suppose 0 = -4*u - 5*l + l + 100, -f*u - 5*l + 75 = 0. Suppose -8*a = -7*a - u. Is 8 a factor of a?
False
Let j(f) = -f**2 - 19*f - 29. Let w be j(-18). Let i(a) = a**3 + 13*a**2 + 8*a - 16. Does 23 divide i(w)?
True
Let k(a) = -a**3 + 7*a**2 - 6*a + 2. Let g be k(6). Suppose 17*j - 735 = g*j. Does 5 divide j?
False
Let u(a) = -51*a**3 + 2*a**2 - 1. Suppose 3*v - 10 = 13*v. Let o be u(v). Suppose 0 = -49*l + o*l - 30. Does 3 divide l?
False
Let i = -29963 + 31264. Does 2 divide i?
False
Let u be (-6)/(-27) + 581/63*-1. Let f(g) = 4*g**2 + g - 24. Let d(y) = 7*y**2 + 2*y - 47. Let j(o) = 3*d(o) - 5*f(o). Does 17 divide j(u)?
True
Suppose -12*w - 220 = -w. Let z be w/(-10) - 24/(-2). Suppose -3*m + a = -m - z, -2*m - a + 14 = 0. Does 2 divide m?
False
Suppose -71431 + 30435 = -38*h + 256886. Does 17 divide h?
False
Let u(j) = -j**2 + 32*j + 12. Is u(26) a multiple of 168?
True
Let d be 3*(-4 - 35/(-3)). Suppose -d = -4*h + 1. Does 7 divide -2 + ((-66)/(-4) - 3/h)?
True
Let i = 37 + -17. Let a = 119 - i. Does 11 divide a?
True
Let x(q) = -q**3 + q**2 + q + 1. Let d(l) = -12*l**3 + 4*l**2 + 10*l - 1. Let y(f) = d(f) - x(f). Is 11 a factor of y(-2)?
False
Suppose 3*r - 1821 - 291 = 0. Suppose 29*k = 33*k - r. Is 25 a factor of k?
False
Let b be 2/3*(-72)/2. Suppose 0 = -2*f + o + 843, o = 3*f + 680 - 1945. Is (8 - 0)/b - f/(-6) a multiple of 7?
True
Let x(u) = -1 - 39*u**3 - 9*u**3 - 22*u**3 - u. Let d be (1 + (-3)/9)/((-4)/6). Is x(d) a multiple of 7?
True
Does 28 divide 9262 - (96/28 - (-6)/(-14))*-2?
True
Let r(z) = -4*z - 72. Let n be r(-18). Let f(d) = -11*d + 943. Does 23 divide f(n)?
True
Is (-3123864)/(-42) + (-186)/(-651) a multiple of 260?
False
Suppose -17*u - 49 = -24*u, -4*x + 3*u = -43499. Does 128 divide x?
True
Suppose -25*f = -237 - 138. Suppose -6369 = -f*s - 189. Is 18 a factor of s?
False
Is 128 a factor of (-34 + 213 + 7)/((-2)/(-377))?
False
Suppose -608*i + 14800 = -606*i. Is 100 a factor of i?
True
Let r(a) = 40*a**2 - 83*a - 23. Is r(6) a multiple of 29?
False
Suppose 4*d + d = -z - 148, -4*z + 8 = 0. Let x(h) = -h**2 + 4*h + 213. Let c be x(15). Let a = d + c. Does 5 divide a?
False
Let f(o) = o**3 - 17*o**2 + 17*o - 8. Suppose -3*u + g + 9 = -36, 2*g - 6 = 0. Let p be f(u). Suppose 6*q + 256 = p*q. Does 26 divide q?
False
Let h = -22797 - -42016. Is h a multiple of 32?
False
Suppose 4*p - 8 = 4*c - p, 5*c + 2*p - 23 = 0. Let i(j) = -9*j**2 + j - 6. Let u(x) = 9*x**2 - 2*x + 5. Let f(t) = 5*i(t) + 6*u(t). Is 12 a factor of f(c)?
True
Let r be (-2)/(-17) + 1170/170. Suppose 8*p - r*p - 4 = 0. Suppose 0 = q - 5*z - 61, -3*q - q + p*z = -260. Is 6 a factor of q?
True
Is (-53427)/(-15) + 3/15 + (-3 - 0) a multiple of 4?
False
Let k(c) = -7*c**3 + c**2 - 2*c + 9. Let i(m) = -13*m**3 + 3*m**2 - 5*m + 18. Let z(s) = -6*i(s) + 11*k(s). Let y be z(6). Is 24 a factor of 12/y + -2 - -123?
False
Suppose -3*x + 5*w = -14187 + 1231, 0 = 4*x - 4*w - 17280. Is 47 a factor of x?
False
Suppose 25*g - 158646 + 70810 = 183039. Does 55 divide g?
True
Let c be -80 + 4/(2*-1). Suppose 2*k - x - 300 = 0, -3*x = -3*k + 761 - 305. Let y = k + c. Is 14 a factor of y?
False
Suppose 2*h = -3*h + 10. Suppose 15 = z + h*f + 5, 2*z = f. Suppose -5*d + z*i + 415 = 0, 5 = 2*i - i. Is d a multiple of 9?
False
Let m = -104 - -108. Suppose -140 - 308 = -m*v. Is v a multiple of 28?
True
Let z = -43 + 1290. Is z a multiple of 9?
False
Suppose 4*f = -4*i - 120, -178*f + 175*f + 72 = -3*i. Let h = -95 - 58. Let s = i - h. Is s a multiple of 6?
True
Suppose -2*z - 16 + 4 = 0, 2*z + 61437 = 5*f. Is f a multiple of 9?
True
Suppose -8*u + 5*u = 5*f - 8676, 3*u - f - 8694 = 0. Is u a multiple of 16?
False
Let y = -30060 - -45662. Is 10 a factor of y?
False
Let q = -117 - -119. Suppose -2*a + 2*o + 2*o = -114, -5*a = -q*o - 261. Does 3 divide a?
True
Is 94 + -91 + 15066/2 a multiple of 157?
True
Let l(q) be the third derivative of -q**5/60 - 13*q**4/6 - 109*q**3/2 - 159*q**2. Is l(-29) a multiple of 31?
False
Let c = 70 + 19. Suppose c = -10*r + 1739. Does 33 divide r?
True
Let t(q) = 4*q + 8. Let g be t(-1). Suppose g*f - 2*f - 898 = 0. Is 26 a factor of f?
False
Is 34208 - ((-55)/33)/((-5)/15) a multiple of 25?
False
Let p(j) = 2*j**3 + j**2 - 4*j + 151. Let k be p(0). Let v = 261 - k. Does 11 divide v?
True
Let x(k) = k**2 + 18*k + 6. Suppose 2*q - 4*f + 44 = 0, -4*f - 50 = 3*q - 4. Let z be x(q). Suppose z = t - 3. Does 2 divide t?
False
Suppose 7*f + 3820 = 9*f. Let t = f + -1090. Suppose -940 = -11*m + t. Is 28 a factor of m?
False
Let w = 102 + -102. Suppose -3*l - 10*l + 442 = w. Suppose -4*q = -4*b - 278 - l, -3*b - 154 = -2*q. Is q a multiple of 20?
True
Let y(s) = 172*s - 4. Let w be y(3). Let i = -480 + w. Does 16 divide i?
True
Suppose 66 + 39 = 5*g. Let z be (-8)/32 - (6/(-16))/(6/4). Does 7 divide 3/((-9)/g)*(z - 3)?
True
Let m(c) = 6355*c + 227. Does 90 divide m(2)?
False
Suppose -u - 104 = -46. Let h = -53 - u. Suppose -k - 379 = -4*i + 4*k, 2*i = h*k + 197. Is i a multiple of 7?
True
Suppose -5*j + 33 = 3*c, 16 + 13 = 5*j - c. Does 6 divide j - 1 - (-205 + 3)?
False
Let i = 123 - -5661. Does 8 divide i?
True
Let r be (314 - 1) + -6*4/8. Does 10 divide r - (-1 - (0 + 4))?
False
Does 22 divide (-164784)/(-7) + ((-8)/(-6))/((-259)/111)?
True
Let h be -3*(0 - 2) + -2. Suppose -2*t - 6 = -5*t + h*b, 0 = -3*t - b - 9. Is (2/t - -184) + (-42 - -39) a multiple of 13?
False
Let g = 309 - 389. Let f be ((-8)/10)/((-3)/15). Is 22 a factor of f/(g/(-605))*4?
False
Suppose -4*t + 3*a = -22, 5*t = -3*a + 6 + 8. Suppose 5*c = -t*k + 15, -c + 2 = k - 1. Suppose k = -3*q + 43 + 20. Does 7 divide q?
True
Let z be (5/(-2))/((-2)/4) + -3. Let b(m) = -6*m - 5 + 6*m + 5*m**z + 7*m + 20. Is b(-6) a multiple of 22?
False
Let o(b) = 172*b + 0 + 165*b - 2 - 342*b. Is 75 a factor of o(-24)?
False
Let d(w) = 26*w + 4. Let z be d(7). Suppose -21 = -3*s + z. Suppose s = 11*f - 85. Does 2 divide f?
True
Let i(j) = -5*j + 125. Let w(d) = -2*d + 5. Let l be w(-1). Is i(l) a multiple of 28?
False
Suppose -2*t - 14 = h + 18, 5*t + 5*h = -75. Let p(q) = 2*q + 36. Let c be p(t). Suppose c*y - 200 = -5*n + 510, 0 = -5*n + 4*y + 740. Does 16 divide n?
True
Let o(i) = 2*i**2 + 5*i - 1. Let d be o(-3). Let l = 212 - d. Does 30 divide l?
True
Let c = -39 - -39. Suppose 4*x - 3*g - 23 = -c*x, 31 = 3*x - 5*g. Suppose x*m - 40 = 68. Does 10 divide m?
False
Let h(y) = 363*y**2 - 2*y - 4. Let c be h(-2). Suppose 4*j + c = w, -8299 = -5*w + 2*j - 1093. Is w a multiple of 15?
True
Let r be (-612)/162 + -1 + 14/18. Let c(p) = 24*p**2 - 16*p + 1. Is 22 a factor of c(r)?
False
Suppose 0 = 5*d - s + 1, -8 = -4*d - 5*s - 3. Suppose d*q + q = 0. Suppose -290 = -5*l - 4*p, q*l - 221 = -4*l - p. Does 28 divide l?
False
Suppose -28*s = -25*s - 165. Is s a multiple of 5?
True
Let p be (-6)/(-4) + (-9438)/52. Does 8 divide (p/(-75))/(6/380)?
True
Let s(x) = -8*x + 130. Let u be s(18). Is (-3920)/u + (-1 - -1) a multiple of 40?
True
Let s be (14/(-1) - 0)*-1. Suppose 180*c + 18 = 186*c. Does 33 divide 45/(c - 0)*(-3 + s)?
True
Suppose u = -3*s + 2183, -5*s + 3*u = -659 - 2970. Does 32 divide s?
False
Let b(k) be the second derivative of 3*k**4/4 + 5*k**3/6 + 8*k**2 - 22*k. Is 31 a factor of b(-6)?
True
Let f(q) = -7*q**3 + 211*q**2 + 30*q - 56. Does 11 divide f(26)?
True
Let v = 16306 + -4414. Is v a multiple of 49?
False
Let z(a) be the second derivative of 17*a**4/4 + a**3/3 - 11*a**2/2 - 239*a. 