ltiple of 23?
False
Suppose 3*m + 5*f = 2, -m = 4*m - 2*f + 38. Let r = m + 33. Does 13 divide r?
False
Let a = -5 - -39. Let n = 74 - a. Suppose -4*m + n = -2*m + 4*g, -3*m + 52 = -2*g. Is 9 a factor of m?
True
Let c be ((-9)/12)/(3/(-12)). Suppose c*v - 7*v = -28. Is 3 a factor of v?
False
Is 21/(-3*(-2)/14) a multiple of 7?
True
Let p(t) = -6*t**3 - 2*t**2 - 2*t - 1. Let v(a) = -a + 5. Let z be v(6). Let s be p(z). Does 8 divide (-8)/(-20) + 83/s?
False
Let v be (15/(-20))/((-1)/4). Suppose v*f = 26 + 4. Is f a multiple of 8?
False
Suppose 2*x - 5*m = -116, -2*x = 3*x + 5*m + 290. Let t be (-89)/(-2)*2 + 1. Let j = t + x. Does 14 divide j?
False
Suppose 4*x + 5*h = -3, x = -0*h + 2*h + 9. Is (x - (-5)/(-2))*56 a multiple of 14?
True
Let q(t) = -3*t - 13*t + 2 - t. Let n be q(2). Let l = -20 - n. Is l a multiple of 6?
True
Suppose 2*r + 38 = -16. Suppose -2 = -3*w - m, 0*w - 2*w - 16 = 5*m. Is 13 a factor of 0 - r - w - -1?
True
Suppose 0 = -2*o - 7 + 13. Is 3 a factor of o?
True
Let v = 115 - 69. Is 1/2 + v/4 a multiple of 4?
True
Let u(d) = d**2 - 4. Suppose -42 - 3 = -3*y. Suppose 3*p + y = -3*a, -2*p + 5 = -a - 3. Is u(a) a multiple of 16?
True
Suppose 4*u - 16 = 4. Is u a multiple of 5?
True
Let x(z) = -z**3 + 15*z**2 + 2*z + 14. Is x(15) a multiple of 11?
True
Is -6*1/2*44/(-3) a multiple of 9?
False
Let m = 13 + -19. Let v be 6*m + 5 + -5. Is 2/(2 - v/(-19)) a multiple of 11?
False
Let d = -10 + 5. Is 9 a factor of (d/3)/(2/(-36))?
False
Let i = 46 + -26. Does 21 divide 985/i + 2/(-8)?
False
Suppose -z = -2*z - 15. Let k be 2/5 + (-1599)/z. Suppose -4*l + 29 = -k. Does 17 divide l?
True
Let c(w) be the first derivative of w**5/60 - 3*w**4/8 + 3*w**2/2 + 3. Let i(v) be the second derivative of c(v). Does 10 divide i(10)?
True
Suppose -16 = y + 3*l + 2*l, -2*y = -2*l - 28. Suppose -11*i + y*i = -48. Is i a multiple of 5?
False
Suppose 0 = -2*g + 5*g + 48. Let f = g - -22. Does 3 divide f?
True
Let u = -2 + 9. Is u a multiple of 7?
True
Does 56 divide -2 - (5 - 1 - (398 - 0))?
True
Suppose -3*q = -47 + 14. Is q a multiple of 6?
False
Let c(u) be the second derivative of -u**5/10 - 5*u**4/12 - u**3/3 + u**2/2 + 2*u. Is c(-3) a multiple of 8?
True
Let a(v) be the first derivative of v**4/4 + 8*v**3/3 + 9*v**2/2 + 7*v + 3. Is a(-6) a multiple of 11?
False
Let o = 6 - 4. Is ((-4)/o)/((-5)/25) a multiple of 4?
False
Suppose -g = 10 - 4. Let m be (4/g)/((-4)/6). Is 15 a factor of (-2 + m + 0)*-15?
True
Let k(d) = 13*d**2 - 7*d + 5. Let o(i) = 9*i**2 - 5*i + 3. Let j(r) = 5*k(r) - 7*o(r). Suppose -y - 6 = y. Does 22 divide j(y)?
True
Let y(r) = -r + 1. Let m be y(0). Let i be (m/2)/((-1)/(-10)). Suppose -i*q - 6*z + z + 75 = 0, -3*z = q - 13. Does 6 divide q?
False
Let h = -130 + 218. Is h a multiple of 22?
True
Let n = 232 - 143. Does 15 divide n?
False
Let o(z) = -z**3 + 6*z**2 + 3*z - 2. Let s be o(6). Let j = -30 + s. Let k = j - -33. Is k a multiple of 9?
False
Suppose -4*z - 128 = -464. Is z a multiple of 24?
False
Let d be (-2)/3*3/1. Let h(y) = 34*y**2 + y + 2. Let c be h(d). Suppose 4*f = -0*f + c. Does 17 divide f?
True
Let o be (1 + 0)/(4/8). Suppose -o*x = -1 - 3. Suppose 5*v - x*v = 15. Is 5 a factor of v?
True
Let y(f) = f - 13. Let k be y(14). Is (-1 - k)*-8*1 a multiple of 8?
True
Suppose 0 = -4*v - 3*z + 285, 2*v + 3*z - 160 = 5*z. Is v a multiple of 11?
False
Suppose 0 = -2*x + 15 + 51. Let a(q) = -3*q - 2. Let g be a(-7). Let y = x - g. Is 7 a factor of y?
True
Let q(d) = -d**2 + 8*d - 3. Let r be q(7). Is 54/8 - r/(-16) a multiple of 7?
True
Let c(q) = 34*q**2 - 3*q - 2. Is c(-2) a multiple of 14?
True
Suppose 5*y + 0*y = 15, 2*v = -3*y - 7. Does 6 divide v/(-3)*(-36)/(-8)?
True
Suppose 6*m - 161 = 43. Is 6 a factor of m?
False
Let h(r) = r + 10. Let f be h(-6). Suppose -40 = -f*l + 2*l. Does 10 divide l?
True
Let v be (-8 + 3)/(-1) + -2. Suppose 5*d - 243 = -2*w, 0*d - 5*d + v*w + 223 = 0. Is 11 a factor of d?
False
Let x(g) be the second derivative of g**5/20 + 2*g**4/3 + g**3/2 - 3*g**2 + 4*g. Is x(-7) a multiple of 13?
False
Suppose -15 = 5*h - 2*f - 3*f, 4*h + 10 = 3*f. Let s be -1*1/2*26. Does 7 divide (1/h)/(1/s)?
False
Let z be 146 + -2 - (-2 + 1). Suppose 3*q + z = 4*h - 0*h, -4*h - 5*q + 121 = 0. Is 17 a factor of h?
True
Suppose 3*r - 5*s - 62 = 0, 4*s - 45 - 4 = -r. Does 6 divide r?
False
Let n = -3 + 3. Suppose 0 = -l - n*l + 67. Let s = l + -21. Is s a multiple of 21?
False
Suppose -4*n - 3*f - 817 = -266, 0 = 2*n + f + 277. Let j = -50 - n. Does 30 divide j?
True
Let x be 49/(-1) + 1 + 2. Let w = -24 - x. Is w a multiple of 6?
False
Let v = 13 + -7. Let l be (16/v)/((-6)/18). Let q = l - -24. Is q a multiple of 16?
True
Let i be 6/(-9)*3 + 15. Suppose -y - i = h - 5*h, 0 = 3*y + 5*h - 46. Is 7 a factor of y?
True
Suppose l - s = 6*l + 39, 2*l - 2*s + 18 = 0. Let u(y) = -y**3 - 5*y**2 - y + 4. Let z be u(-5). Is (l/(-2))/(z/36) a multiple of 16?
True
Suppose -11 = -5*j + 4*w, 4*j - 2*w - 3 = 1. Let r be 38/((j - 0)*1). Let t = r + 83. Is t a multiple of 18?
False
Does 7 divide (24/9)/(((-60)/774)/(-5))?
False
Let w(z) = -z**2 - 5*z + 10. Let h be w(-5). Let o(c) = -c**3 + 10*c**2 + 4*c. Is o(h) a multiple of 10?
True
Let o = 3 - -2. Suppose -2*h + 2*p = -3*p - 55, -o*p + 5 = h. Does 10 divide h?
True
Is 14 - 8*4/(-8) a multiple of 6?
True
Let h be (6 + -5)*(-1 - 14). Let p = h + 25. Suppose -68 = -3*o + p. Is 13 a factor of o?
True
Let z = 711 - 392. Is 11 a factor of z?
True
Let l(s) be the third derivative of 1/12*s**4 + 0*s + 0 - 2*s**2 - s**3 + 1/60*s**5. Does 12 divide l(-6)?
False
Suppose -4*v + 128 = 4*z, 2*v = 2*z - z - 47. Let r = z + 7. Does 15 divide r?
False
Suppose 0 = 3*l + 9, -3*l = -2*y + y + 37. Does 5 divide y?
False
Let d = 224 - 152. Is 8 a factor of d?
True
Does 23 divide (-46)/((-7)/(21/6))?
True
Suppose 4*z + 0*z = 368. Is z a multiple of 41?
False
Suppose -4*l + 43 + 35 = -n, -3*l = 5*n - 70. Is l even?
True
Suppose -4*l = -20, 0 = w + 2*w - 2*l - 428. Is 21 a factor of w?
False
Suppose 3*f + 2*s = 294, 3*f + 0*s = -s + 294. Suppose 0 = -3*k - j + 63, -4*j + 0*j + f = 5*k. Is k a multiple of 12?
False
Let y be (3 - 2)/(1/3). Let c be (-2)/(-6) - (-5)/y. Suppose c = -2*z + 5*r, 0 = z - 5*r + 4 + 2. Does 3 divide z?
False
Let t(l) = 6*l**2 - 2*l + 1. Let o(m) = 17*m**2 - 5*m + 3. Let w(s) = -4*o(s) + 11*t(s). Let v be w(-5). Let c = v + 57. Is 16 a factor of c?
True
Let n(j) = 176*j - 1. Let a be n(1). Let o = a - 91. Suppose 0*g = 4*g - o. Is 19 a factor of g?
False
Suppose 8*g + 25 = 3*g. Let o = -3 - g. Suppose 0 = -3*i - o*i + 30. Is 3 a factor of i?
True
Suppose 0*w + w - 2 = 0. Let r be 4/w - 2/(-2). Suppose 2*f + 5*c - 27 - 42 = 0, r = c. Is f a multiple of 9?
True
Suppose 0*b + 54 = b. Suppose 5*w - 6*w = -2. Suppose -w*m - m = -b. Is m a multiple of 9?
True
Is (135/21 - 3)*7 a multiple of 6?
True
Let l(i) be the third derivative of i**5/60 + i**4/6 + i**2. Let f be l(-4). Suppose 0 = -3*g - 5*q + 31, 0*g + g + 5*q - 17 = f. Does 3 divide g?
False
Is 18 a factor of 6/(-4)*(-1660)/30?
False
Suppose -d = a - 45 - 65, a + 3*d = 102. Is 18 a factor of a?
False
Suppose 0 = -3*a - 4*y + 126 + 224, -5*a - 5*y = -585. Is 11 a factor of a?
False
Suppose n - 91 = 3*u - 4*u, -4*n + 399 = -3*u. Does 24 divide n?
True
Let p = -7 + 13. Let u(v) = -10*v + 4*v**2 + v**2 - 3*v**2 + 6. Is u(p) a multiple of 6?
True
Let p(q) = 2 + q**2 - 1 + 8*q - 10*q + 3*q**2. Is 4 a factor of p(2)?
False
Let b be -2*2/(3 - 2). Let k(o) = -29*o**3 + 2*o**2 - o - 1. Let h be k(1). Let y = b - h. Is 12 a factor of y?
False
Let l(b) = -b**2 + 2*b - 1. Let g be l(-3). Does 14 divide (-1 - -7)/((-3)/g)?
False
Suppose -3*b + 24 = -0*b. Suppose c = 3*c - b. Is 4 a factor of c?
True
Let k(w) = w - 31*w**2 + 32*w**2 - 3 + 0. Suppose 5*d - 11 = -26. Is k(d) a multiple of 2?
False
Let q be 12/4 + -3 - -1. Is 7 a factor of (q - 8/12)*30?
False
Let b(i) = 10*i + 7. Let o(l) = l - 1. Let k(v) = -b(v) - 3*o(v). Does 15 divide k(-3)?
False
Let h(x) = x**2 - 3*x - 1. Let p be h(2). Let q = -3 - p. Suppose -2*r + q*r + 22 = 0. Is r a multiple of 9?
False
Suppose r + 2*k - 106 = 0, 2*r - 3*k + k - 194 = 0. Is 25 a factor of r?
True
Suppose -7 = -4*g + 1. Suppose -5*w - p + 0*p = -72, g*w + 3*p - 34 = 0. Is 8 a factor of w?
False