 42 - 66 = 4*o, 5*u + f*o = -264. Let i = u - -104. Does 13 divide i?
True
Suppose -2*i + 2*s = -30, 2*i + 10 = -3*s + 35. Suppose -i = -2*w + 5*b - 4, -b - 2 = 0. Suppose -2*t - 86 = 4*z - 288, -3*t - z + 278 = w. Is 29 a factor of t?
False
Suppose -y = 5*y - 24. Is 2 a factor of y + (-3)/6*-10?
False
Let n = 12 + -9. Let i(h) = 4 - 2*h + n + 5. Is i(-5) a multiple of 22?
True
Let f = -82 - -115. Let t(p) = -2*p**2 - 9*p + 16. Let a be t(-5). Is 97/a - (-6)/f even?
False
Suppose -3*u + 2*n + 16 = 0, 3*n + 17 = -2*u + 3*u. Suppose 1 - 11 = u*t. Let v(j) = -4*j - 17. Is 2 a factor of v(t)?
False
Let f = -110 + 75. Does 20 divide (-4893)/f + (-1)/(-5)?
True
Let v be ((-5)/(-2))/((-7)/(-56)). Let h = 6 + v. Does 8 divide h?
False
Suppose -2*v + 5 = -2*k + 3*k, 3*k - 3 = -3*v. Let w be (984/(-36))/(2/k). Suppose p - 2*p + 3*m + w = 0, -102 = -3*p + 2*m. Is 8 a factor of p?
True
Let s = -41 + 66. Suppose 4*a = -5*l + 4, -3*l - 11*a + 32 = -16*a. Suppose 2*b = b - l*g + s, -g - 36 = -3*b. Is b a multiple of 8?
False
Let k(d) = -4*d**2 - 5*d + 2. Let q be k(-2). Does 7 divide 48*(q/6)/(-1)?
False
Suppose 38*o - 40*o + 8 = 0, -182 = -2*r - o. Does 41 divide r?
False
Suppose -3*j - 9 = -0*j, f + 18 = -3*j. Let l(c) = -4*c - 21. Is l(f) a multiple of 15?
True
Let k(z) be the first derivative of 7*z**3/3 - z**2 - 19. Is 13 a factor of k(4)?
True
Suppose 194 = 6*f - 100. Does 5 divide f?
False
Let r(t) = 7*t**2 - 1. Let p be r(1). Is 38 a factor of (-2590)/(-21) - 2/p?
False
Suppose -3*z - 2*n + 576 = 0, 3*n + n - 384 = -2*z. Does 36 divide z?
False
Let t(j) = -j**3 - 6*j**2 - 5*j + 3. Let o be t(-5). Suppose 3*i - 2*i = -o*g + 212, i = -5*g + 356. Suppose g = 6*m - 24. Does 8 divide m?
True
Let t be ((-29)/2)/(-5 - (-27)/6). Suppose t*h = 35*h - 714. Does 26 divide h?
False
Suppose 0 = -4*p - 2 + 250. Let i = 125 - p. Is 17 a factor of i?
False
Let x = 674 + -468. Suppose x = 2*b - 5*p + 52, -3*p + 282 = 4*b. Is 36 a factor of b?
True
Suppose -t - 3*t = -3*j + 574, -5*t + 223 = j. Does 18 divide j?
True
Let p(c) = -c**2 + 10*c - 11. Let q be p(8). Suppose 22 - 352 = -q*n. Is (1/3)/(2/n) a multiple of 11?
True
Suppose 4*u = 2*u + 156. Let m = 174 - u. Is m a multiple of 8?
True
Let h(p) = -p**3 - p**2 - 6. Let a(r) = r + 5. Let u be a(-5). Let w be h(u). Let n(l) = l**3 + 5*l**2 - 9*l - 2. Is 16 a factor of n(w)?
True
Let z = -12 + 11. Let o(l) = 10*l**2 + 2*l + 2. Does 4 divide o(z)?
False
Let f(r) = -r + 13. Let g(l) = -3*l - 1 + 9*l - 5*l. Let u be g(-8). Does 9 divide f(u)?
False
Let h(u) = u**3 + 9*u**2 + u + 12. Let q be h(-9). Suppose -b = 17 + q. Let m = -12 - b. Is 5 a factor of m?
False
Let w(v) = -v**2 - 8*v - 4. Suppose 9 = -h + 2. Let o be w(h). Suppose -2*a - o*a + 230 = 0. Does 23 divide a?
True
Suppose -4*k + 5*k = -4*y + 41, 4*y + 85 = 5*k. Let v = 26 - k. Suppose 4*p + 0*o = v*o + 212, 4*o = -3*p + 128. Is p a multiple of 12?
True
Let f(y) = 40*y + 4. Let j be (-2)/(-8) - (-5)/(-20). Suppose h = 3*c - 7, j*h = h + 4*c - 14. Is f(h) a multiple of 21?
True
Let u(m) = -m**3 - 12*m**2 - 19*m + 6. Let d be u(-10). Does 19 divide (113 - -1)/(22/4 + d)?
True
Let u = -483 + 1224. Is u a multiple of 57?
True
Let g(h) = h + 14. Suppose -3*j + 5*j = -4*v + 20, j - v + 5 = 0. Let z be g(j). Suppose -43 = -o - m, m + 51 - z = o. Is 20 a factor of o?
True
Suppose 4*a + 4*i - 8240 = 0, 1423 = a - i - 645. Is a a multiple of 21?
False
Let r(y) = 13*y**3 + 6*y**2 + y - 2. Let w be r(3). Suppose w = 2*j + 4*f, 3*j + 5*f = j + 410. Is j a multiple of 39?
True
Does 43 divide ((-2380)/(-102))/(2/9)?
False
Let p(b) = -28*b - 2. Let j be p(-2). Suppose j = 3*l - 9*l. Is 5 a factor of l/((-129)/30 + 4)?
True
Let g(p) = -p**3 - 4*p**2 + 2*p + 9. Let j be g(-4). Let n be j - (5/(-1) + 3). Suppose 3*o - 15 = -3*l, 5*o - 51 = n*l + 14. Is 3 a factor of o?
False
Let t(q) = 10*q + 79. Is 14 a factor of t(10)?
False
Suppose -3*p + 3 + 36 = 0. Let q(k) = k**3 - 13*k**2 + 10*k + 1. Is 29 a factor of q(p)?
False
Suppose -5*s - 4*d = -7, -4*s + d + 20 = -3*d. Let a be (s/1 - 1)*19. Let h = -18 + a. Does 10 divide h?
True
Let j = 7 + -5. Suppose -j*w = -3*r - r - 112, 115 = 2*w - 3*r. Is 20 a factor of w?
False
Let k(x) = -x**2 - 20*x - 17. Let j be k(-14). Let d = j + 20. Is d a multiple of 9?
False
Let i(q) = -14*q**3 - 2*q**2 + 2*q - 3. Is i(-4) a multiple of 11?
False
Let q(y) be the first derivative of -y**4/4 - 2*y**3/3 - y**2/2 + 9*y + 13. Is q(-4) a multiple of 15?
True
Suppose -3*z = -3*y + 3795, 5*y + 0*z - 6327 = 4*z. Does 9 divide y?
False
Suppose 13*y - 8*y + 3*u - 501 = 0, y + 4*u = 90. Is 6 a factor of y?
True
Let r(a) = 35*a. Let p be r(1). Let m be (-953)/(-7) + (-5)/p. Suppose -m + 46 = -3*h. Does 7 divide h?
False
Let i(z) = -8*z**3 - 6*z**2 + 15*z + 3. Let o(t) = 7*t**3 + 6*t**2 - 14*t - 2. Let s(g) = 3*i(g) + 4*o(g). Is 7 a factor of s(2)?
True
Suppose q = 5*q - 16, 4*f - 4*q = -24. Let z be (f + -2)*(-75)/4. Suppose 3*y - 3*a - z = 0, 8*a - 73 = -4*y + 3*a. Is 11 a factor of y?
True
Let n be 3*21/45*(7 + -2). Let d(w) = w**2 - 5*w + 9. Is 4 a factor of d(n)?
False
Suppose -r + 5 + 7 = 0. Let l = -4 - 0. Let x = r - l. Is 7 a factor of x?
False
Suppose -2*h - q - 394 = -1221, -q = 4*h - 1657. Is 42 a factor of h?
False
Let k be ((-312)/9)/((-3)/(-9)). Let m = 147 + k. Does 24 divide m?
False
Suppose -592*f + 19090 = -582*f. Is f a multiple of 83?
True
Suppose -4*f + j = -13, f - 5*j + 27 = 4*f. Suppose -3*z + f*t + 12 + 10 = 0, -3*z = 5*t - 40. Is (-6)/(-10) + 294/z a multiple of 9?
False
Let d = 665 - 442. Is 12 a factor of d?
False
Let t(x) = -20*x**2 + 3*x - 6. Let c be t(-4). Let y = -241 - c. Is y a multiple of 13?
False
Let o = -16 - 7. Suppose -5*h + 5*u - 7 = -h, 2*h - 7 = -u. Is 4/h*o/(-2) a multiple of 16?
False
Let h(b) = 126*b**2 - 5*b - 5. Is h(-3) a multiple of 44?
True
Let b(u) = -7*u - 1. Let n be b(2). Let r = -2 - n. Let a = r - 1. Is 6 a factor of a?
True
Suppose 2*q - 574 = 4*x, 0 = -4*q - 2*x + 689 + 419. Is 9 a factor of q?
True
Suppose 0 = 5*k + 3*t - 4*t - 46, 3*k - 22 = 2*t. Let s = 48 - k. Is s a multiple of 9?
False
Let m(n) = n**3 - 6*n**2 - 4*n - 7. Suppose 0 = 6*z + 41 - 149. Let l = z + -11. Does 7 divide m(l)?
True
Is 3*2*(5 + -1 - 2) a multiple of 4?
True
Suppose 8*c = t + 7*c - 67, 0 = c + 1. Is t a multiple of 33?
True
Suppose -3*t - 6 = -5*t. Suppose 4*v + 5*l = 89, v - 6*l = -5*l + 20. Does 4 divide v + t + 8/(-4)?
False
Suppose 0 = 2*u - 4*u - 66. Let s = u + 78. Is s a multiple of 9?
True
Does 4 divide 411 + 1 - 15*6/90?
False
Suppose -5*u + 3*v + 1067 = 0, u - 242 = -2*v - 39. Let w = u - 66. Does 29 divide w?
True
Let y(k) = -k**3 - k**2 + k - 1. Let i be y(-2). Suppose i = 3*t - 5. Suppose 4*w = w + 3*v + 18, 0 = -t*v. Is w a multiple of 6?
True
Suppose -72 = 3*o - 204. Let q be (-2)/5 - (-136)/(-10). Let d = q + o. Is 10 a factor of d?
True
Let x(z) = 4*z + 2. Let p(q) = -23*q - 11. Let a(j) = 6*p(j) + 34*x(j). Let f be a(-2). Let w(h) = -h**3 + 8*h**2 - 10*h + 14. Is 13 a factor of w(f)?
True
Let w = -9 - -14. Suppose p - w*p = 8. Is (-2 - -29)/((-3)/p) a multiple of 6?
True
Let z = -591 + 1042. Is 52 a factor of z?
False
Does 72 divide (6/(-12))/((20/5)/(-4000))?
False
Let h = -57 + -9. Let d be 8/3 - 4/6. Is 29 a factor of h/(-4)*4/d?
False
Suppose -96*q + 103*q - 10675 = 0. Does 55 divide q?
False
Suppose -2*l + 7*m = 9*m - 4024, 3*l - 6052 = m. Is 63 a factor of l?
True
Suppose 6*m - 11*m - 2*a + 6109 = 0, -4*m + 4880 = -2*a. Is 33 a factor of m?
True
Let d(m) = 4156*m**3 + m**2 - m + 2. Is d(1) a multiple of 22?
True
Is 3 a factor of 9 + -7 + 3 + 1?
True
Let j = -1076 - -1634. Does 31 divide j?
True
Let c = 124 - 76. Suppose c = -3*b + 6. Does 31 divide (90/(-4))/5*b?
False
Let m(k) be the third derivative of k**6/120 + 17*k**5/60 - k**4/24 + 7*k**3/6 + k**2. Is m(-17) a multiple of 8?
True
Let m(b) = -b**3 - b**2 - b - 1. Let d(z) = -4*z**3 - 10*z**2 - 3*z - 1. Let v(k) = d(k) - 5*m(k). Let t be v(3). Let r = 25 + t. Does 15 divide r?
False
Let g(p) = 42*p - 1. Let d be g(1). Suppose -4*x = 3 + d. Let m = x + 21. Does 6 divide m?
False
Let w(n) = 4*n**2 + 8*n + 6. Let d be w(-6). Suppose -6*p + 342 = d. Is 10 a factor of p?
True
Is 18 a factor of 3/((-6)/10) + 131?
True
Let f(m) = 0*m**3 - 11*m + 9