-5*c + 2*v + 0*v = -53, 0 = -4*v + 4. Is c even?
False
Suppose -17 = -4*s - u, -s = s - 4*u - 4. Suppose -w + 2*l = -35, -s*w + l + 152 = 5. Does 8 divide w?
False
Let u(r) = -2*r**3 - 4*r**2 - 5*r - 2. Is u(-3) a multiple of 16?
False
Suppose 3*k - c = -4, k + 3 = 2*c - 5. Suppose 0 = -5*d - 3*n + 187, k = 3*d - 2*n + 38 - 135. Is 9 a factor of d?
False
Suppose 3*b - 124 = -2*d + 2*b, -3*d - b = -185. Does 9 divide d?
False
Suppose 6*v - 55 = v + 5*l, 4*v = -3*l + 51. Suppose 0 = -2*r + v - 2. Suppose -194 = -5*s + 2*n, 2*n + 203 = r*s + 3*n. Is 15 a factor of s?
False
Let f be (-2)/6 + (-51)/9. Let k(z) = 6*z - 1. Let x(m) = 7*m - 2. Let r(h) = 2*k(h) - 3*x(h). Is 20 a factor of r(f)?
False
Suppose 0 = 2*z - 12. Is z a multiple of 6?
True
Let m(t) = 8*t - 4. Let y(p) = p**3 - 2*p**2 - p - 1. Let x be y(3). Suppose -i + 10 = x*a - 11, -3*a = i - 13. Is m(a) a multiple of 13?
False
Let m(z) = z**2 - 7*z + 2. Let g(t) = -t. Let d be g(-8). Is m(d) a multiple of 7?
False
Let k(n) = n**2 - n + 2. Let c(o) = -2*o - 6. Let w be c(-4). Let f be k(w). Suppose 5*u - f*x = -8*x + 22, -u = 2*x - 2. Is u a multiple of 6?
True
Suppose 0*x + 2 = 2*x, x - 6 = -5*b. Is ((-9)/(-3) - b) + 16 a multiple of 5?
False
Let g(c) = -4*c + 3. Let n be g(7). Let r = n - -18. Let h(s) = -s**3 - 5*s**2 + 9*s - 9. Does 13 divide h(r)?
True
Suppose -4*c + 2*q + 196 = -2*c, c - 102 = 3*q. Is 32 a factor of c?
True
Suppose -f + 2*f - 2*o - 22 = 0, -o = f - 28. Is f a multiple of 13?
True
Suppose 2*q = -q. Suppose 0*h + 4 = h. Suppose -5*x - h*f - 23 = -103, q = -x - f + 17. Is x a multiple of 6?
True
Suppose 7*i = 5*i + 110. Is 7 a factor of i?
False
Let f = 4 - 0. Suppose f*c - 52 = -2*j, 4*c = -j - 2*j + 82. Let b = j + -21. Is 3 a factor of b?
True
Suppose 8*r - 2*r = 48. Is 2 a factor of r?
True
Is 6*((-40)/3)/(-1) a multiple of 40?
True
Suppose -4*j = -4, -k - j = -2 - 3. Suppose -16 + 4 = -k*p. Is p even?
False
Let b = -35 - -8. Let x be 4*2/(-12)*69. Let m = b - x. Is m a multiple of 19?
True
Let h = 17 - 9. Suppose -3*b = -h*b + 100. Is b a multiple of 10?
True
Let f be 3*(-2 - 3/(-9)). Is 8 a factor of 16 - (-3 + 1 - f)?
False
Suppose 4*k + 4*a - 434 = 538, -704 = -3*k + 2*a. Does 14 divide k?
True
Let b be 8*4 - (4 + -2). Let i = b + -10. Suppose 2*o = 4*t - 6 + 38, 0 = 5*t + i. Is 4 a factor of o?
True
Let o = 1 + 0. Let d be -1 + (-1 - -2*o). Suppose 2*n - 48 = 3*s, -5*n + 4*s + 127 - 7 = d. Does 9 divide n?
False
Let a = 64 - 30. Suppose -54 = -2*j - 4*b, 3*j + 3*b = a + 59. Is 10 a factor of j?
False
Suppose -3*m + 52 = -2*m. Is 26 a factor of m?
True
Let s(t) = -t**2 - 6*t + 2. Let v be s(-6). Suppose -3*x + 44 = v. Is 7 a factor of x?
True
Suppose 2*x + 5*j = -27, -20 = -5*x + j + 4*j. Let z be 2*-38 + (-2)/x. Let v = z - -114. Is 19 a factor of v?
False
Suppose 2*k = 5*z + 11, 4*k + 5*z - 7 = -0. Suppose -m = -k*m + d + 19, -23 = -4*m + 5*d. Is m a multiple of 12?
True
Suppose -3*t - 5 = -h, -5*t + h - 3 = -4*t. Let s(u) = -40*u. Let x be s(t). Suppose y - x = -y. Is 6 a factor of y?
False
Suppose 2*g - 3*i + 7*i = 178, 2*i = 3*g - 275. Is 13 a factor of g?
True
Let x(v) = -28*v**2 + v - 1. Let m(d) = d**2. Let g(w) = -6*m(w) - x(w). Is 16 a factor of g(1)?
False
Let d(j) = 12*j + 4. Does 27 divide d(6)?
False
Suppose 10 + 6 = 2*p. Does 8 divide p?
True
Suppose -4*q + 3*q + 40 = 0. Let l = -7 + q. Does 11 divide l?
True
Suppose 0*w = 4*w - 20. Let z(j) = -3*j**2 - 4*j + 1. Let b(n) = 4*n**2 + 5*n - 2. Let u(q) = w*z(q) + 4*b(q). Does 13 divide u(4)?
True
Let d(y) = -y. Let g(v) = -v - 5. Let o be g(-9). Suppose -4*t + 3*z = -1, -2*t + o*z = -0*z - 8. Is 2 a factor of d(t)?
True
Let g be 45/(-18)*(-4)/(-5). Does 7 divide (22 + -2)/(3 + g)?
False
Suppose -2 = -5*s + 8, 4*r + 3*s = 22. Suppose r*f = 4*a - a + 53, -4*a + 5*f - 71 = 0. Let q = -2 - a. Is 12 a factor of q?
False
Suppose -j = 3*u - 12, -6*u + 10*u - 36 = -3*j. Does 11 divide j?
False
Let m = -150 + 210. Let t = m + -34. Is t a multiple of 13?
True
Suppose 42*a - 154 = 35*a. Does 11 divide a?
True
Let o be (2 + -3)*(-72 + 1). Let g = 127 - o. Is g a multiple of 13?
False
Is (-4)/(-14) + (-9392)/(-56) a multiple of 12?
True
Let n(b) = -b**2 - 8*b - 9. Let q be n(-6). Suppose -f = 3*g + 14 + 39, -11 = g - q*f. Let c = 29 + g. Is c a multiple of 7?
False
Let f(j) = j**3 - 5*j**2 - 6*j + 1. Suppose 5*i = 10, 0 = -5*l - i + 23 + 9. Let h be f(l). Let z = 1 + h. Is z a multiple of 2?
True
Is 23 a factor of 115 + 8/36 + (-2)/9?
True
Let o(c) be the third derivative of c**5/30 + c**4/6 - c**3/6 + 3*c**2. Does 9 divide o(-4)?
False
Let u(v) = v + 7. Let t be u(-9). Does 13 divide (24 - 0) + t/(-1)?
True
Let y(i) = i**3 + 5*i**2 - 3*i - 2. Let r be y(-5). Let x = r - -5. Is x a multiple of 12?
False
Let d = 3 - 3. Suppose -2*p + d*p + 80 = 0. Suppose 0*o + p = 2*o. Is 7 a factor of o?
False
Suppose 0 = -l + 4*b + 23, 3*l - 4*l = 3*b + 12. Is 3 a factor of l?
True
Suppose 0 = 4*z + 12, -2*d + z = 6 + 17. Let r be 20 - ((-6)/3)/2. Let l = d + r. Does 4 divide l?
True
Let k(c) = 4*c**2 + 0*c + 2 + 3*c - 2*c. Suppose 4*y - 7 + 25 = -3*d, -2*y - 6 = 0. Is 8 a factor of k(d)?
True
Let p(m) = m**3 - 5*m**2 - 5*m + 4. Let l be (144/(-84))/(2/(-7)). Does 10 divide p(l)?
True
Let f = -82 - -169. Does 12 divide f?
False
Does 7 divide (-30)/7*(-14 + 0)?
False
Let s(h) = 1 + 0*h - 2*h + 0*h - 2. Let t be s(-6). Suppose t = i - 1. Does 6 divide i?
True
Let k be (-3)/(-6) + (-7)/(-2). Suppose -5*q + 16 = -k*q. Does 11 divide q?
False
Suppose 2*a + 135 = 4*g + 47, -a = 2*g - 48. Does 23 divide g?
True
Suppose 3*q - 2*q = 3. Suppose -2*h = 2*h + t, q*t = 0. Suppose h*r + 64 = 4*r. Is r a multiple of 14?
False
Let y(b) = b + 65. Is y(0) a multiple of 13?
True
Suppose 2*r = -r - 12. Does 24 divide r/(-12) + 591/9?
False
Suppose -192 = 3*b + 2*j - 7*j, 0 = -4*b + 3*j - 245. Does 11 divide (-3)/6 - b/2?
False
Suppose 3*z = 2*t + 64, -4*z + 0*t - 5*t + 93 = 0. Is z a multiple of 11?
True
Let z be (-1)/(-2) + (-3)/2. Let a be (-1)/(z - 120/(-122)). Let j = -40 + a. Is 8 a factor of j?
False
Let c = 59 + -31. Is c a multiple of 14?
True
Suppose -5*b + 1605 = 5*n, -964 = -3*b - 0*b - 4*n. Is 30 a factor of b?
False
Let s be 1/(-2) + 3066/12. Suppose -9*g + s = -4*g. Is g a multiple of 17?
True
Let f be -3 + (-7)/((-7)/15). Does 12 divide (0 - -3)*f/1?
True
Let b(x) = -x**2 + 5*x + 5. Let a be b(5). Suppose 3*j - 17 = -2*n + 97, 2*j + a*n = 76. Does 19 divide j?
True
Suppose -15 = 5*s, d = 5*d + 2*s - 34. Suppose r = -r + d. Is r a multiple of 3?
False
Let f(c) be the first derivative of c**3 - c**2 - 4*c + 3. Suppose 2*i = -i + 12. Does 18 divide f(i)?
True
Let a(s) = s**3 - 7*s**2 + 4*s + 13. Is 23 a factor of a(7)?
False
Let k(w) = 6*w - 8. Let m = 3 - -4. Is k(m) a multiple of 17?
True
Suppose -2*x - 5 = -x. Let m(i) = -3*i**2 - 23*i + 14. Let f(v) = -2*v**2 - 15*v + 9. Let b(c) = x*m(c) + 8*f(c). Does 6 divide b(-4)?
True
Let y(m) = 11*m**2 - 3*m + 3. Let j(t) = -6*t**2 + t - 1. Let w(g) = 7*j(g) + 4*y(g). Does 17 divide w(4)?
True
Let v(d) = 16*d**2 + 3*d - 2. Is 19 a factor of v(3)?
False
Suppose 0 = -5*v - 5*a + 40, -v + 2*v - 28 = -5*a. Let i(r) = -r**3 + 3*r**2 - 2*r - 2. Let y be i(v). Is (26/y - -1)*-4 a multiple of 9?
True
Let v(y) = -y + 2. Let g be v(3). Let f be 6*((-3)/(-6))/g. Does 7 divide (-16)/(-2) + 3/f?
True
Let c(z) = z**3 - z**2 - 4*z + 0*z + 3*z. Let y be c(2). Suppose -24 = -y*q + q. Is 12 a factor of q?
True
Let s(z) = -7*z - 1. Let x = 9 - 13. Let w be s(x). Suppose -3*c - w = -2*q, 0*q + 3*q - 3*c - 33 = 0. Is 6 a factor of q?
True
Suppose -3*n + 3*w = 9, -4*w + 3 = -5*n - 9. Does 13 divide 2/(4/88 + n)?
False
Let u = 1 - -3. Suppose -2*j = -20 + u. Let l(s) = 2*s - 10. Is l(j) a multiple of 5?
False
Let v(a) = -a + 39. Does 13 divide v(0)?
True
Suppose 0 = -k - 2*k - 5*v + 102, 3*k + 2*v = 93. Is k a multiple of 20?
False
Suppose -q = 2*q + 3. Let t be q/(1 + 18/(-15)). Suppose 3*b - 4*b + t*h = -44, 0 = -3*b + 2*h + 67. Does 8 divide b?
False
Let d be (1/2)/((-6)/(-48)). Suppose -2 = d*y + 6. Is (2/y)/((-2)/4) a multiple of 2?
True
Let r(a) = -2*a**3 - 8*a**2 + 15*a + 5. Let i(j) = j**3 + 4*j**2 - 8*j - 3. Let v(n) = 11*i(n) + 6*r(n). Does 20 divide v(-6)?
False
Suppose 26*j = 31*j - 555. Does 37 d