 + (0 - 9))/(-1). Is (0 - (b + 2)) + s a multiple of 11?
True
Let f(s) = -s**3 - 12*s**2 - 12*s - 16. Let k be f(-11). Let q = k + 5. Is 9 a factor of 7 - (q + 1 + -3)?
True
Suppose 4*m = -4*d + 28, 5*d + 0*d = 2*m + 70. Suppose 2 = 5*u + d. Does 10 divide (-1 - -2) + (-32)/u?
False
Let u(k) = k**3 + 12*k**2 + 11*k - 13. Is 7 a factor of u(-10)?
True
Let b(v) = -3*v**3 + 6*v**2 + 5*v - 2. Let c(t) = 7*t**3 - 12*t**2 - 9*t + 5. Let o(s) = 5*b(s) + 2*c(s). Let u be o(7). Is u + 0 + (12 - -2) a multiple of 6?
False
Let x be 4 - (0 + 0/(-2)). Let y(s) = 4*s - 3. Is y(x) a multiple of 5?
False
Let w = 5 + -21. Let l = -10 - w. Is 6 a factor of l?
True
Let v = 6 + 0. Let p be 28/6 - (-2)/v. Suppose -p*b = -41 - 69. Is b a multiple of 11?
True
Let r(x) = -x - 5. Let b be r(-7). Suppose -2*o - 20 = b*o. Let z = o + 16. Is 6 a factor of z?
False
Suppose 2 = -u + 17. Suppose -3*a = -0*a - u, 5*w - 3*a = 5. Is 4 a factor of w?
True
Let y be ((-10)/4)/(2/116). Is 7/(-28) + y/(-4) a multiple of 10?
False
Suppose 5*g + 45 = -4*z, 0*g + 10 = -4*g + 2*z. Does 17 divide (6/g)/((-2)/85)?
True
Suppose 357 = -2*b + 109. Does 7 divide ((-5)/20)/(1/b)?
False
Suppose -5*u - 11 = 9. Let n = u - -2. Is (2/n)/(1/(-10)) a multiple of 6?
False
Let o = 53 - 30. Is o a multiple of 11?
False
Suppose 0 = 5*z - 1 - 19. Let l(a) = -3*a - a**3 - 6*a + 4 + a + z*a - 7*a**2. Is 13 a factor of l(-7)?
False
Suppose -5*j + 135 = -2*j. Is 34 a factor of j?
False
Suppose 7*v - 56 = 3*v. Is 9 a factor of v?
False
Is 638/8 + 45/(-60) a multiple of 23?
False
Suppose 0 = 4*s + 36 - 164. Is 16 a factor of s?
True
Let g be (-6)/(-18) - 2/(-3). Is (1*-10)/g*-5 a multiple of 17?
False
Let x be 1/(-3) + 16/3. Suppose -5*o + 24 = -5*s + 4, x*o = -4*s - 34. Let t(i) = 2*i**2 + 7*i + 8. Does 19 divide t(s)?
True
Suppose 6*z - 38 = 4*z. Does 19 divide z?
True
Suppose 4*l + 9 = 1. Let k(m) be the first derivative of -m**4/2 + m**3/3 + m**2 + 3*m + 1. Is 19 a factor of k(l)?
True
Let r be (0 + (-4)/4)*-5. Suppose 124 = r*p - 141. Is p a multiple of 21?
False
Does 16 divide (-15)/(-3)*-1*(-176)/20?
False
Suppose 10*v = 12*v - 20. Is v a multiple of 10?
True
Let l(r) = -r. Let x(f) = 7*f - 9. Let t(c) = -6*l(c) - x(c). Does 7 divide t(-19)?
True
Suppose -640 = -8*a - 2*a. Is 16 a factor of a?
True
Let z(o) = 4*o**3 + 3*o**2 + 6*o + 4. Let y(c) = -c**3 + c**2 - c. Let u(v) = 5*y(v) + z(v). Is 12 a factor of u(8)?
True
Let j(l) = 4*l**2 - 61*l + 47*l - 2*l**2 + 4. Is 16 a factor of j(10)?
True
Let q be 52 + -2 + (-8)/(-2). Suppose -j - 3*p + 18 = 4, 2*j + 8 = 3*p. Suppose -j*s - f = -q, -4*f = -0*f. Is 10 a factor of s?
False
Suppose -12*z - 264 = -16*z. Is 22 a factor of z?
True
Suppose -k = -3*f + 243, -2*f = 3*k - 134 - 39. Is 12 a factor of f?
False
Let o be (-2)/((7 - 3)/(-4)). Suppose 4*d - 5*l - 99 = -14, -o*d = -3*l - 43. Does 10 divide d?
True
Let q(l) be the third derivative of l**5/20 - l**4/4 - l**3 - l**2. Does 13 divide q(5)?
True
Let f be 14/35 - (-148)/5. Suppose 5*j - f = 4*j. Does 14 divide j?
False
Suppose 3*g = -3*s - 6, -g = -2*s + 7 - 20. Suppose -12 = -q - g*q. Suppose 4*b = q*k - 15, 4*b + 5 = k - 0*k. Is 5 a factor of k?
True
Let x(r) = -r**3 - 6*r**2 - 7*r - 6. Let l be x(-5). Suppose 4*s + 2*k = 60, -l*s + 4*k + 23 = -s. Is 13 a factor of s?
True
Suppose 0 = m + 3*m - 220. Is 18 a factor of m?
False
Let y = 4 - 5. Let l be ((-95)/20)/(y/4). Suppose 3*b + 4 - l = 0. Is b even?
False
Let v be (-6)/18 - (-824)/6. Suppose 2*t + 16 = -3*c + v, 2*c = 3*t + 72. Is 13 a factor of c?
True
Let c(k) = 2*k - 2. Let v be c(-4). Is (16/3)/(v/(-30)) a multiple of 16?
True
Let b(c) = 12*c**3 + 2*c**3 - 2*c + 3*c. Let j be b(-1). Does 6 divide j/2*(-4)/5?
True
Let y(g) = 3*g**2 + g. Let q be y(-1). Let n(w) = 13*w - 3. Is 13 a factor of n(q)?
False
Let j = 17 + -8. Let g = 1 + j. Is 10 a factor of g?
True
Let h = 16 - -11. Is h a multiple of 14?
False
Let t(j) be the third derivative of j**6/120 + j**5/30 + j**4/12 - 2*j**3/3 - 2*j**2. Let z be t(-3). Let f = -1 - z. Is f a multiple of 12?
False
Let n(b) = b + 5. Let x be n(-5). Suppose x = h - 0*h. Suppose h = a - 8 - 2. Is a a multiple of 10?
True
Let q(l) = l**2 - 4*l - 3. Let p be q(4). Suppose 2*c - 9 = 23. Let r = c - p. Is r a multiple of 15?
False
Let u(c) = -17*c - 2. Suppose 0 = -3*j - 2*o + 4*o, -2*j + 5*o = -11. Does 13 divide u(j)?
False
Let j = 9 - 5. Suppose j*k - 44 = 180. Is k a multiple of 17?
False
Suppose -20 - 16 = -2*y. Does 17 divide y?
False
Let l(c) = 17*c**2 - 3*c + 2. Does 8 divide l(1)?
True
Let t be (0/((-6)/(-2)))/(-2). Suppose t = 3*g - 60 + 9. Is g a multiple of 13?
False
Let a(v) = v**2 - 9*v + 3. Let c be a(9). Let i be (4/c)/(1/105). Suppose -3*b + n = -i, 4*b - 4*n - 298 + 114 = 0. Is b a multiple of 19?
False
Is 29 a factor of 24/(-32)*(-40)/1?
False
Is (-4)/5 - 699/(-5) a multiple of 13?
False
Let s be 5*(-8)/(-20) - -2. Let m be 27/5 - 2/5. Does 5 divide 5*(2 + s/m)?
False
Let v(j) = -j**3 - 2*j**2 + 4*j + 5. Is v(-4) a multiple of 8?
False
Is 67 - (1 - -2)*(-4)/6 a multiple of 29?
False
Let y(u) = u**3 - 7*u**2 - 8*u + 2. Let s be y(8). Suppose -r - 5 = -s*r. Suppose r*m - 4*j = 23, -2*j - 2 = -m - 1. Is m a multiple of 4?
False
Suppose 5*y - 702 = -f + 14, 2*y + f - 287 = 0. Is 13 a factor of y?
True
Is 4/(-28) - 100/(-14) even?
False
Let x be 417/9 - (-6)/9. Let y = -2 + 0. Does 8 divide 2/(-4) - x/y?
False
Let x be 11/(-2) - 2/4. Is 9 a factor of 4/(4/3) - x?
True
Suppose -5*b - 2*v = 0, 2*v - 1 = -2*b - 7. Suppose b*f - 60 = -0*f. Is f a multiple of 10?
True
Let i = 160 - 118. Let q = -3 - -5. Suppose q*y - 52 = i. Does 26 divide y?
False
Let p be -9 + 1 + (-2 - -3). Let k be p/(1 - 8/10). Let w = -25 - k. Does 8 divide w?
False
Let v = 42 + -1. Is 22 a factor of v?
False
Let n = 0 + -1. Is ((-16)/(-24))/(n/(-21)) a multiple of 3?
False
Let v(l) = 2*l**3 - 3*l**2 - 4*l - 1. Let z be v(3). Let k = -3 + z. Is k a multiple of 4?
False
Let b(a) = -a**3 - 4*a**2 + 5*a. Let k be b(2). Let o = 1 - 1. Let g = o - k. Is 14 a factor of g?
True
Suppose -d + 2*f = -10, -d + 0*f + 2 = 2*f. Suppose -d = -y + 7. Does 8 divide y?
False
Let f(y) = 6*y**2 + y - 2. Suppose 3*r = -r + 40. Suppose -3*w = 2*w - r. Is f(w) a multiple of 12?
True
Let n(l) = l + 1. Let b be n(2). Let t be 20/6 + b/(-9). Suppose p = -t*p + 204. Is p a multiple of 20?
False
Let w = -20 + 26. Is 3 a factor of w?
True
Is 26 a factor of (1 - (-37)/2)*4?
True
Is 15 a factor of 2/(-11) + 7170/110?
False
Let n = -184 + 449. Suppose 7*w = 2*w + n. Does 12 divide w?
False
Let f(w) = w**2 - w - 4. Let s be f(4). Let u = s - 6. Is 11 a factor of ((-3)/(-6))/(u/88)?
True
Let l = 153 + -121. Is l a multiple of 4?
True
Let t = 467 + -257. Suppose 3*d + 57 - t = 0. Is d a multiple of 10?
False
Let b(s) = s**2 - 5*s - 10. Let d(g) = g**2 - 10*g + 4. Let p be d(10). Let c(t) = 2*t + 1. Let l be c(p). Is 7 a factor of b(l)?
False
Let w be -2 + 1 + (-20)/(-5). Is w/((-9)/(-456)*2) a multiple of 24?
False
Let q(b) = 2*b - 11. Let u be q(6). Suppose -u = -4*c + 11. Is 3 a factor of c?
True
Let s(d) = d**3 - 6*d**2 + 3*d - 2. Let j be s(6). Suppose 6 + 7 = 4*z + 3*f, -4*f - j = -3*z. Is z a multiple of 4?
True
Is 8 a factor of 1/4 + (-441)/(-28)?
True
Suppose -129 = -4*o + o. Suppose -4*t - 5*n + o = -108, -3*t + n = -99. Does 15 divide t?
False
Let g(v) = -204*v**3 + 20*v - 20. Let n(t) = 29*t**3 - 3*t + 3. Let x(s) = -3*g(s) - 20*n(s). Is x(1) a multiple of 13?
False
Suppose -18*n = -14*n - 144. Is n a multiple of 12?
True
Is 3 a factor of 2 + -3 - (19 + -3)/(-4)?
True
Let c = -62 + 96. Does 17 divide c?
True
Suppose 0 = -4*c + 281 + 91. Is c a multiple of 31?
True
Let s = 14 - 18. Does 9 divide -108*(2/s - 0)?
True
Let f = -12 + 11. Let z(i) = -34*i. Is 13 a factor of z(f)?
False
Let x be 8 - 5 - (1 - 3). Suppose -x*u = -19 - 1. Is u a multiple of 3?
False
Let l(u) = 8*u - 8. Is l(4) a multiple of 12?
True
Let r be -1*1*-29 - -1. Let d = 10 + r. Is 4 a factor of (d/(-12))/((-2)/6)?
False
Let w = 34 - 22. Is 12 a factor of w?
True
Let f be (2/6)/((-3)/(-18)). Suppose 5*b - 48 = -o, f*b - b - 4 = -3*o. Is 5 a factor of b?
True
Let l(q) = 3*q**2 - 4*q - 9. Let d(t) = t**2. Let p(o) = 4*d(o) - l(o). Is 19 a factor of p(-6)?
False
Let j be -5 - -5 - (1 - 1). Su