 Let u = a + -4. Is j(u) a multiple of 5?
True
Suppose 0 = 5*k - 119 - 151. Is k a multiple of 27?
True
Is 3/6 - 550/(-4) a multiple of 23?
True
Let v(h) = 5*h + 7. Let s(c) = c - 2. Let w(l) = l + 18. Let r be w(-11). Let f be s(r). Is 16 a factor of v(f)?
True
Suppose 0*w + 2*w = 46. Is w a multiple of 7?
False
Let g(q) be the third derivative of -q**4/8 + 5*q**3/6 - q**2. Is g(-4) a multiple of 17?
True
Suppose u + k = -3*u + 85, 0 = -5*u + k + 113. Let t be u/(2/(-4)*-4). Let d(h) = h**3 - 11*h**2 + 3*h - 5. Is d(t) a multiple of 14?
True
Suppose 2*h = 5*s - 9 - 23, 2*h = -s + 16. Is s a multiple of 4?
True
Let c(r) = 6*r + 4. Is c(9) a multiple of 29?
True
Suppose 53 = z - 37. Does 18 divide z?
True
Suppose 3*f = 2*f. Let l = f + 0. Suppose l*b + 3*b = 45. Is b a multiple of 15?
True
Let j = -68 - -99. Does 31 divide j?
True
Suppose -5*r + 5 = -0. Suppose -2*l = -r - 7. Suppose l*c + 0*d = 2*d + 52, -5*c = -d - 68. Is 8 a factor of c?
False
Is 11 a factor of 876/24 - (-2)/4?
False
Suppose -49 = 4*g - 1. Let v be ((-3)/(-2))/(1/g). Does 6 divide 0/2*1 - v?
True
Let k(d) = 2*d - 2. Suppose h + 2*h - 12 = 0. Is 4 a factor of k(h)?
False
Suppose -5*u + 2*b = -3*b - 25, 5*u = -2*b - 3. Suppose -l + 4 + u = 0. Is l a multiple of 5?
True
Let k = 76 + -27. Is k a multiple of 16?
False
Suppose 8*n - 9*n + 32 = 0. Is n a multiple of 4?
True
Suppose -6*m + 9*m - 6 = 0. Let k be (m/(-6))/((-5)/75). Let b = k + 16. Is b a multiple of 21?
True
Suppose 5*m - 55 = 5*f, 2*f - 42 = -m - m. Does 8 divide (-1*m)/(2/(-2))?
True
Let u(n) be the first derivative of 11*n**3/3 - n**2 - n + 7. Is u(2) a multiple of 8?
False
Let k(q) be the third derivative of -q**5/60 - 7*q**4/24 - q**3/3 + q**2. Let n be k(-6). Is n/6 + (-109)/(-3) a multiple of 22?
False
Let c(p) = 1. Let z(u) = 11*u + 2. Let g(d) = -2*c(d) + z(d). Does 11 divide g(3)?
True
Let x(u) = 6*u**2 - 13*u - 1. Let z(w) = -w**2 + w + 1. Let d(v) = -x(v) - 5*z(v). Let k be d(7). Let a(m) = m + 3. Is a(k) a multiple of 6?
True
Let i(b) = b + 3. Let u be i(-7). Let m(w) = -2*w - 3. Let d be m(u). Suppose 9*s - 40 = d*s. Is s a multiple of 6?
False
Let d be (6/(-4))/((-21)/70). Suppose 0 = -d*k + 3*j + 28, 4*k - 3*j = 5 + 15. Suppose k - 1 = o. Is 7 a factor of o?
True
Is (-2)/6*(-1863)/9 a multiple of 23?
True
Suppose -2*y - j = -61, y + y + 4*j - 52 = 0. Is 7 a factor of y?
False
Suppose 2*u + 4*x - 50 = 0, 0 = -7*u + 4*u - 5*x + 73. Is u a multiple of 7?
True
Let h = 350 - 187. Is h a multiple of 13?
False
Is (-5)/((-40)/46) - (-6)/(-8) a multiple of 5?
True
Let m = 72 + -46. Suppose -4*s + a = -m, -a + 2 = 2*s - 8. Does 3 divide s?
True
Let f(k) = 5*k + 2. Let r(a) = -a**3 + 4*a**2 - 3*a - 4. Let s be r(3). Let i be 2 + s/(-2) + 0. Is f(i) a multiple of 9?
False
Suppose -3*w - 3*q - 80 = 22, 3*w + 4*q + 104 = 0. Let l = w - -52. Is 12 a factor of l?
False
Does 3 divide (-3)/9*(-19 - -1)?
True
Let f(r) be the third derivative of -11*r**4/24 - r**3/2 + 7*r**2. Is 18 a factor of f(-4)?
False
Suppose -2*x = 4*o + 3*x - 186, 206 = 4*o - 5*x. Is (o/4)/(3/12) a multiple of 25?
False
Suppose 0 = -4*o - 20, 4*t + 6*o = 2*o - 16. Let q be ((-1)/2)/(t/(-10)). Suppose q*n - 2 - 18 = 0. Does 2 divide n?
True
Let q = 1 + -4. Let l = 19 - q. Does 11 divide l?
True
Let y(u) = u**3 - 10*u**2 + 5*u - 2. Let l = 3 + 7. Is 22 a factor of y(l)?
False
Does 12 divide 18*15 + 12/(-3 + -1)?
False
Suppose -2*w - 54 - 30 = 0. Let m = -30 - w. Is 6 a factor of m?
True
Let y(q) be the third derivative of q**9/60480 - q**8/3360 + q**7/1680 + q**5/15 - q**2. Let i(z) be the third derivative of y(z). Does 18 divide i(6)?
True
Let m(f) = 13*f**2 + 3*f + 4. Let p(s) = 26*s**2 + 5*s + 7. Let v(r) = -7*m(r) + 4*p(r). Does 7 divide v(-1)?
True
Is 7 a factor of 2 - (2 + -3) - (2 + -8)?
False
Let d(w) = -w + 9. Let v be d(7). Suppose 5*f + 52 = 4*y, -23 - 1 = -4*y - v*f. Is 26/y - (-3)/(-12) a multiple of 3?
True
Suppose 3*b - 4 - 5 = 0. Let g = b - 3. Suppose -3*f + 6*f - 48 = g. Is 14 a factor of f?
False
Suppose 5*f - 19 = -3*k + 2*k, 5 = -5*f + 5*k. Suppose -3 = -3*t - v - 0, f*v = -3*t + 3. Suppose -5*j - t = -61. Is 12 a factor of j?
True
Suppose -2 + 5 = r, -5*z - 2 = -4*r. Suppose 0*s - 15 = -3*w - z*s, 4*s = 12. Suppose 3 = 3*u - 0*u - w*c, -2*c = u - 16. Is 6 a factor of u?
True
Is (24/10)/((-4)/(-10)) even?
True
Is 2 a factor of (5/10)/(3/138)?
False
Let x(t) = 3*t - 3. Let d be x(3). Let b be 5 - 4/d*3. Suppose 0 = b*u + u - 84. Is 17 a factor of u?
False
Let r(h) = -h**3 + 12*h**2 - 3*h + 2. Let c be r(11). Suppose c - 20 = 5*u. Does 12 divide u?
False
Suppose h - 6 = 2*h - 2*d, -4*h - 5*d = -41. Suppose -k + 15 = 4*i, 5 = k - h*i - 10. Suppose 3*y = u - 3 - k, -y + 43 = 2*u. Does 9 divide u?
False
Suppose -2*y + 3*r = -13, 0 = -r - 0*r - 1. Suppose -5*u + 36 = -3*z, y*u - 26 = u + z. Is 6 a factor of u?
True
Let o = -225 + 41. Let z = -104 - o. Let c = 121 - z. Is c a multiple of 18?
False
Let m = 5 - -33. Let z = -11 + m. Let s = z + -9. Is 9 a factor of s?
True
Let l = 112 - 68. Suppose 0 = 4*r - x + 5*x + l, -3*r + 2 = -4*x. Let q = r + 32. Does 13 divide q?
True
Let h = -691 + 1180. Is h a multiple of 45?
False
Let r = 158 - 102. Does 8 divide r?
True
Let w(b) be the third derivative of -b**5/60 - 3*b**4/8 - b**3/2 - b**2. Let n be w(-7). Is n - ((-6)/3 - -1) a multiple of 10?
False
Suppose 0 = -4*p - z + 6*z - 4, -3*p - z = 3. Suppose 27 = -4*t + 75. Let u = t - p. Does 9 divide u?
False
Suppose 0 = 5*s - 4*s - 42. Is s a multiple of 14?
True
Is 31 a factor of ((-6)/(-6))/(2/(-4)) + 343?
True
Let y(i) = i**3 + 7*i**2 - 3*i - 8. Let s be y(-7). Let w = -9 + s. Suppose w*p - 20 = 20. Is 5 a factor of p?
True
Suppose p = w + 145, -3*w - 2*p - 12 = 443. Let y = -90 - w. Does 16 divide y?
False
Suppose -2*j + 20 = 3*j, 5*x - j = 11. Suppose 4*m = x*a - 165, -5*a - m + 246 = 2*m. Let v = 72 - a. Does 7 divide v?
True
Let n(a) = -12*a - 3. Let s be n(-10). Is 8 a factor of s/7 + 30/105?
False
Let g = 3 + -1. Let m = -73 + 102. Let j = m - g. Is 12 a factor of j?
False
Suppose 2*o - 8 = -0*o. Is o a multiple of 4?
True
Let n(w) = w**2 + 2*w + 3. Let t be n(0). Suppose 2*a = -t + 11. Does 3 divide a?
False
Let g(b) = -8*b + b**2 + 0*b**2 - 4 + 6*b**2 - b**3. Let v be g(6). Let z = v - -38. Is 9 a factor of z?
False
Let b(o) = -2*o**2 - 3. Let a be b(3). Suppose -4*r + 12 = -0*r, w = -r + 5. Is 6 a factor of a*(w + (-24)/9)?
False
Let c be (-11)/33 - (-202)/3. Suppose 5*b - c - 23 = 0. Does 4 divide b?
False
Suppose 0*l + 12 = -2*l. Does 4 divide ((-4)/l)/((-16)/(-264))?
False
Let z(g) = -2*g**3 + 1. Let b be z(-1). Suppose -12 = -a + 3*a - 4*m, b*a - 4*m + 16 = 0. Let f = a + 15. Is f a multiple of 8?
False
Suppose -5*u - h = h - 109, -5*h + 10 = 0. Suppose 37 + u = 2*b - 4*t, 0 = 4*b - 2*t - 110. Does 14 divide b?
False
Let a be 1/(-2)*0/(-1). Let f(l) = 2*l**2 - 4 - l**2 + l + 15 + 12. Does 13 divide f(a)?
False
Suppose 2*k - 9*k = -1932. Is k a multiple of 12?
True
Let w(m) = m**2 - m. Let h be w(1). Suppose h = 3*x + 4*r - 2*r - 25, 0 = 2*x - 2*r - 20. Is x a multiple of 3?
True
Suppose -56 + 3 = -v. Is 32 a factor of v?
False
Let t = 9 + 46. Suppose 1 - t = -6*y. Does 4 divide y?
False
Suppose 2*i - 70 = 5*d - 950, -3*i = 0. Is d a multiple of 44?
True
Let k(n) = 3*n - 3. Let z be k(4). Suppose 9 = q - z. Is 9 a factor of q?
True
Is (-4)/(2 + (-51)/24) a multiple of 16?
True
Let b(o) = -6*o**2 - o**3 - 2*o**2 + o**2 - 4*o + 7. Let p be b(-7). Let x = 79 - p. Does 22 divide x?
True
Let a be (117/(-2))/(3/(-4)). Suppose -a = -r - 22. Does 15 divide r?
False
Let o be 44/8 + (-6)/4. Suppose -o*d + 5*v = -302, -6*d + d = -5*v - 375. Is d a multiple of 18?
False
Suppose 3*w - 62 = -4*q - q, -2*w - 22 = -3*q. Let f be (-2)/q - (-16)/(-20). Let x = f + 7. Is x a multiple of 6?
True
Let v = -10 + 13. Does 10 divide (v - (6 + -1)) + 24?
False
Suppose 4*s - 5*b + 7 = 2*s, 0 = 4*s + 5*b - 31. Suppose s*l = 12, -2*u - 2*u - 2*l = -182. Is u a multiple of 11?
True
Suppose 0 = o + 2*o + 9. Let q = 5 + o. Suppose q*n + 2*n - 16 = 4*b, -5*n - 2*b = -20. Is 4 a factor of n?
True
Let b = 13 + -21. Is -4*((-190)/b)/(-5) a multiple of 5?
False
Let s(r) = -5*r - 1. Suppose 0 = 2*b + 10. Let v(z) = -z**3 - 6*z**2 - 4*z - 1. Let x be v(b). Is s(