 -5*o + 2*c = -0*o - 1089, o = -4*c + 209. Suppose 5*r = -5*w - 265, -4*w + 3*r + 104 = 302. Let m = w + o. Is 38 a factor of m?
False
Let r(n) be the first derivative of 2*n**4/3 - 4*n**3 + 15*n**2 - 28. Let k(w) be the second derivative of r(w). Does 40 divide k(14)?
True
Let t = 3976 - 3341. Is t a multiple of 5?
True
Let m be 8/12 - 70/(-3). Suppose 4*t - m = -4. Suppose t*x - 56 = x. Is 14 a factor of x?
True
Is 2343084/464 - 6/8 a multiple of 124?
False
Let p(j) = 71*j**3 + j**2 + j - 1. Let s(x) = x**2 - x - 2. Let f(m) = -p(m) + 2*s(m). Does 24 divide f(-1)?
True
Let s = -18838 - -34863. Is 11 a factor of s?
False
Suppose 6*i + 19485 = -i + 101413. Is i a multiple of 4?
True
Let w be ((-15)/5 + 3 + 4)/4. Let u(f) = 105*f**3 - 2*f**2 - 6*f + 7. Does 13 divide u(w)?
True
Let o(f) = 558*f + 135. Let n(i) = -43*i - 10. Let g(j) = -54*n(j) - 4*o(j). Let z be ((-2)/3)/(4/(-6)). Does 18 divide g(z)?
True
Suppose 0 = -73*h + 67798 + 175876. Is 40 a factor of h?
False
Suppose 1478 - 6710 = 6*y. Let g = y - -1612. Suppose 0 = 11*a - 6*a - g. Is 37 a factor of a?
True
Does 8 divide 851552780/24600 - 2/(-60)?
True
Suppose 5*w + 9 = 4, 4*h = w - 1759. Does 8 divide ((-32)/(-20))/((-4)/h)?
True
Suppose 0 = 5*v + 4*r + 229, 0*r + 188 = -4*v - 2*r. Let j = v - -137. Is 22 a factor of j?
True
Does 7 divide -4 + 8*(12215/28 - 8)?
False
Let d be 5/((-18)/(-12) - (2 - 1)). Suppose -4*x = -9*x + d. Suppose x*m - 163 = -17. Does 21 divide m?
False
Let b be (16/(-4) + 4)/(-2). Let i = 0 - b. Suppose i*z - 2*z = -180. Does 15 divide z?
True
Let f(y) = -y**2 + 15*y + 39. Let a be f(17). Suppose 4*t = -5*n - 4 - a, 3*t + 5*n = -13. Suppose 5*r + 5*b = 198 - 43, r + t*b = 34. Does 3 divide r?
True
Suppose -3*v = 3*x + 270, -6*v + 7*v - 5*x + 90 = 0. Let w = 325 - v. Is w a multiple of 83?
True
Does 11 divide ((-3)/9)/(1/9) + (155 - 1)?
False
Let s = -9485 - -13202. Is s a multiple of 9?
True
Let r be 20/(-35)*(-1 + -6). Suppose 105 = r*p + 9. Suppose p = -o + 3*o - 4*t, 3*t = -2*o + 3. Is 6 a factor of o?
True
Let n(l) = 6*l**2 + 22*l + 28. Does 12 divide n(26)?
True
Suppose 81*z - 91053 = -13*z + 1335491. Does 14 divide z?
True
Suppose 12*x - 122414 - 140621 = -35863. Is x a multiple of 8?
False
Let l = -203 + 187. Let r(a) = a + 116. Is 25 a factor of r(l)?
True
Let v(q) = 30*q**3 + 16*q**3 + 2*q - 65*q**3 + 3*q**2. Let n(s) = -2*s - 9. Let y be n(-4). Is 4 a factor of v(y)?
True
Let p(d) = -d**3 - d**2 + 4*d + 284. Suppose 9*k = k + 10*k. Is p(k) a multiple of 11?
False
Does 11 divide (-78)/30 - -3 - ((-17758944)/60)/14?
True
Let q be 6 + 51/12 + (-9)/(-12). Suppose g - 143 = 2*f, 6*g + 693 = q*g + f. Is g a multiple of 6?
False
Let t(z) = 77*z**2 + z + 1. Let h be t(-1). Suppose -3*d = 4*q - 640, -4*q + h = 2*d - 567. Suppose 51 = -2*b + q. Does 8 divide b?
True
Let j = -1 + 1872. Is j a multiple of 14?
False
Let o(z) = -z + 9. Let c be o(-9). Suppose 14*k = 150 + c. Is 4 a factor of k?
True
Let p(f) = -204*f**3 + 12*f**2 + 15*f + 3. Is p(-3) a multiple of 34?
False
Let v(u) = 2*u**3 + u + 165. Let k be 0 + 2 + -5 - -3. Let s be v(k). Suppose -90 = -5*t + s. Does 17 divide t?
True
Suppose 3*z = -2*z + 780. Let k = 210 + z. Does 30 divide k?
False
Suppose 5*j = 5*t + 5, -4*t = 5*j + 4 - 0. Suppose 0*n - 2*i = n - 148, j = 2*n + 5*i - 297. Suppose n + 19 = l. Does 26 divide l?
False
Let p be (8/(-16))/(1 + 847/(-846)). Suppose x - 4*x + p = 0. Suppose 183 = 6*a - x. Does 9 divide a?
True
Suppose 5*y - 2*o = -204 - 337, 5*y + 544 = 3*o. Let t = y + 192. Suppose k - 2*k = -t. Is 16 a factor of k?
False
Let t(i) be the second derivative of 9/2*i**2 - 49*i + 0 + 4/3*i**3. Is 2 a factor of t(6)?
False
Suppose -3*q + 7271 = 4*u, 10*q + 5*u + 12060 = 15*q. Is q a multiple of 60?
False
Let a = 3 - -4. Suppose 20 = 4*s + 4*d, -2*s - 4*d = -a*d - 35. Suppose 13 = s*f - 147. Is 4 a factor of f?
True
Let v = -4 + -3. Let w(o) = -19*o + 2. Let s(l) = -20*l + 2. Let r(b) = v*w(b) + 6*s(b). Is r(2) a multiple of 24?
True
Suppose -5*y + 20 = 0, 5*t + 4*y - 7*y - 2083 = 0. Suppose -1687 = -4*h - 5*f, h + 4*f - t = -0*h. Is 28 a factor of h?
False
Let m be 143988/65 - 3*(-1)/(-15). Suppose 2*b + 253 = m. Is 54 a factor of b?
False
Suppose -3748 = -6*j + 2*j. Suppose -181 + j = 4*p. Does 27 divide p?
True
Suppose 5*y - 16 - 64 = 0. Let o = 123 - y. Does 11 divide o?
False
Let b(p) = -p**3 - 22*p**2. Let y be b(-22). Suppose 4*k + 0*o - 2*o - 590 = y, -k - 4*o + 125 = 0. Is 9 a factor of k?
False
Let a be (-2 - (-7)/3)*(-10 + 448). Let b = 386 - a. Does 12 divide b?
True
Let p = 126 - 170. Let v(z) = -2*z**2 - 4*z + 10. Let n be v(-7). Let h = p - n. Is h even?
True
Let f(i) = 5*i**2 - 26*i + 1. Let k(b) = b**3 + 5*b**2 + 3*b + 1. Let s be k(-4). Let m be f(s). Let d(n) = n**2 - 9*n. Is d(m) a multiple of 27?
False
Suppose -5*s - 5*t = -207218 + 63883, s - 28655 = 5*t. Is s a multiple of 195?
True
Let j(h) = 55*h**2 + 1243*h + 24. Is j(-24) a multiple of 7?
False
Let h(c) = 2*c + 17. Let b(q) = 4*q + 33. Let i(k) = -6*b(k) + 10*h(k). Let g be i(-18). Suppose 4*l - 112 = g. Does 12 divide l?
False
Suppose 7*y - 96 = -9*y. Suppose y*x - 3*x = -x. Suppose x = -2*p - 4*p + 822. Does 14 divide p?
False
Let x = -1495 - -19527. Is 45 a factor of x?
False
Let a be (-12)/(-13) - (-58)/754. Is 20 a factor of (48 + 12)/((2 - a) + 0)?
True
Let k be -1 - 3 - (-11 - 8). Is 10 a factor of 390/(k/12*18/15)?
True
Suppose -13*j = 5*j - 1188. Suppose -4*d - 33 = -u, 3*d = 3*u - u - j. Does 3 divide u?
True
Let j = -35 - -38. Suppose 3*l = 3*k + 258, j*k + k - 265 = -3*l. Suppose -2*s - 80 = -2*c, -5*c - s = l - 293. Does 3 divide c?
False
Suppose 2*x - 462 - 622 = 0. Suppose -3*d + 0*d = -5*z + 1321, -3*d + 807 = 3*z. Let m = x - z. Does 59 divide m?
False
Let u = 48 + -45. Let v(i) = i**2 - i. Let o(p) = -2*p**2 + 6*p + 7. Let r(s) = u*v(s) + o(s). Is r(-7) a multiple of 8?
False
Let q(f) = 11*f - 2*f**3 - 7 - 6*f**2 + 15*f - 27*f. Let i(w) = 13*w + 33. Let k be i(-3). Does 40 divide q(k)?
False
Suppose 0 = -11*v + 9*v + 26. Suppose -i + v = 9. Suppose -i*u = -1277 + 369. Is 26 a factor of u?
False
Let h be (((-70)/(-105))/(2/21))/1. Let j(p) = 9*p**2 - 22*p + 87. Does 16 divide j(h)?
False
Let b(h) = h + 31 + 0 + 2. Let v = -59 + 81. Is 5 a factor of b(v)?
True
Let n = -291 - -502. Let i be 6/(-27) + 3/(108/4868). Let w = n - i. Does 19 divide w?
True
Let h = 268 - 257. Suppose h*b = 3880 + 1862. Does 11 divide b?
False
Let w(d) = -2*d**3 + 51*d**2 + 41*d - 90. Is w(25) a multiple of 40?
True
Suppose -5*p = 62 - 97. Let g(r) = r**2 + 8*r - 37. Is 9 a factor of g(p)?
False
Let j be 7/(28/16) - (-4 + 5). Let o be j/12 + (-1)/(-12)*-3. Suppose k - 17*k + 1408 = o. Is 8 a factor of k?
True
Let b = 1691 + -876. Let q = 1219 - b. Is q a multiple of 9?
False
Suppose -4*z = -5*d - 160744, -3*d + 160712 = 4*z - 4*d. Is 77 a factor of z?
False
Let v(t) = 1271*t + 23. Let k be v(3). Suppose 29*q - k = 15*q. Is q a multiple of 28?
False
Suppose 5*q - 982 = y, -4*q - 2*y = -2*q - 400. Suppose 4*u - 63 = q. Is u a multiple of 13?
True
Suppose -16*h = -20*h + 8. Let f(z) = -1 + 17*z**h - 3*z**2 - 3*z + z**2. Is f(-2) a multiple of 29?
False
Let c = 362 + 211. Suppose -g + c = 3*q, 3*q - 22 = 2*g + 551. Does 13 divide q?
False
Let m(u) = -u**3 - 81*u**2 - 416*u - 48. Does 78 divide m(-77)?
True
Let w(i) = i**2 + i - 4. Let r be w(3). Suppose 5*u = u + r. Suppose 0 = u*s - 79 - 9. Is 22 a factor of s?
True
Let l(j) = -2*j**3 - j**2 + 3*j + 2. Let n(b) = -b**3 - 30*b - 2*b**2 + 27*b + 1 - 3*b**2. Let a be n(-4). Is 19 a factor of l(a)?
True
Suppose 3*o = -r + 6*o + 576, -5*r + 2846 = 2*o. Let y = -393 + r. Does 59 divide y?
True
Suppose 2127596 + 1008182 = 227*p. Does 6 divide p?
False
Suppose -13*l + 15*l = 2*r - 27756, -2*l - 6 = 0. Does 25 divide r?
True
Suppose -u + 132 = 3*t, 268 = 2*u + 75*t - 70*t. Is 53 a factor of 4 - 6*u/(-8)?
False
Let d = 67 + -49. Suppose y - 24 = 3*p - 5*p, 3*p = 3*y + d. Does 34 divide (-1 + 138/p)/((-44)/(-770))?
False
Let y = -90 + 57. Let c be 18/(-45) + -3*(-3)/(-15). Is 16 a factor of (11 - 12) + y/c?
True
Let w(d) = 31*d + 2872. Does 13 divide w(-31)?
True
Let v(l) be the second derivative of -62*l**3/3 - 4*l**2 - l + 17. Does 16 divide v(-2)?
True
Let f = -24 - -22. Does