. Suppose -u*k = -6*k + 40. Does 6 divide k?
False
Suppose -23*y = -19*y - 388. Is y a multiple of 13?
False
Let q(y) = y - 222. Let d be q(0). Is 10 a factor of d/(-11) + (-4)/22?
True
Let r(f) = -f**2 + 6*f + 16. Does 9 divide r(7)?
True
Suppose -3*s = -7*s - 5*t + 69, -3*s + 43 = -5*t. Suppose -w + 3*f = 3*w + 180, 4*f = s. Let r = -30 - w. Is r a multiple of 9?
False
Suppose -3*p + 15 = 0, 3*j - 1 = 2*p + 2*p. Suppose -3*z - 3*o + j = z, 13 = z + 3*o. Does 4 divide 1 + 1*z + 5?
True
Let j(v) = -38*v - 24. Is 45 a factor of j(-5)?
False
Does 40 divide (8 + -4 - -115) + 1 + 0?
True
Let u(x) = x + 2. Let w be u(0). Suppose 4 = 2*s - 4. Suppose 0 = s*p - w*p - 12. Is p a multiple of 3?
True
Let w(i) = -24*i + 28. Does 10 divide w(-8)?
True
Let f = -135 + 209. Is 21 a factor of f?
False
Suppose -195 = -5*o + 4*t - t, -2*o + 52 = 4*t. Is o a multiple of 18?
True
Let h(v) = 5*v**2 - 4*v + 4. Let i be h(-4). Suppose 12*k + i = 16*k. Is 11 a factor of k?
False
Let x = 36 + -7. Is 4 a factor of x?
False
Is 10/(4*(-4)/(-104)) a multiple of 13?
True
Let o be 5/((-3)/((-3)/1)). Suppose o*y = 3*n - 3, 5*y + 14 - 41 = -2*n. Is n a multiple of 3?
True
Let d(b) = 4*b**2 - 13*b - 8. Is 7 a factor of d(8)?
False
Let l = 41 + -12. Is 18 a factor of l?
False
Suppose 0 = 4*d + 2*a - 6, -5*d = -0*a + 3*a - 5. Is 29 a factor of 56 - 3/(-6)*d?
True
Let z be (-27)/(-5) + 6/(-15). Suppose -z*r + 1 + 29 = 0. Does 3 divide r?
True
Let v(y) = -y**3 - 7*y**2 - 6*y. Let h be v(-6). Let c(t) = -3*t + 72. Let j be c(21). Let b = j + h. Does 3 divide b?
True
Is 3 a factor of -3 + 27/(4 - 1)?
True
Suppose -4*w + 210 = -2*t, 3*w + w - 4*t = 200. Suppose 4*z = -w + 463. Is 34 a factor of z?
True
Let q = -43 + 169. Is 18 a factor of q?
True
Suppose -7*x = -2*x - 25. Suppose -4*g + 7*g - x*m = -10, -3*g + 30 = 3*m. Suppose g*y - y - 97 = -3*z, -5*y - 119 = -4*z. Is 12 a factor of z?
False
Let n = 175 - 327. Let m be n/(-6) + (-2)/6. Let z = m - 5. Is 20 a factor of z?
True
Suppose -6 = 5*a - 26. Suppose 0 = -a*o - 9 - 3. Let c = 2 - o. Does 4 divide c?
False
Suppose -2*f - 2*f + 8 = -2*o, -5*f = 2*o - 19. Is f even?
False
Let y = 7 - 11. Let l be 8/5 - y/10. Suppose 4*b + 24 = 3*x + x, 7 = x - l*b. Is x a multiple of 5?
True
Suppose -5*y = 3 - 23. Suppose -20 = -y*q - 4*a, q - 4*a - 5 = -0. Does 2 divide q?
False
Let f(y) = -y**2 + 1. Let d be f(1). Suppose -c + 59 = -d*c. Does 16 divide c?
False
Let i(n) = 2*n**2 - 4*n + 2. Let l be i(5). Let a = -22 + l. Is a a multiple of 8?
False
Suppose 556 = 6*g + 82. Is 19 a factor of g?
False
Let l(o) = o**2 - 7*o + 3. Suppose -4*x = 5*g - 56, 2*x + 8 = 2*g - 0*x. Let k be g + -3 + (1 - -1). Is l(k) even?
False
Let y be 1 + (-2 + 1 - -4). Suppose -2*o - 4*l = -y, 5*o - 7 = 5*l + 3. Is (2/(-5))/(o/(-130)) a multiple of 14?
False
Suppose -3*b = 2*c - 8, 2*b + 4 = 2*c - c. Suppose b = -u + 3*u + 2*s - 8, 4 = -s. Is u a multiple of 4?
True
Let l(m) be the third derivative of m**5/60 - 5*m**4/24 - 4*m**3/3 - m**2. Is 9 a factor of l(8)?
False
Let k(w) = w**2 - w - 2. Let p be k(3). Suppose p*f - 3*f - 6 = 0. Suppose 4*d - f*v + 3*v - 18 = 0, -34 = -5*d - 2*v. Is d a multiple of 6?
True
Suppose 0 = 2*k + 3*o - 12, -18 = -k - 2*k - 2*o. Is k a multiple of 2?
True
Let q = 60 - 30. Does 9 divide q?
False
Let z(p) = 15*p + 3. Is z(4) a multiple of 10?
False
Is 0 - -4 - (25 - 34) a multiple of 2?
False
Suppose 0 = m + 4*m - 3*f - 168, -2*m = 5*f - 61. Is m a multiple of 14?
False
Suppose -3*o + 19 = -y, 2*o + 4*y = 2*y + 2. Let p = o - 2. Is p even?
False
Let w(o) = 2*o + 2. Let q(j) = 4*j - 2. Let z be q(3). Suppose 0 = -2*i + 24 - z. Is 8 a factor of w(i)?
True
Suppose -u - 16 = -3*u. Suppose 5*h = 4*i + 38, 0 = h + 3*i - 2 - 17. Let d = u + h. Does 17 divide d?
False
Let c = 33 + -19. Is c a multiple of 14?
True
Is -5 + 6 + (65 - 3) a multiple of 8?
False
Let d(b) = -5*b - 4 - 9 - 11*b**2 + 2 - b**3 + 4*b. Let l be d(-11). Let c = l + 4. Is c a multiple of 4?
True
Suppose 5*o = -w + 1172, -458 = -2*o + 3*w - 7*w. Let p = 103 - o. Is p/(-10) - (-2)/(-10) a multiple of 13?
True
Suppose 104 = 3*p - t - 23, 152 = 3*p + 4*t. Is 22 a factor of p?
True
Let m(p) = p**3 + 6*p**2 - 2*p + 3. Let k(i) = 2*i**2 + i**3 - 2*i**3 - 1 + 0*i**3 - i + 0*i**3. Let w be k(2). Does 12 divide m(w)?
True
Let u(b) be the third derivative of -b**6/120 + 7*b**5/60 + b**4/12 + b**3/2 - 2*b**2. Suppose 2 + 5 = l. Is u(l) a multiple of 7?
False
Let r = -13 + 27. Let x = r - 11. Is x a multiple of 2?
False
Let v(a) = -a**3 - 6*a**2 - a + 6. Is 6 a factor of v(-6)?
True
Let r(y) = 0*y**2 + 4 + y**2 + y - 5. Is 10 a factor of r(3)?
False
Let x(b) = b**2 - 10*b - 7. Does 2 divide x(11)?
True
Suppose -5*f - 5*y = -20, 0*y = -5*f - 2*y + 14. Suppose f*l + 71 = 301. Suppose 3*p + 3*c = -2*p + 83, 5*c + l = 5*p. Is p a multiple of 19?
True
Let j = -6 + 176. Let b(w) = 2*w + 6. Let n be b(-2). Suppose 0*y + 3*y - n*k - 184 = 0, -3*y - 5*k = -j. Does 19 divide y?
False
Let u be (16/(-20))/((-2)/145). Let k = u + -24. Suppose 2*h = 4*h - k. Is 17 a factor of h?
True
Let u(q) = q + 7. Let i(n) = -2*n - 15. Let p(s) = 3*i(s) + 7*u(s). Let g be p(-6). Let v = 4 + g. Is v a multiple of 2?
True
Suppose 0 = -14*c + 12*c + 18. Is 8 a factor of c?
False
Suppose 0 = 3*x - 5*s + 20 - 0, 0 = 4*s - 16. Suppose h - 32 = -x*h. Suppose 0 = 4*f - 2*f + 4*m - h, 0 = -3*f - 3*m + 42. Does 12 divide f?
True
Suppose -3*k + 9 = -6. Suppose 47 = 4*f - k. Is f a multiple of 13?
True
Suppose 0 = 2*c - 2*g - 6, -3*c - 5*g + 0*g + 9 = 0. Suppose -6*z + c*z = -72. Does 12 divide z?
True
Let z be 12/9*(-6)/4. Let m be z/7 + 2724/(-21). Does 13 divide m/(-4)*24/20?
True
Let t = -7 + 12. Let a(r) = -r + 8. Does 3 divide a(t)?
True
Suppose -2*t - t = -57. Let i = t + -3. Let f = -5 + i. Does 4 divide f?
False
Suppose 4*g - 128 = -2*y, -y + 5*g = -0*y - 71. Is y a multiple of 14?
False
Suppose 4*b - 1 = -9. Let d(p) = -2*p**3 + p**2 + 2*p + 1. Does 13 divide d(b)?
False
Let r = 77 + -44. Is 12 a factor of r?
False
Suppose 0 = -5*d - 4*t + 503, d = 6*d - 4*t - 527. Suppose 4*y = 185 + d. Suppose -5*w + y + 8 = 0. Is w a multiple of 5?
False
Let k(y) = y**2 - 3*y + 6. Is k(6) a multiple of 12?
True
Let o = 128 + -88. Suppose 5*z = -o + 145. Is 7 a factor of z?
True
Let f(t) = t + 1. Let c be f(3). Let q be (-84)/(-16) + (-1)/c. Suppose -118 = -q*l + 17. Does 9 divide l?
True
Let v be 14 - (-2)/(-3 - -2). Is 13 a factor of (v - -1) + 0/(-7)?
True
Let n(u) = 6 - 9*u**2 + 2 - 3 - u**3 - u. Is 9 a factor of n(-9)?
False
Let b(i) = 2*i - 22 + 1 - 5*i + 2*i. Let m be b(0). Is 9 a factor of (-3 + 14/6)*m?
False
Suppose w + w = -8. Does 2 divide w/10 + (-51)/(-15)?
False
Let z(r) = r - 13. Let l be z(11). Is 13 a factor of (1/3)/(l/(-408))?
False
Let k = -10 - -48. Does 18 divide k?
False
Let p(l) = 6*l - 2. Suppose -3 = -j + 4*w + 8, -3*j + 5*w = -19. Suppose -g = -j - 2. Is 16 a factor of p(g)?
False
Let j = 696 - 468. Is j a multiple of 12?
True
Let k(u) = -u**2 + 7*u - 2. Let v be k(6). Let a = v - 4. Suppose a*l = l - 10. Does 6 divide l?
False
Let u(v) = -v**2 - 9*v - 1. Let g be u(-6). Let i(k) = k**2 - k - 6. Let h be i(0). Let j = h + g. Does 6 divide j?
False
Let s(m) = -5*m**3 - 3*m**2 - 2*m + 2. Is 16 a factor of s(-3)?
False
Suppose -s - 12 = 2*s. Let r(v) = -v**2 - 7*v - 5. Let c be r(s). Suppose 2*x - c*x = -120. Is 7 a factor of x?
False
Let v(q) be the second derivative of q**4/12 + q**3/3 - q. Does 12 divide v(-6)?
True
Suppose -187 = -4*u + 77. Let b = -40 + u. Is 7 a factor of b?
False
Suppose -p = -62 + 22. Is p a multiple of 20?
True
Let l(g) = -g + 16. Does 16 divide l(0)?
True
Suppose 0 = 3*p - 0*p - 90. Is 6 a factor of p?
True
Suppose -2*y = -3*y + 3. Suppose 10 = -y*r - 5*d, d - 3 = -2*r + 2. Suppose 0 = -2*m + 7*m - r*w - 175, -5*m + 4*w = -170. Does 15 divide m?
True
Let d(b) = -b**3 + 2*b**2 - 1. Let r be d(1). Suppose y + r*y = 23. Suppose -8 - 1 = -s + p, 0 = -2*s - 3*p + y. Is s a multiple of 5?
True
Is -2 + (-3)/15 + (-2780)/(-25) a multiple of 20?
False
Let q be 2/((-4)/(-2)) - 1. Suppose 48 + 69 = 3*z - y, q = -y. Is 15 a factor of z?
False
Let o be 212/10 + 4/(-20). Let c be (2/(-2))/((-1)/5). Suppose -3*z - 2*q = -0*q - o, -35 = -5*z - c*q. Is 4 a factor of z?
False
Let i(h) = -h + 6.