 23. Is 6 a factor of s?
False
Let b = 7 + -16. Let v = b - -34. Does 25 divide v?
True
Let u(k) = -13*k - 12. Let g be u(-5). Suppose -y - 24 = -2*z + 68, z = 4*y + g. Is z a multiple of 24?
False
Let j be 3 + 3/(3/(-4)). Let x = j + 3. Suppose -3*k = 4*y - 144 + 8, 0 = 2*y + x*k - 66. Is y a multiple of 17?
False
Suppose 0*p = p - 53. Is p a multiple of 12?
False
Let v = -183 - -321. Is 23 a factor of v?
True
Suppose 0 = -4*r + 3*t + 72 + 52, -2*r = 3*t - 80. Suppose 4*x + 3*d - 116 = 0, x + d + d = r. Is 6 a factor of x?
False
Let q(v) = -v**3 + 7*v**2 + 3*v - 3. Is 6 a factor of q(7)?
True
Let q(a) = a**2 - 7*a - 44. Does 21 divide q(17)?
True
Let r = -23 - -35. Is 6 a factor of r?
True
Is 6 a factor of (-1390)/(-35) + -4*1/(-14)?
False
Is 15 a factor of 3 + -4 + 46 + 0?
True
Let b(t) = 8*t - 6. Is b(16) a multiple of 26?
False
Let p = 19 + 123. Does 8 divide p?
False
Let o(k) = 24*k**2 - 3*k + 2. Is 23 a factor of o(1)?
True
Let w be (-3)/(-2)*(-2)/(-3). Let q(f) = 9*f**2 - f + 1. Does 3 divide q(w)?
True
Let u be (-8 + 13)*24/(-10). Let i(t) = t**3 + 11*t**2 - 14*t - 13. Is i(u) a multiple of 11?
True
Let i(r) = -6*r. Let v be 1*-3*(-1 + 2). Let k be i(v). Let b = -7 + k. Does 5 divide b?
False
Let j be (-225)/(-36) + (-2)/8. Let u = -4 + j. Suppose u*x = 7*x - 110. Is x a multiple of 13?
False
Let s(c) = -c**3 + 11*c**2 + 2*c + 25. Is 47 a factor of s(11)?
True
Suppose 0 = 2*f - 23 + 3. Suppose 4*z - 3*o = f, -2*z + 3*o + 2 = -0*z. Is z even?
True
Let g(k) = 3*k. Let q be g(1). Is (-3)/9 - (-19)/q a multiple of 3?
True
Suppose 2*f - 44 = -2*f. Suppose h - 5 = f. Is 16 a factor of h?
True
Let v be (-10)/4 + 3/(-6). Let a = v + 0. Is (a + (-110)/4)*-2 a multiple of 22?
False
Suppose -3*z + l + 2*l + 30 = 0, 2*z = l + 15. Suppose z*p - 10 = 10. Suppose 0 = p*m + r - 107, -2*m + 39 = 2*r - 7. Is m a multiple of 14?
True
Let v be (-20)/8*6/(-5). Is 7*v - 15/5 a multiple of 9?
True
Let k(h) = h**3 + 5*h**2 - 4*h - 5. Let w be k(-4). Let d = w - 12. Is 13 a factor of d?
False
Suppose i = -4 + 7. Let m be 17/(-3) + 2/i. Let u(n) = n**2 + 3*n - 6. Is u(m) a multiple of 3?
False
Suppose -5*c = 2*d - 41, 5*c = 2*d - 3*d + 23. Let s be 2/(-9) - (-832)/d. Is 22 a factor of s + (-2 + 3)*-2?
True
Let n(j) = 2*j**2 + 2*j - 2. Let d be n(-3). Suppose 0 = r + r - d. Suppose -103 = -r*w + 32. Does 13 divide w?
False
Suppose 0 = -2*n - p + 3, n + 5*p - 15 = 4*n. Suppose n = -j - 3*j + 128. Suppose -r - j = -5*x - 0*r, 28 = 3*x - 5*r. Is x a multiple of 3?
True
Is 478/4*(26 + -24) a multiple of 31?
False
Suppose 3*p - 3*g - 206 = -2*p, -2*p + 4*g = -74. Suppose 10 = 5*t - 0. Suppose -17 + p = t*u. Is 13 a factor of u?
True
Let b(h) = 5*h**2 - h. Let k be b(2). Is 4 a factor of ((-42)/k)/((-1)/3)?
False
Let r(f) = 4*f - 36. Does 12 divide r(12)?
True
Let b(n) be the first derivative of n**2/2 + 4*n + 3. Is b(7) a multiple of 5?
False
Let d(j) be the third derivative of -5*j**6/8 - j**5/60 + j**2. Let b be d(-1). Suppose -3*s + 46 = -b. Is 16 a factor of s?
False
Let i(j) be the second derivative of j**3/6 - 3*j**2/2 - j. Let r be i(4). Suppose 0 = l + r - 3. Does 2 divide l?
True
Does 12 divide ((-72)/(-10))/(15/50)?
True
Suppose -7 = -4*o - 19. Let m = o - -49. Is m a multiple of 23?
True
Let u(m) = -6*m - 2. Let z be u(-10). Suppose 71 = 2*v + 5*q, -v + 0*q + z = -2*q. Is 17 a factor of v?
False
Suppose -3*n + 5*t + 23 = -2*n, -3*n + t + 13 = 0. Let y(o) = 14*o - 4. Let w be y(n). Suppose -5*m + w + 32 = 0. Is m a multiple of 7?
True
Let j be (-3)/(-12) - (-2)/(-8). Suppose j*n = 3*n + 4*w + 12, 2*w + 6 = n. Suppose 0 = 3*x + 3*v - 42, x - 2*v - v - 22 = n. Does 8 divide x?
True
Let d(a) = 16*a**2 + 5*a - 2. Let l be d(-4). Is 14 a factor of ((-6)/9)/((-4)/l)?
False
Let r be -2 - (1 - 2) - -1. Suppose 5*g - 11 = -1. Suppose r = g*c - 3*c + 28. Is 14 a factor of c?
True
Is 13 a factor of (-295)/(-15) + 4/(-6)?
False
Suppose 3*b - p = 446, 3*b + 2*p + 304 = 5*b. Does 11 divide b?
False
Let t be (-10)/(-1)*8/(-16). Let u(m) = -5*m - 4. Does 5 divide u(t)?
False
Let g(m) = -m**2 + 9*m. Let w be g(9). Suppose w = -5*c + 3 + 37. Is c a multiple of 2?
True
Suppose 2*c - 2*v = -0*v - 2, 0 = -3*c + v + 7. Suppose 2*i = -8, 0*t = c*t - 3*i. Does 10 divide 15 - 0 - (t + 2)?
False
Suppose -4*x = 3*a - 303, -4*x + 5*a = x - 370. Is 20 a factor of x?
False
Let n be ((-249)/6)/1*-2. Suppose 3*b = b - t + n, -5*b - 4*t = -212. Does 6 divide b?
False
Let y(x) = -x + 7. Let h = -9 - -13. Is 3 a factor of y(h)?
True
Let a = -10 - -15. Suppose 5*s + c - 130 = 5*c, s + a*c + 3 = 0. Is 22 a factor of s?
True
Let y(x) = -5*x**3 - 3*x - 5. Is y(-2) a multiple of 21?
False
Let j(z) = -z + 30. Let y = -6 - -6. Does 10 divide j(y)?
True
Let s be ((-130)/(-30))/((-2)/(-6)). Let r = s + 14. Is r a multiple of 9?
True
Let i be 2/(-4*(-2)/20). Let f = i + -12. Does 12 divide (6/f)/((-4)/56)?
True
Let p be (1 - -105)*(-3)/(-6). Suppose -13 = 4*c - p. Is 5 a factor of c?
True
Suppose 6*j - 3*j - 54 = 0. Is 9 a factor of j?
True
Suppose 0 = 10*z - 5*z - 45. Suppose 0 = -2*d - d + 6. Is 5*z/5*d a multiple of 9?
True
Suppose -3*q + 85 = 19. Does 11 divide q?
True
Suppose -2*b + 8 = -2*n, -b + 0*n + 4*n = -4. Suppose 0*j - 5 = x - b*j, -2*x = -2*j - 20. Is x a multiple of 6?
False
Let s(j) = 2*j - 3. Let x = -3 - -7. Let o be (x/8)/((-1)/(-10)). Is s(o) a multiple of 7?
True
Let a = 47 + -27. Does 4 divide a?
True
Suppose -546 = -4*t - 142. Is 10 a factor of t?
False
Suppose 0 = -5*b - 2*o + 10 + 2, 4*b = 4*o + 32. Suppose b*r + 16 = -2*l, 0 = -2*r - 7 - 1. Does 15 divide l/1 - 90/(-6)?
True
Suppose -5*d + 3*d + 20 = 0. Suppose -3*y - d = -8*y. Suppose 3*z - 7*z + 3*x = -84, 0 = -3*z + y*x + 62. Is z a multiple of 10?
False
Suppose 5*b + 0*s + 2*s = 72, 0 = 2*b + 5*s - 12. Does 3 divide b?
False
Let j = 0 - 2. Let k(c) = -2*c**3 - 2*c**2 + 2*c + 2. Let h be k(j). Suppose h*w = 4*w + 16. Does 8 divide w?
True
Let f(c) = -c**3 - 13*c**2 - 16*c. Is f(-12) a multiple of 12?
True
Let q = -52 + 116. Is q a multiple of 8?
True
Let w be (16/(-56))/((-2)/14). Does 31 divide 0 - w - -9*11?
False
Suppose -5*v + 5*s + 385 = 0, -2*v - 5*s = -3*s - 158. Does 39 divide v?
True
Let f(x) = x**3 + 4*x**2 + x - 5*x + 2*x. Suppose 15 + 5 = -5*z. Is f(z) a multiple of 5?
False
Let m = -32 + 53. Does 7 divide m?
True
Is (-2)/(-1)*4/(16/114) a multiple of 27?
False
Let b be (-108)/10 + 2/(-10). Suppose 0 = q - 3*q - 4. Let d = q - b. Does 4 divide d?
False
Let u(v) = -v**3 + 11*v**2 + 16*v + 19. Is u(12) a multiple of 37?
False
Let u = -540 + 790. Is u a multiple of 11?
False
Let g(o) = o + 3. Let z be g(0). Suppose 2*d - 3 = -z*x, -5 = -6*x + x + 4*d. Does 2 divide (-2 + x)/((-2)/4)?
True
Suppose 0 = -5*h + 2*c + 208, -4*c + 157 = 5*h - 27. Let p be (5/2)/(2/(-20)). Let q = h + p. Is q a multiple of 12?
False
Let z(s) = -2*s**3 + 7*s**2 - s + 5. Let k be z(5). Let d = 107 + k. Does 8 divide d?
True
Suppose -5*u + 4 = -4*u. Let a(g) = 0 + 7*g**2 - 4*g**3 - 2*g + 3*g**3 - u. Does 11 divide a(4)?
False
Let q be -1*(4*-2 + -1). Let i be (-2)/1 - (2 - q). Let a(o) = 7*o - 3. Is a(i) a multiple of 11?
False
Let u = -32 - -45. Is 13 a factor of u?
True
Is 3 a factor of (-1 + 2 - -7) + 4 + -6?
True
Suppose -105 = -6*x - 3. Does 4 divide x?
False
Suppose 4*t - 26 = i + 35, -3*t - 2*i = -43. Suppose t = -3*y, -4*q + 3*q + 41 = -3*y. Is q a multiple of 13?
True
Let h = -71 - -271. Suppose -c + h = 4*c. Is 10 a factor of c?
True
Let y(i) = 5*i**3 - 2*i**2 - i. Let l be y(-1). Is 5 a factor of (-99)/(-21) - l/21?
True
Let c(x) = x - 1. Let s be c(-1). Let g be -254*s/(2 + 2). Suppose -g = -4*k - 7. Is 15 a factor of k?
True
Suppose 313 = 19*i - 105. Does 2 divide i?
True
Let t = 10 - 5. Suppose t*j + 11 = -34. Let c(s) = -s**3 - 9*s**2 - 3*s - 6. Does 21 divide c(j)?
True
Suppose x - 116 = -3*f, -2*f + 217 = 5*x - 337. Is x a multiple of 10?
True
Let v be -166 + -1 + 14/(-7). Let p = -47 - v. Suppose p - 37 = 5*t. Is 12 a factor of t?
False
Let m = -1 - -4. Suppose o + m*o = -152. Let c = -17 - o. Is c a multiple of 9?
False
Let s(a) = -a**2 - a + 21. Let v = 6 - 3. Suppose 0 = v*g - 8*g. Is s(g) a multiple of 21?
True
Suppose 6*x - x = 2*d + 163, x = d + 35. Suppose 3*v - x = 101. Does 21 divide v?
False
Suppose -4*z + 3