Does 28 divide n?
True
Let h(v) = -4*v + 22. Let x be h(5). Let g(r) be the second derivative of 17*r**5/20 + 2*r**3/3 - 5*r**2/2 - r. Does 28 divide g(x)?
False
Let j(v) be the first derivative of -v**3/3 + 9*v**2 + 7*v - 25. Let k be ((-24)/(9/(-6) - 0))/2. Is j(k) a multiple of 29?
True
Is 28 a factor of 4 - -5 - (-41142)/4*2?
True
Let z = 66 + -61. Suppose -a + 2229 + 647 = z*r, a = -2*r + 1148. Let c = r - 396. Is 9 a factor of c?
True
Suppose 0 = -k + 792 + 4701. Is k a multiple of 8?
False
Let g = 21308 - 11672. Does 73 divide g?
True
Let k(x) = -x**3 + 41*x**2 - 144*x + 100. Is 4 a factor of k(8)?
True
Let y = 3231 + -1041. Suppose -736 = -14*f + y. Does 9 divide f?
False
Suppose -5*s = -t + 10943, -t = 3*s - 15873 + 4962. Is t a multiple of 30?
False
Does 17 divide (1335/(-2))/(2895/(-2316))?
False
Does 51 divide (-4381)/78*-227 - 3/(-18)?
True
Let h = -29381 - -37623. Is h a multiple of 2?
True
Let v = -13343 - -15097. Is 17 a factor of v?
False
Let z be 194/(-3) + (705/45 - 15). Does 14 divide 256/z*(-1 + (-958)/8)?
False
Let m be 0 - 1*(0 + -2). Suppose 160 + 1065 = m*g - 3*f, 5*g - 4*f = 3045. Is 44 a factor of g?
False
Let l be (2 - (-24)/(-8))/((-1)/4). Suppose 0 = -l*m + 823 - 15. Suppose -22*i + m = -21*i. Does 33 divide i?
False
Suppose 0 = -6*s + 89050 - 23410. Is s a multiple of 88?
False
Suppose -5 = -5*l + 5. Let k(a) = 8*a**3 + a**2 + a + 1. Let r(i) = 37*i**3 + 7*i**2 + 4*i + 3. Let o(v) = 5*k(v) - r(v). Is o(l) a multiple of 5?
True
Suppose 5*v = -5*m + 1 - 21, 4*m = -v - 13. Is (v - -3) + 604 - -7 a multiple of 11?
False
Let n be -7 + (-520)/(-56) + 2/(-7). Suppose 0 = n*g + 3*k - 1, 2*g + 10 = 6*g - 2*k. Suppose 2*p + 43 = 3*p - g*t, 3*p = -t + 94. Is p a multiple of 33?
True
Let o(z) be the second derivative of z**5/20 - z**4/2 + 3*z**3/2 + z**2 + 27*z - 2. Is 3 a factor of o(7)?
True
Let i(l) = -2*l**3 + 9*l**2 + 5*l + 18. Is i(-9) a multiple of 72?
True
Let g(o) = 5153*o - 1102. Does 11 divide g(4)?
False
Suppose 8*h - 9321 = -3681. Suppose h = -20*u + 5385. Is 13 a factor of u?
True
Let u(f) = -2*f - 39. Let z be u(-21). Suppose z*p - 175 = 2*p. Suppose -5*o - 3*w + p = 0, 66 = 2*o + 3*w - w. Is o a multiple of 27?
False
Let z(t) = -t**3 - 26*t**2 - 12*t - 58. Suppose 5*x + 25 = 0, -v = -4*v - x - 83. Let h be z(v). Suppose -u = -32 - h. Does 52 divide u?
False
Let y = -308 - -289. Let k(c) = -2*c**3 - 39*c**2 - 27*c - 26. Is k(y) a multiple of 11?
False
Suppose 0 = -2*x - 0*x. Suppose x - 22 = -c. Suppose -c = -y + 12. Does 6 divide y?
False
Is 1/(8/(-36) + 2410/10440) a multiple of 30?
False
Let u(q) = 17425*q**2 - 12*q - 2. Is 103 a factor of u(-1)?
False
Let s(l) = 81*l - 8. Does 10 divide s(79)?
False
Let p(s) = -s**3 + 8*s**2 - 7*s - 2. Let l be p(7). Let n(y) = -41*y**3 + 6*y**2 + 8*y + 3. Let w be n(l). Suppose -14*k + w = 3. Is k a multiple of 6?
True
Suppose -b + 2122 = 4*s, -3*b + 8411 - 2090 = 3*s. Suppose d - 422 = n, 3*n = 5*d + 6*n - b. Is 27 a factor of d?
False
Suppose -242 - 238 = -5*h. Suppose 5*j + 2*u = h, u = 5*j - u - 84. Does 13 divide j?
False
Suppose -68 = -q - 251. Let z = 351 + q. Is 42 a factor of z?
True
Suppose -13*h + 9*h = 2*b - 1966, 0 = h - b - 496. Suppose -5*s = 5*x - 2295, 0 = 3*s + 2*x - h - 889. Does 29 divide s?
True
Let y = 60 + 30. Suppose -11*u + y = -20. Is u*-5*(-8)/20 a multiple of 5?
True
Let h(w) = -8*w**2 + 161*w + 16. Let l be h(20). Suppose 44*x - l*x - 1168 = 0. Is x a multiple of 11?
False
Let n(f) = -3*f - 1. Let i be n(-2). Suppose -i*m = -0*m, m = -r - 3. Does 17 divide r + -2 + 22 + 0?
True
Let z(v) = -396*v + 213. Does 23 divide z(-7)?
False
Suppose z - 2*a = -a + 4, 11 = 3*z - 2*a. Let w(s) = -5*s + 41. Let j be w(0). Suppose -j = -d + z. Is d a multiple of 11?
True
Let m(d) = d**3 + 8*d**2 - d - 6. Let l be m(-8). Suppose 5*i + 5*q - 15 = 0, -l*q - 3 = q. Suppose 7*h - 126 = i*h. Is 14 a factor of h?
True
Suppose -1462*z - 409473 = -1553*z + 177750. Is 8 a factor of z?
False
Let k(u) = 40*u - 161. Let c(q) = -159*q + 645. Let i(d) = -2*c(d) - 9*k(d). Does 35 divide i(-9)?
False
Let j be (-6)/(-36) + 1887/18. Let g = 113 - j. Let c(u) = 22*u + 3. Is 19 a factor of c(g)?
False
Let c = 4448 - -1465. Is 73 a factor of c?
True
Suppose -33*v = -23*v + 87*v - 532336. Is v a multiple of 16?
True
Suppose 8085 = -10*h - 11*h. Is 37/((-286)/h + (-6)/10) a multiple of 7?
True
Let t(j) = -j**3 + 125*j**2 - 412*j + 660. Is t(121) a multiple of 44?
True
Suppose 0 = -3*r + 18, 4*r + 5727 + 17753 = 4*f. Is 7 a factor of f?
False
Suppose -12*p + 17388 = 2*p. Suppose 0*n = 18*n - p. Is n a multiple of 4?
False
Suppose 8*c - 150 = 122. Suppose -c*s + 180 = -29*s. Let d = s + -25. Is d a multiple of 2?
False
Suppose -12*g - 185 = -13*g. Let n = g - 175. Does 5 divide n?
True
Suppose -4*m - 5 = -9*m + 5*x, 0 = -2*m - x + 11. Suppose m*v + 86 = -4*h + 5*h, 364 = 4*h + 4*v. Is 9 a factor of h?
True
Let a = 2895 - 2607. Is a a multiple of 24?
True
Let f be ((-690)/(-25))/(9/330). Suppose 0 = 6*l - f - 716. Is 32 a factor of l?
True
Suppose -36 = -7*k + 20. Suppose -3*r - k*r = -8470. Does 35 divide r?
True
Suppose -k - 5784 = -4*m + 4*k, m - 1437 = -k. Suppose -28*o + m = -17*o. Is o a multiple of 15?
False
Suppose 0 = 17*i + 1291 - 63375. Is i a multiple of 17?
False
Let o(x) be the second derivative of -x**5/20 - 3*x**4/4 + 7*x**3/6 + 4*x**2 + x. Let j = 127 + -137. Does 16 divide o(j)?
False
Let f(u) = 43*u - 212. Let d be f(5). Suppose 0*q = q. Suppose 2*v - d*v - 155 = -3*k, q = 2*k + v - 105. Is 26 a factor of k?
True
Let f(p) = 7*p**2 + 14*p - 5. Let u be f(-17). Suppose 9*r = -r + u. Does 69 divide r?
False
Let q be -13799 + (-2 - -1)/(1 - 0). Is q/(-66) - (-5)/(-55) a multiple of 11?
True
Let j(n) = -n**2 - 43*n - 10. Let m(i) = -i**2 + 11*i + 46. Let w be m(15). Let z be j(w). Suppose 103*s + z = 106*s. Is 22 a factor of s?
True
Let o be (-5)/(-20)*(77 - 1). Suppose -2*m + o*s = 17*s - 1400, 2*s = 0. Does 25 divide m?
True
Suppose 2*k - 10367 = -5*g + 4133, -2*g + 29032 = 4*k. Is k a multiple of 114?
False
Suppose 118*g + 85*g = 985113 - 75876. Is g a multiple of 59?
False
Suppose 6*f - 6 = 132. Let y = f + -54. Let m = y + 36. Is m a multiple of 4?
False
Suppose -40*v - 12 = -43*v. Suppose v*a + 745 - 1117 = 0. Is a a multiple of 7?
False
Suppose -174*n + 1843911 + 2193819 = 863796. Does 29 divide n?
True
Is 1/((-12)/((-192)/40))*(182 + 3) a multiple of 37?
True
Let s = 47 + -35. Suppose n + s*l - 17 = 9*l, -5*n = -4*l - 9. Suppose 0 = -n*h - 126 + 1166. Does 21 divide h?
False
Let q = -2968 - -9180. Is q a multiple of 8?
False
Let y = 25 - 33. Let p be (10 + -1)*y*(-3)/18. Suppose -p*j + 4070 = 1478. Is 40 a factor of j?
False
Let p be -3 - (4/10 - (-3388)/55). Is p/(-78) - (-817)/6 a multiple of 7?
False
Suppose 431*o - 99 = 428*o. Suppose 35*n - 1036 = o*n. Is n a multiple of 29?
False
Let x be -2 - -107*28/7. Let u = -370 + x. Is u a multiple of 28?
True
Let p(m) = -5*m**2 + 28*m + 13. Let h be p(6). Let r(z) = 927*z**3 - z**2 + 4*z - 2. Does 58 divide r(h)?
True
Is 149 a factor of (2 - 9998)/(14/(-7))?
False
Let u(l) = -4*l**2 + 47*l - 31. Let b be u(11). Suppose 0 = -3*q + 4*o + 488, 3*q - b*o - 478 = -0*q. Is q a multiple of 12?
True
Suppose -3*x - 3*l = -69, -6*x - 5*l + 58 = -4*x. Let q = 24 - x. Suppose -q*o + 8*o = 42. Does 5 divide o?
False
Suppose -33*s + 28*s + 2529 = 2*w, 0 = 3*w - 4*s - 3736. Does 24 divide -2 - w*3/(-6)?
True
Let u be (6/(-5))/((-20)/50). Suppose -1128 = -3*p - 3*f, u*p + 4*f - 320 = 808. Suppose 0 = 3*a - 5*a + p. Is a a multiple of 23?
False
Is (1 - (2 + 0)) + (-1 - -6681) + -19 a multiple of 6?
True
Let d(v) = -1205*v - 12062. Does 28 divide d(-22)?
True
Let w(g) = 3467*g - 11. Let q be w(1). Suppose -q = -2*t - 6*t. Does 8 divide t?
True
Let d(z) = 1445*z - 169. Is d(1) a multiple of 77?
False
Let j = 377 - 292. Suppose j + 191 = 2*w. Does 18 divide w?
False
Suppose -5*y + 36637 = -d, -17086 + 46383 = 4*y + d. Does 66 divide y?
True
Let n = 7 - -4. Suppose 0 = -f - 5*d + 17, 4*d = 2*f - d + n. Suppose 800 = -f*w + 10*w. Is w a multiple of 6?
False
Let g = -35 - -38. Suppose 3*q + g*t - 18 = 0, t + 0 = -2. Suppose -94 + q = -c. Is 43 a factor of c?
True
Is 17 a factor of ((-80)/28 - -2)/((-8)/28) - -405?
True
Suppose 65*j - 3