 -v - z*s = 3*s + 1. Is 2 a factor of v?
True
Let f be 0*(-3 - (-2 - 0)). Suppose -2*m + 3*m - 4 = f. Suppose -m*c = -c - 12. Does 3 divide c?
False
Let q(l) be the third derivative of -l**5/60 - l**4/2 + l**3 + 31*l**2. Suppose 0*c - 5*c + 5*k = 45, -5*k + 39 = -4*c. Does 14 divide q(c)?
True
Let g = 1 - 0. Suppose -3*n = 2*c - 7, c - 3*n = -2 + g. Is 2 a factor of c?
True
Suppose -1 - 10 = -x. Suppose -x = -c - 1. Is 4 a factor of c?
False
Let p(r) = -r**2 - 2*r + 5. Let d be p(-4). Let g be 0 + 1 - (-1 + d). Suppose g*k = 102 + 58. Does 14 divide k?
False
Let f(z) = -z**3 - 3*z**2 + 6*z + 6. Let g be f(-5). Let d be 315/(-18) + 2/4. Let u = d + g. Is 6 a factor of u?
False
Let c(h) = -2*h - 39. Let n be c(-19). Let v(j) = -j**2 - 6*j - 1. Let k be v(-5). Let q = k - n. Is q even?
False
Let n(x) = -12*x + 2. Is n(-13) a multiple of 12?
False
Let x(l) = -44*l - 12. Let g be x(-5). Suppose 4*i + g = 5*s - 0*s, -5*s + 5*i = -210. Does 10 divide s?
True
Let u(s) be the second derivative of 0 + 1/20*s**5 - 3*s**2 - s + s**3 + 7/12*s**4. Does 10 divide u(-5)?
False
Let w(u) = -u. Let i be w(-4). Suppose 0*d = 5*d + i*q - 130, 3*d = -2*q + 76. Let s = 0 + d. Is 14 a factor of s?
False
Let g(o) = o**2 - 3*o - 10. Let p = -12 - -20. Does 10 divide g(p)?
True
Let i = -13 - -16. Suppose -4*l - 80 = -4*u, 6 = -0*l - i*l. Is u a multiple of 18?
True
Suppose 0 = 3*j + 3*q - 1 + 16, -4*j - 13 = -3*q. Let w be ((-29)/j)/(4/(-16)). Let g = -19 - w. Is 4 a factor of g?
False
Let t = -6 - -8. Suppose -t*a = -3*a + 29. Is a a multiple of 12?
False
Let w = 59 - 114. Let f = -38 - w. Is f a multiple of 12?
False
Suppose -5*v - 3*p + 339 = 0, -4*v + 210 + 42 = -4*p. Is v a multiple of 27?
False
Let b(p) = -p + 3. Suppose -2*k + 3*v - 6 = 0, -k = 4*k - 3*v + 15. Is 2 a factor of b(k)?
True
Let t(a) = -a**3 + 14*a**2 + 14*a + 19. Is 4 a factor of t(15)?
True
Does 18 divide 18/2*(3 - -5)?
True
Let h(a) = -11*a + 1. Let n = 10 - 2. Let r be 2 + (n/(-2) - -1). Is 4 a factor of h(r)?
True
Suppose 3*y - f = 278, 402 - 18 = 4*y + 2*f. Is (-4)/18 - y/(-18) a multiple of 5?
True
Let l(m) = -2*m + 1. Let u be l(1). Let p = u - -9. Is 8 a factor of p?
True
Let r = -1 + -7. Let k = r + 26. Is 9 a factor of k?
True
Suppose -4*c = 6*s - 3*s - 98, -3*c = 4*s - 126. Is 10 a factor of s?
True
Let v(p) = 11*p**2 + 4*p - 7. Is 26 a factor of v(3)?
True
Suppose -3*s - 45 - 33 = 0. Let w = -16 - s. Is 5 a factor of w?
True
Let d be (-1)/(-7) + 60/21. Let u(f) be the first derivative of f**4/4 - 2*f**3/3 + f**2/2 + 4*f + 1. Does 8 divide u(d)?
True
Does 7 divide ((-2)/(16/(-110)))/(5/20)?
False
Suppose 2*y - 4 = -g, 2*y = 4*g + 1 - 7. Suppose v + 4*r = -g*v + 85, -2*v = 2*r - 56. Does 9 divide v?
True
Let b be 1/2 - (-10)/(-4). Does 21 divide (28/8)/(b/(-24))?
True
Let f = -8 + 12. Suppose n = -f*n + 110. Is 9 a factor of n?
False
Suppose g = -19 + 31. Is 3 a factor of g?
True
Does 10 divide 1 - -45 - 2/2?
False
Suppose 0 = -0*n - 6*n + 204. Does 7 divide n?
False
Let o(a) = -a - 13. Let y be o(-10). Let v be 3 + (59 - y) + 3. Suppose 28 = 2*z + 2*b, 2*z + b = -2*z + v. Is z a multiple of 9?
True
Let s(m) = 3*m - 9. Is 5 a factor of s(9)?
False
Let n be (-12)/(-10)*(-25)/(-10). Is 10 a factor of n/(((-4)/(-40))/1)?
True
Let k(b) = -b + 15. Does 5 divide k(5)?
True
Let p(v) = -v**3 - 5*v**2 + 6*v + 1. Let u(s) = 1. Let h(j) = p(j) - 5*u(j). Let m be h(-6). Is 24 a factor of ((-31)/m)/(4/16)?
False
Let c be 2/(-5) + 12/5. Suppose 4*a + 121 = 3*m, 4*m - 2*m = c*a + 80. Is 13 a factor of m?
True
Let p be 5/2*(5 + 1). Suppose 0 = 5*r - 2*r - p. Suppose -5*u + 24 = -3*u - 4*a, r*u = -5*a. Is 2 a factor of u?
True
Let v(m) = m**2 - 5*m. Let o be v(5). Let f be (4 + -3)/(1/2). Suppose f*n + 3*p - 30 = o, -p - 15 = n - 2*n. Is 6 a factor of n?
False
Suppose -4*z = -8 - 0. Let n(m) = 2*m**3 - 2*m**2 - 2. Is 2 a factor of n(z)?
True
Let r = -8 + 11. Let m = r - 1. Suppose -m*i = -b + 23, -i - 44 = -b - 2*b. Is 8 a factor of b?
False
Let w(h) = h**2 - 6*h + 8. Let n be ((-4)/(-10))/((-5)/(-75)). Let o be (n/(-8))/(2/(-24)). Does 16 divide w(o)?
False
Let q(j) = -j**3 + 3*j**2 - 1. Let r be q(2). Suppose f - r*t = 2, -f + 2 = -3*f + 4*t. Let i = f - -14. Is 3 a factor of i?
False
Let x(q) = 3*q + 3. Let t(g) = -g - 1. Let c(d) = -11*t(d) - 4*x(d). Let n be c(-6). Suppose 0 = -n*z + z + 28. Is z a multiple of 3?
False
Let p = 4 + 5. Let q(j) = 2*j + 8. Is q(p) a multiple of 10?
False
Let p(x) be the third derivative of -x**4/24 + 8*x**3/3 + x**2. Is p(13) a multiple of 3?
True
Let x be 0 + -3 + 3 - -4. Let o(u) = u**3 - 4*u**2 + 7*u - 6. Does 22 divide o(x)?
True
Let l(j) = j + 12. Let r(g) = g**2 - g - 3. Let z be r(-3). Does 12 divide l(z)?
False
Let v be -10*(2/(-4))/1. Suppose -v*r + 110 = -100. Suppose 85 = 2*y + p, -2*y + 33 = -p - r. Is 20 a factor of y?
True
Let y(l) = -l**3 - l**2 + 4. Let q be y(0). Let s = -1 + q. Suppose s*f + 9 = 6*f. Is 3 a factor of f?
True
Suppose 2*v - 5*v = -4*i + 180, -2*v + 200 = 4*i. Does 13 divide i?
False
Let z be (18/8)/(9/36). Suppose -4*x - z = -49. Is x a multiple of 3?
False
Suppose 6*g = 3*g + 165. Is g a multiple of 16?
False
Let w be (-1)/(1/(-1) + 2). Let k(v) be the second derivative of -6*v**3 + v. Does 14 divide k(w)?
False
Let a be (-3)/((-3)/(-2)*-1). Suppose -29 = l - a*l. Is 14 a factor of l?
False
Let r(l) = -4*l. Let m be r(-1). Let c = m - 6. Let t(q) = 9*q**2 + q - 2. Does 16 divide t(c)?
True
Suppose 0 = -4*c + 114 - 18. Is c a multiple of 6?
True
Suppose 0*g = 4*g - 3*x - 473, -4*x - 353 = -3*g. Is 19 a factor of g?
False
Let o be (-6)/(-10) - 76/10. Let n(p) = -p**3 - p**2 - 1. Let s(h) = -5*h**3 - 9*h**2 + 2*h - 4. Let v(f) = -4*n(f) + s(f). Is v(o) a multiple of 22?
False
Suppose -50 = -5*j - 0. Suppose -3*o - j = -4*o. Suppose -o = -4*u + 14. Is u a multiple of 3?
True
Let z be (-8)/6*(1 + 2). Does 20 divide z/(-16)*4*20?
True
Suppose 0 = -4*h + 20, -61 = -2*a - 7*h + 4*h. Suppose 2*o = -3*u - 3*o + 72, u + 2*o - a = 0. Is u a multiple of 18?
False
Let y(d) = -2*d + 2. Let n(f) = 1. Let r(m) = 2*m - 1. Let j be r(3). Let x(c) = j*n(c) - y(c). Is x(3) a multiple of 9?
True
Let x be (-21)/(-9) - 2/6. Let a(l) = 3*l**3 - 3*l**2 + 2*l. Is 7 a factor of a(x)?
False
Suppose -6 - 4 = -2*c. Suppose 4*t = -3*k + 31, -c*k - 4*t + 20 = -29. Does 9 divide k?
True
Let q(n) = 2*n**2 - 3*n - 5. Does 10 divide q(-4)?
False
Suppose -3*u - 159 = -0*u. Let i = -36 - -119. Let n = i + u. Does 15 divide n?
True
Suppose 0 = -f - 2*f + 159. Let d = f - 30. Is 23 a factor of d?
True
Let q be -14*(-2 - 6/(-4)). Let n(p) = -p**2 + 10*p - 8. Is 13 a factor of n(q)?
True
Suppose 33*u - 37*u + 444 = 0. Is u a multiple of 21?
False
Let f(x) = -x**3 + 8*x**2 + 3. Does 3 divide f(8)?
True
Does 36 divide (-3295)/(-15) - -4 - (-2)/6?
False
Suppose 0 = -5*q + q + 12. Let k = q - -20. Suppose -k = -w + 5*n, -3*w - 5*n + 3 = -2*w. Is 13 a factor of w?
True
Suppose 13*a - 12*a = 80. Is a a multiple of 16?
True
Suppose -3*n + 2*n + 3*d = -12, 3*n + 2*d = 36. Suppose -h - 2*l = -3 - n, -4*l = 4*h - 64. Is 7 a factor of h?
False
Let w = 125 + -80. Let g = w + -29. Is g a multiple of 16?
True
Let l(y) = 6*y - 3. Let r = 0 + 6. Does 11 divide l(r)?
True
Let c(x) = 5*x - 25. Let d be c(19). Let g be 15/(-2)*28/(-3). Suppose 0 = -5*f + g + d. Does 13 divide f?
False
Let l(j) = 56*j**2 + 14. Let m(a) = -19*a**2 - 5. Let c(v) = 5*l(v) + 14*m(v). Let z be (-2)/5 + (-3)/5. Is c(z) a multiple of 12?
False
Let p(f) = -8 + 2 + 4*f + 0. Does 16 divide p(9)?
False
Let m = 21 - -19. Is 40 a factor of m?
True
Let f(n) = 2 - 2*n - 3*n + 3. Let s be f(7). Let x = s - -51. Is 17 a factor of x?
False
Let z(b) = -b**3 + 5*b**2 + 8*b - 9. Let g be 12/3 - (0 + -2). Let f be z(g). Is 5 a factor of (f/(-2))/(3/(-20))?
True
Let i(v) = v**2 + 10*v + 27. Is i(-9) a multiple of 6?
True
Let v(c) = -c**3 + 4*c**2 + 5*c + 7. Let j be v(5). Let x(z) = 2*z - 9. Let n be x(j). Suppose 10*g = n*g + 225. Is g a multiple of 13?
False
Let t = -14 - -20. Let k = 5 - t. Is 1 + (1 - k*21) a multiple of 18?
False
Suppose 3*m - 360 = 4*b, -4*m - 5*b = -b - 480. Is 12 a factor of m?
True
Suppose -918 + 260 = -14*p. Does 13 divide p?
False
Suppose -7*b + 350 = -2*b. Does 17 divide b?
False
Let x = 2 + 4. Is x even?