et n(d) be the second derivative of 11*d**4/12 + 2*d**3/3 + 9*d**2/2 - d. Let q(z) = -12*z**2 + 120*z + 3. Let o be q(10). Does 40 divide n(o)?
True
Let b(h) = -467*h**3 - 11*h**2 - 23*h - 35. Is 14 a factor of b(-3)?
True
Suppose 0 = -3*p - 4*u + 389, -3*p + 4*p - 5*u - 117 = 0. Is 3 a factor of 1*p + (10 - (6 + 1))?
False
Is 22 a factor of (3 + 7667/(-5))/(0 - 3/15)?
False
Suppose -4*z - 8 = -5*y + 24, 9 = -3*z. Suppose 5*u - y = 21. Suppose -u*o - 4 = -14, 4*c + 3*o - 1070 = 0. Is c a multiple of 19?
True
Suppose -3*l - 4*s = -20031, -2*l - 5*s = -21091 + 7744. Does 131 divide l?
True
Let y(i) = i**2 + 4*i - 22. Let d be y(-9). Let f(x) = d + x**3 + 18*x**2 - 2 + 21*x + 4*x**2 - 5. Is f(-21) a multiple of 16?
True
Let c be (-2 - 124/(-8))/(2/116). Suppose 1215 = -c*y + 788*y. Does 5 divide y?
False
Suppose 2*p - 303 = -10*w + 15*w, -3*w + 3 = 0. Is p a multiple of 22?
True
Suppose 8205*o = 8241*o - 104472. Does 120 divide o?
False
Suppose -21*h - 4*h = 5*h. Suppose h*n + 912 = 4*n + 2*w, -2*w = -2*n + 456. Does 76 divide n?
True
Suppose b = 4, -2*i + 2*b = 5 - 25. Is (8 - 2)/(i/91) a multiple of 39?
True
Suppose 169*g - 172*g + 9 = 0. Suppose 0 = g*n + 259 - 2395. Does 13 divide n?
False
Let c be (4/(-2))/((-12)/(-7)) - 531/(-3186). Let o be (-29)/2 - 2/4. Is 21 a factor of (1764/o)/c - (-2)/5?
False
Let d(r) = -r**3 - 8*r**2 - 4*r - 2. Let g be -6 - 1*(4 + -5). Let x be d(g). Let f = 131 + x. Is 5 a factor of f?
False
Let r(h) = -344*h**3 - 16*h**2 - 16*h - 20. Is r(-4) a multiple of 46?
True
Let k(a) = 4*a**2 + 13*a + 12. Let y be k(-5). Suppose 32*m - y*m = -2715. Does 59 divide m?
False
Suppose 2*w + 55554 = 2*p, 4*p + 0*p + 6*w - 111098 = 0. Does 124 divide p?
True
Let v = -689 + 779. Suppose -v*b + 95*b + 4205 = 5*m, 3*b = -3. Is m a multiple of 60?
True
Let q be (6/4)/((-6)/(-72)). Let l = q - 13. Suppose 4*g + 107 = c + 22, g + l = 0. Is c a multiple of 28?
False
Suppose 760 + 3656 = 8*d. Let z = 1089 - d. Does 14 divide z?
False
Suppose 2*g - 26 = -5*q, 51 = 5*g - q - 41. Let s(v) = 4*v**2 - 29*v - 9. Does 5 divide s(g)?
True
Suppose 3*h + 2*h - 5*y = 5, 5*y - 5 = 0. Let b be -382*h/(-4) + (-2 - 1). Suppose 0 = -3*u + b + 127. Does 15 divide u?
True
Suppose 281 = -5*o + n + 1225, 0 = -o + n + 188. Suppose 490 = -o*t + 196*t. Is t a multiple of 3?
False
Let f(r) be the first derivative of -26*r + 7 - 31/2*r**2. Is f(-6) a multiple of 27?
False
Let l(h) = -h**3 + 14*h**2 - 9*h - 8. Suppose c + 14 = 5*x - 31, 2*x + 5*c + 9 = 0. Is l(x) a multiple of 19?
True
Let n(z) = 11*z + 10. Let j = 143 + -143. Suppose -185*d + 183*d + 18 = j. Is n(d) a multiple of 25?
False
Let d be ((-1180)/(-1))/(-4) - -5. Let t = -246 - d. Is t a multiple of 11?
True
Is -22 + ((-20623500)/18)/(-25) a multiple of 14?
True
Let s = 13850 + 5263. Is 49 a factor of s?
False
Suppose -17 = 23*k + 98. Let j(m) = -m**3 + m**2 + 5*m + 8. Does 19 divide j(k)?
True
Suppose 6721 = 25*n - 23*n - 3*k, -16816 = -5*n + 3*k. Does 58 divide n?
False
Let q(n) = n**3 + 15*n**2 + 13*n + 20. Let j be q(-14). Suppose -18*w + j*w = 17472. Is 21 a factor of w?
True
Let m = 734 + -512. Let i = 432 - m. Let x = -119 + i. Is x a multiple of 17?
False
Let f(c) = 318*c**2 + 8*c - 7. Is 17 a factor of f(-4)?
True
Let m be 48/(-9)*(-3)/4. Suppose 191 = 3*u - m. Is (u - 0) + -4 + 3 a multiple of 14?
False
Is 10 a factor of (1 - 806)/(8/(-48)*3)?
True
Suppose 0 = -27*v + 20 + 115. Is 23 a factor of 2/(4020/(-805) + v)?
True
Suppose 553*k - 590*k = -1343988. Is k a multiple of 18?
True
Let j = 102 + -5. Let l = j + -71. Suppose -19*a + l*a = 364. Is a a multiple of 13?
True
Let r = -2057 - -3769. Does 107 divide r?
True
Let j = -270 + 252. Let k(s) = 3*s**2 + 29*s + 80. Is 32 a factor of k(j)?
False
Let o(p) be the first derivative of -p**5/120 + 19*p**4/24 + 43*p**3/3 + 29. Let m(s) be the third derivative of o(s). Does 5 divide m(6)?
False
Let g(a) = -a**3 + 73*a**2 + 167*a - 157. Does 14 divide g(74)?
False
Suppose 4*b = 4*o - 2868, 0 = 6*o - 2*o - 5*b - 2867. Suppose -t = -o - 175. Does 10 divide t?
False
Let t be (-9*3/(-15))/((-31)/(-310)). Suppose -322 + 16 = -t*g. Is 2 a factor of g?
False
Let m(q) = -q**2 + 9*q + 6. Let x be m(6). Let k be (-184)/(-28) + 12/(-21). Suppose -y + x = -k. Is 5 a factor of y?
True
Let q = 38 - 35. Suppose q*v - 3*h = -4 + 7, -5*h = 5*v - 35. Suppose -4*w + 3*g + 9 = -16, -v*g = -4. Is w even?
False
Let g = -1001 - -1051. Let r = -2 + 5. Suppose -g = -r*t + 4*x, -5*t = 2*x - 42 - 50. Is 9 a factor of t?
True
Let k = -16226 + 27176. Does 25 divide k?
True
Suppose 12*h - 11*h - 5 = 0. Suppose 141 = i - 3*b, 3*i - h*b - 413 = -b. Suppose -2*a + i = 35. Is a a multiple of 10?
True
Is 124 a factor of (-175)/150 + 213577/42?
True
Is 23 a factor of (-1055811 + 27)/(-24) - (2 - 0)*-4?
True
Suppose 5*t - 6 - 4 = 0. Suppose 0 = -t*a + 3*a - 12. Is a a multiple of 3?
True
Let w = -50874 + 89117. Is 329 a factor of w?
False
Suppose 8*n - 11*n - 288 = 0. Suppose -2*z = 3*w - 267, z - 291 = -z + 5*w. Let x = n + z. Is 7 a factor of x?
True
Let f(k) = k**3 + 5*k**2 + 3*k + 9. Let b be f(-4). Does 34 divide b/52 - ((-24460)/16)/5?
True
Let a = 2336 + 1470. Does 22 divide a?
True
Let o(z) = 879*z**3 - 10*z**2 + 2*z + 4. Does 40 divide o(2)?
True
Let a(i) = i**3 - 9*i**2 - 26*i + 13. Suppose 0 = -4*o + 7*o - 33. Let j be a(o). Let d = j + 61. Is 7 a factor of d?
False
Suppose 0 = -165*y + 241644 + 47931. Is 9 a factor of y?
True
Let d(a) = -a**2 + 9*a - 5. Let j be d(8). Let w(t) be the third derivative of t**6/40 + t**5/60 - t**4/4 - 2*t**3/3 - 22*t**2. Is w(j) a multiple of 17?
True
Let c be ((-10)/(-6))/(637/(-105) + 6). Does 15 divide (3 + c/5)/(2/(-614))?
False
Suppose 5*y + 1710 = o + 116, 1582 = o - 2*y. Let f = o + -585. Does 55 divide f?
False
Suppose 6*f + 2*n - 25020 = 0, 78*n - 4150 = -f + 81*n. Is 2 a factor of f?
True
Let x = 1075 - 164. Does 2 divide x?
False
Suppose 3*y = p - 4*p - 162, -2*p = -2*y - 124. Let w = 100 + y. Let d = 3 + w. Is d a multiple of 5?
True
Suppose 0 = -q - b - 4*b, -2*b = -q. Suppose -2*w + 184 + 234 = q. Is w a multiple of 15?
False
Let d = -10 - -12. Let i(t) be the second derivative of 2*t**5/5 - 5*t**4/12 + t**3/6 + t**2/2 - t + 278. Does 7 divide i(d)?
False
Let f = 68 - 64. Suppose 0 = z - 0 + 3, -f*a - 2*z + 238 = 0. Suppose -3*d - a = -4*n, -n + 4 + 24 = -5*d. Is 2 a factor of n?
False
Let y be ((-6)/(-9))/((-4)/1986). Suppose 4*j - 10 + 37 = b, -4*j - 22 = -2*b. Is y/(-3) - (j/(-6))/(-2) a multiple of 37?
True
Suppose n - 6525 = -4*p, -4*n - 323*p + 26134 = -324*p. Is 84 a factor of n?
False
Let q = 13844 + -7266. Is q a multiple of 13?
True
Let f(g) = -7*g**3 + 2*g**2 + 15*g - 11. Let t(h) = -13*h**3 + 5*h**2 + 30*h - 21. Let d(y) = 11*f(y) - 6*t(y). Let c = -188 - -198. Is 9 a factor of d(c)?
False
Suppose 4*r - 1640 = -120. Does 29 divide r?
False
Is 50683*2/14 - (-2)/(-126)*-36 a multiple of 13?
True
Suppose -4*u + u = -2*f + 1, 0 = 5*u + 2*f - 9. Let z be (-2)/(-6) - (u + (-38)/3). Suppose x = 5*a + 3*x - 95, -a + x = -z. Is a a multiple of 4?
False
Let c = 22 + -17. Suppose -4*x = -2*v + 116 + 78, 20 = -c*x. Suppose -87*d = -v*d + 74. Is d a multiple of 4?
False
Let q(o) = -20 + 3*o**2 + 7*o + 13*o - 40. Is q(-13) a multiple of 5?
False
Let v(i) = i**2 - 23*i - 741. Is 3 a factor of v(69)?
True
Let x(g) = 4*g**2 + 10*g + 24. Let l(p) = p**3 + 21*p**2 - 20*p + 35. Let n be l(-22). Is x(n) a multiple of 48?
False
Suppose -3*v = -7*v + 520. Suppose -30*h = -35*h + v. Is h a multiple of 13?
True
Let d(t) = -18*t**3 - 8*t**2 + 23*t + 85. Is d(-4) a multiple of 2?
False
Let c be ((-15428)/87)/(4/(-6)). Suppose -k = -3*j + 76 - c, 0 = -3*j + 6. Is 14 a factor of k?
True
Suppose -4328 - 15166 = -19*o. Is o a multiple of 18?
True
Suppose 45*y = 25*y + 106920. Is y a multiple of 9?
True
Let v(z) = z**2 + 17*z - 24. Suppose 139 = 8*d - 5. Let j = d - 42. Is 14 a factor of v(j)?
False
Let l = 9 + -6. Let j(q) = 34 - q + 4*q - l*q - q. Does 18 divide j(8)?
False
Let n(x) = -x + 105. Suppose -2*g - t = 4, -4*g + 20 = -5*t - 0*t. Suppose g*d + 3*d = 0. Is n(d) a multiple of 35?
True
Suppose 270*m - 298*m = -3528. Suppose h + 0*h = 38. Is 5 a factor of (h/(-6))/((-7)/m)?
False
Let u(k) = 4*k**3 + 17*k**2 - 19*k - 23. Is 2 a factor o