rue
Let f(q) = q**3 + 2*q**2 + 4. Let o be f(-3). Does 2 divide 48/10 - 1/o?
False
Suppose 96 = -3*k + 3*l, -1 = 4*l + 3. Is 10 a factor of 2/11 + (-324)/k?
True
Suppose -2*m = -5*n - 267, -m - n + 99 = -24. Is 3 a factor of m?
True
Suppose z = -z - 4. Let g = 4 + z. Suppose g*t = 2*k + 6 + 6, 2*k = -2*t + 32. Is t a multiple of 4?
False
Suppose 2*z - 9 = -2*z - 3*l, -3*z - l + 8 = 0. Suppose -z*w + 86 = -w. Is 19 a factor of w?
False
Suppose 3*x + 2064 = -x. Is 12 a factor of 3/(-2)*x/18?
False
Suppose 4*g - 20 = 0, -995 = -5*t - g + 4*g. Is t a multiple of 28?
False
Let v(n) = -4*n**3 - n**2 - 5*n - 10. Is 18 a factor of v(-2)?
False
Suppose 5*m - 2 = 8. Suppose 2*j = -m*j + 428. Is j a multiple of 25?
False
Suppose 2*w = -3*r + 5*w + 273, -2*r - 4*w = -182. Is 13 a factor of r?
True
Let l be (-1)/((-14)/(-12) - 1). Is 150/4 + 3/l a multiple of 13?
False
Suppose l - 152 = -3*l. Suppose -5*p + l + 22 = 0. Is p a multiple of 9?
False
Suppose -3*r + 65 = -25. Is r a multiple of 5?
True
Let h = 139 + 272. Does 64 divide h?
False
Suppose 3*i = -2*i. Let j be i*-3*2/(-6). Suppose 2*n = j, 3*o + 55 = 4*o + n. Does 18 divide o?
False
Suppose 35 = 3*f + 2*f. Let l = 11 - f. Suppose -3*j - 5*o = -28, 5*j - l*j + 2*o = 8. Is j a multiple of 16?
True
Let h(n) = -n**2 + 12*n + 2. Is h(9) a multiple of 4?
False
Let l be 9/6*2/(-3). Suppose 3*c = -2*f + 5*f + 36, 5*f = 4*c - 51. Let r = l + c. Does 8 divide r?
True
Let r(z) = 3*z + 4*z - 6 + 6*z - 5*z. Is r(5) a multiple of 17?
True
Let v(g) be the second derivative of g**5/20 + g**4/2 - g**3/2 - 2*g**2 + g. Let a be v(-7). Let y = a + 53. Is 14 a factor of y?
False
Let t = 201 - 111. Does 9 divide t?
True
Suppose 3*k - k = 24. Is (-2)/(-8) - (-537)/k a multiple of 16?
False
Let s = 5 - 1. Suppose -2*l = 3*z - 91, 0 = 2*l - s*z - z - 51. Is l a multiple of 18?
False
Let z(d) = -d**3 + 6*d**2 - 5*d + 5. Let a(k) = -k**2 + 6*k - 3. Let n be a(4). Let q be z(n). Let g(f) = -f**3 + 4*f**2 + 7*f - 6. Is g(q) a multiple of 3?
False
Suppose -2*d - 5*r = 3*d - 20, 23 = 2*d - r. Let l = d + -13. Is 10 a factor of (-1)/l - (-273)/12?
False
Let q(i) = -i**2. Let l(b) = 18*b**3 - 5*b**2 - 2*b - 1. Let r(d) = -l(d) + 5*q(d). Is 17 a factor of r(-1)?
True
Let r = -6 - 0. Let u(o) be the second derivative of -o**5/20 - o**4/3 + o**3/2 + 3*o. Is 19 a factor of u(r)?
False
Let d(v) = v**2 - v. Let m be d(3). Let c = m - -70. Suppose -4*t = 20, -3*n - 25 = 3*t - c. Is n a multiple of 18?
False
Suppose -g = -4 - 34. Does 11 divide g?
False
Let v(p) = -p**3 + 6*p**2 - 2*p + 4. Let g be v(4). Is 29 a factor of 1*g - (5 + -6)?
True
Suppose 0 = 4*x - 216 - 80. Let l = 104 - x. Is 21 a factor of l?
False
Suppose 4*f - 125 = -5*h, 5*h - f - 33 = 67. Suppose -7 = -4*r + h. Does 7 divide r?
True
Let k(f) = -f**2 - 4*f + 2. Let i(x) = -4*x + 2. Let h(b) = 5*i(b) - 4*k(b). Let a(z) be the first derivative of h(z). Is 10 a factor of a(4)?
False
Suppose 0 = 2*u - 8, -6*u - 123 = -5*r - 3*u. Suppose i = 4*i - r. Is i a multiple of 3?
True
Let h = 6 + -4. Suppose 3*w - h*w = 1. Let d(p) = 30*p**2 - p. Is 24 a factor of d(w)?
False
Let a(i) = -i**3 + i**2 - i + 1. Let z(w) = 4*w**3 - 5*w**2 + 6*w - 7. Let d(t) = -5*a(t) - z(t). Let r be d(-2). Does 6 divide ((-26)/r)/((-3)/(-6))?
False
Is 18/8*32/12 a multiple of 2?
True
Suppose -5*s - 84 = 46. Let r(f) = f**2 + 8*f - 5. Let w be r(-6). Let d = w - s. Is 5 a factor of d?
False
Let m = 2 + 2. Let v(i) = i**3 - 4*i**2 + 7*i + 2. Let r be v(5). Suppose 2*j + r = m*j. Does 11 divide j?
False
Let j(q) = 2*q**3 + 2*q**2 - 3*q + 3. Is j(2) a multiple of 11?
False
Let m(t) = -18*t**3 - 2*t**2 - 6*t - 5. Let i(l) = -17*l**3 - 2*l**2 - 5*l - 4. Let v(p) = 6*i(p) - 5*m(p). Is v(-1) a multiple of 4?
False
Suppose 0*k - 5*k = 15. Is (-2)/((-10)/3 - k) a multiple of 6?
True
Suppose 3*q + 9 = 0, -2*x + 3*q + 269 = 3*x. Is 13 a factor of x?
True
Let f(l) = l**3 + 4*l**2 + 3*l + 2. Let a be f(-3). Suppose -h + a = -24. Let k = h - 16. Is 5 a factor of k?
True
Suppose 46 = 3*p - 14. Let x be 2*((-37)/(-2) + 0). Let h = x - p. Is h a multiple of 6?
False
Let f(i) be the third derivative of i**7/840 - i**6/60 + i**5/30 + i**4/12 + i**3/3 + i**2. Let r(t) be the first derivative of f(t). Does 13 divide r(6)?
True
Suppose 5*m + 100 = 4*a, -2*m + 5 + 20 = a. Let w = a + -14. Does 11 divide w?
True
Let h(s) = -4*s - 14. Let g(t) = -5*t**2 + 2*t + 1. Let a be g(-1). Is 2 a factor of h(a)?
True
Let n(b) = b**3 - 2*b**2 + 2*b - 1. Let k be n(3). Suppose -k = -j + 6. Is 10 a factor of j?
True
Suppose -80 = -10*n - 0*n. Is 4 a factor of n?
True
Let d = -4 - -4. Suppose 3*s + s - 152 = d. Does 19 divide s?
True
Is 9 a factor of 3 + -1 - -11 - 4?
True
Does 3 divide -1 - (2*-7)/2?
True
Suppose -4*a = -0*y - 5*y - 135, -2*y + 3*a = 61. Let f = y + 39. Is 4 a factor of f?
True
Suppose -108 = -23*w + 21*w. Is w a multiple of 9?
True
Let g(c) = 2*c**2 + 5*c - 5. Is g(-7) a multiple of 14?
False
Let z = -36 + 93. Is z a multiple of 19?
True
Suppose -39 = -2*x - 3*a, 44 = 2*x + 4*a - 0*a. Is 12 a factor of 3/x + 95/4?
True
Let h = 10 + -6. Suppose 0*t + 9 = n - h*t, n - 9 = 2*t. Does 9 divide n?
True
Let n = 15 - 38. Let m = 55 + n. Is 16 a factor of m?
True
Suppose -2*f + 36 = 2*p - 3*f, 0 = 3*f + 6. Suppose -d + 5 = n, -p = -4*d - n - 3. Suppose 5*y + d*k = 44, 2*y + 0*y - 14 = -3*k. Does 5 divide y?
True
Let n = 193 - 103. Is n a multiple of 15?
True
Suppose -2*q - q = -4*o - 261, -q = -2*o - 85. Does 13 divide q?
True
Let f(b) = 6*b**3 - 3*b**2 - 4*b + 1. Let m be f(3). Suppose -3*j = 3*g - 69, -3*g = 4*j + 35 - m. Is j a multiple of 9?
False
Suppose 5*r - 150 = -3*t, -3*r + 5*t + 90 = -0*r. Does 10 divide r?
True
Suppose 0 = -5*n + k + 110, 2*n + 0*n - 5*k - 67 = 0. Is n a multiple of 7?
True
Suppose -30*d + 795 = -25*d. Does 28 divide d?
False
Let a be 2/(-5) + 2/5. Suppose 3*m + 2*m - 20 = a. Is m a multiple of 4?
True
Suppose 3*t = 6*t - 294. Is 7 a factor of t?
True
Suppose -45 = -0*u - 5*u. Let f(z) = z + 5. Does 3 divide f(u)?
False
Suppose 17*l = 11*l + 186. Is 3 a factor of l?
False
Let g(s) = -s**3 - 6*s**2 + 8*s + 10. Let l be g(-7). Does 8 divide l/(-6)*2*-25?
False
Let y(h) be the second derivative of -3*h**5/20 + h**4/6 - h**2/2 - 2*h. Is 11 a factor of y(-2)?
False
Let b be (-6)/(-15) + 243/5. Suppose -b = 3*j - 1. Is 1/(-1)*j/1 a multiple of 16?
True
Suppose u = -6*u + 1162. Is u a multiple of 24?
False
Let f(p) = -11*p + 11. Let r be f(9). Let s = r + 147. Does 17 divide s?
False
Let o(j) = -j**2 - 5*j - 1. Let m be o(-4). Let q = 9 - m. Is 6 a factor of q?
True
Let t be 1/8 + (-558)/(-16). Let n = -27 + t. Is n a multiple of 8?
True
Suppose -2*j = -j - 266. Let k = j - 166. Suppose -3*t = 2*t - k. Is 7 a factor of t?
False
Suppose r + 4 + 10 = -3*p, 0 = -2*p - 4. Suppose 0 = -5*m + 30 + 30. Is (-170)/r + 9/m a multiple of 11?
True
Let x(w) = 0*w - 2*w + w + 1 + 10*w. Does 7 divide x(1)?
False
Suppose -4*m + 0*m = 0. Suppose 3*r + 0*r + 27 = m. Let h = r - -13. Is 2 a factor of h?
True
Let j = 1 - 41. Let t be j/(-12) + (-4)/(-6). Is t/(-14) + (-508)/(-14) a multiple of 18?
True
Let f = 110 - 73. Suppose c = 3*c - 3*p - 20, p + f = 3*c. Is c a multiple of 13?
True
Let g = 69 - 45. Let h = g + 12. Is h a multiple of 12?
True
Suppose 4*d - 4*u = 4, -5*d - u + 5 - 24 = 0. Let j(v) = v**2 - 1. Let q(p) = -2*p**2 - 2*p - 1. Let c(l) = 3*j(l) + q(l). Is 8 a factor of c(d)?
False
Let r(b) = b**3 - 9*b**2 + 10*b - 7. Suppose 3*x + 70 = w, -5*w - 102 = 5*x + 48. Let n be x/(-3) - 3/9. Is r(n) a multiple of 5?
False
Suppose 0*t + t = 5. Suppose -t*w = -0*w. Suppose w = -8*f + 4*f + 128. Does 16 divide f?
True
Is 1/((20/(-824))/(-5)*2) a multiple of 22?
False
Let y(x) = -x**3 + 5*x**2 + 4*x - 4. Suppose -3 + 38 = -5*d. Let s = 12 + d. Does 6 divide y(s)?
False
Suppose -2*x - 43 = 17. Let b be 2 + 1 + (-264)/12. Let h = b - x. Does 11 divide h?
True
Suppose 0 = 4*h + h - 2*i - 440, -3*h + 3*i = -264. Is h a multiple of 11?
True
Let w be 40/(-30)*6/(-4). Suppose 0*g + w*g = -5*r + 70, g - 33 = -3*r. Is g a multiple of 11?
False
Let w be 30/8 + (-5)/(-20). Suppose -6 - w = -5*u. Suppose -5*f - c + 81 = 0, -f + 3*c + u = -27. Is 13 a factor of f?
False
Let z(p) = -14*p + 6. Let j = 14 - 10. Let x be z(j). Let i = -3