8 + -10. Let y(l) = 13*l**2 + 2*l - 2. Is 23 a factor of y(o)?
True
Is (-55)/(-2) + 3/2 a multiple of 19?
False
Suppose 0 = -3*s - 0*m - m + 100, 5*s = -m + 170. Does 6 divide s?
False
Suppose 3*w + 3 = -3*h, 2*h - 2 = 3*w - 4*w. Let t be 6/9*h/2. Does 7 divide 1 - -13*(0 + t)?
True
Let c(n) = -n - 4. Let m be c(-5). Let f be ((-3)/(-3))/m + 4. Suppose -f*r - 2*t + 20 = 0, 0 = -r - t - 2*t + 4. Is 4 a factor of r?
True
Let s be 0/((-6)/2) + 1. Let q(v) = v**2 - 3*v - 1. Let o(n) = -n - 1. Let d(x) = s*q(x) + o(x). Is d(7) a multiple of 19?
True
Let a be -3 - -4 - (-2)/2. Let n(g) = 2 + 3 + 3*g - a. Is 12 a factor of n(6)?
False
Let y(b) be the second derivative of b**5/20 - 7*b**4/12 + b**3 + 7*b**2/2 - b. Is y(6) a multiple of 7?
True
Let f(i) = -4*i - 2. Let m be f(-2). Suppose -m = -d - 2*d. Let q = d + 18. Is q a multiple of 15?
False
Suppose -4*c - 984 = -0*c. Let u be ((-1)/3)/((-2)/c). Let k = 57 + u. Is 13 a factor of k?
False
Let h(d) = -2*d**2 + 15*d + 13. Let q(y) = -y**2 + 7*y + 6. Let k(n) = -2*h(n) + 5*q(n). Does 5 divide k(3)?
True
Suppose -21*j + 3354 = 1002. Does 16 divide j?
True
Let r = -66 + 71. Let f(q) = -q**3 - 5*q**2 + 6*q + 5. Let w be f(-6). Suppose -w*z + 4*z = 5*d - 202, r*z - 90 = -2*d. Is d a multiple of 13?
False
Suppose -4*k = -4*s - 0*s - 16, -5*k + s + 4 = 0. Let x(t) = -t**2 + 64. Let d be x(0). Suppose k = 4*b - 40 - d. Is 18 a factor of b?
False
Let u(r) = 2*r**2 - 3*r + 7. Is 19 a factor of u(-5)?
False
Let t(r) = -9*r - 4. Is t(-2) a multiple of 6?
False
Is 24/((-7)/((-14)/4)) a multiple of 4?
True
Suppose -69 = -l - h - 3*h, -3*l + 143 = -4*h. Let g = 35 - l. Is g/(15/(-9) + 1) a multiple of 13?
False
Let w = 25 - 11. Suppose -5*p + 3*y + 13 + w = 0, -2*y + 20 = 3*p. Does 6 divide p?
True
Let r = -5 + 9. Suppose -3*n + 27 = 3*p, 0 = 3*n + p + r*p - 27. Is 9 a factor of n?
True
Suppose 2*u - 5*l + 35 = 0, -u = u - 3*l + 41. Let i = 29 + 20. Let d = u + i. Does 9 divide d?
False
Let y be 54/(-12)*2/(-3). Suppose -84 = -y*l + l. Is l a multiple of 19?
False
Suppose -g + 0*v + 137 = 5*v, 0 = -4*v - 8. Is g a multiple of 21?
True
Suppose -a + 0 = -2. Suppose -5*j = -a*j - 105. Let v = j - 14. Is v a multiple of 12?
False
Let f = -9 + 14. Let d = 6 + f. Is 11 a factor of d?
True
Suppose -2*t + 14 - 2 = 0. Let i = t - -19. Does 16 divide i?
False
Is 5 a factor of 107 - (-5 + -3)/4?
False
Let g(k) = k**3 + 3*k**2 - 5*k - 4. Let a be g(-4). Suppose 2*t + t - 24 = a. Is 4 a factor of t?
True
Let o be (5 - 0) + -8 + 7. Suppose 2*b + 2*i = 60, b + 2*i + 105 = o*b. Is 21 a factor of b?
False
Let q(s) = -s**3 + 14*s**2 + s - 28. Does 11 divide q(13)?
True
Let i be (0 - -1 - 0)/(-1). Is 3 + i/(1/(-18)) a multiple of 6?
False
Let c = 351 - 193. Let f = 2 + -2. Suppose 4*a + 4*d - 227 = -63, f = -4*a - d + c. Is 15 a factor of a?
False
Suppose -4*z + 1 = -7. Suppose -z*h = h - 72. Is h a multiple of 10?
False
Suppose m + 5*p = 18, 6*m = 3*m - 4*p + 21. Let t(s) = s**3 + 7*s**2 + 6*s + 3. Let b be t(-6). Suppose 3*o - 13 = h, 3*h + 6 = -m*o + b. Is o a multiple of 3?
True
Suppose 0 = -3*h - 6 + 15. Suppose r - 30 = -2*b + 13, 0 = r - h*b - 33. Is r a multiple of 13?
True
Let c = -12 - -17. Suppose -3*n + c*a = 6, 5*n + 5*a - 24 - 6 = 0. Does 2 divide n?
False
Let n = 32 + 20. Is n a multiple of 25?
False
Let c(z) = z**2 - 12*z + 13. Is c(12) a multiple of 3?
False
Let a = -7 + 7. Suppose -3*c - j + 52 = a, 2*c - 12 = j + 16. Is c a multiple of 14?
False
Let p(z) = z**3 + 6*z**2 + 4*z - 4. Let f be p(-7). Does 10 divide 2/(-4) - f/2?
True
Suppose -5*i = -4*i - 2. Let d = 0 + i. Suppose 0 = -3*y + 6, -d*w + y + 25 = -w. Is w a multiple of 10?
False
Let h(l) = l**3 - 5*l**2 - 4*l - 7. Let b be h(6). Suppose -b*x + 250 = p + 70, -5*p = 0. Is x a multiple of 12?
True
Is 2 a factor of (-4)/((-15)/9 - -1)?
True
Let t = -32 - -193. Is t a multiple of 23?
True
Suppose q - 2*y = 154, 2*y = q + y - 153. Does 38 divide q?
True
Suppose 2*g + 4*q - 42 = 0, 2 = 4*g - 5*q - 17. Suppose 3*t - 13 = g. Does 3 divide t?
False
Suppose 2*l + 120 = 7*l. Let o = l - 12. Is o a multiple of 12?
True
Let g(z) = z**3 + 5*z**2 + 4*z + 2. Let x be g(-3). Let u = -2 + x. Is (-41)/(-6) - (-1)/u a multiple of 5?
False
Suppose -r - 15 = 2*r, r - 616 = -3*v. Is 15 a factor of v?
False
Does 6 divide ((-16)/10 + 2)/(1/75)?
True
Does 3 divide ((-16)/(-4) - 7)/(-1)?
True
Suppose -2*h + 48 - 6 = 0. Does 4 divide h?
False
Suppose -4*a - 75 = -5*q + a, 2*q + 3*a - 20 = 0. Is 2 a factor of q?
False
Let a(o) = -o**2 - 6*o - 9. Let y be a(-7). Let c be (y/(-12))/(4/6). Is (10*(-5)/c)/(-1) a multiple of 9?
False
Let n(h) = 40*h - 38*h - 3 - 4. Let r be n(14). Does 16 divide 6/(-21) - (-1014)/r?
True
Is 2 a factor of (-55)/45 + (-2)/(-9) - -3?
True
Let l = 37 - 29. Is l a multiple of 4?
True
Let k = -1 - -6. Suppose k*t = 2*t. Suppose t = -c + 18 + 1. Is 7 a factor of c?
False
Suppose -44 = -4*y - r + 106, 120 = 3*y - 3*r. Is 7 a factor of y?
False
Let v(j) = 5*j**2 + 33*j + 5. Let u(p) be the first derivative of p**3/3 + 4*p**2 + p - 3. Let w(f) = -9*u(f) + 2*v(f). Is 7 a factor of w(7)?
False
Suppose -3*s - s = -12. Suppose -s*b - 9 = 0, 0*z - z + 4*b + 27 = 0. Does 8 divide z?
False
Let y = -3 - -35. Is 4 a factor of y?
True
Let m = 26 + -14. Is 6 a factor of m?
True
Let o(h) = h - 291. Let w = 4 - 4. Let p be o(w). Is 6 a factor of 6/10 - p/15?
False
Let i = 17 - 9. Does 3 divide (12/(-16))/((-2)/i)?
True
Let b = -6 - -11. Suppose b*g + 0 - 20 = 0. Is g a multiple of 3?
False
Let w(z) = -12*z - 1. Let n(l) = 11*l + 1. Let v(s) = 2*n(s) + 3*w(s). Suppose 3*a + 15 = 0, 3*t - 2*a - a - 12 = 0. Does 5 divide v(t)?
False
Suppose -140 = -7*z + 28. Is 12 a factor of z?
True
Suppose 2*b - 405 = -3*b. Is 27 a factor of b?
True
Let m(z) = 3 - 3*z**2 - 10*z + 9*z**2 - 5*z**2. Is m(12) a multiple of 9?
True
Let h = -1 + 3. Is h/4*28/2 a multiple of 3?
False
Let q = 5 - 3. Let k(u) = 4 - 4 + 8*u - 3 + u**2 - 2*u**q. Is 12 a factor of k(5)?
True
Suppose 0 = 2*n - 5*n + 573. Suppose 0 = 5*l + n + 129. Let f = l + 99. Does 15 divide f?
False
Let i be 54/8*(-6 - -14). Suppose -i + 9 = -3*w. Is w a multiple of 15?
True
Let n(b) = -b**3 - 10*b**2 - 3*b - 8. Let c be n(-10). Is 14 a factor of 304/c - 4/(-22)?
True
Let j = 41 - 25. Suppose -j = -4*d + 4. Suppose -4*i - 2*y = -d*y - 21, 3*y = 2*i - 3. Is 8 a factor of i?
False
Let c = 2 - 0. Let j = c - -58. Is j a multiple of 20?
True
Let f = -11 + 16. Let m be 3/(12/20) - -4. Suppose -f*v = -2*v - m. Is v a multiple of 3?
True
Let c(g) = 28*g**2 - g + 1. Let o(f) = -f**2 + 4*f - 3. Let r be o(2). Let b be c(r). Does 16 divide b + 2/(-1*2)?
False
Suppose 3*j - w - 43 = 2*j, 2*j - 76 = 4*w. Is 9 a factor of j?
False
Suppose 0 = -3*x - 4124 + 15500. Is x/60 + (-1)/5 a multiple of 23?
False
Suppose 2*l = 3*u - u + 12, -l + 4*u = -21. Let v be (3/5)/(l/5). Suppose v*h - 10 = 2*y - 2, 5*h = 5*y + 15. Is 2 a factor of h?
True
Is (-4)/10 - 1016/(-40) a multiple of 5?
True
Let d = -31 - -10. Does 7 divide (-6)/d + (-47)/(-7)?
True
Let q(l) = -l**2 + 17*l. Is q(15) a multiple of 6?
True
Let a = 227 - 90. Does 6 divide a?
False
Suppose q - 2*c = 10 + 5, 20 = -4*c. Let v(z) = z**3 - 4*z**2 - 3*z - 7. Let u be v(q). Suppose 4*n = 29 + u. Is n a multiple of 7?
False
Let f(v) be the third derivative of v**5/60 - 5*v**4/24 + 4*v**3/3 - 4*v**2. Is f(7) a multiple of 11?
True
Suppose 3*n = 3, n - 32 = 2*l + 3*n. Let i = 14 - l. Is 31 a factor of i?
True
Let f(r) = -r**2 + r + 1. Let j(z) = z**2 - 10*z + 2. Let o(g) = 2*f(g) + j(g). Does 8 divide o(-6)?
True
Let x be (-4)/(-6) - (-4)/(-6). Let p(q) = -q + 2. Let c be p(-3). Suppose -4*k + v + x*v = -43, k - 37 = -c*v. Is 12 a factor of k?
True
Let o be 1*(-2 - -1) - -8. Is 13 a factor of 173/o - 8/(-28)?
False
Suppose -2*i + 4 = 8. Is 3 + i - (1 - 18) a multiple of 6?
True
Let g(w) = 17*w - 1. Let d(q) = 18*q - 2. Let n(l) = -2*d(l) + 3*g(l). Is 15 a factor of n(3)?
False
Does 39 divide ((-26)/3)/((4/45)/(-4))?
True
Let f(t) = t**3 + 9*t**2 - 10*t + 4. Let x be f(-10). Is x/10 - 66/(-10) a multiple of 7?
True
Let g be (-2 - 24) + 6/3. Let t = -14 - g. Does 5 divide t?
True
Let s be 122/(-3)*(-6)/4. Suppose f - s - 36 = 0. Is f a multiple of 25?
False
Let h(l) = 3*l. Let z be h(6). Suppose 0 = -2*r