2*j. Is 6 a factor of j?
False
Let r(o) = -o + 5. Let x(i) = 3*i - 10. Let p(a) = 11*r(a) + 6*x(a). Is p(4) a multiple of 23?
True
Is 18 a factor of ((-36)/5)/(3/(-15))?
True
Let k be 6/27 - (-421)/9. Suppose -2 = 3*f - k. Is f a multiple of 15?
True
Is 21 a factor of (-5571)/(-45) + (-2)/(-10)?
False
Suppose -a + 5*g = -5*a + 1031, 4*a + 3*g - 1041 = 0. Is 8 a factor of a?
True
Let v = 63 - -7. Does 10 divide v?
True
Let h = 15 - 26. Let u = h + 18. Suppose -f + u = -27. Is f a multiple of 17?
True
Suppose 6*i = 5*i + 17. Is 17 a factor of i?
True
Suppose 280 = 5*b - 0*b. Let o be 2 + -2 + b/4. Suppose -2*v = -0 - o. Is v a multiple of 4?
False
Suppose -214 = -14*c + 12*c. Does 17 divide c?
False
Suppose 3*i - 9 = -5*k - 0*k, -4*k + 9 = 3*i. Suppose -3*g = -3, -2*m + i*m - 25 = -5*g. Is m a multiple of 6?
False
Suppose 2*h - h - 3*r - 39 = 0, -3*h + r = -117. Is h a multiple of 13?
True
Let r = 36 + 22. Is r a multiple of 22?
False
Let m(v) = 7*v + 1. Let z(f) = -f - 1. Let j(l) = m(l) + 6*z(l). Let u be j(7). Is (34/4)/(1/u) a multiple of 12?
False
Let h(s) = -5 + s + 2 + 0*s + 1. Let p be h(-5). Let y(k) = k**2 + 4*k + 4. Is y(p) a multiple of 22?
False
Suppose 0*a = -a + 3*l + 59, l + 103 = 2*a. Is a a multiple of 25?
True
Suppose 6*q = 3*q + 159. Is 19 a factor of q?
False
Suppose -12 = 2*a - 6*a. Suppose -28 = a*w - 70. Is 7 a factor of w?
True
Let v(a) = -a**2 + 10*a - 3. Let z be v(8). Is (2*z/(-2))/(-1) a multiple of 6?
False
Suppose g = -3*w - 13, 2*g + 2*w + 2*w + 16 = 0. Suppose k + 4 = 3*z, -4*k + 5*z - g*z = 7. Is (k - (-2 - 0)) + 44 a multiple of 17?
False
Let u(a) = -6*a + 2*a**2 + 0*a + 4*a - 3 + 4*a. Is u(2) a multiple of 9?
True
Let c(x) = x**2 + x + 2. Is c(3) a multiple of 7?
True
Suppose 55 = 4*s - 3*x, 2*x - 6*x = -5*s + 68. Does 4 divide s?
True
Let d(p) = -5 + p + 2*p**2 + 2 + 1. Does 5 divide d(2)?
False
Suppose 193 + 2 = -5*n. Let x = -27 - n. Is 4 a factor of x?
True
Let f(y) be the first derivative of -5/2*y**2 + 1/3*y**3 - 6*y - 2. Does 8 divide f(7)?
True
Suppose -3*o = -0*o. Suppose o*v = -5*v - 30. Does 15 divide (-16)/v*(-21)/(-2)?
False
Let p be (-2)/4 + 1/2. Suppose 5*r + 293 - 978 = p. Suppose 68 = 2*z - 2*t, 4*t - r = -2*z - z. Is 13 a factor of z?
True
Let d = -6 - -66. Is 20 a factor of d?
True
Is 22 a factor of 128 - (0 - (4 + 0))?
True
Suppose y = -5*p + 297, 2*p - 128 = -0*p - 5*y. Does 5 divide p?
False
Let n(x) be the second derivative of x**7/1260 + x**6/180 - x**5/120 - x**4/4 - 2*x. Let j(k) be the third derivative of n(k). Is j(-4) a multiple of 10?
False
Let d(s) = s**3 + 10*s**2 - 6*s + 22. Does 4 divide d(-10)?
False
Let v = 31 - -4. Is 7 a factor of v?
True
Suppose 5*g + 4*p - 22 = 0, 3 = -5*g + p + 10. Suppose -g*k - 5 = -3*k. Is k a multiple of 3?
False
Suppose 0*n - 42 = -2*n. Does 5 divide n?
False
Let l = -44 + 95. Let b = l - -3. Is b a multiple of 14?
False
Suppose -4*d - 4*g = -7*d + 213, 3*d = 5*g + 216. Suppose -2*a = -3*c + 21 + d, -4*c - 5*a = -125. Does 15 divide c?
True
Let b = 218 - 373. Let n = b - -218. Is 8 a factor of 1/4 - n/(-4)?
True
Suppose -23 = 3*r - 158. Is r a multiple of 13?
False
Suppose 3*q = 4*q + 2. Suppose -4*v + 2*b - 60 = -b, 0 = -2*v - b - 40. Is v/4*8/q a multiple of 18?
True
Let x be 4/(-6) + 2/(-6). Let b be -1 + 137 + (-2 - x). Let i = b - 95. Is i a multiple of 20?
True
Suppose -2*x + 5*o = -176, 0 = -x - 0*x - 2*o + 70. Does 26 divide x?
True
Let j = 24 + -12. Is (-36 + -1)/((-6)/j) a multiple of 19?
False
Let k(s) = s**2 + 13*s - 10. Let p be k(-14). Let x be (0 - 14)/(0 + -1). Is 11 a factor of 474/42 - p/x?
True
Let q(j) = 2*j - 4. Suppose 3*b + 17 = 4*m + 4*b, -2*b = -2. Does 4 divide q(m)?
True
Let v = 0 + 1. Let c(l) = l**2 - l**2 + l - l**2 + 4*l**3. Is c(v) even?
True
Let c(o) = o**2 + 7*o - 9. Let p be c(-8). Is 15 a factor of p/((-3)/6) + 43?
True
Suppose -33 = -2*m + 5*m. Does 6 divide 2/m - 136/(-22)?
True
Let r = 85 - 65. Does 4 divide r?
True
Is 6/(-3 + 0) - -35 a multiple of 33?
True
Suppose 2*f + c = 48, -c = -2*f + 2*c + 56. Is 5 a factor of f?
True
Suppose 0 = -4*p + 5*p. Suppose k + 0*u = -3*u + 16, -3*k + 3*u = 0. Suppose 2*x - k*n = 92, p*x + 4*n = x - 56. Is x a multiple of 12?
True
Suppose -2*y - 113 = -3*c, 3*c - c - y = 74. Is 13 a factor of c?
False
Let w(k) be the second derivative of -1/20*k**5 + 1/2*k**4 + 0*k**3 + k**2 + 0 - 2*k. Is w(6) a multiple of 2?
True
Is 5 a factor of (-2 + 22/4)/((-10)/(-200))?
True
Let t(b) = -6*b**2 + 6*b - 1. Let c be t(5). Let m = c + 171. Is 20 a factor of m?
False
Suppose -2*p - 86 = -2*x, 5*p - 4 - 181 = -5*x. Does 11 divide x?
False
Suppose -44*s = -49*s + 280. Is 8 a factor of s?
True
Let c(q) = 214*q**2 + 2*q - 1. Let u be c(1). Suppose 0 = 3*z + z - 3*f + u, z + f = -45. Let a = 95 + z. Is a a multiple of 15?
True
Let x be (8 + -9)/((-2)/(-146)). Let o = -43 - x. Does 12 divide o?
False
Let o = -4 + 0. Let g = o - -15. Does 5 divide g?
False
Let j(b) = b**2 - 6*b + 3. Let m be j(6). Suppose 320 = 4*a + m*x, -4*a - 2*x + 160 = -2*a. Is 23 a factor of a?
False
Let d = 7 - 14. Let v = 15 + d. Does 3 divide v?
False
Suppose 337 = 3*d + 5*r, 0*d - 4*r = -4*d + 396. Is (d/10)/(14/35) a multiple of 13?
True
Let p = -4 - -6. Let j = p + 1. Suppose -j*r = 4*y - 41, y + 4*r = -2*y + 29. Does 8 divide y?
False
Suppose i = 3 - 1. Let u be 1 + -1 + 6/i. Suppose -l + u*l = 48. Does 12 divide l?
True
Let o(r) = 3*r. Let w be o(1). Let p = 116 - 8. Suppose l + p = w*l. Is l a multiple of 25?
False
Suppose 11 = 5*o - 14. Suppose 4*c + 263 = o*l, -5*c + 235 = 2*l + 2*l. Is l a multiple of 21?
False
Let f(w) = w**3 - 7*w**2 - 12*w - 7. Let p be f(9). Suppose x - p - 41 = 0. Is x a multiple of 22?
True
Let w = -13 - -27. Is 7 a factor of w?
True
Suppose 6*f - 2*f = -32. Let u(z) be the third derivative of -z**4/12 - 5*z**3/3 + z**2. Does 6 divide u(f)?
True
Let u be (-4 + 0)*(-6)/4. Does 21 divide (-1 + u)*168/10?
True
Let j(w) be the second derivative of -13*w**3/6 + w**2/2 - 9*w. Let u(z) = z**3 + z**2 - 2*z - 1. Let p be u(-2). Is 6 a factor of j(p)?
False
Suppose -2*p + 6*p - 368 = -4*z, 185 = 2*z + p. Is z a multiple of 25?
False
Let u = -55 - -23. Let x = u - -80. Does 16 divide x?
True
Let d be (-2 + 3)/((-2)/(-84)). Suppose -5*g = -132 + d. Is 5 a factor of g?
False
Is ((-10)/(-4))/(7/322) a multiple of 15?
False
Let x(l) be the third derivative of -l**4/24 + l**3 - 2*l**2. Let c = 14 - 20. Does 12 divide x(c)?
True
Let k(r) = 47*r**2 - r + 2. Is 12 a factor of k(1)?
True
Suppose -5*f = -21 - 69. Let v be 2/(-2)*-1 - -23. Let m = v + f. Is 21 a factor of m?
True
Let j(x) = -105*x**2 + 1. Let a be j(1). Let m = 192 + a. Does 18 divide m?
False
Let b(m) = -m**2 + 23*m - 24. Is b(16) a multiple of 11?
True
Let k(y) = -y**2 + 9*y - 1. Suppose 0 = -5*u + 10 - 0. Suppose -10 = -u*j - f, -4*j + 7*j - 12 = -3*f. Does 6 divide k(j)?
False
Let g = -73 + 39. Let t = g - -59. Is t a multiple of 20?
False
Let h(n) = 2*n + 39. Let v(p) = -p - 19. Let t(d) = 6*h(d) + 11*v(d). Let s be t(0). Let x = s - -11. Is x a multiple of 12?
True
Let m = -13 - -19. Suppose -w + 40 = m. Does 9 divide w?
False
Let k be 18/(-1)*(-4)/3. Suppose -2*s = -1 + 5. Is 8 a factor of s - k/(-2) - -2?
False
Does 18 divide 167*4/14 + (-4)/(-14)?
False
Does 28 divide 56/(-16) + 3/6 + 451?
True
Suppose 0 = b - 4*n - 38, 5*b - 5*n - 248 + 28 = 0. Does 26 divide b?
False
Let y be ((-104)/12)/(4/(-42)). Let j = 163 - y. Is j a multiple of 17?
False
Suppose 3*p - 4*p + 12 = 0. Let i = p - 8. Suppose 3*z - 2*q - 48 = 0, -z - z + i*q = -40. Is z a multiple of 6?
False
Let h be (-433)/6 + (-1)/(-6). Is (1 - -2 - h) + 0 a multiple of 25?
True
Let x be (-4)/(-10)*10*1. Let y(k) = -4 + 6*k - 2 - x. Is y(7) a multiple of 16?
True
Let r = -4 + 17. Let i = -9 + r. Is i even?
True
Suppose -5*v + 0*v + 242 = 2*s, -4*v = -s - 204. Suppose v = 5*z - 160. Does 12 divide z?
False
Suppose 4*u - 3 = -23. Let h = 2 - u. Is 2 a factor of h?
False
Let t be 8/(-6)*(3 - 6). Let o(q) = q - 1. Let s be o(t). Suppose 4*p - g = 71 + 153, 2*p = -s*g + 98. Is p a multiple of 17?
False
Let c be 2/((-3)/((-126)/1)). Suppose -5*l + 4*m - m + 94 = 0, 0 = -4*l - 2*m + c. Is 16 a factor of l?
False
Let t(k) = k**2 - 23*k + 10. Does 25 divide t(26)?
False
Let n be 4338/45