 Is c(6) a multiple of 6?
True
Let y = 10 - -17. Is y a multiple of 27?
True
Let l = -7 - -11. Is (95/(-20))/((-1)/l) a multiple of 7?
False
Suppose z + 0*z = 4*n - 18, 0 = 3*z + 6. Suppose -n*f = 1 - 93. Is f a multiple of 6?
False
Let x(w) = w - 2*w**3 + 0*w + 0*w. Does 14 divide x(-2)?
True
Let b(j) = 3*j**2 + 0*j + 6*j - 2*j. Let h be b(3). Suppose 0 = -4*a - r + 101, -h = -3*a + 2*a - 3*r. Is 12 a factor of a?
True
Suppose -l + 0*l = -4. Suppose 5*q + 11 = -3*j, 0*j - 16 = -4*j + q. Suppose l*o = 2*b + 144, -o - b + j*b + 30 = 0. Is 13 a factor of o?
False
Let w(n) = -2*n**3 - n**2 + n + 5. Is 13 a factor of w(-3)?
False
Suppose -5*g + 0*f - 3*f + 35 = 0, -3*g - 3 = -3*f. Is 4 a factor of g?
True
Suppose q - 4 = a + 3, 0 = q - 3*a - 17. Is -3*26*(-1)/q a multiple of 13?
True
Let i = -58 - -59. Let p(r) = -r**3 - 3*r**2 + 7*r + 1. Let g be p(-5). Is g - i/(-2)*0 a multiple of 16?
True
Let c(i) = 22*i - 4. Let s be c(-4). Let a = 142 + s. Is 23 a factor of a?
False
Let r(b) = 4*b**3 - 2*b**2 + b. Let f be r(1). Suppose -3 = -f*z, -y + 4*y - 14 = 4*z. Does 6 divide y?
True
Suppose -23 = -3*v + 19. Is 14 a factor of v?
True
Let i(j) = -j**3 - j**2 - j + 1. Let g(k) = -5*k**3 + 6*k**2 - 2*k - 9. Let m(s) = g(s) - 4*i(s). Does 2 divide m(10)?
False
Suppose 5*a = y - 65, 2*y + a - 13 - 62 = 0. Is 8 a factor of y?
True
Let n(v) be the second derivative of -v**5/20 - v**4/4 + v**3/3 - v**2 + 7*v. Does 5 divide n(-4)?
False
Suppose -5*z + 7 + 78 = 0. Is 3 a factor of z?
False
Let c(b) = -b**3 + 4*b**2 + 4. Let v be c(4). Suppose v*k = j - 11, 0 = 5*k - 2*k + 12. Is 20 a factor of (1 - 2)/(j/100)?
True
Is 175/14*6/5 a multiple of 15?
True
Suppose -2*s + 3 = -s. Suppose 16 = s*n + 4*z - 18, -3*n - z + 49 = 0. Is 9 a factor of n?
True
Suppose 4*u - 5 = 5*u. Is 2/1 - u - 2 a multiple of 3?
False
Let l be (-5 - 10)*(0 + 1). Let v be (-4)/(-6) + (-50)/l. Suppose 2*g - 133 = -g + 5*m, -v*g + 4*m = -188. Is g a multiple of 20?
False
Let f be (-4)/((-1)/((-1)/(-1))). Let q be 90/f + 4/(-8). Suppose -h + 3*o + q = 0, 4*h = -o - 0*o + 49. Is 13 a factor of h?
True
Does 10 divide 26/4*(1 + 5)?
False
Suppose q + 4*q + 71 = 3*i, -4*i - 2*q + 138 = 0. Is i a multiple of 14?
False
Let b(z) be the third derivative of z**4/4 - 5*z**3/2 - 3*z**2. Does 15 divide b(12)?
False
Does 4 divide ((-255)/(-10))/((-9)/(-12))?
False
Let d(u) = 7*u**2 + 6*u - 1. Does 13 divide d(-3)?
False
Let l = 106 + -70. Is l a multiple of 9?
True
Let d(l) = -l**3 + 11*l**2 + l + 10. Let q be d(8). Suppose 5*k = 2*s + 365, 4*k + 2*s = q + 100. Is 26 a factor of k?
False
Suppose -10 = -10*y + 5*y. Suppose 4*k = 5*n + 123, -y*n + 20 + 1 = k. Does 9 divide k?
True
Does 14 divide (2 - 3)/((1 + -4)/279)?
False
Let c = 16 + 9. Let i = -12 + c. Is i a multiple of 3?
False
Suppose 4*i - 76 = 620. Is 20 a factor of i?
False
Suppose -2*c = -3*c - 10. Is (-2)/5 + (-44)/c a multiple of 4?
True
Let r(f) = -f + 25. Is r(15) a multiple of 10?
True
Suppose -7*x + 245 = -1897. Does 20 divide x?
False
Suppose -4*r + 9*r - 3*z + 11 = 0, 0 = -5*r - 3*z + 1. Let n = 1 - r. Suppose n*y + 0*y = 16. Is y a multiple of 4?
True
Let s(q) = q**3 + 6. Suppose d + 2 = -1. Let j be 0*d*1/(-3). Does 6 divide s(j)?
True
Let q be 9/3 - 0 - 12. Let f = 11 - q. Is (-152)/f*(1 + -6) a multiple of 19?
True
Suppose -4*a = -20, 4*q + 28 = 5*q + 5*a. Does 16 divide (72/(-20) + q)*-55?
False
Let n(r) = -2*r + r**2 + 0*r + 2*r**2 + r**3 - 2 + 1. Let k be n(-3). Suppose -k*c = 13 - 128. Is c a multiple of 23?
True
Suppose -4*b + 9*b - 880 = 0. Does 16 divide b?
True
Suppose -4*b + 4*i + 349 + 811 = 0, -3 = 3*i. Is 14 a factor of b?
False
Suppose 2*w + 3*d = -10, -5*w - d = -w. Does 17 divide (w/3)/(2/102)?
True
Suppose -5*g = 5*w - 3*g - 13, -17 = 3*w - 5*g. Suppose -73 = -2*j - j + 5*q, -w = -j - 3*q. Does 16 divide j?
True
Let g(h) = -94*h - 1. Is g(-2) a multiple of 17?
True
Let h = -31 + 16. Is -4*(0 - h/(-6)) a multiple of 5?
True
Suppose 0 = 5*w - 2*q - 800, -3*w - 2*w - 2*q = -800. Is 10 a factor of w?
True
Suppose 0*h - r - 13 = -4*h, -5*h + 20 = -5*r. Suppose -112 - 30 = -5*q + 2*i, -5*i = -h*q + 89. Is 21 a factor of q?
False
Let y be ((-6)/4)/(3/(-16)). Suppose 2*z = y - 0. Does 4 divide z?
True
Suppose 495 = 7*b + 145. Is 10 a factor of b?
True
Let y(i) be the second derivative of 0*i**2 - i + 0 + 3/4*i**5 + 0*i**4 + 1/6*i**3. Is y(1) a multiple of 16?
True
Let p(y) = y + 59. Is 12 a factor of p(0)?
False
Let j be -1*(-2 - 120/3). Let q = 2 + -6. Is -3 - 2/(q/j) a multiple of 18?
True
Let v = 16 + 32. Does 16 divide v?
True
Let q = -2 + 42. Is 24 a factor of q?
False
Suppose -z - 36 + 86 = 0. Is z a multiple of 6?
False
Let a = -66 - -24. Is 6*7/(a/(-8)) a multiple of 2?
True
Suppose -2*p + 4*d + 22 = 0, -4*p + 44 = -6*d + 3*d. Does 2 divide p?
False
Let m = -7 - -10. Is 1 - (m + -7)*1 a multiple of 5?
True
Suppose 0 = -2*l + v + 4, 2 = 4*l - 5*v - 0*v. Let d(a) = a**3 + a**2 - 5*a + 4. Let g be d(l). Suppose 3*s - g = 14. Is s a multiple of 13?
True
Let a(g) = 2*g**3 - 4*g**2 + 4*g - 3. Let t be a(2). Let x be (-15)/2*296/(-12). Suppose -80 = -t*z + x. Is z a multiple of 16?
False
Suppose -4*v - 4*f - 156 + 16 = 0, -5*v - 3*f - 179 = 0. Let x = v - -73. Is x a multiple of 12?
True
Is 15 a factor of (2 - 6)*15/(-2)?
True
Let o = -4 - -4. Suppose 0 = 5*z + 4*y - 11, o = -3*z + z - 4*y + 2. Suppose 5*q - 14 = -z*w, -4*q = q + 5*w - 10. Is q a multiple of 3?
False
Let s(a) be the third derivative of a**6/120 - a**5/30 - a**4/12 + a**3/2 - 2*a**2. Let t(w) = -3*w**3 + w**2 + w. Let f be t(-1). Does 2 divide s(f)?
True
Suppose 3 = 3*g + 3*p, -4*g = -g - 3*p + 3. Suppose 2*j - 8 - 2 = g. Is 5 a factor of j?
True
Let z(y) = y + 3. Let c be z(-3). Let a(k) = -k - 2. Let u be a(-4). Suppose 0 = u*i - 12 - c. Does 4 divide i?
False
Is 4/(-2*(-4)/104) a multiple of 15?
False
Let c(q) = q. Suppose 0 = -n - 2*n. Let i be c(n). Suppose i*x = 2*x - 42. Is 15 a factor of x?
False
Let b = -8 + 61. Does 20 divide b?
False
Suppose 0 = h - 2. Suppose -t - h*t + 33 = 0. Does 6 divide t?
False
Let i = -113 + 178. Is i a multiple of 13?
True
Suppose 4*y + 2 - 10 = 0. Suppose -2*i - 4*b = -36, y*i - 5*b = 3*i - 9. Suppose u = i - 1. Is 17 a factor of u?
False
Suppose 4*f = 3*f + 78. Does 26 divide f?
True
Let m be (-62)/((-2)/1*1). Let t = m - -23. Suppose 0 = -2*l - 0*l + t. Does 10 divide l?
False
Suppose -4*r = -7*r + 33. Let p = 1 + r. Is 6 a factor of p?
True
Suppose -3*q = -3*l - 8*q - 10, 4*l - 45 = 5*q. Suppose -l*f = -91 - 219. Does 25 divide f?
False
Suppose 2*b - 9 = 1. Is 19 a factor of 57/(-3 + b + -1)?
True
Let f(u) = u**3 + 7*u**2 - 11*u + 2. Suppose 6*c - 11 = -y + 3*c, 5*y + 5*c = 35. Suppose -42 = y*r - 2. Is f(r) a multiple of 15?
False
Let l = 171 - 96. Let i be (-1 + -2)*l/9. Is 27/5 + 10/i even?
False
Suppose -5 = -2*g - 3*g. Let m(c) = c + 1. Let o be m(g). Suppose -o*j + 84 = 4*k, j = -0 - 2. Is k a multiple of 22?
True
Suppose 0 = 5*u - 103 - 87. Suppose -3*z + 63 = 3*n, n + u = 3*n - 2*z. Is n a multiple of 6?
False
Suppose -4*v + 82 = -4*y + 538, 5*v = y - 130. Is 11 a factor of y?
True
Suppose 3*q - 5 - 4 = 0. Suppose -q*i - 49 = 11. Does 14 divide ((-126)/(-10))/((-6)/i)?
True
Suppose 4 - 5 = n - v, 0 = -5*v - 25. Let l(t) = -11*t + 6. Does 24 divide l(n)?
True
Suppose -5*r + 2*r = 39. Let u = r - -18. Suppose -b = u*y - 32, -3*y + 4*b = -y - 4. Does 6 divide y?
True
Let g(d) = -d**2 + 14*d + 3. Suppose -4*l = -l - 33. Is g(l) a multiple of 16?
False
Suppose 5*k + 42 = r, r = 5*r + 12. Let u = k + 24. Is u a multiple of 14?
False
Suppose -19 = 3*l - 52. Is 11 a factor of l?
True
Let o(b) = 9 + 8 + 4*b - 5*b + 3 - b**2. Let k be o(0). Let m = 32 - k. Is 7 a factor of m?
False
Suppose 0 = f - 5*t - 94, 0*f - f = 2*t - 66. Does 17 divide f?
False
Let z(x) = -x**2 - 11*x - 2. Let s be z(-8). Suppose -4*g = -2*k + k + s, 2*k - 79 = g. Does 14 divide k?
True
Let g = -1 - 12. Let z = g + 30. Is 16 a factor of z?
False
Does 19 divide (12/(-10))/(3/(-160))?
False
Suppose -138 = -3*r - 0*r. Let l = r - 20. Does 13 divide l?
True
Suppose -5*s + 3*l = 6, 4*s + 0*l + 2 = l. Suppose 6*y - 3*n - 34 = 4*y, s = 2*n - 4. Does 9 divide y?
False
Let k(i) = i**2 + 4*i + 8. Is 13 a factor of k(-5)?
True
Let k = 4 + 1. Suppose -k*n + 3