 = -7*f**3 + 3*f**2 + 3*f + 7. Let d(s) = 5*r(s) + 3*x(s). Let q be d(0). Does 19 divide 14/q*(-7)/(-2)?
False
Let i = 8 - 31. Let w = i + 39. Does 12 divide w?
False
Suppose -3*q + 26 = -10. Let t be q/7 - (-6)/21. Is ((-24)/5)/(t/(-10)) a multiple of 12?
True
Suppose -3*r + 8*r - 42 = -4*i, -4*r - i + 27 = 0. Let c(b) = -b**2 + 8*b - 9. Let n be c(r). Suppose -y + 2*v + 24 = 2*y, 3*v = -n*y + 39. Does 10 divide y?
True
Let t = 105 + -16. Is 11 a factor of t?
False
Let n be 1/(-1) + -2 + 7. Let o = n + -2. Does 2 divide o?
True
Let o(u) = u**2 - 2*u + 3 - 1 - 5*u. Suppose 0 = 4*d - 3*r - 47, 0 = -3*r - 4 - 11. Is o(d) a multiple of 5?
True
Suppose 0 = p + 4*p + 2*x - 13, 0 = 5*p - 4*x - 19. Is p a multiple of 2?
False
Let y(a) be the third derivative of -a**4/12 + a**3/2 + 2*a**2. Let g be y(-6). Does 16 divide 1 + g + 0/(-3)?
True
Let k = 6 - -28. Does 34 divide k?
True
Let a(w) = 2*w**2 + 14*w + 17. Is a(-9) a multiple of 15?
False
Suppose 6 = 2*u - 0*u. Suppose 5*o = -0*r - 5*r + 5, 0 = u*o + r - 7. Suppose 8 = -i + o*i. Is 4 a factor of i?
True
Let v(c) = c**2 + 5*c + 10. Does 4 divide v(-6)?
True
Suppose 16 = 4*u - c - 12, 0 = u - 5*c - 26. Does 2 divide u?
True
Suppose f + 2*q + 2 = 0, -f - 11 = 2*f + 5*q. Let u = f - -19. Does 3 divide u?
False
Suppose 5*r - 8 = 2. Suppose r*h + 3*i - 134 = 0, -5*i = h - 2*h + 41. Is 16 a factor of h?
False
Suppose t - 156 = -0. Does 26 divide t?
True
Let u = 10 - 7. Let p be 1 + 5 - u/1. Suppose 17 + 43 = p*d. Is 10 a factor of d?
True
Suppose -14*p = -12*p - 240. Is 7 a factor of p?
False
Let g(j) = -3*j - 5. Let c be g(-11). Let n = c - 14. Is 14 a factor of n?
True
Let j = 139 + -88. Is j a multiple of 18?
False
Does 4 divide 0/2 - (-76)/4?
False
Suppose -8*x - 178 = -706. Is x a multiple of 22?
True
Let g(i) = -5*i**2 + 10*i + 14. Suppose 2*s - 6 = s. Let k(z) = -4*z**2 + 9*z + 13. Let o(w) = s*k(w) - 5*g(w). Does 21 divide o(-9)?
False
Let w be 37/(-1 - (1 - 1)). Let i be w + -4*(-2)/(-4). Is 9 a factor of ((-4)/(-6) - 1)*i?
False
Let b = -77 - -114. Is b a multiple of 12?
False
Suppose 13 = 3*k + 1. Suppose k*t - 12 - 20 = 0. Is t a multiple of 4?
True
Let o(f) be the third derivative of f**6/120 - f**5/10 + 5*f**4/24 - 2*f**3/3 + 2*f**2. Let k be o(6). Suppose 3*z = 92 - k. Is z a multiple of 12?
False
Let s be -12*(-1 + (-44)/(-6)). Let x be s/10*(2 + 3). Let p = -14 - x. Is p a multiple of 12?
True
Let c(p) = -p**2 - 8*p - 9. Suppose 3*g + 6 = 2*g. Let w be c(g). Suppose -2*d - 2*a + 24 = -6*a, w*a - 37 = -d. Is d a multiple of 10?
False
Suppose -5*m - f - 197 = 0, m = -4*f - 47 - 0. Let z = 18 + m. Is (-1)/(((-6)/z)/(-2)) a multiple of 3?
False
Let h = 1 + 1. Suppose 0*b = -h*b + 40. Does 10 divide b?
True
Is 116*((-4)/(-16) - 0) a multiple of 5?
False
Suppose -v + 1 = 0, 2*v + 13 = 4*j + 7*v. Suppose -4*c + 9 = -7. Suppose 0 = -c*k + j*r + 22, k = -2*k - 5*r + 36. Does 5 divide k?
False
Let h = 5 + -11. Does 13 divide 8/12 - 152/h?
True
Suppose j - 5*w = -4*j + 310, -3*w + 294 = 5*j. Is j a multiple of 28?
False
Let l = -3 - -5. Suppose -7*z + l*z + 200 = 0. Suppose 5*d - z = 60. Is d a multiple of 10?
True
Let a = 5 - 5. Suppose -t + 4*p + 21 = a, t - 5*t + 9 = -p. Is (1 + 1)/t - -13 a multiple of 15?
True
Suppose g + 4*q - 59 = 0, 5*g - 4*q - 217 + 18 = 0. Is g a multiple of 24?
False
Let p be (-1)/((-6)/(-4))*18. Let q(u) = -u - 10. Let b be q(p). Does 17 divide (3 - (b + 0)) + 16?
True
Let a(d) be the third derivative of 51*d**4/8 + d**3/6 - 3*d**2. Let g be a(-1). Does 10 divide g/(-7) + 6/21?
False
Let n(r) = -79*r + 1. Let p be n(-1). Suppose 5*a - 8 = a. Suppose -a*s = 2*s - p. Is 11 a factor of s?
False
Let v be (-21)/(-2)*(-108)/(-21). Suppose 4*y - v = -14. Is 10 a factor of y?
True
Let k(q) = q**2 - 4*q - 3. Let u be 8/(-3) - (-4)/(-12). Is 18 a factor of k(u)?
True
Let o be 10/15 + (-1)/(-3). Let z be (1 - o)/(-4 + 3). Suppose 4*d + 35 = 3*s - 15, z = 5*s + 2*d - 40. Is 5 a factor of s?
True
Let z be 2*((-1)/(-2) + 1). Let v(o) = 3*o**2 - 5*o + 2 + z*o + o - 3*o. Does 17 divide v(4)?
True
Let y(m) = -m**3 + 8*m**2 + 11*m - 7. Let f be y(9). Let p = 35 - f. Is p a multiple of 8?
True
Let l(u) = 9*u**3 + 9*u**2 - 21. Let z(b) = -5*b**3 - 5*b**2 + 11. Let g be -12 + 2*2/4. Let a(m) = g*z(m) - 6*l(m). Is 5 a factor of a(0)?
True
Let z(o) = 5*o**2 + o. Let v be z(-1). Suppose 0 = v*f - 120 - 80. Is f a multiple of 17?
False
Let c be (-1)/((-4)/18)*2. Is c/36 + (-55)/(-4) a multiple of 14?
True
Suppose -2*r + 24 = 2*r - 5*g, 0 = -5*r - 3*g + 30. Let q = r + -3. Suppose -3*l - 13 + 34 = 3*y, 16 = q*l - 2*y. Is 5 a factor of l?
False
Suppose 4*a = 55 + 41. Does 12 divide a?
True
Let f(r) = r**3 - r**2 + 5*r - 15. Does 10 divide f(4)?
False
Suppose -24 + 108 = x. Is 21 a factor of x?
True
Suppose 0 = -l - 4*l + 245. Let d = l - 35. Is 7 a factor of d?
True
Let m be (-2)/8 - 101/(-4). Let a = -9 + m. Suppose -58 + a = -3*f. Is 14 a factor of f?
True
Is 3 a factor of 3/(15/55 + 0)?
False
Let n(f) = f - 6. Let z be n(3). Is 11 + z/(3/2) a multiple of 3?
True
Let y(h) = h**3 + 16*h**2 + 14*h - 6. Does 3 divide y(-15)?
True
Suppose l + 4 = -h - 0*l, 0 = 4*l + 20. Let d be 12/(-2) + h + -1. Let g = d - -12. Is 5 a factor of g?
False
Let c = -27 + 79. Is 26 a factor of c?
True
Is (-34)/8*17/((-85)/160) a multiple of 34?
True
Let i(n) = n**2 - 6*n + 5. Suppose -j + 3 = 5*p, -4*p - p + 4*j = -13. Suppose p = a - 5. Does 3 divide i(a)?
False
Let c(r) be the first derivative of 3 - 1/2*r**4 - 1/3*r**3 - 1/2*r**2 + r. Is c(-2) a multiple of 7?
False
Let h(k) = 2*k**2 + 4*k - 5. Let l be (-54)/12 + 1/2. Is 5 a factor of h(l)?
False
Let r(c) = 8*c**3 + 0*c - 10*c**3 + c**3 - 2*c + 6*c**2 + 3. Does 8 divide r(5)?
False
Suppose -3*x - z = -2*z - 155, -2*x + z = -105. Let i = x + -24. Does 13 divide i?
True
Suppose -2*u = u + 51. Let o be (-66 + 8)/((-4)/(-2)). Let w = u - o. Is w a multiple of 12?
True
Let j(g) = -g - 14. Let l be j(-11). Let q(v) = -5*v. Is q(l) a multiple of 15?
True
Let t be ((-2)/(-6)*0)/3. Suppose -3*p + 5*p - 36 = t. Is 6 a factor of 266/p - (-4)/18?
False
Is 273/2*(20/(-6))/(-5) a multiple of 16?
False
Let x be 3/(-3) - 9/(-3). Suppose 0 = -3*j + x*g + 107, -20 = 5*g - 0*g. Is 11 a factor of j?
True
Let v be (2/(-4))/((-3)/18). Let u = v + -3. Suppose -i + 2*j + 18 = 0, 0 = 4*i - u*j - j - 93. Is 12 a factor of i?
True
Let d be (-1 + -1 + 2)/(-1). Suppose -o - o + 6 = d. Suppose 0*f - 30 = -o*f. Is f a multiple of 5?
True
Suppose 5*j + 5 = 6*j. Suppose 2*q = -j*u + 64, -u - 2*q - 4 + 20 = 0. Does 10 divide u?
False
Let h = -7 + 9. Let b = 48 - h. Does 10 divide b?
False
Let r(t) = t**3 - t. Let n(h) = h - 7. Let x be n(8). Let p(d) = -32*d**3 + d**2 + 2*d - 1. Let i(q) = x*p(q) + 2*r(q). Is i(-1) a multiple of 10?
True
Let d(j) = -j**2 + 4*j - 1. Let n be d(3). Suppose 4*i - 10 = 2*u, -4*i + n*u = -3*u - 1. Suppose -i*m = -z - 2*z - 23, -3*m + 30 = 2*z. Is m a multiple of 8?
True
Let h(s) = 18*s - 2. Let p be -5 + 3 + 5 - 0. Is 26 a factor of h(p)?
True
Let t be 1/(((-4)/24)/(-1)). Does 10 divide (64/t)/(30/135)?
False
Let i(u) = u**2 - 7*u - 39. Is 15 a factor of i(16)?
True
Let v = 24 - 19. Does 32 divide 30/(-50) + 483/v?
True
Suppose 4*v + v = 10. Suppose v*x - 14 = 6. Is 10 a factor of x?
True
Let o(x) = -5*x**2 + 5*x**2 - 5*x - x**2 - 3. Let j be o(-3). Suppose -2*m - 1 = z, 0 = -j*z - 3*m + 10 - 1. Is 7 a factor of z?
True
Let k be 1/(2 - (-27)/(-15)). Suppose v + 43 - 2 = k*w, -1 = v. Suppose x + 3*f = w, 4*x + 2*f - 17 = 5*f. Is 5 a factor of x?
True
Suppose 2*n + 0*n = 5*y + 10, 2*y + 10 = 2*n. Is 5 a factor of n?
True
Let v = 45 + -32. Suppose -3*r + 32 = -5*h, -5*r + 3*h + v = -67. Is 5 a factor of r?
False
Let x(a) = 8*a. Let d be x(-1). Does 3 divide d*(2 - 5 - -2)?
False
Let f(t) = t**3 - 14*t**2 + t + 15. Is 10 a factor of f(14)?
False
Suppose 0 = -3*z - 12, 4*p = z + z + 16. Suppose 3*f = -3*u + 2*f + 42, 4*u - 46 = p*f. Is u a multiple of 4?
False
Is (-10)/(-45) - 1835/(-45) a multiple of 3?
False
Suppose m + 2 = -z, 0*z - 5*m = z - 14. Is 30/(-4)*(2 + z) a multiple of 7?
False
Let q(d) = d**3 + 3*d**2 + 2*d + 4. Let t be q(-3). Let y(b) = b + 1. Let x(a) = -14*a**2 - 8*a - 8. Let g(r) = -x(r) - 6*y(r). Is g(t) a multiple of 18?
True
Let o(h) = 6*h**2 - 2*