-6)/o). Is 12 a factor of (f/2 - -7) + 3*16?
True
Let t(a) be the second derivative of -a**5/20 - 5*a**4/6 - 13*a**3/3 + 9*a**2/2 - 163*a. Does 14 divide t(-13)?
True
Suppose 0 = 5*x + 6*z - 99374, z + 92991 - 33408 = 3*x. Is x a multiple of 81?
False
Let r = -14 + 20. Let f be (-2)/6 + 26/r. Is 9 a factor of f/10 - 446/(-10)?
True
Let l(p) = 20*p + 4. Let n be l(-1). Suppose 2*s + 18 = 5*s. Does 10 divide (2 + n/2)*(-111)/s?
False
Suppose 23422 - 810697 = -15*s. Does 78 divide s?
False
Let b be (2 - -81)*4/(-3 + -1). Suppose 2*x = -4*p - 124, 352 = -8*x + 3*x + 4*p. Let r = x - b. Is r a multiple of 2?
False
Let r(d) = -d**3 + 2*d**2 + 14*d + 3. Let k = 85 - 95. Let g be -13 + 18 + (k - 1). Does 40 divide r(g)?
False
Suppose -4*q + 0*q + 4 = 4*n, -q = 5*n + 7. Suppose -q*a = 13 + 38. Let j = -10 - a. Is 2 a factor of j?
False
Suppose 18 + 3 = -7*b. Let q be b/2*1*-14. Let k = q - -17. Is k a multiple of 19?
True
Suppose 0 = 11*j - 10*j. Suppose -16*h - h + 2040 = j. Is 15 a factor of h?
True
Let z(x) = -249*x**3 + 2*x**2 + 18*x + 34. Is 6 a factor of z(-2)?
True
Let u(p) = 6*p**2 + 27*p - 9. Suppose 25*o = -212 + 62. Is 9 a factor of u(o)?
True
Let f = 182 - 494. Does 22 divide (1494 + 0)*(-13)/f*8?
False
Let u be (2 - 6/6)*0. Suppose -2055 = -5*i + w + 3002, u = 4*w - 12. Is 29 a factor of i?
False
Is (2/1 + -20)*(-1010)/20 a multiple of 2?
False
Let m be (0 + -2 + 6)/(-1) - -147. Suppose q - 46 + m = 0. Let d = -46 - q. Is 17 a factor of d?
True
Let i = -15 - -2084. Does 18 divide i?
False
Let w be ((-20)/(-9))/((-4)/(-18)). Suppose -129 - 3971 = -w*k. Is 25 a factor of k?
False
Let g be ((-4)/2)/(4/(-8)). Let a(w) = w**3 - 5*w**2 - w + 3. Let u be a(g). Let m(f) = -5*f + 35. Is m(u) a multiple of 28?
False
Let t = -129 + 331. Suppose 8*o + 1002 - t = 0. Is 23 a factor of o*((-5 - -8) + 38/(-10))?
False
Let d(i) = 71*i**3 - 15*i**2 + 38*i - 3. Is 3 a factor of d(3)?
True
Suppose -6*b + 15 = -9. Suppose -12*d + 248 = -b*d. Does 16 divide d?
False
Let l = -53338 + 76128. Does 18 divide l?
False
Let o be 570*(-9)/(45/(-2)). Suppose 0 = 3*n + 5*a - 145, -4*n + o = -4*a + 24. Is 5 a factor of n?
True
Is 4851/22*(-14)/(-3) a multiple of 22?
False
Let m = 6813 - 6541. Does 16 divide m?
True
Is 132 a factor of 370/(-30)*(4 + -1792)?
False
Let q(s) = 7*s**2 + 17*s + 90. Let g(z) = z**2 + 35*z - 162. Let f be g(-39). Is 6 a factor of q(f)?
True
Let t be -1*(-3)/9 - 830/15. Let g = -7 - t. Is 4 a factor of (51/9 - 5)*g?
True
Suppose -40*u + 5087 + 72193 = 0. Does 3 divide u?
True
Let h(b) = -41*b**3 - 15*b**2 - 84*b - 65. Does 17 divide h(-6)?
True
Suppose 595*j = 184*j + 20031729. Is j a multiple of 54?
False
Suppose 0 = 13*m - 17*m + 1460. Let d = m + -137. Does 19 divide d?
True
Let t(c) = 119*c**3 - 5*c**2 + 19*c - 171. Does 13 divide t(7)?
True
Let r(u) = -u**2 + 45 - 42 + 6*u**2 - 7*u. Let k(z) = -3*z**2 + 4*z - 1. Let b(j) = -11*k(j) - 6*r(j). Is b(-8) a multiple of 29?
False
Suppose 5*l = -7 - 13. Is 90/(-6*l/24) a multiple of 25?
False
Let p be 135/(-15) + 1 + -2. Does 13 divide p/(-55) - 12576/(-44) - 0?
True
Let w be (-14)/(-28) - 13/(-2). Does 27 divide (83 - (w + -3)) + -3?
False
Let u(s) = -20*s + 26. Let a be u(1). Let v(p) = 51*p - 209. Is 4 a factor of v(a)?
False
Let o = 9079 - -2849. Is o a multiple of 21?
True
Suppose -5*v = -19 + 49. Let k be 16/v*12/8. Is ((-12)/(-21))/(k/(-182)) a multiple of 3?
False
Suppose 23*y = 16*y. Suppose 30*d - 26*d - 288 = y. Is d a multiple of 4?
True
Suppose 2*d + 5*c - 2661 - 7644 = 0, 0 = -2*d - 4*c + 10302. Is 147 a factor of d?
True
Let o = -26727 - -30025. Does 17 divide o?
True
Let w(m) = m**3 - 18*m**2 + 14*m + 55. Let o be w(17). Let b(y) = y**2 + 21*y + 4. Let h be b(-20). Is -3 - o/(h/84) a multiple of 3?
True
Let x(m) = 5*m - 9. Let t be x(3). Let r be ((-2)/t*7)/((-4)/132). Suppose 2*w = -2*q + 50, -3*w - 2*q = 3*q - r. Does 24 divide w?
True
Let g = -7480 + 16823. Does 44 divide g?
False
Does 123 divide 62279/(-14)*(3 + (-33)/7)?
True
Suppose -16 = -30*f + 32*f. Let r(i) = i**3 + 8*i**2 - 7*i - 11. Is r(f) a multiple of 9?
True
Let j(u) = 5*u**2 + 169*u - 2498. Is 139 a factor of j(-136)?
True
Suppose 0*z + 186 = 3*z - g, 171 = 3*z + 4*g. Suppose -5*w - 11 = -f, 4*f - 2*w - z = w. Is 3 a factor of 20/(-2)*(f/2)/(-4)?
False
Is (-1216342)/(114/(-6)) - -1*(3 - 11) a multiple of 19?
False
Let d = 78 + -86. Let a be (0 - (-2)/d) + 438/(-8). Let u = 6 - a. Does 11 divide u?
False
Suppose -4*g = 8, -710*i = -712*i - 3*g + 1228. Is i even?
False
Let r(f) = f**3 + 7*f**2 + 11*f + 7. Let c be r(-5). Suppose -t - 5*w - 8 = 0, 2*t + 3*w - 20 = c*w. Suppose 3*g - 204 = t. Does 18 divide g?
True
Suppose 3*y = -7*k + 3*k + 3, -2*y - 5*k - 5 = 0. Suppose y*t = 1265 - 65. Is t a multiple of 16?
True
Let u(q) = -q**3 + 7*q**2 + 19*q + 341. Does 90 divide u(-13)?
False
Let x(c) be the third derivative of c**5/20 - c**4/12 + 2*c**3 - 21*c**2. Is 5 a factor of x(4)?
False
Let m(c) = c**3 - 19*c**2 + 31*c + 18. Let o be m(17). Let i = 199 - o. Does 33 divide i?
False
Let d = -69 + 146. Suppose -d*v + 78*v = 3004. Is 19 a factor of 2 + v/28 + (-8)/28?
False
Let l be (-3)/(-9) - (-5)/3. Suppose -3*r - l*h = -11 - 4, 2*r - 10 = -2*h. Let k(q) = q**3 - 10*q - 5. Is 10 a factor of k(r)?
True
Let n = -137 + 141. Suppose 5*p = n*i + 572, 4*p = -5*i + 456 - 23. Does 28 divide p?
True
Let x = 720 - -305. Let c = x - 563. Is 10 a factor of c?
False
Suppose -2*b = 4*m - 9*m - 22, -m = 4*b. Let u be 13 - (b + 5)/3. Suppose -10*n = -u*n + 77. Is 11 a factor of n?
True
Let w(t) = 209*t**2 + 71*t. Let i be w(-4). Suppose 59*x - i = 49*x. Is x a multiple of 7?
False
Suppose -8*y = -7*y - 221. Let w = 530 + -661. Let f = y + w. Is 35 a factor of f?
False
Suppose 0 = -u - 3*r - 670 + 4300, 3*r + 18276 = 5*u. Is u a multiple of 32?
False
Let v(c) = 10*c**3 - 2*c**2 - 18*c + 13. Let s be v(4). Suppose -d + s = h, 4*d = -4*h + 5*h + 2211. Is d a multiple of 25?
False
Suppose -21*f = 14*f - 588000. Suppose h = 25*h - f. Is h a multiple of 12?
False
Suppose 0 = -7*x + 8*x - 16. Suppose -1504 = -x*q + 16. Is q a multiple of 34?
False
Let x(z) = 6*z + 1668. Does 3 divide x(-51)?
True
Let r be (-101)/5 + 64/(-80). Does 12 divide 490/20*(-144)/r?
True
Is (-7 + 10)*((-13867)/(-15) - 6/(-30)) a multiple of 2?
True
Let x(u) = -441 + 8*u - 430 + 891. Does 6 divide x(17)?
True
Let j be (-21)/(12/1888*-2) + 5. Let h = j - 1030. Does 41 divide h?
False
Let t(g) = -g**3 + 263*g**2 - 15*g + 23. Does 118 divide t(10)?
False
Suppose -2*w - 4*n - 28 = -4, -w + 5*n = -16. Let x(b) = -47*b + 12. Is 40 a factor of x(w)?
True
Suppose -12 = 5*v + 38. Let u(n) = 2*n + 2. Let h(m) = -3*m + 11. Let p(a) = h(a) - u(a). Is p(v) a multiple of 7?
False
Suppose 8*n - 134 = -59*n. Suppose s + 1 = -t, 2*t - 21 = -2*t + s. Suppose x - 149 = -n*g, -2*g - t*x = -7*g + 340. Is g a multiple of 8?
True
Let n(w) = 24*w**2 + 38*w + 26. Does 71 divide n(-6)?
False
Suppose 4*z = 5*y - 42718, 0 = -5*y - 43*z + 41*z + 42766. Is 95 a factor of y?
True
Suppose 3*b - 12 = 0, -57 = -4*f - 5*b + 7. Does 4 divide (80/(-14))/(f/(-77))?
True
Suppose 5*w - w - 5*a - 7745 = 0, -3*a - 5808 = -3*w. Suppose 25*r - w = 10*r. Is 3 a factor of r?
True
Suppose -138*c + 434831 - 188179 + 623162 = 0. Is 11 a factor of c?
True
Let k(d) = 3 + 44*d - 43*d + 5. Let v be k(-4). Is (-2)/((-793)/(-1196) + (-3)/v) a multiple of 2?
False
Let j = -3 - -3. Let k be -59 + j + -17 + 13. Does 15 divide (2 + -3)*(2 + 1) - k?
True
Suppose 5*g - 4*i = 4*g - 170, 4*i + 850 = -5*g. Let r = g + 327. Is r a multiple of 15?
False
Suppose -257*p = -249*p + 336. Is 8/(-28) - 1566/p even?
False
Let p(a) = -2*a + 18. Suppose 8*t - 33 = 23. Let m be p(t). Is ((-57)/6)/(m/(-8)) even?
False
Suppose -27147 = 6*l - 114255. Is l a multiple of 61?
True
Suppose -2*y - 14 = -20. Suppose -540 = 7*z + y*z. Let g = 78 + z. Is g a multiple of 3?
True
Let q = 84 + 5586. Is q a multiple of 63?
True
Is 2506 + (58/261 - 11/9) a multiple of 49?
False
Let c = -559 + 568. Is 326312/252 - (-1)/c a multiple of 35?
True
Let q = 30 - 27. Suppose -2*l = -3*t - 0*t - 211, 5*t + q*l + 377 = 0. Let p = t + 83. Is 10 a factor of p?
True
Suppose o = -78 + 1276. Let p = o - 729. Is 27 a factor of p?
False
Suppose -2*o = -3*v - 4, 1 - 10 = -o -