e i/(-3) - (-6)/(-9). Let b(c) = -c + 19. Does 4 divide b(p)?
True
Let n(p) be the second derivative of -p**5/20 - p**4/12 - p**3/6 + 17*p**2/2 + p. Is 15 a factor of n(0)?
False
Suppose 3*f - 95 = 13. Suppose 4*p + 2*m - f = 114, 4*p - 143 = 5*m. Is p a multiple of 11?
False
Suppose 1 = 2*l - 9. Suppose -25 = -l*n, 5*n - 2*n = -5*d - 10. Let j = 3 - d. Does 4 divide j?
True
Let r(f) = -f + 7. Let l be r(5). Suppose -6 = -l*z + 2*j, -3*z = 3*j - 12 + 3. Let p = 14 - z. Is 4 a factor of p?
False
Suppose 64 = 4*q - 3*d, 4*q + d = -4*d + 64. Let a = q + -8. Does 4 divide a?
True
Suppose -b = 3*b - 2*g - 26, -8 = -b - g. Suppose 0 = -d + 5, -b*z + 2*z - d + 15 = 0. Is z even?
True
Let o be (-129)/9 + 2/6. Let s = o + 38. Suppose -q + 4*q + s = x, -60 = -5*x - 5*q. Is 14 a factor of x?
False
Let t = -20 + 26. Does 3 divide t?
True
Suppose -2*w + 11 = -17. Suppose -4*y - 3*l = 5, -7*y + 2*y + 3*l = -w. Does 5 divide (-2 + 9)/(y + 0)?
False
Let l be -74 - (-3 - 0)/(-3). Let m = l - -118. Let o = -24 + m. Is 9 a factor of o?
False
Let z = 4 - 10. Let s be -3*(-3 - z/(-3)). Suppose 3*p - s - 12 = 0. Does 9 divide p?
True
Suppose h = -o - 0 + 3, 3*h + o = 1. Let r be 5 + -2 - (0 - h). Suppose 2*y = 4*x + 56, r*y - x - 25 - 25 = 0. Is y a multiple of 11?
False
Let h = 150 + 0. Does 12 divide h?
False
Let l(b) = 4*b + 4 + 0*b + 0 - 5*b. Is 9 a factor of l(-5)?
True
Let z be 1*643 - (0 - 2). Does 26 divide z/21 - 6/(-21)?
False
Suppose 0 = -o + 5*b - 5, -3*o = -6*b + b + 5. Let p(s) = o - s + 7*s + 2. Is 19 a factor of p(6)?
True
Let l be 2/(-5) - (-576)/(-10). Let f be (-4)/10*16*5. Let b = f - l. Is 13 a factor of b?
True
Let q(c) = c**2 - 6*c + 6. Let u be q(5). Let f(m) = m + 2*m**2 + 2 + 1 - u. Does 9 divide f(-3)?
False
Suppose 0 = -5*s, 2*s + 12 = 2*r + s. Suppose 0 = -f + 4*l - 3, -r*f + l - 27 = -2*f. Does 3 divide 5/(-10)*(1 + f)?
True
Let a = 10 - -31. Is a a multiple of 41?
True
Does 31 divide (-1 - (-362)/6)/(12/18)?
False
Let r = -19 - -218. Is 24 a factor of r?
False
Suppose -r + 0 + 3 = 0. Suppose -4*s = a - 33, 4*s + s - 10 = 0. Suppose a = -r*g + 91. Is g a multiple of 6?
False
Let h(d) = -d**2 + d + 2. Let a be h(0). Let i be (-205)/(-10) + a/4. Suppose 4*t + t - 60 = -5*x, 5*x = 4*t - i. Does 6 divide t?
False
Let y = 10 - 8. Suppose -38 = -y*j - 3*t, -4*j - t - 3*t = -80. Suppose -n + j = 2*h, 2*n = -n - 2*h + 50. Is n a multiple of 7?
True
Suppose -3*d = 3, q + 3*d = 3*q - 59. Does 8 divide q?
False
Let i(b) = b**2 + 10*b - 4. Let r be i(-11). Suppose r = a - 5. Let m = a - 7. Is 5 a factor of m?
True
Suppose -32*l + 152 = -30*l. Is l a multiple of 10?
False
Let b(q) = q**2 - 3*q. Is 5 a factor of b(5)?
True
Let o(f) = -f**2 - 17*f - 12. Is o(-7) a multiple of 29?
True
Suppose 0*k - k = -16. Does 10 divide (-78)/(-8) + 4/k?
True
Let z = 1 + -1. Let y = -73 - -133. Suppose -2*m + y = -z*m. Is m a multiple of 15?
True
Suppose 102 = 12*z - 174. Is 2 a factor of z?
False
Let c = 7 - 3. Suppose 4*t - c = -32. Let j = t + 24. Does 17 divide j?
True
Let r(w) = 4*w**2 + 2*w. Let h(a) = -a + 10. Let x(p) = p - 9. Let l(i) = -3*h(i) - 4*x(i). Let z be l(8). Does 11 divide r(z)?
False
Let c(f) = -f**2 + 2*f. Let j be (3 + 2*-1)*2. Let q be c(j). Is 19 a factor of 19 + (q - (0 - 0))?
True
Let w(b) = -b**2 + 15*b - 2. Is w(7) a multiple of 9?
True
Let c = 28 - -10. Is 4 a factor of c?
False
Suppose -5*l = -2*c + 25, -5*l + 0*l - 25 = 2*c. Is (c - -3)/(1/3) a multiple of 6?
False
Let x(g) = -g**2 - 10*g - 2. Let w(u) = u**2 - 15*u + 19. Let m be w(13). Is x(m) a multiple of 19?
True
Let a(k) = -k**2 + 9*k - 5. Let t be a(8). Suppose t*v + 2*v = 195. Is v a multiple of 13?
True
Suppose c + 0*c = 1, 5*d + 2*c + 73 = 0. Let i = 21 + d. Let r(y) = y**2 - 2*y - 3. Does 9 divide r(i)?
False
Suppose 202 = -4*i - 158. Let b = -24 - i. Suppose 4 - b = -2*z. Does 13 divide z?
False
Let v = -379 + 47. Does 12 divide v/(-12) + (-2)/(-6)?
False
Suppose 0*i - 5*i = -20. Suppose 0 = x - r - 17, -r + 5 - i = 0. Does 9 divide x?
True
Suppose 2*z + 0*s + 5*s + 10 = 0, -5*z - 3*s = 6. Suppose -3*f + 0*f + 96 = z. Does 8 divide f?
True
Let l = -8 - -16. Let w = l + -8. Suppose -30 = -w*k - k. Does 15 divide k?
True
Let j(i) = 2*i**2 - 3*i + 5. Let g be (-2)/(-1*2/4). Is 5 a factor of j(g)?
True
Let f = 2 - 2. Suppose f = k + k - 42. Is k a multiple of 21?
True
Suppose 5*r - 145 = -40. Is r a multiple of 7?
True
Let u(n) = 86*n + 2. Is 11 a factor of u(1)?
True
Let v = 31 - 22. Is v a multiple of 4?
False
Is (9/(-5 + 2) - 97)*-1 a multiple of 10?
True
Let o be 24/(-2) + 1/(-1). Let f = o - -27. Is f a multiple of 11?
False
Let m be 62*(0 - 4/(-8)). Let j = 52 - m. Is j a multiple of 7?
True
Suppose -3*y = -4*k - 5*y - 12, 12 = -4*k + y. Is (-32)/k*(-6)/(-4) a multiple of 4?
True
Suppose -3*h = 15, 4*h - 34 = -3*c - 0*c. Does 11 divide c?
False
Suppose -4*o + 15 + 9 = 4*j, 20 = 3*j + 5*o. Is 5 a factor of j?
True
Let p(a) = a**2 - a + 14. Is p(-6) a multiple of 5?
False
Is (-17 - 0)*24/(-6) a multiple of 11?
False
Suppose -3*r = r - 5*j - 614, -3*j = 3*r - 474. Does 52 divide r?
True
Let c(l) = -l**3 - 4*l**2 + 4*l. Let y be c(-5). Is 2 - -17 - (6 - y) a multiple of 18?
True
Suppose -3*w + 3*v - v + 112 = 0, -193 = -5*w - 3*v. Is w a multiple of 14?
False
Let j(h) = 8*h**3 + h**2 + h + 1. Let o be j(-1). Let w(l) = -5*l + 3 - 4 + 0. Is 17 a factor of w(o)?
True
Suppose -3*w + w - 2*g + 86 = 0, 4*w - 163 = 5*g. Is 14 a factor of w?
True
Suppose 5*q = 2*q. Let u(d) = -d**3 + d**2 + d + 17. Does 13 divide u(q)?
False
Let k(b) = b**3 - 8*b**2 - 11*b + 13. Let a be k(9). Let y = a - -21. Is y a multiple of 8?
True
Let s(w) = 3*w**3 + w - 1. Let t be (-111)/21 - (-2)/7. Let i(n) = n**3 + n - 1. Let h(k) = t*i(k) + 2*s(k). Does 21 divide h(3)?
True
Suppose m - 4 = -s - s, 3*m - 2*s = 12. Let q = 12 + m. Does 8 divide q?
True
Let g = 451 + -217. Is g a multiple of 13?
True
Let q(n) be the second derivative of 5*n**4/6 + n**3/3 + n**2/2 + 3*n. Does 5 divide q(-1)?
False
Suppose 2*n + 5*a = -n + 985, 3*n - 987 = -3*a. Is n a multiple of 10?
True
Suppose 0*y = -5*y + v + 28, -2 = -2*y + 5*v. Let f be y - -1 - (-2)/(-2). Suppose 2*x + 116 = f*x. Is x a multiple of 18?
False
Let j(x) = -2*x**3 - 1. Let u be j(1). Let m be (8 + 0)/((-1)/u). Suppose -4*b - h = -b - 40, 3*b - 3*h = m. Is 6 a factor of b?
True
Suppose k + 3*w - 82 = 0, 2 = 4*w - 6. Suppose 2*u + 60 = 4*a, 5*a + 2 = 2*u + k. Is a a multiple of 14?
True
Suppose -2*p + 7 = -1. Suppose 0 = -p*s + 2*s + 48. Is 12 a factor of s?
True
Let y = 27 + -19. Let w = 7 - 3. Let r = y + w. Does 6 divide r?
True
Let z = 6 + -7. Let p = z - -6. Does 4 divide p?
False
Suppose 3*s - 4 = -s. Suppose 2*i = 35 - s. Suppose 0 = 3*b - 3*g + i - 77, g = -5*b + 76. Does 14 divide b?
False
Let s(k) = -k. Let z = 3 - 2. Let x(d) = -4*d - 1. Let f(a) = z*x(a) - 5*s(a). Is 8 a factor of f(9)?
True
Let m(t) = -3*t**3 - 5*t**2 + 11*t - 1. Let l(x) = 2*x**3 + 3*x**2 - 7*x + 1. Let q(g) = -7*l(g) - 5*m(g). Is q(-4) a multiple of 11?
True
Let i = 220 - 40. Suppose -2*a = 0, -q - 2*a + 3 = 2*a. Suppose -5*d = -3*o - o + i, q*o = 3*d + 132. Does 20 divide o?
True
Let b(y) be the third derivative of 2*y**2 + 8/3*y**3 + 0 - 1/24*y**4 + 0*y. Is 12 a factor of b(0)?
False
Suppose -2*r + 11 = 3. Let s(l) be the second derivative of -l**5/20 + 5*l**4/12 - 2*l**3/3 + 3*l**2 + 2*l. Is 4 a factor of s(r)?
False
Let l(d) = -d**3 - 3*d**2 - d + 16. Is 9 a factor of l(-6)?
False
Does 7 divide -15*28/(0 + -4)?
True
Suppose 2*f = 5*f + 33. Let s = f + 44. Does 11 divide s?
True
Let h = 74 - 68. Is 3 a factor of h?
True
Let v(f) = 4*f - 2. Suppose -2*a - 2 = -4*u + 2*u, -4*u + 20 = 0. Suppose -a*s - s = -25. Is v(s) a multiple of 18?
True
Let h(c) = c + 6. Let q be h(0). Let t = 16 - q. Does 10 divide t?
True
Suppose 0*m + m = i + 323, -1 = -i. Suppose o - m = -3*o. Suppose -2*z + 5*u + o = 0, 0 = -5*z - 2*u - 0*u + 159. Is z a multiple of 12?
False
Let q(z) = z**3 - 10*z**2 + 10*z + 12. Is 7 a factor of q(9)?
True
Let s be (-114)/(-22) - (-28)/(-154). Suppose 126 = 2*a + s*a. Is a a multiple of 6?
True
Let h be 4/(-2) + (1 - -5). Suppose -10 = 2*o - 2*w - 4, 2*o = 3*w - h. Does 12 divide (2/o)/(2/(-60))?
True
Let k be 87/(-6) - (-3)/6. Is 3 a factor of ((-10)/(-4))