 4*k - 2. Let m be x(4). Let i = m - q. Is 14 a factor of i?
False
Let h(w) = 1 - 4*w**2 - 7*w - w**3 - 2*w**2 - 7. Is 4 a factor of h(-5)?
True
Let t(k) = -k**2 - 25*k - 17. Does 7 divide t(-14)?
False
Let l(g) = 2*g**2 + 4*g + 2. Let c(j) = -j**3 + 4*j**2 - 3. Let f be c(4). Is 2 a factor of l(f)?
True
Suppose 0*i + 5*h = 5*i - 50, 25 = 2*i - 3*h. Suppose 147 = i*f - 53. Is 15 a factor of f?
False
Suppose -d = 4 - 18. Suppose 26 = 4*a - d. Is 5 a factor of a?
True
Suppose 3*p - 8 = -p. Let v be (2*p)/((-16)/136). Let s = v + 71. Is 13 a factor of s?
False
Let w(m) = 3*m - 6. Let s be w(5). Suppose -4*n + s*n = 30. Suppose n*d = d + 70. Is d a multiple of 11?
False
Let d = -7 - -11. Suppose 3*l + 2*m = -10, 4*m = 3*l - d + 2. Does 14 divide -1 + 25 - (-1 - l)?
False
Let i be -1 + (-1 - -83) + 0. Suppose 4*o - 23 = i. Is 11 a factor of o?
False
Let a(f) = f - 7. Let j be a(9). Suppose w + j*w + 42 = 0. Does 9 divide -7*(-1 + 22/w)?
True
Let q(k) = -k**3 + 6*k**2 - 3*k + 5. Is 4 a factor of q(5)?
False
Let v = 4 + -1. Suppose m - v*m = -22. Is m a multiple of 11?
True
Let s = 8 + -7. Suppose -s + 39 = 2*y + 2*c, 3 = c. Is 16 a factor of y?
True
Let u = 66 - 54. Is 6 a factor of u?
True
Let c be 117/4 - (-3)/(-12). Suppose 5*o = -4*y + 241, 4*y = 3*o - 2*o - c. Suppose 4*d + 60 = 5*w, -8 = -3*w - d + o. Is w a multiple of 8?
True
Let d(t) = t**3 - 10*t**2 + t + 1. Suppose 10 = z - 0. Does 5 divide d(z)?
False
Let z(t) be the third derivative of -13*t**6/120 - t**4/12 - t**3/6 + 2*t**2. Let y be (-6)/(-15) - (-7)/(-5). Does 7 divide z(y)?
True
Let q(x) = -x**2 + 4*x + 2. Let r be q(4). Suppose -w + r = -2. Suppose -u + 3*f = 4*u - 14, 3*f + 10 = w*u. Is 3 a factor of u?
False
Suppose -2*q = 6, -5*l + 0*l - q + 47 = 0. Let u = 16 - l. Is u a multiple of 3?
True
Suppose 5*x - 475 = 495. Is 40 a factor of x?
False
Let q(j) = 75*j - 3. Let x be q(2). Let r = -100 + x. Suppose -3*h + i = 2*h - 69, -3*h + 2*i + r = 0. Is h a multiple of 13?
True
Let m(n) = -3 - 2 - 12*n - 8*n**3 + 3*n + 5*n**2 + 0*n**3. Let j(o) = 2*o**3 - o**2 + 2*o + 1. Let s(t) = 9*j(t) + 2*m(t). Is 9 a factor of s(2)?
False
Let f(g) = -6 - 2 - 2*g - 1. Let o be f(-7). Suppose -5*n - o*q + 125 = 0, q + 5 = n - 14. Does 11 divide n?
True
Is 13 a factor of (-1133)/(-44) - 2/(-8)?
True
Let o(g) = -2*g - 3 + 0 + 4. Is o(-2) a multiple of 4?
False
Does 3 divide 3*(0 - -1)*1?
True
Is (0 - -24)/((-1)/(-2)) a multiple of 24?
True
Let g(y) = 2*y**2 + 4*y. Let s be g(4). Let k = -1 - -4. Suppose -6 = k*d - 4*b - s, 5*b + 5 = -d. Is 5 a factor of d?
True
Let p = -73 - -110. Let r = -13 - -22. Let u = p - r. Is 14 a factor of u?
True
Does 18 divide 1209/26 - 6/(-4)?
False
Let a = 140 + -251. Let v(i) = -59*i**3 - 2*i + 1. Let l be v(1). Let g = l - a. Is g a multiple of 21?
False
Let q = -32 + 19. Let b = 1 - q. Does 12 divide 1*(-2 + 1 + b)?
False
Suppose -5*m + 3*p - 633 = 126, -p = -4*m - 610. Let u = -108 - m. Is 13 a factor of u?
False
Let p(b) = b**2 + 6*b - 7. Let u be p(-5). Is 19 a factor of (114/(-4))/(9/u)?
True
Suppose -4*h + 5*c + 111 = -2*h, -2*h + 4*c = -110. Suppose h = 5*y - 4*a, 4*a = 4*y - 47 + 3. Is y a multiple of 9?
True
Let m be (-12)/3 + 0 + -1. Let c be (-8)/m*5/2. Let f(n) = n**2 + 3*n - 5. Is 10 a factor of f(c)?
False
Is (-180)/(4 - -1)*-1 a multiple of 12?
True
Let x = 72 + -44. Suppose x = 2*s + 6. Is 4 a factor of s?
False
Suppose 19 = 2*n - 3. Is n a multiple of 11?
True
Let d = 10 + -15. Let t(s) = s**2 + 7. Is 11 a factor of t(d)?
False
Let i(j) = j**2 - 7*j + 2. Let v be i(6). Is ((-18)/v)/(18/192) a multiple of 16?
True
Suppose -64 = -5*f - 7*d + 3*d, -5*f - 5*d + 60 = 0. Does 2 divide (-30)/(-8) - (-4)/f?
True
Suppose -u - 2*w + 9 = -0*w, 0 = -3*u + 5*w - 6. Suppose -u*g + 39 = -15. Is 8 a factor of g?
False
Let o(p) = 4*p**2 + 10*p - 5. Is 28 a factor of o(4)?
False
Suppose 0 = 2*j - j - 4. Suppose -32 = -j*d - 4*u, 4*d - 2*u = 7 + 7. Does 3 divide d?
False
Let m(v) = v**2 - 5*v + 2. Let o(c) = -6*c - 9. Let x be o(-6). Let b be 9/15 - x/(-5). Is 8 a factor of m(b)?
True
Let s = -73 - -146. Is s a multiple of 19?
False
Suppose -2*m + 9 = -91. Is m a multiple of 10?
True
Let g(k) be the second derivative of k**5/20 - k**4/2 + k**3/3 + 5*k**2/2 + 2*k. Does 8 divide g(6)?
False
Suppose 2*o - 40 = 74. Let x = -27 + o. Does 15 divide x?
True
Suppose -2*b = 2*n + 2, 8 + 1 = -4*n + b. Let i = 236 + 433. Is 11 a factor of n/(-9) + i/27?
False
Does 24 divide 94 - (-8)/(7 + -3)?
True
Let t = -12 - -17. Suppose 176 = -t*s + s. Is 14 a factor of s/(-3) + 6/(-9)?
True
Let f(v) = 5*v**3 + 3*v**2 - 6*v + 2. Does 9 divide f(3)?
False
Suppose 5*k - 46 = 4*k. Is 35 a factor of k?
False
Let g = -3 + 6. Suppose h - 4*h = g. Is 3 a factor of h/(((-7)/(-6))/(-7))?
True
Suppose 2 = -2*a - 0, -a - 49 = 3*p. Suppose 3*c + 0 = 9, -2*k - 27 = -5*c. Let z = k - p. Is z a multiple of 10?
True
Suppose -3*y = y + 4. Does 16 divide (-8)/(-3*y/(-6))?
True
Suppose -6*q + 2*q - 5*n + 29 = 0, 4*q + 4*n - 32 = 0. Does 11 divide q?
True
Let j(q) = 5*q + 3. Let d be j(4). Suppose -3*m = -74 + d. Let x = m + -1. Does 9 divide x?
False
Let l = -38 + 69. Does 8 divide l?
False
Suppose -37 - 118 = -5*s + 5*t, s + 4*t = 21. Does 7 divide s?
False
Let i = 6 - 1. Suppose -12 = -i*p + 3*p. Is p a multiple of 6?
True
Let r = -2 + 2. Let a = -7 - -12. Suppose r = -a*f + 3*u - 2*u + 25, 5*f - 2*u = 30. Does 3 divide f?
False
Suppose 0 = -3*u + 176 + 166. Is 38 a factor of u?
True
Suppose 1411 = 12*n - 929. Is n a multiple of 39?
True
Let a be (1 + -37)*1/(-2). Let o = -2 + a. Suppose 18 = 2*m + 5*l - 7, 3*l + o = 5*m. Is 2 a factor of m?
False
Suppose 3*n - 264 = -v, 2*n + v = 6*n - 352. Is n a multiple of 8?
True
Suppose 1 = 2*j - 7. Suppose 0 = j*q - 3*k - 67, -q + 4*k + 84 = 4*q. Is q a multiple of 12?
False
Suppose -100 = -4*j + 2*j. Is 18 a factor of j?
False
Let p(z) = 9*z**2 - 4*z - 4. Does 8 divide p(-2)?
True
Suppose -5*i - 4 = -2*l - 3, 4*l + i - 57 = 0. Is 3 a factor of l?
False
Does 18 divide 254/7 + 10/(-35)?
True
Let d = 34 - -34. Does 25 divide d?
False
Suppose -3*j = 2*j - 20. Suppose 9*f + 44 = j*u + 4*f, -u = f - 2. Is u a multiple of 3?
True
Let o(n) = -n - 8. Let i(w) = -2*w**2 + 2. Let l be i(-4). Let h = l + 18. Is o(h) a multiple of 4?
True
Let j = 24 + -3. Does 9 divide j?
False
Let r(z) = 5*z**2 - 2*z + 1. Let f be r(1). Suppose a + 30 = f*a. Let o = 23 - a. Does 13 divide o?
True
Suppose -n + 20 = -16. Does 14 divide n?
False
Let l(i) = -2*i - i - 7 + 9*i - i. Is l(5) a multiple of 8?
False
Let u(t) = 17*t. Does 16 divide u(3)?
False
Suppose -1 = d - 19. Is d a multiple of 9?
True
Let i = 5 - 1. Suppose 2*j - i*t = -0*j + 42, 4*j + 5*t - 58 = 0. Is j a multiple of 8?
False
Suppose -7*s = -3*s - 24. Let u = -18 - -31. Let h = u - s. Is h a multiple of 4?
False
Suppose -419 = -4*y - 3*a, a - 15 = -2*a. Is 20 a factor of y?
False
Suppose -k = 2*j - 103, -5*k - 5*j = -3*k - 210. Does 17 divide k?
False
Suppose 0*k - 2 = -k. Let a be k/(-4)*-2*0. Suppose t - 4 - 10 = a. Is t a multiple of 7?
True
Let d = 130 - 38. Is 46 a factor of d?
True
Let z = 71 - 43. Is z a multiple of 16?
False
Let n(m) = 8*m - 7. Let p be n(8). Let q = p - 27. Is 10 a factor of q?
True
Is -2 - ((-4)/2 + (-112)/2) a multiple of 14?
True
Suppose 0 = 5*g - 2*a - 25, -34 = -3*g - 2*a + 7*a. Suppose -2*z = -g*z + 24. Is 11 a factor of z?
False
Let m(t) = -27*t**3 + t**2 - 1. Let g(i) = i**3 + 5*i**2 - 5*i + 5. Let k be g(-6). Is m(k) a multiple of 9?
True
Suppose 0 = -2*i - 0*i - 6. Let c be i/2*(-2)/1. Suppose -c*m + 24 = -51. Does 11 divide m?
False
Let q(o) = 3*o + 1. Let x(s) = 8*s + 1. Let p be x(1). Does 14 divide q(p)?
True
Suppose 0 = -4*g + 2 + 18. Suppose -g*k = -94 - 101. Is 13 a factor of k?
True
Let h(f) = f**3 + 7*f**2 - 11*f - 11. Suppose -4 = 4*k, 0 = -4*z + 2*k - 25 - 5. Is h(z) a multiple of 9?
False
Let g = -2 + 9. Suppose 11 = 2*w - g. Suppose w = -3*x + 27. Does 3 divide x?
True
Let v(t) = 20*t**2 + t. Is 3 a factor of v(-1)?
False
Suppose 5*s = -25, 2 = -2*h + 4*s + 16. Is 14 a factor of h/(-2)*104/6?
False
Suppose -3*l + 21 = -i, 4*i + l + 32 = -0*l. Let g = i - -12. Suppose -169 - 8 = -4*m - g*h, -3*m + 164 = -4*h. Does 14 divide m?
False
Let s(w) = w**3 + w**2 - w + 1. Let x(u) = -3*u**