t b be y(-10). Suppose b - 27 = 4*q. Does 22 divide q?
True
Let t(y) be the third derivative of y**5/60 + y**4/8 + y**2. Let q(g) = -2*g - 13. Let j be q(-9). Is 21 a factor of t(j)?
False
Suppose -3*k = -0*k, -2*k - 9 = -q. Does 5 divide q?
False
Suppose 7 = 2*q - 1. Let o = -42 - -65. Suppose -2*v + o = q*l + v, -2*v + 18 = 3*l. Is 4 a factor of l?
True
Suppose -3*j = y - 62, 2*j + 3*y + 2*y = 24. Is 9 a factor of j?
False
Let f be (-3)/2 - (-7)/2. Suppose 4*w - 2 = -5*z, f*w = -2*z + 5*z + 12. Let v(o) = -o**2 + 6*o + 2. Is 11 a factor of v(w)?
True
Let o be (481 - 3)*(-2)/(-4). Suppose -o = -5*m - 2*k, -k = 3*m + 3*k - 149. Is m a multiple of 22?
False
Suppose -3*p - 40 = -p. Let f = p + 29. Is 5 a factor of f?
False
Let k = -78 + 114. Does 10 divide k?
False
Let u(h) = 15*h + 9. Does 7 divide u(3)?
False
Suppose 6*a = 11*a - 50. Let r = a - 4. Is r a multiple of 6?
True
Let t(j) = 12 - 14*j**3 + j + 13*j**3 + 0*j. Does 4 divide t(0)?
True
Let v = 25 + 35. Is v a multiple of 7?
False
Suppose 2*z + 8 = 0, 3*m - 28 = m + z. Is m a multiple of 12?
True
Suppose -i + 54 = -0*b + 4*b, 0 = -5*i - 4*b + 334. Does 8 divide i?
False
Suppose -3*y + 143 = -70. Does 8 divide y?
False
Suppose 10*q + 4 = 6*q. Let s be 0 + 2/1 - q. Does 20 divide 3 - (9/s + -31)?
False
Let r be 1/(0 + (-1)/8). Let a be (-28)/(-6) - r/24. Does 13 divide (-1141)/(-35) - 3/a?
False
Let p = -14 + 69. Is 25 a factor of p?
False
Let m = 20 - -5. Is 7 a factor of m?
False
Let k = -97 - -163. Is 13 a factor of k?
False
Let i = 15 + -23. Let r = -6 - i. Does 6 divide (-2)/((-4)/r)*15?
False
Let c = 10 + 12. Is c a multiple of 5?
False
Suppose -126 = -10*w + 54. Is w a multiple of 18?
True
Let c be 5*(3 - 22/10). Let q(t) = 7*t**2 - 7. Let w be q(5). Suppose -k - 3*i + i = -54, -w = -4*k + c*i. Does 18 divide k?
False
Let n(w) = w**2 + 3*w + 6. Let k be n(-4). Let y be ((-8)/(-20))/((-1)/(-65)). Suppose 4*a - y = -k. Does 2 divide a?
True
Suppose d - 1 - 2 = 0. Suppose 0*b + 27 = d*b. Is 4 a factor of b?
False
Let r = -9 - -12. Suppose 5*u - r*u - 45 = -o, 2*u + 2*o = 42. Is u a multiple of 12?
True
Let m = 9 + -18. Let k = 27 - 12. Let b = m + k. Does 5 divide b?
False
Let s(k) = 20*k**2 - 4*k + 2. Let y(j) = j**2 - j. Let a be y(-1). Does 15 divide s(a)?
False
Suppose -5*c = 3*y + 8, -2*y = c - 1 + 4. Let z(w) = 13*w**2 + 2*w + 1. Does 4 divide z(y)?
True
Let r = 10 - 28. Let i = 7 + r. Let s = i - -23. Is s a multiple of 12?
True
Suppose -t + 2*b = -169, 3*t + 654 = 7*t + 3*b. Is t a multiple of 55?
True
Let y = 22 - 8. Suppose -y = -t + h, -1 = -t + 2*t + 2*h. Does 5 divide t?
False
Let s(w) = -w + 13. Let o be s(9). Suppose -5*m - 5*y = -230, o*m + 5*y = 254 - 75. Does 13 divide m?
False
Let d = -6 + 9. Let b = d - -48. Suppose 4*z - 3*z - b = 0. Is z a multiple of 23?
False
Let m = 71 - 113. Suppose o - 9 = 2*w + 22, 0 = 2*w + 5*o + 37. Let i = w - m. Is i a multiple of 13?
True
Is 6 a factor of -27*((-24)/3)/4?
True
Let r(z) = -8*z - 6. Does 22 divide r(-9)?
True
Let q be (-190)/30 - (-2)/(-3). Let c(z) = z**2 + 5*z + 1. Is 10 a factor of c(q)?
False
Let f = -36 - -104. Does 20 divide f?
False
Is 3/(-5)*(11 - 21) a multiple of 6?
True
Suppose -5*m + 15 = -0*m, -4*i + 39 = 5*m. Does 6 divide i?
True
Let l(i) be the third derivative of -i**5/60 + i**4/24 + 5*i**3/3 - i**2. Suppose 0 = -6*w + 3*w. Is l(w) a multiple of 9?
False
Suppose 3*n - 3 - 1 = -4*f, -5*n + 5*f + 30 = 0. Is n a multiple of 3?
False
Let v(m) = 3*m**3 - 2*m**2 + m. Let p be v(1). Suppose -p - 5 = -z. Is z a multiple of 7?
True
Let s be (201/6)/(3/6). Suppose -5*f + s = 4*n - 44, n - 4*f - 12 = 0. Is 12 a factor of n?
True
Suppose 0 = -4*q + 8, 13 = 3*y + 3*q + 2*q. Let n be y/(-3) - 10/6. Does 7 divide n - (-2)/((-4)/(-50))?
False
Suppose 10 = -0*s + 2*s. Suppose s*l = 2*l + 39. Suppose -5*p - 4*q = -45, -5*q = l + 12. Is 13 a factor of p?
True
Suppose -3*g = -4*a - 32, -5*g + 2*g = -2*a - 16. Is (-41)/(-4) - (-2)/a a multiple of 5?
True
Suppose 5 = 3*o - 28. Let p(b) = o*b - 12*b + 15*b. Is p(1) a multiple of 6?
False
Let y(n) be the second derivative of n + 0 - 15/2*n**2 - 7/3*n**3 - 1/12*n**4. Is 17 a factor of y(-10)?
False
Let l = -85 - -19. Let w = l + 116. Is w a multiple of 25?
True
Let s = 63 + -39. Let x = -9 + s. Does 8 divide x?
False
Suppose 5*z = 19 + 61. Is 5 a factor of z?
False
Suppose -700 = 4*f - 9*f. Is 35 a factor of f?
True
Let x = 0 + 11. Suppose -2 - 4 = 3*q. Let c = q + x. Is 3 a factor of c?
True
Let o(n) = -n**3 - 3*n**2 - 6*n - 4. Is 19 a factor of o(-4)?
False
Let d(v) = -2 - v**2 - v + 5 + 3*v. Let l be d(3). Suppose 2*w - 52 = -l*w. Does 14 divide w?
False
Let c = -11 - -5. Let z(k) = -k**3 - 4*k**2 + 8*k + 6. Is 13 a factor of z(c)?
False
Let a be 72/20*10/3. Is 6 a factor of (-2)/((a/(-21))/2)?
False
Suppose 0 = 4*p - p - 9. Suppose 0 = 5*h + 3*s - 69, s + 47 = -0*h + p*h. Is 5 a factor of h?
True
Let a be (3 - 3/3) + 6. Let b be 3/12 + 14/a. Let k(f) = 8*f - 2. Is k(b) a multiple of 7?
True
Suppose 7*f - 2*f = 4*w + 51, 3*w = -2*f + 25. Does 4 divide f?
False
Suppose -5*g - 53 = 2. Let o = g + 68. Does 19 divide o?
True
Suppose -5*y + 6 = -3*y. Let s be y/9*3 + -1. Suppose 5*j - 100 = -s*j. Is 10 a factor of j?
True
Suppose -7*p + 19 + 114 = 0. Is 14 a factor of p?
False
Suppose -n - 8 = -5*n. Suppose -n*j + 28 = 4*y, 3*j - 2*y - 86 = 3*y. Is j a multiple of 11?
True
Let f(i) = i**3 - 14*i**2 + 2*i - 18. Does 2 divide f(14)?
True
Is 21/28 + (-458)/(-8) a multiple of 18?
False
Is 1/(21/45 + (-2)/5) a multiple of 5?
True
Let m = 4 - 5. Is 7 a factor of (7/2)/(m/(-2))?
True
Suppose -30 = -0*c - 6*c. Let i = -10 - -14. Suppose 0 = i*z - c*j - 133, -2*j + 8 = 2. Is z a multiple of 21?
False
Let d = -98 + 140. Suppose 0 = 2*f - 2*n - d, 3*f + 0 - 53 = 5*n. Does 12 divide f?
False
Let n = 276 - 194. Is n a multiple of 14?
False
Suppose 3*l + 2*k = 10, -4*k + 0 - 4 = 0. Suppose -a = l*a. Suppose g + 5*q = -a - 2, 5*g - 50 = 5*q. Does 8 divide g?
True
Let s(c) = c. Let z be s(2). Let o be (z/(-6))/(4/(-12)). Does 15 divide o*15 - (5 - 6)?
False
Let p(g) = -7*g**3 + 2*g. Is 13 a factor of p(-2)?
True
Let g be 14/4 + 2/4. Suppose -g*o + 16 = 0, -n - o - 2 = -11. Is n a multiple of 2?
False
Let h = 114 - 166. Let y = 104 + h. Does 26 divide y?
True
Suppose 2*l - 66 = 4*a, -5*a + 15 - 70 = 3*l. Is (5/(-10))/(1/a) a multiple of 7?
True
Suppose -2*y - 20 = 2*y, 3*y = -3*t + 48. Is t a multiple of 3?
True
Suppose -5*m + 19 = y, -5*y + 2*m = -m + 17. Does 15 divide 1 + -1 + y - -43?
False
Let a = 1 + 0. Let u = a - -1. Suppose 0 = u*p - 0*p - 42. Does 21 divide p?
True
Let f(d) = -d**3 - 10*d**2 - d - 4. Let u be f(-10). Let l = 6 - u. Suppose -11 = -v - l. Does 4 divide v?
False
Let c(x) be the second derivative of -x**5/20 - 3*x**4/4 - 4*x**3/3 + x. Let i be c(-8). Suppose 0 = -5*q - i*q + 25. Is q even?
False
Suppose 5*z - 2*o - 2 = 0, -o - 2*o = 2*z - 16. Suppose -12 = -z*p + 3*l, -5*p + 2*l = -3*l - 25. Suppose 16 = g - p. Is g a multiple of 19?
True
Let d = 60 + -21. Does 4 divide d?
False
Suppose -f - 4*f = 0. Let t be 0 + -1 - -2 - f. Let l = 9 - t. Does 8 divide l?
True
Suppose -3*s + 104 = s + 2*g, -5*s + 130 = -4*g. Is 13 a factor of s?
True
Suppose -100 = -3*b + c, -5*b - 3*c + 167 = 19. Is b a multiple of 10?
False
Let w be ((-8)/16)/((-1)/2). Is (w/(-2))/(2/(-68)) a multiple of 17?
True
Let x(k) = k**3 + 5*k**2 + 3*k - 1. Let z be x(-4). Suppose z*a - 47 = -b, b + a + a = 49. Suppose -4*r - c = -b, 2*r - 2*c - 54 + 20 = 0. Does 14 divide r?
True
Let c(b) = b + 6. Let d be c(0). Suppose h = y + 23, -y + d*y = 4*h - 88. Is 9 a factor of h?
True
Let s = 8 - -6. Is (-15)/(-2)*s/7 a multiple of 15?
True
Let j(v) be the second derivative of -v**3/2 - v**2 - v. Is 2 a factor of j(-2)?
True
Let w(k) = 60*k**2 + 2*k. Let y be w(-1). Let n(z) = 15*z + 2. Let o be n(-2). Let r = y + o. Does 17 divide r?
False
Let u(w) be the first derivative of -3*w**4 + w**3/3 - w - 1. Is 12 a factor of u(-1)?
True
Let j = 110 + -61. Is j a multiple of 16?
False
Let t = -1 - 4. Does 10 divide (-615)/(-25) - 2/t?
False
Let a(o) = o**2 + 2*o + 4. Let h be a(-3). Let t = 45 + -42. Suppose t*q = 3, 2*q + h = c - q. Is c a multiple of 10?
True
Suppose 5*h + a = 136, 2*a - 7*a + 140 = 5*h. Is h a multiple