 5 divide v?
True
Suppose -2*o - 54 = 5*x, -x - 70 = 5*o + 42. Let c = 27 + o. Suppose p - c = 69. Does 31 divide p?
False
Let p be 638/6 + 2/3. Suppose -z - p = -3*z + 3*q, -112 = -2*z - 2*q. Is 9 a factor of z?
False
Suppose 3*p = -2*y + 23, 0 = p - 3*y + y + 3. Let s(h) = 4*h**2 + h. Let i be s(-1). Suppose p*z + i*r - 33 = 2*z, 2 = -r. Does 4 divide z?
False
Suppose -206 = -4*i + 730. Does 13 divide i?
True
Let t(u) = -2*u - 11. Let n be t(-8). Suppose n*d + 3*m - 40 = 0, d + m = -m + 15. Suppose -2*a = -3*r + 19, -d*a + 3*a + 6 = 2*r. Is 2 a factor of r?
False
Let y be (-18)/(-30) - 6/10. Let l(o) = -o**3 - o**2 + 2*o + 37. Is 5 a factor of l(y)?
False
Is 96 a factor of 3262/(-10)*(-180)/18?
False
Let z = 21 + 221. Is z a multiple of 24?
False
Suppose -9 = -2*w - 39. Does 5 divide 1*w*3/(27/(-30))?
True
Let a be (-48)/(-28) - (-2)/7. Suppose -2*o - a*o + 908 = 0. Is o a multiple of 33?
False
Let y = -629 - -954. Does 11 divide y?
False
Let o(m) be the third derivative of m**4/24 + m**3/3 - 24*m**2. Does 2 divide o(8)?
True
Let u(o) = o**3 - 7*o**2 - 10*o + 13. Let x be u(8). Is 5 a factor of x - (-70)/(20/4)?
False
Let l = 80 - 59. Is ((-12)/18)/((l/(-522))/7) a multiple of 29?
True
Let l be ((-144)/(-27) + -8)/(2/(-3)). Suppose -t = -3*o - 291 + 80, 0 = -5*t + l*o + 1099. Does 15 divide t?
False
Suppose -2*f + y + 16 = 0, -5*f + 3*y + 16 = -3*f. Suppose -u + 84 = -2*m, -5*m + u = 212 - f. Is 14 a factor of m/(-3) + 6/9?
True
Is 8/((-96)/18) - 1137/(-2) a multiple of 27?
True
Let q(p) = -p**2 + 3*p. Let x be q(3). Suppose -3*f + 2*k + 1737 = x, 0*f - 3*f + 1752 = 3*k. Is 24 a factor of f/28*(1 + 3)?
False
Suppose -3*x - 2*u + 4*u = -1133, 0 = 4*x + 5*u - 1503. Does 27 divide x?
False
Does 38 divide 2/21*1 + (-9350712)/(-2646)?
True
Let q(g) be the third derivative of -g**6/60 - 7*g**5/60 - g**4/8 + 2*g**3/3 + 40*g**2. Let n be (3 + -1)/(-2) - 3. Does 32 divide q(n)?
True
Let t(j) = -j + 156. Is 7 a factor of t(48)?
False
Suppose -16*r + 17*r - 2 = 0. Suppose t = 4, -2*t + 4*t - 202 = -r*w. Is 17 a factor of w?
False
Suppose 0 = -p + 2*w + 9, -3*w + 4*w + 5 = 0. Does 15 divide (p/((-5)/356))/((-2)/(-5))?
False
Suppose 42 = -24*u + 26*u. Is u even?
False
Let l(f) = 7*f - 5. Let m be l(-6). Let k = m + 78. Is 12 a factor of k?
False
Does 10 divide 36/(-6)*(-1000)/6?
True
Let m(b) be the third derivative of -b**5/60 - 3*b**4/8 - 5*b**3/3 - 10*b**2. Does 2 divide m(-6)?
True
Let l = -344 + 474. Is l a multiple of 12?
False
Let n be 2*(-4 + (-7 - -3)). Is 168 + n + 3 + 1 a multiple of 37?
False
Let z(j) = 8*j**2 + 4*j - 2. Let y be z(1). Does 2 divide 8/y*(-40)/(-16)?
True
Let m = 247 + 0. Suppose -4*y - 787 = -3*q - m, 537 = 3*q - 3*y. Is 22 a factor of q?
True
Let b be -8 - -9 - 4/(12/(-423)). Suppose 5*w = g + b, 1 = -3*w + 5*g + 95. Does 14 divide w?
True
Let n(x) = x**3 - 3*x**2 - 7*x + 1. Suppose -5 = -0*t - t. Let z be n(t). Suppose -4*a - z + 56 = 0. Is a a multiple of 3?
False
Suppose 63*o = -4*x + 62*o + 6267, -5*x - 2*o = -7836. Is x a multiple of 27?
True
Let f = -1459 + 3057. Does 34 divide f?
True
Let u(p) = -2*p + 39. Let o be u(20). Is 18 a factor of -2 - o/(1/75)?
False
Suppose 4*r - 680 = 2*r. Suppose 0 = 2*z + 5*n - r, 3*z + n = 335 + 188. Is 35 a factor of z?
True
Let w = -373 - -597. Is 8 a factor of w?
True
Is 1 + -2*((-40788)/(-8))/(-9) a multiple of 27?
True
Let z(y) be the first derivative of y**3 + 6*y**2 + 17*y + 36. Is 14 a factor of z(-8)?
False
Suppose r - 4*r + 76 = 5*t, 25 = r + 2*t. Let a = r + -19. Does 9 divide 20/a*(-424)/(-20)?
False
Let y = -89 - -179. Is 18 a factor of (-10)/(-3*2/y)?
False
Suppose 6*x - 73 - 227 = 0. Let c = -5 + x. Does 9 divide c?
True
Let h(f) = -f**3 - 5*f**2 + 7*f + 8. Let j be h(-6). Is 36 a factor of (j + -161)/((-3)/2)?
False
Let m = -281 - -379. Is m a multiple of 7?
True
Suppose 0 = 4*p + 23*r - 26*r - 3489, 0 = -p + 3*r + 879. Is p a multiple of 10?
True
Suppose -39 - 71 = 5*x. Let s = x + 107. Is 17 a factor of s?
True
Suppose 2*m + 4*b - 468 = 0, -4*b - b = -3*m + 724. Is 18 a factor of m?
False
Let a(h) = 4*h**2 - 4*h + 4. Let w = -16 - -19. Let d be a(w). Suppose -3*f + 10 + 6 = -2*r, 3*f - d = -r. Does 3 divide f?
False
Let b = -138 + 632. Is 17 a factor of b?
False
Suppose 294*j - 275*j - 54150 = 0. Is 114 a factor of j?
True
Let i be 3 - (0 + -1 - 33). Suppose i = g - 89. Is 21 a factor of g?
True
Suppose -g + d = -11, 2*g + 5*d + 18 - 5 = 0. Let h be 3/9*2*g. Suppose 7*n - 3*n - 12 = 0, -h*q - n + 203 = 0. Does 13 divide q?
False
Let w be ((-2)/4)/(2/(-12)). Suppose -5*t = -a - w*t, 5*a - 24 = -2*t. Let l(v) = 8*v. Is l(a) a multiple of 16?
True
Suppose 5*z + 517 = 4*v, -161 = -3*z - 5*v - 449. Suppose 10*y - 6*y = -80. Let q = y - z. Is q a multiple of 27?
True
Does 34 divide (-187)/(1*(-6)/24)?
True
Suppose i - q = -4*q + 1, 0 = -3*i + 4*q + 3. Suppose -o + i = -40. Is o a multiple of 6?
False
Let m(k) = -26*k**3 + 6*k**2 + 11*k - 6. Let p(x) = 25*x**3 - 7*x**2 - 12*x + 6. Let y(w) = -5*m(w) - 4*p(w). Is y(2) a multiple of 45?
False
Does 13 divide 39/(-1)*1/(12/(-32))?
True
Suppose -17*m + 35772 = 10068. Is m a multiple of 62?
False
Let m(x) = 43*x - 7. Let d be m(3). Let a be 0 + -5*(3 - 4). Suppose -4*k + d = a*u - 54, -2*k + 86 = 2*u. Does 30 divide k?
False
Let u(c) = c**3 - 7*c**2 - 7*c - 6. Let a be u(8). Suppose 2*s + 4 = -a*s. Is ((-114)/(-4))/(s/(-2)) a multiple of 23?
False
Let n be 149 - (-2*(-3)/6 + 2). Suppose 0 = -2*d - 0 + n. Is 26 a factor of d?
False
Does 11 divide 15015/26*(-6)/(-9)?
True
Let o(g) = -2*g + 9 - 11 - 56*g**3 - g. Does 22 divide o(-1)?
False
Suppose -3*s = 26 + 46. Let v = s - -149. Is 28 a factor of v?
False
Suppose -p - 4*b = -36, -2*p + 117 = 3*b - 4*b. Let i = 6 - 3. Suppose -i*a + p = c, -3*a + 2*c + 46 = -2*c. Is a a multiple of 9?
True
Let u = 89 + -80. Suppose u*d - 300 = 105. Does 3 divide d?
True
Let g = -127 - -129. Is 11 a factor of (-89 + 1)/(-1)*g?
True
Suppose 20*i = 17*i + 2475. Is i a multiple of 65?
False
Suppose -2*s + 4 = -0*s. Let g be 24/2 - s - 0. Suppose 3*j = 235 - g. Is j a multiple of 25?
True
Let d be 4/10 - (-2261)/85. Suppose -38 = -2*u + 2*k, -2*u - 4 = k - d. Is u a multiple of 3?
False
Let f be -23*(16/(-24))/(4/6). Suppose 3*i - 22 = f. Does 6 divide i?
False
Let t = 8 - 6. Suppose -5*n + 397 = t*z + 87, -5*n + z = -325. Does 16 divide n?
True
Suppose -5*d + 6180 = 4*s, 0 = 2*d - 34*s + 35*s - 2469. Does 77 divide d?
True
Let t be 127 - (-2 - (2 - -2))/(-2). Suppose 5*m = -3*p + 2*p + t, -272 = -2*p - 4*m. Does 16 divide p?
True
Let f = 1 - 10. Suppose 2*x - d = 6*x - 35, 0 = 4*d + 4. Does 7 divide (f/6)/(x/(-84))?
True
Let o be 30/(-70) - (-34)/14. Suppose a - 3*a = -88. Suppose -p + 21 = t + p, -o*p = 2*t - a. Does 22 divide t?
False
Let i(f) = 9 - 30*f - 10 + 11. Is 18 a factor of i(-3)?
False
Is 360180/480 - (2 + (-13)/8) a multiple of 75?
True
Let a(k) = -k + 4. Let s be a(4). Suppose -3*w + 46 + 29 = s. Suppose 0 = -5*f + w + 60. Does 11 divide f?
False
Suppose -33*u - 1832 = -10907. Does 5 divide u?
True
Let h(y) = -44*y - 9. Let t be h(-3). Let p = t + -90. Is 10 a factor of p?
False
Is 12/40*-5*-1192 a multiple of 70?
False
Let z(j) = -837*j + 175. Is 63 a factor of z(-6)?
False
Let j(d) = 4*d + 0*d + 10 - 1 - 4. Is j(3) a multiple of 3?
False
Let a = 318 - 464. Let z be 1/2*(-972)/6. Let m = z - a. Is 22 a factor of m?
False
Let x be 4/(-16) + (-26)/(-8). Suppose -54 = -5*r + 4*a, r - 7 = -0*a - x*a. Does 9 divide r*-2*(-15)/10?
False
Let a(v) = 7*v - 28. Let p(c) = 3*c - 14. Let o(z) = 2*a(z) - 5*p(z). Let h be o(12). Suppose 26 = 5*d - t, h*d = d - 4*t + 1. Is d even?
False
Suppose 2 = m + 1. Does 61 divide (363 + (8 - 5))*m?
True
Let j(u) = 3*u - 8. Let x be j(8). Suppose -3*d + x - 1 = 0. Suppose -7*s + 18 = -d*s. Does 9 divide s?
True
Let p be 442/6 - (-2)/6. Let w = -114 + 228. Let h = w - p. Is h a multiple of 10?
True
Let o = -192 - -202. Does 5 divide o?
True
Let d be 2/(-11) - (-320)/(-55). Let g = d - -15. Suppose 55 = 2*l - g. Is 16 a factor of l?
True
Let f(n) = 14*n**2 + 3*n - 3. Does 10 divide f(-5)?
False
Let i = 2089 + -1101. Is i a multiple of 26?
True
Suppose -99*i + 102*i = 603. Does 19 divide 1/(1 + i/(-204))?
False
Let i = -383 + 696. Does 5 divide i?
False
Suppose 0