53?
False
Let u be 40/24 + 3/9. Let g be (-171)/(-6) - (-1)/u. Suppose 3*m = 2*m + g. Is m a multiple of 17?
False
Let i = 26 - 42. Let w(h) = -h**2 - 23*h - 7. Is 23 a factor of w(i)?
False
Let r(p) = p**2 - 4*p - 3. Suppose 0 = 4*v + 3*j + 47, -v + 3*j - 2 = -9. Does 19 divide r(v)?
False
Let r(w) = 229*w - 66. Does 25 divide r(4)?
True
Let d be (-3)/(-9)*3 - 9. Let m = d + 11. Suppose -5*a - 109 = -m*j, 3*a + 5 = 8*a. Is j a multiple of 13?
False
Does 51 divide 338079/510 + (-1)/(-10)?
True
Suppose -5*p - 4*d + 5864 = -p, -5862 = -4*p - 2*d. Suppose p + 2 = 9*c. Is c a multiple of 15?
False
Suppose 5*t - 47 - 68 = 0. Suppose t = 5*b - 137. Suppose 4*m - 3*v - 372 = 0, -v = -m + 61 + b. Does 31 divide m?
True
Suppose u = -3*k + 12, -3*k - 4*u + 2 = -1. Suppose k*w + 2*l = 139, -4*w + 2*l + 78 = -26. Is 5 a factor of w?
False
Let a(u) = u**3 + 21*u**2 - 6*u - 61. Is a(-21) a multiple of 13?
True
Let f(g) = -20*g - 26. Is f(-4) a multiple of 3?
True
Suppose -3*p + 16 = -p. Does 4 divide (p/10)/((-4)/(-40))?
True
Let s be 4 - 3 - 28/(-1). Let b = s - 8. Is b a multiple of 7?
True
Suppose 0 = -5*a + a + 2*y + 16, -5*y = 4*a - 2. Suppose -7*i = -a*i - 468. Is 16 a factor of i?
False
Suppose 2*g = -0*g + 16. Let h(x) = x**2 - 9*x + 10. Let q be h(g). Suppose -q*s = 3*s - 75. Does 15 divide s?
True
Let k = -166 - -370. Is 12 a factor of k?
True
Let z be 183 + 3 + -3 - 3. Let t = z - 76. Is t a multiple of 24?
False
Let d(h) = 18*h + 6. Let p = -14 + 19. Let o be d(p). Suppose -9*l + 12*l = o. Does 10 divide l?
False
Suppose 6 = 3*j, 0 = 3*l - j - j - 29. Let s(q) = 2*q**2 - 15*q + 2. Let x be s(l). Is (-1)/((-5)/(-15)) + x a multiple of 19?
True
Let j(r) = -13*r + 138. Does 54 divide j(-17)?
False
Let i = 234 - 168. Is i a multiple of 3?
True
Suppose -7*x - 102 + 32 = 0. Does 3 divide (18/x)/((-9)/60)?
True
Suppose 0 = 2*c + 2*k + 154, 0*k = 4*c - 3*k + 308. Let l = -53 - c. Is l a multiple of 8?
True
Let x(n) = -n**3 - n + 56. Let w be x(0). Suppose -p - 5*t + 25 = 0, 5*p + 5*t - 49 = w. Suppose -8 - p = -2*a. Is a a multiple of 14?
True
Let k = 6 - 4. Suppose 21 - 7 = -k*v. Let h = 23 + v. Is 8 a factor of h?
True
Let y be (16/7)/(9 + (-1037)/119). Suppose 100 = -v - 3*l, l = v - l + 90. Let q = y - v. Is q a multiple of 34?
True
Suppose 4*c = -i + 1176, c = 5*i - 9*i + 309. Does 3 divide c?
False
Let q = 18 + -6. Let u be -21*-3*q/14. Suppose 4*f - u = 2*f. Is 27 a factor of f?
True
Is 581/(3 - (6/6 + 1)) a multiple of 37?
False
Let t(b) = -b**3 + 5*b**2 + 25*b - 9. Let x be t(8). Let r(s) = -57*s - 3. Is 18 a factor of r(x)?
True
Let s(t) = t**3 - 7*t**2 + 8*t + 6. Let b(w) = -w**3 + 8*w**2 - 7*w - 6. Let d(h) = -6*b(h) - 5*s(h). Does 4 divide d(13)?
True
Suppose 170 = -2*h + 528. Let x = h + -89. Does 30 divide x?
True
Let p(c) = 102*c**2 + 5*c - 2. Let h be p(3). Suppose 0 = 5*m + 2*q - 5*q - h, 374 = 2*m - 2*q. Is m a multiple of 16?
False
Let z(f) be the first derivative of -f**4/4 - f**3/3 + f**2 + 4*f - 9. Let k be z(0). Let v(w) = 7*w + 3. Does 9 divide v(k)?
False
Let n(x) = -x**3 + 7*x**2 + 7*x + 5. Suppose v - 9 = l, 4*v = -v + 3*l + 43. Let f be n(v). Is 12 a factor of (-72)/(f - (-9)/6)?
True
Suppose x = 3*c - 520, -2*c + 0*x + 4*x = -330. Let v be c/15 + (-1)/(-3). Let r(q) = 8*q - 15. Is 17 a factor of r(v)?
False
Let o = 0 - -7. Let c(q) = -q**2 + 11*q + 8*q + 6 - o*q. Is 11 a factor of c(9)?
True
Suppose 5*s + 0*s = 1225. Does 31 divide s?
False
Let q = -3 + 5. Suppose 19 = -2*g + 5*b, 0 = 3*g + q*g - 2*b - 5. Suppose 2*r - 6*r + 44 = 4*z, z + g*r = 13. Does 10 divide z?
True
Suppose -y - 3 = 0, 4*k - y = y + 14. Suppose -a = 2*p - 0*a + 3, p + a = 1. Is 16 a factor of 1 + k*(-118)/p?
False
Let y be 3/9*6 + 3. Suppose -y*c - 1071 - 554 = 0. Let w = c + 458. Is w a multiple of 24?
False
Let t(i) = 40 - 11*i + 104*i**3 - 103*i**3 + 12*i. Is 4 a factor of t(0)?
True
Let b = -5 + 3. Does 6 divide (-11)/b + (-2)/(-4)?
True
Let h(a) be the first derivative of -a**5/60 + 23*a**3/6 + a**2/2 - 4. Let o(x) be the second derivative of h(x). Is 6 a factor of o(0)?
False
Let q(i) = -i**3 - 24*i**2 - 24*i - 19. Let w be q(-23). Suppose 2*p + 244 = 2*n, -w*n - 5*p = -0*n - 470. Is n a multiple of 6?
True
Let f(t) = t**3 - 20*t**2 + 34*t + 9. Let i be f(18). Let x = 56 + -26. Let c = x + i. Does 3 divide c?
True
Let k = -7 - -11. Let z be 1*228*-4*2/(-16). Does 7 divide z/k + (-3)/6?
True
Suppose g - 5*v + 9 = -7*v, -v - 36 = 5*g. Let o(h) = -16*h + 8. Is 14 a factor of o(g)?
False
Let z = 20 - 6. Is (z/21)/(1/27) a multiple of 9?
True
Let f(v) be the third derivative of v**6/120 - v**5/20 - 7*v**4/24 + 7*v**3/6 + v**2. Let u be 30/45*9/1. Does 16 divide f(u)?
False
Let y(p) be the third derivative of -p**6/120 + p**5/6 - p**4/24 - 18*p**2. Is 29 a factor of y(8)?
False
Let y(u) = -5*u**2 - 8. Let i(d) = -4*d**2 - 9. Let o(p) = -6*i(p) + 5*y(p). Let g(x) = x + 2. Let m be g(-2). Is o(m) a multiple of 5?
False
Suppose -6*k = -5*z - 4*k + 2272, -z + 448 = -2*k. Is z a multiple of 8?
True
Suppose t + 2*g + 0 = -80, -4*t + 3*g - 298 = 0. Let n = t - -128. Does 13 divide n?
True
Let i = 1342 - 616. Is 11 a factor of i?
True
Suppose -18 - 2 = -4*j. Suppose j*x - 8 = 262. Is x a multiple of 5?
False
Let i(p) = p**3 + 14*p**2 - 2*p - 3. Let v be i(-14). Suppose 9*k + v = 4*k, 5*u - 20 = -3*k. Suppose -s + 10 = u. Is 3 a factor of s?
True
Let f(w) = -2*w + 5 - w**2 - 4 - 2 - 2*w. Let a be f(-3). Suppose 2*g - 8 = -a*u, 2*g + 12 = -2*u + 5*u. Is 2 a factor of u?
True
Let a(m) = -m**3 - m + 10. Let u be a(0). Let o = u + -8. Suppose -50 = -o*p - 18. Is p a multiple of 8?
True
Let f = -205 + 793. Is f a multiple of 84?
True
Does 25 divide (75/(-2))/(7/(224/(-3)))?
True
Let m be (4 - 3)/(2/2) - -151. Suppose 4*a - m = -3*y, -4*y - 5*a + 94 = -107. Is 8 a factor of y?
False
Is 3 a factor of 11600/(-120)*(1 - (-2 - -6))?
False
Suppose -9 + 226 = i + 3*g, -3*i + 4*g = -638. Is 27 a factor of i?
False
Suppose 0 = 2*m - 38 + 22. Suppose -m*r = -3*r - 240. Suppose 0 = -u - u + r. Does 5 divide u?
False
Let h = 1470 - -3052. Does 32 divide h?
False
Suppose 4*l = 3*m - 88, -1 = -l - 5. Let d be 15/(-6) - (-2)/4. Let f = m + d. Does 6 divide f?
False
Suppose f - 6 = 3*a, -4*f + 6*a = 2*a - 16. Let u(w) = -7*w**3 - w**2 - 1. Let p(d) = 4*d**3 + d**2 + 1. Let v(z) = -5*p(z) - 3*u(z). Is 5 a factor of v(f)?
False
Let f(r) = 45*r - 100. Is f(11) a multiple of 5?
True
Let b = 320 - 201. Is 17 a factor of b?
True
Suppose 29 = 4*y + 13. Suppose -40 = -y*s + 144. Does 6 divide s?
False
Let q(h) = -h**3 - 4*h**2 - 2. Let r be q(-4). Does 14 divide r/14 + (-927)/(-21)?
False
Suppose -11*a + 25 = -30. Suppose -b + 3*b - 158 = -a*h, -4*h = 5*b - 395. Is 10 a factor of b?
False
Does 14 divide 21*(-12)/108*(-66 + 0)?
True
Let c(n) = -56*n - 100. Is 12 a factor of c(-14)?
True
Suppose -3*d = -15, 2*m + 2*d = -m + 22. Suppose -2*x + 564 = 3*x - 4*o, o = -2*x + 236. Suppose -i + 3*i - x = -m*f, 5*f + 4*i = 139. Is f a multiple of 7?
False
Let g(z) = 10*z + 6. Let o be g(-21). Does 8 divide (-2)/(2/(-4) + (-78)/o)?
False
Let r(x) = -4*x**3 - 5*x**2 - 6*x - 4. Is 29 a factor of r(-6)?
False
Let a(x) = 2*x**2 + 96*x + 105. Is a(-56) a multiple of 27?
False
Let x(l) = 4 + 4*l**2 - 2*l + 2*l - l + 3*l. Let v be 32/10 - (-3)/(-15). Does 23 divide x(v)?
True
Let f = -22 - -4. Is 19 a factor of -6*15/f*16?
False
Suppose 3080 = -56*a + 61*a. Is 5 a factor of a?
False
Suppose 5*g = 5*q - 265, -5*g + 37 = q + 8. Is q a multiple of 5?
False
Suppose -4*b = 2 + 6. Let y = b - -6. Suppose -r - 26 = -a, -2*a - y*r + 88 = 2*a. Does 24 divide a?
True
Suppose f + 2*f - 15 = 0. Suppose -4*x - 3*q - 2 - 5 = 0, f*x + 5*q = -15. Is -3 + 3 + 116/x a multiple of 16?
False
Let b be 123/((12/(-4) - -2)/1). Let s = -105 - b. Is 9 a factor of s?
True
Let h be (-5)/(-3) + 2/(-3). Let w(r) = 1 - 3*r + 6*r**2 + 67*r**3 + 8*r**3 + 14*r**2 - 17*r**2. Does 19 divide w(h)?
True
Let c(l) = -8*l - 16. Let z be c(-6). Suppose -5*h - 5*n = -350, n = 2*h + 5*n - 146. Let r = h - z. Is r a multiple of 16?
False
Let m = 2084 - 429. Does 84 divide m?
False
Suppose -4*z = -5*k + 9 + 11, -3*k - 4*z - 20 = 0. Suppose -4*l = -k*l - 392. Is 15 a factor of l?
False
Let k be 2/(-8) + 26/8. Let s(a) = -a - 2. Let d be s(k). Let 