- 4*z = -3*k + 104, h = -k + 4*z + 42. Is 17 a factor of k?
True
Let c(p) = -p - 2. Let m be c(-3). Let y be (3 + -39)*m/2. Let j = 50 + y. Is j a multiple of 16?
True
Let j = 38 - 19. Is 6 a factor of j?
False
Let m be 1002/21 - (-2)/7. Suppose 3*j - 226 - 51 = -4*x, x + 5*j - m = 0. Is 13 a factor of x?
False
Let t(d) be the third derivative of d**5/15 - d**4/24 + d**3/3 + 2*d**2. Suppose f - 2*f = -2. Is t(f) a multiple of 8?
True
Suppose 3*v - 29 = v + 5*s, 0 = -5*v - 5*s - 15. Suppose 0 = -3*u + 3, 0 = d - v*d + 5*u + 7. Is 10 a factor of d?
False
Let u(n) = n - 2. Let o be u(2). Let y be (2 - o)/4*2. Is 8 a factor of ((-10)/(-8))/(y/8)?
False
Let v = -6 + 4. Is 7 a factor of (1 - v)/(9/48)?
False
Is 12 a factor of 3172/32 + -7 + (-2)/16?
False
Let n = -50 + 114. Does 16 divide n?
True
Let r = -65 - -97. Suppose 2*l - r = -0*l. Is 8 a factor of l?
True
Suppose 20 = -z - 3*z. Let k(w) = -5*w + 9. Is 15 a factor of k(z)?
False
Let z(o) be the second derivative of -7*o**3/2 - o**2/2 + 2*o. Is z(-2) a multiple of 24?
False
Suppose 3 = -3*p - a, 23 + 2 = -5*p + 5*a. Let q = 0 + p. Is (-17)/q*8/2 a multiple of 12?
False
Let x(n) = n**3 + 8*n**2 - 6*n - 9. Is x(-6) a multiple of 16?
False
Suppose -4*l + 3*q = -450, l - 2*q + 3 = 118. Is 12 a factor of l?
False
Suppose 35 + 365 = 8*r. Does 10 divide r?
True
Let r(j) = -j**3 - 2*j**2 + 6*j + 5. Let q(h) = -h**2 + 2*h + 6*h + h - 5. Let c be q(9). Is r(c) a multiple of 20?
False
Let h(o) = 13*o**3 + o**2 + o + 2. Is h(2) a multiple of 16?
True
Let p = 100 - 52. Does 3 divide p?
True
Let t(z) = -4*z**2 + z. Let s(x) = -x**2 + x. Let w(f) = 5*s(f) - t(f). Let y be w(4). Suppose -4*j - 3*h + 37 = y, 3*j + 5*h = 6*j - 64. Is j a multiple of 6?
False
Suppose -z = -5 - 2. Let b = z + 5. Is b a multiple of 5?
False
Suppose -3*b + 349 = 4*p, 4*p + 2*b - 438 = -p. Does 22 divide p?
True
Let b(q) = 28*q + 4. Let n be b(6). Suppose -n = w - 5*w. Is w a multiple of 20?
False
Is 3/9 - (-82)/6 a multiple of 14?
True
Let s(g) = -2*g + g**3 + 4*g**2 + 3*g**2 + 0*g. Let w = 5 - 9. Is s(w) a multiple of 20?
False
Let p(d) = d**3 + 14*d**2 - 14*d - 9. Let h be p(-15). Suppose -15 = -5*r, -w + 4*w - 123 = 3*r. Let l = w + h. Is l a multiple of 11?
False
Let c(y) = 10*y - 25. Does 7 divide c(11)?
False
Let x be (-4 - 18)/((-4)/22). Suppose 4*j + 21 = y, 2*j = 5*y - 2*j - x. Does 16 divide y?
False
Let z = -2 - -5. Suppose 3*s = -6*a + 2*a + 104, -s + z*a = -13. Is s a multiple of 10?
False
Suppose 5*h - 5*b = 220, -13 + 98 = 2*h - 5*b. Is 9 a factor of h?
True
Suppose -3*o = 2*o. Suppose -5*m + 17 + 53 = o. Is 17 a factor of 4/m - (-819)/49?
True
Suppose -20 = -6*c + c. Suppose -c*s - 11 + 3 = 0. Let y(o) = -2*o**3 - 4*o**2 - 2*o + 1. Does 2 divide y(s)?
False
Let r(p) = -p**3 + 9*p**2 + 2. Let g be 2/(-5) + 47/5. Let f be r(g). Suppose 30 = 2*y + 3*w, f*w - 23 = -2*y + 5. Is 6 a factor of y?
True
Let u = 0 - 0. Suppose u*d = -6*d + 414. Is d a multiple of 14?
False
Let r = -4 + 4. Suppose -h - h + 10 = r, -2*x + 41 = h. Is 9 a factor of x?
True
Suppose -g = -0*g + 7. Let s(o) be the second derivative of -o**4/12 - 3*o**3/2 + 5*o**2 + o. Is s(g) a multiple of 9?
False
Let z(n) = -20*n + 15. Let k(c) = -4*c + 3. Let g(u) = -11*k(u) + 2*z(u). Let w be g(2). Suppose -5*h + 105 = w. Is h a multiple of 10?
True
Suppose 4*l - 2*l = 20. Is l a multiple of 10?
True
Let z(v) = v**3 - 5*v**2 + 5*v - 3. Let x be z(6). Suppose -4*k = -x + 15. Is 9 a factor of k?
False
Suppose -6*d + 638 = -d - 2*q, 264 = 2*d - 3*q. Does 21 divide d?
True
Let k = 59 - 30. Does 9 divide k?
False
Is (-4)/(-14) - (-412)/28 a multiple of 10?
False
Suppose f = -2*g + 75, 3*g - 2*g + 2 = 0. Does 28 divide f?
False
Let m(f) = f + 1. Let k be m(0). Let v(l) = 9*l - 1. Is 4 a factor of v(k)?
True
Let z(l) = 3*l**2 - 13*l - 8. Is z(8) a multiple of 20?
True
Let c be 4/14 - 3609/63. Let u(a) = -a**3 + 6*a**2 - 5*a - 4. Let g be u(6). Let r = g - c. Does 12 divide r?
False
Suppose 2*d = -2*d + 4*a + 16, -4*a = 4*d - 8. Let x = 1 + d. Suppose -x*v = 3*y - 99, 2*v + 5*y - 28 - 11 = 0. Is 10 a factor of v?
False
Let u(f) = f + 8. Let n be u(-6). Suppose -5*h + n*p + 1 = -34, 0 = 2*h + 3*p - 33. Is h a multiple of 4?
False
Is 15 a factor of ((-3)/(-12))/1 + (-219)/(-4)?
False
Let c(y) = -y - 1. Suppose 3*m - 7 - 8 = 0. Let z be c(m). Is (3 + -5)/(4/z) a multiple of 2?
False
Suppose -3*j + 6*j - 2*h = 18, -j = -5*h + 7. Is (-4)/j + 213/6 a multiple of 14?
False
Let w(o) = 2*o**2 - 6*o + 1. Let z be w(4). Suppose -3*i + z = -y, -i + 0*y + 11 = -3*y. Is i a multiple of 2?
True
Suppose 23 = -2*l + 5. Let k = -3 - l. Does 3 divide k?
True
Let z(k) = -2*k - 19. Let q(m) = m + 10. Let x(r) = -5*q(r) - 3*z(r). Let i be x(-3). Suppose -36 = -2*o + 4*y - 0*y, 3*y + 87 = i*o. Is o a multiple of 24?
True
Let c(l) = 2*l**3 - 5*l**2 - 2*l - 4. Does 18 divide c(4)?
True
Suppose 524 = 3*z - 97. Is 23 a factor of z?
True
Suppose 10*q - 14*q + 412 = 0. Does 11 divide q?
False
Let d(q) = 2*q**2 + 4*q + 6. Is d(-9) a multiple of 12?
True
Suppose -4*l - l = 0. Suppose -k + 2 + 3 = l. Suppose -y = n - 72, k*y - 173 - 227 = 3*n. Is 28 a factor of y?
False
Let x be (-6)/((-9)/3) + 7. Let t = 21 - x. Is 12 a factor of t?
True
Suppose 3*b - 2 - 2 = 2*n, -5*b + 5*n + 5 = 0. Suppose -2*h + 110 = 4*g, -g = b*h - 2*g - 90. Is h a multiple of 14?
False
Suppose 2*j - b = 2*b + 300, 0 = -3*j + b + 464. Is 33 a factor of j?
False
Suppose -4 = 2*q, -5*y - 52 = q + 15. Let f be 0 - (-31 + 0 + 2). Let t = f + y. Is t a multiple of 7?
False
Let x = 26 + -18. Is x even?
True
Let h = -9 - -55. Let n = h - -6. Does 11 divide n?
False
Let z = -67 + 131. Is 16 a factor of z?
True
Let o = -8 - -8. Suppose o = 3*c + c + 4*t - 28, 27 = 4*c + 3*t. Is 6 a factor of c?
True
Let l(h) = 3*h**2 - h - 2. Let d be l(-3). Suppose t + d = 2*t. Let m = t + 7. Does 12 divide m?
False
Suppose 3*i - j - 19 = 0, i - j - 2 - 5 = 0. Let v(z) = z**2 - 4*z. Is 3 a factor of v(i)?
True
Suppose 5*t - 4*t - 41 = -2*m, -2*t = -3*m + 79. Is 13 a factor of m?
False
Suppose -2*d + 10 = 2*n, -n + 0*d + 7 = 3*d. Suppose -2*w = -n*g + 28, 36 = 4*w + g + 83. Let f = -7 - w. Is f even?
False
Let v = -68 - -206. Is v a multiple of 23?
True
Suppose 5*p - 30 = 3*s - 94, -24 = -s + 3*p. Does 17 divide s?
False
Let h = -1 - -4. Suppose h*x = -2*w + 34, -2*x + 70 = 4*w - 14. Does 6 divide w?
False
Let l(o) = 8*o + 7. Let n(c) = 23*c + 9. Let h(f) = -12*f - 4. Let k(t) = 5*h(t) + 3*n(t). Let g(y) = 5*k(y) - 6*l(y). Is g(-5) a multiple of 6?
False
Let i(v) = 7*v. Suppose 0*m - 5*m + 45 = 0. Let o be i(m). Does 4 divide o/15 + (-2)/10?
True
Let v be 6/(2 - 0) - -243. Is 13 a factor of (v/2)/3 + -2?
True
Let t = 12 + -7. Let j = -4 + t. Is 16/3 - j/3 a multiple of 2?
False
Let v(i) = i + 10. Is v(5) a multiple of 3?
True
Is (3 + (-28)/8)*(-2 - 10) a multiple of 5?
False
Is (12 + 3)*(-48)/(-9) a multiple of 10?
True
Let m(k) = -k**3 - 6*k**2 - 5*k + 2. Let s(w) = -w**3 - 5*w**2 - 4*w + 1. Let c(y) = -4*m(y) + 5*s(y). Is c(-3) a multiple of 15?
True
Suppose 6 = -3*a + 18. Suppose a*h = 8 + 4. Suppose 2*w - 37 = -5*y, 0 = -0*w - h*w - 4*y + 38. Is w a multiple of 6?
True
Let q be 56/6 - (-2)/(-6). Suppose 4 = -3*p + 2*w, 4*p + 0*w = -w - q. Is (-6 + 2)*9/p a multiple of 9?
True
Let w(o) = 9*o + 1. Is 14 a factor of w(3)?
True
Let a(u) = 61*u**3 - 1. Does 20 divide a(1)?
True
Let y be 8/(-3*6/837). Let n = -250 - y. Does 31 divide n?
False
Suppose -5*u - 5*f = -2*u - 2, -2*u + 5*f = -18. Let t be 27/(-36) + 143/4. Suppose u*h = -5*z + t, -h - 27 = -2*z - 0*z. Does 11 divide z?
True
Let z = -4 - -52. Let s = -12 + z. Is 18 a factor of s?
True
Suppose c = 3*c - 142. Let m = c - 29. Does 21 divide m?
True
Let j(l) = l**3 + 8*l**2 - 2*l - 6. Let n be j(-8). Does 25 divide (20/(-2))/(n/(-25))?
True
Let p(k) = -2*k + 3. Let f = 13 - 15. Does 7 divide p(f)?
True
Suppose -27 = -3*r + 3*l, -11 = -5*r + r - l. Suppose z + 132 = r*z. Does 30 divide z?
False
Suppose 0*v = 4*v - 12. Let n be 119/35 - 4/10. Suppose -3 = v*z, n*z + 0*z = h - 11. Is h a multiple of 8?
True
Let i = 16 + -12. Is i a multiple of 2?
True
Let u(m) = -12*m + 12. Does 14 divide u(-4)?
False
Let y be -2 - (-5 + 2 - -1). Suppose y = 4*d + d + 120. Is 6 a factor of (-1 - -2)/((-4)/d)?
True
