vide h?
True
Let j = -6 - -10. Suppose -j*s = -8*s + 32. Is 3 a factor of s?
False
Let h = 3 + -2. Let f(i) = 5*i + 1. Let q be f(h). Suppose 0 = u - 6 - q. Does 6 divide u?
True
Let g = 338 + -233. Is 35 a factor of g?
True
Let q = 35 - 20. Is 2 a factor of (-9)/q*-1*5?
False
Suppose -653 = -7*h - 135. Is 13 a factor of h?
False
Let r(p) be the third derivative of -p**6/240 + p**5/24 - p**4/8 + 4*p**2. Let j(a) be the second derivative of r(a). Is j(-5) a multiple of 11?
False
Let t be 1/2*(-1 + 1). Let v(p) be the second derivative of -p**3/6 + 13*p**2/2 - p. Is v(t) a multiple of 6?
False
Let m = -110 - -235. Is m a multiple of 33?
False
Let l(v) be the third derivative of -v**6/120 - v**3/6 + v**2. Let k be l(-1). Suppose k = 4*o + 3*t - 25, -2 = -5*o + 5*t + 3. Does 2 divide o?
True
Let q(x) = -x**2 + 7*x + 13. Is 19 a factor of q(6)?
True
Let p(x) = 22 + 0*x**2 - x**2 - 2*x**2 + 4*x**2. Does 14 divide p(0)?
False
Let i(g) be the first derivative of 3*g**2 - 2*g + 1. Let b be i(2). Does 8 divide 24/b*(-10)/(-3)?
True
Let k = 2 + 0. Let p = 6 - k. Suppose -2*x + 34 = 2*f, -x - 5*f - 51 = -p*x. Does 9 divide x?
False
Let w = -58 + 154. Is w a multiple of 12?
True
Suppose -y = -2*h + 25, 3*h - 3*y - y = 30. Is h a multiple of 11?
False
Suppose -4*o = -3 - 5. Suppose -16 = -p - o. Does 7 divide p?
True
Let b(q) be the third derivative of 19*q**5/30 + q**4/24 - q**2. Let p be b(1). Is (-2 - 0)*p/(-6) a multiple of 13?
True
Suppose -k + 153 = 2*k. Is 17 a factor of k?
True
Let w(r) = r - 4. Let t be w(5). Does 8 divide ((-1)/(-2))/(t/72)?
False
Is (678/12)/((-2)/(-4)) a multiple of 14?
False
Let i(n) = -n**2 - 6*n - 4. Let p be i(-5). Let c be (0 + p)/(1/5). Suppose -2*m - 207 = -6*m + 5*o, -c*o - 15 = 0. Is 18 a factor of m?
False
Let g = 42 + -23. Let i = g + 9. Does 28 divide i?
True
Let v be ((-2)/(-5))/((-2)/(-10)). Suppose 0 = -6*k + v*k + 80. Is k a multiple of 20?
True
Suppose 0 = 5*l - 10, -3*b - 4*l + 5 = 0. Let d be (b - 4)*20/(-25). Suppose -2*s - 2*s + 36 = 2*j, -2*s - d*j = -6. Is s a multiple of 3?
False
Let p = -80 + 5. Suppose 0 = -4*t - 0*v + v - 17, 34 = -5*t - 3*v. Does 10 divide (p/t)/(3/2)?
True
Suppose 4*l = -r + 4*r - 193, 248 = 4*r + 4*l. Is r a multiple of 16?
False
Suppose -4*x - f - 4 = 4*f, 12 = -x - 4*f. Suppose 7*k - 2*k = n - 41, -3*k = -x*n + 96. Does 7 divide n?
True
Let j(q) be the second derivative of -q**4/12 - q**3/2 + 3*q**2/2 + q. Let u be j(-3). Suppose -u*w = -2*a - 7*w + 36, -a + 4*w + 18 = 0. Is a a multiple of 9?
True
Let a = 291 - 140. Is 12 a factor of a?
False
Does 30 divide (21/6 - -4)*4?
True
Let g(o) = o**3 + 7*o**2 + 7*o. Let c be g(-5). Suppose 3*m = c, 3*u + 18 = 4*m - 2. Suppose r - 16 = -u*r - 2*i, 0 = 2*r + 3*i - 37. Does 13 divide r?
True
Let c be (2/(-2))/(7/(-14)). Suppose -u = -c*d - 52, 2*u = -u + 4*d + 146. Suppose 3*i = i + u. Is i a multiple of 9?
False
Suppose 0 = 21*q - 16*q - 375. Is 15 a factor of q?
True
Let u(d) = d - d**2 + 6 - d - d**2 + 2*d. Let c be u(7). Let n = -45 - c. Is n a multiple of 14?
False
Suppose 2*i + 12 = -n, -3*n - 2*i + i - 16 = 0. Let f(w) = 2*w**2 + 4*w - 5. Is f(n) a multiple of 3?
False
Suppose -5*n + 510 = -0*n. Let t be 2443/(-35) + (-1)/5. Let y = n + t. Does 13 divide y?
False
Let v(q) = 2*q**3 - 2*q**2 - q + 4. Let n(g) = 5*g**3 - 7*g**2 - 3*g + 12. Let x(f) = 3*n(f) - 8*v(f). Is x(-5) a multiple of 4?
False
Suppose -2*w - 5*h = 255, 0 = -3*w - 0*w + 2*h - 392. Let b = -77 - w. Is b a multiple of 19?
False
Let x(b) = -3*b**2 + 10*b + 3. Let a(q) = 3*q**2 - 9*q - 3. Let h(m) = 6*a(m) + 5*x(m). Let l(n) = -n. Let t be l(2). Is h(t) a multiple of 17?
True
Let d be (0 - 1) + 820/1. Does 9 divide (-6)/(-33) - d/(-33)?
False
Let w(j) = -j**3 + j**2 + 6. Let o be w(0). Let y(i) = 5*i + 2 - 5*i + 4*i. Is y(o) a multiple of 9?
False
Let j(f) = f**3 + 4*f**2 - 6*f - 6. Let l be j(-6). Is (l/(-10))/((-8)/(-40)) a multiple of 7?
True
Let f be (-158)/(-14) - (-16)/(-56). Suppose f*x + 90 = 13*x. Is x a multiple of 15?
True
Let i(s) = -3 + 7*s + 1 + 0*s - 3*s. Let a(m) = -m**2 - 7*m - 7. Let b be a(-5). Is i(b) a multiple of 5?
True
Suppose 9*f = 11*f - 306. Is f a multiple of 26?
False
Suppose -77*z - 789 = -80*z. Does 9 divide z?
False
Does 27 divide -12*((-9)/(-48))/(5/(-300))?
True
Let t be (0 - 1 - 10)*-12. Suppose 63 = 5*f - t. Suppose -3*q + 0 = -f. Is 9 a factor of q?
False
Is 20 a factor of (0 + -2)/(4/(-320))?
True
Let m = 41 - 5. Is 12 a factor of m?
True
Let j(a) = -5*a**3 - a. Let o be j(-1). Suppose 0 = -2*i + 5*i + o. Is 17 a factor of (i/(-3))/(4/228)?
False
Let p = -124 - -51. Let i = -41 - p. Does 10 divide i?
False
Suppose 5*k - 164 - 6 = -5*b, -2*k = -4*b - 80. Does 6 divide k?
True
Let j(z) = -z**2 - 3*z. Let k be j(-3). Is 8 a factor of 27 + (-6)/(-2 - k)?
False
Does 26 divide 1507/(-44)*(0 - 4)?
False
Suppose 2*u + 19 - 3 = 0. Suppose 4*t + 14 + 54 = 0. Let s = u - t. Does 9 divide s?
True
Suppose b - 3*h + 3 = -8, 0 = 2*b + 2*h - 18. Suppose -b*g - 74 = 5*t, -5*t = -3*g + 53 + 14. Let o = t + 20. Is o a multiple of 6?
True
Let p = -103 + 260. Does 33 divide p?
False
Suppose -d = -5*d + 3*z + 635, 0 = 5*d - 5*z - 795. Suppose -d = -3*s - 5. Does 22 divide s?
False
Let z = -283 + 417. Is 20 a factor of z?
False
Suppose -384 = -3*l - 5*g, 0 = -2*l + 4*g - 9*g + 251. Is l a multiple of 34?
False
Let h(j) = -j + 3. Let q be h(3). Is 0 + q + 10 + 1 a multiple of 11?
True
Suppose -5*m = -4*z + 467, -2*z + 5*m + 183 = -48. Does 12 divide z?
False
Let p(a) = a**2 - 3*a - 4. Let y be p(4). Suppose 75 = -y*l + 5*l. Is 5 a factor of l?
True
Let z = 286 + -143. Suppose 0 = 5*u - 3*i + z - 363, -5*u + 220 = -5*i. Suppose -2*m + u = -0*m. Is m a multiple of 11?
True
Let l(y) = -2*y**3 - 2*y - 1. Let x(t) = -t**2 + 4*t - 4. Let z be x(3). Let i be l(z). Suppose 18 = i*j - 27. Is 5 a factor of j?
True
Suppose -30 = -4*j + 34. Does 8 divide j?
True
Suppose -1 = -2*o + 3. Let u(n) = 3*n - 2. Does 3 divide u(o)?
False
Let d be 4/(-10) - (-129)/(-15). Let x = 5 + d. Does 10 divide ((-13)/x)/(1/8)?
False
Suppose 2*x = x - 12. Is 114/x*(0 - 2) a multiple of 9?
False
Suppose 6*q - 602 = 910. Does 21 divide q?
True
Suppose 0 = 2*y + 3*y - 5*u - 40, y = -u + 10. Is 9 a factor of y?
True
Let v = -102 + 148. Let m = -7 + v. Is m a multiple of 13?
True
Let z(k) be the third derivative of 7*k**4/8 - k**3/6 - k**2. Suppose -3*j - 2*u - 2 = j, -4*j = 5*u + 11. Is 10 a factor of z(j)?
True
Let t = 48 + -32. Suppose -x - t = -2*x. Does 9 divide x?
False
Is 10 a factor of (2 - 2) + 15 + 0/2?
False
Suppose 3*m = 4*m - 2. Let y be (0/m)/(1 + 2). Suppose y = -2*p - 9 + 27. Is p a multiple of 7?
False
Does 39 divide (-165)/(-1) + 1 - 30/(-30)?
False
Let k = -1 - -6. Suppose h + 4*h - 40 = -5*w, -k*h + 5*w + 30 = 0. Is h a multiple of 5?
False
Is (-182)/6*(-9 + 6) a multiple of 7?
True
Suppose -5*z + z + 8 = 0. Let k(f) = -2*f - 5 + 2 + 0*f**2 + 4*f**z. Is 10 a factor of k(-2)?
False
Let w = 142 + -36. Is 10 a factor of w?
False
Let y be 5*(-6)/(-45)*6. Suppose -y*x + 12 = -12. Is 6 a factor of x?
True
Let z be (-9)/(-6)*2/(-3). Let i = -1 - z. Suppose 4*y - 3*y + 3*r - 63 = 0, 5*y - 4*r - 239 = i. Is y a multiple of 21?
False
Let c be 1/2 - (-69)/6. Suppose -3*z + 6 = -c. Suppose l + 195 = z*l. Is 17 a factor of l?
False
Let o = -25 - -27. Is o even?
True
Suppose 0 = -4*f + 3*m + 37, 0 = -0*f - 3*f + 5*m + 14. Suppose -4*n + 7 = -f. Does 3 divide n?
False
Let w(u) = 2*u**2 - 14*u + 30. Does 15 divide w(10)?
True
Let q(u) = 21*u + 2. Is 16 a factor of q(1)?
False
Let y = 31 + -27. Suppose 23 = y*h - 113. Is 6 a factor of h?
False
Let m(k) = k**2 + k + 8. Let z be m(0). Is (-5 + 4)*(2 - z) a multiple of 6?
True
Let f(l) = 343*l**3 + 2*l + 1. Let k be f(-1). Let x be k/(-12) - 2/(-6). Suppose 7*p - 2*p + x = z, p = 3*z - 115. Does 13 divide z?
True
Suppose a = -3*p - 82, -2*a = a + 3. Let g = -17 + p. Is 11 a factor of g*(2/(-4))/1?
True
Suppose -10*t + 743 = -97. Is 12 a factor of t?
True
Let o = -32 + 53. Does 8 divide o?
False
Is (-104)/(-2)*(0 + 1) a multiple of 13?
True
Let m be 3*1 + (-1)/1. Suppose t = -m*w + 28 + 12, -78 = -2*t - 2*w. Suppose -5*v + t = -142. Does 16 divide v?
False
Is 31 a factor of (7/5 - 1) + (-1626)/(-10)?
False
Let z = 2 + 0. Suppose 0*m = -z*