y**3 - 8*y**2 + 7*y - 14. Is 14 a factor of q(n)?
True
Let t(v) = 73*v**2 + v**3 - 3 - 73*v**2 - 4*v. Let s be t(-2). Let u(z) = z**3 + 3*z**2 - 3*z + 1. Is 6 a factor of u(s)?
False
Let f(o) = -19*o - 74. Let d = 97 - 105. Is 14 a factor of f(d)?
False
Suppose 4*p - 3*u = 2*u + 1135, 0 = 4*p + 2*u - 1114. Let k = p + -155. Does 22 divide k?
False
Let g = -28 + 141. Let m = -53 + g. Is m a multiple of 31?
False
Suppose -47*m + 26*m = -60270. Is m a multiple of 10?
True
Let w(j) = 20*j - 35*j + 14*j + 4. Does 4 divide w(-24)?
True
Suppose 47*y - 60*y = -3003. Is y a multiple of 77?
True
Suppose 3100 = 3*v - 1727. Is 29 a factor of v?
False
Let i(s) = s**3 - 9*s**2 - 11*s + 2. Let z be i(9). Let w = 161 + z. Suppose 3*k - w = -k. Does 4 divide k?
True
Suppose 15 = 3*d - 2*i + i, 4*i + 24 = 3*d. Suppose -d*b + 0*b + 364 = 0. Let h = b - 40. Is 19 a factor of h?
False
Let f = -1296 - -3034. Is 11 a factor of f?
True
Suppose 5*m + 4*z - 865 - 619 = 0, 5*z = 3*m - 920. Is 10 a factor of m?
True
Let y(l) = l + 18. Let h be y(-9). Suppose x + h = -2*x, g - 18 = 5*x. Suppose g = -5*s + 78. Is s a multiple of 5?
True
Let g = -73 + 90. Let d = g - -7. Does 6 divide d?
True
Let z = -2 - 7. Let v = z - -11. Is 7 a factor of 8 + v/4*-2?
True
Let v(t) = -3*t - 12. Let n be 7 - ((-2)/(-1))/(-1). Let i = n + -18. Is 5 a factor of v(i)?
True
Suppose -15*f - 896 = -17*f. Is f a multiple of 16?
True
Let t(d) = -d + 3. Let m be t(-7). Suppose -5*j = -m, 4*u - 22 = -4*j + 3*j. Suppose 480 - 115 = u*a. Is a a multiple of 8?
False
Let i(u) = 109*u**2 + 6*u + 6. Is i(-2) a multiple of 43?
True
Suppose 1582 = 4*g + 190. Is 4 a factor of g?
True
Let c(x) be the third derivative of 11*x**5/60 + x**4/24 - x**3 - 16*x**2. Is 14 a factor of c(3)?
False
Let f be (1 - -17)*(-16)/(-3). Suppose -3*q = 3*y - f, y - 26 + 2 = q. Is 4 a factor of y?
True
Suppose -27*j - g + 4293 = -25*j, 5*g + 8621 = 4*j. Is j a multiple of 29?
False
Let c(z) be the second derivative of z**6/5 + z**5/30 - z**4/24 - 2*z**2 + 2*z. Let u(d) be the first derivative of c(d). Is 8 a factor of u(1)?
False
Let x be (16/(-20))/((-4)/(-10)). Let m be (x/(-4))/((-2)/(-168)). Suppose -w + m = 5*h, -5*h = -3*w - 4*h + 46. Is w a multiple of 17?
True
Let c(b) = b**3 - 12*b**2 - 8*b + 17. Does 26 divide c(16)?
False
Let d = -337 + 331. Let c(x) be the second derivative of -x**3 - 7*x**2/2 - x. Is 10 a factor of c(d)?
False
Suppose -3*n = -0*p + p + 3, 2*n - 2*p - 6 = 0. Suppose 10*b - 163 - 227 = n. Does 5 divide b?
False
Suppose -j = -3*g + 164, -3*j - 4 = -4*j. Is g a multiple of 28?
True
Suppose 0 = i + 2*s - 397, i - 3*s = -0*i + 382. Is 36 a factor of i?
False
Let f(t) = 4*t**2 - 8*t - 12. Is 47 a factor of f(7)?
False
Let b(n) be the third derivative of -119*n**4/24 + 2*n**3/3 - 7*n**2. Is 41 a factor of b(-1)?
True
Let x = -50 - -46. Let h = x + 113. Is 19 a factor of h?
False
Let m be 1 - (4 - 3 - 10). Suppose 5*p = m*p + 345. Let y = 109 + p. Is 20 a factor of y?
True
Let q = 67 - 65. Let m = -2 + 37. Let h = m + q. Is 13 a factor of h?
False
Let f(m) = -m**2 - 8*m + 3. Let h = -44 - -38. Does 15 divide f(h)?
True
Let y(s) be the second derivative of -4*s**3/3 + 5*s**2 - 3*s. Let m(n) = 1. Let t(l) = -30*m(l) + 3*y(l). Is 16 a factor of t(-2)?
True
Suppose -3*a - 2 = -17. Suppose -5*x - 2*o = -21 - 29, -30 = -3*x - a*o. Is 5 a factor of x?
True
Let q be 7216/38 + (-2)/(-19). Is 9 a factor of (-3)/(1/(q/(-15)))?
False
Let b(k) = 74*k + 5. Let w(u) = -u - 1. Let c(x) = -b(x) - 4*w(x). Let g be (-9)/6*(-4)/(-6). Is c(g) a multiple of 29?
False
Let g = -1252 + 1568. Does 79 divide g?
True
Let v be (-1)/7 + 495/35. Let c = 34 - v. Is c a multiple of 4?
True
Let r = 2437 + -241. Is r a multiple of 34?
False
Let a = -16 - -19. Let m(s) = 12*s**2 + 2*s**2 - a*s**2 + 2*s + 2. Is 10 a factor of m(-1)?
False
Let n be 1*(-4 + 5) - -17. Suppose -54 = -9*m + n. Is m a multiple of 8?
True
Let g(l) = -l**2 + 11*l + 12. Let p be g(13). Suppose u - 1002 + 4154 = 0. Is 4/p + u/(-56) a multiple of 13?
False
Suppose -4*m = 24 + 36. Let j = 19 + m. Is 9 a factor of 10*j/24*9?
False
Let r = 2 - 4. Let v be r/(-4) + (-721)/(-2). Suppose -v = -4*z - t, 4*z = t + 75 + 276. Is z a multiple of 18?
False
Suppose -349 = -3*k + 476. Is k a multiple of 55?
True
Let x be 8 + -3 - (-1 - -1). Suppose 5*o + 3*s = 10, -25 = -3*o - s + 3*s. Let q = o + x. Is q a multiple of 5?
True
Let l(h) = h + 1. Let d be l(-5). Let c = d - -17. Is 2 a factor of c?
False
Let x(c) = -24*c + 43. Is 13 a factor of x(-16)?
False
Let k be 7 + 6*1/(-2). Suppose 0 = -k*u + 1 + 7. Is (55/10)/(u/8) a multiple of 4?
False
Let s(y) = -y**2 - 93*y - 14. Is 16 a factor of s(-10)?
True
Suppose -5*t + 4*t = -3*k + 5359, -4*k + 7167 = 3*t. Is 13 a factor of k?
False
Suppose 6*x + 7584 = 3*m, 2*m - 5036 = -10*x + 9*x. Is 105 a factor of m?
True
Let k(q) = -5*q - 7. Let d(f) = -4*f - 7. Let v be 1 + (-8)/4 - -7. Let u(t) = v*d(t) - 7*k(t). Is 21 a factor of u(7)?
True
Let p(x) = -x**3 + 9*x**2 - x - 14. Let w be p(10). Let l = 209 + w. Is l a multiple of 17?
True
Suppose -2*b = -2*r - 8, 0*r + 2*r + 1 = -5*b. Let t be (-2 - r) + 5/(-5). Suppose t*x + 3*x = 48. Does 8 divide x?
True
Let j(q) = 14 - q - 12 - 2*q**2 + 99*q**3 + 14*q**3 + 0*q. Is j(1) a multiple of 16?
True
Suppose -4*i - 315 = -i - o, 2*i + 2*o + 218 = 0. Let c = i + 167. Does 9 divide c?
False
Let k(a) = -a**3 - 5*a**2 + a - 7. Let f be k(-5). Let g = -230 - -228. Is 9 a factor of (6/4)/(g/f)?
True
Let n = -1010 + 672. Does 25 divide 12/16 + n/(-8)?
False
Suppose -4*r + 21 = 1, -4*r - 52 = -g. Let n(k) = 46*k + 1. Let u be n(-1). Let h = g + u. Is h a multiple of 11?
False
Let n(g) = -7*g + 7. Let q be n(3). Is (-920)/q + 10/35 a multiple of 33?
True
Let o(f) be the second derivative of 20*f**3/3 + f**2/2 + 2*f. Is 39 a factor of o(1)?
False
Suppose -10290 = -0*q - 21*q. Does 17 divide q?
False
Let m(o) = -o**3 + 14*o**2 - 11*o + 12. Let k be 39/(-4 - -1)*-1. Is m(k) a multiple of 25?
False
Let s = 5708 + -2124. Is s a multiple of 14?
True
Suppose 42*y - 3650 - 18694 = 0. Does 15 divide y?
False
Suppose 6*s = s + 155. Is s even?
False
Let u be (-2)/3*(-1209)/26. Let f = -24 + u. Is 2 a factor of f?
False
Suppose -33 = -0*o - 3*o. Suppose 2*q = -2*q - 4*z - 12, -2*z = -3*q + o. Does 13 divide 1 - (-200)/(4/q)?
False
Suppose -2*x + 20 = -2*r, -3*x = -0*x + 4*r - 65. Let n be 35/x - (-2)/(-6). Suppose 3*d + n = 122. Does 8 divide d?
True
Let l = 20 + -7. Suppose -l = 7*u - 8*u. Is 13 a factor of u?
True
Let d(g) = -788*g + 2. Let j be d(-1). Suppose 5*s = 15*s - j. Is 26 a factor of s?
False
Let n = 86 + 36. Is n even?
True
Let n(m) = -13*m - 34. Suppose -27*w - 10 = -25*w. Does 10 divide n(w)?
False
Let r(a) = 33*a**2 + 9*a + 3. Let j be r(-2). Suppose k + 3*k = 5*i + j, 15 = -3*i. Does 4 divide k?
False
Let x(m) = m**2 - 12. Let w(o) = o**2 - 11. Let l(h) = 4*w(h) - 3*x(h). Let c(v) = v**2 - 7. Let p(j) = 5*c(j) - 4*l(j). Is p(-3) a multiple of 6?
True
Let z(f) = -3*f - 3 + f**3 - f + 3*f + 1. Let x be z(0). Does 12 divide -4*(x + 156/(-16))?
False
Let n = -56 - -61. Suppose 0*r + w - 153 = -2*r, 0 = -4*r + n*w + 299. Is 13 a factor of r?
False
Does 33 divide 10/105 - (-3295)/21?
False
Let w = -8 - 6. Let v = 21 + w. Is 4 a factor of v?
False
Suppose -16*s + 48 = -12*s. Suppose s = -w + 9. Does 8 divide 3 + w - 1 - -9?
True
Suppose 3*c = -3*c + 48. Suppose -1072 = -c*o + 472. Is o a multiple of 22?
False
Suppose 4*p + 5*g = 6906, -4*p - 2*g + 6922 = -5*g. Is 9 a factor of p?
False
Let f be 0/(5 - 4 - -1). Suppose -2*t + 7*t - 70 = f. Is 3/((t/40)/7) a multiple of 12?
True
Let w = 634 + -321. Let h = w + -145. Is h a multiple of 14?
True
Suppose 0 = 5*s - 5*p - 4840, -3*s + 5*p + 2898 = -0*s. Is s a multiple of 8?
False
Suppose 14 = 2*v + 2*p, 4*p - 7 - 14 = -3*v. Suppose 12 = v*n - 3*n. Suppose -3*d - 2*d + 105 = -a, 0 = -d - n*a + 37. Is d a multiple of 13?
False
Let o = 356 - 279. Is 11 a factor of o?
True
Let d be (16/12)/((-6)/(-9)). Suppose 2*z - z - d = 0. Suppose 5*c + 0*o = -o + 45, z*o - 27 = -3*c. Is 2 a factor of c?
False
Suppose 8*m = 252 + 180. Suppose 0 = -3*y + m + 72. Is y a multiple of 6?
True
Let v(k) = 13*k + 67. Is 6 a factor of v(4)?
False
Let m(c) = 2*c - 1. Let s be m(2). Suppose s