ppose 2*w - 8 = -2*s, c*w - 8 = 4*w - 2*s. Suppose w = 3*l + 2*l - 70. Is l a multiple of 5?
False
Suppose 5*g + 5*y = 6 + 104, 98 = 5*g - y. Suppose 5*d - d + 2*h - g = 0, 12 = d - 3*h. Does 15 divide 381/9 + 4/d?
False
Is 32 a factor of (0 + 24)*(-12)/(-9)?
True
Let m = -32 - -9. Let c = m - -39. Suppose 80 = 5*k - 4*r, 3*k + 3*r + r = c. Is k a multiple of 8?
False
Let m(l) = -l + 10. Let p = 8 + -10. Let c = 2 + p. Is m(c) a multiple of 7?
False
Suppose 2*k - 4 - 4 = 0. Let v(a) = 4 - k*a + 4*a - 3*a. Is v(-3) a multiple of 6?
False
Let z be 1/(4/(-9))*-8. Let o = -3 - -5. Suppose -o*m + z = m. Is m a multiple of 3?
True
Let l = 4 - 0. Suppose -38 = -v - 3*i, -4*v = -l*i + i - 152. Let x = v + -19. Is x a multiple of 10?
False
Let c(r) = -r**3 - r**2 + 3. Let y be c(0). Let f(b) = y - 3*b + b + 30 + b. Does 14 divide f(0)?
False
Let l(t) = -26*t - 7. Is l(-4) a multiple of 9?
False
Suppose 0 = -2*h + 48 + 40. Is 11 a factor of h?
True
Is (-148)/(-18) - (-12)/(-54) a multiple of 2?
True
Let h = 1 - -4. Suppose 0 = -h*r - 0*r + 5, 4*s + 2*r = 78. Does 10 divide s?
False
Suppose -4*h + 6 + 16 = 2*f, 4*f = -h + 16. Suppose -f*g + 8*c = 3*c - 72, g - 22 = c. Does 10 divide g?
False
Let s(f) = -3 + 2 + 5 + 3*f - 2*f. Let u be s(6). Is 12 a factor of (-30)/(-4)*32/u?
True
Let y = 7 + -9. Does 4 divide -3 - y - 30/(-6)?
True
Let b(l) be the third derivative of 0 - 1/3*l**3 - 1/12*l**4 + 2*l**2 + 0*l. Does 4 divide b(-5)?
True
Suppose 0 = 4*v + p - 0*p - 36, 5*v - 45 = 4*p. Suppose -r - v = -2*r. Is 4 a factor of r?
False
Let f be (-416)/28 + (-2)/14. Let u = f - -29. Is u a multiple of 14?
True
Suppose -5*s + 178 = z + 3*z, -5*z + 231 = 2*s. Is 21 a factor of z?
False
Let m(h) be the first derivative of h**3 - h**2 + 2*h + 2. Let x(u) be the first derivative of m(u). Is x(6) a multiple of 14?
False
Suppose 5*d - 95 - 65 = 0. Does 16 divide d?
True
Let j(p) = p**3 - 8*p**2 + 11*p - 4. Suppose 3 = -x - 5*s, x + 2*s - 31 = -4*x. Is 8 a factor of j(x)?
True
Suppose 5*g + 23 = 218. Is 4 a factor of g?
False
Suppose 337 = 2*l - 71. Is 28 a factor of l?
False
Suppose -4*j - 752 = -2*i, 2*j - 3*j - 1532 = -4*i. Suppose 0*a - 4*a - i = 0. Let l = -65 - a. Does 21 divide l?
False
Let g(c) = c**2 + 7*c - 7. Suppose -48 = 6*l - 2*l. Let q be (-3)/l + 74/(-8). Is g(q) a multiple of 6?
False
Let r(k) = 8*k**3 - k. Let y be 2/(-6) + 32/(-12). Let s be (2/y)/(4/(-6)). Does 7 divide r(s)?
True
Suppose -3*b + 81 + 57 = 0. Suppose 4*q = 2*q + b. Does 18 divide q?
False
Is (0 - -3)*2/(-12)*-180 a multiple of 18?
True
Suppose -5*f = -2*g + 69 + 389, -4*f + 3*g - 365 = 0. Let o be (f/6)/((-2)/9). Suppose o + 66 = 5*c. Is 13 a factor of c?
False
Let x(m) be the third derivative of m**4/24 + 33*m**3/2 + 3*m**2. Is 33 a factor of x(0)?
True
Let j(x) = x + 1. Is j(11) even?
True
Suppose -2*t + 60 = -12. Does 16 divide t?
False
Let q = 5 + -5. Let z = q + 3. Is z a multiple of 3?
True
Let w(r) = -r**3 + 10*r**2 - 6*r - 5. Is 3 a factor of w(9)?
False
Let i(f) = 2*f**3 + f**2 - 1. Let k be i(1). Is 8 a factor of (-317)/(-11) + k/11?
False
Let n(x) = x - 8. Let w be n(7). Let y(v) = -54*v - 1. Does 11 divide y(w)?
False
Suppose -s = 3*s + 12. Does 8 divide s*(-8)/(-12)*-16?
True
Suppose 4*t - 36 + 160 = 0. Let d = 2 + t. Let g = -2 - d. Does 13 divide g?
False
Let n(s) = s**2 + 82. Let f(v) = -v**2 - 3*v + 4. Let p be f(-4). Is 22 a factor of n(p)?
False
Let o = 191 + 16. Is o a multiple of 23?
True
Let x(o) = -2*o**2 + o + 3*o**2 + 1 + 14*o**3 + 2*o - 4*o. Does 15 divide x(1)?
True
Suppose -5 + 0 = -5*o. Let t be 4/(-14) - (-25)/(-35). Does 3 divide 10*(o + t - -1)?
False
Let d = -18 + 34. Is (-3)/(-6)*2*d a multiple of 8?
True
Suppose 19 = 3*f + 1. Suppose f*v = v + 375. Suppose -3*c + v = -4*i, 99 = 5*c + i + i. Is c a multiple of 9?
False
Suppose 1 = -g - 3*m, 0*g = 4*g - 4*m - 12. Let z = g + 0. Suppose -z*p + 29 = u - 41, -53 = -p - 5*u. Is p a multiple of 16?
False
Let l be (27/(-3))/((-12)/104). Suppose 0 = -m - 2*m + l. Is m a multiple of 13?
True
Let i be (2 + 1)*(2 + -1). Suppose -n + i + 45 = 0. Is 24 a factor of n?
True
Let a = -52 + 62. Is a a multiple of 7?
False
Let k be (-4)/(-6)*-3*2. Let x(r) = -r**3 - 4*r**2 - 4*r + 2. Is 5 a factor of x(k)?
False
Let t be 18/4 - 4/8. Let z = 5 - t. Suppose 0 = 3*y + z - 25. Does 7 divide y?
False
Let c = -5 + 3. Let x be -12*((-1)/2 + 0). Is ((-56)/6)/(c/x) a multiple of 13?
False
Suppose -n = 2*m - 81, -n = -m - 0*n + 39. Is m a multiple of 10?
True
Let i(n) = -n**3 - 6*n**2 - 7*n - 4. Let l be i(-5). Does 4 divide (2/l)/(1/39)?
False
Let f = 8 + -4. Suppose -2*x - 5*r + 46 = -f*r, 0 = 3*x - 2*r - 55. Is x a multiple of 9?
False
Suppose 7*m - 296 = -m. Does 22 divide m?
False
Let g = -1 - -1. Suppose 2*q - 6 = -2*x - g*q, -4*q - 8 = 0. Suppose x*h + 62 = 3*z, 2*z - 24 = -h - 0*h. Is z a multiple of 5?
False
Suppose -5*y + 163 = -122. Suppose -3*x = -5*m + 66, -6*m + 2*m + x = -y. Does 5 divide m?
True
Suppose 5*b + 5*o - 322 + 32 = 0, 0 = -5*b - o + 310. Is 10 a factor of b?
False
Let y(t) = 2*t - 3. Let r be y(3). Suppose r*b = -b + 744. Suppose 5*l + 36 = b. Is l a multiple of 15?
True
Let h(o) = -2*o**2 + 0*o**2 + 4*o**2 + 2*o**2. Let t = -3 - -2. Is h(t) a multiple of 4?
True
Suppose 3*h - 8 = -h. Is h + (-1)/(3/(-69)) a multiple of 9?
False
Let o be 7 - 2*(-4)/(-8). Suppose 6 = u + 4*f, -u + f + o = -0*u. Does 3 divide u?
True
Let x(z) = 9*z**3 - 4*z**2 + 3*z. Let o be x(2). Suppose -5*f + k + o = 0, 2*f - 7 = k + 19. Is f a multiple of 12?
True
Is 11 a factor of (-1)/(-1 - 448/(-452))?
False
Suppose 0 = -3*p - 1 + 10. Suppose -2*b = -p*b + 4. Suppose b*d = -d + 215. Is 15 a factor of d?
False
Suppose -8*m + 45 = -3*m. Does 17 divide (-62 + -4)*(-3)/m?
False
Let q(l) = 5*l**2 - 11*l - 3. Let z(d) = 16*d**2 - 34*d - 8. Let g(p) = 7*q(p) - 2*z(p). Does 13 divide g(7)?
False
Suppose -n = 2*n - 282. Does 32 divide n?
False
Let u = -64 - -129. Is u a multiple of 20?
False
Let l = -175 - -283. Does 27 divide l?
True
Let a(q) = q**2 + 7*q + 11. Suppose -8 + 0 = 2*u. Let z(h) = h - 4. Let b be z(u). Does 19 divide a(b)?
True
Let d(h) = h + 2. Suppose w = 5 + 10. Let v = w + -7. Is 5 a factor of d(v)?
True
Let v be (1 + -2)*-1 + 2. Let u be (-3396)/(-28) + 4/(-14). Suppose 0 = -v*l + d + 87, -u = -4*l - 2*d + 5*d. Is l a multiple of 14?
True
Suppose -3*k = -0 - 3. Let p(r) = 2*r + 1. Let f be p(k). Suppose f*t - 15 = 0, 0*t + 3*t - 115 = -5*y. Is 9 a factor of y?
False
Suppose -4*d = -d + 240. Let g = -50 - d. Is 5 a factor of g?
True
Suppose 2 = -3*r + 8. Suppose r*m + 3*s = 12, 3*m + 6*s - 18 = 2*s. Is 6 a factor of m?
True
Let h = 22 - -42. Is h a multiple of 7?
False
Let r(k) = -2*k**3 + 2*k**2 + k. Suppose -f - 8 = -4*s - 4*f, 3*s - 9 = -3*f. Let d be r(s). Suppose d*c = h + 36, -h - 26 = -2*c - 2. Does 6 divide c?
True
Let f be (1 - 0)/((-1)/(-9)). Suppose -r - 3 = -g + r, 2*r = 3*g - f. Suppose -w = -u - 1, -g*w + 17 = -w + u. Is 6 a factor of w?
True
Let y = -5 + 9. Let c be y/(-6) + (-12)/9. Let i = 18 - c. Is i a multiple of 20?
True
Is 9 a factor of ((-364)/(-21))/(2/6)?
False
Let n = 122 - -40. Is 18 a factor of n?
True
Let z be 4/(-14) + 2260/(-28). Let h = -49 - z. Is h a multiple of 16?
True
Suppose -r + 36 = 4*a - 205, -2*r = -5*a + 298. Suppose t + 3*t + 2*l = a, 4*t - 4*l = 48. Is 14 a factor of t?
True
Let p(o) = -o**2 - 17*o - 16. Is p(-15) a multiple of 7?
True
Suppose 0 = -2*t + 6*t - 872. Is 34 a factor of t?
False
Suppose 0*r + 50 = 5*r. Is 3 a factor of r?
False
Let u(z) = -z**3 - 5*z**2 + 4*z - 3. Let y be u(-6). Let w(p) = -p. Let o be w(y). Let k = 39 + o. Does 15 divide k?
True
Let y(d) = -d**2 - 4*d + 7. Let l be y(-5). Let s be 190/3 - 4/(-6). Suppose l*v + 14 = s. Does 11 divide v?
False
Let g(o) = -o**2 + 2*o - 2. Let t be g(3). Is 0*3/(-6) - t a multiple of 4?
False
Suppose -3*p = -5*p. Suppose -3*m = -k + 70, 5*k + p*m - 5*m = 300. Does 12 divide k?
False
Suppose -11 = -4*y + 3*y. Suppose -4*j - j = 4*b + 2, y = -2*j - 5*b. Suppose -3*r + 14 = -2*u, -r = j*r - 3*u - 18. Is r a multiple of 2?
True
Let o(w) = w**3 - 8*w**2 - 2*w + 8. Let i be o(8). Let x = i - -19. Let r = x - 1. Is 5 a factor of r?
True
Suppose -5 = 4*x - 5*x. Let d = 40 - 15. Suppose -d = -x*u + 55. Is 9 a factor of u?