 o be n(-7). Let l(v) = 2*v. Let p be l(o). Let w = 9 - p. Does 5 divide w?
True
Suppose 2 - 8 = 2*u. Let j be ((-9)/(-2))/(u/4). Does 15 divide j/(-15) - (-346)/10?
False
Let k(b) = -b**3 + 13*b + 12*b**2 - 11*b + 9 - 13*b. Suppose 5*g - 2*q = 49, q - 12 = -3*q. Is 3 a factor of k(g)?
True
Does 44 divide 84 + 7 + -2 + -1?
True
Suppose 0 = -3*r + 2*h + 102 + 196, -4*r = 4*h - 364. Suppose r = i - 0. Suppose -4*m = -m - i. Is 15 a factor of m?
False
Suppose 3*l - 2*l - 2 = 0. Suppose 17 = -l*d + 3*d. Does 7 divide d?
False
Suppose 0 = 9*k - 4*k - 315. Suppose n - k + 2 = 0. Is n a multiple of 22?
False
Let i = 20 - 8. Does 10 divide -1*3*(-40)/i?
True
Suppose -2*b = 2*b - 8. Let d be 3/6*(35 + 1). Let z = d - b. Does 8 divide z?
True
Let q(d) be the third derivative of d**4/24 + 11*d**3/6 + 3*d**2. Does 5 divide q(-6)?
True
Let g(u) = u**2 - 15*u - 28. Is g(-11) a multiple of 35?
False
Let y be 5 + 1 - 13/13. Suppose -t + 80 = -2*h, 0 = -y*t - 4*h + 409 + 61. Does 28 divide t?
False
Let u be (-2)/5 + 38/95. Let j(h) = -h**2 + 4*h - 2. Let n be j(2). Suppose -5*r + n*d + 44 = -r, u = -3*d + 6. Is 10 a factor of r?
False
Let v(p) = p**3 + 6*p**2 + 5*p + 3. Let b be v(-4). Suppose b = -5*u - 3*d, -4*d - 25 = -5*u + d. Is 9 a factor of -1 + u - (-105)/5?
False
Let b = 176 + -116. Does 15 divide b?
True
Let u(f) = -f - 1. Let g be u(-1). Suppose g = 3*p - 4*a - 44, -3*a + 17 = 5*p - p. Does 24 divide (-291)/(-12) + (-2)/p?
True
Suppose 0 = 13*w - 11*w - 12. Is w/((-5)/(100/(-6))) a multiple of 10?
True
Let g(d) = d**2 + 8. Suppose 5*y - 9 = -29. Is 8 a factor of g(y)?
True
Let v(p) be the second derivative of -p**5/20 + 5*p**4/6 + 5*p**3/6 - 5*p**2 - 4*p. Is v(10) a multiple of 18?
False
Let t(z) = -2*z - 5. Let h be t(-7). Suppose 5*k + h = 169. Suppose -222 = -5*c - k. Does 11 divide c?
False
Let b(i) = i**3 + 8*i**2 + i + 4. Let f(x) = x**2 - 9*x + 7. Let r be f(7). Let m be b(r). Suppose -2 = g, 3*w - 20 - m = -3*g. Is w a multiple of 10?
False
Let o be (3*-2)/(12/(-88)). Let x = 30 - o. Is 99/21 - 4/x a multiple of 2?
False
Suppose 4*q - 382 = -2*b, -184 = -b + 6*q - q. Is 21 a factor of b?
True
Suppose -35 = -5*r - g, -2*g = -r - 3*g + 11. Let j = 4 + r. Is 6 a factor of j?
False
Suppose -5*z = -7*z. Suppose c - 5 + 2 = z. Is 3 a factor of c?
True
Let r = 278 - 81. Is 35 a factor of r?
False
Is 3 - (-27 - (-2)/2) a multiple of 17?
False
Let x(z) be the third derivative of -z**6/120 + 13*z**3/3 + 4*z**2. Does 8 divide x(0)?
False
Let l be -3*((-4)/6 - 0). Let i = l - -2. Is 3 a factor of i?
False
Let a(z) = 2*z**2 - 5*z + 4. Let m be a(4). Suppose 0 = 2*f - 0*f - m. Is 6 a factor of f?
False
Suppose 4 = n - 28. Does 8 divide n?
True
Does 5 divide ((-44)/(-4) - 2) + -3?
False
Suppose 0*w + 3*g = w - 18, -51 = -5*w + 2*g. Is 9 a factor of w?
True
Let x(a) = -a**3 - 5*a**2 - a - 2. Let s be x(-5). Let o be (-3)/(-2)*(-4)/s. Does 15 divide 47/3 + o/3?
True
Let z(y) = -y**3 + 7*y**2 - y - 14. Does 16 divide z(6)?
True
Let z be (6 - -1) + 1*-2. Let b = -7 - -12. Suppose b*s + 2*g = -6 + 33, -z*s + 22 = -3*g. Is 5 a factor of s?
True
Suppose -3*x = -3, -g - 5*x + 60 = 15. Does 10 divide g?
True
Let b = 11 + 111. Let u = b - 66. Does 14 divide u?
True
Suppose l + 258 = 5*u, -3*u = 2*l - 0*l - 160. Is u a multiple of 13?
True
Suppose -3*l + 4*j + 15 = -35, -2*l - 3*j = -5. Is l a multiple of 3?
False
Let a = 2 - 2. Suppose 3*y - 1 - 5 = a. Does 2 divide y?
True
Let v = 35 + -1. Suppose v = 2*r - 38. Does 18 divide r?
True
Is 6/(-9) - (-274)/6 a multiple of 9?
True
Let o(f) = -5*f**3 - 11*f**2 - 6*f + 9. Let v(i) = i**3 - i - 1. Let c(u) = o(u) + 4*v(u). Let k(r) = -r**3 - r - 10. Let q be k(0). Is c(q) even?
False
Let f(b) = -2*b**3 - 2*b**2 - 2*b + 1. Let j(p) = p + 10. Let y be j(-12). Let c(t) = t**3 + 3*t**2 + 4*t + 2. Let l be c(y). Does 13 divide f(l)?
True
Let g = -13 - -9. Does 7 divide 24 - -3*4/g?
True
Let j(a) be the second derivative of -a**5/20 - 2*a**4/3 - 3*a**3/2 + a**2/2 + 2*a. Does 6 divide j(-7)?
False
Let n(a) = -a - 3. Let y be n(-3). Suppose 3*l + 8 + 20 = -2*v, 2*l - 3*v + 10 = y. Is 5/((-10)/l) - -2 even?
True
Let i(n) = -n**3 + 6*n**2 + 8. Let k be i(6). Let c = k - -9. Is c a multiple of 14?
False
Let r(s) = -6*s - 3. Does 8 divide r(-5)?
False
Let k be (-2 + 2)/(-3 - -2). Suppose 5*w - 4*b - 215 = k, 0*w = -4*w + 3*b + 171. Let r = w + -23. Is r a multiple of 9?
False
Suppose -2*z + 8 = -0*z. Let i be 4/(-14) - 8/(-28). Suppose i = 2*t - 24 + z. Is t a multiple of 9?
False
Does 27 divide (243/3)/(-3)*-1?
True
Suppose 5*l = -3*q - 12, 2*l + 4*q - 2*q + 4 = 0. Let c = 6 - l. Is c a multiple of 3?
True
Let f(q) = 2*q**2 - 3*q + 1. Does 34 divide f(9)?
True
Let g be -2 - (-41 + (-6)/2). Let t be (g/(-35))/((-2)/20). Let n = t - -13. Does 23 divide n?
False
Let t be 0 + 4/4 - -2. Suppose 2*l + 20 = t*l - 4*r, l - 47 = -5*r. Is 16 a factor of l?
True
Let r be 10/(-35) - 4/(-14). Suppose r = -t - 4 + 28. Is t a multiple of 10?
False
Let u(i) = 4*i**2 + 22*i. Is 39 a factor of u(-9)?
False
Suppose -3*u + 0*u = -3*n + 66, -5*n - 4*u = -83. Let t = 56 - n. Is t a multiple of 19?
False
Let l = 8 - 5. Suppose 2*i - 12 = -l*h + h, 2*h = -4*i + 18. Is i a multiple of 3?
True
Suppose 0*c + 4*c - 12 = 0. Suppose 5*t - c = 2. Is -1 + t - (-7)/1 a multiple of 5?
False
Suppose -2*c + 380 = 2*c. Does 17 divide c?
False
Suppose -3*z = 3*d + 3, -5*d = -5*z - 0*d + 5. Suppose 0 = -4*r + f + 161, f + 0 + 5 = z. Is 13 a factor of r?
True
Suppose -3*m = 9, 2*f - 19 = 3*m - 2. Suppose -f*v + 93 = -159. Is 21 a factor of v?
True
Let l(j) = j. Let f be l(0). Suppose f = -4*q - 2*d + 14, -3 + 2 = -2*q - 3*d. Suppose 112 = -o + q*o. Is o a multiple of 14?
True
Let n(q) = q**2 - 3*q. Let o = 0 + 3. Let m be n(o). Is 13 a factor of 3 + m + -2 + 21?
False
Let y(c) = -24*c - 3. Let i(d) = -8*d - 1. Let w(a) = -17*i(a) + 6*y(a). Does 13 divide w(-8)?
False
Let w(n) = -5*n - 5. Let o(i) = i - 8. Let j be o(4). Is 11 a factor of w(j)?
False
Let r(d) = -d**2 - 7*d + 6. Let y = -18 + 12. Is r(y) a multiple of 6?
True
Let y(k) = -2*k. Let j be y(-1). Suppose 0 = j*h - h + 10. Does 11 divide (44/h)/(2/(-10))?
True
Let i(d) = 2*d + 13. Let s be i(-11). Does 31 divide -4 - (1 + s) - -89?
True
Let y = -87 + 98. Is 3 a factor of y?
False
Let w be (-10)/25 + 2/5. Suppose w*j + 34 = 2*j. Does 6 divide j?
False
Let y(x) = -x**3 - 6*x**2 - x + 5. Let i be y(-6). Let t be (-1 + -1 - -1) + i. Suppose -5*s - 65 = -t*s. Does 13 divide s?
True
Let x be (11 + 1)*(-3)/(-4). Let g = 27 - x. Is g a multiple of 8?
False
Let q(k) = -k + 4. Let c be q(8). Is c*(15 + -3)/(-3) a multiple of 16?
True
Suppose -4*s = -s - 3. Does 24 divide 36*s/((-3)/(-6))?
True
Is 3*1*(132 + -2) a multiple of 52?
False
Suppose 3*f - 60 = 129. Is f a multiple of 10?
False
Suppose -2*a - 48 = -3*f + 297, -3*f = 2*a - 345. Let t = -62 + f. Is 22 a factor of t?
False
Let f be (4/(-3) + 1)*-12. Suppose -2*q = -f*q. Suppose 3 = 2*z - 5*t - 24, -3*z - 2*t + 69 = q. Is 8 a factor of z?
False
Suppose 2*p - 260 = -3*p. Suppose 0 = r + r - p. Is r a multiple of 13?
True
Suppose -z - 19 = -5*u - 54, -4*u + 140 = 4*z. Suppose -3*i + z = -61. Is i a multiple of 16?
True
Let i = 0 - -5. Suppose -3*n + x + 15 = -0*n, x = -2*n + i. Does 3 divide n?
False
Let x(q) = -17*q**3 + 1. Suppose 4*m = 4*r - 24, -4*m + 11 = 6*r - 3*r. Is 9 a factor of x(m)?
True
Let d = -89 - -1. Let i = 52 + d. Let g = i - -69. Is 13 a factor of g?
False
Let b(z) be the first derivative of 1 - 3*z - 4*z**2 - 1/3*z**3. Is 7 a factor of b(-5)?
False
Let f(a) = -6*a - 50. Is 6 a factor of f(-13)?
False
Let a = 67 + 2. Is a a multiple of 3?
True
Let r be -30 - (-1 + 4/2). Let p = -15 - r. Is 4 a factor of p?
True
Suppose 2*d = 5*x - 4 - 9, 2*x - 40 = -5*d. Suppose -4*z - d = u, u - 5*u - 5*z = -31. Is u a multiple of 14?
True
Suppose -5*k + 4*w = -402, -5*k - 2*w + 150 = -3*k. Is 13 a factor of k?
True
Let m(w) = w**3 - 8*w**2 + 7*w + 2. Let l be m(7). Is 8 a factor of l*((-46)/(-4) + 0)?
False
Suppose 0 = 4*x - x - 12. Suppose x*u + 5 - 8 = y, -u = 5*y - 27. Is 9 a factor of 26/8*u*4?
False
Does 17 divide 5*(-12)/150 + (-2214)/(-10)?
True
Let l = -1 - -10. Let d = 84 - 48. Is 17 a factor of 2/l + 1216/d?
True
Let d(z) = z**2. Is 8 a factor of d(4)?