+ -16. Is 10 a factor of q?
True
Let h(b) = b**2 + 7*b - 1. Let k be h(-7). Let w be 1 + 96/((-3)/k). Is w + -6 - (-1)/(-1) a multiple of 13?
True
Suppose 0*y - 12 = -2*g + 2*y, -g = 5*y + 18. Suppose 6*f - g*f + 600 = 0. Is 16 a factor of 1/(3/f*-2)?
False
Let u = 19 - 4. Is 3 a factor of u?
True
Suppose 0*w = -4*w + 8, 2*a - 40 = -5*w. Does 4 divide a?
False
Suppose 19 = -3*k - 11. Let i = k + 16. Let t(f) = 10*f - 7. Does 22 divide t(i)?
False
Let m(a) = -a**3 - 5*a**2 - 2*a - 6. Let w be m(-5). Let o(p) = 2*p - 5. Let d be o(w). Suppose -5*s = d*n - 2, -2*n + 0*s + s + 23 = 0. Does 9 divide n?
True
Suppose 13 = 5*s - 3*d, -s = -3*s - d + 3. Suppose -f + s = -40. Is 14 a factor of f?
True
Let u(m) = -m**2 - 15*m + 6. Let k(l) = -l**2 + 8*l - 5. Let b(v) = -4*v**2 + 25*v - 15. Let t(y) = 2*b(y) - 7*k(y). Let h be t(-8). Is u(h) a multiple of 18?
False
Let m be 1/(1/6*3). Suppose -b - 2*p - m*p + 105 = 0, 195 = 2*b + 5*p. Is 22 a factor of b?
False
Suppose -12 = 2*h - 0. Let f(t) = 2*t**2 + 9*t + 3. Let w(u) = -6*u**2 - 26*u - 10. Let a(g) = -8*f(g) - 3*w(g). Is a(h) a multiple of 21?
True
Let y(t) = -2*t**2 - 9*t + 6. Let r be y(-7). Let b = 21 + r. Let v(i) = -i**2 - 11*i + 5. Is v(b) a multiple of 16?
False
Let t be (-820)/(-50) - 2/5. Suppose -w + t = w. Is w a multiple of 5?
False
Suppose 0*a - 5*a = -10. Suppose 6*n = n - 5, -4*g + 62 = a*n. Is 16 a factor of g?
True
Suppose -36 = -l - l. Is l a multiple of 9?
True
Let r(w) = 10*w**2 - w - 1. Is r(-1) a multiple of 5?
True
Let x = 101 + -42. Does 17 divide x?
False
Let q(a) = 5*a - 1. Let b be q(1). Suppose -3*d + 2*c - 7*c + 17 = 0, 26 = 2*d - b*c. Let l = d + 7. Is 10 a factor of l?
False
Let h = 35 - 17. Is 2 a factor of h?
True
Let s be -3*4/6*-1. Suppose -s - 3 = -z. Is z a multiple of 5?
True
Suppose 5*r - 255 = -0*r. Let u = 74 - r. Is u a multiple of 20?
False
Let g(q) = -q**3 - 8*q**2 + 4*q + 4. Let p be g(-8). Is 27 a factor of (p/7)/((-2)/27)?
True
Let q = 11 - 6. Suppose 4*m = -q*u - m - 5, u - 4*m = 19. Suppose -5*w + 170 = -u*c, -3*w + 30 = -c - 72. Is 16 a factor of w?
False
Let u = -16 - -56. Does 5 divide u?
True
Let g(v) = -v - 5 + 0*v + 12. Let p(c) = -c**3 - 5*c**2 - 6*c - 5. Let y be p(-4). Is 3 a factor of g(y)?
False
Suppose y = 4*z + 9, 3*y + 5*z = 4*y - 7. Does 3 divide y?
False
Let r(u) = u**3 - u**2 + u + 6. Let f be r(0). Suppose f*x - 312 = 2*x. Does 12 divide x/(-6)*(0 + -1)?
False
Suppose -3*m + 4*k + 38 = -30, -3*m - 2*k + 56 = 0. Does 10 divide m?
True
Let x(k) = -k**3 + 3*k**2 + 5*k - 4. Let c be x(4). Suppose l - 13 = 19. Suppose c = -v - v + l. Is v a multiple of 6?
False
Let l(n) = 2*n - 7. Let g(u) = 10*u**2 - u + 1. Suppose -3*b = -5*b + 2. Let d be g(b). Is 6 a factor of l(d)?
False
Suppose -r + 2*r = 3. Suppose -2*h = r*h + 15. Is (2/(-2))/(h/231) a multiple of 26?
False
Suppose 5*z - 3*z - 40 = 0. Is z a multiple of 15?
False
Suppose -5*g + 268 - 1538 = -5*u, -4*g + 1032 = 4*u. Suppose 7*l - 3*l - u = 0. Does 19 divide l?
False
Is 14 a factor of -6*(-5 + (-1 - 1))?
True
Let m(n) = -6*n + 2. Suppose -2*c + 2*o = c, 4 = -5*c + 2*o. Let x be m(c). Let u = -6 + x. Is u a multiple of 3?
False
Is 15 - (-2 + 2/(-1)) a multiple of 3?
False
Let t be 24 + 0/(-3 - -5). Suppose 0 = -2*s - s + t. Is 3 a factor of s?
False
Let o(a) = a**2. Let u be o(2). Let x be u - 4 - (3 - 1). Does 7 divide (-5)/(-1*x/(-8))?
False
Suppose -3*h = -8*h. Let f = h - -36. Does 18 divide f?
True
Let x be (-12)/(-16) - 26/(-8). Let n = x + 37. Is n a multiple of 21?
False
Let r(m) = -m**3 + 16*m**2 - 32*m + 10. Is 16 a factor of r(13)?
False
Let m(f) = -f - 1. Let w be m(-2). Is 10 a factor of (1 + -1 + 20)/w?
True
Let y(q) = -q**3 + 23*q**2 + 35*q + 7. Is 64 a factor of y(24)?
False
Suppose 2*b + 21 = -3*y + 82, -4*b = -5*y + 65. Is (-4)/(-24) - y/(-6) even?
False
Suppose 6*i - 41 = 5*i. Does 8 divide i?
False
Suppose -6*o = o - 336. Is o a multiple of 12?
True
Is 2/(((-48)/220)/(-6)) a multiple of 13?
False
Suppose -f = -0*f. Let y = 24 - f. Is y a multiple of 7?
False
Let a(y) = -y**3 + 6*y**2 - 3*y - 3. Does 7 divide a(5)?
True
Let m = -6 - -42. Does 12 divide m?
True
Let f be ((-1)/(-2))/((-2)/(-12)). Suppose -2*g = 4*x - 64, -x = x + f*g - 32. Suppose 2*h - 4*p = x, -18 = -5*h - 3*p + 2*p. Is h a multiple of 4?
True
Let r = 8 + -5. Suppose 0 + 18 = r*m. Does 3 divide m?
True
Let l = -118 - -173. Does 13 divide l?
False
Let p(m) = m**3 - 11*m**2 + 5*m + 7. Let l be p(10). Let w be (156/8)/(1/(-4)). Let c = l - w. Does 12 divide c?
False
Let s(v) = -4*v**3 + 3*v**2 - 6*v - 1. Let r(d) = d**3 + d**2 + d + 1. Let a(o) = 3*r(o) + s(o). Suppose -i + 2 = -3. Is a(i) a multiple of 12?
True
Is (-4 + 4 - 2) + 182 + 0 a multiple of 13?
False
Let f be ((-48)/(-40))/((-2)/(-15)). Suppose -3*s - f + 69 = 0. Is 4 a factor of s?
True
Suppose -69 = -3*z - 5*j, -3*j = 3*z - 0*j - 75. Let p = 57 - z. Is 11 a factor of p?
False
Let d(i) = 2*i**2 + 7*i - 24. Is d(6) a multiple of 6?
True
Let s(w) = 2*w**2 - 13*w - 14. Does 28 divide s(14)?
True
Let v(i) be the first derivative of -4/3*i**3 + 1/4*i**4 + 0*i + i**2 + 2. Is 6 a factor of v(4)?
False
Let v(n) = -172*n + 2. Let i be v(1). Suppose 4*x - 98 = -578. Let m = x - i. Does 13 divide m?
False
Let r be (52/16 + 2)*8. Let z = -23 + 41. Suppose 0 = 2*x + 4*s - r, 5*x - z - 87 = -5*s. Does 7 divide x?
True
Let k(i) be the third derivative of -i**6/120 - 13*i**5/60 - 7*i**4/12 + 2*i**3/3 - 7*i**2. Is k(-12) a multiple of 14?
True
Suppose -4*p - 13 = c - 29, p = 3*c + 17. Let j = 9 - p. Is 2 a factor of j?
True
Let b(w) = -44*w + 4. Let j be b(-3). Suppose -4*d + j = 16. Does 14 divide d?
False
Suppose 16 = -f + 18. Suppose l = -s, 9 = -s - 2*s. Suppose -53 = -f*v + l*b, -2*v - 3*b + 42 = v. Is 19 a factor of v?
True
Suppose -3*a + 0*z + 329 = -z, a = -2*z + 98. Suppose -4*p - r + 2*r = -a, -5*p - 3*r + 135 = 0. Is 9 a factor of p?
True
Let c = 43 - -134. Does 43 divide c?
False
Suppose 2*k - k + 3 = 0. Let c = 0 - k. Suppose 8*g - p = c*g + 80, g = -2*p + 27. Is 17 a factor of g?
True
Let d = -76 + 125. Suppose -5*n + 16 = 3*s + d, -2*n = 4*s + 30. Let k(g) = -2*g + 8. Does 17 divide k(s)?
False
Suppose -b + 13 + 24 = -4*j, -5*j = b + 8. Suppose 25 = 3*f - b. Let g = 34 - f. Does 10 divide g?
True
Suppose 5*r = -2*f + 148, -6 = -2*r + 2. Is f a multiple of 22?
False
Let l = 10 - 5. Suppose -2*r + 15 = -l. Suppose 4*t - r = 3*t. Does 10 divide t?
True
Let z(o) = -10*o - 2 + o**2 - 2*o**2 - 8. Let m = 9 - 17. Is z(m) a multiple of 2?
True
Suppose -5*r - 5*a - 130 = 0, -26 = 2*r - r - a. Let x = r - -53. Is x a multiple of 12?
False
Suppose -4*g = -4*p + 16, 2 = -p - 2*g + 6. Suppose 5*o - p*z - 1148 = 0, 4*o - z - 910 = -2*z. Suppose 7*r = 3*r + o. Is 21 a factor of r?
False
Let z = -460 - -653. Let j = -93 + z. Suppose c - j = -4*c. Is 9 a factor of c?
False
Let y(d) = d**2 - 6*d + 3. Is 3 a factor of y(6)?
True
Let h = -24 - -80. Does 27 divide h?
False
Let d be 1 + 2 - 0 - 1. Suppose d*g - 22 - 4 = 0. Does 13 divide g?
True
Let l = -28 - -31. Suppose -w = 3, -l*k + 0*k - 5*w = -159. Is 29 a factor of k?
True
Let j(i) = -i**2 - i. Let q be j(-1). Suppose 0 = 5*l - q*l - 110. Does 5 divide l?
False
Let o = 0 - 0. Suppose 2*c - 18 = -o*c. Suppose 2*p - 29 = -c. Does 6 divide p?
False
Let o(v) = -v**2 - 8*v - 8. Let h(z) = z**3 + 5*z**2 - 2*z + 1. Let u be h(-4). Suppose -4*c - u + 1 = 0. Does 2 divide o(c)?
True
Suppose 0*y + y - 2 = 0. Let c(p) = 2*p - 15*p**3 - 1 - y*p. Is c(-1) a multiple of 14?
True
Let q be -3*1/(-3)*2. Let p(o) = -q + 0 + 4 - 3*o. Is 8 a factor of p(-6)?
False
Suppose -2*u + 5*u = c + 13, 0 = -3*c + 5*u - 19. Let q(i) = 2*i**2 + 2 + 4*i**2 - i**3 - 5 + c*i. Is q(3) a multiple of 15?
True
Suppose -3*s + s = -76. Does 13 divide s?
False
Let f be 3/5 + (-1574)/(-10). Suppose n + f = 3*n. Suppose 1 = -2*k + 2*m + n, 2*m = 3*k - 114. Is 18 a factor of k?
True
Suppose -b - 2*p + 23 - 3 = 0, -3*b = p - 60. Let k = b - 6. Does 7 divide k?
True
Let u(j) = j**3 - 10*j**2 + 7*j + 14. Does 14 divide u(10)?
True
Suppose 5*m = 3*m + 6. Let u = 7 - 5. Suppose -u*l + 20 = m*l. Is 3 a factor of l?
False
Suppose 0 = 4*v - 54 + 354. Suppose -2*t - 113 = t - 2*d, -8 = 4*d. Let y = t - v. Is y a multiple of 14?
False
Let a = -6 + 8. Suppos