 be the first derivative of h**4/12 + 2*h**3/3 + 15*h**2/2 + 26*h + 33. Let u(f) be the first derivative of n(f). Does 6 divide u(0)?
False
Let y(s) = -7*s + 10*s - s**2 - 20*s - 8. Let b be y(-17). Is 19 a factor of (11/3)/(b/(-312))?
False
Suppose 2*b + 2 = -6, 2*z - b + 504 = 0. Let u = -128 - z. Is 6 a factor of u?
True
Suppose -226*f + 59809 + 1245080 = -196203. Is 54 a factor of f?
True
Let m = 18203 - 9649. Is m a multiple of 14?
True
Let y = -10121 + 13781. Does 15 divide y?
True
Suppose -x - x - 126 = 5*z, x = 5*z + 117. Does 35 divide 6*((-18)/z - (-269)/4)?
False
Let k(b) = -8*b - 8. Let j be k(-2). Suppose -470 = -j*y + 3*y. Let g = y - 58. Does 6 divide g?
True
Let p(m) = 2*m**2 - 12*m + 49. Let z be p(6). Suppose 2*l = 4*v - 79 - 47, -v + z = 3*l. Does 4 divide v?
False
Let y be 1*(-4 - -6) - 1617. Let w = -965 - y. Is 14 a factor of w?
False
Let a(h) be the first derivative of h**5/60 - 7*h**4/24 + 9*h**3/2 + 8*h**2 - 10. Let b(q) be the second derivative of a(q). Does 7 divide b(8)?
True
Let b(w) = 190*w - 8. Let z be b(4). Suppose 4*r - z = -4*r. Let s = r + -61. Is s a multiple of 12?
False
Let u = 43 + -15. Let k be (-2)/((-16)/u)*2. Suppose 342 = 5*p + 2*r, -3*p + k*p - 5*r - 300 = 0. Does 13 divide p?
False
Let n = -196 + 200. Suppose 0*i = i + n*o - 48, -4*o = -12. Is 6 a factor of i?
True
Let g(i) = 8*i**3 - 4*i**2 + i - 3. Let v be g(3). Let y(h) = 52*h - 110. Let r be y(4). Let p = v - r. Does 12 divide p?
False
Let q = 1214 - 2282. Is 49 a factor of 3 - (q/9)/((-16)/(-24))?
False
Suppose -6*b + 12*b - 164624 = -2*b. Is 139 a factor of b?
False
Let h = 131805 + -72449. Is 283 a factor of h?
False
Suppose 0 = 5*c + 47 + 73. Let r(t) = -t - 22. Let b be r(c). Suppose d - 4*u = b, 5*d + 7*u - 85 = 2*u. Is d a multiple of 14?
True
Let b = 3066 - 2706. Does 3 divide b?
True
Suppose 267*x + 528384 = 279*x. Does 128 divide x?
True
Let n(u) = -22*u + 1903. Does 22 divide n(42)?
False
Let w(p) be the third derivative of -p**5/20 + 23*p**4/24 - 3*p**3 - 13*p**2. Let k be w(10). Let o = k - -93. Is o a multiple of 5?
True
Suppose -61*k + 477 = -58*k. Let c = k - 141. Is c a multiple of 18?
True
Let h = 17 + 157. Let l = -93 + h. Is l a multiple of 81?
True
Let q = 4106 - 3797. Is q a multiple of 5?
False
Let y(k) = 32*k**2 - 3*k + 5. Let j be y(3). Suppose 15*c + 160 = -4*s + 13*c, -5*c = -2*s - 68. Let a = j + s. Is 18 a factor of a?
False
Let w(r) = 14 + 7*r - 90*r - 9. Let a be w(-2). Let k = a + -125. Does 11 divide k?
False
Suppose 31*f + 181027 = 1176437. Suppose 4*x - f = -22*x. Does 56 divide x?
False
Suppose -49*n = 67*n - 576636. Is 11 a factor of n?
False
Suppose 0 = 212*m - 371041 - 741323. Is 33 a factor of m?
True
Suppose d + 6 = 0, s + 2*d - 5605 - 1214 = 0. Is 11 a factor of s?
True
Let l be ((-5)/15)/(14/18) + (-11220)/(-1190). Suppose -5*q = -3*q, 5*d = q. Suppose d = -l*p + 43 + 659. Is p a multiple of 13?
True
Is 13 a factor of ((-132522)/(-117))/(2/6)?
False
Suppose -31 - 363 = -2*f. Suppose -1171 = -19*o + f. Suppose -3*k - 3*n + o = 0, -3*n + 3 = -0. Is 3 a factor of k?
False
Suppose s - 9 = m + 3*s, -4*s + 24 = -4*m. Let u(b) = 4*b**2 + 9*b - 8. Is 25 a factor of u(m)?
True
Let u(d) = 814 - 839 + 339*d - 40*d. Does 6 divide u(2)?
False
Suppose 276*g - 294*g = -12384. Is g a multiple of 2?
True
Let r = -5361 + 8927. Suppose -4*z + 3893 = 5*q + 330, -5*q - 3*z + r = 0. Does 55 divide q?
True
Let b = -13862 + 21536. Is b a multiple of 12?
False
Suppose -113904 = 26*s - 44*s + 70956. Does 10 divide s?
True
Suppose -4*h + 28395 = 11*h. Suppose h = -31*s + 6884. Is s a multiple of 20?
False
Suppose 4*f = -2*m + 62, -3*m + 27 = f - 41. Suppose -14*b - m = -315. Is b a multiple of 2?
False
Suppose p + 4*o + 17 = 0, -7*p - o = -2*p + 9. Let n(s) = -1099*s - 47. Is n(p) a multiple of 56?
False
Suppose 0 = 4654*d - 4627*d - 106650. Is d a multiple of 79?
True
Suppose 1482*w - 1483*w = 5*p - 12059, 4*p = 3*w - 36082. Does 24 divide w?
False
Let f = -36 + 40. Suppose -w + 2*j = -14, w = 5*j - 2 + f. Suppose -w*a + 26*a = 84. Is 3 a factor of a?
True
Let d(p) = -20*p + 1. Let s be d(-1). Suppose 20 = v + s. Is (v - 303/(-27)) + (-16)/72 a multiple of 5?
True
Suppose -y = -17 + 14. Suppose y*s + 4*j = 3192, 3*s + 2*j + 1064 = 4*s. Does 76 divide s?
True
Suppose 10*v - 50 = -15*v. Suppose a - 432 + 80 = -3*z, -v*z - 4*a = -218. Is 7 a factor of z?
True
Let k be 28*(-3)/(-12) + -2. Suppose -3*n + 3*g = -54, 5 = -0*g - k*g. Is 6 a factor of n?
False
Let v = 5936 - -601. Does 45 divide v?
False
Let o(y) = y - 9. Let j be o(5). Is 7 a factor of (-280)/(-10)*(-9)/j?
True
Suppose 0 = q - 5*c + 36, 5*q + 3*c + 36 = -32. Let x = -18 + q. Does 13 divide (x/(-8) - 1)*20?
True
Let p(b) = 13*b - 217. Let h(v) = 13*v - 213. Let k(d) = -5*h(d) + 4*p(d). Is 13 a factor of k(-14)?
False
Suppose 38*i - 14*i - 7*i - 482273 = 0. Is i a multiple of 79?
False
Let o be (-12)/(-6)*3/(-2) + 90. Does 24 divide 12/(-45)*12*(-3 - o)?
True
Let y(j) = -233*j**2 + 6*j + 17. Let l be y(-3). Is (l + 7 - -7)/(-4) a multiple of 5?
False
Let w(l) = 4*l**2 - 28*l - 260. Does 15 divide w(20)?
True
Let z(u) = 24*u**2 - 5*u - 17*u**2 - 27*u**3 + 28*u**3 - 3. Is z(-7) a multiple of 8?
True
Let i(p) = p**2 - 5*p + 11. Let a be i(4). Suppose 3*x + a*x - 120 = 0. Is (-27)/x*(-3872)/33 a multiple of 47?
False
Suppose -11*b - 15 = -48. Let r(h) = 70*h**2 + 13*h - 45. Does 16 divide r(b)?
True
Let n(t) = t**2 - 14*t - 6. Let w be n(9). Let b = -40 + w. Let c = 154 + b. Does 29 divide c?
False
Suppose 2*w = 2*f - 8426, 2*f = -384*w + 381*w + 8426. Is f a multiple of 11?
True
Let w(n) = n. Let a be w(4). Suppose -3*y - a = -2*q, -4*y + 5*q - q = 4. Is (-6 - (-229 - -3))*y/(-5) a multiple of 11?
True
Let q(l) = l + 29. Let h(o) = 7*o - 2. Let w be h(-2). Let p be q(w). Let u = 99 + p. Is 42 a factor of u?
False
Let j(w) = 7*w**2 - 1 - 1 + 1 + 3*w. Let t(m) = m**3 + 19*m**2 - 44*m - 46. Let b be t(-21). Is 10 a factor of j(b)?
False
Let g(y) = -y**3 - 27*y**2 + y - 112. Is 2 a factor of g(-28)?
True
Let l(t) = 147*t + 4146. Is l(79) a multiple of 153?
True
Suppose 12*w = -2*u + 7*w + 917, 0 = 2*u - 4*w - 908. Suppose 0 = -5*i + 4*r + u, 4*r = -2*i + 177 + 11. Does 23 divide i?
True
Let r(p) = 26*p - 8. Let u = 59 + -48. Let v be r(u). Let a = -153 + v. Does 25 divide a?
True
Let b(g) = -33*g + 2. Let l be b(-1). Let f = -33 + l. Does 31 divide -2 + 0/f + 53?
False
Let b(c) = -c**2 - 86*c + 669. Is b(-88) a multiple of 29?
True
Suppose 5*j + 2*p - 792 = -2*p, 3*j = 3*p + 459. Let k = j + -42. Is k a multiple of 5?
False
Suppose -50*s = -8*s + 378. Let c(x) = 13*x**2 - 2*x + 69. Is c(s) a multiple of 76?
True
Suppose -4*q + 2*q = 2*r - 12, -4*q = -4*r + 16. Let u be ((-7)/(21/(-4)))/(q/(-30)). Is 5 a factor of (-2)/(-8) - 2390/u?
True
Let h(w) = 23 - 26*w + 49 + 27*w. Does 6 divide h(26)?
False
Let p(c) = 5284*c - 1881. Is p(1) a multiple of 11?
False
Suppose -3*h - 31 = -67. Let u be (-6015)/(-90) + 2/h. Suppose -11 - u = -2*c. Does 6 divide c?
False
Suppose -3*s - 3*j + 15 = 0, j - 13 = -4*s + 7. Suppose -s*t + 20 = 0, -16 + 40 = -2*p + 3*t. Let o(n) = -14*n + 42. Is 25 a factor of o(p)?
False
Suppose -95 = -h + 5*a + 11, 4*a + 212 = 2*h. Let g be 12/(-30)*5 - 83. Let p = h + g. Is p even?
False
Suppose 2*n - g = -2*n + 57, 0 = 4*g + 20. Suppose -n*w + 9*w = -8, d - 10 = 3*w. Is 9 a factor of (d/(-5))/((-21)/945)?
True
Let z(m) = 4*m**3 - 8*m**2 + 2*m + 40. Let g be z(9). Suppose 3*v - 1744 = 2*p, g = -13*v + 17*v - 3*p. Does 58 divide v?
True
Let q(i) = 2*i - 10. Let y be q(4). Let j be (3*(-50)/(-15))/y. Is 13 a factor of (j + (-41)/(-3))*(-1 - -4)?
True
Suppose 0 = 9*f - 3 - 15. Suppose -2*l - 5*s = -597, -f*l - 4*s = -7*l + 1575. Is 31 a factor of l?
False
Suppose -32*k = -44*k - 1788. Let r = k + 235. Is r a multiple of 43?
True
Suppose 3*b + 16 = -b, -4*b = 4*p - 212. Let a = p - 59. Does 10 divide 403/26 - 1/a?
False
Let j = 43707 + -29435. Does 36 divide j?
False
Suppose 7 + 1 = 2*a. Suppose -9*t + a*t = -30. Let c(o) = 9*o - 2. Is 13 a factor of c(t)?
True
Let g(q) = 148*q**2 + 17*q + 3. Let v be g(3). Suppose v = 6*n + n. Is n a multiple of 8?
False
Suppose -98*d + 16*d + 1056078 = 0. Is d a multiple of 12?
False
Suppose 0 = -4*g - 8, 3*u - 3*g + 4*g - 4 =