pose -5*q + y = -544, 6*q - 2*y = q + z. Does 18 divide q?
True
Suppose -2*y = -2*n - 62, -18 = 2*y - n - 85. Let v = 11 + y. Does 16 divide v?
False
Let l(a) = a**3 - a**2 - 5*a + 3. Let f be l(3). Let h(j) = j**3 - 8*j**2 + 14*j. Let r be h(f). Let v = r - -10. Does 10 divide v?
False
Suppose -4*d = -2*d + 5*u - 31, -2*d + 3*u - 9 = 0. Suppose 4*a + a = 3*v - 183, 0 = -4*v - d*a + 215. Does 14 divide v?
True
Let g be (-8 + 12)*(-26 - 1). Let f = g - -180. Is 12 a factor of f?
True
Let a = -418 + 1127. Does 27 divide a?
False
Let r(n) = -4*n**3 - 25*n**2 + 24*n - 1. Let d(m) = -11*m**3 - 74*m**2 + 72*m - 2. Let p(g) = -3*d(g) + 8*r(g). Does 7 divide p(-23)?
True
Let t(s) = -355*s + 10. Let h be t(-5). Suppose 5*k = h - 465. Suppose 5*o + 21 = 4*x - k, o - 349 = -5*x. Is x a multiple of 16?
False
Let n be ((-40)/12)/(-5)*3. Suppose -n*g + 148 = 2*g. Is g a multiple of 9?
False
Suppose 3*t = -5*i + 6 + 10, 0 = 3*t - 2*i - 2. Let j be ((0 - -19) + t)/1. Let x = -3 + j. Is x a multiple of 9?
True
Let o(j) = -j**3 + 10*j**2 - j + 11. Let n be o(10). Suppose 2*a = 5*w - 26, a = 4*w - 5*w + n. Suppose 0 = -2*g + w*g - 24. Is 12 a factor of g?
True
Let p(z) = 158*z + 305. Is 70 a factor of p(9)?
False
Let v(s) = 13*s**2 + 9*s - 19. Let h(j) = -7*j**2 - 5*j + 10. Let b(u) = 5*h(u) + 3*v(u). Is 23 a factor of b(-3)?
True
Let c(g) = -15*g + 55. Is c(2) a multiple of 25?
True
Suppose 8*i = -40 + 840. Is 7 a factor of i?
False
Let q(a) = a**2 + a - 9. Let g(u) = 2*u**2 + 9*u - 37. Let p(i) = -g(i) + 4*q(i). Let y(s) = s**2 + 3*s - 6. Let r be y(-5). Is 7 a factor of p(r)?
False
Let r(m) = -2*m - 20. Let y be r(-11). Suppose 2*x = -0*x - h + 163, 0 = 5*x + y*h - 410. Is x a multiple of 39?
False
Let f be (2 + -1)/(1/13). Let i(u) = -u**2 + 12*u + 7. Let d be i(f). Is 9 a factor of (-3)/d*3*18?
True
Suppose 96 = 2*k - 94. Suppose 0 = -4*b - k - 21. Let t = 36 - b. Does 13 divide t?
True
Let r = 79 + -80. Is 2 a factor of r/((-55)/25 + 2)?
False
Let r be -36 + 37 + (-19)/(-1). Is 5 a factor of r + 12 + (3 - 2)?
False
Let x = 802 - 495. Does 7 divide x?
False
Suppose 4*p - 368 = 1092. Suppose c - 4*b - 110 = 0, -c - 3*c + p = -b. Is c a multiple of 6?
True
Let o = -9 - -5. Let p be (-1)/((8/(-76))/2). Let d = p + o. Is 11 a factor of d?
False
Let x(c) = -7*c**3 + c**2 - 2*c - 1. Let b be x(-2). Suppose m - 20 = -5*i, -4*i - 2*m + 15 = i. Suppose h + 9 = a, -b = -5*a - i*h + 4*h. Is 3 a factor of a?
True
Suppose 6*n = 2*n + 408. Suppose -3*v + v = n. Let p = -26 - v. Does 7 divide p?
False
Let b(w) = -w - 13 - w**3 + 6*w + 9*w**2 - 7*w. Does 9 divide b(8)?
False
Let d = 1497 + -719. Does 5 divide d?
False
Let z(d) = 5*d + 7. Let q be z(-3). Let m be 1/((-4)/(1*q)). Does 32 divide (m - -7)*160/15?
True
Suppose 7*j - 3*j = 8. Suppose -k + 3 = 3*y + j*y, 5*k - 15 = -4*y. Suppose y = -4*z - 3*o + 81, -2*o + 1 = 5*z - 95. Is z a multiple of 9?
True
Suppose 9 - 1 = -w. Does 51 divide (-1)/((-2)/w*(-4)/394)?
False
Suppose 0 = 2*i - 8, 122 = v + 2*v + 2*i. Suppose 3*z + 4*m - 70 = -m, -v = -2*z + m. Is z a multiple of 12?
False
Suppose -5*o + g = -530 - 1165, 4*o = -g + 1356. Is 30 a factor of o?
False
Let k be 3*-1*(2 + 16/(-12)). Is 32 a factor of 2/(-14)*k - (-1569)/21?
False
Suppose -2*y + 31 = 5*g - 4*y, 3*g = -3*y + 27. Suppose -g*x + 315 + 399 = 0. Is x a multiple of 21?
False
Suppose g - 952 - 595 = -3*n, -2*n = -g + 1572. Does 22 divide g?
True
Let d(k) = -4*k**3 + 2*k - 3. Let t(z) = z**3 + 7*z**2 - 11*z - 27. Let p be t(-8). Is 10 a factor of d(p)?
False
Let x(d) = -d + 1. Let y be x(-6). Let q(h) = 14*h**2 - 6*h + 11. Let g be q(y). Suppose 0 = -0*v + 5*v - g. Does 33 divide v?
False
Let d(q) = -2*q - 2. Let c be d(-3). Let i be ((-5)/c)/(1/(-4)). Suppose 0 = 2*s + 6*j - 4*j - 32, s + i*j = 12. Is 11 a factor of s?
False
Let f(u) be the second derivative of 7*u - 49/6*u**3 + 0 - u**2. Does 20 divide f(-2)?
False
Let t(k) = 11*k**2 + 71*k + 19. Is 10 a factor of t(-9)?
False
Let q(t) be the second derivative of t**4/12 + t**3/6 + 60*t**2 - 2*t. Is q(0) a multiple of 30?
True
Suppose 4*f - 3*o - 119 = 0, 2*o - 4*o + 42 = 2*f. Is f a multiple of 9?
False
Is 7/49 + 4794/7 a multiple of 12?
False
Suppose -2*l = -4*i - 174, 0*l + 221 = 3*l + 4*i. Let r = -38 + l. Is r a multiple of 8?
False
Suppose g - r + 6*r = 260, -4*g + 1128 = -2*r. Is 5 a factor of g?
True
Let d(m) = -2*m - 8. Let t be d(-5). Let h(o) = 5*o - 2. Let q be h(1). Suppose -t*r - q*r + 27 = k, -3*r - 54 = -2*k. Does 7 divide k?
False
Let x = 31 - 28. Does 13 divide 99/6 - x/(-6)?
False
Suppose 3*h - 291 = -4*k + 265, 5*k - 684 = -h. Does 4 divide k?
True
Let t(b) be the first derivative of -19*b**2 - 4*b + 8. Is t(-1) a multiple of 30?
False
Suppose 72 + 42 = 2*t. Suppose -t - 109 = -2*n. Is 14 a factor of n?
False
Suppose 0 = -110*v + 114*v - 1812. Is 14 a factor of v?
False
Let i(c) = -c + 1. Let q(v) = -5*v + 27. Let w(m) = -3*i(m) + q(m). Let n be w(12). Suppose 4*z + n = 5*f + 73, -2*z + f = -35. Is 6 a factor of z?
False
Suppose 4*j = -4*m + 212, 4*m + 4*j + 173 = 7*m. Does 11 divide m?
True
Does 20 divide 8/(-6)*(-1)/((-3)/(-1665))?
True
Suppose -7*c - 600 = -12*c. Let q = -84 + c. Suppose 3*i = 3, 2*z = -0*z + 4*i + q. Is z a multiple of 16?
False
Let n(v) be the third derivative of v**6/120 - 7*v**5/20 - 7*v**4/8 + v**3/6 + 37*v**2. Is n(22) a multiple of 11?
False
Let k be (11 - 1)*1/2. Suppose s - 6*o + o = -16, k*s = o - 8. Let w = s - -38. Does 11 divide w?
False
Suppose -16*a + 8*a = 208. Let g = a + 38. Is 7 a factor of g?
False
Is (0/1 + 182)*1 a multiple of 4?
False
Suppose -75*h = -142084 + 10234. Does 3 divide h?
True
Suppose 4*y = -y + 10. Suppose 4*a = -4*w + 252, -a - 3 - y = 0. Does 17 divide w?
True
Let b be -1*(100 + -3) + 1. Let v be 2 + 3/((-9)/b). Suppose -x + 56 = -v. Is 18 a factor of x?
True
Suppose -3*l + 8 = -1. Is l/(-21) + 5/((-35)/(-876)) a multiple of 25?
True
Suppose 483 = -2*w + 587. Is 19 a factor of w?
False
Let t(u) = 2*u**2 + 10*u + 6. Let f(i) = -i. Let a = 10 + -4. Let w be f(a). Is t(w) a multiple of 9?
True
Let y(l) = l**2 - l. Let b(z) = 7*z**2 + 14*z + 7. Let v(f) = -b(f) + 6*y(f). Is v(-7) a multiple of 42?
True
Let y(g) = -9*g - 3*g - 9 - 8 + 12. Is y(-3) a multiple of 11?
False
Let k = 40 - 36. Let a(w) = 3*w + 12. Is 9 a factor of a(k)?
False
Let x(z) = z**2 + 3 + 2 + 8*z - 2 + 4*z**2 - z**3. Is x(6) a multiple of 3?
True
Is 16 a factor of (-2 - (-6405)/7) + -7?
False
Suppose 3*k + 5*z - 16 = 4125, 2*k - 5*z - 2794 = 0. Does 73 divide k?
True
Let d(o) = 2*o**2 - 18*o + 54. Does 70 divide d(18)?
False
Suppose 3*p - 6 = -q, p + 4*q = 6*p - 27. Suppose p*d + 24 = 4*a - 59, -2*d = 4*a - 58. Is a a multiple of 4?
False
Let d(i) be the second derivative of i**4/3 - i**3 - 3*i**2/2 + 6*i. Is 48 a factor of d(-4)?
False
Suppose 5 = a - 4. Suppose -10*g = -a*g - 23. Is g a multiple of 10?
False
Suppose 2*d = y - 384, y - 6*y = -2*d - 1952. Is y a multiple of 28?
True
Does 48 divide (1392/14)/(9 + (-375)/42)?
True
Let o = 309 + 2820. Is 21 a factor of o?
True
Suppose 2*j = -j - 2*a + 9862, 15 = 3*a. Is j a multiple of 38?
False
Let f = -66 + 78. Let s = f + -4. Is s a multiple of 3?
False
Let r = 909 + -828. Does 11 divide r?
False
Let f(l) = l**2 - 10*l - 34. Let k be -8 + -2 + 4 + (2 - 4). Is f(k) a multiple of 9?
False
Let p(v) = 3*v**3 + 3*v**2 + 2*v + 4. Let a be p(3). Suppose -25 = -5*c, -2*c = 2*x - 5*x - 25. Is 26 a factor of 4/x*(-2 - a)?
False
Let v(d) = -113*d**3 + 7*d + 7. Let r(g) = 170*g**3 - 11*g - 11. Let s(n) = 5*r(n) + 8*v(n). Does 18 divide s(-1)?
True
Let i be (4/(-6))/(5/(-15)). Suppose 4*h - 5 = -5*o + i*h, 2*h = -2*o - 4. Suppose 2*s + 2*d = -o*s + 358, -4 = 4*d. Is s a multiple of 24?
True
Suppose -3*a + 411 = 3*r, a = 2*r + 77 + 57. Let z be (2/4)/((-2)/a). Let t = -22 - z. Is t a multiple of 12?
True
Suppose -5*k + 5300 = 5*y, -7*k + 2*k - 3188 = -3*y. Is 14 a factor of y?
False
Let c be (-2)/5 - (-174)/(-15). Let i(n) = -3*n**2 - 10*n**2 + 33*n**3 - 34*n**3 + 7*n + 2*n**2. Is 23 a factor of i(c)?
False
Suppose 1110 = -3*r + 13*r. Does 7 divide r?
False
Suppose 0 = s - 0*s - 3*g - 1, s = 4*g. Let f be s*(-3)/(-6) + 0. Is 3 a factor of 11/f + 5/10?
True
Is 8 a factor of -1 + (-1)/(-3) + (-11687)/(-39)?
False
Let o be (-600)