. Is c a multiple of 17?
True
Let c(x) = -128*x**3 - x**2 - x. Does 10 divide c(-1)?
False
Suppose 2*p + p = 156. Let w = p - 36. Is 7 a factor of w?
False
Let s(z) = z**3 + 12*z**2 + 14*z - 3. Is 24 a factor of s(-7)?
True
Let g(f) = -2*f**3 - 3*f**2 - 4. Is g(-3) a multiple of 4?
False
Let y = 11 - 6. Suppose -y*n + 221 = 51. Is 6 a factor of n?
False
Let p be (12/10)/(4/10). Let k be (-2)/(-11) + (-582)/(-66). Suppose p*f = 9, 57 - k = 5*b + f. Does 9 divide b?
True
Let f(z) = -6*z + 2 + z**2 + 11 + 3. Does 15 divide f(8)?
False
Let f = 4 + -1. Suppose -f*i + 2*i = -21. Does 7 divide i?
True
Suppose 0 = -2*d - 4*b - 22, -6*d + 2*d - 5*b - 32 = 0. Is (d + 2)*-1 + 49 a multiple of 25?
True
Let d = 5 - 1. Suppose a = -a + d. Let u(t) = t**2. Is 4 a factor of u(a)?
True
Suppose 3*h + 34 = 4*h. Is 17 a factor of h?
True
Let b = -269 + 406. Is b a multiple of 37?
False
Suppose 2*m - 18 = 6. Is m a multiple of 3?
True
Suppose 3*h - 22 = 8. Let o be (-20)/6*(-144)/h. Suppose -5*g - 5 = -0*g, 3*g + o = 3*z. Is 15 a factor of z?
True
Let v(r) = r**3 - 2*r**2 + r. Let f be v(1). Let g(n) = -n**2 + 6*n + 5. Let d be g(5). Let m = d + f. Does 5 divide m?
True
Suppose 3*w + 0*k = 2*k - 90, 3*w + 93 = 3*k. Let a = -8 - w. Is a a multiple of 20?
True
Let w = -47 + 51. Let u = 6 - 1. Suppose -w*j + 44 = -u*t - 100, -2*t = 5*j - 147. Does 12 divide j?
False
Let k be (1 + 3)/((-2)/4). Let s(y) = -7*y**2 - 2*y + 7. Let x(u) = 11*u**2 + 3*u - 11. Let v(p) = -8*s(p) - 5*x(p). Is 24 a factor of v(k)?
False
Let x = -5 + 11. Let r be (21/x)/(1/(-18)). Is 21 a factor of (-1)/(3/r*1)?
True
Let n be ((-9)/(-5))/(4/60). Let d = n + -2. Let x = d - 16. Is 4 a factor of x?
False
Suppose 11*m = 3*m + 952. Is 12 a factor of m?
False
Let t(y) be the third derivative of y**6/120 + y**5/15 - 5*y**4/24 + 2*y**3/3 - y**2. Let u(c) = -c**2 + c - 5. Let s be u(0). Does 3 divide t(s)?
False
Let y be (-1 - (-6)/(-4))*2. Let m = -5 - y. Suppose 0 = -m*h + h - 13. Is 13 a factor of h?
True
Suppose 4*p - p - 123 = 0. Let u be (-1 - -2) + -2 - -4. Suppose 48 = -0*n + 5*n - u*s, p = 5*n + 4*s. Is n a multiple of 4?
False
Suppose 5*m - 14 = j, 3*j - 3*m + 18 = -0*j. Let f = 19 + -33. Let s = j - f. Is s a multiple of 8?
False
Suppose y + 22 = 82. Does 21 divide y?
False
Suppose 2*p = h - 1 + 18, -3*h = 15. Is p even?
True
Suppose -5*s + 50 + 65 = v, 4*v = -5*s + 100. Let i(o) = 15*o + 24. Let y(c) = -3*c - 5. Let f(d) = s*y(d) + 5*i(d). Is 10 a factor of f(5)?
False
Suppose -60 = -5*g - 5*s, 2*g - s - 17 = 19. Is g a multiple of 8?
True
Let n(u) = -u**2 + 16*u - 10. Is 4 a factor of n(14)?
False
Let j = 15 + -11. Suppose 3*o - 5*l = 83, j*o + 5*l = -o + 165. Is o a multiple of 11?
False
Suppose -2 = 2*f - 0*f, -f = -5*z + 186. Suppose -g = 3*t + 21, 2*g + 3*t + 2*t + z = 0. Let a = g - -42. Is 15 a factor of a?
False
Suppose 3*u + x - 1 = 5, 5*u = -3*x + 10. Suppose 0 = u*g + 3*g - 105. Is 8 a factor of g?
False
Let a be (-1)/(-4) - (-245)/28. Does 22 divide 4/12 + 510/a?
False
Let r be 4/(-6) + (-284)/(-12). Suppose -p = -0*p + 4*i + r, -5*p - 184 = -3*i. Let l = -21 - p. Does 7 divide l?
True
Suppose j + 2*j - 10 = -v, 5*v = 3*j - 40. Suppose j*u + 5*q - 88 = -18, -2*u = -2*q - 44. Does 9 divide u?
True
Let i = 139 - 66. Does 11 divide i?
False
Let y(i) = 7*i**2 + 3*i. Let g(x) = 14*x**2 + 6*x. Let p(a) = -4*g(a) + 9*y(a). Let w be p(4). Suppose -f = 8*c - 3*c - 14, -2*c - w = -5*f. Does 12 divide f?
True
Suppose 0 = -8*f + 3*f + 15. Suppose 5*g + 49 = -5*c + 399, 5*g + 235 = 4*c. Suppose 4*s = f*n + c, -4*s - 3*n - 10 = -57. Does 7 divide s?
True
Let k be (-83)/4*8/(-2). Suppose k = 3*r + 3*t + 26, -2*t = 2. Is 10 a factor of r?
True
Suppose s - 2 = 2. Suppose 39 = 7*l - s*l. Is 7 a factor of l?
False
Is 22 a factor of (-6)/9 - (-952)/6?
False
Suppose 4*z - 1 = 15. Suppose 0 = 4*r + 7 - 19. Is (-118)/(-8) - r/z a multiple of 14?
True
Let i be (1 - 0)*2 + -11. Let x = i - -21. Suppose 25 = q - 4*d, 0 = -3*q - 5*d + x + 29. Is q a multiple of 6?
False
Let x(h) = -h**3 + 9*h**2 + 16*h - 15. Is 21 a factor of x(10)?
False
Suppose 12 = 4*t + 2*q - q, 0 = 3*t - 4*q - 9. Suppose -3*m + t = -15. Is 5 a factor of m?
False
Let s(g) be the third derivative of g**5/30 + 5*g**4/24 - 3*g**3/2 - 4*g**2. Does 22 divide s(5)?
True
Let v = 105 + -55. Is 14 a factor of v?
False
Let b = 9 - -69. Is 12 a factor of b?
False
Suppose -2 = -k, 0 = i + 2*i + 4*k - 14. Suppose -i*x + 285 = 3*x + 4*y, 0 = x + y - 58. Does 12 divide x?
False
Let r(m) = -54*m - 5. Is r(-1) a multiple of 11?
False
Let v(d) = d**2 - 3*d. Let x be v(3). Suppose -j = -x*j - 6. Is j a multiple of 5?
False
Let d be 3/((-3)/6*-2). Does 16 divide (d + 5)*(4 - -1)?
False
Suppose -5*g = -5*f - 10, 3 = 3*f - 5*g + 17. Is 7*4 - 3 - f a multiple of 23?
True
Does 21 divide 127 - ((4 - 3) + 0)?
True
Suppose -5*i + 36 = -3*y, 5*i - 2*y = -6 + 45. Does 9 divide (-12)/i + (-61)/(-3)?
False
Suppose p + 0*p = -15. Let r be (-3)/p + 406/(-5). Let s = 135 + r. Does 23 divide s?
False
Let x(v) = -v**3 + 5*v**2 + 5*v + 7. Let p be x(6). Let s = p + 5. Is s even?
True
Is -1*(-15 - (4 + -6)) a multiple of 13?
True
Does 18 divide (-909)/(-21) + (-12)/42?
False
Let k = 159 - 85. Let r = k - 28. Does 18 divide r?
False
Let w(z) = -z**2 + 9*z - 2. Let k be w(7). Suppose -j + 3*q - k = 0, q + 12 = 4*q. Suppose 5*v - 4*a - 182 = j, 0*v + 3*a = -2*v + 82. Is v a multiple of 18?
False
Let t(m) = -5*m - 2. Let o = -15 - -11. Does 18 divide t(o)?
True
Let r be (-38)/(-1) + 1 + -4. Let a = 1 + 4. Suppose -2*l + q + r = 0, -l + a = 3*q - 2. Does 8 divide l?
True
Suppose l - 12 = -l. Does 3 divide l?
True
Let n = 3 + 1. Let g = n + -3. Is 1 + -1 + g + 2 a multiple of 3?
True
Suppose -10 = d + d - 5*i, 0 = 3*d + 4*i + 15. Is 12 + 1 + (d - -2) a multiple of 10?
True
Let j(y) = -4*y**2 + 12*y + 7. Let a(t) = 3*t**2 - 8*t - 5. Let m(o) = 8*a(o) + 5*j(o). Does 15 divide m(-4)?
True
Let f = 5 + -3. Let k be ((-1)/2)/((-1)/f). Let l(h) = 11*h**3 - 2*h**2 + h. Does 5 divide l(k)?
True
Let c be -7 - (1 - (-2 - -4)). Let u = c + 9. Suppose 2*k = -3*o - k + 42, 0 = 3*o - u*k - 30. Is 8 a factor of o?
False
Let b(p) = -p**2 - 8*p - 1. Let g be b(-7). Let d(v) = v + 9. Is 15 a factor of d(g)?
True
Does 12 divide (33 - 11) + (-1 - -1)?
False
Let t(s) = s**3 + s**2 - 3*s - 2. Let w be (2/3)/((-5)/15). Let r be t(w). Is 14 + r + -2 + 1 a multiple of 10?
False
Let z be (-3)/15 + (-166)/(-5). Suppose -2*b - z = -3*b. Is b a multiple of 13?
False
Let w be 1 - (-189)/(-6)*2. Let m = 120 + w. Let s = m + -24. Does 17 divide s?
True
Suppose -2*h = h - 6. Suppose 5*v = 3*j + 3*v + 166, -2*v = -h*j - 114. Let s = -8 - j. Does 14 divide s?
False
Let t = -11 - -15. Let n(l) = l**2 - 3*l + 4. Is n(t) a multiple of 6?
False
Suppose 2*a - 6*a - 83 = -5*d, -3*d = 3*a - 66. Suppose 5*v = 4*c - d - 10, 20 = 5*c - 3*v. Does 2 divide c*(3 - (-1 + 1))?
False
Does 23 divide ((-2)/3)/(16/(-888))?
False
Let u(s) = s**3 + 9*s**2 + 7*s - 5. Let j be u(-8). Suppose -i = j*q + 2*q + 11, -2*i = -q - 11. Suppose -z = -1 - i. Is z a multiple of 5?
True
Let c(y) = 6*y**2 + 4*y + 2. Let l be c(-2). Let d = -8 + l. Let h = d - -2. Does 7 divide h?
False
Suppose v + 34 = x, 130 = -v - 4*v - 3*x. Let u = v - -47. Is u a multiple of 12?
False
Let i(k) = k**2 + 2*k + 6. Let d be i(-10). Let h = -56 + d. Is 10 a factor of h?
True
Let b(n) = 2*n**2 - 3*n. Let m be (-3)/(1/(-3)*-3). Is 14 a factor of b(m)?
False
Does 3 divide (-1*6/(-3))/(2/16)?
False
Suppose -5*b = -1052 + 107. Is b a multiple of 27?
True
Suppose 0 = 2*h - 204 - 328. Is 15 a factor of h?
False
Let x = 53 - 36. Let t = x + -6. Is t a multiple of 2?
False
Suppose -y + g = y - 10, 2*g + 17 = 3*y. Suppose -5*n - 2*b = -5, 2*b - 17 = -4*n + y*b. Does 3 divide n?
True
Let n(f) = f**3 + 12*f**2 + 11*f - 1. Let p be n(-11). Let s(j) = 4*j**2. Does 3 divide s(p)?
False
Suppose l + l + 16 = 3*y, -5*y + l = -22. Suppose -y*c = -83 - 25. Is 9 a factor of c?
True
Is (2/6)/(2/2712*4) a multiple of 15?
False
Suppose 92 = 4*z - 5*l, 5*z + 2*l + 2 = 150. Does 5 divide z?
False
Let r be (-1)/((-6)/(-8) - 1). Let w(s) = -6*s + 2*s + 5*s + 3. Is w(r) a multiple of 3?
False
Let k(v) = -18*v - 31. Does 5 divide k(-9)?
False
Suppose 5*p - 2*a - 353 = 0, 0*a - 361 = -5*p + 