37 + p. Is 11 a factor of j?
True
Let d(k) = k**2 - 9*k + 11. Does 20 divide d(10)?
False
Let p(o) = -2 + o**3 - 1 + 7 + 3*o**2 - 6*o**2 + 2*o. Is p(3) a multiple of 6?
False
Suppose 4*d = 2*d. Suppose -5*p = -3*h - 11, 4*h = -d*p + 4*p - 4. Is h even?
False
Let k be 3/((-2 + 1)/(-1)). Let m = 5 - k. Is 17 a factor of ((-2)/(-3))/(m/102)?
True
Suppose -4*g - 27 = -0*i - 5*i, -i + 5*g - 3 = 0. Let d be -1 + i - (-2 - -4). Suppose 2*y = -y + 6, 103 = 5*l + d*y. Is l a multiple of 12?
False
Let h = 3 - -31. Let w = 76 - h. Is w a multiple of 19?
False
Suppose 3*t = 5*x + 45, 2*x - 19 = -4*t + 67. Suppose r + 5*g = -7, g + t = 4*r - 3*g. Suppose r*q - 2*j + j - 117 = 0, 0 = -5*q - j + 187. Does 13 divide q?
False
Let r = 64 - -16. Does 8 divide r?
True
Let k be ((-16)/(-10))/(2/145). Suppose 0 = 4*s + 3*w - 144, -2*s - k = -6*s + 4*w. Is 9 a factor of s?
False
Suppose -2*l - 2*l - 88 = -3*g, -5*g = -2*l - 142. Suppose 2*t = -0*t - g. Let b = t + 37. Is 6 a factor of b?
False
Suppose 1 = -t, -3*p - 2 = -p - 2*t. Let n = 3 - p. Is 1/(3/n)*6 a multiple of 5?
True
Suppose -12 = -5*o + 8. Suppose o*s - 22 = 50. Does 9 divide s?
True
Suppose 0 = 2*c - 4*g + 10, -2*c = 2*g - 10 + 44. Let m be (110/25)/((-1)/5). Let x = c - m. Is x a multiple of 3?
True
Let s(r) be the third derivative of r**4/24 + 5*r**3/3 + 12*r**2. Let b = 17 + -9. Does 8 divide s(b)?
False
Let b(x) = -x - 1. Let s(g) be the third derivative of g**4/8 + 7*g**3/6 + g**2. Let a(w) = 6*b(w) + s(w). Does 9 divide a(-8)?
False
Suppose -16 = -2*o - 0*o. Let n = o + -12. Does 14 divide n/10 - (-77)/5?
False
Is 13 a factor of 1*3 - (-612)/17?
True
Let r(k) = 99*k**2 - 2*k + 2. Is r(1) a multiple of 11?
True
Let m(h) = -h + 5. Let g be m(9). Let c be -1*(0 + 2)*g. Suppose 4 = -4*o, c*t - 4*o = 3*t + 49. Is t a multiple of 9?
True
Let r(l) = l**2 + 1. Let f(z) be the first derivative of z**4/4 - 8*z**3/3 + 2*z**2 - 9*z - 3. Let d(p) = -f(p) - r(p). Is d(6) a multiple of 20?
True
Let v(j) = -5*j - 2. Let b(d) = -4*d - 1. Let a(u) = -3*b(u) + 2*v(u). Let t be a(2). Suppose -4*p - 72 = -2*m, t*p = -2*p - 15. Does 15 divide m?
True
Let a(t) = t**3 - 5*t**2 - 7*t + 8. Let d be a(6). Is 5 a factor of (-29)/(-3) - d/(-6)?
True
Suppose -3*l + l + 14 = 0. Is l a multiple of 3?
False
Suppose 0 = 4*c + 2*p - 4, 4*c - p = -5*p. Is c/4 + (-27)/(-6) a multiple of 4?
False
Suppose 2 = -3*f + 8. Let z be f/3 - (-7)/3. Suppose -m = 4*m - 2*p - 91, -51 = -3*m + z*p. Does 19 divide m?
True
Let o(r) = -2*r + 8. Let b(y) = 2*y - 9. Let h(d) = 2*b(d) + 3*o(d). Let c be h(9). Is 5 a factor of (15/c)/(2/(-8))?
True
Suppose d = 2*d, -4*d = -5*l + 25. Let j = -1 + 5. Suppose 3*z - 50 = -2*z + l*h, -2*z = -j*h - 24. Is z a multiple of 3?
False
Let r(h) = -h**3 + 2*h**2 + 2*h + 253. Is r(0) a multiple of 16?
False
Let o = -3 - -6. Suppose o*d - 8*d = -160. Does 6 divide d?
False
Let m = 1 - -2. Suppose -2*j = m*j - 85. Is 6 a factor of j?
False
Let c(p) = -p**3 + 4*p - 1. Let q = -5 - -8. Let v be c(q). Let f = v - -30. Is 14 a factor of f?
True
Let t = 6 + -3. Suppose -r + t*k = 4*k - 73, 4*r - 307 = -k. Does 26 divide r?
True
Let u = 6 + -5. Let z be ((-6)/(-6))/(u/4). Suppose -5*r = 4*a + a - 70, -z*r = -3*a + 63. Does 16 divide a?
False
Suppose 0*j = -2*j - 2. Let v(p) = -3*p - 1. Let i be v(j). Suppose -42 = -k - i*k. Is k a multiple of 14?
True
Suppose z + 8 = -u, 0 = 5*u - 3*z - 0*z + 24. Is (-4)/u*-6*-9 a multiple of 18?
True
Let o be 1*(1 - (4 + -3)). Suppose o*z + 36 = 4*z. Is z a multiple of 3?
True
Let s = 23 + -13. Does 5 divide s?
True
Suppose 5*x + 14 = 34. Let v(n) = 4*n - n - x*n + 8. Is 14 a factor of v(-6)?
True
Suppose -2*a + 118 = v, 3*v + 546 = 8*v - a. Is 22 a factor of v?
True
Let q = -2 - -22. Suppose -7*l + q = -2*l. Is 2 a factor of l?
True
Let w(o) = o**2 + 4*o. Let k be w(-3). Let y be 25 + 1 - (-6 - k). Suppose 51 = 2*q - y. Is 20 a factor of q?
True
Suppose 0 = -28*a + 32*a - 88. Is 4 a factor of a?
False
Let s be (-8)/2*(-3)/4. Suppose 0 = z - s*z + 6. Is 2 a factor of z?
False
Let l = 0 + 4. Suppose 0*u + l*u - 68 = 0. Let b = u - 9. Does 4 divide b?
True
Let l = 1 + -1. Suppose -t + 21 + 0 = l. Is t a multiple of 10?
False
Suppose 20 = 4*p - 8*p. Let i = -3 - p. Suppose -4*f + y = -2*f - 11, 3 = f + i*y. Is 4 a factor of f?
False
Let w(i) = i**3 - 8*i**2 + 6*i - 1. Let j be w(8). Suppose -j = 3*a + 4*n - 159, -4*n = -5*a + 144. Is 7 a factor of a?
False
Let z(g) = g**3 - 4*g**2 + 3*g + 2. Let n be z(3). Suppose 4*m - 47 = -4*r + 129, -m = n*r - 39. Is m a multiple of 16?
False
Suppose q - 25 = -4*q. Suppose -q = -2*o + 1. Suppose -32 = o*z - 7*z. Is z a multiple of 4?
True
Suppose h + m = -4*h + 14, m + 13 = 4*h. Let l = 11 - h. Let x(r) = r - 4. Is x(l) a multiple of 2?
True
Let g = 12 - 7. Suppose -l - g = -2*l. Suppose l = n - 4. Is n a multiple of 7?
False
Suppose 0 = 3*s + 5*j + 18 - 138, s = 2*j + 29. Does 9 divide s?
False
Suppose -8 = 2*n - 178. Is 17 a factor of n?
True
Suppose g + l - 4 = -l, 0 = -4*l. Suppose 44 = g*s + 4*r, 2*s + 3*r = 5*s - 21. Suppose -11 = -2*y + s. Does 5 divide y?
True
Suppose 20 = t + 4*t - j, 5*t = 4*j + 5. Suppose m - 49 = 3*y, 0*m - 68 = -2*m - 4*y. Suppose -t*x + m = 3*n, -2*n - 3*x + 28 = x. Does 10 divide n?
True
Let n(g) = g. Let p be n(-5). Is 2/p*-30*1 a multiple of 4?
True
Let v be 3*-2*(-5)/15. Is 6 a factor of 13 - (4 - 2) - v?
False
Let m be (-6)/(-2)*350/30. Let j = m - 19. Is 12 a factor of j?
False
Suppose x = -r + 3*x + 20, 0 = -r - x + 5. Let c be (1/(-2))/(2/12). Is 5 a factor of (4/r)/(c/(-75))?
True
Let b(h) = h**3 + 4*h**2 - 6*h - 3. Let a be b(-5). Suppose -g = a - 7. Let i(z) = 4*z - 5. Is i(g) a multiple of 5?
True
Let z(t) = t - 2. Let h be z(5). Suppose -2*n - h = -9, -3*d = -5*n + 66. Let o = 31 + d. Does 14 divide o?
True
Let v(m) = m**2 - 7*m + 4. Is v(7) even?
True
Let o be ((-1)/(-2))/(3/(-12)). Let c be (o/4)/(1/(-46)). Let q = c + 14. Is 13 a factor of q?
False
Suppose 2*l - 7*l = 3*b + 3, 0 = -b - 5*l - 1. Suppose -5*g + 4*f = -30, -12 = -g - g - 4*f. Let r = g + b. Does 3 divide r?
False
Let k = 27 - 19. Suppose 0 = -j - 0*j - k. Is 12 a factor of (-5 - j) + (1 - -38)?
False
Let w be 3/1 - (-3 + 3). Suppose -w*b - 6 = -4*b. Suppose n - 4*n + b = 0. Is n a multiple of 2?
True
Let f(l) = l**3 + 29*l**2 - 6*l + 71. Is 35 a factor of f(-29)?
True
Let d(p) = 4*p - 5. Let h be d(-7). Let t be (-267)/15 + (-3)/15. Let z = t - h. Does 12 divide z?
False
Let d(k) = k**3 + 5*k**2 + k - 1. Let l be d(-5). Let g be (-16)/(-10) + l/(-15). Suppose -3*y + 60 = a, -g*y + 26 = 5*a - 14. Is 10 a factor of y?
True
Suppose 24 = 2*w - 0*w. Is 6 a factor of w?
True
Let q be 2/(3*(-1)/(-24)). Suppose -w + q = w. Does 8 divide w?
True
Let d = -13 + 9. Is d/(-2) + 10/5 a multiple of 4?
True
Suppose m - 5*m = -80. Is m a multiple of 11?
False
Let g be ((-6)/(-12))/((-2)/40). Does 11 divide 648/15 - (-2)/g?
False
Suppose -192 = f - 5*f. Is f a multiple of 16?
True
Let y be (72/10)/(18/60). Suppose 3*k - k - y = 0. Is 12 a factor of k?
True
Suppose 4*d + 9 = 5*d - 3*k, 5*d + k = 13. Let f(i) = 2*i. Let q be f(d). Let j = q - -4. Is 9 a factor of j?
False
Let g be (-192)/7 + 24/(-42). Suppose 5*x + 12 = -p, 9 = -5*x + 2*p + 3. Is 15 a factor of x/8 - 651/g?
False
Let i be (-2)/4*-2 + 4. Suppose f - i = 0, -2*f + 91 = 3*d + 3*f. Is 11 a factor of d?
True
Let t(j) = j**3 + 7*j**2 - 3*j - 9. Let h be t(-6). Suppose -5*m - h = -6*m. Is m a multiple of 15?
True
Suppose -4*g + 150 + 118 = 0. Is 20 a factor of g?
False
Is 8 a factor of 28 - 5/(5/(-4))?
True
Suppose 2*k + 20 = 52. Let p = 29 - k. Is 9 a factor of p?
False
Suppose 2*n - 16 = 3*n. Let m be 3/(-2)*n/12. Suppose 14 = 2*v + m*z, -5*v + 23 + 3 = 2*z. Is 4 a factor of v?
True
Let v(t) = -11*t + 13*t - 5 - 3. Is 2 a factor of v(6)?
True
Let t(i) = i**2 - 8*i - 9. Let x be t(9). Suppose x = -2*y - 2*y + 120. Is y a multiple of 15?
True
Let t(k) = 5*k**2 - k - 2. Is t(-2) a multiple of 20?
True
Let a be (-175)/(-14)*(-8)/10. Does 4 divide 4 + 2 + -3 - a?
False
Suppose -5*k - 47 = 2*h - 138, -2*h - 4 = 0. Does 19 divide k?
True
Suppose -16*i + 22*i = 900. Is i a multiple of 15?
True
Let w(x) = x**3 + 11*x**2 + 2*x - 4. Let b be w(-10). Suppose 0 = 4*d - 0*d - b. Does 10 divide d?
False
Let t = -