29. Let d = 30 - s. Suppose -2*j + 323 = -3*p, 613 = -d*j + 4*j + 5*p. Does 19 divide j?
False
Let n be -37 + 42 + (0 - -1). Let p(r) = 9*r**2 - 11*r + 1. Does 8 divide p(n)?
False
Suppose 4*z - 3 = -3*x + 26, -1 = 3*x - 2*z. Suppose 3*p = -5*a + 174, 2*p - 72 = 31*a - 33*a. Suppose -57 = -4*u - t - 2*t, -x*u + a = -t. Does 6 divide u?
True
Let k(c) be the second derivative of 17*c**4/4 - c**3/6 - c**2 + 116*c. Is k(-1) a multiple of 10?
True
Let p(w) = 3*w**2 + 2*w + 2. Let i(k) = -k**2 + 5*k - 3. Let o = -28 + 33. Let c be i(o). Is p(c) a multiple of 6?
False
Suppose 0 = 56*d - 34*d. Suppose 5*p - 121 - 2734 = d. Is 27 a factor of p?
False
Suppose -4*g = -5*v - 1617, -g + 67*v - 72*v = -423. Is g a multiple of 2?
True
Suppose -57301 = -3*b - 2587. Suppose -2552 = -33*q + b. Is q a multiple of 70?
True
Is (-56 + -4)/(((-130)/(-3003))/(-10)) a multiple of 15?
True
Suppose -33*n - 705 = -30*n. Let q = n - -348. Is 7 a factor of q?
False
Is (16 + (-232)/16)/(1/314) a multiple of 10?
False
Let b be -529 + -1 + 0/(-68). Let j = b + 810. Is j a multiple of 40?
True
Let i(y) = -1. Let v(l) = 2*l**2 - 54*l - 21. Let p(d) = -4*i(d) + v(d). Is p(28) a multiple of 3?
True
Let w(r) = -27*r. Is 27 a factor of w(-3)?
True
Let k = 26697 + -26105. Is 74 a factor of k?
True
Let j(u) = -48*u + 443. Is 5 a factor of j(-12)?
False
Let x(c) = 25*c + 102. Let o be x(-15). Does 9 divide 156/o + (-5205)/(-7)?
False
Does 21 divide -159*(-20 + 0 + 13)?
True
Suppose -7*g - 4840 = -3*k - 5*g, 0 = k - 4*g - 1630. Let f = -1070 + k. Does 89 divide f?
False
Suppose -11750 = 194*i - 244*i. Is 113 a factor of i?
False
Let a(w) = 16*w + 47. Let r be (-56)/21*(-5)/((-15)/(-18)). Is a(r) a multiple of 57?
False
Suppose -43*l + 272810 + 66718 = 0. Does 24 divide l?
True
Let h = -394 - 20. Let m = 805 + h. Does 23 divide m?
True
Let n(h) = 1768*h + 72. Is 168 a factor of n(3)?
True
Let h = 72862 + -43135. Does 157 divide h?
False
Suppose 5 = -h, 0*h + 2*h + 13 = z. Suppose z*x - 39 = -0*j + j, -52 = -4*x + j. Suppose -x*p + 19*p = 42. Is p even?
False
Let f(k) = 14*k**2 + 18*k. Suppose -3*r - 50 = -5*c, 2*r = -4*c - c. Is 49 a factor of f(r)?
False
Let k(d) = d**2 + 5*d - 6. Let t be k(-6). Let y be (2/6*t)/(-1). Suppose y*h = h - 112. Does 14 divide h?
True
Let f = 21251 - 11286. Does 42 divide f?
False
Let u(t) = 3091*t**2 - 15*t. Is u(-1) a multiple of 230?
False
Suppose 0 = v + q - 20016, 4*v - 8*q - 80061 = -9*q. Is v a multiple of 13?
False
Let y(f) be the second derivative of f**5/20 - 2*f**4/3 + 5*f**3/3 + 5*f**2 + 27*f. Let k be -1 + ((-4)/(-1) - -5). Does 18 divide y(k)?
True
Suppose 3*k - 44 = 2*o, 2*o + o + 72 = 5*k. Let t be (2/2)/((-4)/k). Does 15 divide (-1)/(t/381*1)?
False
Suppose 0 = 2*a + 2*n - 6*n + 858, 5*a = 4*n - 2127. Let c = a - -709. Does 30 divide c?
False
Let f(n) = -4*n + 20. Let o(s) = 4*s - 21. Let j(z) = 3*f(z) + 4*o(z). Let l be j(-6). Let i = l - -113. Is i a multiple of 14?
False
Let t be (36/(-42))/((-1)/1043). Suppose 22*w = 28*w - t. Does 4 divide w?
False
Suppose -y + 218 = 2*r - 0*y, 3*r = -3*y + 324. Let v = 68 + r. Suppose -8*w + v = -142. Is 25 a factor of w?
False
Let w(m) = -m**3 + 41*m**2 - 84*m + 430. Does 10 divide w(35)?
True
Let q = 3436 + -1889. Does 14 divide q/7 - 3*-1?
True
Suppose 0 = -4*d + c + 21, -2*d = d + 3*c - 12. Suppose -4*m + d = -3. Suppose -m*y - y = -276. Is y a multiple of 23?
True
Let q = 43236 + 20268. Is 18 a factor of q?
True
Suppose 4*h + h - 126 = -2*x, h - x = 28. Let y be (h/4)/((-7)/(-14))*-3. Let c = y + 93. Does 24 divide c?
False
Suppose 0 = 6*r - 3550 - 4532. Is r a multiple of 12?
False
Let i be (-2)/((-6)/1 - (-1 + -3)). Does 20 divide (-17)/4*i*(9 - 245)?
False
Let t = -28709 - -35621. Is 8 a factor of t?
True
Let m = -1250 - -2321. Is 3 a factor of m?
True
Suppose -49 = 7*x + 14. Is (-50)/(x + (-53)/(-6)) a multiple of 25?
True
Let t(c) be the third derivative of -c**6/120 - c**5/4 - 7*c**4/6 - 4*c**3/3 - 5*c**2. Let h be t(-13). Let u = 0 + h. Does 9 divide u?
True
Let g = 7911 + 57. Is 48 a factor of g?
True
Let h = 602 - -26825. Is h a multiple of 189?
False
Let u be 19 + ((-14)/18 - 6/27). Does 13 divide (114/u + -6)/((-2)/(-4134))?
True
Is 12 a factor of ((-286590)/(-10))/(8 - 5)?
False
Let i = -9141 + 13633. Suppose -5*y = -4*d + i, 5*y - 1148 = -14*d + 13*d. Is d a multiple of 10?
False
Let t be 106 + 2*4/(-8). Let r = t - 13. Is 3 a factor of r?
False
Suppose -30*b + 28 = -26*b. Suppose -b*s + 98 = -1351. Is 9 a factor of s?
True
Let q(m) be the third derivative of m**4/2 - 41*m**3/6 - 64*m**2. Does 6 divide q(10)?
False
Let t(r) = 88*r**2 + 5*r - 22. Let o be t(17). Suppose -54*s - o + 80899 = 0. Is 46 a factor of s?
False
Let p = -6888 + 14738. Is 33 a factor of p?
False
Let n be 6895/(4 - -1) - (4 - 2). Let u = 2285 - n. Is u a multiple of 52?
False
Suppose 4*t - 6*t = -5*i - 8, 7 = -5*t - i. Let n(p) = p**3 + 6*p**2 + p - 21. Let h be n(-5). Does 10 divide (t/h)/(13/364)?
False
Suppose 6*z - 63339 = 18837. Does 8 divide z?
True
Suppose 0 = 13*d - 15*d + h + 4770, -4*d + 3*h = -9540. Is 15 a factor of d?
True
Let l = -13454 + 19352. Suppose 28*k = 45210 - l. Does 27 divide k?
True
Let x = -256 + 1741. Is x a multiple of 4?
False
Let m = 1 - -15. Let t = m - 16. Suppose -130 = -t*u - 2*u. Is u a multiple of 23?
False
Let u(j) be the first derivative of -j**4/4 - 14*j**3/3 - j**2/2 - 18*j - 70. Does 17 divide u(-15)?
False
Suppose 0 = 3*n - 15 - 99. Let q be (-2)/12 - (4 - n/12). Let w = q + 11. Does 2 divide w?
True
Let r(n) = -2*n**2 + 4*n + 10. Let g = -3 + 6. Let z be r(g). Suppose 0 = -4*s - 4, -d + 5*d = z*s + 356. Is d a multiple of 44?
True
Suppose y + 8 - 11 = 0. Suppose 0 = -y*s + 80 + 670. Suppose -10*j = -s - 110. Is j a multiple of 12?
True
Let l = -234 - -225. Suppose -4*k - k - 105 = 0. Let r = l - k. Does 11 divide r?
False
Suppose 8883 = -0*m + 27*m. Suppose -2*h = -3*i - 201, 0 = -3*h - 0*h - i + m. Does 9 divide h?
True
Let k = 12 - 47. Let x(r) = -86*r**2 - 908*r - 20. Let a be x(-10). Does 13 divide ((-42)/k)/(6/a)?
False
Let v(d) = -d**2 + 5*d + 5. Let j be v(10). Let n = -43 - j. Suppose -n*b + 61 + 57 = 3*q, -5*q - 5*b = -190. Is 14 a factor of q?
True
Suppose 2*z - 5*i - 6165 = 0, 4*z - 12294 = 313*i - 315*i. Does 34 divide z?
False
Let l(m) be the second derivative of 0 + 2/3*m**3 + 39/2*m**2 + 30*m. Is 9 a factor of l(6)?
True
Suppose -5*v + 49222 = t - 3391, 5*v - 4*t = 52623. Is 220 a factor of v?
False
Let k be (-8)/2 - (14 + -17). Let t = -2 - k. Is 5 a factor of (-1)/(-2*t/(-26))?
False
Suppose 7*b = 5*b, 4*t - 29056 = 2*b. Suppose -t = -11*f - 906. Does 23 divide f?
False
Let g be ((-40)/(-80))/(2/8*1). Suppose -767 = -g*y + 755. Is y a multiple of 20?
False
Suppose -10*n + 1166 + 12234 = 0. Suppose i - 666 = 3*c, -62*i + n = -60*i - 2*c. Does 12 divide i?
True
Let h(b) = b**3 - 4*b**2 - b + 8. Let m be h(3). Is 17 + 0 + (m + 7 - 3) a multiple of 5?
False
Let l be (-3733)/(-9) + 22/99. Suppose 3*t = -0*t + 21. Suppose -t*g - l = -12*g. Does 12 divide g?
False
Let b be (-25 + 9)*(-2)/4. Suppose 5*d + 225 = 2*i, -b*i - 4*d = -3*i - 612. Is i even?
True
Suppose 18*m - 45203 - 36316 = 8265. Does 39 divide m?
False
Let i = 1693 - 864. Let g = 1565 - i. Does 41 divide (g/12)/(2/6)?
False
Suppose -5*d - 435 = -4*q, -2*q + 3*d + 34 = -183. Let u = 132 - q. Is u a multiple of 8?
False
Let u = 13853 + -7164. Does 8 divide u?
False
Let l = -8058 + 12192. Is l a multiple of 53?
True
Is 16721595/444 + 60/16 a multiple of 15?
True
Suppose 262*t = 259*t - 3*a + 42264, 3*a = -t + 14090. Is 32 a factor of t?
False
Let d = -66 + 64. Let r be (d/4)/(10/3020). Let w = r + 275. Is 10 a factor of w?
False
Let n = 81 - -2496. Is n a multiple of 26?
False
Suppose 2*f - 22 = 2*x, 4*x + 8 = -4*f + 2*f. Does 18 divide ((-18)/f + 6)*73?
False
Suppose -42*d - 25987 + 73 = 0. Let p = d - -974. Is 21 a factor of p?
True
Suppose 2*o - 90*v - 15901 = -95*v, 15886 = 2*o + 2*v. Does 73 divide o?
False
Let k = -237 + 227. Is 2/(k/(-305)) + 6 a multiple of 10?
False
Let g = 38523 + -20932. Is g a multiple of 49?
True
Let l = -1426 - -2878. Is 6 a factor of l?
True
Suppose 0 = 466*m - 327*m - 1167600. Is m a multiple of 175?
True
Let m(z) = z**2 + 9*z + 225. Let f(k) = k**3 - 8*k**2 - 9*