= -j**3 + 8*j**2 - 8*j + 10. Let n be b(7). Suppose 5*t + 94 = 3*d + n*t, 97 = 4*d + 3*t. Is 14 a factor of d?
True
Suppose -o + z + 11 = -7, o = 2*z + 23. Is 7 a factor of o?
False
Let w(o) = 6*o - 14. Is w(10) a multiple of 17?
False
Let g(q) = q**2 - 7*q - 9. Let j(t) = t**3 + t**2 + t - 4. Let l be j(0). Is g(l) a multiple of 10?
False
Let n be (1/(-2))/((-1)/(-38)). Let p = 37 + n. Is 16 a factor of p*1 + 2*-1?
True
Let t(f) = f**2 + 5*f + 14. Let n(o) = 2*o**2 + 10*o + 27. Let y(q) = -6*n(q) + 11*t(q). Let j be y(-6). Is 6 a factor of 0/(-3) - j - 2?
True
Suppose 3*o + 3*w = 4*o + 16, 0 = -4*o + 4*w - 32. Let r be 1428/11 - o/22. Suppose -3*f = 2*f - r. Is f a multiple of 12?
False
Let g(s) = -s**3 + 5*s**2 + 6*s + 4. Let w be g(6). Suppose -13 - 23 = w*i. Is 33/2*(-30)/i a multiple of 20?
False
Let u(s) = s**2 + 6*s + 1. Let a be u(-5). Does 2 divide 140/16 + 3/a?
True
Let f(i) = 11*i. Let m be f(2). Let u be m/4 + 3/(-2). Suppose -c = -o - 12, 65 = u*c - o + 20. Is 4 a factor of c?
False
Let w = 7 - 18. Let h = -8 - w. Suppose h*u - 12 = -0*u. Is u a multiple of 4?
True
Let p be -9 + 10/(-8)*-4. Let k be 10/(-6) + 2/3. Does 26 divide (27 + k)/(p/(-8))?
True
Let v(f) = 2*f**2 - 8*f - 8. Is v(11) a multiple of 8?
False
Suppose -1 = b + d, -5*b + d - 2*d = 1. Suppose b = -4*l - 15 - 197. Let a = -26 - l. Is 13 a factor of a?
False
Let x be 8/(-12)*-6*-4. Let y = 49 + x. Does 14 divide y?
False
Suppose 0 = -5*i + 2*u + 223, 3*u - 38 + 170 = 3*i. Is 15 a factor of i?
True
Let q = 19 - 8. Is q a multiple of 6?
False
Suppose 5*p + 10 = -5*m, -2*p - 5*m - 1 = 3. Let b be ((-4)/10)/(p/(-10)). Let s = b + 56. Is 14 a factor of s?
False
Suppose -2*c = c. Suppose 8 = 2*w - c*w. Is 3 a factor of w?
False
Let v = 10 - 19. Is (-2)/v - 669/(-27) a multiple of 18?
False
Suppose n - 3 = 4*t, -7*n + 3*n = t - 12. Suppose 0 = -n*a + 2*a - 7. Does 6 divide 1 + 0 - (a + -5)?
False
Let n(z) = -8*z - 3. Let d be n(4). Is 11 a factor of ((-56)/d)/((-4)/(-30))?
False
Let k = -7 + 30. Is k a multiple of 23?
True
Let j(t) be the second derivative of t**4/12 - 5*t**3/2 + 3*t**2 + 6*t. Does 2 divide j(15)?
True
Suppose 0*h + 60 = 2*h - 3*c, 0 = 2*c + 8. Is 8 a factor of h?
True
Suppose -8*k + 143 = -7*k. Is 13 a factor of k?
True
Suppose -a = -173 + 15. Is 12 a factor of a?
False
Suppose -v + 0*v + 104 = 0. Does 8 divide v?
True
Let t = -143 - -240. Is 27 a factor of t?
False
Suppose -s - 3*b + 0 = 4, -5*b - 20 = -5*s. Suppose -s*y + 36 = y. Is y a multiple of 4?
True
Suppose -5*r + 19 = 2*h, -2*r = 2*h - 12 + 2. Suppose c - 5*z = 4*c - 6, 20 = 2*c - h*z. Is 7 a factor of c?
True
Suppose 0 = -9*l + 7*l + 108. Is l a multiple of 13?
False
Let s = 4 - 3. Suppose 4 = 5*c - s. Is 18 a factor of c/(6/(-81))*-2?
False
Let n = 17 + 0. Let m = n - 10. Is m a multiple of 7?
True
Suppose -34*c + 41*c - 112 = 0. Is c a multiple of 3?
False
Is (-18)/(-1) - (-4)/((-16)/(-12)) a multiple of 11?
False
Let g = 72 - 30. Does 12 divide g?
False
Suppose 0 = -l + 5*l - 360. Suppose -3*x = 4*y - 228, 3*x + 203 + 109 = 5*y. Let v = l - y. Does 12 divide v?
False
Suppose 4*x - 2*p = -0 + 4, 3*x = -4*p - 8. Suppose x = k + 4*l - 54 - 8, 0 = 2*k + 3*l - 119. Is k a multiple of 29?
True
Let r(w) be the third derivative of w**6/60 - w**5/60 + w**3/6 + w**2. Let m be r(2). Is 16 a factor of (-3 + 4)*m*3?
False
Suppose 0 = 7*j + 2*j - 1890. Is j a multiple of 25?
False
Suppose -4 = 4*w + 2*m, -w - 3*m = 2*w. Let s be (w + 2 - 0)/2. Suppose -3*g + 88 = 5*l, s = 4*g + 4*l - 70 - 42. Does 13 divide g?
True
Suppose 2*u + 33 = -g, 0*g + u = -4*g - 153. Let b = -17 - g. Is b a multiple of 11?
True
Let x(a) = 1. Let i(b) = -3*b - 15. Let f(c) = i(c) + 5*x(c). Let s be 8/(-2) - (11 + -8). Is f(s) a multiple of 5?
False
Is (-97 + -2)*-1 + 3 a multiple of 17?
True
Suppose -2*h + 5*h + 3*q - 24 = 0, -5*h - q + 36 = 0. Is 16 a factor of ((-14)/h)/(2/(-72))?
False
Suppose -x + 0*h = 2*h - 30, 5*x + h - 141 = 0. Is 14 a factor of x?
True
Let g(u) be the second derivative of 7*u**3/6 + 2*u**2 + 3*u. Let k be g(3). Suppose f = 3*l + k, 4*f - 101 = -4*l - 17. Is f a multiple of 9?
False
Let x(v) = v**2 + 7*v + 8. Let i be x(-6). Let y = -10 - i. Is y/14*(-4 + -3) a multiple of 3?
True
Let u(y) = y**2 - 8*y + 6. Is 7 a factor of u(11)?
False
Let z = 6 + -6. Suppose z = -4*i + 12 + 56. Does 8 divide i?
False
Let z(j) = -26*j + 1. Let p be z(-2). Suppose -2*x + p = 9. Is 11 a factor of x?
True
Let q(v) = -3*v - 2. Suppose -2*l = 3*l - 3*m + 10, m - 2 = l. Let j be q(l). Suppose 0 = w + 2*n - j*n - 4, -2*n = -5*w + 36. Is 8 a factor of w?
True
Suppose 4*m + m = 570. Let g = m - 76. Is 14 a factor of g?
False
Suppose 0 = 5*c - 4*y + 15, c = -3*c - 2*y + 14. Does 9 divide (3 - -36)/3 - c?
False
Suppose 3*i + 0*n + 4*n = 8, 0 = 5*n + 5. Let b be 4 + -1 + i/2. Suppose 3*h = -3, b*q - 45 = -3*h - 8. Is q a multiple of 8?
True
Let p be (2 + 1 + -2)/1. Suppose p = 5*r - 9. Suppose -5*d + 5 = 0, 3*d + 29 - 4 = r*c. Is 5 a factor of c?
False
Let a = 65 - -43. Suppose a + 36 = 3*m. Is m a multiple of 9?
False
Let v be (-21)/3 - (-4 - -3). Does 11 divide v/9 - (-70)/6?
True
Let t = -10 + 10. Suppose f + t = 2. Suppose 60 = -f*c + 160. Does 19 divide c?
False
Suppose -4*o = -o + 4*v - 11, -v = 2*o - 4. Is 4 + 0/(o - 2) a multiple of 2?
True
Let f be 3 + 3/(1 - -2). Suppose -3*i - 121 = -f*j - 37, 0 = -3*j + 2*i + 62. Suppose -5*a + j = -2. Is a a multiple of 4?
True
Suppose 3*s + 0 - 39 = 0. Suppose 3*d + 38 = -s. Let i = -2 - d. Does 5 divide i?
True
Let y be (0 + 1)*(-2 + -1). Let z(d) = -3*d + 2. Let m(f) = -3*f + 1. Let p(x) = y*m(x) + 2*z(x). Is 2 a factor of p(1)?
True
Let m = 10 + -7. Suppose 0 = -0*j + m*j - 87. Does 11 divide j?
False
Let u(k) = -k**3 - 7*k**2 - 7*k - 2. Let i be u(-6). Is (-142)/(-6) + i/12 a multiple of 7?
False
Let d = 26 + 15. Let j = -25 + d. Is 8 a factor of j?
True
Is 2 - ((-1)/(-1) - 48) a multiple of 9?
False
Let c(v) = -v**3 + 5*v**2 + 4*v - 3. Let g(q) = -q**3 + 5*q**2 + 2*q + 5. Let i be g(5). Suppose 5*x = i + 10. Does 11 divide c(x)?
False
Let g(h) = 17*h**2 - h. Suppose 3*x - 3*p - 15 = 0, 4*p = -3*x - p - 17. Is 8 a factor of g(x)?
True
Let u(j) = j**2 + 8*j - 3. Let l be u(-8). Is 3 a factor of ((-33)/(-9) + l)*12?
False
Suppose 0*i + 5*i + 55 = 0. Let z = i + 22. Is z a multiple of 7?
False
Suppose 15 = 2*d + 17. Let y be (1/(-2))/((-2)/(-52)). Let n = d - y. Does 7 divide n?
False
Is 10 a factor of 540*5/(125/10)?
False
Let g be ((-30)/(-8))/((-5)/(-320)). Suppose -5*f + 3*i = -g, -3*f = -0*i + 5*i - 110. Is 15 a factor of f?
True
Let b = 187 + 83. Is b a multiple of 15?
True
Suppose y + 16 = -3*y. Let k(j) = -j + 1. Let q be k(y). Suppose n - 3 = q. Is n a multiple of 4?
True
Suppose 0 = -3*b - f + 15, -f = 3*b + b - 20. Let t(k) be the second derivative of k**3/2 - k**2 - 3*k. Is 8 a factor of t(b)?
False
Let u = -9 - -3. Is 9 a factor of ((-63)/6)/(u/8)?
False
Let f(u) = 2*u**2 - 11*u - 6. Let w be f(10). Let s = w + 8. Suppose -4*b = -2*y - s, 3*b - 3*y + 104 = 8*b. Is b a multiple of 11?
True
Let b(x) = -x**2 + 4. Let r be b(0). Suppose 2*w - 14 = -r*t, -4*t = -t - 3. Is w even?
False
Suppose -9*b = -4*b - 230. Is 9 a factor of b?
False
Let y(b) = b**3 + 4*b**2 - 5*b + 3. Let m(z) = -z + 6. Let i be m(12). Let l be y(i). Let n = 59 + l. Does 7 divide n?
False
Suppose -29 = -3*t + 5*h, -4*t - 2*h - h + 29 = 0. Let k(z) be the third derivative of z**4/24 - 2*z**3/3 - z**2. Is k(t) a multiple of 3?
False
Let v be -3 + -1*(4/4 + -2). Let o(h) be the second derivative of h**4/3 - h**3/6 + h**2 - h. Does 7 divide o(v)?
False
Suppose -367 - 92 = -3*f. Does 17 divide f?
True
Let s(t) = 4*t**2 + 10*t + 21. Is s(-8) a multiple of 16?
False
Let j(g) = g**3 + 8*g**2 - 13*g + 3. Does 17 divide j(-6)?
True
Let x(y) = 9*y**3 + 3*y**2 + 8*y + 1. Let d(u) = 10*u**3 + 3*u**2 + 9*u + 1. Let z(v) = 5*d(v) - 6*x(v). Does 16 divide z(-2)?
False
Let b(v) = -v**3 - 8*v**2 - 8*v - 3. Suppose 2*q - q + 8 = -i, 24 = -3*q - 5*i. Is b(q) a multiple of 21?
False
Does 12 divide -3 - (-3 + 1) - -66?
False
Let j = -174 - -270. Is 10 a factor of j?
False
Let v(y) = -y**3 + 2*y**2 + 3*y - 3. Let d be v(2). Suppose -d*b + 685 = 2*b. Suppose -3*r + b = 5. Is 22 a factor of r?
True
Let y = 3 + -4. Let g(f) = 