pose q = -3*d - 2*q, 4*q = -2*d. Suppose -l = -3*l, 0 = g - 4*l - 2. Suppose -g*m + 122 = -d*m. Is m a multiple of 12?
False
Let k(o) = 18*o + 2. Let r be k(1). Suppose -r = x + 5. Is 5 a factor of (19 + x)*10/(-3)?
True
Let f(q) = -27*q**3 + 4*q**2 + 8*q + 2. Let c be f(-2). Is 6 a factor of c*(-3)/(-12) + (-13)/26?
True
Suppose 0 = 4*d - 21 - 27. Let a = -3 - -23. Let j = a - d. Is j a multiple of 2?
True
Suppose -7*b = -4*b - 6. Suppose 2660 = 4*u + u + y, 0 = b*u + y - 1061. Is u a multiple of 13?
True
Let p(c) = -20*c**2 + 52*c**2 + 30 - 14*c**2 + 3*c - 17*c**2. Is p(9) a multiple of 3?
True
Let x(v) = -v**3 - 5*v**2 - 3*v + 6. Let b be x(-4). Let a be 1/b*314/1. Let q = a - 107. Is 14 a factor of q?
False
Let r(t) = 9*t + 67. Let f(k) = -4*k - 33. Let j(b) = -7*f(b) - 3*r(b). Let p be j(-26). Is (45 - p/2) + -1 a multiple of 9?
False
Let y(p) = 29*p - 72 - 37 + 14 + 87*p + 5. Is 17 a factor of y(6)?
False
Let g(s) = 11*s**2 + 2*s. Let b be g(2). Let k = 61 - b. Suppose 5*i - 73 = 3*r, -3*i + 2*i = r - k. Does 7 divide i?
True
Let x be (((-208)/5)/(-2))/(1/20). Suppose x + 364 = 26*k. Is 20 a factor of k?
False
Suppose -3*c - 3*w + 19716 = 0, -2*c - 4*w = -6*w - 13160. Suppose -c = -7*o - g, -5*o + o + g = -3764. Is o a multiple of 12?
False
Suppose -120*a - 74*a = -3*a - 2124302. Is a a multiple of 49?
False
Suppose 0 = -8*s + 12*s - 12. Let r(f) = 5*f**3 + 1 - 3 - 2 + f**2 + 4*f + 0*f**s. Does 38 divide r(3)?
True
Let p be -534*(0 - (-3)/(-9)). Suppose 0 = -2*d + 4*d - p. Let l = d + -69. Does 5 divide l?
True
Let x(j) = -9*j + 75. Let o be x(8). Suppose u + 4*z = 238, -2*z = 5*u + z - 1207. Suppose 0 = -5*w + 5*t - 4*t + 434, -u = -o*w - 4*t. Is 11 a factor of w?
False
Let u(b) = 278*b**2 - 825*b + 4118. Is 3 a factor of u(5)?
False
Let l(x) = 20*x**2 + 29*x - 123. Does 13 divide l(6)?
False
Let d(l) = -4*l + 2. Suppose 28 - 16 = -3*i. Let k be d(i). Does 16 divide ((-31)/2)/((-3)/k)?
False
Suppose 0 = -4*i + q + 428, -2*q = -q. Let d = i + -72. Let h = 62 - d. Does 11 divide h?
False
Let g(k) = 5*k**3 - 5*k**2 + 176*k - 90. Is g(16) a multiple of 191?
False
Let k = -36 + 19. Let z(d) be the second derivative of -2*d**3/3 + 3*d**2/2 + 393*d. Does 17 divide z(k)?
False
Let o = -125 - -125. Is (-3)/1 - (o - (467 - -2)) a multiple of 50?
False
Let h(x) = x**2 - 15*x + 47. Let p be h(11). Suppose -5*y = -2*i - 236, -131 = -p*y + 4*i + 5. Does 24 divide y?
True
Suppose 2*i + 74 = 9*p - 8*p, 0 = 2*i + 5*p + 98. Let c be 1/(1/(-13)*1). Let l = c - i. Does 13 divide l?
True
Let s = 148 + -142. Let o(f) = -f**3 + 4*f**2 + f. Let j be o(4). Is (-1*(-5 - 5))/(j/s) a multiple of 15?
True
Let j be ((-217)/(-28))/(5/940). Suppose 2*h + j = 3*x - 125, -3*h - 1058 = -2*x. Does 50 divide x?
False
Suppose 4*f + 1175 = 5*j + 6717, 2*f + 2*j - 2798 = 0. Is f a multiple of 7?
True
Let y = 57705 - 28449. Does 106 divide y?
True
Let b = 15905 - 14868. Does 11 divide b?
False
Does 7 divide (-14)/(-42)*(-82614)/(-14)?
True
Let r be -145 - 3/(-6)*0. Let b = 292 - 342. Let x = b - r. Does 10 divide x?
False
Let h(n) = -16*n**2 + 88*n + 384. Let k(w) = -9*w**2 + 45*w + 192. Let l(m) = 4*h(m) - 7*k(m). Is 19 a factor of l(19)?
False
Suppose 0 = 3*n - 5*p - 28640, 0 = -51*n + 46*n + 4*p + 47755. Does 91 divide n?
True
Let p = -8 - -16. Suppose -5*n - 10 = -0, 2*g = 2*n + p. Suppose g*q - 35 = -3*x, -2*x + 2*q = 3*x - 53. Does 4 divide x?
False
Suppose -176*s - 24 = -188*s. Suppose s*z - 916 = 2*y, 2*z + 932 = 4*z + 2*y. Is z a multiple of 12?
False
Suppose 9*y - 1334 = 2500. Suppose 0 = -9*w + y + 1653. Does 7 divide w?
True
Let l = -38 - -92. Let j be 4/6 - 900/l. Let y = 30 + j. Does 7 divide y?
True
Let j(o) = 2*o + 10. Let p be j(-6). Let t(u) = u**3 + 4*u**2 - 7. Let v be t(-4). Does 2 divide (-297)/(-63) + p/v?
False
Suppose 3*i - 6*i - 3 = -3*o, 3*i = 6. Suppose d = -3*r + 254, -o*r + 107 = 3*d - 151. Is r a multiple of 7?
True
Suppose -13*b - 34 = -11*b. Let w be ((-2)/(-8))/(b/(-68)). Is (35/20)/(w/4) a multiple of 7?
True
Is -18 + (11 - (-5688 - -1)) a multiple of 16?
True
Let w = 14235 - 8615. Is w a multiple of 10?
True
Let i(q) = -q - 6*q**2 - q**3 + 3*q + 2*q**2 + 0*q**3 + 2. Let d be i(-3). Let j = 11 - d. Does 8 divide j?
True
Is 6 a factor of (-16900)/(-9) + (17 - 453/27)?
True
Let b(h) = 26*h**2 - 31*h + 253. Is 104 a factor of b(10)?
False
Let v = -606 + 3098. Does 12 divide v?
False
Let j be (-5 - (-4)/1)*-10. Suppose -5*n + 0*n = -j. Suppose -n*m + 182 = 4*x, -2*x - 4*m = -m - 85. Does 8 divide x?
False
Suppose 0*n + 15 = -f + 4*n, -4*f = -2*n - 10. Suppose -3*j + f*o = 377, -4*j + o - 480 = -0*o. Is 20 a factor of 0 - 0 - (-8 + 7) - j?
True
Let m = -2260 - -3342. Does 46 divide m?
False
Let p(k) = -2*k**3 - 38*k**2 + 14*k - 4. Let f be p(-20). Is 39 a factor of f - 36 - 1*(0 - 5)?
False
Let f be (-1)/((3/3)/(-2)) - 92. Let v = f - -90. Suppose v = -7*g + 3*g + 800. Is 40 a factor of g?
True
Suppose 8*z = 10*z - 6. Is -2 + ((-484)/z)/(28/(-42)) a multiple of 40?
True
Suppose -3*i + 15*i = 0. Suppose l = -i*l. Suppose l*v + 7*v = 455. Does 11 divide v?
False
Suppose h = -5*g + 163613, 56683 = 4*g - h - 74202. Suppose 0 = -72*z + g + 11054. Does 16 divide z?
True
Suppose 186732 = 19*t + 33*t. Does 19 divide t?
True
Suppose -158255 - 281689 = -92*g. Is g a multiple of 25?
False
Suppose 2134301 = -57*y + 130*y. Is y a multiple of 20?
False
Let w(v) = -v**3 - 20*v**2 - 18*v + 19. Let x be w(-19). Suppose x = a - 96 - 39. Is a a multiple of 15?
True
Let d(j) = 33*j + 39. Let u be d(18). Suppose -188*r + 185*r + u = 0. Is r a multiple of 28?
False
Suppose 0 = 6*v - 1017 - 897. Let f = 347 - v. Does 14 divide f?
True
Let p = -152 + 229. Let b = p + -18. Let t = b + 11. Is t a multiple of 7?
True
Suppose 0 = i - 16 - 59. Let j be 950/i - 4/6. Let k(n) = 2*n**2 - 19*n + 4. Is k(j) a multiple of 9?
False
Let g(q) = q**3 - 85*q**2 - 72*q - 166. Does 8 divide g(86)?
False
Suppose 17*k = -50*k + 1056 + 553570. Does 22 divide k?
False
Let y = 12703 - 5133. Is y a multiple of 27?
False
Let x(n) be the first derivative of -85*n**2/2 + 4*n - 28. Does 20 divide x(-5)?
False
Let x = 36 - -143. Suppose 0 = 174*v - x*v + 320. Does 8 divide v?
True
Let a(j) = 66*j + 3. Let w(f) = 67*f + 3. Let i(g) = -4*a(g) + 3*w(g). Suppose -2*r - 5 + 3 = 0. Is 15 a factor of i(r)?
True
Let r(y) = -y**3 + 12*y**2 - y + 13. Let q be r(12). Let t be ((-1)/q)/((-2)/(-746)). Let w = -140 - t. Is 19 a factor of w?
False
Suppose -3*p + x = -362 - 1168, 5*x = 0. Is 85 a factor of p?
True
Let w = 35 - 40. Let a be (20/8)/(w/(-10)). Suppose g = -a*q + 104, -g + 2*q - 299 = -4*g. Is g a multiple of 27?
False
Does 4 divide 39262/14 - (30 - (-621)/(-21))?
True
Let f = -12126 - -17226. Is f a multiple of 5?
True
Suppose 109 - 451 = -3*i. Does 20 divide 1282/6 - (-38)/i?
False
Let u be ((-6)/(-8))/(5/20). Suppose -1 = -u*p + 29. Let d = p - 0. Is d a multiple of 7?
False
Let m = -28 + 27. Suppose 0 = 5*r + 5*a - 5, 0 = -7*a + 3*a - 4. Is (m - 2) + 1*(47 + r) a multiple of 6?
False
Suppose 2*z - 2*o = 12, -8*z + 2*o + 28 = -4*z. Suppose -z*l + 4200 = 7*l. Does 20 divide l?
True
Suppose 5*a - 4945 = f, 4*a + 4*f - 2670 = 1286. Suppose j - 2*y = a, -y + 969 = j + y. Is 16 a factor of j?
False
Let u(a) = 270*a**2 + 1 - 8 + 6. Let t be u(-1). Let m = -165 + t. Is m a multiple of 26?
True
Let a(d) be the third derivative of 7*d**5/60 - d**4/3 - 4*d**3/3 - 16*d**2. Let g be a(-1). Suppose -10*w + g*w = -273. Is w a multiple of 14?
False
Suppose 2*r + 2*s - 24994 = 0, 24*r + 12493 = 25*r - 3*s. Is 44 a factor of r?
True
Suppose 3*f + 3 = -2*f - 4*u, f + 5 = -3*u. Let v be (4 - (-20)/(-5))/f. Suppose v = 4*w + s - 75, 4*w + 0*s - s - 85 = 0. Is 5 a factor of w?
True
Suppose 2*l + 485200 = 5*f, 97013 = 3*f - 2*f + 5*l. Does 81 divide f?
True
Let d = -492 + 381. Let s = 279 - d. Is s a multiple of 30?
True
Let n(p) = 5*p**2 + 52*p + 690. Is 40 a factor of n(-34)?
False
Suppose 21*o = 28*o - 140. Let d(i) = i**3 - 15*i**2 - 52*i - 3. Is 33 a factor of d(o)?
True
Suppose 0*j - j + 187 = 5*p, -5*j - 53 = -p. Let n = -8 + p. Suppose 3*u + 4*c - n = c, 0 = 2*c + 10. Does 15 divide u?
True
Let l = -3687 + 5760. Does 11 divide l?
False
Suppose -3*n - 11 = -29. Suppose 2*p - n = -p. Suppose 3*s = -p*s + 55. D