 71*s**3 - 2*s**2 + s. Let t be x(1). Let w = t - y. Does 12 divide w?
False
Suppose -36 = -6*t + 78. Does 6 divide t?
False
Let d(a) = a**2 + 5*a - 3. Let o be d(-6). Suppose o*j = 52 + 95. Is j a multiple of 17?
False
Suppose 3*w - 2*w = 3. Is 3 a factor of -3 + w + (-9)/(-3)?
True
Let l = -256 - -400. Is l a multiple of 26?
False
Does 15 divide (-50*(-2)/(-2))/(-2)?
False
Let c(t) = -93*t. Is c(-1) a multiple of 26?
False
Suppose 4*v + 27 = l + 80, 0 = -3*v + 5*l + 61. Let r be 412/v + (-2)/(-3). Let a = r - -10. Is 15 a factor of a?
True
Let y(h) = 126*h - 3. Is 26 a factor of y(2)?
False
Let l be (6/(-4))/((-3)/28). Suppose -q = 4*h + q - 32, -q - l = -3*h. Is h a multiple of 6?
True
Let l be 229/11 - 2/(-11). Let n = 37 - l. Is n a multiple of 16?
True
Suppose 0 = 3*w - 176 - 1. Is 28 a factor of w?
False
Let q(x) be the second derivative of x**5/20 + x**4/2 + x**3/6 - 2*x**2 + 2*x. Let g be q(-6). Let z = 16 + g. Is z a multiple of 6?
True
Let j(i) = 18*i - 1. Suppose 4*w - 12 = 2*a, -a + 4*a = -3*w + 18. Does 16 divide j(w)?
False
Let d(q) = -12*q - 12. Is d(-11) a multiple of 24?
True
Suppose -31*n + 1020 = -16*n. Does 17 divide n?
True
Is ((-163)/(-3))/(2 + 15/(-9)) a multiple of 25?
False
Let t be 56 + (-2 - -1 - -1). Let j(w) = -w**3 + 9*w**2 - 8*w - 10. Let y be j(8). Is 14 a factor of (-15)/y*t/6?
True
Let h(a) = 13*a + 2. Let j be h(4). Suppose j = -2*f + 4*f. Is f a multiple of 9?
True
Suppose -4*o + 748 = -5*a, 3*o + 2*a = -2*o + 935. Is 10 a factor of o?
False
Let b be (6/3)/((-2)/14). Let v(x) = x**2 + 8*x - 16. Is 23 a factor of v(b)?
False
Let k = 2 - -2. Suppose -k*v + 26 = -102. Does 11 divide v?
False
Suppose 4*c = -5*v - 96, 4*c + 0*v - 5*v = -96. Let y = 18 - c. Is 18 a factor of y?
False
Let r be (182 - (4 - 4)) + 1. Suppose 2*d = -d + r. Is d a multiple of 13?
False
Let d(c) = c**2 + 7*c. Let x be d(6). Let l = x + -52. Is l a multiple of 13?
True
Let v = 18 + -13. Is v a multiple of 2?
False
Suppose 7*z - 111 - 29 = 0. Does 20 divide z?
True
Let r(h) = -h - 3. Let b be r(-5). Suppose -39 = -3*k - 5*z, 0 = b*k + 5*z - 4 - 17. Does 9 divide k?
True
Let m(y) = -y**2 + 25*y + 58. Does 15 divide m(25)?
False
Suppose y + 16 = -3*y. Let r = 56 + y. Does 18 divide r?
False
Let s be (0 + -21)/(12/104). Let g = 286 + s. Suppose 16 + g = 4*w. Is w a multiple of 14?
False
Suppose -5*x - 50 = -s, 1 - 26 = -5*x. Let f = s + -122. Let y = -28 - f. Does 13 divide y?
False
Let x = -21 + 14. Let i(b) = b**2 + 8*b + 10. Let q be i(x). Suppose q*g - 23 = 40. Does 7 divide g?
True
Let g = -3 - -5. Let t(o) = 2*o**2 - 3*o + 3. Let f be t(g). Suppose -4*i - 2*a = -30, -f*i + 33 = 3*a - 6. Is i a multiple of 6?
True
Let u = 88 - 22. Is u a multiple of 34?
False
Let q(p) = 24*p - 32. Does 46 divide q(9)?
True
Let b(k) = 27*k - 7. Let p be b(5). Suppose j + p = 5*j. Does 13 divide j?
False
Let r = -5 + 3. Let h be 0 - (2 + r + -2). Suppose q = -h*q + 18. Is 6 a factor of q?
True
Let g(j) = -2*j**2 - 1. Let w be g(1). Let s(o) = 4*o**2 + 3*o + 1. Is 14 a factor of s(w)?
True
Suppose 0 = 3*w - 5*b - 35, 3*w + 2*b = 9 + 61. Suppose -2*z - 3*i = -0*i - 20, 2*z = 2*i + w. Does 7 divide z?
False
Suppose 6*q = 10*q - 360. Does 18 divide q?
True
Let j be (-2 - -2*1) + -2. Let c be 2/((-16)/(-6) + j). Suppose w + 61 = c*l, 3*w + w - 64 = -2*l. Does 11 divide l?
True
Let l be (-1 + -5)*-19 + -3. Suppose -2*z + 5*g - l = 0, -4*z + 2*g = z + 267. Is z/(-5) - (-6)/15 a multiple of 10?
False
Suppose 26 = 2*k + c, 4*c + 64 = 4*k + 3*c. Let b = 16 + -8. Is 10 a factor of b*k/6 + 0?
True
Let b(t) = -7*t**2 + 5*t - 9. Let y(k) = -6*k**2 + 5*k - 8. Let u(g) = 4*b(g) - 5*y(g). Let r be u(4). Let p = r - -6. Is 11 a factor of p?
True
Suppose -v = 2*j - 161, 170 = 2*j - v - v. Is j a multiple of 12?
False
Let s be (0 - 2) + 2 - -2. Suppose s*f - 86 = 26. Is 24 a factor of f?
False
Let r(w) = -w**3 + 5*w**2 + 8*w - 9. Let t be r(6). Suppose n + 0*z = 2*z + 22, t*n = 5*z + 63. Is n a multiple of 16?
True
Let r = -103 + 311. Is 13 a factor of r?
True
Suppose -5*u = -4*u - 78. Does 26 divide u?
True
Suppose 0*x + 12 = -2*k + 5*x, -k - 12 = -4*x. Let t be (-2)/(-5)*(k + 1). Suppose -t*b = -3*b + 22. Is 11 a factor of b?
True
Let w(d) = d. Let s be w(4). Suppose -3*c - s*g = -2*g - 138, -g + 3 = 0. Does 11 divide c?
True
Suppose -4 - 2 = -3*l. Suppose -p + 258 = l*p. Suppose -3*b = -5*s + p, 4*b = -3*s - 0*b + 40. Is 7 a factor of s?
False
Suppose -4 = 3*m + 20. Let d be (3/((-6)/m))/(-1). Let s(t) = -t**3 - 4*t**2 - t - 1. Is s(d) a multiple of 2?
False
Let f = 40 - 106. Let z = -6 - f. Does 12 divide z?
True
Let y(u) = 0*u**3 - 6*u**2 + u**3 + 6 - 8 + 2*u. Suppose 0 = 4*c + 3*r - 27, 4*r + 2 = 2*c - c. Does 4 divide y(c)?
False
Let n(u) = 95*u**3 - 3*u**2 - 2*u + 4. Is 3 a factor of n(1)?
False
Suppose x + 2*o + 3*o = 68, o - 1 = 0. Does 15 divide x?
False
Suppose 4*n + 4*f - 16 = 0, 5*n = -0*n + 5*f + 60. Suppose 0 = -5*o + 10, 4*u + o - n = u. Is u a multiple of 2?
True
Let a be 8/(-2)*(-2)/4. Let l(p) = 51*p - 9. Let x(c) = 25*c - 4. Let n(u) = -4*l(u) + 9*x(u). Is 14 a factor of n(a)?
True
Let l(r) = r**3 + 10*r**2 + 8*r + 3. Let x be (-5)/(5/6) + -3. Let u be l(x). Suppose -4*f + u = -20. Is 5 a factor of f?
False
Let l(i) be the second derivative of 2*i**3/3 + 2*i**2 + i. Is 10 a factor of l(5)?
False
Let q = 8 - 5. Let y = 163 + 5. Suppose f + q*f = y. Is f a multiple of 22?
False
Suppose 0 = v + 2*v + 3*n + 15, -3*v - n - 11 = 0. Let s be v - (-3)/(9/15). Suppose -2 = -a + s. Is 4 a factor of a?
True
Let v(c) = -9*c - 20. Does 13 divide v(-11)?
False
Let p = -217 - -406. Is 21 a factor of p?
True
Suppose -c = j - 6, -c + 10 = 5*j - 8. Suppose 37 = 6*n - c*n + 5*l, 4*n - l - 11 = 0. Suppose n*k = 45 + 19. Is 8 a factor of k?
True
Suppose 4*q - 3*q = 0. Let s(r) = r**3 + r**2 + r + 3. Is s(q) a multiple of 2?
False
Is 2 a factor of -10*(-1)/((-10)/(-4))?
True
Let c be 14/(-5)*(-5 - 0). Suppose 56 = 2*d + c. Is 16 a factor of d?
False
Let i be (3 - 2 - 4) + 1. Let y = i + 5. Suppose y*w = -w + 128. Is w a multiple of 14?
False
Suppose t = 3*x - 19, 9 = x - 2*t - 4. Suppose -x*y + 2*m = -m - 19, -5*m = -10. Does 3 divide y?
False
Suppose 7*v + 156 = 11*v. Does 9 divide v?
False
Let f be 2 - ((4 - 1) + -47). Suppose -3*r = -5*r + z + 19, -5*r + 2*z = -f. Is 5 a factor of r?
False
Suppose 14*l = 3*l + 1716. Does 15 divide l?
False
Let p(r) = -r + 8. Let i be p(6). Does 4 divide (-2)/((-5)/(-3) - i)?
False
Let c(a) = -a**3 - 9*a**2 + a - 6. Is c(-10) a multiple of 29?
False
Suppose -3*a + 165 = -3*c, a + 0*c - 57 = 2*c. Is 17 a factor of a?
False
Suppose 6 = -2*r, -2*b + 0*r - 2*r = 2. Suppose -4 = -b*w + 50. Let k = w - 13. Does 5 divide k?
False
Let j be (-444)/(-22) + (-12)/66. Let k = j - 14. Is k a multiple of 6?
True
Let o = 50 - 39. Is o a multiple of 11?
True
Suppose -227 = -4*m + 281. Does 28 divide m?
False
Let f(o) = o**3 + 6*o**2 - 7*o + 4. Does 8 divide f(-6)?
False
Let n(k) = 54*k**2 - 4*k + 8. Let o be n(-6). Is o/40 + 6/10 a multiple of 16?
False
Let k(c) = 3*c**3 + c**2 - 3*c + 3. Let j = -1 - -3. Let b be k(j). Suppose -13 = -2*r + b. Is r a multiple of 11?
False
Suppose 0 = -5*o + 5*k + 53 - 18, -2*o + 22 = -4*k. Suppose 3 = a - o. Is a a multiple of 3?
True
Let w(v) = -v**3 + 7*v**2 - 7*v + 7. Let h be w(6). Let u be 4/2 + 38 + h. Suppose u + 19 = 5*j. Is j a multiple of 5?
False
Let h = 62 - 23. Is h a multiple of 10?
False
Suppose 0 = 3*b - 3*n + 95 - 269, -n = -4*b + 223. Let p = -30 + b. Is 5 a factor of p?
True
Let o(k) = k**3 - 4*k**2 + 5*k + 1. Let b be o(5). Let m = 73 - b. Is m a multiple of 13?
False
Suppose -p = f - 3*p - 14, 4*f = 3*p + 71. Suppose -102 = -2*k - f. Does 12 divide k?
False
Let m = -24 + 58. Does 4 divide m?
False
Suppose -4*n = n - 10. Suppose r - 15 = -n*r. Suppose 20 = r*t - 0*t. Is t a multiple of 4?
True
Let v = -19 - -66. Is 4 a factor of v?
False
Suppose -5*u + 6*d - d + 255 = 0, -3*d + 279 = 5*u. Does 27 divide u?
True
Let c(a) = 2*a + 13. Let j be c(0). Let f = -3 + j. Does 10 divide f?
True
Let t = 45 + -28. Is t a multiple of 3?
False
Let v(h) = 3 + 2*h + 0*h + 0 - h. Is v(4) a multiple of 5?
False
Let y = -10 + 31. Is y a multiple of 5?
False
Suppose 4*l + 2*j = 14, -2 = -3*l + 5*j + 2. Suppose -u + 61