t q(g) be the second derivative of -g**5/20 - 7*g**4/12 - 2*g**3/3 + 5*g. Is 14 a factor of q(-7)?
True
Suppose 4 = 4*v, 174 = 4*q - v - 281. Does 13 divide q?
False
Is 5 a factor of -10*3/(-12)*2?
True
Suppose 0 = -23*u + 20*u + 186. Is u a multiple of 34?
False
Let n(b) = -b**3 - 10*b**2 + 7*b + 3. Let o = -40 - -29. Is n(o) a multiple of 16?
False
Let g(z) = 4*z - 25. Is 23 a factor of g(12)?
True
Suppose -15 = -3*b - 0*b - 4*m, 5*m - 13 = 2*b. Let k(i) = 80*i - 1. Is k(b) a multiple of 22?
False
Let p be (-25)/(-9) + (-18)/(-81). Suppose 0 = -p*j + 7*j - 4. Let r(i) = 27*i**2 + i. Is 10 a factor of r(j)?
False
Let y(f) = 32*f**2 + f. Let q(m) = -2*m**2 - 2*m. Let x be q(-2). Let r = 5 + x. Is y(r) a multiple of 20?
False
Let x(h) = -9*h - 26. Is x(-7) a multiple of 7?
False
Let k(v) = 28*v - 12. Is 19 a factor of k(4)?
False
Let m(i) = -4*i**2 + 6*i - 4. Let x(l) = 3*l**2 + 0 + 4 + 2*l**2 - 7*l. Let p(w) = -4*m(w) - 3*x(w). Does 7 divide p(5)?
True
Let i(x) = x**3 + 14*x**2 + 10*x + 9. Does 13 divide i(-13)?
False
Suppose -i = 4*i + 3*h - 71, -5*h = 5*i - 75. Let m = -22 - -31. Let z = i - m. Is z a multiple of 2?
True
Let p(t) = 0*t - t**2 + 2*t**2 + 7*t. Let h be p(-5). Let j = h + 18. Is j a multiple of 8?
True
Suppose -5*o = -46 - 49. Is 13 a factor of o?
False
Let f(r) = -r**3 - 5*r**2 + 8*r - 15. Is f(-7) a multiple of 17?
False
Suppose 4*v - v = -3. Is 10*(v - 22/(-4)) a multiple of 15?
True
Suppose 2*p - 478 + 42 = 0. Suppose 0 = 5*o + p - 28. Let v = -5 - o. Does 12 divide v?
False
Suppose -2*z + 10 = -8. Is 3 a factor of z?
True
Let p = -176 - -261. Is p a multiple of 10?
False
Let h = -5 + 4. Let z be (h*(3 - 1))/(-1). Let d = 1 + z. Does 3 divide d?
True
Let d(k) = 4*k - 3*k**2 + 4*k**2 - k + 3*k + 5. Let u = -2 - 5. Does 11 divide d(u)?
False
Let w = 150 - 107. Suppose -2*h + w = 17. Does 13 divide h?
True
Let a = 20 - 15. Is a a multiple of 2?
False
Suppose -18*z = -10*z - 1520. Is z a multiple of 38?
True
Let o be -3 - (-3 - 0) - -2. Suppose 0 = r - o - 19. Is r a multiple of 7?
True
Let m(o) = -18*o + 55. Is 18 a factor of m(-11)?
False
Let w(h) = -2*h + 4. Let a be w(3). Let y be a/(-4) - 105/(-2). Suppose 5*b + 2*j = y, 4*j + 1 + 14 = b. Is b a multiple of 11?
True
Is 26 a factor of -3*(-1)/(3/52)?
True
Let w(t) = t**2 + 7*t + 6. Let f(j) = -j**2 - 1. Let n be f(2). Let m be w(n). Let x = 24 - m. Is 14 a factor of x?
True
Let h = 8 + -11. Let i = h + -4. Let a = i + 52. Is 12 a factor of a?
False
Let z = 5 + 166. Is 34 a factor of z?
False
Suppose 2*o - 3*o - 4*r = -48, -5*o + 309 = -3*r. Does 30 divide o?
True
Let t(z) = z**3 + 10*z**2 - 4*z - 10. Let n be t(-10). Suppose 12 = 3*v - n. Is v a multiple of 7?
True
Suppose 0 = 2*j + j - 237. Suppose -31 = k - 2*s, k + s + j = -2*k. Is 14 a factor of (-372)/k - (-4)/18?
True
Let k(y) = -y**3 + y**2 + 2*y - 3. Let z be k(-4). Let g = z + -17. Let h = g + -6. Is h a multiple of 20?
False
Let y(t) = t**3 + 6*t**2 + 4*t + 7. Let u be y(-5). Suppose -o = -5*o - u. Let d = o + 13. Is 5 a factor of d?
True
Let o = 231 - 131. Suppose -8*f = -3*f - o. Suppose -25 = -3*u + f. Is u a multiple of 6?
False
Suppose 1 = -5*s + 21. Let y(g) = 8*g**2 - g - 5. Let u be y(s). Let t = u + -78. Is 14 a factor of t?
False
Suppose -19 = -4*p + 41. Is 4 a factor of p?
False
Let g be ((-9)/(-6))/((-6)/(-16)). Suppose 2*r + 2*r + h = 75, g*h = 5*r - 99. Is r a multiple of 19?
True
Let v(q) = -21 - 27 + q + 62. Is 10 a factor of v(11)?
False
Suppose -4*i + 87 = 23. Does 16 divide i?
True
Suppose -5*k + 5*t + 300 = -0*t, 145 = 2*k + 3*t. Does 6 divide k?
False
Let n(v) = -v**3 - 4*v**2 + 2*v + 4. Let w be n(-4). Let i be 4/w*-3*1. Suppose 8 = a + 3*o, -i*a - 2*o + 12 = -a. Is a a multiple of 5?
True
Let t = 7 - 4. Suppose y - 8 = -p - 0*p, -t*p = -y. Is y a multiple of 2?
True
Let l = -29 + 27. Suppose 2*h - 29 = -c, 0 = -5*h + 2*c + 37 + 13. Let j = h + l. Is j a multiple of 3?
False
Let o = -8 + 8. Suppose -4*c + 5*c - 5 = -3*z, o = -3*c - 2*z + 43. Is c a multiple of 12?
False
Suppose 4*a - 6 = -2*u + 8, 2*u + 2*a - 16 = 0. Is 68/6*u/6 a multiple of 17?
True
Suppose 4 - 9 = -g + w, 7 = g - 2*w. Suppose -g*v + 5 = -10. Does 5 divide v?
True
Let v(f) = 3*f + 74. Does 44 divide v(-10)?
True
Suppose -w = -3*l + 5*l - 1, 0 = -2*l - 2. Suppose 0 = 7*a - 8*a + 2. Suppose w*h = a*h + 17. Does 15 divide h?
False
Let j(p) = -p**3 - 12*p**2 + 15*p + 1. Let z be j(-13). Does 6 divide z/(-2)*4/5?
False
Does 9 divide 59 + (-3 - (0 - 2))?
False
Suppose 128*d - 130*d = -432. Does 24 divide d?
True
Suppose -10*l = -7*l - 45. Is l a multiple of 15?
True
Let l = -52 + 104. Is l a multiple of 6?
False
Let w = 22 - -11. Does 17 divide w?
False
Suppose -4*q + 3*l = -39, 4*q + 2*l - 34 = -0*l. Let k be (1 + (-3)/q)*-12. Does 10 divide 4/6*(-300)/k?
False
Let x = 146 - 28. Suppose 4*f - x = 6. Does 10 divide f?
False
Let l = 8 + 1. Let c(f) = 13*f - 1 + 2 + 1 + f**2 - 2*f**2. Does 13 divide c(l)?
False
Suppose 65 = 2*v - 2*o + 3*o, 60 = 2*v - 4*o. Is 8 a factor of v?
True
Suppose 3*w + 69 - 285 = 0. Is w a multiple of 18?
True
Is (3 - 0)*(-210)/(-18) a multiple of 5?
True
Let v(o) = o**3 - 5*o**2 - 7*o + 8. Let b be v(6). Suppose 2*y = 5*a - b, -3*a - a = -4*y - 4. Is 18 a factor of (-179)/(-5) + y/(-5)?
True
Suppose -5*m = -9*m + 396. Is 9 a factor of m?
True
Let r(i) be the second derivative of i**4/2 - i**3/2 - i**2/2 - 4*i. Is 14 a factor of r(3)?
False
Suppose -4*o = 164 - 524. Is 15 a factor of o?
True
Let w be -2 + 5 + -1 + 0. Suppose 4*u = 4, 2*u - 6 = w*z - 72. Is 17 a factor of z?
True
Let c(q) = 4*q - 22. Is c(8) a multiple of 10?
True
Is (-6 - 6/(-3)) + 196 a multiple of 32?
True
Let x(u) = 9*u**2 + 1. Is x(1) a multiple of 9?
False
Let u(x) = -x - 5. Let r be u(-7). Let a(f) = -f - 1 + f**3 + 9*f**2 - 12*f**r + 2. Is a(4) a multiple of 6?
False
Let n be 2 - (1 - (2 + 71)). Let f be 35*20/6*12/50. Let h = n - f. Is h a multiple of 12?
False
Let i = 19 + -16. Does 10 divide i/5 - 658/(-70)?
True
Let g(h) be the third derivative of h**5/60 - h**4/24 - h**2. Let y be g(1). Is 6 a factor of (-2)/(1 + y) + 12?
False
Let h = -399 + 733. Does 16 divide h?
False
Let w be 12/(-8) - (-314)/4. Is -1*(-3 - -7 - w) a multiple of 13?
False
Let q(i) = -i**3 - 15*i**2 - 19*i - 14. Let r be 80/(-6) + 4/(-6). Is q(r) a multiple of 23?
False
Does 8 divide (-66)/(-10)*(1 + 4)?
False
Suppose 0*d - 5*d = -25. Suppose -d*t + 0*t = 5, 5*t + 35 = 5*h. Is 12 a factor of 52/6*h/2?
False
Suppose 2*q = -q - 5*h + 697, 0 = -4*q - 4*h + 916. Suppose 0 = -7*o + 3*o + q. Does 22 divide o?
False
Let y = 51 - -78. Is 12 a factor of y?
False
Suppose -10 = n - 14. Let m = n - 0. Is 6 a factor of (m/2)/2*12?
True
Suppose 3*v + 6*g = 3*g, 0 = 2*g + 10. Suppose v*t - 2*y - 270 = 2*y, -225 = -5*t - 5*y. Is 17 a factor of t?
False
Let r(v) = -4*v - 3. Is r(-7) a multiple of 17?
False
Let r be 6/(-24) - 2/(-8). Is r/11 + (-1 - -7) a multiple of 3?
True
Suppose 5*o + 4*m = 3*m + 950, -5*o + 5*m = -920. Does 21 divide o?
True
Suppose -2*k + 27 = 4*a - 151, 0 = -5*k + 5*a + 400. Does 9 divide k?
False
Let r(d) = -9*d + 1. Let b be r(-1). Let o = -15 + b. Let z(w) = -6*w + 4. Does 17 divide z(o)?
True
Let j(k) = 4*k**2 + 4*k - 3. Let u be (-4)/1*3/2. Let i be (2 - -1)*(-4)/u. Is 8 a factor of j(i)?
False
Let a(c) = -4 - 7*c + 8*c**2 + 4 - 7*c**2 + 3. Is 11 a factor of a(8)?
True
Let z = -1 - -1. Suppose z = 5*c + 1 - 16, -c - 49 = -2*f. Is 10 a factor of f?
False
Let f = -22 - -43. Does 7 divide f?
True
Let o be (-3)/9*5*-3. Suppose 36 = o*t - 24. Suppose -m = u - 2, m + 3*u - t = -3*m. Does 6 divide m?
True
Let x be (10/(-4))/((-4)/224). Suppose 5*v + 10 = 30. Suppose -v*w + x = w. Does 14 divide w?
True
Suppose o - 3*o = -60. Is o a multiple of 10?
True
Suppose 572 = 6*l + 8. Is l a multiple of 19?
False
Let p be 9/2*(-4)/(-6). Suppose -3 = -2*h + p. Suppose 0 = -h*t - 0*t + 4*k + 74, -5*t + 102 = 4*k. Is 21 a factor of t?
False
Let k be (-3)/((-3)/1) - -1. Suppose k*m = 28 - 2. Suppose -5*q + 70 = 5*i, -2*i + 4*q + m = -3. Is 10 a factor of i?
False
Let n be (0 + 0 + -1)*-3. Suppose 7*b - 3*b - 4*v = 4, -3*b = -4*v - 4. Suppose -4*i + 191 = 5*a - 6, n*a - 3 = b. Does 22 divide i?
False
Suppose 427 = 4*s - 273. Is 25 a factor of s?
True
Let z = -9 - 