et z be j(-2). Let o(a) = a**2 - 5*a - 1. Let i be o(-9). Suppose 0 = 2*q + 3*r - 35 - 13, -5*r = z*q - i. Is 9 a factor of q?
True
Let b(l) = -l**2 - 9*l + 12. Let d be b(-10). Does 6 divide 3 - (-1 + (-6 - d))?
True
Suppose -5*g + 240 = 3*v, 0*v - 110 = -3*g + 5*v. Does 15 divide g?
True
Let i(n) be the first derivative of -n**2/2 + n - 1. Does 2 divide i(-4)?
False
Let o be (-20)/28 + 4/(-14). Let a = o - 0. Let u = 31 + a. Is 10 a factor of u?
True
Let w(m) = m**2 + 8*m + 25. Is 24 a factor of w(-11)?
False
Let u(w) = -w + 3. Let a be u(-4). Let b(d) = 18 - d + 5*d + 3 - 11. Is b(a) a multiple of 10?
False
Suppose -3*z = -518 - 10. Is z a multiple of 11?
True
Suppose -5*r + 5 = 0, -5*s + 5*r = -10 - 5. Let b(c) = c**2 - 4*c + 4. Let l be b(s). Suppose -70 = -l*y + 94. Does 11 divide y?
False
Suppose 0 = 7*s - 3*s - 48. Let g be 2 - (-1)/(1/1). Let a = s - g. Is 6 a factor of a?
False
Let f = 44 - 31. Is 13 a factor of f?
True
Does 11 divide (0 - 66/(-9))/(8/12)?
True
Let n be 68/11 - (-6)/(-33). Let b(q) = q**3 - 5*q**2 - 3*q - 3. Is 15 a factor of b(n)?
True
Suppose 296 = 5*o - 544. Is o a multiple of 12?
True
Let u(m) = 16*m**2 - 7*m + 2. Is u(2) a multiple of 18?
False
Suppose 14*t = 15*t + 2. Is (t + -10)/((-1)/1) a multiple of 4?
True
Let g(b) be the second derivative of b**5/10 - b**4/12 - b**3/2 + b**2 - 3*b. Let c be 2*2/(-4) + 3. Is 7 a factor of g(c)?
False
Suppose 5*g = 3*g + 152. Is 19 a factor of g?
True
Let y = -194 + 274. Does 3 divide y/(-12)*(-3)/2?
False
Let n(c) = 3*c**2 + 2*c - 2. Let g be n(-2). Suppose 3*x = g*x. Suppose 3*a + a - 100 = x. Is 13 a factor of a?
False
Suppose 2*z - 6 = -4*t, 5*t - 6*t = -3*z + 23. Is 3 a factor of z?
False
Suppose 0*h + h = 0. Suppose -2*g + 57 + 23 = -5*w, h = g + w - 26. Is g a multiple of 10?
True
Suppose 11*j = 8*j + 120. Is j a multiple of 10?
True
Suppose 18*a - 25*a = -763. Is a a multiple of 43?
False
Suppose -3*b = -b + 156. Let f be (6/8)/((-1)/4). Does 13 divide 0/1 + b/f?
True
Let s = 43 - 2. Is s a multiple of 14?
False
Let h be 1 + -3 + (3 - 2). Is (255/10)/(h/(-2)) a multiple of 17?
True
Let d(a) = -1 + 7*a**2 + 4*a - 3*a**2 - a**3 + 2*a**3 + 4. Let y be d(-2). Does 8 divide (-4)/((y/(-2))/3)?
True
Suppose 0 = 3*z - 225 + 69. Does 26 divide z?
True
Let l = -2 + 6. Suppose 0 = -l*y - 3*f + 80, -2*y + 3*f + 80 = 2*y. Is y a multiple of 6?
False
Let j(w) = -w**3 + w**2 + 3*w - 2. Let x be j(2). Let y = -1 - x. Let n = 17 + y. Is 8 a factor of n?
True
Suppose -2*l = -12 - 24. Does 18 divide l?
True
Let x(s) = -2*s - 5. Let j be x(-4). Suppose -j*h + 14 = -h. Let f = 1 + h. Does 4 divide f?
True
Let l(i) = -2*i**3 - 4*i**2 + 4*i + 4. Is 13 a factor of l(-4)?
True
Let y = 6 - 4. Let q = y - -27. Suppose 4 = -4*n, 4*p = 2*p + n + q. Is p a multiple of 14?
True
Let r(y) = -y + 10. Let l be r(7). Is 2 a factor of 4 - 3 - (2 - l)?
True
Suppose -5*p + 0*l + 2*l + 125 = 0, -3*p + 2*l = -75. Suppose 4*m + m - p = -3*i, 2*m + 21 = 5*i. Suppose -i*y - x = -50, 3*x = -2*y + 22 + 11. Does 4 divide y?
False
Let b(y) = 3*y - 7. Let c(l) = -2*l + 3. Let x(o) = o**2 - o + 1. Let t be x(4). Let p(g) = t*c(g) + 6*b(g). Is 21 a factor of p(-3)?
True
Suppose -2*p + 1728 = 492. Is 15 a factor of 1/(-2) + p/12?
False
Suppose -4*c = -s - 7, 0 = 5*c - s - 2*s. Let f = c - -18. Is 7 a factor of f?
True
Suppose 2*g = 5*n - 2, -g - g + 4 = -2*n. Suppose 4*w = n*w. Suppose w = -d - 3*d + 80. Is d a multiple of 10?
True
Suppose -5*z = 2*c - 18, 5*z + c - 26 = -7. Is z a multiple of 2?
True
Suppose 0 = -4*d + r + 5, -4*r + 6*r = -d + 8. Is 0/(-4) - (-124)/d a multiple of 17?
False
Suppose 4*t = -3*u + 2, 2*t - 3*u - 6 = -2*u. Let j(s) = -3*s - t*s**2 - 2*s**2 - 4*s**3 - 2 + 0*s**3. Is 20 a factor of j(-2)?
True
Let v(j) = j**3 - 8*j**2 - 5*j - 13. Is 23 a factor of v(9)?
True
Let y(m) = m**3 + 9*m**2 + 5*m. Let l be y(-7). Suppose -3*x = -4*x + 29. Let s = l - x. Is s a multiple of 14?
False
Let i(j) = 4*j**2 - 5*j - 5. Is 7 a factor of i(-2)?
True
Suppose 0 = k + 4, -5*k = -5*b + 3*b + 6. Is (b/14)/((-2)/48) a multiple of 4?
True
Let k(d) = -d**3 + 4*d**2 + 2. Let s be k(2). Suppose 29 = 3*h - s. Is 4 a factor of h?
False
Let m(w) = 4*w. Let v be m(-1). Let u be (-3)/12 - 9/v. Suppose u*z - 15 = 19. Does 16 divide z?
False
Let k = -3 + 9. Is 16 a factor of (-2)/(-6) + 286/k?
True
Let c(s) = 2*s - 1. Let a(j) = -j + 1. Let l(o) = -4*a(o) - 4*c(o). Suppose -25 = 3*g - 4*i, -8*g - 4*i + 1 = -3*g. Is 10 a factor of l(g)?
False
Let l be 0 - (1*-74)/1. Let r = -49 + l. Is 16 a factor of r?
False
Let k(a) = -26*a + 8. Is 14 a factor of k(-2)?
False
Suppose -4*a - 7*t + 3*t = -28, 5*a - t - 17 = 0. Let o = a + -1. Suppose 9 = o*d - 21. Does 10 divide d?
True
Let i(p) = 8*p + 8. Let c(q) = 1. Let w(g) = -g - 1. Let h(t) = c(t) + w(t). Let x be h(-7). Is i(x) a multiple of 23?
False
Suppose 5*u - 8*u + 45 = 3*c, 4*u - 5*c = 87. Is u a multiple of 5?
False
Let p be (-2 - (-1 + 0))*-6. Suppose 35 = p*t - t. Does 7 divide t?
True
Suppose 0 = -2*b + a + 3*a - 12, 0 = -a + 2. Is 3 a factor of 1/(b - (-13)/6)?
True
Does 25 divide ((-16)/6)/(3/(-90))?
False
Suppose -l + 36 = -3*r - 3*l, -16 = r + 2*l. Let x be (-5)/r - 2/4. Suppose x - 6 = -2*p + 2*a, 3*p + 3*a - 39 = 0. Is 8 a factor of p?
True
Suppose 4*n - c - 10 = 20, -c = 3*n - 19. Does 19 divide (n/(-1))/(3/(-24))?
False
Let i(l) = l + 1. Let f = 14 + -5. Is 6 a factor of i(f)?
False
Let p = 32 - 50. Suppose 26 = 2*w - 26. Let r = w + p. Is r a multiple of 4?
True
Let r = 44 + -10. Suppose -3*h + r = -23. Does 18 divide h?
False
Let d = -13 + 31. Does 8 divide (1 + d - 1) + -2?
True
Let w = -20 + 38. Suppose 0 = 7*v - 3*v. Is 8 a factor of w + -4 + v + 2?
True
Let d(b) = -b**3 - 2*b**2 + 6*b. Is 28 a factor of d(-6)?
False
Suppose 0 = -0*p + 5*p + 15. Let m = p - -35. Is m a multiple of 16?
True
Let r(o) = 4*o**2 + 7*o + 6. Does 7 divide r(-4)?
True
Suppose 0 = 2*q - q - 35. Suppose 20 = w + 2*u, 3*u - q = w - 3*w. Is 10 a factor of w?
True
Suppose 4*f - 130 = 66. Does 28 divide f?
False
Does 16 divide -3*43/(-6)*2?
False
Suppose -48 = -m + 5*m. Let a = m - -33. Is 6 a factor of a?
False
Suppose 15 = -3*x, 0*k = k - x - 31. Does 26 divide k?
True
Let n be (7 + -8)/(1/15). Let g = n - -23. Does 3 divide g?
False
Let f = -290 + 450. Does 40 divide f?
True
Let a be 3/((3 + -4)*-1). Suppose -a = -2*q + q. Suppose -88 = -4*i + 4*p, -2*i = -q*p - 67 + 25. Is i a multiple of 8?
True
Let g(x) = -2*x**2 - x + 2. Let d(i) = i - 4. Let n be d(2). Let q be g(n). Is 17 a factor of q/(-6)*(-348)/(-8)?
False
Let z = 112 + -66. Is 23 a factor of (0 - z/3)*-3?
True
Suppose -10*l - 9 = -11*l. Is 9 a factor of l?
True
Let u = 21 - 16. Is 3 a factor of u?
False
Let i = -21 - -48. Suppose h - 31 - 26 = 0. Let x = h - i. Is x a multiple of 16?
False
Let a = 1 + 58. Is a a multiple of 10?
False
Let v = -4 + 7. Is 3 + (102/v - -1) a multiple of 13?
False
Let p(k) = -k**2 - 5*k + 8. Let d be p(-6). Let y = 6 + d. Is y a multiple of 6?
False
Let g = -8 + 6. Let s(d) = -5*d + 2. Does 6 divide s(g)?
True
Let l(p) = -2*p**3 + 2*p**2 - 2*p - 5. Let d(g) = 6*g + 4 + 4*g**3 - 4*g - 2*g**3 - 2*g**2. Let q(v) = 5*d(v) + 4*l(v). Is q(2) a multiple of 6?
True
Suppose 0*n + 408 = 6*n. Is n a multiple of 12?
False
Let p(h) = 2*h**3 + h**2 + 2*h - 2. Does 12 divide p(3)?
False
Let d(o) = 2*o**2 - 17*o + 6. Let k be d(13). Let h be 0 - (0 - k/3). Let f = h + -25. Is f a multiple of 16?
True
Suppose 2*h + 52 = m + 3*h, 0 = -m + 5*h + 52. Let a = 11 + m. Does 17 divide a?
False
Suppose 11*g - 288 - 3100 = 0. Is 44 a factor of g?
True
Suppose 22 + 18 = -4*w. Let l = 14 - w. Is l a multiple of 10?
False
Suppose -3*r + 229 = -5*q, -2*r + 2*q + 2*q = -152. Does 18 divide r?
False
Let k be 2/5 - 1218/(-30). Let i be 4/((-4)/3)*-9. Let c = k - i. Is 7 a factor of c?
True
Let v(s) = s**2 - 3*s + 2. Let i be v(3). Is (3 + 14*i)*1 a multiple of 11?
False
Let w = 27 - 27. Suppose w = 5*a - 5*x - 90, 2*x + 5 = 5*a - 91. Is a a multiple of 10?
True
Let d be -18*(-2)/4*2. Suppose 3 = q + d. Let c = 27 + q. Does 12 divide c?
True
Let l(v) = v**3 - 23*v**2 + 27*v - 40. Is 22 a factor of l(22)?
False
Let q(y) = -5*y - 1. Let u be q(-4). Let l = -9 + u. Is l a multiple of 10?
True
Suppose 2*g - 1 - 3 = 0. Suppose -5*x 