q be a(-12). Let f(x) = -3*x - 1 + 5*x + x. Is f(q) a multiple of 7?
True
Suppose 4*t + 9 = 265. Does 25 divide -3 - 5/((-10)/t)?
False
Suppose 15 = l - 25. Is 8 a factor of l?
True
Let n(p) = p**3 + p**2 - p + 108. Does 36 divide n(0)?
True
Let m(a) = 5*a**3 - 2*a**2 + a. Is m(2) a multiple of 17?
True
Let j(k) = k**2 - 7*k + 6. Let p be j(6). Suppose 0 = -i - p + 50. Is i a multiple of 13?
False
Let v be 502/9 - (-6)/27. Let a be v/(-2)*(-5)/(-10). Let w = -6 - a. Is 8 a factor of w?
True
Let l(t) = -t - 4. Let u be l(7). Let q(x) = -x**2 - 14*x - 13. Is q(u) a multiple of 20?
True
Let j(m) = 2*m**3 - 4*m**2 + 2*m + 5. Does 21 divide j(4)?
False
Suppose 442 = 5*g + 2*c, -c - 456 = -5*g - 17. Does 22 divide g?
True
Suppose -c + 4*n + 466 = 4*c, 5*n - 381 = -4*c. Is c a multiple of 22?
False
Let y(f) = -f**3 + 5*f**2 + 8*f + 4. Let a be y(6). Let o = a + -25. Does 4 divide (-1 + o/(-6))*8?
True
Let c = -211 - -362. Does 11 divide c?
False
Let b(p) = p**2 + 7*p + 18. Is 3 a factor of b(-8)?
False
Let i(k) = -k**3 - k**2 + k - 1. Let l be i(0). Let d = l + 3. Let t(x) = 7*x**2 + 2*x - 2. Is 19 a factor of t(d)?
False
Let k = -132 + 58. Is 20 a factor of (-1)/2*(k - -4)?
False
Let o = -82 - -57. Let q be 12/(-8)*4/(-3). Let z = q - o. Is z a multiple of 13?
False
Let n(t) = t**2 + t + 1. Let q be n(-1). Does 7 divide q/6 - (-835)/30?
True
Suppose -7*v - 1 + 505 = 0. Is 24 a factor of v?
True
Let y be (-1 - -6)/(-3 + 4). Suppose -3*u + y*z = -321, 3*u + 321 = 6*u - 2*z. Does 24 divide u?
False
Let b(v) = v**3 + 4*v**2 + v - 1. Let y be b(-3). Suppose 0 = 6*a - 4*a - 4. Suppose -5*j - 4*g = y, g - a - 5 = -4*j. Does 3 divide j?
True
Let t = 4 + 7. Let j = 7 - t. Let q(n) = 2*n**2 + n - 4. Is q(j) a multiple of 8?
True
Suppose y = -4*y + 45. Does 3 divide y?
True
Let w(k) be the third derivative of 1/24*k**4 - 2*k**2 + 0 + 1/120*k**6 + 7/3*k**3 + 1/60*k**5 + 0*k. Is 6 a factor of w(0)?
False
Suppose -71 + 1 = -5*a. Is 4 a factor of a?
False
Let m = -40 + 72. Suppose -3*b + m = -19. Is 11 a factor of b?
False
Let m = 191 - 51. Suppose s = 4, -5*s + 3*s = 3*p - m. Does 11 divide p?
True
Suppose 6*c = c + 145. Is 22 a factor of c?
False
Let y be ((-30)/(-8))/3*4. Suppose 4*j - 164 = -2*r - r, 0 = -y*r - 20. Suppose -o - 3*o = -j. Is o a multiple of 11?
True
Let t(l) = l**2 - 8*l + 7. Let k be t(5). Let n(u) = -u**2 - 11*u + 2. Is n(k) a multiple of 11?
False
Let m = 211 + -143. Does 32 divide m?
False
Suppose 3*c - 6*c + 4*t + 41 = 0, c - 32 = 5*t. Is 2 a factor of c?
False
Let d = 3 - -72. Does 20 divide d?
False
Let f be 13 - (-9)/3 - 3. Is 17 a factor of -2 + 5 + 1 + f?
True
Suppose 3*d + 4 = 2*d. Let z be (-18)/(-12) + 2/d. Is 11 + 1 - 0/z a multiple of 6?
True
Let j(g) be the third derivative of -g**6/120 - g**5/12 - g**4/4 - 2*g**3/3 - g**2. Let i be j(-4). Suppose 4*r - 44 + i = 0. Is r a multiple of 6?
False
Let f = -126 + 59. Let w = -47 - f. Is 13 a factor of w?
False
Suppose 0 = 2*b + 2*b. Does 13 divide (2 + b)/(5/190)?
False
Let x(p) be the second derivative of 2*p**3 - p**2/2 + 24*p. Let c = -2 - -3. Is 8 a factor of x(c)?
False
Let n(g) = g**3 - 7*g**2 + 5*g - 4. Let q be n(6). Let b be 2/5 + 24/q. Is 8 a factor of 5*(-6)/(1*b)?
False
Suppose -d - 2*a - 6 = 4*d, 5*d + 16 = 3*a. Let j be (-16)/(-3) + d/6. Suppose j*c = 2*c + 96. Is c a multiple of 17?
False
Is 21 a factor of 148/(1/(1 + 0))?
False
Let p(w) = w**3 - 3*w**2 + 3*w + 3. Let d be p(4). Suppose -4*j + 4*f + 239 = j, 5*f = j - d. Is 17 a factor of j?
True
Suppose 3*w - 108 = -3*q, -3*q = -w + 18 + 26. Does 9 divide (w/(-10))/(4/(-20))?
False
Suppose -a - 1 - 3 = 0. Let p = 16 + a. Is p a multiple of 6?
True
Suppose -5*k + 3 = 8. Is (99/36)/(k/(-16)) a multiple of 12?
False
Suppose 267 + 1361 = 11*v. Is v a multiple of 27?
False
Let p be (0 - (1 + -2))*-3. Let q(c) = -c**2 - 5*c - 4. Is 2 a factor of q(p)?
True
Let d(c) = -c**3 + 10*c**2 - 7*c - 2. Is 8 a factor of d(9)?
True
Let n = -418 - -755. Is 31 a factor of n?
False
Suppose -3*r + 20 = -1. Let k be -3 + (r - (0 + 2)). Let o = k + 3. Is 2 a factor of o?
False
Let s = -10 + 14. Suppose s*d = -d + 10. Suppose 0 = d*i - 0 - 24. Is i a multiple of 4?
True
Let f be (16/6)/(18/27). Does 11 divide ((-228)/(-3))/f + 3?
True
Suppose -3*n = -5*p - 152, -5*n + 2*p + 141 + 87 = 0. Does 44 divide n?
True
Let i(j) = 2*j - 4. Let w be i(3). Is (1 - 3 - w)*-19 a multiple of 25?
False
Does 8 divide (-1)/(-2) - (-5)/20*278?
False
Let g = 4 + 1. Suppose -19 = -g*x + 6. Suppose k - x*k + 72 = 0. Is 11 a factor of k?
False
Suppose -9*s + 6*s + 24 = 0. Does 8 divide s?
True
Let l(v) = 2*v**2 - 1. Let c be l(-2). Let u = c + -3. Suppose -k + u = -7. Is 6 a factor of k?
False
Suppose 20 = c - 4*w, -c = w + 4*w - 20. Is c a multiple of 10?
True
Suppose 2*u = -4*g - 12, 0*g = -5*u - g + 6. Suppose -50 = -2*o - 5*b, -2*b - 52 = -3*o + u*b. Is o a multiple of 20?
True
Suppose 0 = 2*c + 8 - 20. Let m(t) = -t**2 - 7 + 0 + 9*t + 1. Is m(c) a multiple of 12?
True
Let z = 16 + -11. Suppose -2*m - 5 = z*v, 26 = v - 7*m + 2*m. Suppose y = 12 + v. Is y a multiple of 6?
False
Let r be 10/3 - (-14)/21. Suppose -r = -4*w - 4*b, -3*w + 7*b - 3*b = 11. Does 13 divide (-2)/(w/23*1)?
False
Let j be -20*((-11)/2 - -2). Suppose 10 - j = -5*g. Does 7 divide g?
False
Let a = -1 - -4. Is 17 a factor of 24 - (1 - 0) - a?
False
Suppose 0 = -5*v - 4*f + 630, -v + 5*v = 4*f + 540. Does 10 divide v?
True
Let p = 3 - 17. Is 21 a factor of (-394)/(-7) - (-4)/p?
False
Does 43 divide 3 - -6*(-46)/(-3)?
False
Is 11 a factor of ((-44)/(-8))/((-2)/(-16))?
True
Let z be (-2)/5 - 144/(-10). Let d be (-6 + -1)*96/z. Let v = d + 78. Is 10 a factor of v?
True
Let p = 48 + -16. Is p a multiple of 16?
True
Let m(o) = o**3 - 2*o**2 + o - 2. Let v be (-2)/((3 + -4)*1). Let x be m(v). Suppose -4*a + f + 3*f + 128 = x, a = 2*f + 28. Is a a multiple of 18?
True
Suppose -2*d = -0 - 2. Let b(z) = z**2 + 4*z. Let t be b(-3). Is (d - t/(-2))*-36 a multiple of 18?
True
Does 12 divide (2/(-1))/((-30)/102)*30?
True
Suppose -7 = j - 9. Suppose -j*q - 62 = -4*q. Is q a multiple of 6?
False
Does 7 divide (364/(-4))/(0 - 1)?
True
Suppose -6*n = -2*n - 4. Let d be ((-4)/5)/(8/40). Is 19 a factor of (3 - n)/(d/(-64))?
False
Suppose 3*o + 5 - 26 = 0. Does 7 divide o?
True
Suppose 4*m = m + 12. Let o be 4/16 + (-1)/m. Suppose 4*d - 2*v - 150 = o, -d - 3*v = 13 - 40. Does 18 divide d?
True
Suppose 2*a - 66 = -2*g, 4*g - 16 = -0*g. Suppose -3*l - 2*p = 7, -4*l - p - 8 = -7*l. Suppose -2*c + a = -l. Does 14 divide c?
False
Let f(a) = -3. Let s(r) = r - 2. Let i(m) = 2*f(m) - 3*s(m). Is i(-1) a multiple of 3?
True
Let x(g) = 2*g - 7. Is x(8) a multiple of 6?
False
Suppose 6*i - 270 = i. Is 49 a factor of i?
False
Let j(v) be the first derivative of -3*v**4/4 - v**3 + 2*v**2 + 2*v - 3. Does 16 divide j(-3)?
False
Let a(u) = -5*u - 74. Is 19 a factor of a(-27)?
False
Let c = -9 - -16. Let b(i) be the first derivative of 2*i**3/3 - 5*i**2/2 - 4*i + 2. Is b(c) a multiple of 15?
False
Let y be (-2)/10 - 102/(-10). Is (-502)/(-10) - 2/y a multiple of 14?
False
Let r(u) = 7*u**2 - 2*u - 2. Let o(t) = t - 1. Let p be o(2). Suppose -n - p = -3. Is 14 a factor of r(n)?
False
Suppose -5*n + 3*m = -19, -3*n - 3 = 2*m - 22. Let x = -1 + n. Is x a multiple of 2?
True
Let r = 17 - 14. Is r a multiple of 3?
True
Suppose z = j + 4*j - 13, 5*z - 35 = 5*j. Is z a multiple of 3?
True
Let x(z) = z**2 - 12*z + 4. Let b be x(12). Suppose 0*j = b*j - 8. Suppose -j*i = 3*i - 195. Does 13 divide i?
True
Let g = 58 - -89. Does 34 divide g?
False
Let b = 72 - 37. Is 13 a factor of (88/10)/(7/b)?
False
Suppose 25*o - 12 = 21*o. Suppose o*d - 82 = -2*i, 9*i - 4*i - 130 = -5*d. Is d a multiple of 15?
True
Suppose -35 - 5 = -2*a. Is 20 a factor of a?
True
Suppose 3*y + y = 120. Does 10 divide y?
True
Is 39 a factor of (13/2)/((-9)/(-216))?
True
Suppose 0 = 2*s - 0*s - 114. Is s a multiple of 15?
False
Let a(j) be the third derivative of j**5/60 + 2*j**3 - 4*j**2. Is a(0) a multiple of 4?
True
Let v(f) = -f**2 + 8*f + 5. Let h be v(8). Suppose 3*n - 4*c + 3 = 27, -5*n - c = -40. Suppose h*m - 37 = n. Is m a multiple of 5?
False
Is 18 a factor of ((-1)/1 - -30) + 4?
False
Let c(q) = -q**3 - q**2 - 2*q - 3. Let l be c(-2). Let m(o) be the thi