 Does 17 divide f?
True
Suppose 0 = 5*x + 5*s - 270, -x + s + 66 = -s. Is x a multiple of 29?
True
Let o(b) = 5*b**2 + b - 4. Suppose -2*s + 4*k = -0*s + 28, 11 = -s + 3*k. Let u be (-1)/(-3) + s/6. Does 12 divide o(u)?
False
Suppose -50 + 2 = -s. Does 12 divide s?
True
Let k(j) = j + 10. Let q be k(-5). Suppose 5*d - 176 = q*x - 3*x, 2*d = 3*x + 66. Does 12 divide d?
True
Suppose 2 = -4*o + 62. Let k be (-14)/(-10) + o/25. Suppose -2*l + 6 = -k*b, 0*l - 5*b = l - 21. Does 3 divide l?
True
Suppose 0 = 5*l - 2*k + 3*k + 91, 2*l + 35 = k. Is (-1 - l) + 9 + -6 a multiple of 17?
False
Suppose 3*l = 2*l + 3. Suppose -l*g + 5*r + 26 = 1, 3*r + 31 = 5*g. Suppose 2*w = g*n + 48, 3*w - 31 = -5*n + 66. Is w a multiple of 15?
False
Suppose x + 0*x - 28 = 0. Is x a multiple of 18?
False
Suppose 292 = 2*p - 6*p. Suppose -3*a - 135 = -0*a. Let g = a - p. Does 14 divide g?
True
Suppose 0 = 15*h - 17*h + 104. Is 24 a factor of h?
False
Is 5 a factor of (2 - 15/6)/(3/(-174))?
False
Does 3 divide (0 - -8) + (2 - 4)?
True
Let m be -23 - (0/2)/(-1). Let x be 37 - -2*12/(-8). Let f = x + m. Does 11 divide f?
True
Let g = 52 - -33. Suppose 2*k - g + 9 = 0. Is k a multiple of 16?
False
Let s(c) = c**2 + 11*c + 13. Is s(-12) a multiple of 5?
True
Let i(t) = t**2 - t. Let c(y) = y**3 - y**2 + y. Let f be c(0). Let w be i(f). Suppose -14 = -2*g - w*g. Is 3 a factor of g?
False
Let k be (34 - (0 - -3)) + -1. Suppose -5*g = 5*p + k, 3*g - 4*p - p = -26. Let n = g + 16. Is 8 a factor of n?
False
Let j be 12*3 + 6 + -6. Let n = -24 + j. Is 5 a factor of n?
False
Suppose 3*h + 186 = 6*h + 4*f, 5*f = h - 43. Does 29 divide h?
True
Let h be ((-54)/4)/(2/(-12)). Is 13 a factor of h/(-12)*2*-2?
False
Suppose 0*p = 3*p + 6. Let i be p/(-9) - 305/(-45). Is (-4)/(-6) - i/(-3) a multiple of 3?
True
Suppose 2*z = 5*z + 3. Is z/2 - (-88)/16 a multiple of 5?
True
Suppose 20 = 4*y - 9*y. Let q be (2 - 2/2)*y. Is 1/(-2) + (-70)/q a multiple of 12?
False
Let k = -24 + 27. Suppose -2*p + 390 = k*p. Is 17 a factor of p?
False
Let i = 5 + 7. Is i a multiple of 6?
True
Suppose -g - 10 = 4*b, -5*b = -7*g + 2*g + 25. Let p(u) = -u**3 + 4*u**2 + 5*u + 6. Let y be p(5). Let v = y - g. Is 3 a factor of v?
False
Let y(a) = 23*a + 9. Is y(6) a multiple of 12?
False
Suppose 3*y = -3*l - y + 503, 0 = 4*l + y - 662. Is 33 a factor of l?
True
Let o = 9 - 13. Is (208/12)/(o/(-6)) a multiple of 10?
False
Let i = 37 - 53. Let d be (-132)/i + 1/(-4). Let h = 37 - d. Does 9 divide h?
False
Let k(h) = -h**3 - 6*h**2 - 6. Let d be k(-6). Let s be (-2)/(-6) - 22/d. Suppose 83 = s*w + 2*z - 7, 0 = z + 1. Does 10 divide w?
False
Suppose -3*c + 0*c + 6 = 0. Suppose -3*u + 10 = 2*u. Suppose 0 = -2*p - c*h + 66, -p = -5*p + u*h + 114. Does 15 divide p?
True
Suppose 3*f - 182 = 2*z, -5*f + 3*f + 120 = -2*z. Is 28 a factor of f?
False
Suppose -21*k + 5321 = 1310. Is k a multiple of 40?
False
Suppose 8 = -5*q - 2*r, -2*q + 4*q - 5*r = 20. Suppose -4*b + 0*g = 5*g - 14, q = -5*g - 10. Suppose b - 34 = -2*z. Is z a multiple of 7?
True
Let g(a) be the first derivative of a**4/4 - a**3 - 3*a**2/2 + 3. Let x be g(4). Suppose 2*r - j = 8 + 12, 4*r - 32 = x*j. Is 12 a factor of r?
True
Suppose 13*l - 1841 - 5 = 0. Does 27 divide l?
False
Let y = 79 - 24. Let q = -10 + y. Does 9 divide q?
True
Let f(b) be the third derivative of 3*b**6/40 - b**5/30 + b**4/12 - b**3/6 - 6*b**2. Let k = 1 - 0. Is 4 a factor of f(k)?
True
Let q = 164 - 90. Let g = 109 - q. Is 22 a factor of g?
False
Suppose -2*c - 5*k = 0, 20 = 5*c + 2*k - 1. Suppose 0 = x - p + 5*p + 4, c*x - 5*p = 80. Does 9 divide x?
False
Let t = -55 + 119. Suppose 0 = -h - 3*z + 29, -2*h = 4*z - t. Is 19 a factor of h?
True
Let n(s) be the first derivative of -4*s**4 - s**2/2 - s - 1. Is 9 a factor of n(-1)?
False
Let v(c) = 11*c + 3. Let r be v(7). Suppose -k + 6*k - r = 0. Is 12 a factor of k?
False
Suppose 0 = -5*y + 8 + 12, -4*q - y + 376 = 0. Does 20 divide q?
False
Let m(d) = 19*d + 4. Let x(k) = 19*k + 3. Let v(j) = 4*m(j) - 5*x(j). Suppose 3*z = -4 + 1. Is 20 a factor of v(z)?
True
Suppose -z = 4*z. Is 10 a factor of 1/(4/40) + z?
True
Is 2 a factor of 27/3 - (-13 - -1)/(-3)?
False
Let q(b) = b**2 - 2*b. Does 19 divide q(8)?
False
Let u be (-22)/6 - (-2)/3. Is 12 a factor of (-30)/4*6/u?
False
Let h be 17 - 0*2/(-4). Suppose -x - 4 - h = 0. Let t = -7 - x. Is t a multiple of 11?
False
Suppose -85 = 7*h - 267. Does 3 divide h?
False
Let b = 228 - 87. Suppose -3*r - 63 = -c + 2*r, 5*r = -2*c + b. Suppose 5*j - c = j. Is j a multiple of 17?
True
Let y be (1/3)/(5/60). Suppose -r + y*w + 1 = 0, 3*r - 2*r + 5*w - 46 = 0. Is r a multiple of 7?
True
Suppose -3*z = z - 24. Suppose 4 = 5*j - z. Is j even?
True
Suppose -5*w + 15 = 3*h, -25 = w + 2*w - 5*h. Suppose 3*g - 60 + 0 = w. Suppose 0*j - 4*j + g = 0. Does 5 divide j?
True
Let j(s) = s**2 - 10*s - 3. Let v be j(11). Let b = 13 + v. Is b a multiple of 20?
False
Let b be 2/(-4) + (-24)/(-16). Let y = b - 3. Is 12 a factor of (12/(-2))/(y/12)?
True
Suppose 0*r + 20 = 2*r. Let i = r + -2. Does 3 divide i?
False
Let w(o) = -o**2 + 2. Let t be w(0). Suppose -4*l + 6*l = t. Is 14 a factor of l/1 + 25 + 2?
True
Suppose 0 = 2*o - 3*f - 4, 4*f = f. Let m(k) = 5*k**3 - k**2 + 1. Let j be m(1). Suppose -j*r = 5, -2*z + 5*r = o*r - 13. Is z a multiple of 5?
True
Suppose 0 = 4*p - 9 + 1. Is 12 a factor of 12/p*(-7 - -9)?
True
Let d be 14/4 - (-15)/(-10). Suppose 0 + 4 = d*c. Suppose -112 = -c*p - 44. Is p a multiple of 17?
True
Let g = -3 - -4. Let o be (-1)/((g + -2)/21). Suppose 3*w - o - 15 = 0. Does 7 divide w?
False
Suppose -2*z + 74 = -86. Is z a multiple of 7?
False
Suppose 0*m - 3*m = -225. Is 25 a factor of m?
True
Suppose -4*l + 56 = 5*s, l - 3 = 2*s + 11. Suppose 2*w - m = 37 - 15, -2*w = 3*m - l. Is w a multiple of 10?
True
Suppose 10*h = -l + 5*h + 50, 47 = l + 2*h. Is 9 a factor of l?
True
Suppose 20 = -3*p + 4*y - 4, -5*p - 4*y - 8 = 0. Let o be (-2108)/(-28) - p/(-14). Suppose -2*l - l = 3*f - o, -4*f = -2*l + 38. Is 13 a factor of l?
False
Let y(w) = w**3 + 5*w**2 + 4*w + 3. Let t be 5 + -2 - 7 - -1. Is 9 a factor of y(t)?
True
Suppose 314 = 4*f - 2*s, -5*f + 306 = -2*s - 89. Let n = f + 15. Does 24 divide n?
True
Suppose 0 = 2*v + 5*h - 8 - 1, -4*h + 10 = 3*v. Suppose -3*z = v*a - 44, 2*a + 17 = z + 5*a. Does 10 divide z?
False
Does 2 divide 4/6 + (-16)/(-12)?
True
Suppose 5 = -j + 8. Let p = -3 + 5. Suppose -o - p*r + 20 = o, -j*r + 24 = 2*o. Is 5 a factor of o?
False
Let n(k) = -7*k**2 + 2*k + 1. Let r be (-2)/(-7) - 9/7. Let c be n(r). Does 10 divide (1 + 1)*(-116)/c?
False
Let c(h) = -h**2 - 4*h - 3. Let m be c(-4). Let r(t) = -11*t - 2. Is 11 a factor of r(m)?
False
Suppose -5*q + 120 = -q. Is 3 a factor of ((-3)/(-9))/(2/q)?
False
Let o = 6 + -8. Is ((2 + 2)*-1)/o even?
True
Let x(b) = b**3 + 8*b**2 - 6*b + 9. Is 11 a factor of x(-8)?
False
Let a be (-2)/(2/(-1))*-72. Let p = -34 - a. Does 17 divide p?
False
Suppose 244 - 772 = -2*s. Is s a multiple of 22?
True
Suppose z + 127 = 4*c, -4*z = 2*c - 91 + 5. Does 6 divide c?
False
Let y(s) be the third derivative of -s**6/120 - s**5/60 + s**4/4 + s**3/3 - 3*s**2. Does 13 divide y(-4)?
True
Let o = -23 + 1. Suppose -99 = 5*f + 3*c + 52, 4*f + 2*c = -122. Let h = o - f. Is 10 a factor of h?
True
Let r be 1 - (-2 - -6) - 114. Let v = r - -222. Is 27 a factor of v?
False
Let o(a) = a**3 - 3*a**2 + 2*a + 2. Let z be o(2). Suppose -41 = -z*d - 7. Is d a multiple of 12?
False
Let c(v) = 7*v - 70. Does 14 divide c(30)?
True
Suppose 0*o = 3*o - 45. Let x = o - -11. Is 13 a factor of x?
True
Let k = 17 + 60. Is k a multiple of 13?
False
Let z = 22 - -61. Let s = z - 34. Is 13 a factor of s?
False
Is 12 + -7 + (4 - 1) a multiple of 5?
False
Let w(v) = -v - 5. Let l be w(-10). Suppose 0 = -2*c - 2*u + 6*u + 30, -4*c + 60 = l*u. Let y = -8 + c. Is 7 a factor of y?
True
Let o(w) = -3*w**3 + w**2 - 11*w + 6. Let u(d) = 4*d**3 - 2*d**2 + 12*d - 6. Let b(j) = 5*o(j) + 4*u(j). Is 9 a factor of b(5)?
False
Suppose 3*v - 54 = 54. Does 10 divide v?
False
Let w(p) = p**3 - 8*p**2 + 8*p - 8. Let i be w(7). Let o(m) = 20*m**2 + m + 1. Is 10 a factor of o(i)?
True
Let y be 4*-1*2/(-4). Suppose 30 = 7*w - y*w. Is 6 a factor of w?
True
Let k(d) = 38*d**2 + 1. Is k(1) a multiple of 30?