e -z = z - x. Suppose 0*h + 3 = -h, 5*p - z = h. Is 5 a factor of p?
False
Suppose 2*p - 5*p + 9 = 0. Let m(o) = -9*o**2 + o**3 + 2*o + 3*o**3 - p*o**3 + o**2 - 9. Does 2 divide m(8)?
False
Suppose -4 = g - 3*g. Is 1 + (3 - g) + 15 a multiple of 5?
False
Let p(n) = -n**2 + 8*n - 4. Let i be p(4). Suppose d + i = 2*d. Is d a multiple of 5?
False
Suppose 3*a - 7*a + 24 = 0. Suppose -b = -4 - a. Suppose 2*x = -2*c + 30, 1 = -x + c + b. Is 7 a factor of x?
False
Let p be -6*3/6*-1. Let c = p - 2. Is 10 - (-1 - c*-2) a multiple of 8?
False
Suppose 2*b - 2*z = 52 - 14, 3*b - 4*z = 58. Is 14 a factor of -1*(-5)/3*b?
False
Suppose -3*n - 2*n = 3*b - 42, 2*b = -n + 28. Is 14 a factor of b?
True
Let j = 215 + -58. Let w = j + -35. Is w a multiple of 33?
False
Let q(u) = -u**3 - 13*u**2 + 15*u + 15. Let a be q(-14). Suppose 3*b = -5*x + 51, -x - 3*b + 2 = -a. Is 4 a factor of x?
True
Suppose -2*x + 28 + 66 = g, 5*g - 435 = -3*x. Is 21 a factor of g?
True
Let j = 24 + 6. Let f be 44/7 + (-6)/21. Suppose f*b = 3*b + j. Is 5 a factor of b?
True
Let p(t) = -t**3 - 8*t**2 - t - 8. Let z be p(-8). Suppose 0 = -3*d - z*d + 189. Does 24 divide d?
False
Let x be (-3)/2*(-2)/(-1). Let j(i) = -3 + 1 - 2*i - 1 + 0*i. Is j(x) a multiple of 2?
False
Suppose -3*j - 10 = -8*j. Is -1 + (0 + j)*4 even?
False
Does 8 divide 4 + -4 + 120/4?
False
Suppose -4*a + 6 - 2 = 0. Is 2 a factor of (a - 2)/(2/(-14))?
False
Let b(j) = 3*j**2 + 8*j - 1. Is 30 a factor of b(-7)?
True
Let d(q) = -q**3 - 12*q**2 + 2*q - 13. Let r be d(-12). Let o = r + 61. Is o a multiple of 12?
True
Suppose -5*v = -3*p - 749, 160 = -0*v + v - 4*p. Let h = v - 74. Is h a multiple of 13?
False
Let h(b) = 3*b - 2 - 1 - 17*b + 1. Does 16 divide h(-2)?
False
Suppose 6*o - o = 245. Does 17 divide o?
False
Suppose 0 = -2*p - 4 + 28. Does 6 divide p?
True
Does 19 divide (220/(-30))/(1/(-6))?
False
Let z = 12 - 0. Let n = -5 + z. Is n a multiple of 2?
False
Let w = -2 - -1. Let i = 0 - w. Suppose -h - 3*j - 6 = -i, 5*j = 5*h - 35. Is h a multiple of 4?
True
Suppose -r + 4*r = 237. Is r a multiple of 23?
False
Is 21 a factor of ((-40)/(-25))/((-2)/(-105))?
True
Let b = -11 + 16. Suppose b*t - 19 = d, -t + 2*d = -5*t + 18. Suppose t*p - 8*p = -52. Is 13 a factor of p?
True
Is 6 a factor of -1 + 57 - (5 - 3)?
True
Suppose 6*u - 384 = 2*u. Is 32 a factor of u?
True
Is 1*(-4 - (-15 + 1)) a multiple of 10?
True
Let a = 198 - 98. Is 20 a factor of a?
True
Suppose 5*z - 155 - 185 = 0. Is z a multiple of 17?
True
Let g = -203 + 287. Suppose 5*w + 11 = 2*y - 20, -5*y + 5 = 2*w. Suppose -4*f + 5*v = -0*f - 112, 0 = y*f + 4*v - g. Is 14 a factor of f?
True
Suppose d + 2*d = 0. Suppose 4*z - 5*x + d*x = 0, x = 4*z - 16. Is z a multiple of 2?
False
Suppose 3*q = -q - 112. Let r(z) = 2*z**2 + z + 2. Let m be r(-5). Let w = q + m. Is 13 a factor of w?
False
Suppose -2*n - 8 = 2*n. Let h = -23 + n. Let z = h + 44. Does 8 divide z?
False
Suppose -132 = -r + 3*r. Suppose 28 = -4*i + 4. Is 8 a factor of 3/i + r/(-4)?
True
Let p = -7 + 36. Is p a multiple of 29?
True
Let z(m) = -m**2 + 17*m + 14. Is 21 a factor of z(13)?
False
Suppose 4*l - 5*l = 6. Let p(t) = -3*t - 5. Does 6 divide p(l)?
False
Let n be 2 + 5 + 0/(-2). Suppose n*i = 3*i + 64. Is i a multiple of 8?
True
Suppose 14 = -u + h, -5*u = -3*u + h + 13. Let g(q) = q**3 + 10*q**2 + 9*q + 10. Does 5 divide g(u)?
True
Suppose 2*g = 4*t - 384, -g - 5 + 3 = 0. Is 5 a factor of t?
True
Let p = 1 - -2. Does 3 divide p?
True
Let t = 23 - 49. Let m(y) = -6*y**3 - 4*y**2 - 2*y + 1. Let p be m(-2). Let v = p + t. Does 7 divide v?
False
Let i(y) = -y + 1. Let j(b) = -b**3 - 3*b**2 + 4*b - 3. Let x be j(-4). Let l be i(x). Is 11 a factor of (11/l)/((-4)/(-32))?
True
Is ((-4)/((-8)/26))/1 a multiple of 13?
True
Suppose 3*d = 4 - 1. Suppose -4*p - d + 17 = 0. Let u = p + 24. Is u a multiple of 13?
False
Let k(n) = n**2 - 6*n + 7. Let r be k(5). Let d(x) = -11*x - 1 + r*x - 2. Is 7 a factor of d(-2)?
False
Let w be (-1)/5 - (-62)/10. Let d = w - -10. Does 12 divide d?
False
Suppose 0 = 4*i + 4*p - 260, 3*p + 16 = i - 61. Is 17 a factor of i?
True
Suppose 2*i - 4*f - 1 - 5 = 0, 3*f - 1 = i. Let s(x) = 3*x + 9. Is s(i) a multiple of 21?
True
Suppose s + 0*s = -4. Let v = 6 + s. Is 2*v/(-4) + 3 even?
True
Let v = 35 + -17. Is 16 a factor of (v + 1 - 2) + -1?
True
Is (-4)/(-26) - (-2562)/78 a multiple of 11?
True
Let t(b) = 3*b**2 + 2*b - 8. Is 23 a factor of t(-6)?
False
Suppose -2*q = -6*q + 16. Suppose -4*k + 168 = -4*v, -q*k + 55 = -3*v - 110. Is k a multiple of 12?
False
Let t(y) = -y + 140. Let f be t(0). Suppose -3*j + f = 2*j. Suppose -h = -3*h + j. Is h a multiple of 14?
True
Let h be 1 - 2 - (-59 - 1). Suppose h = m + 14. Does 15 divide m?
True
Suppose 4 = 2*a + 5*i, 16 = -3*a - 2*i - 0. Let g(t) be the third derivative of -t**4/8 - 2*t**3 - 3*t**2. Is 6 a factor of g(a)?
True
Suppose -2*j - 5*n = -443, -3*j + n = 5*n - 661. Suppose -3*d + 5*a = -193, a - j = -d - 3*d. Does 28 divide d?
True
Let f be 0/3 + 4/2. Let x be f - 4 - -2 - -44. Let r = x + -22. Is 22 a factor of r?
True
Let u(n) = 3*n**3 - n + 1. Let r be u(1). Is 3 a factor of 6/r*(-14)/(-4)?
False
Let h be 1/(((-6)/(-26))/(-3)). Suppose 0 = -4*c - 3*l - 21, 5*c - 4*l - 2 = 6*c. Let n = c - h. Is n a multiple of 3?
False
Let c be (-400)/12*54/(-15). Suppose -2*x + c = x. Is 13 a factor of x?
False
Suppose -157 = -4*j + 143. Is j a multiple of 15?
True
Let g(m) be the third derivative of -m**5/60 + 5*m**4/24 - 2*m**3/3 - 3*m**2. Is g(3) even?
True
Suppose 2*i + 284 = -v + 5*v, -5*v + 365 = -5*i. Suppose -3 = -3*z + v. Is z a multiple of 8?
True
Let w(r) = 7*r**3 + 5*r**2 - 19*r - 2. Let f(k) = -3*k**3 - 3*k**2 + 9*k + 1. Let c(z) = -9*f(z) - 4*w(z). Does 12 divide c(5)?
True
Is ((-24)/(-15))/4 - 278/(-5) a multiple of 11?
False
Let t(b) = 3*b - 3*b**2 + 6 + 4*b**2 + 0*b**2. Let v(k) = k**2 - 6*k + 2. Let i be v(4). Does 12 divide t(i)?
True
Suppose 0 = 5*v + 3*r + 5, 7*v - 3*r = 3*v + 23. Let d be 55 + (2 - v - 2). Suppose 2*n - t - d = 0, 0*n + 3*n - 2*t - 78 = 0. Is n a multiple of 13?
False
Is 8 a factor of (2 + -10)*(1 + -3)?
True
Let j = -9 - 0. Let v be (-52)/j - (-6)/27. Does 5 divide 2/(-4) - (-63)/v?
True
Let q(t) = 16*t**3 - 51*t**2 + 36*t - 15. Let w(k) = -3*k**3 + 10*k**2 - 7*k + 3. Let l(c) = -2*q(c) - 11*w(c). Is l(8) a multiple of 18?
False
Let g = -928 + 1744. Let j = 11 + -13. Is j/(-3) + g/18 a multiple of 20?
False
Let o(w) = w**3 + 8*w**2 + 6*w - 7. Let i be o(-7). Suppose i = -z - 3*z + 24. Is z a multiple of 6?
True
Let d be (-1 - -2*1)*5. Suppose 0 = d*o + 7 - 27. Let i(b) = 2*b. Is 7 a factor of i(o)?
False
Is (85 - 1) + (-56)/(-14) a multiple of 19?
False
Let z(r) = -5*r - 5. Let m be z(-7). Suppose 20 = v - m. Is v a multiple of 17?
False
Suppose -5*u + 3*q = -420, -2*u - 5*q = -0*q - 199. Is 9 a factor of -1 - u/(-3) - -1?
False
Is 13 a factor of 37 + 4/4 - 4?
False
Let q = -19 - -31. Is q a multiple of 12?
True
Let i(j) = 22*j + 14. Does 22 divide i(9)?
False
Suppose 2*n = -k + 4*n + 6, -k = 5*n + 22. Let w be 1 + 1 - (0 + k). Let u = -1 + w. Is u even?
False
Let d be 87/12 - (-2)/(-8). Suppose d*b - 2*b - 165 = 0. Let j = b + -5. Is 14 a factor of j?
True
Let s be (2/4)/(1/8). Let k(l) be the second derivative of l**5/20 - l**4/4 - l**3/3 + 3*l**2 - 2*l. Does 10 divide k(s)?
False
Let r(i) = i**2 - i + 14. Suppose 4*o - 6 = -5*s, 3*o - o - 10 = s. Suppose p = 3*j - 4, -j - j = p + o. Is 12 a factor of r(j)?
False
Let a be (-4)/(-10) - 39/(-15). Let z(q) = 24 - 17*q + q**2 + 17*q - q**a. Is z(0) a multiple of 12?
True
Suppose 3*o = -5*m + 45, -2*o + 27 = 3*m - 0*m. Does 3 divide m?
True
Suppose 4*i - 2*p - 10 = 18, 4*p = 3*i - 11. Let j = 30 - i. Does 13 divide j?
False
Suppose 2 = 2*g + 5*v, -g = -0*v - v - 1. Let q be g/(-1)*(0 - 0). Suppose -3*a + 47 + 55 = q. Is 17 a factor of a?
True
Suppose 0 = d + 5*n - 44, -n = -4*d + 2*n + 245. Is d a multiple of 6?
False
Suppose 2*r + b - 68 = 0, r + 3*b = 2*r - 41. Suppose 0 = -2*t + r + 67. Is 17 a factor of t?
True
Suppose 0 = 5*a - 24 - 271. Suppose -4*v = 2*z + v + a, 2*z - v = -41. Does 8 divide (z/6)/((-2)/6)?
False
Let o be (0 + 1)/(2/4). Let p(c) = 10*c**3 + 15*c**2 - 8*c - 31. Let w(j) = -3*j**3 - 5*j**2 + 3*j + 10. Let h(q) = o*p(q) + 7*w(