 divide h/(-1)*29/(-2)?
False
Let p be 6*3/(9/2). Suppose -z = p*z - 95. Is z a multiple of 19?
True
Let w(t) = 22*t**3 - t**2 - t. Does 10 divide w(1)?
True
Suppose 0 = -5*r + 4*h + h - 325, r + 63 = 2*h. Let f = r - -117. Suppose -f = -2*k - 16. Is 6 a factor of k?
False
Let n be 30 - -2 - (1 + -1). Let a = n - 16. Is a a multiple of 13?
False
Let w be 670/8 + (-8)/(-32). Let a be ((-2)/6)/((-4)/w). Let i(z) = 5*z - 1. Is i(a) a multiple of 17?
True
Let k(q) = -q**3 + 9*q**2 + q - 4. Let l be k(9). Suppose -5*o = 4*j - 22, l*o - 9 = j + 23. Is o even?
True
Let m be 1 + 0 + 2 + -1. Suppose 3*b - 2*b - 5*v + 8 = 0, 2*b + m = 3*v. Suppose 3*r - b*r = 16. Does 6 divide r?
False
Suppose -12 = 3*l, -q + 68 = -4*l + 22. Is q a multiple of 6?
True
Let b = 192 + -123. Suppose -5*y = 3*f - 95, 0*f + f = -4*y + b. Is y a multiple of 8?
True
Let z = 2 + -4. Let u(d) = -d**3 + 2*d**2 + 2*d. Is 8 a factor of u(z)?
False
Is 24 a factor of 2316/18 - 2/(-6)?
False
Let k(q) be the third derivative of q**6/120 + 11*q**5/60 + q**4/24 + 7*q**3/3 - 3*q**2. Let t be k(-11). Is 22 a factor of t*((-176)/(-6))/2?
True
Let d(t) be the first derivative of -6*t - 1 + 3/2*t**2 - 5/3*t**3 + 1/4*t**4. Does 9 divide d(5)?
True
Let h(a) = -a**3 + 7*a**2 + 6*a + 7. Let x be h(8). Let n(w) = w**2 + 8*w - 9. Let d be n(x). Suppose -2*l = -d*l - 60. Does 8 divide l?
False
Let n = -5 - -10. Suppose 2*o + 171 = n*o. Is o a multiple of 19?
True
Let m(l) be the first derivative of -l**4/4 - 5*l**3/3 - l**2 - l - 3. Let h be m(-5). Suppose h*a - 4*a = 160. Is a a multiple of 16?
True
Let c = 11 + -19. Suppose 3*d - 9 = 0, 5*n - 7*d + 82 = -3*d. Let o = c - n. Is 3 a factor of o?
True
Let g = 21 - 15. Suppose -t = -4 - g. Is 5 a factor of t?
True
Let g(n) = 25*n + 19. Does 16 divide g(5)?
True
Let f(s) be the first derivative of -s**4/4 - 2*s**3 - 5*s**2/2 + 7*s + 2. Let g be f(-5). Let n = 4 + g. Does 5 divide n?
False
Let k = 17 + -12. Suppose k*x - x = 76. Is 7 a factor of x?
False
Suppose -8*p + 990 = 3*p. Is p a multiple of 47?
False
Suppose -f + 4*f - 60 = 0. Is f a multiple of 4?
True
Let i be ((-4)/(-20))/(4/2060). Suppose -296 = -4*w + 4*a, -125 - i = -3*w + 5*a. Is w a multiple of 22?
False
Suppose -2*k + 4*a + 32 = -98, 4*k = a + 267. Is 18 a factor of k?
False
Let p(w) = w**3 + 9*w**2 + 9*w + 6. Does 20 divide p(-6)?
True
Is 8 a factor of 16/40 + (-266)/(-10)?
False
Suppose -h = 4*h - 40. Is 4 a factor of h?
True
Suppose 5*f + 3*j - 11 = 0, f - 5*j + j = 16. Does 2 divide f?
True
Suppose -l + 4*l = 4*x + 20, 4*l - 2*x - 10 = 0. Suppose s + l*s = -2*j + 117, -j + 69 = 4*s. Does 19 divide j?
True
Let b be (-3)/(2 + 1) - -70. Suppose b = i + 16. Does 14 divide i?
False
Let o(j) = 2*j**3 - 6*j**2 - 6*j + 10. Is 3 a factor of o(4)?
True
Let p = -49 - -85. Is p a multiple of 18?
True
Let j(y) = -2*y**3 - 3*y + y**3 + 6*y**2 + 4 - 1 - 1. Suppose -5*i + 21 - 1 = 0. Is j(i) a multiple of 8?
False
Suppose -4*m - 5*t + 3 + 1 = 0, 0 = -4*t. Let x = 2 + m. Suppose 4*n + 34 = 2*w, -17 - 34 = -x*w - n. Is w a multiple of 16?
False
Let z = 93 + -42. Is 17 a factor of z?
True
Let b = 0 + 1. Let f be 58 + (-2)/(1 + b). Suppose 4*h - 3 = f. Does 11 divide h?
False
Let x(l) = l**3 + 12*l**2 - 15*l - 1. Does 22 divide x(-13)?
False
Let c = -5 - 0. Let u = -5 - c. Suppose 0 = -5*x - 4*f, u = 4*x + 3*f - f - 6. Does 4 divide x?
True
Let u be -5 + 2 + 7 - -1. Suppose 2*s = u*s - 54. Is 7 a factor of s?
False
Suppose -9*x + 11*x - 100 = 0. Is 11 a factor of x?
False
Let b(a) = 4*a - 2. Let d(u) = 1. Let c(q) = b(q) - 2*d(q). Is 10 a factor of c(5)?
False
Let i = 3 + -3. Suppose -m = -i*m - 3. Let o = 5 - m. Does 2 divide o?
True
Let z = 18 - 10. Let j(l) = 3*l**2 - 2*l**2 + 0*l**2 + 8 - z*l - 2*l**2. Is j(-7) a multiple of 15?
True
Let x be -8 + 0 + -1 + 2. Let t(v) = v + 5. Let y(c) = 2*c + 4. Let q(h) = 3*t(h) - 2*y(h). Does 8 divide q(x)?
False
Is 47 a factor of (39 - 3)/(276/88 - 3)?
False
Suppose -5*g + 256 = -3*g. Let r = -47 + g. Does 27 divide r?
True
Let j(a) = -20*a**3 - 2*a**2 - 2*a - 1. Is j(-1) a multiple of 11?
False
Suppose 2*q = 5*a - 70, -7*q = 3*a - 3*q - 68. Suppose 0 = 5*u - 0*u - 5, 3*n - 3*u = -15. Let m = a - n. Does 10 divide m?
True
Is (2490/(-9))/(-5) + 2/(-6) a multiple of 5?
True
Let s(q) = 112*q**2 + 1. Let i be s(1). Suppose 5*p + 85 = 5*d, -5*d - 3*p + i = -p. Is d a multiple of 7?
True
Let b be 3*(3 - (-21)/(-9)). Suppose b*j = -3*j + 420. Does 28 divide j?
True
Let m = 0 - 0. Suppose d + 3*d - 16 = m. Let n(h) = 2*h - 1. Is 6 a factor of n(d)?
False
Let d(x) = 4*x - 4. Suppose -11 = -3*z - 2*w, 20 + 16 = 3*z - 3*w. Let m(a) = -a**2 + 7*a + 4. Let v be m(z). Is d(v) a multiple of 12?
True
Let m(h) = -5*h**2 + h**3 - 1 + 0*h**3 + 5*h**2 + 4*h**2 - 6*h. Let r be ((-3)/2)/((-6)/(-16)). Is m(r) a multiple of 11?
False
Let w(v) be the second derivative of v**5/20 - v**4/6 + v**2 + v. Let n be w(2). Suppose -2*z = 5*b - 4*z - 141, 4*z + 66 = n*b. Is b a multiple of 15?
False
Suppose 7 = -3*t - 2. Let w(m) = m**2. Is w(t) a multiple of 9?
True
Let j(k) be the first derivative of 10*k - 1/4*k**4 - 1/2*k**2 - 7/3*k**3 - 3. Does 6 divide j(-7)?
False
Let t be (0 - 0)*(-11 - -10). Is t/(-4) + 2 - -57 a multiple of 22?
False
Suppose 3*x + 18 = 3*l, 19 = -4*x - 4*l + 3*l. Let u(w) = w - 4*w + 0*w - 3. Is 6 a factor of u(x)?
True
Suppose 4*i = -15 + 79. Is 16 a factor of i?
True
Let f = 26 - 21. Suppose 190 = f*l - 185. Is l a multiple of 15?
True
Let s = -17 - -12. Let a(d) = -d - 1. Is 2 a factor of a(s)?
True
Does 18 divide 8/10*(141 - -4)?
False
Let x(j) = j**2 - 3*j - 1. Let u be x(4). Suppose -133 = -u*o - 25. Does 18 divide o?
True
Suppose -w - 63 = -3*d + 4*w, 3*w = d - 21. Is 21 a factor of d?
True
Let c(l) = l**2 + 6*l + 52. Does 23 divide c(-16)?
False
Let y(i) = 32*i**2 + i + 1. Is y(-1) a multiple of 16?
True
Let r(k) = k - 1. Let f be r(-7). Let c = f - -23. Is c a multiple of 15?
True
Let r = -14 - -18. Suppose 0 = -r*y + y + 45. Is y a multiple of 6?
False
Let i(j) = 2 + 4*j - 7*j + 1 + 4*j**2. Is 15 a factor of i(3)?
True
Let a(j) = -j**2 - 9*j. Let f be a(-9). Suppose 4*p - 245 + 65 = f. Does 15 divide p?
True
Let j(r) = -7*r + 11. Let f(m) = 4*m - 6. Let g(o) = 5*f(o) + 3*j(o). Let a be g(-4). Suppose 160 = a*i - 2*i. Is i a multiple of 16?
True
Suppose -7*f = -2*f - 1440. Does 24 divide f?
True
Suppose -8 = -w + 8. Let o(j) = j. Let b be o(1). Does 12 divide 2*(-2 + b) + w?
False
Let z = 393 - 258. Is 27 a factor of z?
True
Let d = -4 + 6. Is 2 a factor of 2 + (1 - -2) - d?
False
Suppose -5 - 3 = 2*r. Let o(c) = 2*c**2 + 4*c - 4. Is 11 a factor of o(r)?
False
Let d = -35 + 149. Is 14 a factor of d?
False
Let s be 14/(-4)*28/(-49). Suppose s*o = 34 + 26. Let a = 44 - o. Is a a multiple of 4?
False
Let z(p) = -7*p + 7. Is 19 a factor of z(-11)?
False
Let c(s) = -s**3 - 5*s**3 + 5*s**3 - 2 + 4*s + 8*s**2 + 2*s. Is c(4) a multiple of 18?
False
Let t = 63 + 117. Is t a multiple of 12?
True
Suppose -1155 = 6*n - 13*n. Is n a multiple of 15?
True
Is 4 a factor of 330/27 + (-4)/18?
True
Suppose 2*x = 3*x - 86. Is x a multiple of 19?
False
Let q be -102*(3 + (-14)/4). Let h = 92 - q. Does 12 divide h?
False
Let o(f) = -3*f**2 + 2*f**2 + 0*f + 0*f**2 - 8 + 13*f. Is 2 a factor of o(12)?
True
Let s = -38 + 100. Let k = 12 - 7. Suppose 0 = 3*l - t - s, 6*l = 3*l + k*t + 46. Is l a multiple of 10?
False
Let w be (2 - 3)/(2/(-22)). Let u = 26 - w. Does 6 divide u?
False
Does 37 divide 71 - 7/((-35)/10)?
False
Let d = -79 - -326. Is 40 a factor of d?
False
Let t(z) be the second derivative of z**7/630 + z**6/180 - z**5/40 + z**4/6 - z. Let r(x) be the third derivative of t(x). Does 21 divide r(2)?
True
Let t = -18 - -18. Suppose t = 3*d + 19 - 4, -d + 107 = 4*j. Does 9 divide j?
False
Let o be -6*2*(-3)/12. Let u(k) = k**3 - k**2 + k - 1. Is 7 a factor of u(o)?
False
Let g be -13*((-6)/2 + 2). Is 5/(-2)*(3 - g) a multiple of 11?
False
Let h = 9 + 0. Suppose g - h = -0*g. Does 3 divide g?
True
Let r(g) = -g**3 + 3*g**2 + 5*g + 13. Let l be r(6). Let v = -21 - l. Does 11 divide v?
True
Suppose 2*p + 2*u - 92 = 0, 0*u - 2 = 2*u. Is 8 a factor of p?
False
Let y = -16 + 22. Let h be (y/4)/(3/20). Suppose -k = -v - 22 + h, 16 = 2*k + 2*v. Does 10 divide k?
True
Let x = -1 - -1