 = 5*w - 63. Is w a multiple of 8?
False
Suppose c = 3*c + 4, 4*c + 338 = 5*o. Let j = 161 - o. Let i = j + -15. Is 25 a factor of i?
False
Let b(v) = v**2 - 15*v + 14. Let l be b(14). Does 7 divide (-2)/2 - (l + -28)?
False
Suppose 5*c - 3*x - 15 = -0*c, x = 2*c - 5. Suppose -u + 0*u + 132 = c. Is 19 a factor of u?
False
Suppose -2*o + o = -86. Suppose -5*i - 371 = -8*i - 4*b, 3*i - 357 = 3*b. Let m = i - o. Is m a multiple of 8?
False
Let x(l) = 2*l - 2 + l - 3 - 2. Let f be x(5). Suppose -2*r + 118 = f. Is 28 a factor of r?
False
Suppose 2*g = -3*u + 7, 0 = -2*u - u + 3*g - 18. Let k(s) = 47*s**2 + 2*s + 1. Does 13 divide k(u)?
False
Let o(a) = -2*a**3 + 4*a**2 + 6*a - 8. Suppose 2*f - 4*t = -t - 17, 3*f + t = -20. Let i be o(f). Is 8 a factor of i/(-13)*(-2)/4?
True
Let w be (-1)/(-6) + -46*1/(-12). Suppose 0 = -3*h + 3*p + 35 - 8, 0 = 3*h + w*p - 41. Is h a multiple of 3?
False
Let n be (8/10)/(8/(-60)). Is 14 a factor of n*(40/(-12) + -2)?
False
Let a = 1 + 8. Suppose -5*m + 2*m - 3*p + 21 = 0, -3*m + p = -a. Does 6 divide (-12)/(-21)*70/m?
False
Let l(q) = q + 1. Let p(c) = 25*c - 1. Let g(f) = -6*l(f) - p(f). Is g(-4) a multiple of 38?
False
Suppose 913 = g + 5*k, 0*g - 3*g + 2689 = 5*k. Is 12 a factor of g?
True
Let a = -170 + 981. Is 25 a factor of a?
False
Let q be (-1 - (-75)/21)/(1/14). Suppose 15 = r - q. Is r a multiple of 13?
False
Suppose 0 = 3*v + 12, 2*i - 5 + 31 = -v. Let o = -10 - i. Suppose w = 16 - o. Is w a multiple of 10?
False
Let j(x) be the second derivative of -x**5/20 - 13*x**4/12 + 19*x**2/2 + 19*x. Does 18 divide j(-13)?
False
Suppose 0*a + 165 = -5*a. Let k = a - -17. Let j = -9 - k. Does 2 divide j?
False
Let j = 437 - 80. Does 17 divide j?
True
Suppose 0 = 5*j - 4*v - 26 - 36, 2*v = -2*j + 32. Is 1 - (-9 - -2)*j a multiple of 33?
True
Let m be 6/(5/10 + 0). Is (-60)/(-25)*200/m a multiple of 3?
False
Let p = -5 - -1. Let o(v) = -44 + 13*v + 49 + 7*v**2 - 6*v + v**3. Does 25 divide o(p)?
True
Let j(q) = 274*q - 12. Is j(3) a multiple of 60?
False
Let r = 2 + 80. Suppose 2*y - 4*y + r = 4*s, 0 = 3*s + 3*y - 60. Does 10 divide s?
False
Suppose -35 - 13 = -3*t. Suppose t*h - 672 = 8*h. Is h a multiple of 26?
False
Let t(p) = -p**3 - 6*p**2 - 8*p - 7. Let v be t(-5). Let q = v - -43. Is 17 a factor of q?
True
Let o(d) = 38 + d**2 + d + 2*d + 30 + 70. Is 6 a factor of o(0)?
True
Let f(c) = 20*c - 86. Does 58 divide f(13)?
True
Suppose -5*b = -4*w - 10*b + 6177, 2*w - b = 3099. Is 18 a factor of w?
True
Suppose -4*w + 1756 + 964 = 0. Suppose w = 11*h - 585. Does 24 divide h?
False
Let z(u) be the third derivative of -6*u**5/5 + u**4/6 + 2*u**3/3 + 8*u**2. Let j be z(4). Is (-2)/(-5) + j/(-20) a multiple of 19?
True
Let y = -1 + 3. Suppose -f - 31 = -2*f + j, 5*f - y*j - 161 = 0. Suppose 35 + f = 2*z. Is z a multiple of 17?
True
Let i(p) be the first derivative of 2*p**3/3 - 19*p**2/2 + 15*p - 6. Let y be i(13). Let x = -57 + y. Is x a multiple of 14?
False
Let f(j) = -j**3 + 4*j - 4. Let o be f(3). Let n = o + 25. Let i(m) = m**3 - 6*m**2 + 6*m. Is i(n) a multiple of 18?
True
Let w be 12/9*(-9)/6. Let v = 7 + w. Suppose -134 = -v*l - 0*f - 2*f, 3*f - 84 = -3*l. Is l a multiple of 13?
True
Let i = 287 - 171. Let m be -2*(1/(-2) + -1). Suppose -3*v = -6*v - 12, -m*g = v - i. Is g a multiple of 10?
True
Suppose -259 = -2*j - 3*g, -4*g + 418 = 4*j - 98. Suppose -4*p + j + 0 = 0. Does 4 divide p?
True
Let b = 1705 - 521. Does 16 divide b?
True
Suppose 2*x = -u + 50, 3*u + x = 2*x + 157. Let f = u + -5. Is 7 a factor of f?
False
Suppose 0 = -28*m + 1330 + 1974. Is 4 a factor of m?
False
Suppose 0 = -3*q - 0*q + 120. Is (1 + -1*q)/(-1) a multiple of 8?
False
Is 6 a factor of 9462/21 + 38/7 + -6?
True
Suppose -l + 2262 = 5*l. Does 43 divide l?
False
Let w(j) = 3*j**2 + 4*j - 33. Does 23 divide w(14)?
False
Suppose -3*k + 10 = 2*k. Let b be ((-12)/(-10))/(k/(-5)). Is 2 a factor of b*(-1 + (-3)/9)?
True
Suppose -2*r - 2*i = r + 182, 3*i - 271 = 4*r. Does 5 divide (3 - (-7)/(-2))*r?
False
Suppose -5*u - 3*a = -0*a - 8709, 3*a - 3489 = -2*u. Is u a multiple of 20?
True
Let y(h) = h + 10. Let l be y(-5). Suppose 0 = -7*d + l*d + 6. Suppose 5*t = d*g + 297, 4*t = -g + 56 + 168. Is 19 a factor of t?
True
Let p = 25 - 26. Suppose 9*t = 11*t - 62. Let y = t - p. Does 7 divide y?
False
Let y be (-15)/(-10)*14/(-3). Let v(k) = -k**3 - 2*k**2 - k + 1. Let l be v(-2). Let c = l - y. Is 7 a factor of c?
False
Let h(k) = 297*k**2 + k. Let a be h(-1). Suppose 4*w - a = -4*s, 3*w + 2 = -4. Does 38 divide s?
True
Let v(c) = 2*c + 4. Let w be v(0). Suppose 4 - 20 = -w*m. Suppose 0 = -m*p + 3*f + 41, -p - 5*f = 4*p - 95. Is 7 a factor of p?
True
Suppose -484 - 1256 = -12*c. Let n = 154 + c. Does 23 divide n?
True
Let w(j) = 3*j**2 + j. Let l be w(-1). Suppose 6 = f + l. Is 4 a factor of f?
True
Let j(t) = 2*t - 2. Let g be j(1). Suppose g = s + 2*s - 9. Suppose 0 = -s*o + 3, -5*o + 55 = 4*z + z. Is z even?
True
Suppose -5 = -5*u + 5*j, u + 2*u - 4 = 2*j. Let k be 46/4 + (-12)/8. Let q = k - u. Does 4 divide q?
True
Suppose 9 - 1 = 2*t. Suppose -w - t*g = -70, -3*g + 348 = 4*w - 4*g. Does 23 divide w?
False
Let l(p) = -p**2 + 6*p + 1. Let n be l(7). Let m be (n/(-12))/(1/8). Suppose -2*c - c + 2 = m*o, 3*c = -o + 5. Is c a multiple of 2?
True
Suppose 217 = b - 2*q, 5*q = 5*b - 0*q - 1085. Let j = b + -92. Is j a multiple of 25?
True
Let k(n) = -n**3 + 8*n**2 + 2*n + 2. Suppose 0 = -2*q + 5*i + 6, -i = 5*q + i + 43. Let v = q + 15. Is k(v) a multiple of 6?
True
Does 7 divide (-164)/287 - (-340)/7?
False
Suppose 0*f = f - 4, -3*b - 5*f = -26. Suppose b*l - 3*x - 59 = 0, -4*l - 5*x = -3*l - 49. Suppose p + 4 = l. Is p a multiple of 10?
True
Suppose -10 + 22 = 2*j. Let m = j - 6. Is 23 a factor of (-4)/(-8)*64 + m?
False
Let h be -44*(3 + (-36)/16). Let i = -31 - h. Suppose -i*m + 122 = -14. Is m a multiple of 30?
False
Let q(y) = -y**2 - 4*y + 1. Let u be q(-6). Let v = 1 + -13. Does 2 divide u/(4/v*3)?
False
Does 16 divide (-8 + 8 + -6)/((-6)/272)?
True
Let n = -57 + 202. Let b = -65 + n. Suppose -5*z = -0*z - b. Does 14 divide z?
False
Let c(d) = d**3 - 8*d**2 + 3*d - 16. Suppose 5*p = g + 37, 3*g - 6 = -4*p + 35. Is c(p) a multiple of 5?
False
Let u = -7 - -9. Suppose -u*t - 3 = -9. Is 3*(t + -47)/(-4) a multiple of 20?
False
Suppose -12*z - 935 = -17*z. Is 11 a factor of z?
True
Let l = -217 + 150. Let u = l + 77. Does 10 divide u?
True
Let p be (1 - 49/3)*-3. Suppose 4*t = 20, 2*l + 5*t = 217 + p. Is l/6 - (-1)/6 a multiple of 5?
True
Suppose -25 = -m - 24. Let s(y) = 95*y**2 + 2*y - 1. Is 8 a factor of s(m)?
True
Let j(o) = -o**3 - 70*o**2 + 142*o + 316. Is 82 a factor of j(-72)?
False
Let g(o) = o + 10. Let x be g(3). Let b be x/(-65) - 18/10. Let v = b + 26. Does 8 divide v?
True
Let a be (-1 + (-28)/20)*-5. Let p = a + -8. Suppose 29 = 5*s - p*s. Is 6 a factor of s?
False
Suppose -t + 151 = -0*t. Let k = 47 + t. Is 18 a factor of k?
True
Let b = 26 - 24. Suppose -5*n = 2*l - 16 - 58, 4*n = b*l - 92. Does 10 divide l?
False
Let g be (2 - (4 + -3)) + 13. Suppose -4*a = -2*a - g. Suppose 3*b + a = 40. Is 3 a factor of b?
False
Let u = -15 - -8. Let r(w) = w**3 + 6*w**2 - 8*w - 7. Let d be r(u). Suppose d = -5*g + 61 + 69. Does 12 divide g?
False
Suppose c - 8 = -3*c. Suppose t - 7 = 2*t - p, 34 = -2*t - c*p. Let y = t + 35. Is y a multiple of 8?
False
Suppose -y - 2*y - 270 = x, x = 0. Suppose 5*w - 515 = 145. Let g = w + y. Does 28 divide g?
False
Suppose -2*c = -4*d - 5 + 1, c + d - 5 = 0. Let x(s) be the second derivative of 10*s**3/3 - 5*s**2/2 + 7*s. Is x(c) a multiple of 29?
False
Let l = 1630 + -773. Is 25 a factor of l?
False
Let b be (-12)/(-8)*(-14)/3. Suppose -5*p = -10, 4*u + 4*p = -p - 54. Let m = b - u. Is m a multiple of 2?
False
Does 6 divide 3/(-18)*-4*1152?
True
Let f be 7/((-7)/6)*-1239. Suppose -2*i - 2*i = -4*t + 9912, -2*t = 3*i + f. Is 18 a factor of 2/(-11) - i/77?
False
Suppose x - 5*c - 96 = 0, 20*x + 5*c = 19*x + 46. Is 49 a factor of x?
False
Suppose 15 = 5*g, 9*d + 2*g = 4*d + 1946. Does 19 divide d?
False
Let l(h) = -5 + 11*h**2 - 6*h**2 + 3*h + 2*h. Let u be l(4). Let s = u + -41. Is s a multiple of 13?
False
Let m(p) = p**2 - 5*p + 7. Let r be m(4). Suppose b - r = -1, -3*b - 198 = -3*g. Is 34 a factor of